Search
Results: 1441
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...
Spotlight on deep carbon research.
Professor Marie Edmonds is a volcanologist at the University of Cambridge. She is interested in the role of magmatic volatiles in magma genesis, volcanic eruptions, and volatile geochemical cycling. Dr. Robert Hazen is a...
Endowment of Scholarship Honors Late Alumna Anna Marie Hurst '12
Winthrop University
Jan 01, 0001
The Anna Marie Hurst Memorial Scholarship supports students majoring in elementary education, early childhood education or family and consumer sciences. Hurst, a native of Rock Hill, earned her B.S. in family and consumer...
Published by: Winthrop University
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...
Food and societal (dis)order in Marie Darrieussecq’s works
Sandra Daroczi
Jun 30, 2020
This article analyses the way Marie Darrieussecq explores oppositions intrinsic to food, both as a lens that reflects the absurdities of various societal orders and as an instrument to contest, respond to, and subvert these...
Animality breastfeeding Hospitality motherhood Other Patriarchy postcolonial reading /dk/atira/pure/subjectarea/asjc/3300/3316 name=Cultural Studies /dk/atira/pure/subjectarea/asjc/1200/1203 name=Language and Linguistics /dk/atira/pure/subjectarea/asjc/1200/1213 name=Visual Arts and Performing Arts /dk/atira/pure/subjectarea/asjc/3300/3310 name=Linguistics and Language /dk/atira/pure/subjectarea/asjc/1200/1208 name=Literature and Literary Theory
Dominant mutations in ITPR3 cause Charcot-Marie-Tooth disease.
Julius Rönkkö, Svetlana Molchanova, Anya Revah-Politi, Elaine M Pereira, Mari Auranen, Jussi Toppila, Jouni Kvist, Anastasia Ludwig, Julika Neumann, Geert Bultynck, Stéphanie Humblet-Baron, Adrian Liston, Anders Paetau, Claudio Rivera, Matthew B Harms, Henna Tyynismaa, Emil Ylikallio
Nov 13, 2020
OBJECTIVE: ITPR3, encoding inositol 1,4,5-trisphosphate receptor type 3, was previously reported as a potential candidate disease gene for Charcot-Marie-Tooth neuropathy. Here, we present genetic and functional evidence that...
Foix-Chavany-Marie syndrome secondary to bilateral traumatic operculum injury.
This report describes a case of a 62-year-old man who developed Foix-Chavany-Marie syndrome subsequent to traumatic brain injury. The initial presentation of the syndrome was profound loss of voluntary control of orofacial...
The Grizzly, April 25, 2024
Marie Sykes, Ellie Burns, Kathy Logan, Sean McGinley, Kate Horan, Mairead McDermott, Georgia Gardner, Adam Denn, Renie Christensen, Dominic Minicozzi
Jan 01, 0001
Weaving Stories Into Dance CoSA Coming This Wednesday! Ursinus Students Present Biology Projects in San Diego Editor's Note Marie Sykes: Editor-in-Chief Signing Off Grizzly Editorial Team: Senior Goodbyes Grizzly Editorial...
Ursinus College Collegeville Pennsylvania newspaper Ursinus College Dance Company Celebration of Student Achievement Zoe Moosbrugger Kyle Schantz Marie Sykes Mairead McDermott Renie Christensen Sean McGinley golf lacrosse softball tennis track team Dominic Minicozzi cultural history Higher Education Liberal Studies Social History United States History
Published by: Ursinus College
A dysfunctional endolysosomal pathway common to two sub-types of demyelinating Charcot-Marie-Tooth disease.
James R Edgar, Anita K Ho, Matilde Laurá, Rita Horvath, Mary M Reilly, J Paul Luzio, Rhys C Roberts
Sep 28, 2020
Autosomal dominant mutations in LITAF are responsible for the rare demyelinating peripheral neuropathy, Charcot-Marie-Tooth disease type 1C (CMT1C). The LITAF protein is expressed in many human cell types and we have...
Charcot–Marie–Tooth endosome LITAF lysosome Peripheral neuropathy phosphoinositide Adult Charcot-Marie-Tooth disease Endosomes Female FIBROBLASTS Flavoproteins Gene Knockout Techniques Humans Loss of Function Mutation Lysosomes Male Microscopy Confocal Microscopy Electron Middle Aged Nuclear Proteins Phosphoric Monoester Hydrolases Transcription Factors Transient Receptor Potential Channels Vacuoles
Food and societal (dis)order in Marie Darrieussecq’s works
Sandra Daroczi
Jun 30, 2020
This article analyses the way Marie Darrieussecq explores oppositions intrinsic to food, both as a lens that reflects the absurdities of various societal orders and as an instrument to contest, respond to, and subvert these...
Animality breastfeeding Hospitality motherhood Other Patriarchy postcolonial reading /dk/atira/pure/subjectarea/asjc/3300/3316 name=Cultural Studies /dk/atira/pure/subjectarea/asjc/1200/1203 name=Language and Linguistics /dk/atira/pure/subjectarea/asjc/1200/1213 name=Visual Arts and Performing Arts /dk/atira/pure/subjectarea/asjc/3300/3310 name=Linguistics and Language /dk/atira/pure/subjectarea/asjc/1200/1208 name=Literature and Literary Theory
A dysfunctional endolysosomal pathway common to two sub-types of demyelinating Charcot–Marie–Tooth disease
James R. Edgar, Anita K. Ho, Matilde Laurá, Rita Horvath, Mary M. Reilly, J. Paul Luzio, Rhys C. Roberts
Oct 15, 2020
Abstract: Autosomal dominant mutations in LITAF are responsible for the rare demyelinating peripheral neuropathy, Charcot–Marie–Tooth disease type 1C (CMT1C). The LITAF protein is expressed in many human cell types and we have...
A dysfunctional endolysosomal pathway common to two sub-types of demyelinating Charcot–Marie–Tooth disease
James R. Edgar, Anita K. Ho, Matilde Laurá, Rita Horvath, Mary M. Reilly, J. Paul Luzio, Rhys C. Roberts
Oct 18, 2021
Abstract: Autosomal dominant mutations in LITAF are responsible for the rare demyelinating peripheral neuropathy, Charcot–Marie–Tooth disease type 1C (CMT1C). The LITAF protein is expressed in many human cell types and we have...
Involvement of G-quadruplex regions in mammalian replication origin activity.
Paulina Prorok, Marie Artufel, Antoine Aze, Philippe Coulombe, Isabelle Peiffer, Laurent Lacroix, Aurore Guédin, Jean-Louis Mergny, Julia Damaschke, Aloys Schepers, Christelle Cayrou, Marie-Paule Teulade-Fichou, Benoit Ballester, Marcel Méchali
Jul 21, 2020
Genome-wide studies of DNA replication origins revealed that origins preferentially associate with an Origin G-rich Repeated Element (OGRE), potentially forming G-quadruplexes (G4). Here, we functionally address their...
Fostering Competency Development Through Knowledge Sharing Capabilities in Onboarding
The study proposes and empirically validates a theoretical model suggesting that employee competency development during the onboarding period largely depends on the availability of knowledge sharing (KS) channels (both digital...
Published by: IGI Global Scientific Publishing
PIGO deficiency
Marie-Anne Morren, Jaak Jaeken, Gepke Visser, Isabelle Salles, Chris van Geet, NIHR BioResource, Ilenia Simeoni, Ernest Turro, Kathleen Freson
May 26, 2017
BACKGROUND: Several genetic defects have been identified in the glycosylphosphatidylinositol (GPI) anchor synthesis, including mutations in PIGO encoding phosphatidylinositol glycan anchor biosynthesis class O protein. These...
PIGO deficiency
Marie-Anne Morren, Jaak Jaeken, Gepke Visser, Isabelle Salles, Chris van Geet, NIHR BioResource, Ilenia Simeoni, Ernest Turro Bassols, Kathleen Freson
May 31, 2018
NIHR BioResource Humans Keratoderma Palmoplantar Glycosylphosphatidylinositols Membrane Proteins Mutation Adolescent Male
Published by: Orphanet journal of rare diseases
Natural history of Charcot-Marie-Tooth disease type 2A
Menelaos Pipis, Shawna ME Feely, James M Polke, Mariola Skorupinska, Laura Perez, Rosemary R Shy, Matilde Laura, Jasper M Morrow, Isabella Moroni, Chiara Pisciotta, Franco Taroni, Dragan Vujovic, Thomas E Lloyd, Gyula Acsadi, Sabrina W Yum, Richard A Lewis, Richard S Finkel, David N Herrmann, John W Day, Jun Li, Mario Saporta, Reza Sadjadi, David Walk, Joshua Burns, Francesco Muntoni, Sindhu Ramchandren, Rita Horvath, Nicholas E Johnson, Stephan Züchner, Davide Pareyson, Steven S Scherer, Alexander M Rossor, Michael E Shy, Mary M Reilly, Inherited Neuropathies Consortium - Rare Disease Clinical Research Network (INC-RDCRN)
Oct 15, 2020
Mitofusin-2 (MFN2) is one of two ubiquitously expressed homologous proteins in eukaryote cells, playing a critical role in mitochondrial fusion. Mutations in MFN2 (most commonly autosomal dominant) cause Charcot-Marie-Tooth...
Charcot-Marie-Tooth Examination Score v2.0 Charcot-Marie-Tooth disease type 2A genotype-phenotype correlations mitofusin-2 standardized response mean Adolescent Adult Age of Onset Charcot-Marie-Tooth disease Child Child Preschool Cohort Studies Disease Progression Female GTP Phosphohydrolases Genes Dominant Genes Recessive Genetic Association Studies Genetic Markers Humans Infant Longitudinal Studies Male Mitochondrial Proteins Neurologic Examination Orthotic Devices Prognosis Prospective Studies Wheelchairs Young Adult
A latex agglutination assay to quantify the amount of hemagglutinin protein in adjuvanted low-dose influenza monovalent vaccines.
Sophie Buffin, Nabila Ikhelef, Julien Prudent, Joseline Dubayle, Nolwenn Nougarede, Marie-Pierre Varenne, Catherine Moste, Isabelle Legastelois
Mar 22, 2018
To formulate inactivated influenza vaccines, the concentration of hemagglutinin (HA) must be accurately determined. The standard test currently used to measure HA in influenza vaccines is the Single Radial Immunodiffusion (SRID)...
|
|< |
< |
1 |