CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
131	Third International Competition on Runtime Verification CRV 2016 Giles Reger1 , Sylvain Hallé2 , and Yliès Falcone3 1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-09-29 14:23:26 Computing Cross-platform software Logic in computer science Runtime verification Benchmark Standard Performance Evaluation Corporation Marq AspectJ Java Overclocking
132	Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:49:46 Mathematics Mathematical logic Logic Model theory Logic in computer science Semantics Universal algebra Boolean satisfiability problem Interpretation First-order logic Resolution Clause
133	A Practical Implementation of a MultiDevice Split Application for Protecting Online Poker Gabriel Kaptchuk and Aviel Rubin Johns Hopkins University [gkaptchuk, rubin]@cs.jhu.edu Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2016-03-22 16:17:20 Poker Gambling Gaming Computer poker player Game artificial intelligence Cereus Poker Network Cheating in poker Online poker World Series of Poker PokerStars Texas hold 'em Pot
134	Third International Competition on Runtime Verification (CRV16) Giles Reger, Sylvain Hall´e, Yli`es Falcone RV 2016 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-09-29 14:24:12 Benchmark Standard Performance Evaluation Corporation European BEST Engineering Competition Computing Information and communications technology
135	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture Computing Formal methods Logic in computer science Kernel Linux kernel L4 microkernel family Mach Verification X86-64 Formal verification Satisfiability modulo theories
136	LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Algebra Mathematics Polynomials Abstract algebra Polynomial Irreducible polynomial Factorization of polynomials Resultant Algebraic geometry Factorization Polynomial greatest common divisor Permutation polynomial
137	Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:24:58 Estimation theory Probability and statistics Statistics Graph theory Markov chain Parameter Machine learning Probability distribution fitting Parametric model Twisting properties
138	figs/connectivity_t1s_numprobes.eps Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2014-06-24 12:29:11 Computing Internet Information and communications technology Internet protocols Internet privacy Internet security Internet Standards Cryptographic protocols Proxy server Transmission Control Protocol DNS hijacking SOCKS
139	Your Activities of Daily Living (YADL): An Image-based Survey Technique for Patients with Arthritis Longqi Yang†,‡ , Diana Freed‡ , Alex Wu* , Judy Wu‡ , John P. Pollak‡ , Deborah Estrin†,‡ † Department * Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2018-10-25 09:08:16 Health Medicine Activities of daily living Caregiving Nursing Occupational therapy Self care WOMAC PatientsLikeMe Mobility Everyday life Occupational therapist
140	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

UPDATE