Formal Derivation - Articles - Scientific Research Publishing

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
Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V” (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.10 No.5, May 18, 2022

DOI: 10.4236/jamp.2022.105109 209 Downloads 1,056 Views Citations
The Commutativity of a *-Ring with Generalized Left *-α-Derivation (Articles)

Ahmet Oğuz Balcı, Neşet Aydin, Selin Türkmen

Advances in Pure Mathematics Vol.8 No.2, February 26, 2018

DOI: 10.4236/apm.2018.82009 1,063 Downloads 2,356 Views Citations
Reply to “A Simple Derivation of the Lorentz Transformation” (Articles)

Olivier Serret

Journal of Modern Physics Vol.8 No.13, December 20, 2017

DOI: 10.4236/jmp.2017.813132 1,335 Downloads 3,829 Views Citations
This article belongs to the Special Issue on Gravitation, Astrophysics and Cosmology
Nonlinear Jordan Triple Derivations of Triangular Algebras (Articles)

Hongxia Li

Advances in Linear Algebra & Matrix Theory Vol.4 No.4, December 19, 2014

DOI: 10.4236/alamt.2014.44018 3,583 Downloads 5,048 Views Citations
Research on the Product Derivation Method under the Interaction Design Thinking (Articles)

Rong Zhang, Guangwei Liang

World Journal of Engineering and Technology Vol.4 No.3D, October 20, 2016

DOI: 10.4236/wjet.2016.43D020 1,553 Downloads 3,142 Views Citations
Canonical Forms in Arabic: Bilingual Lexicographic Implementations (Articles)

Reem Maghrabi

Open Journal of Modern Linguistics Vol.12 No.1, February 11, 2022

DOI: 10.4236/ojml.2022.121006 327 Downloads 1,336 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
A Novel Method with Martingale Theory for Phase Noise Analysis in Coherent Optical Communication (Articles)

Chengle Sui, Qiangmin Wang, Shilin Xiao, Pingqing Li

Optics and Photonics Journal Vol.3 No.2B, July 19, 2013

DOI: 10.4236/opj.2013.32B041 3,858 Downloads 5,676 Views Citations
Local Gateway Assisted Handover Key Derivation in Enterprise Femtocell Network (Articles)

Peng Wang, Xiaojuan Zhang

International Journal of Communications, Network and System Sciences Vol.8 No.4, April 2, 2015

DOI: 10.4236/ijcns.2015.84009 3,265 Downloads 4,268 Views Citations
Tremendous Development of Functional Inequalities and Cauchy-Jensen Functional Equations with 3k-Variables on Banach Space and Stability Derivation on Fuzzy-Algebras (Articles)

Ly Van An

Open Access Library Journal Vol.11 No.2, February 28, 2024

DOI: 10.4236/oalib.1111241 80 Downloads 602 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
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
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
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,466 Downloads 7,014 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,583 Downloads 3,364 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 875 Downloads 1,841 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