Results 91 to 100 of about 1,546,334 (124)

Spin logic enabled by current vector adder. [PDF]

Nat Commun
Zhao T, Zheng Z, Wang J, Zhou G, Liu L, Zhou C, Xie Q, Jia L, Xiao R, Zhang Q, Ren L, Shi S, Zeng T, Gu Y, Xu X, Zhang Y, Chen J.   +16 more
europepmc   +1 more source

Complexity reduction by symmetry: Uncovering the minimal regulatory network for logical computation in bacteria. [PDF]

PLoS Comput Biol
Álvarez-García LA, Liebermeister W, Leifer I, Makse HA.   +3 more
europepmc   +1 more source

Rudin-Shapiro Sums Via Automata Theory and Logic. [PDF]

Theory Comput Syst
Rampersad N, Shallit J.
europepmc   +1 more source

A self-training spiking superconducting neuromorphic architecture. [PDF]

Npj Unconv Comput
Schneider ML, Jué EM, Pufall MR, Segall K, Anderson CW.   +4 more
europepmc   +1 more source

Logical reasoning for human activity recognition based on multisource data from wearable device. [PDF]

Sci Rep
Alsaadi M, Keshta I, Ramesh JVN, Nimma D, Shabaz M, Pathak N, Singh PP, Kiyosov S, Soni M.   +8 more
europepmc   +1 more source

Memristor loaded cross-coupled differential voltage sense amplifier design with improved performance. [PDF]

Sci Rep
Musiiwa PB, Akashe S, Upadhyay GM, Sharma S.   +3 more
europepmc   +1 more source

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

, 2008
Joseph Y. Halpern
openalex   +2 more sources

Problem of Existence of Joint Distribution on Quantum Logic. [PDF]

Entropy (Basel)
Nánásiová O, Čipková K, Zákopčan M.   +2 more
europepmc   +1 more source

Versatile optoelectronic memristor based on wide-bandgap Ga₂O₃ for artificial synapses and neuromorphic computing. [PDF]

Light Sci Appl
Cui D, Pei M, Lin Z, Zhang H, Kang M, Wang Y, Gao X, Su J, Miao J, Li Y, Zhang J, Hao Y, Chang J.   +12 more
europepmc   +1 more source

Structural Operational Semantics with First-Order Logic

, 2009
Muck van Weerdenburg, Michel Reniers
openalex   +1 more source