AC-2 - PDFSEARCH.IO - Document Search Engine

AC-2
Results: 13661

#	Item
21	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:03:10 Electronic engineering Logic gates Digital electronics Electrical engineering Electronics Electrical circuits Digital systems Clock signal C-element Asynchronous circuit Sequential logic Flip-flop
22	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle
23	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
24	Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-01-24 06:23:37 I0 Invariant XC
25	Cream version 1.2 Programmers Guide Naoyuki Tamura http://bach.istc.kobe-u.ac.jp/cream/ Oct. 5, 2004 Abstract Add to Reading List Source URL: bach.istc.kobe-u.ac.jp Language: English - Date: 2004-10-12 12:07:19 Software engineering Computer programming Computing Mathematical modeling Numerical software Constraint satisfaction Constraint programming AMPL Solver Lis Prolog Quadratic programming
26	Code-Carrying Authorization Sergio Maffeis2,3 , Mart´ın Abadi1,2 , C´edric Fournet1 , and Andrew D. Gordon1 1 2 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Process calculi Theoretical computer science -calculus Expected value Mathematics Creativity Abstraction
27	Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2 Add to Reading List Source URL: repository.ist.ac.at Language: English - Date: 2018-04-16 08:14:19 Mathematics Geometry Mathematical analysis Topology Convex analysis Measure theory Order theory Cover General topology Convex function Support Interval
28	Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations ? ˇ ska1,2 , and Marta Kwiatkowska1 Alessandro Abate1 , Milan Ceˇ 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-08 04:40:26 Dynamic programming Equations Stochastic control Systems theory Control theory Systems science Markov processes Mathematics Markov decision process Mathematical optimization Bellman equation Reinforcement learning
29	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
30	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