Search
Results: 292
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...
Whole genome sequencing reveals that genetic conditions are frequent in intensively ill children.
Courtney E French, Isabelle Delon, Helen Dolling, Alba Sanchis-Juan, Olga Shamardina, Karyn Mégy, Stephen Abbs, Topun Austin, Sarah Bowdin, Ricardo G Branco, Helen Firth, NIHR BioResource—Rare Disease, Next Generation Children Project, David H Rowitch, F Lucy Raymond
May 07, 2019
PURPOSE: With growing evidence that rare single gene disorders present in the neonatal period, there is a need for rapid, systematic, and comprehensive genomic diagnoses in ICUs to assist acute and long-term clinical decisions....
Critically ill children Genetics Genomics NICU PICU whole genome sequencing Adolescent Child Child Preschool Cohort Studies Critical Illness England Female Genetic background Genetic Diseases Inborn Humans Infant Infant Newborn Intensive Care Units Neonatal Intensive Care Units Pediatric Male Prospective Studies State Medicine whole genome sequencing Young Adult
Spinal muscular atrophy diagnosis and carrier screening from genome sequencing data.
Xiao Chen, Alba Sanchis-Juan, Courtney E French, Andrew J Connell, Isabelle Delon, Zoya Kingsbury, Aditi Chawla, Aaron L Halpern, Ryan J Taft, NIHR BioResource, David R Bentley, Matthew ER Butchbach, F Lucy Raymond, Michael A Eberle
Feb 17, 2021
PURPOSE: Spinal muscular atrophy (SMA), caused by loss of the SMN1 gene, is a leading cause of early childhood death. Due to the near identical sequences of SMN1 and SMN2, analysis of this region is challenging. Population-wide...
Complex structural variants in Mendelian disorders
Alba Sanchis-Juan, Jonathan Stephens, Courtney E French, Nicholas Gleadall, Karyn Mégy, Christopher Penkett, Olga Shamardina, Kathleen Stirrups, Isabelle Delon, Eleanor Dewhurst, Helen Dolling, Marie Erwood, Detelina Grozeva, Luca Stefanucci, Gavin Arno, Andrew R Webster, Trevor Cole, Topun Austin, Ricardo Garcia Branco, Willem H Ouwehand, F Lucy Raymond, Keren J Carss
Feb 18, 2019
BACKGROUND: Studies have shown that complex structural variants (cxSVs) contribute to human genomic variation and can cause Mendelian disease. We aimed to identify cxSVs relevant to Mendelian disease using short-read...
ARID1B CDKL5 CEP78 Complex structural variant genome sequencing HNRNPU nanopore next-generation sequencing Cell Cycle Proteins DNA-Binding Proteins Female Genetic Predisposition to Disease Genome Human Genomic Structural Variation Heterogeneous-Nuclear Ribonucleoprotein U High-Throughput Nucleotide Sequencing Humans Male Mutation Protein Serine-Threonine Kinases Sequence Analysis DNA Transcription Factors
Refinements and considerations for trio whole-genome sequence analysis when investigating Mendelian diseases presenting in early childhood.
Courtney E French, Helen Dolling, Karyn Mégy, Alba Sanchis-Juan, Ajay Kumar, Isabelle Delon, Matthew Wakeling, Lucy Mallin, Shruti Agrawal, Topun Austin, Florence Walston, Soo-Mi Park, Alasdair Parker, Chinthika Piyasena, Kimberley Bradbury, Next Generation Children’s Project Consortium, Sian Ellard, David H Rowitch, F Lucy Raymond
Jun 18, 2022
To facilitate early deployment of whole-genome sequencing (WGS) for severely ill children, a standardized pipeline for WGS analysis with timely turnaround and primary care pediatric uptake is needed. We developed a...
Insights from a general practice service evaluation supporting a lower carbohydrate diet in patients with type 2 diabetes mellitus and prediabetes
David Unwin, Ali Ahsan Khalid, Jen Unwin, Dominic Crocombe, Christine Delon, Kathy Martyn, Rajna Golubic, Sumantra Ray
Nov 09, 2020
Background: In a single general practice (GP) surgery in England, there was an eightfold increase in the prevalence of type 2 diabetes (T2D) in three decades with 57 cases and 472 cases recorded in 1987 and 2018, respectively....
Original Research 1506 Diabetes mellitus dietary patterns weight management blood pressure lowering lipid lowering
Published by: BMJ Publishing Group
Insights from a general practice service evaluation supporting a lower carbohydrate diet in patients with type 2 diabetes mellitus and prediabetes
David Unwin, Ali Ahsan Khalid, Jen Unwin, Dominic Crocombe, Christine Delon, Kathy Martyn, Rajina Golubic, Sumantra Ray
Oct 27, 2020
Background: In a single general practice (GP) surgery in England, there was an eightfold increase in the prevalence of type 2 diabetes (T2D) in three decades with 57 cases and 472 cases recorded in 1987 and 2018, respectively....
Original Research 1506 Diabetes mellitus dietary patterns weight management blood pressure lowering lipid lowering
Published by: BMJ Publishing Group
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
Aspirin and cancer survival
Peter C Elwood, Gareth Morgan, Christine Delon, Majd Protty, Julieta Galante, Janet Pickering, John Watkins, Alison Weightman, Delyth Morris
Oct 28, 2021
Background
Despite the accumulation of research papers on aspirin and cancer, there is doubt as to whether or not aspirin is an acceptable and effective adjunct treatment of cancer. The results of several randomised...
Published by: Ecancermedicalscience
Insights from a general practice service evaluation supporting a lower carbohydrate diet in patients with type 2 diabetes mellitus and prediabetes
David Unwin, Ali Ahsan Khalid, Jen Unwin, Dominic Crocombe, Christine Delon, Kathy Martyn, Rajna Golubic, Sumantra Ray
Jan 19, 2021
BACKGROUND: In a single general practice (GP) surgery in England, there was an eightfold increase in the prevalence of type 2 diabetes (T2D) in three decades with 57 cases and 472 cases recorded in 1987 and 2018, respectively....
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
Insights from a general practice service evaluation supporting a lower carbohydrate diet in patients with type 2 diabetes mellitus and prediabetes
David Unwin, Ali Ahsan Khalid, Jen Unwin, Dominic Crocombe, Christine Delon, Kathy Martyn, Rajna Golubic, Sumantra Ray
Nov 11, 2020
Background: In a single general practice (GP) surgery in England, there was an eightfold increase in the prevalence of type 2 diabetes (T2D) in three decades with 57 cases and 472 cases recorded in 1987 and 2018, respectively....
Original Research 1506 Diabetes mellitus dietary patterns weight management blood pressure lowering lipid lowering
Published by: BMJ Publishing Group
Aspirin and cancer survival
Peter C Elwood, Gareth Morgan, Christine Delon, Majd Protty, Julieta Galante, Janet Pickering, John Watkins, Alison Weightman, Delyth Morris
Aug 02, 2021
BACKGROUND: Despite the accumulation of research papers on aspirin and cancer, there is doubt as to whether or not aspirin is an acceptable and effective adjunct treatment of cancer. The results of several randomised trials are...
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...
|
|< |
< |
1 |