Search
Results: 3287
The Nuclear Pore Complex: Novel Glycoprotein Constituents
Laura Isabelle Davis
Jan 01, 0001
Nuclear pore complexes are large, uniform organelles with a mass estimated to be on the order of 108 daltons. They are ubiquitous components of the nuclear envelope, providing a channel through which macromolecular transport...
Published by: Rockefeller 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...
Winthrop Students Receive S.C. Art Education Association Scholarships
Winthrop University
Jan 01, 0001
Freshman Sarah Rubinstien received the association's scholarship while graduate student Laura Zellmer won the Liz Smith-Cox Scholarship. Department of Fine Arts alumna Toni Davis '11 was named SCAEA's Promising Young...
Published by: Winthrop University
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
Two Students Earn Highest GPA in Winthrop's May Graduating Class
Winthrop University
Jan 01, 0001
The Tillman Award winners were Rebecca Weaver Meares, a business administration major from Rock Hill, and Sydney Laura Shealy, an integrated marketing communication major from Lexington, S.C. Winthrop President Anthony DiGiorgio...
Published by: Winthrop University
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...
Winthrop First Lady Launches Women in Philanthropy Group
Winthrop University
Jan 01, 0001
The coalition's leadership council is made up of the following: First Lady Laura Mahony, Vivian Moore Carroll '73, Elaine Whitton Davis, Shirley Herlong Fishburne '72, '73, Jan Shaw McCoy and Hazel Bailes Somerville '69. The...
Published by: Winthrop University
Interview with the Daughters of Marjorie Faucett Patterson
Interview with Lynne Trowbridge and Laura Timmons, daughters of Marjorie Faucett Patterson, 1995 South Carolina Mother of the Year.
Published by: Winthrop University
Green Infrastructure, Revitalization, and Sustainability
MCOM 441 Class "American Sponge City: Alternative Water Structures"
Avery Davis: "The Los Angeles River: A City's Urban Heartbeat"
Robyn M. B. Stuber "Linking Social Sustainability to Sea Level Rise Through Vulnerability in...
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 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...
Scater
MOTIVATION: Single-cell RNA sequencing (scRNA-seq) is increasingly used to study gene expression at the level of individual cells. However, preparing raw sequence data for further analysis is not a straightforward process....
Whitton Best Practice Series for Small Business Owners Begins on March 8
Winthrop University
Jan 01, 0001
The objective of the Whitton Best Practices Series, sponsored by Davis and developed in conjunction with Winthrop faculty, is to provide free or low-cost access to current state-of-the-art knowledge relevant to small business...
Published by: Winthrop University
Laura Chuhan Campbell, The Medieval Merlin Tradition in France and Italy: Prophecy, Paradox, and “Translatio”. (Gallica.) Cambridge, UK: D. S. Brewer, 2017. Pp. viii, 211. £60. ISBN
Irène Fabry-Tehranchi
Feb 07, 2020
This book, a revised version of the author’s 2011 dissertation at the University of Durham, studies the reinterpretation of Merlin’s character in French and Italian Arthurian literature through the question of translation. Laura...
The Ursinus Weekly, October 28, 1940
Nicholas Barry, Dillwyn Darlington, Garnet Adams, James Raban, John F. Rauhauser, Douglas Davis, M. Virginia Ernest
Jan 01, 0001
Senator J. A. Ellender holds Willkie temperamentally unfit for president Importance of 'but' told by vespers talk Connor calls news staff to plan for Jr. paper Republican rally to hear Davis tomorrow evening Rev. Mr. Faye...
Ursinus College Collegeville Pennsylvania newspaper James J. Davis Joseph A. Ellender James Carter John W. Mauchly Edwin N. Faye Harvey L. Carter International Relations Club Huey Long LIBRARY field hockey Football Soccer cultural history Higher Education Liberal Studies Social History United States History
Published by: Ursinus College
Using Rubrics for Language Assessment
Laura Mendoza
Aug 14, 2023
The use of rubrics for classroom assessment has been evolving rapidly during the last decades. Unfortunately, because rubrics across language classrooms are only sometimes standardized, some may provide a non-friendly language...
classroom management Education Learning Assessment and Measurement Social Sciences and Humanities Library and Information Science
Published by: IGI Global Scientific Publishing
|
|< |
< |
1 |