Results 71 to 80 of about 99,866 (158)

Symbioses between mathematical logic and computer science

Annals of Pure and Applied Logic, 2016
A. Blass
semanticscholar   +1 more source

Quantum-like representation of neuronal networks' activity: modeling "mental entanglement". [PDF]

Front Hum Neurosci
Khrennikov A, Yamada M.
europepmc   +1 more source

Path-based quantification of activation and repression in Boolean models using BooLEVARD. [PDF]

NPJ Syst Biol Appl
Fariñas M, Tsirvouli E, Zobolas J, Aittokallio T, Flobak Å, Lehti K.   +5 more
europepmc   +1 more source

A blended modeling framework for real-time design and verification of safety-critical embedded systems. [PDF]

PLoS One
Awan MM, Anwar MW, Butt WH, Azam F.
europepmc   +1 more source

Performance differences with and without differential item functioning in the post graduate admission test in Saudi Arabia based on gender and ability level. [PDF]

Front Psychol
Darandari EZ, Almeri MA.
europepmc   +1 more source

Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence

, 2016
A. Karpenko, N. Tomova
semanticscholar   +1 more source

Predicting the satisfiability of Boolean formulas by incorporating gated recurrent unit (GRU) in the Transformer framework. [PDF]

PeerJ Comput Sci
Chang W, Guo M, Luo J.
europepmc   +1 more source

A concept of controlling Grover diffusion operator: a new approach to solve arbitrary Boolean-based problems. [PDF]

Sci Rep
Al-Bayaty A, Perkowski M.
europepmc   +1 more source

The predictive embodied mind: a case-based encounter with film aesthetics. [PDF]

Front Neurosci
Coëgnarts M.
europepmc   +1 more source

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Outstanding Contributions to Logic, 2016
E. Omodeo, A. Policriti
semanticscholar   +1 more source