UML; State Diagrams; Equivalence Relations; Formal Methods; Z notation; Validation and Verification - Articles

Assessing the Efficacy of Wheat-Soybean Based Intercropping System at Different Plant Densities in Bambili, Cameroon (Articles)

Lendzemo E. Tatah, Jeazet K. Teitiogo, Oben Tom Tabi, Tange D. Achiri, Njualem D. Khumbah, Chi Christopher Tamu

American Journal of Plant Sciences Vol.15 No.4, April 23, 2024

DOI: 10.4236/ajps.2024.154017 201 Downloads 885 Views Citations
Translation Study on the Text of Exploring the Verdant Landscapes of the Tang Dynasty through Dunhuang Murals (Articles)

Miaotian Wen

Open Access Library Journal Vol.11 No.9, September 23, 2024

DOI: 10.4236/oalib.1111617 64 Downloads 510 Views Citations
Gravity and the Nature of Physical Interactions (Articles)

Kajetan Młynarski

Journal of High Energy Physics, Gravitation and Cosmology Vol.10 No.4, October 10, 2024

DOI: 10.4236/jhepgc.2024.104089 73 Downloads 544 Views Citations
Mach’s Principle Revised: Is the Inertia, and also Gravitational Interaction of Bodies, Determined by Their Long-Range Gravitational Interaction with Distant Matter in the Universe? (Articles)

Stilian Lukov

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

DOI: 10.4236/jmp.2024.1512093 128 Downloads 901 Views Citations
Research on Nilpotent Groups Based on Fuzzy Hypergroups (Articles)

Yi Yan, Yan Yan, Xinru Shang

Journal of Applied Mathematics and Physics Vol.13 No.1, January 16, 2025

DOI: 10.4236/jamp.2025.131006 85 Downloads 526 Views Citations
Multi-Port Resistance Networks and a Generalized Theory for Flow Preserving Clustered Equivalents for Market Analysis of Power Grids (Articles)

Krishnaiyan Thulasiraman, Kshirasagar Naik

American Journal of Operations Research Vol.15 No.2, March 28, 2025

DOI: 10.4236/ajor.2025.152003 116 Downloads 536 Views Citations
Casimir Operators on the sl₂ - Modules of the Linear Differential Operators and the Associated Symbols on the Real Line (Articles)

Aboubacar Nibirantiza, Pascal Ndayisenga

Journal of Applied Mathematics and Physics Vol.13 No.4, April 24, 2025

DOI: 10.4236/jamp.2025.134077 55 Downloads 449 Views Citations
Strategies for Accurate Translation of Geological Science and Technology Terminology from the Perspective of Functional Equivalence Theory (Articles)

Yiru Chen, Pengpeng Gao

Open Access Library Journal Vol.12 No.11, November 6, 2025

DOI: 10.4236/oalib.1114457 87 Downloads 448 Views Citations
A Mathematical Exploration of the Correlation between the Speeds of Light in Adjacent Universes (Articles)

Motohisa Osaka

Applied Mathematics Vol.17 No.3, March 17, 2026

DOI: 10.4236/am.2026.173010 46 Downloads 320 Views Citations
Model of Real Time Architecture for Data Placement in Wireless Sensor Networks (Articles)

Sanjeev GUPTA, Mayank DAVE

Wireless Sensor Network Vol.2 No.1, January 13, 2010

DOI: 10.4236/wsn.2010.21008 8,081 Downloads 12,968 Views Citations
A Conflicts Detection Approach for Merging Formal Specification Views (Articles)

Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam

Journal of Software Engineering and Applications Vol.3 No.5, May 24, 2010

DOI: 10.4236/jsea.2010.35052 5,302 Downloads 9,131 Views Citations
PLC Modeling and Checking Based on Formal Method (Articles)

Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang

Journal of Software Engineering and Applications Vol.3 No.11, November 29, 2010

DOI: 10.4236/jsea.2010.311124 8,596 Downloads 16,933 Views Citations
The Imaginary Audience and the Personal Fable: A Test of Elkind’s Theory of Adolescent Egocentrism (Articles)

Evangelia P. Galanaki

Psychology Vol.3 No.6, June 18, 2012

DOI: 10.4236/psych.2012.36065 30,135 Downloads 52,700 Views Citations
Building Relationships between Schools and Communities’ Agencies: Crafting a Programmatic Proposal (Articles)

Imran Shaari, Shu-Shing Lee

Creative Education Vol.3 No.3, June 20, 2012

DOI: 10.4236/ce.2012.33057 5,351 Downloads 8,870 Views Citations
A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming (Articles)

Khalid Benlhachmi, Mohammed Benattou

Journal of Information Security Vol.4 No.2, April 23, 2013

DOI: 10.4236/jis.2013.42013 4,655 Downloads 7,579 Views Citations
Realization of Rough Set Approximation Toplogical Operations Based on Formal Concept Analysis (Articles)

Huilai Zhi

International Journal of Intelligence Science Vol.4 No.3, July 4, 2014

DOI: 10.4236/ijis.2014.43008 3,033 Downloads 4,507 Views Citations
FOTool: Modelling Indigenous Community Cultures in Sarawak (Articles)

Edwin Mit, Ng Bong Ding, Cheah Wai Shiang

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

DOI: 10.4236/jsea.2014.78067 3,143 Downloads 4,431 Views Citations
Diglossia in the Arab World
—Educational Implications and Future Perspectives (Articles)

Christopher Horn

Open Journal of Modern Linguistics Vol.5 No.1, February 17, 2015

DOI: 10.4236/ojml.2015.51009 7,940 Downloads 15,257 Views Citations
Formal-Informal Credit Market Interlinkage and Development Policies: A General Equilibrium Analysis (Articles)

Rakhi Banerjee, Ranjanendra Narayan Nag

Modern Economy Vol.6 No.8, August 20, 2015

DOI: 10.4236/me.2015.68086 4,114 Downloads 6,164 Views Citations
Fuzzy Semantics of Contract Language (Articles)

Hengyang Wu, Yixiang Chen

Applied Mathematics Vol.7 No.5, March 18, 2016

DOI: 10.4236/am.2016.75039 2,488 Downloads 3,897 Views Citations
This article belongs to the Special Issue on Fuzzy Mathematics and Its Applications

First <...131415 ...>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