Search
Results: 519
Paul Weiss, 1959
The Rockefeller University
Jan 01, 0001
Paul Weiss. The biological foundations of wound repair.
Lecture delivered October 15, 1959
Posted with permission
Published by: Academic Press
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...
Mind Games: Big South Quiz Bowl Set for Jan. 28
Winthrop University
Jan 01, 0001
The competition will get underway at 9 a.m. as each college team will face each other during the seven rounds held in Owens Hall. Competing are Winthrop, Gardner-Webb, Radford, Liberty, Coastal Carolina, Virginia Military...
Published by: Winthrop University
Somatic genetic rescue of a germline ribosome assembly defect.
Shengjiang Tan, Laëtitia Kermasson, Christine Hilcenko, Vasileios Kargas, David Traynor, Ahmed Zakaria Boukerrou, Norberto Escudero-Urquijo, Alexandre Faille, Alexis Bertrand, Maxim Rossmann, Beatriz Goyenechea, Li Jin, Jonathan Moreil, Olivier Alibeu, Blandine Beaupain, Christine Bôle-Feysot, Stefano Fumagalli, Sophie Kaltenbach, Jean-Alain Martignoles, Cécile Masson, Patrick Nitschké, Mélanie Parisot, Aurore Pouliet, Isabelle Radford-Weiss, Frédéric Tores, Jean-Pierre de Villartay, Mohammed Zarhrate, Ai Ling Koh, Kong Boo Phua, Bruno Reversade, Peter J Bond, Christine Bellanné-Chantelot, Isabelle Callebaut, François Delhommeau, Jean Donadieu, Alan Warren, Patrick Revy
Jul 14, 2021
Germ Cells Cells Cultured Ribosomes Animals Humans Drosophila Dictyostelium Saccharomyces cerevisiae Proteins Ribonucleoprotein U5 Small Nuclear Peptide Elongation Factors Eukaryotic Initiation Factors Biological Phenomena Protein Biosynthesis Protein Binding Sequence Homology Amino Acid Mutation Adolescent Adult Child Child Preschool Infant Ribosome Subunits Large Eukaryotic Young Adult Molecular Dynamics Simulation Shwachman-Diamond Syndrome
Somatic genetic rescue of a germline ribosome assembly defect.
Shengjiang Tan, Laëtitia Kermasson, Christine Hilcenko, Vasileios Kargas, David Traynor, Ahmed Z Boukerrou, Norberto Escudero-Urquijo, Alexandre Faille, Alexis Bertrand, Maxim Rossmann, Beatriz Goyenechea, Li Jin, Jonathan Moreil, Olivier Alibeu, Blandine Beaupain, Christine Bôle-Feysot, Stefano Fumagalli, Sophie Kaltenbach, Jean-Alain Martignoles, Cécile Masson, Patrick Nitschké, Mélanie Parisot, Aurore Pouliet, Isabelle Radford-Weiss, Frédéric Tores, Jean-Pierre de Villartay, Mohammed Zarhrate, Ai Ling Koh, Kong Boo Phua, Bruno Reversade, Peter J Bond, Christine Bellanné-Chantelot, Isabelle Callebaut, François Delhommeau, Jean Donadieu, Alan J Warren, Patrick Revy
Jun 29, 2022
Adolescent Adult Animals Biological Phenomena Cells Cultured Child Child Preschool Dictyostelium Drosophila Eukaryotic Initiation Factors Germ Cells Humans Infant Molecular Dynamics Simulation Mutation Peptide Elongation Factors Protein Binding Protein Biosynthesis Proteins Ribonucleoprotein U5 Small Nuclear Ribosome Subunits Large Eukaryotic Ribosomes Saccharomyces cerevisiae Sequence Homology Amino Acid Shwachman-Diamond Syndrome Young Adult
Reply to Weiss
Bao Yang, Chun Qin, Achim Bräuning, Timothy J Osborn, Valerie Trouet, Fredrik Charpentier Ljungqvist, Jan Esper, Lea Schneider, Jussi Grießinger, Ulf Büntgen, Sergio Rossi, Guanghui Dong, Mi Yan, Liang Ning, Jianglin Wang, Xiaofeng Wang, Beixi Fan, Suming Wang, Jürg Luterbacher, Edward R Cook, Nils Chr Stenseth
Jun 13, 2022
Dominant male song performance reflects current immune state in a cooperatively breeding songbird.
Conspicuous displays are thought to have evolved as signals of individual "quality", though precisely what they encode remains a focus of debate. While high quality signals may be produced by high quality individuals due to...
Retiring President Inducted into Big South Hall of Fame For His Contributions
Winthrop University
Jan 01, 0001
Dr. DiGiorgio was inducted along with former Liberty volleyball record holder Anthonia Akpama and Radford men's soccer standout Ian Spooner. The Class of 2013 inductees increases the Big South Conference Hall of Fame to 52...
Published by: Winthrop University
Prions
Neurodegenerative diseases are characterized by the aggregation of misfolded proteins in the brain. Among these disorders are the prion diseases, which are transmissible, and in which the misfolded proteins ("prions") are also...
Alzheimer Disease Alzheimer's gene therapy neurodegeneration Neuroprotection Prion Unfolded Protein Response (UPR) adenine Alzheimer Disease Amyloid beta-Peptides Animals Humans Indoles Neurodegenerative Diseases Parkinson Disease Prion Diseases Prions Protein Conformation Protein Kinase Inhibitors Tauopathies Unfolded Protein Response ALPHA-SYNUCLEIN eIF-2 Kinase tau Proteins
Somatic genetic rescue of a germline ribosome assembly defect
Shengjiang Tan, Laëtitia Kermasson, Christine Hilcenko, Vasileios Kargas, David Traynor, Ahmed Z. Boukerrou, Norberto Escudero-Urquijo, Alexandre Faille, Alexis Bertrand, Maxim Rossmann, Beatriz Goyenechea, Li Jin, Jonathan Moreil, Olivier Alibeu, Blandine Beaupain, Christine Bôle-Feysot, Stefano Fumagalli, Sophie Kaltenbach, Jean-Alain Martignoles, Cécile Masson, Patrick Nitschké, Mélanie Parisot, Aurore Pouliet, Isabelle Radford-Weiss, Frédéric Tores, Jean-Pierre de Villartay, Mohammed Zarhrate, Ai Ling Koh, Kong Boo Phua, Bruno Reversade, Peter J. Bond, Christine Bellanné-Chantelot, Isabelle Callebaut, François Delhommeau, Jean Donadieu, Alan J. Warren, Patrick Revy
Aug 19, 2021
Abstract: Indirect somatic genetic rescue (SGR) of a germline mutation is thought to be rare in inherited Mendelian disorders. Here, we establish that acquired mutations in the EIF6 gene are a frequent mechanism of SGR in...
Homological stability for moduli spaces of high dimensional manifolds. II
We prove a homological stability theorem for moduli spaces of manifolds
of dimension 2$\textit{n}$, for attaching handles of index at least $\textit{n}$, after these manifolds have been stabilised by countably many copies of...
Diagnostic decision making
Marjorie Cecilia Weiss
Aug 01, 2011
Nurses and pharmacists gained the right to prescribe as independent prescribers in the UK in 2007. Independent prescribers are responsible for the initial assessment of patients with diagnosed and undiagnosed conditions. Public...
Born into Covenantal Salvation? Baptism and Birth in Early Christianity and Classical Rabbinic Judaism
DH Weiss
Aug 07, 2017
This article seeks to propose a new conceptual framing for the question of baptism in early Christianity. It takes for its starting point a study that puts forth the claim that in the first three centuries, infants born into a...
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
A nation without borders?
DH Weiss
Oct 18, 2016
|
|< |
< |
1 |