Results 211 to 220 of about 3,184,608 (250)

Wafer-Scale 3D Integration for High-Density Multi-Valued Neuromorphic Logic. [PDF]

Adv Sci (Weinh)
Kim CH, Kim MS, Rhim JB, Kim TI, Kwon HI, Park IJ.   +5 more
europepmc   +1 more source

Finite element analysis-based flatness control and bending force optimization strategy for high rolling force conditions. [PDF]

PLoS One
Yan Z, Cao W, Wang B, Tang Y, Wu J, Zhang S.   +5 more
europepmc   +1 more source

Media consumption and self-perceived multilingual identity in short-video vlog-assisted informal digital language learning. [PDF]

Front Psychol
Ren Y, Wang X.
europepmc   +1 more source

Large-scale quantum communication networks with integrated photonics. [PDF]

Nature
Zheng Y, Wang H, Jia X, Huang J, Yuan H, Zhai C, Dai J, Shi J, Zhang L, Zhang X, Zhuang M, Liu J, Mao J, Dai T, Fu Z, Jiao Y, Shi Y, Dai D, Wang X, Li Y, Gong Q, Yuan Z, Chang L, Wang J.   +23 more
europepmc   +1 more source

ATM: a Logic for Quantitative Security Properties on Attack Trees. [PDF]

Softw Syst Model
Nicoletti SM, Lopuhaä-Zwakenberg M, Hahn EM, Stoelinga M.   +3 more
europepmc   +1 more source

Molecular logics in dual sensor regulation of enzyme activity – Phosphorylation OR blue-light activation of cyanobacterial diguanylate cyclases

Fuchs M, Winkler A.
europepmc   +1 more source

Skolemization In Intermediate Logics [PDF]

arXiv.org
Skolemization, with Herbrand's theorem, underpins automated theorem proving and various transformations in computer science and mathematics. Skolemization removes strong quantifiers by introducing new function symbols, enabling efficient proof search ...
Matthias Baaz, Mariami Gamsakhurdia, Rosalie Iemhoff, Raheleh Jalali   +3 more
semanticscholar   +3 more sources