Institute

Back to overview
Name

Fachbereich Informatik Departement Mathematik und Informatik Universität Basel

Address Fachbereich Informatik Departement Mathematik und Informatik Universität Basel
Spiegelgasse 1
4051
CH-Basel
Website http://informatik.unibas.ch/
Show all

Projects

Responsible applicant Institution of higher education Start End date Funding scheme

Planning and Heuristic Search -- A Joint Perspective
Holte Robert University of Basel - BS 01.01.2014 31.01.2014 International short research visits

Query by Sketching (QbS)
Schuldt Heiko University of Basel - BS 01.10.2007 30.09.2009 Project funding (Div. I-III)

Exploiting Equilibrium Forces for Computer Networks Operations (Extension)
Tschudin Christian University of Basel - BS 01.10.2012 30.09.2014 Project funding (Div. I-III)

PAD-IR: Paper-Digital System for Information Capture and Retrieval
Schuldt Heiko University of Basel - BS 01.10.2009 30.09.2011 Project funding (Div. I-III)

CONPAR 90 _ VAPP IV: Joint Conference on Vector and Parallel Processing
Burkhart Helmar University of Basel - BS 01.08.1990 30.09.1990 Scientific Conferences

MHV-95: A Structured Approach to Parallelizing Multi Block Applications
Ruchti-Crowley Kathleen University of Basel - BS 01.01.1996 31.12.1997 Marie Heim-Voegtlin grants

Self-healing Protocols (Abschluss)
Tschudin Christian University of Basel - BS 01.04.2010 31.12.2010 Project funding (Div. I-III)

A Statistical Shape Modeling Platform for Medical Applications
Lüthi Marcel University of Basel - BS 01.06.2012 30.09.2014 National Centres of Competence in Research (NCCRs)

Konzepte für die Erarbeitung von lexikalischem Wissen.
Domenig Marc University of Basel - BS 01.04.1992 31.03.1993 Project funding (Div. I-III)

Software für die effiziente Lösungseinschliessung bei linearen Gleichungssystemen
Ullrich Christian University of Basel - BS 01.04.1996 30.09.1997 Project funding (Div. I-III)

Reasoning about Plans and Heuristics for Planning and Combinatorial Search
Helmert Malte University of Basel - BS 01.05.2015 30.04.2018 Project funding (Div. I-III)

Self-Healing Protocols
Tschudin Christian University of Basel - BS 01.07.2007 31.03.2010 Project funding (Div. I-III)

Coordinating Parallel Computations
Lederer Edgar University of Basel - BS 01.10.1996 31.12.1998 Project funding (Div. I-III)

Copula Distributions in Machine Learning: Models, Inference and Applications
Roth Volker University of Basel - BS 01.07.2013 30.06.2016 Project funding (Div. I-III)

Polypheny-DB: Cost- and Workload-aware Adaptive Data Management
Schuldt Heiko University of Basel - BS 01.05.2017 30.04.2021 Project funding (Div. I-III)

Learning and coding of 3D object classes for images recognition and synthesis
Vetter Thomas University of Basel - BS 01.06.2006 31.12.2008 Project funding (Div. I-III)

Certified Correctness and Guaranteed Performance for Domain-Independent Planning (CCGP-Plan)
Helmert Malte University of Basel - BS 01.02.2019 31.01.2023 Project funding (Div. I-III)

Abstraction Heuristics for Planning and Combinatorial Search
Helmert Malte University of Basel - BS 01.05.2012 30.04.2015 Project funding (Div. I-III)

Morphological analysis of the calcaneus utilising 3D statistical shape models
Lüthi Marcel University of Basel - BS 01.05.2019 30.06.2019 Scientific Exchanges

Prefix Continuity and Global Address Autoconfiguration in Ad Hoc Networks
Jelger Christophe Institution abroad - IACH 01.11.2004 31.07.2005 Fellowships for advanced researchers

Lerning and coding of 3D object classes for images recognition and synthesis
Vetter Thomas University of Basel - BS 01.06.2004 31.05.2006 Project funding (Div. I-III)

Safe Pruning in Optimal State-Space Search
Helmert Malte University of Basel - BS 01.11.2012 31.10.2014 Project funding (Div. I-III)

Coordinating parallel computations
Lederer Edgar University of Basel - BS 01.01.1999 30.06.2000 Project funding (Div. I-III)

Client/server software support for hydroinformatics applications
Lederer Edgar University of Basel - BS 01.03.1996 28.02.1998 Swiss Priority Programmes (SPPs)

Software für die effiziente Lösungseinschliessung bei linearen Gleichungssystemen
Ullrich Christian University of Basel - BS 01.04.1994 31.03.1996 Project funding (Div. I-III)

Computer aided Methods for Diagnosis and Early Risk Assessment for Parkinson`s Disease Dementia
Roth Volker University of Basel - BS 01.01.2016 31.12.2019 Interdisciplinary projects

Exploiting Equilibrium Forces for Computer Networks Operations
Tschudin Christian University of Basel - BS 01.10.2010 30.09.2012 Project funding (Div. I-III)

GriDMan: Data Management for Scientific Applications in a Grid Environment
Schuldt Heiko University of Basel - BS 01.05.2011 31.10.2013 Project funding (Div. I-III)

ClouDMan: Cost-based Data Management in Cloud Environments
Schuldt Heiko University of Basel - BS 01.11.2013 30.04.2015 Project funding (Div. I-III)

MM-DocTable: Multimedia Document Engineering Workflows on Tabletop Devices
Schuldt Heiko University of Basel - BS 01.10.2011 30.09.2014 Project funding (Div. I-III)

Skeleton-Oriented Programming
Burkhart Helmar University of Basel - BS 01.11.1992 31.12.1995 Swiss Priority Programmes (SPPs)

SCAN-89 International Symposium on Computer Arithmetic and Self-Validating Numerical Methods
Ullrich Christian University of Basel - BS 01.10.1989 31.03.1990 Scientific Conferences

Einfaches Programmieren paralleler Systeme mittles Algorithmenklassen
Burkhart Helmar University of Basel - BS 01.10.1991 30.09.1992 Project funding (Div. I-III)

Konzepte für die Erarbeitung von lexikalischem Wissen und dessen Verwendungsmöglichkeiten in einem Büro-Informationssystem.
Domenig Marc University of Zurich - ZH 01.04.1990 31.03.1992 Project funding (Div. I-III)

IMOTION - Intelligent Multi-Modal Augmented Video Motion Retrieval System
Schuldt Heiko University of Basel - BS 01.01.2014 31.05.2018 CHIST-ERA

FCSCT: An Open Framework for Client-Server Compatible Tools
Burkhart Helmar University of Basel - BS 01.04.1997 30.11.1999 Project funding (Div. I-III)

Generierung finiter Automaten für Wortanalyse und -generierung
Domenig Marc University of Basel - BS 01.04.1996 31.03.1998 Project funding (Div. I-III)

Erarbeitung der Wortbildungszusammenhänge in einem Wörterbuch.
Domenig Marc University of Basel - BS 01.04.1996 31.03.1998 Project funding (Div. I-III)

Segmentation of the wisdom tooth and mandibular canal and its clinical evaluation
Vetter Thomas University of Basel - BS 01.01.2011 31.12.2013 Interdisciplinary projects

Konzepte für die Erarbeitung von lexikalischem Wissen.
Domenig Marc University of Basel - BS 01.04.1993 31.03.1995 Project funding (Div. I-III)

Automated Reformulation and Pruning in Factored State Spaces
Helmert Malte University of Basel - BS 01.01.2015 31.07.2016 Project funding (Div. I-III)

Konzepte und Werkzeuge für die Erarbeitung von lexikalischem Wissen
Domenig Marc University of Basel - BS 01.04.1993 31.12.1995 Swiss Priority Programmes (SPPs)

Localized Statistical Shape Models using Kernel Methods
Vetter Thomas University of Basel - BS 01.04.2014 31.10.2017 Project funding (Div. I-III)
-