Results 111 to 120 of about 47,006 (154)

Ecological cooperative merging control of heterogeneous electric vehicle platoons. [PDF]

PLoS One
Luo T, Liu X.
europepmc   +1 more source

Transcriptomic Evidence Reveals the Dysfunctional Mechanism of Synaptic Plasticity Control in ASD. [PDF]

Genes (Basel)
Kong C, Bing Z, Yang L, Huang Z, Wang W, Grebogi C.   +5 more
europepmc   +1 more source

Deep Learning-Based Prognostics and Health Management Model for Pilot-Operated Cryogenic Safety Valves. [PDF]

Sensors (Basel)
Kim M, Seong H, Kim D.
europepmc   +1 more source

Blockchain-Based Information Security Protection Mechanism for the Traceability of Intellectual Property Transactions. [PDF]

Sensors (Basel)
Wang Z, Feng W, Huang M, Feng S, Mo S, Li Y.   +5 more
europepmc   +1 more source

Automatic discovery and description of human planning strategies. [PDF]

Behav Res Methods
Skirzyński J, Jain YR, Lieder F.
europepmc   +1 more source

A privacy preserving and auditable blockchain framework for seccure securites trading. [PDF]

Sci Rep
Zhou E.
europepmc   +1 more source

Appendix 2 Mathematical Induction without Higher-Level Predicate Logic

, 2023

openalex   +1 more source

Aspects of predication and their influence on reasoning about logic in discrete mathematics

, 2022
Paul Christian Dawkins, Kyeong Hah Roh
openalex   +1 more source

S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62(2). Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 289–308.

, 1971
Mihály Makkai
openalex   +1 more source