Search
Results: 1059
Functional Specialization and the Future of the Love of Wisdom
Paul St. Amour
Nov 12, 2022
Paul St. Amour is currently an Associate Professor of Philosophy at Saint Joseph’s University, in Philadelphia. He received his Ph.D in philosophy from Fordham University and has published articles in The Thomist, Analecta...
Published by: Memorial University of Newfoundland
Functional Specialization and the Future of the Love of Wisdom
Paul St. Amour
Nov 12, 2022
Paul St. Amour is currently an Associate Professor of Philosophy at Saint Joseph’s University, in Philadelphia. He received his Ph.D in philosophy from Fordham University and has published articles in The Thomist, Analecta...
Published by: Memorial University of Newfoundland
Dialectic Exercise on ‘the General Bias’
The assembled text is Insight, Chapter 7, section 8, on the “general bias” of common sense. First, I attempt to identify key counterpositions that previously guided my thinking about general bias. Second, I identify a position...
Published by: Memorial University of Newfoundland
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...
Dialectic Exercise on ‘the General Bias’
The assembled text is Insight, Chapter 7, section 8, on the “general bias” of common sense. First, I attempt to identify key counterpositions that previously guided my thinking about general bias. Second, I identify a position...
Published by: Memorial University of Newfoundland
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...
Platelet abnormalities in Huntington's disease.
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...
Portrait of blood-derived extracellular vesicles in patients with Parkinson's disease.
Jérôme Lamontagne-Proulx, Isabelle St-Amour, Richard Labib, Jérémie Pilon, Hélèna L Denis, Nathalie Cloutier, Florence Roux-Dalvai, Antony T Vincent, Sarah L Mason, Caroline Williams-Gray, Anne-Claire Duchez, Arnaud Droit, Steve Lacroix, Nicolas Dupré, Mélanie Langlois, Sylvain Chouinard, Michel Panisset, Roger A Barker, Eric Boilard, Francesca Cicchetti
Dec 20, 2018
The production of extracellular vesicles (EV) is a ubiquitous feature of eukaryotic cells but pathological events can affect their formation and constituents. We sought to characterize the nature, profile and protein signature...
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...
St. Francis and Islam
Scott Thomas
Jan 01, 2018
St. Francis of Assisi’s dramatic meeting with the Sultan Malek el-Kamel in Damietta, Egypt, during the Fifth Crusade (1213–1221) has become an important part of the contemporary context for Muslim–Christian relations, Middle...
The Yellow Jacket St. Matthews High School Jan, 21, 1947
Winthrop News Service
Jan 01, 0001
St. Matthews High School newspaper, The Yellow Jacket, won third place in the story division of the Story-of-the-Month, sponsored by the Winthrop College department of journalism.
Published by: Winthrop University
Winthrop's 23rd Summer ST-ARTS Program Continues to June 24
Winthrop University
Jan 01, 0001
The 23rd annual ST-ARTS Program will continue through June 24 with daily sessions and three Saturday workshops. Fort Mill, Lancaster, Clover, Rock Hill and York students in grades 6-8 will participate in the program.
Published by: Winthrop University
The impact of introduced predators on an island endemic, the St Helena Plover, Charadrius sanctaehelenae
We investigated the impact of introduced predators on the productivity of the St Helena Plover Charadrius sanctaehelenae, a shorebird endemic to the South Atlantic island of St Helena. The nest predator species identified have...
St. Francis and Islam
Scott Thomas
Jan 01, 2018
St. Francis of Assisi’s dramatic meeting with the Sultan Malek el-Kamel in Damietta, Egypt, during the Fifth Crusade (1213–1221) has become an important part of the contemporary context for Muslim–Christian relations, Middle...
THE SOCIAL EVALUATION OF POST-VOCALIC LIGHT /L/ IN ST. JOHN'S ENGLISH
Rosanna Pierson
Sep 21, 2015
This study addresses the question of perception and evaluation of light post-vocalic /l/ in St. John's through a series of perception experiments. These experiments test whether people are able to hear the difference between...
Published by: Memorial University of Newfoundland
The impact of introduced predators on an island endemic, the St Helena Plover, Charadrius sanctaehelenae
We investigated the impact of introduced predators on the productivity of the St Helena Plover Charadrius sanctaehelenae, a shorebird endemic to the South Atlantic island of St Helena. The nest predator species identified have...
THE SOCIAL EVALUATION OF POST-VOCALIC LIGHT /L/ IN ST. JOHN'S ENGLISH
Rosanna Pierson
Sep 21, 2015
This study addresses the question of perception and evaluation of light post-vocalic /l/ in St. John's through a series of perception experiments. These experiments test whether people are able to hear the difference between...
Published by: Memorial University of Newfoundland
Cognitive Decline in Older Patients With Non- ST Elevation Acute Coronary Syndrome.
Sophie Z Gu, Benjamin Beska, Danny Chan, Dermot Neely, Jonathan A Batty, Jennifer Adams-Hall, Helen Mossop, Weiliang Qiu, Vijay Kunadian
Mar 12, 2020
Background Dementia is a growing health burden of an aging population. This study aims to evaluate the prevalence of cognitive impairment and the predictors of cognitive decline at 1 year in older patients with non-ST-elevation...
Cognition COGNITIVE IMPAIRMENT Coronary Artery Disease non‐ST‐segment–elevation acute coronary syndrome Acute Coronary Syndrome Aged Aged 80 and over Cognitive Dysfunction Coronary Angiography Electrocardiography Female Follow-Up Studies Humans Male prevalence Prognosis Prospective Studies Risk Factors United Kingdom
Research on the Demographic Changes Around San Antonio's St. Paul Square from 1880 to 1920
Christopher D. Oliver
Apr 01, 2020
We often hear of the massive boom in population experienced by various Northern cities during the Great Migration (1916-1960), where over 6 million African Americans would migrate across the country in search for better...
Published by: Digital Commons @ Texas A&M University-San Antonio
|
|< |
< |
1 |