pursues interdisciplinary long-term research in Spatial Cognition. Particular emphasis is given to:

Similar documents
Machine Learning for Interpretation of Spatial Natural Language in terms of QSR

Spatial behavior and linguistic representation: Collaborative interdisciplinary specialized workshop

Towards Fully-automated Driving

Geographic Analysis of Linguistically Encoded Movement Patterns A Contextualized Perspective

GeoVISTA Center, Department of Geography, The Pennsylvania State University, PA, USA

Mappings For Cognitive Semantic Interoperability

A Computable Language of Architecture

Spatial Cognition: From Rat-Research to Multifunctional Spatial Assistance Systems

Teaching Spatial Thinking, Computer Vision, and Qualitative Reasoning Methods

Structural Salience as a Landmark

Indoor Scene Knowledge Acquisition using a Natural Language Interface Saranya Kesavan and Nicholas A. Giudice

Semantic maps - a multi-hierarchical model

A Review of Kuiper s: Spatial Semantic Hierarchy

CS 540: Machine Learning Lecture 1: Introduction

Programme Specification MSc in Cancer Chemistry

Modeling User s Cognitive Dynamics in Information Access and Retrieval using Quantum Probability (ESR-6)

Conceptual spaces for matching and representing preferences

University of Genova - DITEN. Smart Patrolling. video and SIgnal Processing for Telecommunications ISIP40

Cognitive Engineering for Geographic Information Science

Why Is Cartographic Generalization So Hard?

Ontology Summit Framing the Conversation: Ontologies within Semantic Interoperability Ecosystems

Intelligent GIS: Automatic generation of qualitative spatial information

Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract 1 )

Data Visualization (CSE 578) About this Course. Learning Outcomes. Projects

The IIHS Post-Doctoral Programme. A Call for Fellows. Post-Doctoral Fellow in Urban Informality and Urban Economies

Eligible Fields of Study

The IIHS Post-Doctoral Programme. A Call for Fellows. Post-Doctoral Fellow in Deindustrialisation in Cities of the Global South and Employment

Pei Wang( 王培 ) Temple University, Philadelphia, USA

Before or After: Prepositions in Spatially Constrained Systems

JOB DESCRIPTION. Research Associate - Urban Economy and Employment

Exploring Spatial Relationships for Knowledge Discovery in Spatial Data

DANIEL WILSON AND BEN CONKLIN. Integrating AI with Foundation Intelligence for Actionable Intelligence

GEO-INFORMATION (LAKE DATA) SERVICE BASED ON ONTOLOGY

Spatial Reasoning Test Examples

Map Matching Algorithms in GPS Navigating System and Their Functions

Department of Computer Science and Engineering Indian Institute of Technology, Kanpur. Spatial Role Labeling

Chapter 1 Introduction

Mathematical Formulation of Our Example

UNIVERSITY OF SURREY

Mobile Robot Localization

Bar-Hillel and the Division of Labor in Language

Master Syllabus Department of Geography GEOG 121: Geography of the Cultural Environment Course Description

From Language towards. Formal Spatial Calculi

Lectures on Medical Biophysics Department of Biophysics, Medical Faculty, Masaryk University in Brno. Biocybernetics

Programme title: MChem Chemistry (Mathematical and Computational Chemistry)

Dublin City Schools Social Studies Graded Course of Study Grade 5 K-12 Social Studies Vision

Spatial Knowledge Acquisition from Addresses

Conceptual Modeling in the Environmental Domain

Visualizing Uncertainty In Environmental Work-flows And Sensor Streams

Overview of Achievements October 2001 October 2003 Adrian Raftery, P.I. MURI Overview Presentation, 17 October 2003 c 2003 Adrian E.

Orientation & Modeling Types. Nathaniel Osgood

Recommended Courses by ECE Topic Area Graduate Students

Balancing and Control of a Freely-Swinging Pendulum Using a Model-Free Reinforcement Learning Algorithm

TOPIC 1.1: KINEMATICS

Purpose Study conducted to determine the needs of the health care workforce related to GIS use, incorporation and training.

The Spatial Semantic Hierarchy

Qualitative Spatial Calculi with Assymetric Granularity

Index Terms Vague Logic, Linguistic Variable, Approximate Reasoning (AR), GMP and GMT

International Mathematical Union

Cognitive Robotics. Outline

SCENE UNDERSTANDING: Toward a Safer Navigation. Damien VIVET ISAE-SUPAERO DEOS Toulouse France

Just: a Tool for Computing Justifications w.r.t. ELH Ontologies

EKF and SLAM. McGill COMP 765 Sept 18 th, 2017

Cognitive Prosem. December 1, 2008

CPSC 695. Future of GIS. Marina L. Gavrilova

NATIONAL SCIENCE FOUNDATION GRADUATE RESEARCH FELLOWSHIPS

Designing and Evaluating Generic Ontologies

WEB-BASED SPATIAL DECISION SUPPORT: TECHNICAL FOUNDATIONS AND APPLICATIONS

A new design for the CogX binder: draft v0.5

Development of the system for automatic map generalization based on constraints

Master of Science in Statistics A Proposal

Towards Process-Based Ontology for Representing Dynamic Geospatial Phenomena

Dra. Aïda Valls Universitat Rovira i Virgili, Tarragona (Catalonia)

Mobile Robot Localization

Fuzzy Systems. Introduction

A Probabilistic Relational Model for Characterizing Situations in Dynamic Multi-Agent Systems

Preferred Mental Models in Qualitative Spatial Reasoning: A Cognitive Assessment of Allen s Calculus

Planning Under Uncertainty II

Agent-Based HOL Reasoning 1

Engineering of Automated Systems with Mechatronic Objects

VGIscience Summer School Interpretation, Visualisation and Social Computing of Volunteered Geographic Information (VGI)

Consensus Algorithms for Camera Sensor Networks. Roberto Tron Vision, Dynamics and Learning Lab Johns Hopkins University

An Ontology-based Framework for Modeling Movement on a Smart Campus

Higher National Unit Specification. General information for centres. Unit title: Meteorology 2. Unit code: D78H 35

Vision for Mobile Robot Navigation: A Survey

Fuzzy Systems. Introduction

Semantics and Inference for Probabilistic Ontologies

Chemists Do you have the Bayer Spirit?

86 Part 4 SUMMARY INTRODUCTION

DP Project Development Pvt. Ltd.

VITRA GUIDE: Multimodal Route Descriptions for Computer Assisted Vehicle Navigation

Space Syntax: Architecture and Cities MRes This programme information sheet includes details of the structure and content of the course.

Decentralized Time Geography for Ad-Hoc Collaborative Planning

Lecture 10: Introduction to reasoning under uncertainty. Uncertainty

Northwestern Connecticut Community College Course Syllabus

Curriculum Pacing Guide-Kindergarten History and Science Based on Virginia Standards of Learning for History Adopted 2015

M E M O R A N D U M. Faculty Senate approved November 1, 2018

Models to carry out inference vs. Models to mimic (spatio-temporal) systems 5/5/15

Quantum Probability in Cognition. Ryan Weiss 11/28/2018

Alabama Chemistry Core Content Standards

Transcription:

The Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition: Reasoning, Action, Interaction at the Universities of Bremen and Freiburg, Germany pursues interdisciplinary long-term research in Spatial Cognition. Particular emphasis is given to: Spatial Reasoning: Knowledge representation, human spatial thinking, computational modeling, diagrammatic reasoning, cognitive and computational complexity, qualitative spatiotemporal calculi; Action in Space: Cognitive robotics, explorative localization and mapping, robot navigation, human navigation and wayfinding, sensorimotor representations of spatio-temporal structures, embodied cognition; Communication and Interaction in Space: Formal methods, spatial and linguistic ontologies, computational linguistics, environmental cognition, integration of spatial methods. A description of the current research projects of the SFB/TR 8 can be found at www.sfbtr8.uni-bremen.de The SFB/TR 8 is funded by the German Research Foundation (DFG). The SFB/TR 8 advertises the following positions (all positions offer the opportunity to pursue a PhD): SFB/TR 8 project A5-[ActionSpace], reference number A 168/06 The researcher will develop a multi-hierarchical sensorimotor representation as well as a working memory structure and implement and test it in a mobile agent which operates in a VR environment. The agent must be able to perform exploratory localization and navigation using sensorimotor features established by actions (movements of the agent and of his sensors) and by more complex sensory properties (nonlinear wavelet features, multisensory information). Also, the researcher will manage eye tracking experiments and deal with VR environments on an experimental basis. The detailed work The researcher should have a degree in computer science or in a related field (diploma, master s, or Ph.D.). Strong interest in interdisciplinary collaboration is expected. Artificial intelligence and cognitive science Development of VR-based agent systems Spatial processing e.g. SLAM, topological maps, navigation Decisions strategies, reasoning Management of uncertain knowledge (e.g. Belief networks) Experience in software development and programming in Java, Python, C found). is an equal opportunity employer. Women are especially encouraged to

Prof. Kerstin Schill (Cognitive Neuroinformatic) By email: stubbemann@informatik.uni-bremen.de SFB/TR 8 project A5-[ActionSpace], reference number A 169/06 The researcher will develop a multi-hierarchical sensorimotor representation bases on a low-level feature extraction and implement and test it in a mobile agent which operates in a VR environment. Moreover, he/she will develop a subsystem that enables unsupervised learning of hierarchical knowledge structures. The mobile agent must be able to perform exploratory localization and navigation using sensorimotor features established by actions (movements of the agent and of his sensors) and by more complex sensory properties (nonlinear wavelet features, multisensory information). The detailed work Ph.D.). Strong interest in interdisciplinary collaboration is expected. Artificial intelligence and cognitive science Computer vision, image processing, natural scene statistics Neural networks Experience in software development and programming (in C, Java, Python) Interest in neurobiolgy found). is an equal opportunity employer. Women are especially encouraged to Prof. Kerstin Schill (Cognitive Neuroinformatic) By email: stubbemann@informatik.uni-bremen.de SFB/TR 8 project A7-[FreePerspective], reference number A 170/06 The researcher will develop a system that computes a 3-D model of the environment based on images from a stereo camera and data from an inertial sensor and renders a view of this model in real time. The researcher will use this system for tele-operation of a walking robot together with another SFB project but the focus here is on the algorithmic and probabilistic-estimation side. The detailed work

The applicant needs solid background knowledge in probability theory, linear algebra and efficient algorithms. The applicant should have a degree in computer science, applied mathematics or a related field (diploma, master s, or Ph.D.) and be interested in the following fields: Probabilistic Robotics (Localization, Simultaneous Localization and Mapping) Computer Vision (feature extraction, structure from motion) Least square computation and probabilistic estimation 3-D computer graphics The position is available immediately / from January 2007 until the end of 2010. Extension is possible. Application deadline: 15 December 2006 (or until a suitable candidate is found). is an equal opportunity employer. Women are especially encouraged to apply. Handicapped applicants with equal qualifications will be given preferential treatment. More information about this project can be found at www.sfbtr8.uni-bremen.de/project/a7. Dr. Udo Frese <ufrese@informatik.uni-bremen.de> Keypoints: Probabilistic Robotics, Computer Vision, Computer Science, Applied Mathematics Schlüsselwörter: Probabilistische Robotik, Bildverarbeitung, Informatik, Angewandte Mathematik SFB/TR 8 project I1-[OntoSpace], reference number A 171/06 The research project I1-[OntoSpace] employs logical specification languages and tools for constructing and delivering logically consistent ontological submodules for spatial objects, spatial relationships, functional spatial roles (e.g., landmarks) and motion-in-space. The researcher will develop techniques for the large-scale and heterogeneous structuring of ontology modules, formal foundations for inter-ontology mappings, and integrated reasoning with formally specified ontologies. This in particular means proving intended consequences as well as showing consistency of formal ontologies, applying a variety of tools that are developed elsewhere in the SFB/TR. The detailed work Ph.D.). Strong interest in cognitive science research and in interdisciplinary collaboration is expected. Especially, the applicant should have qualifications and/or interests in the following fields: Ontologies and semantic web Knowledge representation and reasoning Formal methods and theorem proving The position is available immediately / from January 2007 until the end of 2010. Extension is possible. Application deadline: 15 December 2006 (or until a suitable candidate is found). is an equal opportunity employer. Women are especially encouraged to apply. Handicapped applicants with equal qualifications will be given preferential treatment. More information about this project can be found at http://www.ontospace.uni-bremen.de. Dr. Till Mossakowski <tm@sfbtr8.uni-bremen.de>

SFB/TR 8 project I3-[SharC], reference number A 172/06 The researcher will develop a cognitively adequate, adaptive, safe and robust multi-modal framework for spatial interaction between a user and an intelligent service robot. Based on empirical evidence, the researcher will construct cognitive models and apply formal methods to investigate shared-control situations and develop suitable human-robot interaction to clarify mode-confusion problems. The detailed work Ph.D.). Strong interest in human-robot interaction and in interdisciplinary collaboration is expected. Artificial intelligence and cognitive science Human-robot interaction, especially multi-modal interaction Computational modeling, formal specification and model-checking Software development and programming (e.g., Java) found). is an equal opportunity employer. Women are especially encouraged to Dr. Hui SHI <shi@informatik.uni-bremen.de> 1/2 Doctoral Research Assistant / Postdoctoral Researcher SFB/TR 8 project I3-[SharC], (1/2 TVL 13, approx. 17,000 to 25,000 p.a. gross) reference number A 173/06 The researcher will develop a cognitively adequate, adaptive, safe and robust multi-modal framework for spatial interaction between a user and an intelligent service robot. Based on empirical evidence, we will construct cognitive models and apply formal methods to investigate shared-control situations, and develop suitable human-robot interaction to clarify mode-confusion problems. The detailed work Ph.D.). Strong interest in human-robot interaction and in interdisciplinary collaboration is expected.

Artificial intelligence and cognitive science Human-robot interaction, especially multi-modal interaction Computational modeling Software development and programming (e.g., Java) Collaboration with medical institutions and patient related research Development of questionnaires found). is an equal opportunity employer. Women are especially encouraged to Prof. Kerstin Schill (Cognitive Neuroinformatic) By email: stubbemann@informatik.uni-bremen.de SFB/TR 8 project I4-[SPIN], reference number A 174/06 The researcher will classify and formalize qualitative spatial calculi, relations among these calculi, spatial ontologies, and route graphs. Research tasks include both further development of the mathematical theory, the formalization and verification of critical results (like composition tables) using suitable specification languages and theorem proving tools, as well as further enhancement of these tools. The goal is to obtain both a trustworthy and efficient framework for qualitative spatial reasoning, which is applicable to reasoning tasks occurring in interactive wheelchair and robot navigation. The detailed work Ph.D.). Strong interest in formal methods and in interdisciplinary collaboration is expected. Especially, the applicant should have qualifications and/or interests in some of the following fields: Qualitative spatial reasoning Formal methods and theorem proving Category theory Functional programming (Haskell) The position is available immediately / from January 2007 until the end of 2010. Extension is possible. Application deadline: 15 December 2006 (or until a suitable candidate is found). is an equal opportunity employer. Women are especially encouraged to apply. Handicapped applicants with equal qualifications will be given preferential treatment. More information about this project can be found at www.sfbtr8.uni-bremen.de/i4. Dr. Till Mossakowski <tm@sfbtr8.uni-bremen.de>

1/2 Doctoral Research Assistant / Postdoctoral Researcher SFB/TR 8 project I5-[DiaSpace], (1/2 TVL 13, approx. 17,500 to 25,000 p.a. gross) reference number A 175/06 The research project I5-[DiaSpace] is seeking a researcher in the area of natural language dialogue. The researcher will develop approaches to natural and effective verbal interaction between agents (both human and artificial) who jointly address spatially-embedded tasks. The researcher will give particular emphasis to the mutual negotiation of spatial reference frames, spatial perspectives, scale and granularity choices, and corresponding discourse strategies. The successful applicant will work primarily with empirical methods of linguistic, discourse-analytic and psycholinguistic investigation of dialogue in the spatial domain in order to help establish the mechanisms active in establishing natural dialogue flow in increasingly complex tasks. Since the results are gradually integrated in a flexible dialogue system enabling robots to interact naturally with humans, the successful applicant will also need to interact closely with computational dialogue modeling colleagues. The detailed work plan is specified in the project proposal. Applicants should have a degree in linguistics or in a related field (diploma, MA, or Ph.D.). Especially, applicants should have qualifications and/or interests in one or more of the following fields: Empirical discourse analysis Experimental data collection and transcription Spatial language and spatial cognition Human-robot / human-computer interaction Computer-based data handling, including particularly basic skills in XML and corpus annotation. The position is available from January 2007 until the end of 2010. Extension is possible. Application deadline: 15 December 2006 (or until a suitable candidate is found). is an equal opportunity employer. Women are especially encouraged to apply. Handicapped applicants with equal qualifications will be given preferential treatment. Applications and questions about the position should be sent (preferably by email) to: Dr. Thora Tenbrink <tenbrink@sfbtr8.uni-bremen.de>