Results 111 to 120 of about 133,374 (215)

Fog computing based cost optimization for university governance. [PDF]

Sci Rep
Tian Q, Li G.
europepmc   +1 more source

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]

Sci Rep
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc   +1 more source

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems [PDF]

Xia Li, Zhanyou Ma, Zhibao Mian, Ziyuan Liu, Ruiqi Huang, Nana He   +5 more
openalex   +1 more source

Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams

, 2021
Leifeng He, Guanjun Liu
openalex   +2 more sources

Evaluation of advanced Kalman filter on real-time agricultural soil parameters through an IoT resources-constrained device. [PDF]

Sci Rep
Armando EJ, Hanyurwimfura D, Gatera O, Kim KS, Nduwumuremyi A.   +4 more
europepmc   +1 more source

Design and synthesis of reversible Vedic multiplier using cadence 180 nm technology for low-power high-speed applications. [PDF]

Sci Rep
Mageshwari N, Sakthivel P, Seetharaman R.   +2 more
europepmc   +1 more source

A Categorical Model of General Consciousness. [PDF]

Biomimetics (Basel)
Zhang Y.
europepmc   +1 more source

Real-time traffic signal optimization for urban mobility: a reinforcement learning-enhanced framework with application to Kuwait City. [PDF]

Front Robot AI
Almomany A, Eedi E, Sutcu M.
europepmc   +1 more source

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

, 2014
Yongming Li, Zhanyou Ma
openalex   +2 more sources

Hardware-Accelerated Non-Contact System for Sleep Disorder Monitoring and Analysis. [PDF]

Sensors (Basel)
Sravanthi M, Gunturi SK, Chinnaiah MC, Divya Vani G, Basha M, Janardhan N, Hari Krishna D, Dubey S.   +7 more
europepmc   +1 more source