Clarke University - PDFSEARCH.IO - Document Search Engine

Clarke University
Results: 533

#	Item
1	δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Computability theory Computational complexity theory Theory of computation Constructivism Fourier analysis Formal methods Computable number Computable analysis Computable function NC Modulus of continuity
2	dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Mathematics Dynamical systems Systems science Control theory Hybrid system Systems theory Satisfiability modulo theories
3	1994 Clarke Lecture When Water Science Meets Water Technology Bruce E. Rittmann, Ph.D. John Evans Professor of Environmental Engineering Northwestern University Add to Reading List Source URL: nwri-usa.org Language: English - Date: 2008-10-10 12:33:30
4	2010 Clarke Prize Laureate Jerald L. Schnoor, Ph.D. Allen S. Henry Chair of Engineering University of Iowa Dr. Schnoor has focused much of his career on improving human Add to Reading List Source URL: www.nwri-usa.org Language: English - Date: 2010-05-06 16:05:48
5	δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-08-09 17:19:27 Theoretical computer science Computability theory Computational complexity theory Theory of computation Constructivism Fourier analysis Formal methods Computable number Computable analysis Computable function NC Modulus of continuity
6	2016 Clarke Prize Laureate Mark D. Sobsey, Ph.D. Kenan Distinguished Professor of Environmental Sciences and Engineering Gillings School of Global Public Health University of North Carolina at Chapel Hill Add to Reading List Source URL: www.nwri-usa.org Language: English - Date: 2016-11-02 17:28:15
7	1 Verifiable Classroom Voting in Practice Feng Hao∗ , Dylan Clarke∗ , Brian Randell∗ , and Siamak F. Shahandashti† ∗ Newcastle University, UK † University of York, UK Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2017-06-21 11:54:01 Cryptography Voting Politics Electronic voting Elections Election technology Electoral fraud Punchscan Prt Voter Scantegrity DRE voting machine Ballot
8	Review of South African Space Geodesy Programme Final Report 11 July 2016 Panel Members: Prof. Hans-Peter Plag, Old Dominion University, USA Dr. Derek Clarke, Chief Directorate: National Geo-spatial Information, SA Add to Reading List Source URL: www.nrf.ac.za Language: English - Date: 2016-07-19 09:52:42
9	ORPHEUS EC member Stephanie CLARKE Professor and Head of Neuropsychology and Neurorehabilitation at the University Hospital Lausanne, Switzerland Add to Reading List Source URL: orpheus-med.org Language: English - Date: 2016-04-12 05:09:24
10	2009 Clarke Prize Laureate Bruce E. Logan, Ph.D. Kappe Professor of Environmental Engineering The Pennsylvania State University Dr. Bruce E. Logan’s work on developing new methods to produce clean, Add to Reading List Source URL: www.nwri-usa.org Language: English - Date: 2009-07-01 15:44:02

UPDATE