PHYSICAL REVIEW E 88, Frequency bands of strongly nonlinear homogeneous granular systems Joseph Lydon,1 K. R. Jayaprakash,2 Duc Ngo,1 Yuli Starosvetsky,3 Alexander F. Vakakis,2 and Chiara Daraio1,* 2

Source URL: www.mechmat.ethz.ch

• Ordinary differential equations
• Control theory
• Nonlinear resonance
• Damping
• Vibration
• Academia
• Science and technology

Partitioning two-coloured complete multipartite graphs into monochromatic paths and cycles Oliver Schaudt Institut f¨ ur Informatik, Universit¨at zu K¨oln, K¨oln, Germany

Source URL: www.zaik.uni-koeln.de

• NP-complete problems
• Graph
• Graph theory
• Matching
• Cycle
• Hamiltonian path
• Spanning tree

9th International Symposium on Experimental Algorithms May, 2010 – Hotel Continental Terme, Ischia (Naples), Italy Call for Papers Program Committee David A. Bader (Georgia Inst. of Technology, USA)

Source URL: www.sea2010.unina.it

• Theoretical computer science
• Computational complexity theory
• Giuseppe F. Italiano
• Combinatorial optimization
• Algorithm
• Kurt Mehlhorn
• Mathematical optimization
• Mathematics
• Science and technology in Germany
• Computer science

A Generic and Flexible Framework for the Geometrical and Topological Analysis of (Algebraic) Surfaces∗ Eric Berberich† Max-Planck-Institut f¨ur Informatik Michael Sagraloff‡

Source URL: people.mpi-inf.mpg.de

• Field theory
• Algebraic curve
• Envelope
• Differential geometry of surfaces
• Valuation

Information Retrieval A Relational Model of Data for Large Shared Data Banks E. F. CODD

Source URL: people.csail.mit.edu

• Mathematics
• Logic
• Mathematical logic
• Model theory
• Relational model
• Binary relation
• Structure
• First-order logic
• Finitary relation
• Relation
• Path ordering
• Relational algebra

Highway and VC Dimensions: from Practice to Theory and Back Ittai Abraham Daniel Delling1 Amos Fiat2 Andrew V. Goldberg1 Renato F. Werneck1 1 Microsoft

Source URL: www.avglab.com

An efficient algorithm for real-time estimation and prediction of dynamic OD tables M. Bierlaire and F. Crittin February, 2002 Abstract The problem of estimating and predicting Origin-Destination (OD) tables is known to

Source URL: www.strc.ch

• Statistics
• Probability
• Linear filters
• Mathematical analysis
• Control theory
• Robot control
• Estimation theory
• Markov models
• Kalman filter
• Regression analysis
• Least squares
• Matrix

Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Source URL: www.cs.ru.nl

• Type theory
• Computability theory
• Functional programming
• Theoretical computer science
• Recursion
• Initial algebra
• Lambda calculus
• Primitive recursive function
• Inductive type
• Catamorphism
• F-algebra

A General Approach to Isolating Roots of a Bitstream Polynomial Michael Sagraloff Abstract. We describe a new approach to isolate the roots (either real or complex) of a square-free polynomial F with real coefficients. I

Source URL: people.mpi-inf.mpg.de

• Mathematical analysis
• Mathematics
• Spectral theory
• Operator theory
• Plancherel theorem for spherical functions
• Representation theory of Lie groups
• Macdonald polynomials

J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Universal algebra
• Mathematical structures
• Mathematical logic
• Algebraic structures
• Magma
• Sigma-algebra
• Structure
• F-algebra
• Model theory