Robert - PDFSEARCH.IO - Document Search Engine

Robert
Results: 56768

#	Item
1	Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-02-02 07:20:48 Mathematics Algebra Theoretical computer science Modular arithmetic Logic in computer science Congruence relation Equivalence Closure Rewriting Congruence lattice problem Congruence subgroup
2	The Next Bigly Thing : Plastic-To-Oil by Robert A. Nelson Many experts warn that we are on the down side of the "Peak Oil" Bell Curve of supply:demand -- but we clever hominids shall probe ever deeper with mighty microwa Add to Reading List Source URL: www.rexresearch.com Language: English - Date: 2017-12-30 23:59:28 Chemistry Nature Plastics Economy Dielectrics Polyolefins Water conservation Industrial processes Pyrolysis Recycling Plastic High-density polyethylene
3	SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-10-26 11:14:04 Logic Mathematical logic Mathematics Predicate logic Propositional calculus Semantics Philosophical logic Satisfiability modulo theories Predicate Literal Well-formed formula Model checking
4	NetChain: Scale-Free Sub-RTT Coordination Xin Jin Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2018-04-17 14:04:35 Low latency Replication Latency Computer network Distributed computing Information and communications technology Engineering Economy
5	June 14, 2018 The Honorable Robert Latta, Chairman The Honorable Janice Schakowsky, Ranking Member U.S. House Committee on Energy and Commerce Subcommittee on Digital Commerce & Consumer Protection 2125 Rayburn House Off Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-06-14 16:54:43 Marketing World Wide Web Online advertising Digital marketing Terms of service DoubleClick Targeted advertising Internet privacy Google Marc Rotenberg Advertising network Privacy policy
6	to appear in Automatic Program Development: a Tribute to Robert Paige, O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi (Eds.), Springer-Verlag, 2006. Aspects as Invariants Douglas R. Smith Kestrel Institute Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:31:08 Software development Aspect-oriented software development Computing Software engineering Aspect-oriented programming Pointcut AspectJ Join point Invariant Const
7	Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-09-19 06:11:44 Theoretical computer science Mathematical logic Mathematics Formal methods Logic in computer science Automated theorem proving Constraint programming Electronic design automation Conflict-driven clause learning Satisfiability modulo theories Boolean satisfiability problem Unit propagation
8	The Barcelogic SMT Solver (Tool Paper)? Miquel Bofill† , Robert Nieuwenhuis? , Albert Oliveras? , Enric Rodr´ıguez-Carbonell? and Albert Rubio? † Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-04-24 09:03:36 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Solver Maximum satisfiability problem
9	An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Computing Software engineering Computer programming Functional programming Subroutines Computability theory Theoretical computer science Computer algebra systems Pattern matching Wolfram Mathematica Expr Anonymous function
10	July 17, 2018 The Honorable Robert Latta, Chairman The Honorable Janice Schakowsky, Ranking Member U.S. House Committee on Energy and Commerce Subcommittee on Digital Commerce & Consumer Protection 2125 Rayburn House Off Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-07-17 13:38:48 Law Privacy Terms of service Government Politics and technology Federal Trade Commission Corporate crime Electronic Privacy Information Center Internet privacy Google Buzz Marc Rotenberg DoubleClick

UPDATE