Search
Results: 288
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 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...
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
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...
The perceived causal relations between sensory reactivity differences and anxiety symptoms in autistic adults
Background: Rates of anxiety are inordinately high in autistic adults. Sensory reactivity differences, such as hyperreactivity (e.g., strong reactions to sound), hyporeactivity (e.g., no, or slower reactions to pain), and...
Introduction
Major changes have occurred in the teaching of gender since the shift from women’s studies to gender studies. In some institutions gender studies became a separate and interdisciplinary track within social sciences and...
Has Simeon's vision prevailed among Canadian policy scholars?
Concerned by the proliferation of idiosyncratic prescriptive case studies in the nascent subfield of policy studies, Richard Simeon, in his seminal 1976 article, asked scholars to produce more comparative policy research that...
Negative feedback via RSK modulates Erk-dependent progression from naïve pluripotency.
RSK Embryonic Stem Cells mitogen‐activated protein kinase Pluripotency signalling feedback Animals Cell Differentiation Cell Lineage Embryonic Stem Cells Extracellular Signal-Regulated MAP Kinases Feedback Physiological Humans Mutation Phosphoproteins Phosphorylation Pluripotent Stem Cells Proteome Ribosomal Protein S6 Kinases 90-kDa Small Molecule Libraries
Microfinance and gender
This special collection examines the claim that microfinance promotes gender equality. The focus is on three areas of the debate: first, the question of how successful microfinance has been in empowering women; second...
/dk/atira/pure/sustainabledevelopmentgoals/no_poverty name=SDG 1 - No Poverty /dk/atira/pure/sustainabledevelopmentgoals/gender_equality name=SDG 5 - Gender Equality /dk/atira/pure/sustainabledevelopmentgoals/decent_work_and_economic_growth name=SDG 8 - Decent Work and Economic Growth /dk/atira/pure/sustainabledevelopmentgoals/reduced_inequalities name=SDG 10 - Reduced Inequalities
The perceived causal relations between sensory reactivity differences and anxiety symptoms in autistic adults
Background: Rates of anxiety are inordinately high in autistic adults. Sensory reactivity differences, such as hyperreactivity (e.g., strong reactions to sound), hyporeactivity (e.g., no, or slower reactions to pain), and...
|
|< |
< |
1 |