Results 261 to 270 of about 106,571 (322)

An Ontology for Digital Medicine Outcomes: Development of the Digital Medicine Outcomes Value Set (DOVeS).

JMIR Med Inform
Rosner B, Horridge M, Austria G, Lee T, Auerbach A.   +4 more
europepmc   +1 more source

Identification of sentence stems characteristic of Chinese learner English writing. [PDF]

Heliyon
Li J, Hu W.
europepmc   +1 more source

Neuronal parts list and wiring diagram for a visual system. [PDF]

Nature
Matsliah A, Yu SC, Kruk K, Bland D, Burke AT, Gager J, Hebditch J, Silverman B, Willie KP, Willie R, Sorek M, Sterling AR, Kind E, Garner D, Sancer G, Wernet MF, Kim SS, Murthy M, Seung HS, FlyWire Consortium.   +19 more
europepmc   +1 more source

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

Lena Verscht, Benjamin Lucien Kaminski
openalex   +1 more source

A method for English paragraph grammar correction based on differential fusion of syntactic features. [PDF]

PLoS One
Liu W, Zhao C, Li Y, Cai C, Liu H, Qiu R, Su R, Li B.   +7 more
europepmc   +1 more source

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates

Mnacho Echenim, Nicolas Peltier
openalex   +2 more sources

Predicate Logics on Display [PDF]

Studia Logica, 1998
Display systems introduced by N. Belnap treat the modality \(\square\) using an ``inverse'' connective \(\bigcirc\) (sometimes in the past) and the following rules: \(\bigcirc A\to X/A\to\square X\) and \(A\to X/\square A\to\bigcirc X\). The author extends this treatment to predicate logic using \(\bigcirc_x\) indexed by variable \(x\).
openaire   +2 more sources

DRT and Predicate Logic [PDF]

, 1993
The central task of this book is to show how English sentences give rise to semantic representations. We will refer to the semantic representations we will be constructing as Discourse Representation Structures, or, more succinctly, DRSs.
Hans Kamp, Uwe Reyle
openaire   +1 more source