Planning with Flexible Timelines in the Real World Alessandro Umbrico, Marta Cialdea Mayer University Roma TRE, Italy Abstract

Source URL: icaps16.icaps-conference.org

• Automated planning and scheduling
• Planning
• Framework
• Constraint satisfaction
• Planner

Dissertation Abstract ¨ Emre Okkes ¸ Savas¸ Supervisors: Maria Fox, Derek Long Department of Informatics,

Source URL: icaps16.icaps-conference.org

• Mathematics
• Automated planning and scheduling
• Control engineering
• Planning Domain Definition Language
• Control theory
• Mathematical optimization
• Variable
• Parameter
• Linear programming
• Motor coordination

An Introduction to the Dynamics of Real and Complex Quadratic Polynomials. May 30, 2011 Abstract

Source URL: www.homepages.ucl.ac.uk

• Mathematical analysis
• Fractals
• Complex dynamics
• Mathematics
• Dynamical systems
• Metaphysics
• Systems theory
• Periodic point
• Julia set
• Orbit
• Complex quadratic polynomial
• Periodic points of complex quadratic mappings

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: seahorn.github.io

• Mathematics
• Theoretical computer science
• Logic
• Automated theorem proving
• Logic programming
• Complex analysis
• Logical truth
• Propositional calculus
• Substitution
• Abstract interpretation
• Unification
• Term

ON PRIME FANO VARIETIES OF DEGREE 10 AND COINDEX 3 OLIVIER DEBARRE Abstract. We discuss the period maps of certain (complex) Fano fourfolds. The first part of this talk deals with cubic fourfolds. We recall their Hodge s

Source URL: www.math.ens.fr

• Abstract algebra
• Algebra
• Geometry
• Algebraic geometry
• Algebraic surfaces
• Hodge theory
• Projective geometry
• Birational geometry
• Fano variety
• Hodge conjecture
• Divisor
• Hodge structure

Delphy Foundation: Revolutionary Platform for Predicting Future Events Bo Wang Abstract

Source URL: delphy.org

Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

Source URL: web.cs.ucdavis.edu

• Mathematics
• Theoretical computer science
• Applied mathematics
• Logic in computer science
• Formal methods
• Computational neuroscience
• Artificial neural networks
• Proof assistants
• Entropy
• Coq
• N-gram
• Recurrent neural network

Occipital Cortex of Blind Individuals Is Functionally Coupled with Executive Control Areas of Frontal Cortex Ben Deen, Rebecca Saxe, and Marina Bedny Abstract

Source URL: saxelab.mit.edu

• Brain
• Cerebrum
• Neuroscience
• Neuroimaging
• Magnetic resonance imaging
• Frontal lobe
• Resting state fMRI
• Occipital lobe
• Human brain
• Auditory cortex
• Inferior temporal gyrus
• Functional magnetic resonance imaging

The Schur algebra is not spectral in B(`2). Romain Tessera∗ July 31, 2009 Abstract We give an example of an infinite matrix whose rows and columns

Source URL: www.normalesup.org

• Algebra
• Mathematics
• Group theory
• Geometric group theory
• Topological groups
• Functional analysis
• Amenable group
• Matrix
• Kazhdan's property
• Cayley graph
• Convolution
• Group cohomology

Decoupled State Space Search – Dissertation Abstract Daniel Gnad Saarland University Saarbr¨ucken, Germany

Source URL: icaps16.icaps-conference.org

• A* search algorithm
• Combinatorial optimization
• Game artificial intelligence
• Mathematics
• Information science
• Information retrieval
• C*-algebras