Results 301 to 310 of about 2,329,578 (354)

Privacy-Preserving Approach for Early Detection of Long-Lie Incidents: A Pilot Study with Healthy Subjects. [PDF]

Sensors (Basel)
Analia R, Forster A, Xie SQ, Zhang Z.
europepmc   +1 more source

Correction: Clinical characterizations and molecular genetic study of two co-segregating variants in PDZD7 and PDE6C genes leading simultaneously to non-syndromic hearing loss and achromatopsia. [PDF]

BMC Med Genomics
Nouri Z, Sarmadi A, Narrei S, Kianersi H, Kianersi F, Tabatabaiefar MA.   +5 more
europepmc   +1 more source

Logic model-based performance management systems for export promotion agencies. [PDF]

Open Res Eur
Ruiz-Coupeau S, Ramon-Jeronimo JM, Florez-Lopez R.   +2 more
europepmc   +1 more source

Balanced-BiEGCN: A Bidirectional EvolveGCN with a Class-Balanced Learning Network for Dynamic Anomaly Detection in Bitcoin. [PDF]

Entropy (Basel)
Xiao B, Yin W.
europepmc   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

Artificial Intelligence in Clinical Decision-Making: A Scoping Review of Rule-Based Systems and Their Applications in Medicine. [PDF]

Cureus
Alnattah A, Jajroudi M, Fadafen SAN, Manzari MN, Eslami S.   +4 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Multi-Agent Reinforcement Learning with Temporal Logic Specifications

Adaptive Agents and Multi-Agent Systems, 2021
In this paper, we study the problem of learning to satisfy temporal logic specifications with a group of agents in an unknown environment, which may exhibit probabilistic behaviour.
Lewis Hammond, A. Abate, Julian Gutierrez, M. Wooldridge   +3 more
semanticscholar   +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.
COSTA, GABRIELE, I. Matteucci
openaire   +6 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   +2 more sources