Search
Results: 304
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...
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 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...
An Action Design Research to Facilitate the Adoption of Personal Health Records
Rhode Ngassam, Linnea Ung, Roxana Ologeanu-Taddei, Jorick Lartigau, Pascal Demoly, Isabelle Bourdon, nicolas Molinari, Anca Chiriac
Jul 01, 2022
Adoption and user perceptions are dominant on personal health records literature and have led to a better understanding of what individuals' behaviors and perceptions are about the adoption of personal health records. However...
Published by: IGI Global Scientific Publishing
Plant Vasculature
To introduce pits into a cell wall, plants depolymerize cortical microtubules, which prevents subsequent secondary cell wall thickening. A newly identified protein tethers microtubules to the plasma membrane and contains this...
Structural Imaging of Native Cryo-Preserved Secondary Cell Walls Reveals the Presence of Macrofibrils and Their Formation Requires Normal Cellulose, Lignin and Xylan Biosynthesis.
Jan J Lyczakowski, Matthieu Bourdon, Oliver M Terrett, Ykä Helariutta, Raymond Wightman, Paul Dupree
Dec 12, 2019
The woody secondary cell walls of plants are the largest repository of renewable carbon biopolymers on the planet. These walls are made principally from cellulose and hemicelluloses and are impregnated with lignin. Despite their...
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
Taking implementation seriously in assessing success
This article makes the case for the investigation of the post-adoption stages of gender equality policies. We develop the Gender Equality Policy in Practice Approach built on: (1) the mix of instruments for policy action, (2)...
The Ursinus Weekly, November 16, 1925
Financial campaign fund shows steady progress Musical company to appear here F. & M. trounces Ursinus in annual grid battle Men's Glee Club prepares for extensive schedule Varsity to oppose Army in final game of season ...
Ursinus College Collegeville Pennsylvania newspaper freshman customs Football fund raising YMCA YWCA debate team Zwinglian literary society Schaff literary society cultural history Higher Education Liberal Studies Social History United States History
Published by: Ursinus College
Microscopy and chemical analyses reveal flavone-based woolly fibres extrude from micron-sized holes in glandular trichomes of Dionysia tapetodes.
Matthieu Bourdon, Josephine Gaynord, Karin H Müller, Gareth Evans, Simon Wallis, Paul Aston, David R Spring, Raymond Wightman
Jul 28, 2021
Background
Dionysia tapetodes, a small cushion-forming mountainous evergreen in the Primulaceae, possesses a vast surface-covering of long silky fibres forming the characteristic "woolly" farina. This contrasts with some...
Cell Wall vacuole Flavone Wool Glandular trichome Farina Dionysia Hydroxyflavone Primulaceae Flavones Microscopy Microscopy Electron Trichomes
Published by: BMC plant biology
Taking implementation seriously in assessing success
This article makes the case for the investigation of the post-adoption stages of gender equality policies. We develop the Gender Equality Policy in Practice Approach built on: (1) the mix of instruments for policy action, (2)...
Feeling the Future
Isabelle McNeill
Dec 17, 2019
Mia Hansen-Løve’s L’Avenir/Things to Come (FR, 2016) depicts a woman’s life at a time of crisis. In so doing, the film subtly but insistently shows Nathalie’s life to be caught up in a wider set of forces and relations...
The Nuclear Pore Complex: Novel Glycoprotein Constituents
Laura Isabelle Davis
Jan 01, 0001
Nuclear pore complexes are large, uniform organelles with a mass estimated to be on the order of 108 daltons. They are ubiquitous components of the nuclear envelope, providing a channel through which macromolecular transport...
Published by: Rockefeller University
Beyond the Usual Suspects:
The principal paradox of comparative public policy has remained over the years: there is no clear and broadly shared definition of the field. This article engages with the debate about what comparative public policy is from a...
|
|< |
< |
1 |