Search
Results: 286
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...
Transgressive drinking practices and the subversion of proscriptive alcohol policy messages
Chris Hackley, Andrew Bengry-Howell, Christine Griffin, Isabelle Szmigin, Willm Mistral, Rungpaka Amy Hackley
Oct 01, 2015
This research makes a new contribution to alcohol policy practice and theory by demonstrating that transgression of officially sanctioned norms and values is a key component of the sub- and counter cultural drinking practices...
Young adults and 'binge' drinking
Chris Hackley, Andrew Bengry-Howell, C. Griffin, W Mistral, Isabelle Szmigin, Rungpaka Amy Hackley
Jan 01, 0001
In this paper, we use Bakhtin's theory of carnival in a literary analysis of young people's accounts of the role of alcohol in their social lives. Bakhtinian themes in the focus-group transcripts included the dialogic character...
Transgressive drinking practices and the subversion of proscriptive alcohol policy messages
Chris Hackley, Andrew Bengry-Howell, Christine Griffin, Isabelle Szmigin, Willm Mistral, Rungpaka Amy Hackley
Oct 01, 2015
This research makes a new contribution to alcohol policy practice and theory by demonstrating that transgression of officially sanctioned norms and values is a key component of the sub- and counter cultural drinking practices...
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
Young adults and 'binge' drinking
Chris Hackley, Andrew Bengry-Howell, C. Griffin, W Mistral, Isabelle Szmigin, Rungpaka Amy Hackley
Jan 01, 0001
In this paper, we use Bakhtin's theory of carnival in a literary analysis of young people's accounts of the role of alcohol in their social lives. Bakhtinian themes in the focus-group transcripts included the dialogic character...
Inhabiting the contradictions
This paper contributes to debates on post-feminism and the constitution of contemporary femininity via an exploration of young women’s alcohol consumption and their involvement in normative drinking cultures. We view femininity...
Inhabiting the contradictions
This paper contributes to debates on post-feminism and the constitution of contemporary femininity via an exploration of young women’s alcohol consumption and their involvement in normative drinking cultures. We view femininity...
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...
|
|< |
< |
1 |