Zobrazeno 1 - 10
of 290
pro vyhledávání: '"A Owre"'
Interactive Theorem Provers (ITPs) are an indispensable tool in the arsenal of formal method experts as a platform for construction and (formal) verification of proofs. The complexity of the proofs in conjunction with the level of expertise typically
Externí odkaz:
http://arxiv.org/abs/2304.10486
Cylindrical Algebraic Decomposition (CAD) is a key proof technique for formal verification of cyber-physical systems. CAD is computationally expensive, with worst-case doubly-exponential complexity. Selecting an optimal variable ordering is paramount
Externí odkaz:
http://arxiv.org/abs/2302.14038
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
The Auk, 1975 Jan 01. 92(1), 126-136.
Externí odkaz:
https://www.jstor.org/stable/4084424
Autor:
Owre, Oscar T.
Publikováno v:
The Auk, 1975 Jan 01. 92(1), 40-57.
Externí odkaz:
https://www.jstor.org/stable/4084416
Autor:
Owre, Martha Leonora
The study was designed to obtain information that would be of value to secondary school personnel who provide career counseling and guidance to high school students preparing for post-secondary education, training, and employment. The study attempted
Externí odkaz:
http://hdl.handle.net/1969.1/3912
Autor:
Amadon, Dean, Owre, Oscar T.
Publikováno v:
The Wilson Bulletin, 1962 Jun 01. 74(2), 193-196.
Externí odkaz:
https://www.jstor.org/stable/4159056
Autor:
Owre, Oscar T.
Publikováno v:
The Wilson Bulletin, 1973 Dec 01. 85(4), 491-500.
Externí odkaz:
https://www.jstor.org/stable/4160414
Autor:
Owre, J. Riis
Publikováno v:
Journal of Inter-American Studies, 1967 Jul 01. 9(3), 396-412.
Externí odkaz:
https://www.jstor.org/stable/164799
Autor:
Owre, J. Riis
Publikováno v:
Journal of Inter-American Studies, 1966 Jul 01. 8(3), 371-385.
Externí odkaz:
https://www.jstor.org/stable/165257