Decidability of invariant validation for paramaterized systems ⋆ Pascal Fontaine and E. Pascal Gribomont University of Li`ege (Belgium) {pfontain,gribomont}@montefiore.ulg.ac.be

Source URL: www.montefiore.ulg.ac.be

A Flexible Proof Format for SMT: a Proposal∗ Fr´ed´eric Besson Pascal Fontaine

Source URL: www.montefiore.ulg.ac.be

Combinations of theories and the Bernays-Schönfinkel-Ramsey class Pascal Fontaine Verify’07 July 15-16

Source URL: www.montefiore.ulg.ac.be

Communiqué de presse, le 28 juilletLe Centre des monuments nationaux présente « Patrimoine sacré » exposition de photographies de Pascal Lemaître au cloître de la cathédrale de Fréjus

Source URL: www.monuments-nationaux.fr

Age-equivalent Top–Down Modulation during Cross-modal Selective Attention Maria J. S. Guerreiro1,2*, Joaquin A. Anguera1, Jyoti Mishra1, Pascal W. M. Van Gerven2, and Adam Gazzaley1 Abstract

Source URL: gazzaleylab.ucsf.edu

veriT: an open, trustable and efficient SMT-solver Thomas Bouton2 , Diego Caminha B. de Oliveira2 , David D´eharbe1 , and Pascal Fontaine2 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Source URL: www.montefiore.ulg.ac.be

The GeoLink Modular Oceanography Ontology Adila Krisnadhi1,8 , Yingjie Hu2 , Krzysztof Janowicz2 , Pascal Hitzler1 , Robert Arko3 , Suzanne Carbotte3 , Cynthia Chandler4 , Michelle Cheatham1 , Douglas Fils5 , Timothy Fin

Source URL: geog.ucsb.edu

• Computing
• Ontology
• Information science
• Knowledge representation
• Information
• Semantic Web
• Technical communication
• Upper ontology
• Web Ontology Language
• Formal ontology
• BORO
• Software design pattern

FIT with people who are hard to engage ACE Conference‐Amsterdam 17th century: Pascal’s Pensees People who are hard to engage

Source URL: www.davidprescott.net

GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine

Source URL: www.verit-solver.org

Research Report Pelvic-Floor Muscle Rehabilitation in Erectile Dysfunction and Premature Ejaculation Pierre Lavoisier, Pascal Roy, Emmanuelle Dantony, Antoine Watrelot, Jean Ruggeri,

Source URL: medisexinfo.fr