Results 181 to 190 of about 39,214 (275)

LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification. [PDF]

Sensors (Basel)
Deng L, Zhong Q, Song J, Lei H, Li W.
europepmc   +1 more source

Exploration of Chemical Space Through Automated Reasoning. [PDF]

Angew Chem Int Ed Engl
Clymo J, Collins CM, Atkinson K, Dyer MS, Gaultois MW, Gusev VV, Rosseinsky MJ, Schewe S.   +7 more
europepmc   +1 more source

Automated Theorem Proving with Spider Diagrams

, 2004
Jean Flower, Gem Stapleton
openalex   +1 more source

Dynamics of 4D supply chain system with fractal fractional derivatives insight of stability analysis and ANN prediction. [PDF]

Sci Rep
Zehra A, Farman M, Bonny T, Sambas A, Al Nassan W, Nisar KS, Voon BWN, Hafez M.   +7 more
europepmc   +1 more source

Report on "Axiomatizing Conditional Normative Reasoning". [PDF]

Kunstliche Intell (Oldenbourg)
Parent X.
europepmc   +1 more source

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes [PDF]

Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan   +3 more
openalex   +1 more source

Canonical for Automated Theorem Proving in Lean [PDF]

Chase Norman, Jeremy Avigad
openalex   +1 more source

Audio and video nearables for monitoring respiratory rate in sleeping dogs. [PDF]

Sci Rep
Angelucci A, Badino A, Bussolati V, Caccia S, Campanini C, Birettoni F, Aliverti A.   +6 more
europepmc   +1 more source

Automated Theorem Proving for Prolog Verification

Fred Mesnard, Thierry Marianne, Étienne Payet   +2 more
openalex   +1 more source

Automated theorem proving for the systematic analysis of an infusion pump

, 2014
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon   +3 more
openalex   +2 more sources