Search
Results: 327
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...
MexAB-OprM Efflux Pump Interaction with the Peptidoglycan of Escherichia coli and Pseudomonas aeruginosa.
Miao Ma, Margaux Lustig, Michèle Salem, Dominique Mengin-Lecreulx, Gilles Phan, Isabelle Broutin
Jul 07, 2021
One of the major families of membrane proteins found in prokaryote genome corresponds to the transporters. Among them, the resistance-nodulation-cell division (RND) transporters are highly studied, as being responsible for one...
Pseudomonas efflux pump assembly membrane Peptidoglycan resistance Bacterial Outer Membrane Proteins Cell Wall Drug Resistance Bacterial Escherichia coli Membrane Transport Proteins Models Molecular Peptidoglycan Protein Interaction Domains and Motifs Protein Stability Protein Structure Quaternary Pseudomonas aeruginosa
MexAB-OprM Efflux Pump Interaction with the Peptidoglycan of Escherichia coli and Pseudomonas aeruginosa
Miao Ma, Margaux Lustig, Michèle Salem, Dominique Mengin-Lecreulx, Gilles Phan, Isabelle Broutin
May 21, 2021
One of the major families of membrane proteins found in prokaryote genome corresponds to the transporters. Among them, the resistance-nodulation-cell division (RND) transporters are highly studied, as being responsible for one...
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...
The extrudate swell singularity of Phan-Thien-Tanner and Giesekus fluids
The stress singularity for Phan-Thien-Tanner (PTT) and Giesekus viscoelastic fluids is determined for extrudate swell (commonly termed die swell). In the presence of a Newtonian solvent viscosity, the solvent stress dominates...
The extrudate swell singularity of Phan-Thien-Tanner and Giesekus fluids
The stress singularity for Phan-Thien-Tanner (PTT) and Giesekus viscoelastic fluids is determined for extrudate swell (commonly termed die swell). In the presence of a Newtonian solvent viscosity, the solvent stress dominates...
Numerical study of the stress singularity in stick-slip flow of the Phan-Thien Tanner and Giesekus fluids
Stick-slip flow is a challenging viscoelastic benchmark problem due to the presence of a separation or transition point at the die exit where a sudden change in flow boundary conditions occurs. We present numerical...
Numerical study of the stress singularity in stick-slip flow of the Phan-Thien Tanner and Giesekus fluids
Stick-slip flow is a challenging viscoelastic benchmark problem due to the presence of a separation or transition point at the die exit where a sudden change in flow boundary conditions occurs. We present numerical...
Noggin Transport in a Model Human Epiblast
Tiên Phan-Everson
Jan 01, 0001
Using self-organizing human models of gastrulation, the Brivanlou/Siggia labs previously showed that (i) BMP4 initiates the cascade of events leading to gastrulation; (ii) BMP4 signal-reception is restricted to the basolateral...
Published by: Rockefeller University
Ranking English Apps From the Google Play Store Based on Customer Reviews Analysis
Nowadays, several educational technology and English learning apps on the Google Play Store cater to various learning levels and objectives. However, the parents had difficulty finding an appropriate app for their kids. It is...
Published by: IGI Global Scientific Publishing
Research Trends on Business Process Management in Higher Education and Recommendations for Vietnam
Business process management at universities appears to be one of the acute issues which allow universities to foster their training quality, along with significantly contributing to creating recommendation policies for the...
Published by: IGI Global Scientific Publishing
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)...
Application of IoT and BEMS to Visualise the Environmental Performance of an Educational Building
This paper presents the application of Internet of Things (IoT) Technology and Building Energy Management System (BEMS) within the Marylebone Campus of the University of Westminster, located in central London, to improve the...
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
The Grizzly, February 8, 1994
Erika Compton, Hope Rinehimer, Michael Woodruff, Mark Leiser, Fred Woll, Craig Faucher, Victor Gil, Jayson Blocksidge, Richard P. Richter, Tom Epler, Sue Boyer, Ed Markowski, Kristen Cornell, Suzanne Ledonne, Harley David Rubin, Jen Diamond
Jan 01, 0001
Ursinus Celebrates 125 Years of Academics An Evaluation of the 128 Credit System In Celebration of Black History Month: Al Eaton Brings on His One-Man Show Ursinus Crimes Reported Who Freed South Africa? Guys Pledging...
Ursinus College Collegeville Pennsylvania newspaper Basketball Paul Coppola wrestling gymnastics Office of Continuing Education Wismer dining hall jazz ensemble Robert Burns Woodward Berman Art Museum Airband Reimert Hall campus security Craig Faucher Al Eaton Martin Luther King Jr. Nicholas Berry Nelson Mandela Founders Day credit policy cultural history Higher Education Liberal Studies Social History United States History
Published by: Ursinus College
Identification and characterization of Coronaviridae genomes from Vietnamese bats and rats based on conserved protein domains.
The Coronaviridae family of viruses encompasses a group of pathogens with a zoonotic potential as observed from previous outbreaks of the severe acute respiratory syndrome coronavirus and Middle East respiratory syndrome...
|
|< |
< |
1 |