EXOTIC OPEN 4-MANIFOLDS WHICH ARE NON-LEAVES ˜ COTON ´ AND PAUL A. SCHWEITZER, S.J. CARLOS MENINO We study the possibility of realizing exotic smooth structures on punctured simply connected 4-manifolds as leaves of a

Source URL: foliations2016.math.uni.lodz.pl

• Topology
• Geometric topology
• Manifolds
• Foliations
• Diffeomorphism
• Exotic R4
• 4-manifold
• 3-manifold
• Differentiable manifold
• Surface
• Low-dimensional topology
• Mazur manifold

SCIENCE COLLABORATIVE Assessing Ecological and Physical Performance of Sustainable Shoreline Structures

Source URL: graham.umich.edu

• Coastal engineering
• National Estuarine Research Reserve
• Physical geography
• Coastal management
• Sustainability
• Natural environment
• Geography
• Living shorelines

Definable functions continuous on curves in o-minimal structures

Source URL: cvit.iiit.ac.in

• Artificial intelligence
• Linguistics
• Computational linguistics
• Applied linguistics
• Natural language processing
• Computational neuroscience
• Artificial intelligence applications
• Feature detection
• Deep learning
• N-gram
• Vocabulary
• Optical character recognition

RTPI Young Planners’ Conference @RTPINIYP #YPConf2016

Source URL: www.rtpi.org.uk

• RMS Titanic
• Buildings and structures in Belfast
• Belfast
• Titanic Quarter
• Geography of the United Kingdom
• County Antrim

859 Documenta Math. Multiplicative Structures on Algebraic K -Theory Clark Barwick

Source URL: www.math.uiuc.edu

• Category theory
• Algebra
• Mathematics
• Functors
• Monoidal categories
• Homological algebra
• Adjoint functors
• Waldhausen category
• Universal property
• Algebraic K-theory
• Natural transformation
• Limit

ON THE FARRELL-JONES AND RELATED CONJECTURES arXiv:0710.2269v1 [math.KT] 11 Oct 2007 ¨ WOLFGANG LUCK

Source URL: 131.220.77.52

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Module theory
• Algebraic structures
• Commutative algebra
• Algebraic geometry
• Projective module
• Algebraic K-theory
• Whitehead torsion
• Cohomology

From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract

Source URL: web.cecs.pdx.edu

• Type theory
• Software engineering
• Programming language theory
• Computer programming
• Standard ML
• System F
• ML
• Type constructor
• Polymorphism
• Kind
• System U
• Type inference

Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics

Source URL: www.hermit-reasoner.com

• Mathematics
• Algebraic structures
• Transitive closure
• Ring

Czech Technical University in Prague, Klokner Institute Robustness of existing structures (modelling, robustness measures) Milan Holicky, Karel Jung, Jana Markova

Source URL: www.cost-tu0601.ethz.ch

• Real estate
• Construction
• Engineering
• Structural engineering
• Civil engineering
• Safety engineering
• Earthquake engineering
• Seismic retrofit
• Structural robustness
• Progressive collapse
• Structural integrity and failure
• Robustness

On-line data on water intake structures in the Karadarya river basin for vegetation / non-vegetation period, m3/sec Andijansay Sharihansay including UFK1 Savay

Source URL: www.cawater-info.net