Search
Results: 4440
Corneal dendritic cells in diabetes mellitus
corneal dendritic cell corneal epithelial cells corneal nerves diabetic corneal neuropathy diabetic mellitus diabetic microvascular complications in vivo confocal microscopy ocular surface Animals Humans Microscopy Confocal Cornea Epithelium Corneal Diabetic Neuropathies Dendritic Cells Diabetes mellitus
Interview with Jai Lee
Jai Lee
Jan 01, 0001
In her January 14, 2014 interview with Cody Willis, Jai Lee shares her experience as an economic major from Korea. Lee discusses the differences between Korean colleges and Winthrop. This interview was conducted for inclusion...
Published by: Winthrop University
Guan Yu
Noga Ganany
Dec 09, 2019
A critical study of the rich religious tradition surrounding Guan Yu 關羽
(Guandi 關帝 / Guangong 關公 / Lord Guan) was long overdue. Bared ter Haar’s recent book rises up to the task with commendable thoroughness, a tour de force of...
Interview with John Lee "Bird" Ellis - OH 709
This interview was conducted by Dr. George Garrison with John Lee (Bird) Ellis for Dr. Garrison's project on the History of Emmett Scott High School. Emmett Scott was the segregated high school for African-Americans, which was...
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...
Miss Li Nei-Yu of China Jan. 22, 1947
Winthrop News Service
Jan 01, 0001
Miss Li Nei-Yu of Peiping, China, submitted an application for admission to Winthrop College for Women. Her transcripts arrived with $1400 US in postage due to the inflation in China. Rock Hill post office employees say to send...
Published by: Winthrop University
Seven non-differentially expressed 'dark biomarkers' show transcriptional dysregulation in chronic lymphocytic leukemia.
Ruihao Xin, Xin Feng, Hang Zhang, Yueying Wang, Meiyu Duan, Tunyang Xie, Lin Dong, Qiong Yu, Lan Huang, Fengfeng Zhou
Jan 27, 2023
Aim: Transcriptional regulation is actively involved in the onset and progression of various diseases. This study used the feature-engineering approach model-based quantitative transcription regulation to quantitatively measure...
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
S.C. Association of Regional Councils Names Eddie Lee New President
Winthrop University
Jan 01, 0001
Eddie Lee '83 is also the mayor of York. Eddie Lee '83 is no stranger to local government. In addition to his duties as associate professor of history and director of history graduate studies at Winthrop University, he's also...
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...
Lee wave generation rates in the deep ocean
Using the world's largest data set of in situ ocean current measurements, combined with a high-resolution topography roughness data set, we use a model-assisted hierarchical clustering methodology to estimate the global lee wave...
Lee wave generation rates in the deep ocean
Using the world's largest data set of in situ ocean current measurements, combined with a high-resolution topography roughness data set, we use a model-assisted hierarchical clustering methodology to estimate the global lee wave...
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...
From Verbal-static to Visual-dynamic
Jiuquan Han
Mar 27, 2018
Starting off from Makeham’s (2003) differentiation between historical meaning and scriptural meaning, Huang’s (2011) citation of coherence theories and Xu’s (2002; 2004a; 2004b) embodimental reading by rejecting Western logos...
Published by: Cambridge Journal of China Studies
‘The Eyes of an Intellectual Vampire’
Abstract
This article reframes debate on the intersections of female aestheticism and cultural dissidence by focusing on the construction of queer masculinities at the end of the...
Frankie Dytor
May 18, 2021
A Study of Cooperation Between Suppliers and E-Commerce Platforms Based on Biform Game
This article considers e-commerce platforms with and without promotion, builds biform game models consisting of one and two supplier platforms, and calculates the profit distribution of the three parties using the Shapley value...
Published by: IGI Global Scientific Publishing
Unprecedented and highly stable lithium storage capacity of (001) faceted nanosheet-constructed hierarchically porous TiO2/rGO hybrid architecture for high-performance Li-ion batteries.
Wen-Bei Yu, Zhi-Yi Hu, Jun Jin, Min Yi, Min Yan, Yu Li, Hong-En Wang, Huan-Xin Gao, Li-Qiang Mai, Tawfique Hasan, Bai-Xiang Xu, Dong-Liang Peng, Gustaaf Van Tendeloo, Bao-Lian Su
Jan 06, 2022
Active crystal facets can generate special properties for various applications. Herein, we report a (001) faceted nanosheet-constructed hierarchically porous TiO2/rGO hybrid architecture with unprecedented and highly stable...
|
|< |
< |
1 |