It - PDFSEARCH.IO - Document Search Engine

It
Results: 512079

#	Item
151	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-07-08 14:32:41 Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula
152	Introduction Applications SMT Solver Use Algorithms Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2012-01-21 06:40:38 Theoretical computer science Logic in computer science Formal methods Mathematics Electronic design automation NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Solver Formal verification Model checking SMT
153	SERVIZI ED AGEVOLAZIONI PER I SOCI SERVIZI MARKETING EVENTI E Add to Reading List Source URL: www.swisschamber.it Language: English - Date: 2018-02-27 04:18:01
154	Lecture 14, Thurs March 2: Nonlocal Games Last time we talked about the CHSH Game, and how no classical strategy lets Alice and Bob win it more than 75% of the time. Today we’ll see how, by using entanglement, they can Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2018-10-17 18:15:30
155	Meteor Showers Used To Measure Age of Earth 6 No Meteorites! Meteor Showers Used To Measure Age of Earth Ackerman in chapter two of It’s A Young Earth After Add to Reading List Source URL: www.jesuswordsonly.com Language: English - Date: 2009-05-12 21:09:36 Nature Astrobiology Astronomy Planetary science Geology Geophysics Meteorite Age of the Earth Panspermia Meteoroid Impact event Iron meteorite
156	«Alle brauchen IT. Unsere Web- und Mobilelösungen werden täglich mit Freude genutzt. Ganz ohne Ärger, weil sie einfach funktionieren.» Mit dieser Vision realisieren und betreiben wir zukunftsweisende Software-Lösun Add to Reading List Source URL: www.exanic.ch Language: German - Date: 2018-10-26 03:41:54
157	On the Security of Elliptic Curve Cryptosystems against Attacks with Special-Purpose Hardware Tim G¨ uneysu, Christof Paar, Jan Pelzl Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {gueneysu,cp Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-03-21 11:54:32 Cryptography Abstract algebra Algebra Finite fields Elliptic curve cryptography Computational hardness assumptions Group theory Public-key cryptography Elliptic-curve cryptography Elliptic curve Key size Discrete logarithm
158	CS2BioModular Verification of Interactive Systems with Application to Biology Peter Dr´abik Andrea Maggiolo-Schettini Paolo Milazzo Dipartimento di Informatica, Universit` Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Gene expression Molecular biology Biochemistry Biology Lac operon Beta-galactosidase Inducer Allolactose Galactosidases Lac repressor Lactose Galactose
159	Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2016-07-01 09:29:03 Computer programming Declarative programming Theoretical computer science Logic in computer science Cryptography Satellite broadcasting Scrambler Telecommunications equipment Satisfiability modulo theories Scrambling Monad Benchmark
160	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-06-01 10:39:41 Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula