THE ROSEAU CATHEDRAL and Dominica’s first Catholics. Part II by Bernard Lauwyck Roseau Cathedral stained glass window with mitre and crosier In the previous article we found that up to the present time, misconceptions

Source URL: www.avirtualdominica.com

• Indigenous peoples in Dominica
• Island Caribs
• Carib people
• Dominica
• Jean-Baptiste Du Tertre
• Roseau
• Jean-Jacques Rousseau
• Dutertre
• Caribbean
• Tertre
• Kalinago Genocide
• Thomas Warner

Educational Product National Aeronautics and Space Administration Educators & Students

Source URL: jm.dutertre.free.fr

(Fault) Attacks what is possible to do! 2007 Assia Tria, Bruno Robisson CEA-LETI Jean-max Dutertre, Amir-pasha Mirbaha : ENSM-SE

Source URL: www-mitacs2009.imag.fr

Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Mathematics
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Conflict-Driven Clause Learning
• DPLL algorithm
• Boolean satisfiability problem
• Satisfiability modulo theories

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

Source URL: yices.csl.sri.com

• Computational complexity theory
• Theoretical computer science
• Theory of computation
• Logic in computer science
• Formal methods
• Boolean algebra
• Complexity classes
• Electronic design automation
• Satisfiability modulo theories
• True quantified Boolean formula
• FO
• NC

CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects

Source URL: yices.csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Simplex algorithm

(Fault) Attacks what is possible to do! 2007 Assia Tria, Bruno Robisson CEA-LETI Jean-max Dutertre, Amir-pasha Mirbaha : ENSM-SE

Source URL: www-mitacs2009.imag.fr

Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln

Source URL: www.csl.sri.com

• Algebra
• Mathematics
• Linear algebra
• Matrix theory
• Invariant
• Kalman filter
• Eigenvalues and eigenvectors
• Principal component analysis
• Differential geometry of surfaces
• Control theory
• Trace
• Inertial measurement unit