E-LIB Suche - Ergebnisse für: Passmore, Grant O.

1

Intelligent Computer Mathematics

11th International Conference, CICM 2018, Hagenberg, Austri... Lecture Notes in Artificial Intelligence ; 11006;SpringerLink, Bücher

Farmer, William M. ; Passmore, Grant O. ; Youssef, Abdou. , 2018

Link: https://doi.org/10.1007/..

2

Compositional Taylor Model Based Validated Integration:

, In: 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Liiva, Kristjan ; Jackson, Paul B. ; Passmore, Grant O.. - p. 45-52 , 2018

Link: https://doi.org/10.1109/..

3

Impugning Randomness, Convincingly:

Gurevich, Yuri ; Passmore, Grant O.
Studia Logica: An International Journal for Symbolic Logic. 100 (2012) 1/2 - p. 193-222 , 2012

Link: https://www.jstor.org/st..

4

Prenatal delta-9-tetrahydrocannabinol exposure alters fetal..:

Ryan, Kimberly S. ; Karpf, Joshua A. ; Chan, Chi Ngai...
Scientific Reports. 14 (2024) 1 - p. , 2024

Link: https://doi.org/10.1038/..

5

Big Data Analytics for Earth Sciences: the EarthServer appr..:

Baumann, P ; Mazzetti, P ; Ungar, J...
info:eu-repo/grantAgreement/EC/FP7/283610/. , 2015

Link: https://www.openaccessre..

6

Some Lessons Learned in the Industrialization of Formal Met..:

, In: Formal Methods; Lecture Notes in Computer Science,

Passmore, Grant Olney - p. 717-721 , 2021

Link: https://doi.org/10.1007/..

7

Deciding Univariate Polynomial Problems Using Untrusted Cer..:

Li, Wenda ; Passmore, Grant Olney ; Paulson, Lawrence C.
Journal of Automated Reasoning. 62 (2017) 1 - p. 69-91 , 2017

Link: https://doi.org/10.1007/..

8

Collaborative Verification-Driven Engineering of Hybrid Sys..:

Mitsch, Stefan ; Passmore, Grant Olney ; Platzer, André
Mathematics in Computer Science. 8 (2014) 1 - p. 71-97 , 2014

Link: https://doi.org/10.1007/..

9

Impugning Randomness, Convincingly:

Gurevich, Yuri ; Passmore, Grant Olney
Studia Logica. 100 (2012) 1-2 - p. 193-222 , 2012

Link: https://doi.org/10.1007/..

10

On locally minimal Nullstellensatz proofs:

, In: Proceedings of the 7th International Workshop on Satisfiability Modulo Theories,

de Moura, Leonardo ; Passmore, Grant Olney - p. 35-42 , 2009

Link: https://dl.acm.org/doi/1..

11

Barium carbonate-boric acid, an advantageous flux for analy..:

Campbell, D.E. ; Passmore, W.O.
Analytica Chimica Acta. 76 (1975) 2 - p. 355-360 , 1975

Link: https://doi.org/10.1016/..

12

Towards a Certified Proof Checker for Deep Neural Network V..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Desmartin, Remi ; Isac, Omri ; Passmore, Grant... - p. 198-209 , 2023

Link: https://doi.org/10.1007/..

13

An Augmented MetiTarski Dataset for Real Quantifier Elimina..:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Hester, John ; Hitaj, Briland ; Passmore, Grant... - p. 297-302 , 2023

Link: https://doi.org/10.1007/..

14

CheckINN: Wide Range Neural Network Verification in Imandra:

, In: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming,

Desmartin, Remi ; Passmore, Grant ; Komendantskaya, Ekaterina. - p. 1-14 , 2022

Link: https://dl.acm.org/doi/1..

15

Neural Networks in Imandra: Matrix Representation as a Veri..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,

Desmartin, Remi ; Passmore, Grant ; Kommendentskaya, Ekaterina - p. 78-95 , 2022

Link: https://doi.org/10.1007/..