1 Non-deterministic Phase Semantics and the Undecidability of Boolean BI DOMINIQUE LARCHEY-WENDLING, LORIA – CNRS DIDIER GALMICHE, LORIA – University Henri Poincar´e We solve the open problem of the decidability of

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

UNIVERSITÉ DE LA GRANDE REGION/UNIVERSITÄT DER GROßREGION EVALUATION REPORT 30 April 2012

Source URL: www.uni-gr.eu

• Grande Rgion
• Henri Poincar University
• Greater Region
• Universit de Sherbrooke
• Quebec

How to speed up the learning mechanism in a connectionist model Szil´ard Vajda, Abdel Bela¨ıd Henri Poincar´e University, Nancy 1 Loria Research Center READ Group Campus Scientifique, BP. 239 Vandoeuvre les Nancy, 54

Source URL: www.dsi.unifi.it

• Artificial neural networks
• Machine learning
• Computational neuroscience
• Pattern recognition
• Generalization error
• MNIST database
• Supervised learning
• Convolutional neural network
• Perceptron
• Support vector machine
• Multilayer perceptron
• Statistical classification

Abstracts of the talks of the Paris-London Analysis Seminar Session 31, December 11, 2015 in Paris (Institut Henri Poincar´ e) Mariapia Palombaro (University of Sussex),

Source URL: www.london-analysis-seminar.org.uk

I2P’s Usage Characterization Juan Pablo Timpanaro, Isabelle Chrisment*, Olivier Festor INRIA Nancy-Grand Est, France *LORIA - ESIAL, Henri Poincar´e University, Nancy 1, France Abstract. We present the first monitori

Source URL: tma2012.ftw.at

Vol. 3, No. 4 Special issue: TOOLS USA 2003 Conformance of agents in the Eiffel language Philippe Ribet, Cyril Adrian, Olivier Zendra and Dominique Colnet LORIA (INRIA - CNRS - University Henri Poincar´e) Vandœuvre-l`e

Source URL: smarteiffel.loria.fr

• Object-oriented programming
• Subroutines
• Eiffel
• Type theory
• Parameter
• Tuple
• Pointer
• C
• Foreach loop
• Software engineering
• Computing
• Computer programming

I2P’s Usage Characterization Juan Pablo Timpanaro, Isabelle Chrisment*, Olivier Festor INRIA Nancy-Grand Est, France *LORIA - ESIAL, Henri Poincar´e University, Nancy 1, France Abstract. We present the first monitori

Source URL: pam2012.ftw.at

• File sharing networks
• Internet privacy
• Cross-platform software
• I2P
• Crypto-anarchism
• Proxy server
• Kad network
• Tor
• HTTP
• Computing
• Software
• Concurrent computing

Poincar´ e on clocks in motion Scott Walter (walter [at] univ-lorraine.fr) University of Lorraine & Henri Poincar´e Archives (CNRS, UMR[removed]To appear in Studies in History and Philosophy of Modern Physics, doi:10.101

Source URL: www.univ-nancy2.fr

• Aether theories
• Obsolete scientific theories
• Equations
• Lorentz transformation
• Alfred Bucherer
• Lorentz force
• Spacetime
• Speed of light
• Luminiferous aether
• Physics
• Relativity
• Special relativity