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

The Equivalence between Orthogonal Iterations and Alternating Least Squares (Articles)

Achiya Dax

Advances in Linear Algebra & Matrix Theory Vol.10 No.2, April 30, 2020

DOI: 10.4236/alamt.2020.102002 953 Downloads 2,535 Views Citations
Effect of Gravitational Formula Change on Gravitational Anomalies (Articles)

Hans Peter Weber

Journal of Modern Physics Vol.15 No.11, October 14, 2024

DOI: 10.4236/jmp.2024.1511071 74 Downloads 577 Views Citations
Analysis of Higher Order System with Impulse Exciting Functions in Z-Domain (Articles)

Branislav Dobrucký, Pavol Štefanec, Mariana Beňová, Oleg V. Chernoyarov, Michal Pokorný

Circuits and Systems Vol.7 No.11, September 30, 2016

DOI: 10.4236/cs.2016.711328 1,569 Downloads 2,767 Views Citations
Method of Phase Diagrams for the Analysis of Seism-Acoustical Spatial-Time Monitoring Data in Oil Wells (Articles)

Olga Hachay, Oleg Khachay

Open Journal of Geology Vol.8 No.9, August 6, 2018

DOI: 10.4236/ojg.2018.89051 715 Downloads 1,507 Views Citations
IEC 61850 SCL Validation Using UML Model in Modern Digital Substation (Articles)

Byungtae Jang, Alidu Abubakari, Namdae Kim

Smart Grid and Renewable Energy Vol.9 No.8, August 30, 2018

DOI: 10.4236/sgre.2018.98009 3,209 Downloads 9,195 Views Citations
Pedestrian Flow Simulation Validation and Verification Techniques (Articles)

Mohamed H. Dridi

Current Urban Studies Vol.3 No.2, June 16, 2015

DOI: 10.4236/cus.2015.32011 3,838 Downloads 5,753 Views Citations
Can Engineers Build AI/ML Systems? Analysis and an Alternative Approach (Articles)

Nikolaos Panagiotopoulos

Open Journal of Philosophy Vol.13 No.3, August 4, 2023

DOI: 10.4236/ojpp.2023.133034 302 Downloads 1,508 Views Citations
Honor and Dignity as Indicators of Distinct Educational Approaches (Articles)

Aanat Rimon-Or, Tal Yaakobi, Simcha Getahun

Psychology Vol.14 No.1, January 31, 2023

DOI: 10.4236/psych.2023.141007 285 Downloads 1,710 Views Citations
Binary Relations between Magnitudes of Different Dimensions Used in Material Science Optimization Problems Pseudo-State Equation of Soft Magnetic Composites (Articles)

Krzysztof Z. Sokalski, Bartosz Jankowski, Barbara Ślusarek

Materials Sciences and Applications Vol.5 No.14, December 10, 2014

DOI: 10.4236/msa.2014.514107 3,836 Downloads 4,865 Views Citations
This article belongs to the Special Issue on Magnetic Materials
Is Nationalism Crucial in China-US Relations?
—Evidence from a Comparative Analysis (Articles)

Yan Zhao

Open Journal of Political Science Vol.9 No.1, December 7, 2018

DOI: 10.4236/ojps.2019.91003 1,360 Downloads 2,941 Views Citations
Theological and Historical Inquiry into the 1915-23 Extermination of Christians under Ottoman Rule: Part I (Articles)

Larysa Karaliova, Ilia Brondz

Voice of the Publisher Vol.12 No.1, March 31, 2026

DOI: 10.4236/vp.2026.121010 34 Downloads 218 Views Citations
A Hybrid Backward Euler Control Volume Method to Solve the Concentration-Dependent Solid-State Diffusion Problem in Battery Modeling (Articles)

Kudakwashe Chayambuka, Grietus Mulder, Dmitri L. Danilov, Peter H. L. Notten

Journal of Applied Mathematics and Physics Vol.8 No.6, June 5, 2020

DOI: 10.4236/jamp.2020.86083 606 Downloads 2,000 Views Citations
This article belongs to the Special Issue on Mathematical Physical Model and Method
YOLOv8 for Fire and Smoke Recognition Algorithm Integrated with the Convolutional Block Attention Module (Articles)

Zhangchi Liu, Risheng Zhang, Hao Zhong, Yingjie Sun

Open Journal of Applied Sciences Vol.14 No.1, January 31, 2024

DOI: 10.4236/ojapps.2024.141012 782 Downloads 2,869 Views Citations
A Proof of a Conjecture and Twenty-Five Conjectures in Number Theory (Articles)

Zhongqi Zhou

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

DOI: 10.4236/oalib.1112171 67 Downloads 731 Views Citations
A Logical Treatment of Non-Termination and Program Behaviour (Articles)

Martin Ward, Hussein Zedan

Journal of Software Engineering and Applications Vol.7 No.7, June 5, 2014

DOI: 10.4236/jsea.2014.77051 4,460 Downloads 5,635 Views Citations
This article belongs to the Special Issue on Programming Languages
Mapping AADL to Petri Net Tool-Sets Using PNML Framework (Articles)

Hassan Reza, Amrita Chatterjee

Journal of Software Engineering and Applications Vol.7 No.11, October 24, 2014

DOI: 10.4236/jsea.2014.711082 5,854 Downloads 7,565 Views Citations
Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems (Articles)

Meenakshi Sridhar, Naseeb Singh Gill

Journal of Software Engineering and Applications Vol.8 No.9, September 25, 2015

DOI: 10.4236/jsea.2015.89047 5,227 Downloads 6,696 Views Citations
On Quantitative Approach to Parametric Identifiability of Dual HIV-Parasitoid Infectivity Model (Articles)

Bassey E. Bassey, Lebedev K. Andreyevich

Open Access Library Journal Vol.3 No.8, August 19, 2016

DOI: 10.4236/oalib.1102931 1,156 Downloads 1,992 Views Citations
Seasonal Prediction of Tropical Cyclones and Storms over the Southwestern Indian Ocean Region Using the Generalized Linear Models (Articles)

Kombo Hamad Kai, Yohanna Wilson Shaghude, Christian Bs Uiso, Agnes Laurent Kijazi, Sarah Osima, Sara Abdalla Khamis, Asya Omar Hamad

Atmospheric and Climate Sciences Vol.13 No.2, March 13, 2023

DOI: 10.4236/acs.2023.132008 615 Downloads 1,909 Views Citations
Nonlinear Refraction of Peripheral-Substituted Zinc Phthalocyanines Investigated by Nanosecond and Picose-cond Z Scans (Articles)

Yunjing Li, Timothy M Pritchett, Jiandong Huang, Meirong Ke, Wenfang Sun

Optics and Photonics Journal Vol.1 No.2, June 29, 2011

DOI: 10.4236/opj.2011.12011 4,422 Downloads 8,804 Views Citations

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