.ac - PDFSEARCH.IO - Document Search Engine

.ac
Results: 359273

#	Item
281	Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:09:39 Symbol Linear temporal logic Constructible universe Markov chain Probabilistic logic Logic Mathematics Epistemology
282	Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN Master’s thesis presented in partial fulfillment of the requirements for the degree of Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:27 Network architecture Computing Computer architecture Information and communications technology Emerging technologies Internet architecture Configuration management Software-defined networking Network protocols OpenFlow Open vSwitch Computer network
283	Do Portfolio Solvers Harm? Christoph Weidenbach Max Planck Insitute for Informatics Saarland Informatics CampusSaarbr¨ ucken, Germany Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 07:37:32 Theoretical computer science Logic in computer science Formal methods Automated reasoning Constraint programming Automated theorem proving Satisfiability modulo theories Solver Answer set programming Satz Model checking Algorithm selection
284	An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-05-13 05:07:09 Software engineering Computing Computer programming Data types Cross-platform software Object-oriented programming languages Programming languages Scripting languages PHP Array data type Foreach loop Iterator
285	SORO163_source.nohead.pdf Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2014-01-17 10:18:12 Systems theory Cybernetics Psychology Systems science Control theory Experimental psychology Feedback Behaviorism Intelligent agent Motivation Positive feedback Humanrobot interaction
286	Broken Hearted: How To Attack ECG Biometrics Simon Eberz Nicola Paoletti Marc Roeschlin Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-03-14 06:12:08 Medicine Cardiac electrophysiology Clinical medicine Physiology Electrocardiography Cardiac monitoring Signal generator Monitoring Digital signal QRS complex Wireless ambulatory ECG Automated ECG interpretation
287	Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-06-27 11:49:37 Experiment Mathematical analysis Multi-objective optimization Markov decision process Probability space Event Analysis Probability and statistics Holomorphic functional calculus
288	Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-03-19 06:17:12 Mathematics Temporal logic Computation tree logic Logic in computer science Distribution Model theory Linear temporal logic Indescribable cardinal
289	第6回慶應医学賞受賞者 Add to Reading List Source URL: www.ms-fund.keio.ac.jp Language: English - Date: 2018-10-09 20:00:25 Biology Science and technology in the United States Yoshinori Ohsumi University of Texas Southwestern Medical Center Stanley B. Prusiner Elizabeth Blackburn Thomas A. Steitz Feng Zhang Roger Y. Tsien CRISPR Keio Medical Science Prize Jules A. Hoffmann
290	Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-31 12:00:20 Theoretical computer science Formal methods Mathematical logic School of Computer Science University of Manchester Mathematics Logic in computer science Automated theorem proving Formal verification SPASS Andrei Voronkov Vampire First-order logic

UPDATE