Results 271 to 280 of about 93,973 (331)

Model Checking Concurrent Systems Using Temporal Logics

, 2015
Roy Mennicke
openalex   +1 more source

Spatiotemporal analysis of genetic perturbations reveals a genetic cascade driving Tribolium gap gene initialization. [PDF]

Biol Open
Ahmadi M, Rudolf H, Mau C, Garcia-Guillen J, El-Sherif E.   +4 more
europepmc   +1 more source

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multiagent Systems via Assume-Guarantee Contracts

Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas   +2 more
openalex   +1 more source

Integrated multi-omic atlas reveals the hierarchy of spatiotemporal regulatory networks of mouse gastrulation. [PDF]

Nat Commun
Yang X, Xie B, Shen P, Chen Y, Li C, Tan F, Yang Y, Yang Y, Song R, Mi P, Liu Z, Wen M, Tam PPL, Suo S, Jing N.   +14 more
europepmc   +1 more source

The SPA-cube framework: An integrated approach for analysing power dynamics in environmental governance. [PDF]

MethodsX
Sahide MAK, Siswandi S, Sirimorok N, Fisher MR, Wong GY, Brockhaus M.   +5 more
europepmc   +1 more source

Social Theory in Nursing Scholarship, From Humanism to Post-Humanism: Revisiting S. Nairn on the Structure-Agency Debate. [PDF]

Nurs Philos
West CA, Petrovskaya O.
europepmc   +1 more source

Testing Linear Temporal Logic Formulae on Finite Execution Traces

, 2001
Klaus Havelund, Grigore Roşu
openalex   +1 more source

Temporal logic robot control using machine learning

Wenliang Liu
openalex   +1 more source