Models of Formal Principles - Articles - Scientific Research Publishing

Two Competing Views on Formal Principles (Articles)

Alexandre Travessoni Gomes Trivisonno, Júlio Aguiar de Oliveira

Beijing Law Review Vol.15 No.3, September 26, 2024

DOI: 10.4236/blr.2024.153091 129 Downloads 1,023 Views Citations
Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms (Articles)

J. Foukzon, E. R. Men’kova

Advances in Pure Mathematics Vol.3 No.3, May 17, 2013

DOI: 10.4236/apm.2013.33053 3,481 Downloads 6,366 Views Citations
A Lightweight Formal Framework for Behavioral Safety Auditing of Large Language Models in Cloud Infrastructures (Articles)

Austin Waffo Kouhoué, Thomas Bouetou Bouetou

Journal of Computer and Communications Vol.14 No.6, June 24, 2026

DOI: 10.4236/jcc.2026.146007 26 Downloads 200 Views Citations
This article belongs to the Special Issue on Web Technologies & Cloud Computing
Sustainability Embedded Organizational Diagnostic Model (Articles)

Bilal Bin Saeed, Wenbin Wang

Modern Economy Vol.5 No.4, April 18, 2014

DOI: 10.4236/me.2014.54041 8,533 Downloads 13,408 Views Citations
Knowledge Management of Software Productivity and Development Time (Articles)

James A. Rodger, Pankaj Pankaj, Ata Nahouraii

Journal of Software Engineering and Applications Vol.4 No.11, November 21, 2011

DOI: 10.4236/jsea.2011.411072 5,028 Downloads 9,486 Views Citations
Formal Methods for Commercial Applications Issues vs. Solutions (Articles)

Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed

Journal of Software Engineering and Applications Vol.7 No.8, July 22, 2014

DOI: 10.4236/jsea.2014.78062 8,563 Downloads 11,649 Views Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z (Articles)

Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor

Journal of Software Engineering and Applications Vol.8 No.8, August 19, 2015

DOI: 10.4236/jsea.2015.88037 6,626 Downloads 9,664 Views Citations
TORI Axioms and the Application in Physics (Articles)

Dmitrii Kouznetsov

Journal of Modern Physics Vol.4 No.9, September 3, 2013

DOI: 10.4236/jmp.2013.49155 4,370 Downloads 7,895 Views Citations
Progress Continuance Sustainability (Articles)

Rinaldo C. Michelini, Roberto P. Razzoli

American Journal of Industrial and Business Management Vol.5 No.12, December 28, 2015

DOI: 10.4236/ajibm.2015.512080 4,214 Downloads 5,266 Views Citations
Galileo vs. Aristotle, Principles of Equivalence and the Gravitational Acceleration of Atoms according to General Relativity (Articles)

Charles H. McGruder III

Journal of Modern Physics Vol.16 No.7, July 30, 2025

DOI: 10.4236/jmp.2025.167053 160 Downloads 805 Views Citations
Implication of Land Regularization in Accessing Credits from Financial Institutions in Tanzania (Articles)

Jane J. Mbilinyi, Abiud L. Kaswamila, Emiliana A. Assenga

Current Urban Studies Vol.10 No.4, November 9, 2022

DOI: 10.4236/cus.2022.104032 370 Downloads 1,859 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

International Journal of Communications, Network and System Sciences Vol.3 No.10, October 27, 2010

DOI: 10.4236/ijcns.2010.310104 8,272 Downloads 17,228 Views Citations
Contemplating Design: Listening to Children’s Preferences about Classroom Design (Articles)

Marilyn A. Read

Creative Education Vol.1 No.2, September 18, 2010

DOI: 10.4236/ce.2010.12012 9,169 Downloads 16,965 Views Citations
The Three-Five-Eight (Bachelor, Master, Doctorate) System: An Essential and Demanding Reform for the University of Abomey-Calavi, Benin (West Africa) (Articles)

Prudence Sylviane Djidjoho Mignanwande, Jean-Claude Hounmenou

Open Journal of Social Sciences Vol.4 No.9, September 22, 2016

DOI: 10.4236/jss.2016.49014 2,145 Downloads 5,357 Views Citations
Protection of Places of Worship during Armed Conflicts: The Enrichment of International Humanitarian Law through Buddhism (Articles)

Isuru Liyanage, Thilini R. Galappaththige

Beijing Law Review Vol.13 No.2, June 30, 2022

DOI: 10.4236/blr.2022.132025 289 Downloads 3,213 Views Citations
Assessment of Nurses’ Knowledge in the Implementation of the Principles of Asepsis in the Hospital Environment (Articles)

Emmanuel Gasaba, Vestine Niyonkuru, Le Béni Bugingo, Thomas Zimurinda, Fabien Bimenyimana, Jean Népomuscène Ntirabampa, Marguerite Ndikumana, Bosco Ntiranyibagira, Eric Manirambona, Nathanaël Sindayigaya

Open Journal of Nursing Vol.12 No.12, December 29, 2022

DOI: 10.4236/ojn.2022.1212059 551 Downloads 5,635 Views Citations
Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.5, May 26, 2021

DOI: 10.4236/jamp.2021.95070 379 Downloads 1,319 Views Citations
Formal Derivation of the Combinatorics Problems with PAR Method (Articles)

Lingyu SUN, Yatian SUN

Journal of Software Engineering and Applications Vol.2 No.3, October 23, 2009

DOI: 10.4236/jsea.2009.23026 7,522 Downloads 11,459 Views Citations
Integrating Formal Methods in XP—A Conceptual Solution (Articles)

Shagufta Shafiq, Nasir Mehmood Minhas

Journal of Software Engineering and Applications Vol.7 No.4, April 17, 2014

DOI: 10.4236/jsea.2014.74029 5,761 Downloads 8,549 Views Citations
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

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