Proof Assistant Coq - Articles - Scientific Research Publishing

Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2, June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,656 Downloads 4,965 Views Citations
Area inside a Circle: Intuitive and Rigorous Proofs (Articles)

Vali Siadat

American Journal of Computational Mathematics Vol.7 No.1, March 31, 2017

DOI: 10.4236/ajcm.2017.71009 1,707 Downloads 3,401 Views Citations
An Artificial Intelligence Based Virtual Assistant Using Conversational Agents (Articles)

Mehdi Mekni

Journal of Software Engineering and Applications Vol.14 No.9, September 2, 2021

DOI: 10.4236/jsea.2021.149027 1,629 Downloads 10,674 Views Citations
Attitudes, Practices and Factors Affecting the Use of the Partogram by Professionals Attending to Women in Labour and Delivery in the Bafut Health District (Articles)

Takang William Ako, Fouelifack Ymele Florent, Egbe Thomas Obichemti, Atchounkeu Tchouasseu Arsene

Open Journal of Obstetrics and Gynecology Vol.12 No.8, August 31, 2022

DOI: 10.4236/ojog.2022.128073 349 Downloads 2,703 Views Citations
Does the Social Media Platform Change the Impression of Teaching Assistants?: A Facebook vs. Twitter Study (Articles)

Zuoming Wang

Social Networking Vol.14 No.1, January 26, 2025

DOI: 10.4236/sn.2025.141001 130 Downloads 585 Views Citations
A Proof of Concept Study on Cortisol Response to Three Different Educational Environs (Alone, Same-Sex, and Mixed-Sex) (Articles)

Sean A. Forbes, Svetlana Chesser, Anthony J. Guarino

Creative Education Vol.4 No.4A, April 30, 2013

DOI: 10.4236/ce.2013.44A002 4,569 Downloads 6,879 Views Citations
This article belongs to the Special Issue on Global Interconnectedness and Education
Studies on Seismic Identification and Reinforcement Design of Building Structures (Articles)

Ying Liu

Open Journal of Civil Engineering Vol.8 No.3, September 3, 2018

DOI: 10.4236/ojce.2018.83022 2,357 Downloads 5,550 Views Citations
On the Study of Binomial Theorem: Formulation of Conjecture for Odd Binomial Coefficients for Binomials with Indices of n = 2^r – 1, Where r∈Z^-* (Articles)

Ellvan M. Campos, Ronald S. Decano

Open Access Library Journal Vol.9 No.5, May 9, 2022

DOI: 10.4236/oalib.1108670 204 Downloads 2,402 Views Citations
Time Dilation Cosmology 3: Mathematical Proof of the $\sqrt{3}$ Temporal and $\sqrt{2}$ Spatial Acceleration Factors (Articles)

Joseph H. Cass Forrington

Journal of Modern Physics Vol.15 No.12, November 12, 2024

DOI: 10.4236/jmp.2024.1512090 84 Downloads 540 Views Citations
Three-year follow up of primary health care workers trained in identification of blind and visual impaired children in Malawi (Articles)

Khumbo Kalua, Misheck Nyirenda, Susan Lewallen, Paul Courtright

Health Vol.5 No.11, November 12, 2013

DOI: 10.4236/health.2013.511241 3,356 Downloads 5,213 Views Citations
Does Motivation Predict Persistence and Academic Success? (Articles)

Kelli D. Whittington

Open Journal of Nursing Vol.5 No.1, January 12, 2015

DOI: 10.4236/ojn.2015.51002 5,102 Downloads 9,822 Views Citations
Attrition of Surgical Faculty in an Academic Medical Center (Articles)

Bhagwan Satiani, David Way, Heather Brod, E. Christopher Ellison, Thomas E. Williams

Open Journal of Leadership Vol.6 No.3, August 22, 2017

DOI: 10.4236/ojl.2017.63008 1,067 Downloads 2,230 Views Citations
The Significance of Laboratory Staffs Construction in Medical Colleges from the Perspective of “New Medicine” (Articles)

Yanhua Zhang, Feng Qian, Jin Yan, Fuyuan Yang, Wangui Yu

Open Journal of Social Sciences Vol.10 No.6, June 17, 2022

DOI: 10.4236/jss.2022.106006 269 Downloads 1,032 Views Citations
Application of Case-Based Teaching Combined with Graduate Teaching Assistants in Fundamental Nursing Skills Practicum (Articles)

Fang Peng, Hong Zhou, Aiping Gong, Jing Geng, Juan Ding

Open Journal of Applied Sciences Vol.15 No.9, September 12, 2025

DOI: 10.4236/ojapps.2025.159175 45 Downloads 245 Views Citations
Secure Multi-Party Proof and its Applications (Articles)

Chunming Tang, Shuhong Gao

Journal of Software Engineering and Applications Vol.3 No.7, July 23, 2010

DOI: 10.4236/jsea.2010.37081 6,411 Downloads 10,275 Views Citations
Single doses of p38 MAP kinase inhibitors or prednisolone affect CRP and IL-6 in patients with active Rheumatoid Arthritis (RA) (Articles)

Pauline T. Lukey, Hayley C. Perry, Shuying Yang, Simon Parry, Marion C. Dickson, Virginia H. Norris, Paul G. Russell, Marie Watissée, Inmaculada Rioja, Keith P. Ray, Scott Crowe, Michael Binks

Open Journal of Immunology Vol.2 No.3, September 21, 2012

DOI: 10.4236/oji.2012.23011 5,879 Downloads 10,659 Views Citations
Proof of concept study to identify candidate biomarkers of fibrosis using high throughput peptide aptamer microarray and validate by enzyme linked immunosorbant assay (Articles)

Sam Straw, Paul Ko Ferrigno, Qifeng Song, Darren Tomlinson, Francesco Del Galdo

Journal of Biomedical Science and Engineering Vol.6 No.8B, August 13, 2013

DOI: 10.4236/jbise.2013.68A2005 4,407 Downloads 7,572 Views Citations
This article belongs to the Special Issue on Fibrosis Treatment
A Renormalizable Theory of Quantum Gravity: Renormalization Proof of the Gauge Theory of Volume Preserving Diffeomorphisms (Articles)

Christian Wiesendanger

Journal of Modern Physics Vol.5 No.10, June 27, 2014

DOI: 10.4236/jmp.2014.510099 5,634 Downloads 7,305 Views Citations
This article belongs to the Special Issue on Field Theory
A Simple and General Proof of Beal’s Conjecture (I) (Articles)

Golden Gadzirayi Nyambuya

Advances in Pure Mathematics Vol.4 No.9, September 22, 2014

DOI: 10.4236/apm.2014.49059 7,154 Downloads 15,338 Views Citations
Capacity Building for the Integration of Climate Adaptation into Urban Planning Processes: The Dutch Experience (Articles)

Thomas Hartmann, Tejo Spit

American Journal of Climate Change Vol.3 No.3, September 18, 2014

DOI: 10.4236/ajcc.2014.33023 4,057 Downloads 5,698 Views Citations

First <12 3 >Last

	customer@scirp.org
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies