Results 201 to 210 of about 475,794 (375)

Study on the Axial Compressive Behavior and Constitutive Relationship of Lightweight Mixed Ceramic Concrete. [PDF]

Materials (Basel)
Huang Y, Huang W, Huang Q, Tuo W, Feng Q.   +4 more
europepmc   +1 more source

Ontology-Based AI Design Patterns and Constraints in Cancer Registry Data Validation. [PDF]

Cancers (Basel), 2023
Nicholson N, Giusti F, Martos C.
europepmc   +1 more source

A linear-time algorithm to decide whether a binary word contains an overlap [PDF]

, 1988
A. J. Kfoury
openalex   +1 more source

Decidability of the Reachability for a Family of Linear Vector Fields

Automated Technology for Verification and Analysis, 2015
Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, N. Zhan   +4 more
semanticscholar   +1 more source

Ability and knowledge: from epistemic transition systems to labelled stit models. [PDF]

Auton Agent Multi Agent Syst
Kuncová A, Broersen J, Duijf H, Ramírez Abarca AI.   +3 more
europepmc   +1 more source

A new periocular dataset collected by mobile devices in unconstrained scenarios. [PDF]

Sci Rep, 2022
Zanlorensi LA, Laroca R, Lucio DR, Santos LR, Britto AS, Menotti D.   +5 more
europepmc   +1 more source

A decidable fragment of the elementary theory of the lattice of recursively enumerable sets [PDF]

, 1980
Manuel Lerman, Robert I. Soare
openalex   +1 more source

Type structure complexity and decidability [PDF]

, 1982
Terrence Millar
openalex   +1 more source