Results 131 to 140 of about 133,374 (215)

Enhanced Software Performance Testing for Big Data Platforms Using Clock-Controlled Computation Tree Logic with Particle Swarm and Genetic Optimization

Yuan Sun, Md Gapar Md Johar, Jacquline Tham   +2 more
openalex   +1 more source

PARACONSISTENT NEGATION AND CLASSICAL NEGATION IN COMPUTATION TREE LOGIC

, 2010
Norihiro Kamide, Ken Kaneiwa
openalex   +1 more source

Complexity reduction by symmetry: Uncovering the minimal regulatory network for logical computation in bacteria. [PDF]

PLoS Comput Biol
Álvarez-García LA, Liebermeister W, Leifer I, Makse HA.   +3 more
europepmc   +1 more source

Merging Process Algebra and Action-based Computation Tree Logic

, 2012
Zhaohui Zhu, Yan Zhang, Jinjin Zhang
openalex   +2 more sources

Bounded Model Checking for Probabilistic Computation Tree Logic

Journal of Software, 2012
Chang-Da Wang, Cong-Hua Zhou, Zhi-Feng Liu   +2 more
openaire   +2 more sources

Multi-Agent Reinforcement Learning in Games: Research and Applications. [PDF]

Biomimetics (Basel)
Li H, Yang P, Liu W, Yan S, Zhang X, Zhu D.   +5 more
europepmc   +1 more source

Dual-tree wavelet transform based advanced adaptive control for seamless transition in PV-battery hybrid microgrid system. [PDF]

Sci Rep
Sahoo B, Alhaider MM.
europepmc   +1 more source

Enhancing explainability in epidemiological predictions using fuzzy logic integrated with machine and deep learning algorithms. [PDF]

Sci Rep
Fatima U, Khushal R.
europepmc   +1 more source

Design of a low-delay 4-bit parallel prefix adder using QCA technology. [PDF]

Sci Rep
Niranjan T, Nayak A, Veeramachaneni S, Ahmed SE.   +3 more
europepmc   +1 more source

A Localized Scalable DNA Logic Circuit System Based on the DNA Origami Surface. [PDF]

Int J Mol Sci
Tang Z, Li S, Chen C, Zhou Z, Yin Z.
europepmc   +1 more source