Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

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

Dr. PASCAL JEAN-PIERRE, PhD, MPH Curriculum Vitae University of Notre Dame Department of Psychology 109 Haggar Hall

Source URL: psychology.nd.edu

. ucsd-psystem-fs UCSD p-System Filesystem Reference Manual Peter Miller

Source URL: ucsd-psystem-fs.sourceforge.net

• System software
• Software
• Computer architecture
• Disk file systems
• Mkfs
• UCSD Pascal
• Volume
• Mount

Bitspotting: Detecting Optimal Adaptive Steganography Benjamin Johnsona , Pascal Sch¨ottleb , Aron Laszkac , Jens Grossklagsd , and Rainer B¨ohmeb a Department of Mathematics, University of California, Berkeley, USA

Source URL: aronlaszka.com

CLUB « LiLux » a.s.b.l. STATUTS Les membres fondateurs: 1. M. Coutelier Thierry, fonctionnaire Luxembourgeois, demeurant à Contern, 5 rue des Prés 2. M. Guirsch Pascal, fonctionnaire Luxembourgeois,

Source URL: www.lilux.lu

cHTeMeLe ReadMe_en v2.7.1 Author: Olivier Chambon Design / illustration: Pascal Mabille

Source URL: www.chtemele.org

On the Block Error Probability of LP Decoding of LDPC Codes Ralf Koetter Pascal O. Vontobel

Source URL: ita.ucsd.edu

Automated Security Proof for Symmetric Encryption Modes. ? Martin Gagné2 , Pascal Lafourcade1 , Yassine Lakhnech1 , and Reihaneh Safavi-Naini2 1

Source URL: www.lsv.ens-cachan.fr

MPLS Under the Microscope: Revealing Actual Transit Path Diversity Yves Vanaubel Pascal Mérindol

Source URL: irtf.org

• Network protocols
• Internet Standards
• Tunneling protocols
• Multiprotocol Label Switching
• Label Distribution Protocol
• Network architecture
• RSVP-TE
• Forwarding equivalence class
• Fast reroute
• Label Information Base
• MPLS local protection
• MPLS VPN

Achieving Real-Time Target Tracking Using Wireless Sensor Networks Tian He§ , Pascal Vicaire† , Ting Yan† , Liqian Luo∗, Lin Gu† , Gang Zhou† , Radu Stoleru† , Qing Cao∗ , John A. Stankovic† and Tarek Ab

Source URL: faculty.cs.tamu.edu