Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK

Source URL: www.informatik.uni-bremen.de

• Algebra
• Information science
• Knowledge representation
• Technical communication
• Metalogic
• Ontology
• Module
• Structure
• Elementary class
• Mathematics
• Model theory
• Abstract algebra

Monte Carlo simulations of X-ray reflection nebulae in the Galactic Center region for future high-resolution imaging spectroscopy Hirokazu Odaka1, Shin Watanabe1, Tadayuki Takahashi1, Felix Aharonian2,3, Dmitry Khangulya

Source URL: www.sron.nl

• Scattering
• Particle physics
• Nuclear physics
• Compton scattering
• Photon
• Raman scattering
• Electron
• X-ray
• Emission spectrum
• Physics
• Quantum electrodynamics
• Atomic physics

Strong impurity in a quantum wire Dmitry Aristov Petersburg Nuclear Physics Institute, Russia Collaboration: Peter Wölfle

Source URL: www.pdmi.ras.ru

• Fixed points
• Renormalization group
• Scattering theory
• Luttinger liquid
• Feynman diagram
• Leonhard Euler
• Sine–Gordon equation
• Physics
• Quantum field theory
• Statistical mechanics

Hinter dem Horizont.indd:59 Dmitry Glukhovskys METRO 2033-UNIVERSUM: Dmitry Glukhovsky: Metro 2033

Source URL: www.randomhouse.de

BALTICA Volume 27 Special Issue 2014 : 55-64 doi: balticaAssessment of the sensitivity of sandy coasts of the south–eastern part of the Baltic to oil spills Nerijus Blažauskas, Dmitry Dorokhov

Source URL: www.ku.lt

• Baltic Sea
• Curonian Spit
• Kaliningrad Oblast
• Spits
• Environmental disasters
• Oil spill
• Sambia
• Lithuania
• Rocky shore
• Geography of Europe
• Europe
• Political geography

Unintended Consequences: Four Years under the DMCA 1. Executive Summary Since they were enacted in 1998, the “anticircumvention” provisions of the Digital Millennium Copyright Act (“DMCA”), codified in section 12

Source URL: privatkopie.net

• 105th United States Congress
• Blizzard Entertainment
• Digital Millennium Copyright Act
• Internet in the United States
• Dmitry Sklyarov
• Bnetd
• Digital rights management
• Anti-circumvention
• ElcomSoft
• Law
• Computer law
• Copyright law

Toward a Lifelong Motion Planning System that Learns from Experience Dmitry Berenson Pieter Abbeel

Source URL: iros2011.org

• Applied mathematics
• Robot
• Heuristic function
• Search algorithms
• Routing algorithms
• Motion planning
• Theoretical computer science
• Mathematics

E2e Working Paper 006 The Lightbulb Paradox: Evidence from Two Randomized Experiments Hunt Allcott and Dmitry Taubinsky July 2014

Source URL: e2e.haas.berkeley.edu

• Gas discharge lamps
• Taxation
• Market failure
• Subsidies
• Compact fluorescent lamp
• Phase-out of incandescent light bulbs
• Incandescent light bulb
• Energy Independence and Security Act
• Light-emitting diode
• Lighting
• Light
• Technology

Checking Tests for Read-Once Functions over Arbitrary Bases Dmitry V. Chistikov Faculty of Computational Mathematics and Cybernetics Moscow State University, Russia

Source URL: www.mpi-sws.org

• Integration by substitution
• Generalizations of the derivative
• Differential calculus
• Differentiation rules
• Calculus
• Mathematical analysis
• Integral calculus

Notes on Counting with Finite Machines Dmitry Chistikov Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbrücken, Germany

Source URL: drops.dagstuhl.de

• Theoretical computer science
• Computer science
• Nested word
• Pushdown automaton
• Deterministic pushdown automaton
• Turing machine
• Nondeterministic finite automaton
• SC
• Deterministic finite automaton
• Automata theory
• Theory of computation
• Models of computation