Formal Calculation - Articles - Scientific Research Publishing

Application and Popularization of Formal Calculation (Articles)

Ji Peng

Open Access Library Journal Vol.9 No.11，November 28, 2022

DOI: 10.4236/oalib.1109483 31 Downloads 399 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,203 Downloads 10,750 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,165 Downloads 8,329 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 177 Downloads 1,034 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

Int'l J. of Communications, Network and System Sciences Vol.3 No.10，October 27, 2010

DOI: 10.4236/ijcns.2010.310104 7,747 Downloads 16,032 Views Citations
Starting Point of Cluster-Derived Silicon Nanowires (Articles)

Aijiang Lu

Journal of Modern Physics Vol.4 No.4，April 24, 2013

DOI: 10.4236/jmp.2013.44071 5,368 Downloads 7,221 Views Citations
Computational Model of Successful Mobilization of Voluntary Firefighters (Articles)

Joze Srekl

Open Journal of Safety Science and Technology Vol.4 No.1，March 11, 2014

DOI: 10.4236/ojsst.2014.41006 2,551 Downloads 3,817 Views Citations
Geodetic Datum Transformation Parameters towards WGS84 Applicable to the 1/50k Topographical Map (1981) of Burundi (Articles)

Johan Lavreau

International Journal of Geosciences Vol.7 No.5，May 17, 2016

DOI: 10.4236/ijg.2016.75048 2,855 Downloads 4,167 Views Citations
This article belongs to the Special Issue on Surveying, Mapping and Geodesy
Analytical Calculation of the Energy in a Permanent Magnet (Articles)

Jean-Paul Yonnet, Christian Chillet, Hicham Allag, Lotfi Chouikhi

Journal of Modern Physics Vol.7 No.16，December 5, 2016

DOI: 10.4236/jmp.2016.716196 1,692 Downloads 3,610 Views Citations
This article belongs to the Special Issue on Magnetic Field and Magnetic Theory Research
What Physicians Know about Statistics in Saudi Arabia (Articles)

Hella O. Alothman, Emad Masuadi, Tariq Alothman, Samiah Almehmadi, Mohammed H. Alenazi, Raghad Alothman, Mazen S. Ferwana

Open Journal of Social Sciences Vol.8 No.1，January 17, 2020

DOI: 10.4236/jss.2020.81021 569 Downloads 1,349 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 213 Downloads 692 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,179 Downloads 10,652 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,431 Downloads 7,666 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,417 Downloads 4,381 Views Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism (Articles)

K. Robert Bridges, Richard J. Harnish

Psychology Vol.6 No.13，October 19, 2015

DOI: 10.4236/psych.2015.613164 4,159 Downloads 5,761 Views Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind (Articles)

Anchala Chaudhary

Open Journal of Social Sciences Vol.4 No.11，November 25, 2016

DOI: 10.4236/jss.2016.411007 1,333 Downloads 2,424 Views Citations
The Effects of Small Crops Farmers’ Education to the Accessibility of Financing and Use Patterns of Crops (Articles)

Zamzami

Modern Economy Vol.8 No.12，December 11, 2017

DOI: 10.4236/me.2017.812098 728 Downloads 1,332 Views Citations
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection (Articles)

Michael Perrick

Open Journal of Philosophy Vol.8 No.5，November 29, 2018

DOI: 10.4236/ojpp.2018.85040 1,068 Downloads 3,451 Views Citations
Environmental Education in Brazil: Socio-Historical Perspectives in Formal Teaching for Sustainability (Articles)

Francisco Arapiraca dos Santos, Elidinaldo da Silva Leite, Ricardo José Rocha Amorim, Dinani Gomes Amorim

Creative Education Vol.11 No.10，October 23, 2020

DOI: 10.4236/ce.2020.1110150 651 Downloads 1,947 Views Citations
Employment Access and Job Search Channels for Young People in Congo (Articles)

Michel Okiemy, Sylvaniste Etsiba

Theoretical Economics Letters Vol.11 No.2，April 15, 2021

DOI: 10.4236/tel.2021.112021 366 Downloads 1,183 Views Citations

<12 3 ...>

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies