Timed Computation Tree Logic TCTL - Articles - Scientific Research Publishing

Secure Signature Protocol (Articles)

Shundong LI, Daoshun WANG, Yiqi DAI

Intelligent Information Management Vol.1 No.3, December 29, 2009

DOI: 10.4236/iim.2009.13026 5,668 Downloads 8,771 Views Citations
An Automata-Based Approach to Pattern Matching (Articles)

Ali Sever

Intelligent Control and Automation Vol.4 No.3, August 8, 2013

DOI: 10.4236/ica.2013.43036 7,433 Downloads 9,667 Views Citations
Location Characterization in Noisy Range Network Localization (Articles)

Mingzhu Wei, Ryad Chellali, Yang Yi, Ting Wang, Wen Qin

Journal of Computer and Communications Vol.3 No.11, November 19, 2015

DOI: 10.4236/jcc.2015.311020 2,799 Downloads 3,777 Views Citations
Simulation of Tert-Butyl Alcohol Forming Process by Slurry Catalytic Distillation with Custom Kinetic Program (Articles)

Zhenya Duan, Shaopu Li, Lei Wang, Yuan Cheng, Jingtao Wang, Junmei Zhang

Advances in Chemical Engineering and Science Vol.6 No.2, April 19, 2016

DOI: 10.4236/aces.2016.62016 2,844 Downloads 5,087 Views Citations
This article belongs to the Special Issue on Process Design, Control and Analysis
The Deutsch-Jozsa Algorithm Can Be Used for Quantum Key Distribution (Articles)

Koji Nagata, Tadao Nakamura

Open Access Library Journal Vol.2 No.8, August 14, 2015

DOI: 10.4236/oalib.1101798 1,751 Downloads 3,448 Views Citations
Physical Limits of Computation (Articles)

Tibor Guba, László Nánai, Thomas F. George

Journal of Quantum Information Science Vol.7 No.4, December 14, 2017

DOI: 10.4236/jqis.2017.74012 1,162 Downloads 3,581 Views Citations
Empirical Analysis of a Quantum Classifier Implemented on IBM’s 5Q Quantum Computer (Articles)

Wei Hu

Journal of Quantum Information Science Vol.8 No.1, March 7, 2018

DOI: 10.4236/jqis.2018.81001 1,962 Downloads 4,682 Views Citations
Local Kernel Dimension Reduction in Approximate Bayesian Computation (Articles)

Jin Zhou, Kenji Fukumizu

Open Journal of Statistics Vol.8 No.3, June 13, 2018

DOI: 10.4236/ojs.2018.83031 998 Downloads 2,221 Views Citations
Acceleration of Homomorphic Arithmetic Processing Based on the ElGamal Cryptosystem (Articles)

Takuma Jogan, Tomofumi Matsuzawa, Masayuki Takeda

Communications and Network Vol.11 No.1, January 24, 2019

DOI: 10.4236/cn.2019.111001 1,434 Downloads 3,380 Views Citations
Observer-Dependence in P vs NP (Articles)

Logan Nye

Journal of Modern Physics Vol.16 No.1, January 21, 2025

DOI: 10.4236/jmp.2025.161002 345 Downloads 1,360 Views Citations
Study the effect of formulation variables in the development of timed-release press-coated tablets by Taguchi design (Articles)

Chikkanna Narendra, Mayasandra SrinavasaIyengar Srinath

Natural Science Vol.2 No.4, May 7, 2010

DOI: 10.4236/ns.2010.24046 7,142 Downloads 15,677 Views Citations
Verification of Session Initiation Protocol Using Timed Colored Petri Net (Articles)

Safiye Kızmaz, Mürvet Kırcı

International Journal of Communications, Network and System Sciences Vol.4 No.3, March 10, 2011

DOI: 10.4236/ijcns.2011.43021 4,300 Downloads 9,120 Views Citations
Modeling of Fuel Elements Cycling System in Pebble Bed Reactor Based on Timed Places Control Petri Nets (Articles)

Hongbing Liu, Peng Shen, Dong Du, Xin Wang, Haiquan Zhang

Energy and Power Engineering Vol.5 No.4B, October 29, 2013

DOI: 10.4236/epe.2013.54B098 5,023 Downloads 6,490 Views Citations
The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra (Articles)

Zvi Retchkiman Konigsberg

Journal of Applied Mathematics and Physics Vol.3 No.7, July 14, 2015

DOI: 10.4236/jamp.2015.37104 2,760 Downloads 3,683 Views Citations
Petri Nets—A Versatile Modeling Structure (Articles)

Miryam Barad

Applied Mathematics Vol.7 No.9, May 26, 2016

DOI: 10.4236/am.2016.79074 1,990 Downloads 4,279 Views Citations
Timed Petri Net Models of Shared-Memory Bus-Based Multiprocessors (Articles)

Wlodek M. Zuberek

Journal of Computer and Communications Vol.6 No.10, October 10, 2018

DOI: 10.4236/jcc.2018.610001 873 Downloads 2,117 Views Citations
This article belongs to the Special Issue on Computer Architecture
Modeling and Performance Analysis of Weighted Priority Queueing for Packet-Switched Networks (Articles)

Dariusz Strzeciwilk, Wlodek M. Zuberek

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

DOI: 10.4236/jcc.2018.611019 935 Downloads 2,890 Views Citations
Parallel Self-Timed Adder with Lookahead-Carry Generator (Articles)

Mohammad Ashfak Habib

Open Access Library Journal Vol.7 No.9, September 23, 2020

DOI: 10.4236/oalib.1106799 576 Downloads 2,009 Views Citations
An Improved MPH-Based Delay-constrained Steiner Tree Algorithm (Articles)

Chun-De Yang, Kang Huan

Communications and Network Vol.3 No.3, August 10, 2011

DOI: 10.4236/cn.2011.33015 4,320 Downloads 8,093 Views Citations
Nonalgorithmicity and algorithmicity of protein science (Articles)

Qinyi Zhao

Advances in Bioscience and Biotechnology Vol.2 No.5, October 13, 2011

DOI: 10.4236/abb.2011.25050 6,930 Downloads 11,184 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