Title: Area-Angular momentum inequality in stable marginally trapped surfaces Authors: Jos´e Luis Jaramillo, Mart´ın Reiris and Sergio Dain Abstract: We discuss the area-angular momentum inequality A ≥ 8π|J| and sh

Source URL: gigda.ugr.es

02 hofus8 16-end:11 AM Page 104 A HISTORY OF US 18 Smoking Start

Source URL: www.joyhakim.com

• Tampa
• Florida
• Geography of Florida
• Florida
• Neighborhoods in Tampa
• Florida
• Ybor City
• Cigar
• Jos Mart
• Afro-Cuban
• Vicente Martinez Ybor
• Ybor Factory Building

Gateway to Cuba: Aeropuerto Internacional José Martí-La Habana CHRIS SLOAN-AIRCHIVE.COM by Chris Sloan

Source URL: airwaysnews.com

• Jos Mart International Airport
• Transport in Havana
• Aero Caribbean
• Miami International Airport
• Cancn International Airport
• Orlando International Airport
• Pittsburgh International Airport
• Havana
• Jos Mart
• Philadelphia International Airport
• Airport
• Cubana de Aviacin

In Proceedings of 16th RoboCup International Symposium, Mexico City, JuneBest Paper Award. Lateral Disturbance Rejection for the Nao Robot Juan Jos´e Alcaraz-Jim´enez1 , Marcell Missura2 , Humberto Mart´ınez-B

Source URL: www.ais.uni-bonn.de

• Physical quantities
• Rotation
• Mechanical engineering
• Force
• Zero moment point
• Humanoid robot
• Kinematics
• Inverted pendulum
• Robotics
• Rigid body dynamics
• Rotation around a fixed axis
• Controller

Visual mapping using learned structural priors Osian Haines, Jos´e Mart´ınez-Carranza and Andrew Calway Department of Computer Science University of Bristol, UK Abstract—We investigate a new approach to vision base

Source URL: www.cs.bris.ac.uk

• Robotic sensing
• Surveying
• Visual odometry
• Artificial intelligence
• Mathematics
• Surfaces
• Orientation
• Object recognition
• Optical flow
• Geometry
• Euclidean geometry
• Computer vision

Real-Time Continuous 6D Relocalisation for Depth Cameras Jos´e Mart´ınez-Carranza∗ and Walterio Mayol-Cuevas∗† ∗ Department of Computer Science, University of Bristol, UK

Source URL: www.cs.bris.ac.uk

• Artificial intelligence
• Vision
• Image processing
• Visual descriptors
• RANSAC
• Hash function
• Feature
• Hash table
• Select
• Computer vision
• Statistics
• Search algorithms

SINAI at TRECVID 2007 Manuel C. D´ıaz-Galiano, Jos´e M. Perea-Ortega, Mar´ıa T. Mart´ın-Valdivia, Arturo Montejo-R´aez, L. Alfonso Ure˜ na-L´opez Department of Computer Science. University of Ja´en, Ja´en, Sp

Source URL: www-nlpir.nist.gov

• Image retrieval
• Content-based image retrieval
• Precision and recall
• Multimedia Information Retrieval
• WordNet
• Document retrieval
• TRECVID
• Text Retrieval Conference
• Information science
• Information retrieval
• Science

Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1

Source URL: maude.cs.uiuc.edu

• Temporal logic
• Model theory
• Symbol
• Unification
• Modal logic
• Μ operator
• Normal distribution
• Logic
• Mathematical logic
• Linear temporal logic

Algebraic Simulations Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 2 1

Source URL: maude.cs.uiuc.edu

• Theoretical computer science
• Applied mathematics
• Constructible universe
• Bisimulation
• Mathematics
• Temporal logic
• Kripke structure
• Model checking

WRLA[removed]A Rewriting Semantics for Maude Strategies Narciso Mart´ı-Olieta, Jos´e Meseguerb , and Alberto Verdejoa a b

Source URL: maude.sip.ucm.es

• Applied mathematics
• Maude system
• Denotational semantics
• Formal language
• Structure
• Combinatory logic
• Rewriting
• Operational semantics
• Strategy
• Theoretical computer science
• Logic in computer science
• Mathematics