Cubical coloring — fractional covering by cuts Robert Sˇa´mal Abstract We introduce a new graph invariant that measures fractional covering of a graph by cuts. Besides being interesting in its own, it is useful for s

Source URL: iti.mff.cuni.cz

A Cut-Free and Invariant-Free Sequent Calculus for PLTL ? J. Gaintzarain1, M. Hermo1 , P. Lucio1 , M. Navarro1 , and F. Orejas2 1 2

Source URL: www.sc.ehu.es

A complete set of rotationally and translationally invariant features for images Risi Kondor

Source URL: snowbird.djvuzone.org

BRISK: Binary Robust Invariant Scalable Keypoints Stefan Leutenegger, Margarita Chli and Roland Y. Siegwart Autonomous Systems Lab, ETH Z¨urich {stefan.leutenegger, margarita.chli, and roland.siegwart}@mavt.ethz.ch Abs

Source URL: margaritachli.com

ETA INVARIANT AND SELBERG ZETA FUNCTION OF ODD TYPE OVER CONVEX CO-COMPACT HYPERBOLIC MANIFOLDS COLIN GUILLARMOU, SERGIU MOROIANU, AND JINSUNG PARK Abstract. We show meromorphic extension and give a complete description

Source URL: www.math.ens.fr

Framing the Concept of an Action-Dependent Perceptual Invariant Matteo Mossio° and Dario Taraborelli* ° REHSEIS (UMRUniversité Paris 7, 2 place Jussieu, FParis * Department of Psychology, University Coll

Source URL: nitens.org

• Cognitive science
• Cognition
• Neuroscience
• Perception
• Motor cognition
• Sensory systems
• Motor control
• Sensory-motor coupling
• Enactivism
• Sensorimotor
• Invariant
• Philosophy of perception

Vol 435|23 June 2005|doi:nature03687 LETTERS Invariant visual representation by single neurons in the human brain R. Quian Quiroga1,2†, L. Reddy1, G. Kreiman3, C. Koch1 & I. Fried2,4

Source URL: suns.mit.edu

INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES NATHANAEL ACKERMAN, CAMERON FREER, AND REHANA PATEL Abstract. Let L be a countable language. We say that a countable infinite L-structure M admits an invariant meas

Source URL: cfreer.org

INVARIANT DISTRIBUTIONS AND X-RAY TRANSFORM FOR ANOSOV FLOWS Colin Guillarmou Abstract For Anosov flows preserving a smooth measure on a closed manifold M, we define a natural self-adjoint operator Π which maps into the

Source URL: www.math.ens.fr

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

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

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML