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,733 Downloads 5,123 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,732 Downloads 3,513 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,701 Downloads 11,015 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 398 Downloads 2,850 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 156 Downloads 681 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,607 Downloads 6,982 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,403 Downloads 5,683 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 212 Downloads 2,652 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 123 Downloads 651 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,412 Downloads 5,343 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,190 Downloads 10,101 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,103 Downloads 2,341 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 292 Downloads 1,086 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 72 Downloads 327 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,481 Downloads 10,409 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,929 Downloads 10,824 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,448 Downloads 7,674 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,681 Downloads 7,434 Views Citations
This article belongs to the Special Issue on Field Theory
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,114 Downloads 5,812 Views Citations
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,232 Downloads 15,527 Views Citations

First <12 3 >Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies