Search
Results: 413
Letter from Editor
Alex Muller
Jan 01, 0001
This is the introductory letter from Editor-in-Chief Alex Muller.
Magazine Literary Magazine Arts Magazine art poetry prose Creative Nonfiction Photography Creative Writing Creative Writing Nonfiction
Published by: Winthrop University
Letter from Editor
Alex Muller
Jan 01, 0001
This is the introductory letter from Editor-in-Chief Alex Muller.
Magazine Literary Magazine Arts Magazine art poetry prose Creative Nonfiction Photography Creative Writing Creative Writing Nonfiction
Published by: Winthrop University
Certified Quantum Computation in Isabelle/HOL
Abstract: In this article we present an ongoing effort to formalise quantum algorithms and results in quantum information theory using the proof assistant Isabelle/HOL. Formal methods being critical for the safety and security...
From LCF to Isabelle/HOL
Interactive theorem provers have developed dramatically over the past four
decades, from primitive beginnings to today's powerful systems. Here, we focus
on Isabelle/HOL and its distinctive strengths. They include automatic...
An Isabelle/HOL formalisation of Green’s theorem
We formalise a statement of Green’s theorem in Isabelle/ HOL, which is its first formalisation to our knowledge. The theorem statement that we formalise is enough for most applications, especially in physics and engineering. An...
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started
Abstract This is an account of a mathematician’s first experiences with the proof assistant (interactive theorem prover) Isabelle/HOL, including a discussion on the rationale behind formalising...
A Koutsoukou-Argyraki
Oct 06, 2021
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started
Angeliki Koutsoukou-Argyraki
Jan 21, 2021
Abstract: This is an account of a mathematician’s first experiences with the proof assistant (interactive theorem prover) Isabelle/HOL, including a discussion on the rationale behind formalising mathematics and the choice of...
Sympathy for the Microbiota: How Changes in Gut Microbial Composition Influence the Immune System and Basic Physiology by Way of the Sympathetic Nervous System
Paul Andrew Muller
Jan 01, 0001
The gastro-intestinal tract is the most extensive mucosal surface in mammals and harbors the most numerous immune cell reservoir as well as a complex and autonomous nervous system. The GI tract is continuously exposed to foreign...
Published by: Rockefeller University
Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL
Abstract We have formalised Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions, two major results in extremal graph theory and additive combinatorics, using the proof...
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL.
In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We formalise this approximation in the Isabelle...
Computer Algebra Winding Number Isabelle/HOL Interactive theorem proving Root Counting Cauchy Index The Routh–hurwitz Stability Criterion
Published by: Journal of automated reasoning
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL
Abstract: In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We formalise this approximation in the...
Longitudinal Analyses of the Reciprocity of Depression and Anxiety after Traumatic Brain Injury and Its Clinical Implications.
Biyao Wang, Marina Zeldovich, Katrin Rauen, Yi-Jhen Wu, Amra Covic, Isabelle Muller, Juanita A Haagsma, Suzanne Polinder, David Menon, Thomas Asendorf, Nada Andelic, Nicole von Steinbuechel, CENTER-TBI Participants and Investigators
Dec 15, 2021
Depression and anxiety are common following traumatic brain injury (TBI). Understanding their prevalence and interplay within the first year after TBI with differing severities may improve patients' outcomes after TBI....
Motet 5: Paschal Song
Alex Muller
Jan 01, 0001
A poem
Magazine Literary Magazine Arts Magazine art poetry prose Creative Nonfiction Photography Creative Writing Creative Writing poetry
Published by: Winthrop University
Co-evolution of cerebral and cerebellar expansion in cetaceans.
Cetaceans possess brains that rank among the largest to have ever evolved, either in terms of absolute mass or relative to body size. Cetaceans have evolved these huge brains under relatively unique environmental conditions...
Membrane proteins of the vacuolar system. III. Further studies on the composition and recycling of endocytic vacuole membrane in cultured macrophages
William A Muller
Jan 01, 0001
In previous publications, we found that the membrane of macrophage phagolysosomes could be selectively radioiodinated in living cells. The technique required phagocytosis of lactoperoxidase covalently coupled to latex spheres...
cell vacuole Endocytosis macrophage membrane Phagocytosis protein synthesis reticuloendothelial system
Published by: Rockefeller University
Motet 10: Bordeneuve
Alex Muller
Jan 01, 0001
A poem
Magazine Literary Magazine Arts Magazine art poetry prose Creative Nonfiction Photography Creative Writing Creative Writing poetry
Published by: Winthrop University
The Membrane Polypeptides of the Vacuolar System: Composition and Recycling
William A Muller
Jan 01, 0001
A method has been developed to deliver an iodinating system into the confines of the phagolysosome, allowing us to study the nature of the phagolysosomal membrane. Lactoperoxidase (LPO) is covalently coupled to carboxylated...
Published by: Rockefeller University
The Jungian Personality Framework (JPF)
The Jungian personality framework (JPF) was developed by Katherine Briggs and Isabelle Myer Brigg and is based on the pioneering work of the eminent Swiss psychiatrist/psychoanalyst Carl Jung. Jung observed that no matter what...
Risk Management & Analysis Education Curriculum Development and Instructional Design Business and Management Government and Law
Published by: IGI Global Scientific Publishing
Magnetization measurements and Ginzburg-Landau simulations of micron-size β-tin samples
We describe investigations of the largely unexplored field of mesoscopic type-I superconductors. Micromagnetometry and 3D Ginzburg-Landau simulations of our single crystal β-tin samples in this regime reveal size- and...
Shape-controlled electrodeposition of tin crystals from Sn(II)-fluoroborate solutions
The shape evolution of mesoscopic tin crystals electrodeposited on boron-doped diamond (BDD) substrates is described as a function of the ion concentration and deposition potential. Concentrations of 5-100 mM Sn(II) in 1 M...
Shape-controlled electrodeposition of tin crystals from Sn(II)-fluoroborate solutions
The shape evolution of mesoscopic tin crystals electrodeposited on boron-doped diamond (BDD) substrates is described as a function of the ion concentration and deposition potential. Concentrations of 5-100 mM Sn(II) in 1 M...
|
|< |
< |
1 |