Results 231 to 240 of about 1,008,187 (306)

SBMLNetwork: A framework for standards-based visualization of biochemical models. [PDF]

PLoS Comput Biol
Heydarabadipour A, Smith L, Hellerstein JL, Sauro HM.   +3 more
europepmc   +1 more source

Electrical Performance of ZTO Thin-Film Transistors and Inverters. [PDF]

Micromachines (Basel)
Wang J, Guo L, Chu X, Yang F, Gao H, Wang C, Chi Y, Yang X.   +7 more
europepmc   +1 more source

Lightweight error-tolerant edge detection using memristor-enabled stochastic computing. [PDF]

Nat Commun
Song L, Liu P, Pei J, Liu Y, Liu S, Wang S, Ng LWT, Hasan T, Pun KP, Gao S, Hu G.   +10 more
europepmc   +1 more source

Assessing cognitive components of computational thinking. [PDF]

Front Psychol
Mertens AJ, Colunga E.
europepmc   +1 more source

3D reconstruction from 2D multi-view dental 2D images based on EfficientNetB0 model. [PDF]

Sci Rep
Mohamed W, Nader N, Alsakar YM, Elazab N, Ezzat M, Elmogy M.   +5 more
europepmc   +1 more source

Partial-predicate logic in computer science [PDF]

Acta Informatica, 1987
In [Acta Inf. 21, 251-269 (1984; Zbl 0534.68024)] \textit{H. Barringer}, \textit{J. H. Cheng} and \textit{C. B. Jones} present a 3-valued logic designed for program verification and computer science applications in general. This paper adds some theoretical background to their arguments for the need for such a system.
A. Hoogewijs
openaire   +2 more sources