Results 121 to 124 of about 1,546,334 (124)

Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time

, 2008
Pavel Vassiliev
openalex   +1 more source

Energy-efficient neuromorphic system using novel tunnel FET based LIF neuron design for adaptable threshold logic and image analysis applications. [PDF]

Sci Rep
Bashir F, Zahoor F, Alzahrani A, Abbas H.   +3 more
europepmc   +1 more source

A Categorical Model of General Consciousness. [PDF]

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

<i>Cinchona</i> alkaloid copolymers as fluorimetric INHIBIT and colorimetric AND logic gates for detection of iodide. [PDF]

RSC Adv
Agius N, Ashton CJ, Willcock H, Magri DC.   +3 more
europepmc   +1 more source