Results 271 to 280 of about 71,357 (311)

Toward standardized environmental detection of antibiotics and ARGs for regulatory interpretation and concern tiering. [PDF]

Front Microbiol
Pi N, He X, Zhang J, Zhu L, Wu X, Yang L, Li Y, Xiang R, Wu X.   +8 more
europepmc   +1 more source

The use of logic for machine learning models in sepsis. [PDF]

Intensive Care Med Exp
Lavage DR, Ward LN, Angus DC, Kennedy JN, Cooper GF, Seymour CW.   +5 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Unified temporal logic

Theoretical Computer Science, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nan Zhang, Zhenhua Duan, Cong Tian
exaly   +2 more sources

A really temporal logic

30th Annual Symposium on Foundations of Computer Science, 1989
We introduce a temporal logic for the specification of real-time systems. Our logic, TPTL, employs a novel quantifier construct for referencing time: the freeze quantifier binds a variable to the time of the local temporal context. TPTL is both a natural language for specification and a suitable
Rajeev Alur, Thomas A. Henzinger
openaire   +1 more source

Elective temporal logic

Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, 2011
In this paper we present a novel formalism for de ning properties over linear execution traces, namely elective temporal logic (ETL). Di erently from several other temporal logics, ETL is not dedicated to a speci c time model, e.g. discrete time or real time.
Gabriele Costa 0001, Ilaria Matteucci
openaire   +5 more sources

In and out of temporal logic

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 2002
Two-way translations between various versions of temporal logic and between temporal logic over finite sequences and star-free regular expressions are presented. The main result is a translation from normal-form temporal logic formulas to formulas that use only future operators. The translation offers a new proof to a theorem claimed by D. Gabbay et al.
Amir Pnueli, Lenore D. Zuck
openaire   +1 more source

A Temporal Logic for Sortals

Studia Logica, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Temporal Logic Programs with Temporal Description Logic Axioms

2019
In this paper we introduce a combination of Answer Set Programming (ASP) and Description Logics (DL) (in particular, \(\mathcal{ALC}\)) on top of a modal temporal basis using connectives from Linear-time Temporal Logic (LTL). On the one hand, for the temporal extension of \(\mathcal{ALC}\), we depart from Baader et al.’s proposal \(\mathcal{ALC}\)-LTL ...
Pedro Cabalar, Torsten Schaub
openaire   +1 more source

Temporal Logic and Recursion

Fundamenta Informaticae, 1991
We propose a temporal logic based on structures divided into several layers of linear “time scales” and give a sound and complete derivation system. The logic is applied to the formulation and verification of assertions about sequential recursive programs.
Fred Kröger, Stephan Merz
openaire   +1 more source