Turbo Parsers: Dependency Parsing by Approximate Variational Inference Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ ∗ School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213, USA

Source URL: users.isr.ist.utl.pt

• Belief propagation
• Coding theory
• Probability theory
• Combinatory logic

Computer Meteorology: Monitoring Compute Clouds Lionel Litty H. Andr´es Lagar-Cavilla Dept. of Computer Science University of Toronto

Source URL: www.eecg.toronto.edu

• Cloud infrastructure
• Hypervisor
• Hyper-V
• VM
• Cloud computing
• Operating system
• Virtual machine

Measurable functions are of bounded variation on a set of dimension 1/2 Andr´as M´ath´e∗ Abstract We show that for every Lebesgue measurable function f : [0, 1] → R there exists a compact set C

Source URL: homepages.warwick.ac.uk

• Dimension theory
• Fractals
• Hausdorff dimension
• Metric geometry
• Borel measure
• NC
• Peetre theorem
• Hlder condition

Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri

Source URL: repository.readscheme.org

• Automated theorem proving
• Logic in computer science
• Formal methods
• Theoretical computer science
• Prolog
• Logic programming
• Model elimination
• Mathematical logic
• E theorem prover
• First-order logic
• Lean theorem prover
• Automated reasoning

EXPLORATION TO CHANGE THE WORLD! SOLAR IMPULSE QUIZ

Source URL: www.solarimpulse.com

• Andr Borschberg
• Renewable energy technology
• Solar Impulse
• Bertrand Piccard
• Electric aircraft
• Sustainable energy
• International Committee of Clean Technologies
• Outline of solar energy

Doktorandenseminar vom GRK im WS09/10 zum Thema: Relative homologische Algebra an den Beispielen der Hochschildund Andr´ e-Quillen-Theorie Das Herzst¨ uck der homologischen Algebra bildet die Theorie der derivierten Fu

Source URL: www.math.uni-bonn.de

Nonextensive Entropic Kernels Andr´ e F. T. Martins†‡ M´

Source URL: users.isr.ist.utl.pt

Dynamics of heterogeneous peer-to-peer networks Fernando Paganini, Andr´es Ferragut and Mart´ın Zubeld´ıa Universidad ORT Uruguay Abstract— The most tractable models of population dynamics in peer-to-peer file sha

Source URL: fi.ort.edu.uy

• BitTorrent
• Intellectual property law
• Computer jargon
• Leech
• Tragedy of the commons
• Peer-to-peer

The EGR Field Quantization Patrick Marquet∗ Abstract: In this paper, we show that the EGR curvature tensor can be quantized according to the procedure set forth by Andr´ e Lichn´ erowicz which relies on the definitio

Source URL: zelmanov.ptep-online.com

Experience from Measuring Program Comprehension—Toward a General Framework Janet Siegmund∗, Christian K¨astner, Sven Apel, Andr´e Brechmann, Gunter Saake Abstract: Program comprehension plays a crucial role during

Source URL: www.infosun.fim.uni-passau.de

• Software engineering
• Computing
• Software
• Causal inference
• Design of experiments
• Educational psychology
• Applied linguistics
• Orthography
• Object Process Methodology
• Confounding
• Program comprehension
• Experiment