DBLP — Some Lessons Learned ∗ Michael Ley Universitat ¨ Trier, Informatik D–54286 Trier Germany

Source URL: dblp.org

• DBLP
• University of Trier
• Computer science
• VLDB
• BibTeX
• Michael Ley
• Information science
• Computing

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Source URL: rivoire.cs.sonoma.edu

• Server hardware
• Computer architecture
• Computing
• Itanium
• Blade server
• IBM System p

SMT-Style Program Analysis SMT-Style Program Analysis with Value-based Refinements Vijay D’Silva

Source URL: www.lix.polytechnique.fr

• Formal methods
• Algebraic structures
• Abstract interpretation
• Refinement
• Lattice
• Universal quantification
• Mathematics
• Computing
• Theoretical computer science

Automorphisms of Rational Surfaces with Positive Entropy J ULIE D E´ SERTI & J ULIEN G RIVAUX A BSTRACT. A complex compact surface which carries a minimal automorphism of positive topological entropy has been proved by

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

• Algebra
• Geometry
• Abstract algebra
• Birational geometry
• Algebraic geometry
• Blowing up
• Rational mapping
• Algebraic surface
• Resolution of singularities
• Cremona group
• Ample line bundle
• Divisor

ORSAY No d’ordre : 2097 ´ DE PARIS-SUD 11 UNIVERSITE CENTRE D’ORSAY

Source URL: julien.signoles.free.fr

• Software engineering
• Computer programming
• Software
• Frama-C
• Formal methods
• Logic in computer science
• ACSL
• OCaml
• Runtime verification
• ANSI/ISO C Specification Language

AN INTRODUCTION TO D-MODULES by Jean-Baptiste Teyssier Introduction This text gathers notes of a five hours course on D-modules given for the Winter

Source URL: jbteyssier.com

• Mathematics
• Mathematical analysis
• Calculus
• Sheaf theory
• Algebraic topology
• Multivariable calculus
• Integral calculus
• D-module
• Differential operator
• Local system
• Sheaf
• Integration by parts

Curves of low degrees on Fano varieties Olivier Debarre ? D´epartement de Math´ematiques et Applications – CNRS UMR 8553

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Geometry
• Algebraic geometry
• Birational geometry
• Projective variety
• Fano variety
• Divisor
• Smooth scheme
• Algebraic curve
• Chow group
• Coherent sheaf

Exclusivement contemporain La Société suisse de gravure fête ses 100 ans C ABINET D ’ ARTS GRAPHIQUES DU M USÉE D ’ ART ET D ’ HISTOIRE , G ENÈVE 19 O CTO BRE 2018 – 03 FÉVRI ER 2019

Source URL: institutions.ville-geneve.ch

PROSPET TIVE AGOSTO/SET TEMBREProspettive Strategia d’investimento – pagine 3-5 Le conseguenze indesiderate della politica economica statunitense

Source URL: perspectives.pictet.com

Commission fédérale pour les questions féminines CFQF Ordonnance sur l’aide au recouvrement des créances d’entretien du droit de la famille (ordonnance sur l’aide au recouvrement, OAiR) Prise de position de la

Source URL: www.ekf.admin.ch