Slide 1Interaction Grammars and their implementation in LEOPAR Guy Perrier University Nancy2 - LORIA (Nancy) Slide 2 1- Why a new linguistic formalism ? Some crucial points…

Slide 1 Matrix factorisations and D-branes Matthias Gaberdiel ETH Zürich Cambridge, 3 April 2006 Slide 2 D-branes on Calabi-Yau’s Phenomenological interesting string backgrounds…

Slide 1 P. Gorham, SLAC SalSA workshop1 Saltdome Shower Array: Simulations Peter Gorham University of Hawaii at Manoa Slide 2 P. Gorham, SLAC SalSA workshop2 salsaMC.c Simulation…

Slide 1 Martin Schnabl Collaborators: T. Erler, C. Maccaferri, M. Murata, M. Kudrna, Y. Okawa and M. Rapčák Institute of Physics AS CR 53 rd Schladming winter school, March…

Applications of AdS/CFT Gauge/Gravity Duality 2013 Max Planck Institute for Physics, 29 July to 2 Aug 2013 Coset approach to the Luttinger Liquid Ingo Kirsch DESY Hamburg,…

Simulating High Tc Cuprates T. K. Lee Institute of Physics, Academia Sinica, Taipei, Taiwan December 19, 2006, HK Forum, UHK Collaborators Y. C. Chen, Tung Hai University,…

Logic Programming Infrastructure for Inferences on FrameNet Peter Baumgartner MPI Informatik, Saarbrücken Aljoscha Burchardt Universitaet des Saarlandes, Saarbruecken…

Easing the experimental burden Global control, perpetual coupling and the like Simon Benjamin, Oxford. EPSRC. DTI, Royal Soc. Overview Motivation for looking at alternative…

* Physics at Hadron Colliders Lecture IV CERN, Summer Student Lectures, July 2010 Beate Heinemann University of California, Berkeley Lawrence Berkeley National Laboratory…

Uncertainty in AI Uncertainty in AI Birds can fly, right? Seems like common sense knowledge. The problem with First-Order Logic is that universal rules are too strict x…