Results 141 to 150 of about 71,357 (311)

Temporal Logic

, 1998
this paper, section 3, is devoted to a fairly detailed exposition of Prior's basic tense logic; the aim of this is not only to introduce the readers to this particular system, but perhaps even more to acquaint them with the kind of questions that ...
Blackwell Publishers, Yde Venema, Lou Goble (ed, Blackwell Guide, Philosophical Logic   +4 more
core  

A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. [PDF]

PeerJ Comput Sci, 2022
Zhao W, Liu Z.
europepmc   +1 more source

Toward Scalable Parallel Verification of Multi-Robot Systems in ROS 2 Using Reduced Distributed State Space

IEEE Access
One of the persistent challenges in formally verifying distributed and concurrent systems is the combinatorial growth of the state space, a phenomenon known as the state explosion problem.
Sawsen Khlifa, Chiheb Ameur Abid, Asma Ben Letaifa, Belhassen Zouari   +3 more
doaj   +1 more source

CD4+ Tregs Drive Post‐Ischemic Sprouting Angiogenesis via Endothelial YY1/MAML1 Reactivation

Advanced Science, EarlyView.
ABSTRACT Microvascular complications of diabetes are chronic diseases of small vessels. We previously found that CD4+ regulatory T‐cells (Tregs) are markedly reduced in type 2 diabetes (T2D) after ischemic injury in both mice and humans, and that Treg deficiency in immunodeficient mice impairs vascular regeneration.
Hang Qu, Cheng Kiu Ho, Jitao Liu, Lei Cui, Yangfeng Hou, Cai Liang, Wenchu Ye, Randolph H. L. Wong, Shohei Hori, Bin Zhou, Kathy O. Lui   +10 more
wiley   +1 more source

Compositional RL Agents That Follow Language Commands in Temporal Logic. [PDF]

Front Robot AI, 2021
Kuo YL, Katz B, Barbu A.
europepmc   +1 more source

An On‐Demand Neuromorphic Vision System Enabled by a Multi‐Paradigm Neuromorphic Device and Hierarchical Reconfigurability Designed from Device to System Level

Advanced Science, EarlyView.
An on‐demand ultra‐reconfigurable intelligent vision system with hierarchical reconfigurability from device to system levels is demonstrated. Through co‐design of a multi‐paradigm device, reconfigurable circuits, and adaptive system architecture/algorithms, the system enables seamless switching among spiking, non‐spiking, neuromorphic imaging (NI), and
Biyi Jiang, Jiayi Xu, Liang Ran, Xinhe Feng, Khalil Harrabi, Yida Li, Longyang Lin, Feichi Zhou   +7 more
wiley   +1 more source

Semantic pollution and syntactic purity

, 2015
Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus.
Read, Stephen
core   +1 more source

Full‐Body AI Agent: A Perspective on Multi‐Scale Collaborative AI for Systemic Biology and Precision Medicine

Advanced Science, EarlyView.
We propose the Full‐Body AI Agent, a multi‐scale collaborative framework with 7 biological‐layer agents. It unifies multi‐omics/clinical data via standardized protocols, enabling phenotype‐guided closed‐loop reasoning, quantitative evaluation, and LLM safeguards, with promising applications in tumor metastasis modeling and precision drug development ...
Aoqi Wang, Jiajia Liu, Jianguo Wen, Yangyang Luo, Zhiwei Fan, Liren Yang, Xi Hu, Ruihan Luo, Yankai Yu, Sophia Li, Weiling Zhao, Xiaobo Zhou   +11 more
wiley   +1 more source

The succinctness of first-order logic on linear orders

, 2011
Succinctness is a natural measure for comparing the strength of different logics. Intuitively, a logic L_1 is more succinct than another logic L_2 if all properties that can be expressed in L_2 can be expressed in L_1 by formulas of (approximately) the ...
Schweikardt, Nicole, Grohe, Martin
core   +1 more source

Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach. [PDF]

PLoS One, 2021
Xu Z, Wu B, Topcu U.
europepmc   +1 more source