Results 71 to 80 of about 83,510 (168)

Decidability of linear affine logic

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Towards an algebrization of a linear temporal logic

CQD Revista Eletrônica Paulista de Matemática
The subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas, Hércules de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini   +2 more
doaj   +1 more source

Linear logic in computer science

Journal of Applied Mathematics and Computational Mechanics, 2015
William Steingartner, Andrea Poláková, Peter Prazňák, Valerie Novitzká   +3 more
doaj   +1 more source

Real-Time Assistive System Integrating Geometric Topology Analysis and State-Adaptive Warning Logic for the Visually Impaired. [PDF]

Sensors (Basel)
Hu B, Gao P, Liu Y, Xia X, Huo G.
europepmc   +1 more source

Why family medicine requires a paradigm shift from linear guidelines to complexity science. [PDF]

Fam Med Community Health
İnan M, Aypak C.
europepmc   +1 more source

Development of reconfigurable smart medical wards using integrated components and complex features. [PDF]

Front Digit Health
Veerapaneni RK, Delhibabu R, Levonevskiy D, Zhukova N.   +3 more
europepmc   +1 more source

Enhanced trajectory tracking for autonomous navigation of wheeled mobile robots using an adaptive fuzzy PID controller. [PDF]

Sci Rep
El Zoghby HM, Sharaf SM, Bendary AF, Hessien A.   +3 more
europepmc   +1 more source

X implies Y - Testing Hypotheses of Direction of Effect Using Configural Frequency Analysis. [PDF]

Integr Psychol Behav Sci
von Eye A, Wiedermann W.
europepmc   +1 more source