1 Computing Minimal Update Sequences for Graceful Router-wide Reconfigurations Francois Clad1 , Stefano Vissicchio2 , Pascal Mérindol1 , Pierre Francois3 and Jean-Jacques Pansiot1 1

Source URL: www0.cs.ucl.ac.uk

• Computing
• Routing protocols
• Data transmission
• Network architecture
• Internet architecture
• Internet Standards
• Internet protocols
• Routing algorithms
• Constraint
• Open Shortest Path First
• Link-state routing protocol
• Router

The SCAR Project Semantic Coloring of Academic References Angelo Di Iorio1, Freddy Limpens1, Agata Rotondi1, Pascal Coupet2, Georgios Tsatsaronis2 1DASPLab - Digital and Semantic Publishing Laboratory (University of Bolo

Source URL: workshop-oc.github.io

• Computing
• Web services
• Web standards
• Data
• Knowledge representation
• Semantic Web
• Resource Description Framework
• SPARQL
• Part-of-speech tagging
• Training
• test
• and validation sets

Converting OpenBSD to PIE Pascal Stumpf <> AsiaBSDCon 2015, March 15, Tokyo Pascal Stumpf: Converting OpenBSD to PIE

Source URL: www.openbsd.org

• Computing
• System software
• Software
• Memory management
• High-level programming languages
• OpenBSD
• Address space layout randomization
• Cross-platform software
• C dynamic memory allocation
• Berkeley Software Distribution
• Return-oriented programming
• Pascal

Identifying Personal DNA Methylation Profiles by Genotype Inference Michael Backes∗ , Pascal Berrang∗ , Matthias Bieg† , Roland Eils†‡ , Carl Herrmann†‡ , Mathias Humbert∗ , Irina Lehmann§ ∗ CISPA,

Source URL: www.ieee-security.org

• Genetics
• Biology
• Epigenetics
• DNA
• Genomics
• Molecular biology
• Genetic mapping
• DNA methylation
• Bisulfite sequencing
• Methylation
• CpG site
• Bayesian tool for methylation analysis

Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Proof assistants
• Logic in computer science
• Automated theorem proving
• Isabelle
• Automated reasoning
• E theorem prover
• Formal verification
• KeY

Résumé Claire Debord Université Clermont Auvergne Laboratoire de Mathématiques Blaise Pascal

Source URL: math.univ-bpclermont.fr

Grivaux, Julien; Hubert, Pascal Loci in strata of  meromorphic quadratic differentials with fully degenerate Lyapunov spectrum. (English) Zbl
J. Mod. Dyn. 8, No. 1, Summary: We construct expl

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Mathematics
• Dynamical systems
• Moduli theory
• Algebraic geometry
• Riemann surfaces
• Lyapunov exponent
• Complex manifolds
• Translation surface
• Giovanni Forni
• Teichmller space
• Zbl

PDF Document

Source URL: pascal.iseg.utl.pt

PDF Document

Source URL: pascal.iseg.utl.pt

PDF Document

Source URL: pascal-gym.de