Search
Results: 4251
Interview with Ruth Erline Mathis Martin
In her June 1984 interview with Michael Cooke, Ruth Erline Mathis Martin (1934-2020) discussed her time as a DHEC employee in the sickle cell anemia program. She covered topics of DHEC's involvement with community groups, sickle...
sickle cell anemia Department of Health and Environmental Control James R. Clark Sickle Cell Foundation community groups Oral History
Published by: Winthrop University
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...
Martin Peerson and Greville’s Caelica’
GR Alexander
Mar 27, 2017
This article assesses the relations between Martin Peerson’s Mottects or Grave Chamber Musique (1630) and Fulke Greville’s lyric sequence Caelica.1 It focuses on two particular questions: what kind of an interpretation or...
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...
Martin Luther King Jr. Activities Planned for Jan. 16
Winthrop University
Jan 01, 0001
Winthrop will celebrate Martin Luther King Jr. Day on Jan. 16 with a number of activities including a prayer breakfast, a candlelight vigil, a unity rally and more.
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...
What role should the commercial food system play in promoting health through better diet?
Martin White, Emilie Aguirre, Diane T Finegood, Chris Holmes, Gary Sacks, Richard Smith
Mar 27, 2020
Martin White and coauthors consider that the commercial food system has the potential to show leadership and support for dietary public health, but systemic change is needed first and this is likely to require governmental action
IPR Policy Brief - A very large gamble
Quantitative Easing (QE) has been used in the UK and US as an unconventional monetary policy response to the financial crisis. QE involves large scale asset purchases by Central Banks, amounting to $3 trillion in the US and £375...
Published by: University of Bath
IPR Policy Brief - A very large gamble
Quantitative Easing (QE) has been used in the UK and US as an unconventional monetary policy response to the financial crisis. QE involves large scale asset purchases by Central Banks, amounting to $3 trillion in the US and £375...
Published by: University of Bath
Investigating Lunar Secondary Cratering in the Tycho and Copernicus Regions
Sarah Marchione
Jan 01, 0001
Primary craters are created by objects impacting on the surface a terrestrial body. The ejecta caused by primary impacts make smaller, secondary craters. The number of primary craters on a surface indicate how long that surface...
craters cratering lunar surface moon surface Age age of moon Physical Sciences and Mathematics Physics The Sun and the Solar System
Published by: Ursinus College
Compositional boundary layers trigger liquid unmixing in a basaltic crystal mush.
Victoria C Honour, Marian B Holness, Bernard Charlier, Sandra C Piazolo, Olivier Namur, Ty J Prosa, Isabelle Martin, Rosalind T Helz, John Maclennan, Marlon M Jean
Sep 19, 2019
The separation of immiscible liquids has significant implications for magma evolution and the formation of magmatic ore deposits. We combine high-resolution imaging and electron probe microanalysis with the first use of atom...
Nick Martin's Communism
This project examines the life and career of Hungarian-born athlete Nick Martin. It explores the opportunities available to Martin via his success as an Olympic athlete.
Nick Martin water polo 1956 Olympics Cold War Oral History Sports Illustrated sport history Hungary Melbourne Digital Humanities European History Oral History political history Sports Studies
Published by: Ursinus College
Martin de Barcos
Michael Moriarty
Jan 30, 2014
Compositional boundary layers trigger liquid unmixing in a basaltic crystal mush
Victoria C. Honour, Marian B. Holness, Bernard Charlier, Sandra C. Piazolo, Olivier Namur, Ty J. Prosa, Isabelle Martin, Rosalind T. Helz, John Maclennan, Marlon M. Jean
Oct 22, 2020
Abstract: The separation of immiscible liquids has significant implications for magma evolution and the formation of magmatic ore deposits. We combine high-resolution imaging and electron probe microanalysis with the first use...
Asthma
Aaron S et al. Re-evaluation of diagnosis in adults with physician-diagnosed asthma. JAMA (1)
Reviewed by Akhilesh Jha
Asthma diagnosis is based on classical symptoms together with variable airflow limitation (2). Accuracy...
Cell-autonomous programming of rat adipose tissue insulin signalling proteins by maternal nutrition.
Adipose Tissue Cell-autonomous mechanisms developmental programming Insulin signalling Low birthweight maternal diet Protein restriction Type 2 diabetes Adipocytes Adipose Tissue Animals Cell Size Cells Cultured Diet Protein-Restricted Female Insulin Insulin Resistance Male Maternal Nutritional Physiological Phenomena MicroRNAs Pregnancy Rats Signal Transduction
Press Release: The King Legacy - Thoughts From the Ursinus College Community
College Communications
Jan 01, 0001
News article which recounts how Reverend Martin Luther King Jr. came to impact the life of Reverend Charles Rice.
Reverend Charles Rice Martin Luther King Jr. Ursinus College Brooklyn Let the Trumpet Sound Shirley Chisholm Other America African American Studies Civil Rights and Discrimination Higher Education Liberal Studies United States History
Published by: Ursinus College
The Grizzly, January 28, 1991
Krishni Patrick, Sara Jacobson, Erika Compton, Kathleen Bowers, Diane Gabel, Becky Carreon, Mary Frances Woodall, Judd Woytek, Cassandra Yutzy, Jen Stritch, Shawn Glancy, Terri Johnson, Chris Major, Trey Gelston, Steven Grubb, Deb Martin, Tonya Ugoretz, Eric Bleickardt, Reed Coats, Jennifer Rausin, Amy Flemming, Harley David Rubin, Richard P. Richter, John Wickersham, Jeneen Flamer
Jan 01, 0001
Policies and Statistics, A Security Concern: New Quad Regulations; Crime Report Released Sonia Sanchez: Poet for Peace Gulf Dialogue Continues Independence Dogs Financial Aid Month "You Asked for it: You Got It!!" New Quad...
Ursinus College Collegeville Pennsylvania newspaper Gulf War Linda Fisher Waste disposal Racism Basketball track team Swimming Berman Museum of Art Ian McEwan campus security Who's who Martin Luther King Jr. Wismer dining hall Financial Aid service dogs student government Paisley Hall Beardwood Hall Sonia Sanchez cultural history Higher Education Liberal Studies Social History United States History
Published by: Ursinus College
Asthma
Aaron S et al. Re-evaluation of diagnosis in adults with physician-diagnosed asthma. JAMA (1)
Reviewed by Akhilesh Jha
Asthma diagnosis is based on classical symptoms together with variable airflow limitation (2). Accuracy...
Metabolic adjustment to high-altitude hypoxia
Andrew J Murray, Hugh E Montgomery, Martin Feelisch, Michael PW Grocott, Daniel S Martin
Jun 28, 2018
Ascent to high altitude is associated with physiological responses that counter the stress of hypobaric hypoxia by increasing oxygen delivery and by altering tissue oxygen utilisation via metabolic modulation. At the cellular...
|
|< |
< |
1 |