Martin University - PDFSEARCH.IO - Document Search Engine

Martin University
Results: 3212

#	Item
1	Prof. Dr. Martin Fränzle Department of Computing Science University of OldenburgOldenburg Germany Email: Add to Reading List Source URL: www.avacs.org - Date: 2015-09-07 03:31:28
2	The Real First Class? Inferring Confidential Corporate Mergers and Government Relations from Air Traffic Communication Martin Strohmeier∗ , Matthew Smith∗ , Vincent Lenders† , Ivan Martinovic∗ ∗ University of Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2018-06-20 05:13:12 Aviation Human behavior Transport Air traffic control Terms of service Automatic dependent surveillance broadcast Avionics FlightAware OpenSky Network Internet privacy Flightradar24 Aircraft spotting
3	Ordered Treemap Layouts Martin Wattenberg Dow Jones / SmartMoney.com and Digital Media Center, Columbia University Add to Reading List Source URL: cvs.cs.umd.edu Language: English - Date: 2015-10-05 10:51:36 Infographics Visualization Treemapping Computing Communication design Mathematics Humancomputer interaction Graph drawing software Ben Shneiderman Data visualization JUNG Algorithm
4	Your Botnet is My Botnet: Analysis of a Botnet Takeover Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard Kemmerer, Christopher Kruegel, and Giovanni Vigna University of California Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-02-12 10:29:36 Botnets Cybercrime Computing Cyberwarfare Torpig Srizbi botnet Festi Fast flux Domain generation algorithm Bot herder The Spamhaus Project Conficker
5	AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-06 05:17:59 Theoretical computer science Logic Mathematical logic Logic in computer science Artificial intelligence Automated reasoning Automated theorem proving Predicate logic Quantifier Andrei Voronkov Z3 Alt-Ergo
6	Cryptanalysis of KeeLoq with COPACOBANA Martin Novotný1,2, Timo Kasper1 Horst Görtz Institute for IT-Security Ruhr University Bochum 1 Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2009-09-22 19:00:54 Cryptography Radio electronics Block ciphers KeeLoq Rolling code Data Encryption Standard ICE
7	Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic in computer science Formal methods Logic programming Propositional calculus Resolution Unification Satisfiability modulo theories Literal
8	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
9	COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory Add to Reading List Source URL: www.uregina.ca - Date: 2018-09-17 16:41:16
10	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