Institut

Zurück zur Übersicht
Name

Institut für Informatik Universität Bern

Anschrift Institut für Informatik
Universität Bern
Neubrückstrasse 10
CH-3012 Bern
Alle Daten anzeigen

Projekte

Verantw. Gesuchsteller/in Hochschule Start Enddatum Förderungsinstrument

Darstellungstheorie bei PCS und Komplexität algebraischer Konstruktionen in endlichen Algebren
Mey Hansjürg Universität Bern - BE 01.04.1985 31.03.1988 Projektförderung (Abt. I-III)

PARCOM - Wissenschaftliche Anwendungen und Algorithmen- Design für Paralleles Computing
Mey Hansjürg Universität Bern - BE 01.04.1987 31.03.1988 Projektförderung (Abt. I-III)

Darstellung von p-Algebren: Strukturen, Algorithmen, Diagramme
Mey Hansjürg Universität Bern - BE 01.04.1988 30.09.1991 Projektförderung (Abt. I-III)

Algorithmen und Werkzeuge zum Einsatz von parallelen und vektoriellen Architekturen in Stochastischer Simulation und Bildanalyse
Mey Hansjürg Universität Bern - BE 01.10.1988 30.09.1991 Projektförderung (Abt. I-III)

An intelligent multisensory robot vision system: planning of vision tasks and object recognition based on CAD-models
Bunke Horst Universität Bern - BE 01.09.1989 30.04.1995 NFP 23 Künstliche Intelligenz und Robotik

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard Universität Bern - BE 01.05.1990 30.04.1992 Projektförderung (Abt. I-III)

Structural and Syntactic Pattern Recognition (Workshop)
Bunke Horst Universität Bern - BE 01.04.1992 31.12.1992 Wissenschaftliche Tagungen

Formale Beschreibungstechniken, Architektur und Leistungsbewertung für Hochgeschwindigkeitsprotokolle
Hogrefe Dieter Universität Bern - BE 01.04.1992 31.03.1994 Projektförderung (Abt. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard Universität Bern - BE 01.05.1992 30.04.1994 Projektförderung (spezial)

Approximative Matching - Algorithmen über Graphen für fall- basiertes Schliessen und maschinelles Lernen
Bunke Horst Universität Bern - BE 01.01.1993 29.02.1996 Schwerpunktprogramme (SPP)

SPINET: Computer Simulation der mechanischen Zusammenhänge der menschlichen Wirbelsäule
Peter Kropf Universität Bern - BE 01.01.1993 31.12.1994 Schwerpunktprogramme (SPP)

A logics workbench
Jäger Gerhard Universität Bern - BE 01.01.1993 31.03.1996 Schwerpunktprogramme (SPP)

P2C - International Conference on Proof Theory, Provability Logic and Computation
Jäger Gerhard Universität Bern - BE 01.02.1994 31.07.1994 Wissenschaftliche Tagungen

Computerorientierte Handschrifterkennung zum automatischen Lesen und Verarbeiten von Formularen
Bunke Horst Universität Bern - BE 01.04.1994 31.05.1996 Schwerpunktprogramme (SPP)

Formale Beschreibungstechniken, Architektur und Leistungsbewertung für Hochgeschwindigkeitsprotokolle
Hogrefe Dieter Universität Bern - BE 01.04.1994 31.03.1997 Projektförderung (Abt. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard Universität Bern - BE 01.05.1994 30.04.1996 Projektförderung (Abt. I-III)

FORTE'94 - IFIP 7th International Conference on Formal Description Techniques
Hogrefe Dieter Universität Bern - BE 01.06.1994 30.11.1994 Wissenschaftliche Tagungen

Composing Active Objects
Nierstrasz Oscar Universität Bern - BE 01.10.1994 30.09.1996 Projektförderung (Abt. I-III)

Marie Heim-Vögtlin: Verification of Object-Oriented Distributed Systems
Richner-Hanna Tamar Universität Bern - BE 01.10.1994 31.03.1998 Marie Heim-Voegtlin Beiträge

Die automatische Generierung von Testzwecken
Hogrefe Dieter Universität Bern - BE 01.10.1994 31.01.1997 Schwerpunktprogramme (SPP)

Distributed Propositional Proof Systems
Jäger Gerhard Universität Bern - BE 01.01.1996 30.06.1998 Projektförderung (Abt. I-III)

A frame for networked components
Jäger Gerhard Universität Bern - BE 01.03.1996 31.12.1998 Schwerpunktprogramme (SPP)

Braintool - A computer supported model of the basic spinal motor control system
Lüscher Hans-Rudolf Universität Bern - BE 01.03.1996 31.12.1999 Schwerpunktprogramme (SPP)

Neuromorphic network architectures for the segmentation problem using temporal binding mechanisms
Müller Lorenz Universität Bern - BE 01.04.1996 31.03.2000 Projekte

Non-Deterministic Aspects of Information Refinery in Distributed Environments
Jäger Gerhard Universität Bern - BE 01.04.1996 31.03.1998 Projektförderung (spezial)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard Universität Bern - BE 01.05.1996 31.10.1998 Projektförderung (Abt. I-III)

Off-line handwritten numeral string recognition
Bunke Horst Universität Bern - BE 01.10.1996 31.12.1997 Projektförderung (spezial)

Infrastructure for Software Component Frameworks
Nierstrasz Oscar Universität Bern - BE 01.10.1996 30.09.1998 Projektförderung (Abt. I-III)

Charging and accounting technology for the internet (CATI) Management, evaluation, demonstrators and business (MEDeB)
Braun Torsten Universität Bern - BE 01.07.1998 30.06.2001 Schwerpunktprogramme (SPP)

R'EQUIP: Advanced Internet Services over ATM
Braun Torsten Universität Bern - BE 01.07.1998 30.06.1999 R'EQUIP

Similarity-based retrieval of objects from 3D image databases
Jiang Xiao-Yi Universität Bern - BE 01.07.1998 29.02.2000 Projektförderung (Abt. I-III)

Automatic recognition of general unconstrained handwritten text
Bunke Horst Universität Bern - BE 01.08.1998 31.08.2003 Projektförderung (Abt. I-III)

A framework approach to composing heteregeneous applications
Nierstrasz Oscar Universität Bern - BE 01.10.1998 30.09.2000 Projektförderung (Abt. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard Universität Bern - BE 01.11.1998 31.12.2000 Projektförderung (Abt. I-III)

Quality-of-Service support for the Internet Based on Intelligent Network Elements
Braun Torsten Universität Bern - BE 01.04.1999 31.03.2002 Projektförderung (Abt. I-III)

MIPTel: Mobile IP Telephony
Braun Torsten Universität Bern - BE 01.10.1999 30.09.2002 Projektförderung (Abt. I-III)

Meta-models and tools for evolution towards component systems
Nierstrasz Oscar Universität Bern - BE 01.10.2000 30.09.2002 Projektförderung (Abt. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard Universität Bern - BE 01.01.2001 31.03.2003 Projektförderung (Abt. I-III)

Matching and Retrieval of Graphs from Large Graph Databases
Bunke Horst Universität Bern - BE 01.04.2002 31.03.2005 Projektförderung (Abt. I-III)

Quality-of-Service support for the Internet Based on Intelligent Network Elements
Braun Torsten Universität Bern - BE 01.04.2002 31.12.2003 Projektförderung (Abt. I-III)

RECAST: Evolution of Object-Oriented Applications
Ducasse Stéphane Universität Bern - BE 01.09.2002 31.08.2006 SNF-Förderungsprofessuren

MIPTel: Mobile IP Telephony
Braun Torsten Universität Bern - BE 01.10.2002 30.09.2004 Projektförderung (Abt. I-III)

Tools and Techniques for Decomposing and Composing Software
Nierstrasz Oscar Universität Bern - BE 01.10.2002 30.09.2004 Projektförderung (Abt. I-III)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard Universität Bern - BE 01.04.2003 31.03.2005 Projektförderung (Abt. I-III)

Automatic recognition of general unconstrained handwritten text
Bunke Horst Universität Bern - BE 01.05.2003 30.09.2005 Projektförderung (Abt. I-III)

Experience based admission control (XBAC)
Braun Torsten Universität Bern - BE 01.04.2004 31.07.2005 Projektförderung (Abt. I-III)

Content-Based Image Retrieval with SVM Learning of Query by Graph of Regions
Le Saux Bertrand Institution ausserhalb der Schweiz - IACH 01.07.2004 31.03.2005 Stipendien für fortgeschrittene Forschende

A Unified Approach to Composition and Extensibility
Nierstrasz Oscar Universität Bern - BE 01.10.2004 30.09.2006 Projektförderung (Abt. I-III)

MIPTel: Mobile IP Telephony
Braun Torsten Universität Bern - BE 01.10.2004 31.01.2006 Projektförderung (Abt. I-III)

Foundations of Resource-Bounded Reasoning and Anytime Algorithms
Haenni Rolf Universität Bern - BE 01.01.2005 31.12.2008 SNF-Förderungsprofessuren

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard Universität Bern - BE 01.04.2005 31.03.2008 Projektförderung (Abt. I-III)

Matching and Retrieval of Graphs from Large Graph Databases
Bunke Horst Universität Bern - BE 01.04.2005 31.03.2006 Projektförderung (Abt. I-III)

Efficient and Robust Overlay Networks (ERON)
Braun Torsten Universität Bern - BE 01.10.2005 30.09.2007 Projektförderung (Abt. I-III)

Automatic Recognition of General Unconstrained Handwritten Text
Bunke Horst Universität Bern - BE 01.10.2005 30.09.2008 Projektförderung (Abt. I-III)

Mobile IP Telephony (MIPTel)
Braun Torsten Universität Bern - BE 01.10.2006 30.09.2008 Projektförderung (Abt. I-III)

Analyzing, capturing and taming software change
Nierstrasz Oscar Universität Bern - BE 01.10.2006 30.09.2008 Projektförderung (Abt. I-III)

Logic and information: from logic to constructive reasoning
Jäger Gerhard Universität Bern - BE 01.01.2007 31.01.2007 International Exploratory Workshops

Novel Algorithms for Graph Clustering and Classification
Bunke Horst Universität Bern - BE 01.01.2007 31.12.2009 Projektförderung (Abt. I-III)

Efficient and Robust Overlay Networks (ERON)
Braun Torsten Universität Bern - BE 01.10.2007 30.09.2009 Projektförderung (Abt. I-III)

Sulla Teoria della Dimostrazione delle Definizioni Quasi-Induttive
Bruni Riccardo Universität Bern - BE 01.02.2008 30.04.2008 Internationale Kurzaufenthalte

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard Universität Bern - BE 01.04.2008 30.09.2011 Projektförderung (Abt. I-III)

Structural proof theory and the logic of proofs
Jäger Gerhard Universität Bern - BE 01.05.2008 30.04.2011 Projektförderung (Abt. I-III)

Logic Colloquium 2008
Jäger Gerhard Universität Bern - BE 01.05.2008 31.10.2008 Wissenschaftliche Tagungen

Bringing Models Closer to Code
Nierstrasz Oscar Universität Bern - BE 01.10.2008 30.09.2010 Projektförderung (Abt. I-III)

Foundations of Resource-Bounded Reasoning and Anytime Algorithms
Haenni Rolf Universität Bern - BE 01.01.2009 31.12.2009 SNF-Förderungsprofessuren

Middleware design for embedded networked devices
Dorfus Kirsten Institution ausserhalb der Schweiz - IACH 01.07.2009 31.03.2010 Stipendien für fortgeschrittene Forschende

Multidimensional Sampling for Image Synthesis
Zwicker Matthias Universität Bern - BE 01.10.2009 30.09.2012 Projektförderung (Abt. I-III)

Traffic Adaptivity in Wireless Sensor Networks
Braun Torsten Universität Bern - BE 01.11.2009 31.10.2012 Projektförderung (Abt. I-III)

Computational Structure of Classical Duality
McKinley Richard Universität Bern - BE 01.03.2010 28.02.2013 Ambizione

Opportunistic Routing for highly Mobile Ad-hoc Networks (ORMAN)
Braun Torsten Universität Bern - BE 01.04.2010 31.03.2013 Projektförderung (Abt. I-III)

Synchronizing Models and Code
Nierstrasz Oscar Universität Bern - BE 01.10.2010 31.12.2012 Projektförderung (Abt. I-III)

Refining Reasoning via Justification Extraction: A Proof-Theoretic Approach
Kuznets Roman Universität Bern - BE 01.01.2011 31.12.2013 Ambizione

Logics for Privacy
Studer Thomas Universität Bern - BE 01.05.2011 30.04.2014 Projektförderung (Abt. I-III)

Low Cost Network Coding for Collaborative Video Streaming
Thomos Nikolaos Universität Bern - BE 01.10.2011 30.09.2012 Ambizione

Functional interpretations of Kripke-Platek set theory
Ferreira Fernando Universität Bern - BE 01.09.2012 30.11.2012 Internationale Kurzaufenthalte

YouStream 3D: Immersive Context-Aware Personal Communications
Cakareski Jakov Universität Bern - BE 01.10.2012 31.03.2013 Ambizione

Efficient Sampling and Reconstruction for Image Synthesis
Zwicker Matthias Universität Bern - BE 01.01.2013 31.03.2016 Projektförderung (Abt. I-III)

Agile Software Assessment
Nierstrasz Oscar Universität Bern - BE 01.01.2013 31.12.2015 Projektförderung (Abt. I-III)

Computational structure of higher-order sequent calculi
McKinley Richard Universität Bern - BE 01.03.2013 28.02.2014 Ambizione

Service-Centric Networking
Braun Torsten Universität Bern - BE 01.06.2013 31.03.2017 Projektförderung (Abt. I-III)

Advances in Proof Theory
Studer Thomas Universität Bern - BE 01.12.2013 28.02.2014 Wissenschaftliche Tagungen

UNSUPERVISED LEARNING OF 3D MODELS FOR OBJECT DETECTION AND CATEGORIZATION
Favaro Paolo Universität Bern - BE 01.01.2014 31.12.2016 Projektförderung (Abt. I-III)

Network Coding Based Multimedia Streaming in Content Centric Networks
Braun Torsten Universität Bern - BE 01.01.2014 30.04.2017 Projektförderung (Abt. I-III)

Operational Set Theory
Jäger Gerhard Universität Bern - BE 01.02.2014 31.07.2014 Projektförderung (spezial)

Logics for Privacy
Studer Thomas Universität Bern - BE 01.05.2014 30.04.2015 Projektförderung (Abt. I-III)

Structural Proof Theory and the Logic of Proofs
Jäger Gerhard Universität Bern - BE 01.05.2014 30.04.2017 Projektförderung (Abt. I-III)

Algebraic and Logical Aspects of Knowledge Processing
Jäger Gerhard Universität Bern - BE 01.10.2014 30.11.2017 Projektförderung (Abt. I-III)

LIGHT FIELD MOTION AND TURBULENCE DEBLURRING
Favaro Paolo Universität Bern - BE 01.01.2015 31.05.2018 Projektförderung (Abt. I-III)

SwissSenseSynergy
Braun Torsten Universität Bern - BE 01.01.2015 31.03.2018 Sinergia

Sketch-Based Image Synthesis
Favaro Paolo Universität Bern - BE 01.02.2015 31.01.2018 Projektförderung (Abt. I-III)

Function algebras and theories for computational complexity
Oitavem Isabel Universität Bern - BE 01.06.2015 30.06.2015 Internationale Kurzaufenthalte

Agile Software Analysis
Nierstrasz Oscar Universität Bern - BE 01.01.2016 31.12.2018 Projektförderung (Abt. I-III)

Gradient-domain Monte Carlo Rendering
Zwicker Matthias Universität Bern - BE 01.01.2016 31.12.2018 Projektförderung (Abt. I-III)

CONTACT: CONtext and conTent Aware CommunicaTions for QoS support in VANETs
Braun Torsten Universität Bern - BE 01.05.2016 30.04.2019 Projektförderung (Abt. I-III)

Justifications and non-classical reasoning (Juno)
Studer Thomas Universität Bern - BE 01.10.2016 30.09.2019 Projektförderung (Abt. I-III)

BLIND 3D FACE DEBLURRING
Favaro Paolo Universität Bern - BE 01.01.2017 31.05.2020 Projektförderung (Abt. I-III)

Data-driven Modeling of 3D Objects with Functional Parts
Zwicker Matthias Universität Bern - BE 01.01.2017 31.12.2019 Projektförderung (Abt. I-III)

Theory and Applications of Models of Computation 2017 (TAMC 17)
Jäger Gerhard Universität Bern - BE 01.04.2017 30.06.2017 Wissenschaftliche Tagungen

Analysis and Design of Self-Supervised Learning Methods
Favaro Paolo Universität Bern - BE 01.04.2017 31.03.2020 Projektförderung (Abt. I-III)

Mollifying Realistic Image Synthesis for Time Constrained Rendering
Zwicker Matthias Universität Bern - BE 01.09.2017 31.08.2018 Projektförderung (Abt. I-III)