FOR-A - PDFSEARCH.IO - Document Search Engine

FOR-A
Results: 646152

#	Item
291	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: cubicle.lri.fr Language: English - Date: 2013-07-31 06:15:38 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
292	An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-02-25 10:26:47 Theoretical computer science Formal methods Computing Mathematics Logic in computer science Graph rewriting Model checking Algorithm Formal verification Abstraction Generic programming Finite-state machine
293	Microsoft Word - EO 23 Declaration Of A State Of Emergency For The Commonwealth Of Virginia Due To Hurricane Michael And In Sup Add to Reading List Source URL: www.governor.virginia.gov Language: English - Date: 2018-10-11 12:54:22 Emergency management Risk management Prevention State of emergency Emergency Virginia Defense Force Code of Virginia Oklahoma Emergency Management Act
294	FOR RELEASE OCT. 2, 2018 FOR MEDIA OR OTHER INQUIRIES: Gregory A. Smith, Associate Director of Research Elizabeth Podrebarac Sciupac, Research Associate Anna Schiller, Communications Manager Add to Reading List Source URL: www.pewforum.org Language: English - Date: 2018-10-02 16:49:30 Catholic Church Theistic evolutionists Cardinals created by Pope John Paul II Pope Francis Catholic Church in the United States Catholic Democrats Pope Benedict XVI Republican Party
295	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-25 05:07:53 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
296	FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact K¨ ahler manifold X which is homeomorphic to Pn is isomorphic to Pn . This holds for a Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2017-03-03 09:54:55 Algebra Abstract algebra Cohomology theories Algebraic geometry Homological algebra Birational geometry Algebraic surfaces Cohomology Projective variety Hodge theory tale cohomology Kodaira dimension
297	Radical Routes a network of co-operatives working for social change Social Accounts Summary covering period to 31st December 2012 Add to Reading List Source URL: www.rootstock.org.uk Language: English - Date: 2013-10-29 09:17:08 Business models Market socialism Structure Economy Radical Routes Housing cooperative Types of socialism Cooperative Consumers' co-operative Worker cooperative The Co-operative Group The O
298	SparkTrails: A MapReduce Implementation of HypTrails for Comparing Hypotheses About Human Trails Martin Becker Hauke Mewes Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:26:51 Philosophy of science Computing Design of experiments Scientific method Science Probability and statistics Bayesian inference Statistical forecasting Statistical hypothesis testing Apache Spark Hypothesis
299	ZEN: Technical notes on a financial engine Nathan Cook July 18th 2017 Summary We describe the Zen Protocol, the basis for a decentralized financial Add to Reading List Source URL: www.zenprotocol.com Language: English - Date: 2018-10-19 06:12:25 Cryptocurrencies Bitcoin Blockchains Computing Alternative currencies Money Economy Cryptography SegWit Ethereum Merkle tree Bitcoin Unlimited
300	c This is a preprint for the paper accepted for publication in CVPR 2017. 2017 IEEE Are Large-Scale 3D Models Really Necessary for Accurate Visual Localization? Torsten Sattler1 Akihiko Torii2 Josef Sivic3,5 Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2017-04-14 12:02:45 Computer vision Artificial intelligence Vision 3D imaging Photogrammetry Applications of computer vision Robot control Structure from motion Pose 3D reconstruction Convolutional neural network Camera resectioning

UPDATE