The Institute for Computer Science at the Johannes Gutenberg University Mainz and the Max Planck Institute for Polymer Research Mainz (MPI-P) jointly invite applications for a full-time PostDoc position (EG 13 TV-L) in t

Source URL: research.zdv.uni-mainz.de

Can Quantum Search Accelerate Evolutionary Algorithms? Daniel Johannsen Max Planck Institute for Informatics Department of Algorithms and Complexity Saarbrücken, Germany

Source URL: www.cse.iitk.ac.in

• Theoretical computer science
• Theory of computation
• Computational complexity theory
• Quantum algorithms
• Quantum computing
• Models of computation
• Decision tree model
• Quantum phase estimation algorithm
• PP
• Quantum walk
• Time complexity
• Quantum information

Monday, 18 May:30–8:45 Opening 8:45–10:15 Attacks and Defenses Tuesday, 19 May 2009

Source URL: www.ieee-security.org

• Max Planck Institute for Software Systems
• Max Planck Institute for Computer Science
• University of California
• Berkeley
• Max Planck Society
• Saarland University
• National Institute for Research in Computer Science and Control
• University of California
• Microsoft Research
• Privacy
• Association of Public and Land-Grant Universities
• Ethics
• California

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

MAX-PLANCK-INSTITUT FÜR WISSENSCHAFTSGESCHICHTE Max Planck Institute for the Histor y of Science 2009

Source URL: innovation.ucdavis.edu

• Computer law
• Science
• Mind
• Public domain
• Intellectual property
• Social information processing
• Cultural environmentalism
• Property
• Genius
• Law
• Intellectual property law
• Monopoly

A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany

Source URL: www.mpi-sws.org

• Nested word
• Finite state transducer
• Finite-state machine
• Büchi automaton
• Automata theory
• Theoretical computer science
• Computer science

Curriculum Vitae Rupak Majumdar Department: Email:

Source URL: www.mpi-sws.org

• Principles of Programming Languages
• Max Planck Institute for Software Systems
• International Colloquium on Automata
• Languages and Programming
• Lecture Notes in Computer Science
• Computing
• CHIC
• Computer science
• Automata theory
• Association for Computing Machinery

Harvesting, Searching, and Ranking Knowledge on the Web [Invited Talk] Gerhard Weikum Max Planck Institute for Informatics Saarbruecken, Germany

Source URL: www.wsdm2009.org

• Computing
• Data management
• Science
• Ontology
• YAGO
• Gerhard Weikum
• Information extraction
• Semantic search
• DBpedia
• Semantic Web
• Max Planck Institute for Computer Science
• Natural language processing

Harvesting, Searching, and Ranking Knowledge from the Web Gerhard Weikum http://www.mpi-inf.mpg.de/~weikum/ joint work with Shady Elbassuoni, Georgiana Ifrim, Gjergji Kasneci,

Source URL: www.wsdm2009.org

• Information
• Technical communication
• Ontology
• YAGO
• Gerhard Weikum
• Max Planck
• Cyc
• Freebase
• Information extraction
• Max Planck Institute for Computer Science
• Science
• Semantic Web

CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 On the Use of Adaptive, Exact Decisions Number Types Based on Expression-Dags in Geometric Computing Stefan Schirra∗

Source URL: www.cccg.ca

• Max Planck Institute for Computer Science
• Data types
• Arithmetic
• Numerical analysis
• CGAL
• Floating point
• Directed acyclic graph
• Arbitrary-precision arithmetic
• Algorithm
• Mathematics
• Mathematical analysis
• Computer arithmetic