Algorithms with Automatic Result Verification - Articles

A Co-verification Method Based on TWCNP-OS for Two-way Cable Network SOC (Articles)

Chong LI, Xiaotong ZHANG, Yadong WAN, Qin WANG

International Journal of Communications, Network and System Sciences Vol.1 No.2, July 10, 2008

DOI: 10.4236/ijcns.2008.12024 5,473 Downloads 9,953 Views Citations
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models (Articles)

Mohamed El-Kamel Hamdane, Allaoui Chaoui, Martin Strecker

Journal of Software Engineering and Applications Vol.6 No.3, March 29, 2013

DOI: 10.4236/jsea.2013.63019 4,568 Downloads 8,776 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,691 Downloads 8,415 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,672 Downloads 5,023 Views Citations
A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification (Articles)

Tim Warnecke

Engineering Vol.7 No.10, October 26, 2015

DOI: 10.4236/eng.2015.710056 2,974 Downloads 4,023 Views Citations
Some Studies on the Lorentz Theory of Radiation Reaction in Relation to a Charged Particle Acted on by a Constant Force in a Finite Time Interval (Articles)

Rajat Roy

Open Access Library Journal Vol.3 No.2, February 4, 2016

DOI: 10.4236/oalib.1102334 1,005 Downloads 2,076 Views Citations
Verification of Mongolian Cyclone-Induced Snowstorm Model Forecast in Jilin Province, China (Articles)

Dongxue Fu, Xueyan Yang, Ning Wang, Yao Yao

Journal of Geoscience and Environment Protection Vol.5 No.8, July 21, 2017

DOI: 10.4236/gep.2017.58003 968 Downloads 1,947 Views Citations
Accuracy Comparison of 4D Computed Tomography (4DCT) and 4D Cone Beam Computed Tomography (4DCBCT) (Articles)

Tzu-Cheng Lee, Stephen R. Bowen, Sara St. James, George A. Sandison, Paul E. Kinahan, Matthew J. Nyflot

International Journal of Medical Physics, Clinical Engineering and Radiation Oncology Vol.6 No.3, August 30, 2017

DOI: 10.4236/ijmpcero.2017.63029 2,469 Downloads 5,694 Views Citations
Research and Application of Supercapacitor Charging System (Articles)

Minghai Duan, Xiaoxiao Cao, Qiyu Zhang, Xiaohui Chen

Open Access Library Journal Vol.5 No.4, April 20, 2018

DOI: 10.4236/oalib.1104544 997 Downloads 3,673 Views Citations
A Matlab/Simulink Development and Verification Platform for a Frequency Estimation System (Articles)

Yingtai Li, Lisheng Yang, Xin Lei, Rui Ma, Luncai Liu, Fan Liu, Yao Yao

Journal of Computer and Communications Vol.6 No.11, November 19, 2018

DOI: 10.4236/jcc.2018.611010 1,505 Downloads 4,206 Views Citations
An Enhanced Web Base Certificate Verification System (Articles)

Izuchukwu Chijioke Emele, Stanley Ikechukwu Oguoma, Kanayo Kizito Uka, Emeka Christian Nwaoha

Open Access Library Journal Vol.7 No.7, July 30, 2020

DOI: 10.4236/oalib.1106342 1,322 Downloads 7,755 Views Citations
ProTSA: A Testing Process for Automotive Software Domain (Articles)

Renato Rafael Arcanjo, Luiz Eduardo Galvão Martins, Dirceu Lavoiser Fernandes Graci

Journal of Software Engineering and Applications Vol.17 No.7, July 23, 2024

DOI: 10.4236/jsea.2024.177033 206 Downloads 1,023 Views Citations
Verification of Quantitative Analytical Methods for Routine Clinical Biochemistry Analytes on Alinity ci Series and Architect ci 8200 at the Mohammed VI University Hospital of Oujda (Morocco) (Articles)

Oussama Rahhab, Dounia El-Moujtahide, El-Houcine Sebbar, Mohammed Choukri

Open Access Library Journal Vol.12 No.3, March 25, 2025

DOI: 10.4236/oalib.1113040 67 Downloads 534 Views Citations
Formulation of the Social Workers’ Problem in Quadratic Unconstrained Binary Optimization Form and Solve It on a Quantum Computer (Articles)

Atchade Parfait Adelomou, Elisabet Golobardes Ribé, Xavier Vilasis Cardona

Journal of Computer and Communications Vol.8 No.11, November 12, 2020

DOI: 10.4236/jcc.2020.811004 631 Downloads 2,796 Views Citations
Optimization of UMTS Network Planning Using Genetic Algorithms (Articles)

Fabio Garzia, Cristina Perna, Roberto Cusani

Communications and Network Vol.2 No.3, September 10, 2010

DOI: 10.4236/cn.2010.23028 7,718 Downloads 14,150 Views Citations
Algorithms for Computing Some Invariants for Discrete Knots (Articles)

Gabriela Hinojosa, David Torres, Rogelio Valdez

Applied Mathematics Vol.4 No.11, November 5, 2013

DOI: 10.4236/am.2013.411206 3,510 Downloads 5,636 Views Citations
A Polynomial Algorithm of Optimum Cutting a Rectangle into Rectangles with Two Heights (Articles)

M. Z. Arslanov

American Journal of Operations Research Vol.4 No.1, January 23, 2014

DOI: 10.4236/ajor.2014.41003 4,176 Downloads 6,326 Views Citations
Video Highlight of Farcana Streaming from Twitch (Articles)

Ilman Shazhaev, Dimitry Mihaylov, Abdulla Shafeeg

Journal of Intelligent Learning Systems and Applications Vol.14 No.4, November 8, 2022

DOI: 10.4236/jilsa.2022.144009 244 Downloads 1,018 Views Citations
Numerical Comparisons of Different Imaging Algorithms (Articles)

Soulef Bougueroua, Nourreddine Daili

Journal of Applied Mathematics and Physics Vol.11 No.9, September 26, 2023

DOI: 10.4236/jamp.2023.119175 546 Downloads 1,307 Views Citations
A Review of New Math and Algorithms in the Lives of African American Males and Implications both Terms Have Meant to the Urban Community (Articles)

Golsbie Ross

Open Access Library Journal Vol.11 No.4, April 26, 2024

DOI: 10.4236/oalib.1110931 80 Downloads 521 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