General Info   Events   Staff   Research   Scientific Council   Conferences   Seminars   Recent Publications   Library   Publishing Centre   Staff Services   Links 
Research Projects \ Grants Completed Site Map  

European Grants

Grants Supported by
the State Committee
for Scientific
Research (KBN)

Grants Completed
(from 1996)

 

Research Projects

Home

 
GRANTS COMPLETED




COMPLETED GRANTS OF KBN


Formal Methods of Software Development
No: 2P30100704
Head: Andrzej Tarlecki
From 1.05.1993 to 30.04.1996

Reasoning in non-classical logics
No 3P40601906
Head: Piotr Rychlik
From 1.02.1994 to 31.12.1996

Optimization of image compression algorithms
No 8 T11C 018 08
Head: Wladyslaw Skarbek
From 1.01.1995 to 31.12.1997

Mathematical methods for distributed systems
No 8T 11C 029 08
Head: Jozef Winkowski
From 01.01.1995 to 31.12.1997

Designing Multi-Agent Systems: a new programming paradigm based on intelligent and autonomous agents
No 8 T11C 031 10
Head: Stanislaw Ambroszkiewicz
From 1.01.1996 to 31.12.1998

Application of language engineering methods to automatic analysis and generation of Polish text
No 8T11C01110
Head: Leonard Bolc
From 1.01.1996 to 31.12.1998.

Knowledge discovery in distributed databases for intelligent query answering
No 8 T11C 027 10
Head: Maciej Michalewicz
From 1.01.1996 to 31.12.1997

Applications of evolutionary algorithms to path planning and navigation problems
No 8T11C 010 10
Head: Zbigniew Michalewicz
From 1.01.1996 to 31.12.1997

Image processing and reconstruction via estimation of probability distributions
No 8T11C 019 11
Head: Jacek Koronacki
From 1.07.1996 to 30.03.1999.

Logical Aspects of Software Specification and Development Methods
No 8 T11C 018 11
Head: Andrzej Tarlecki
From 1.07.1996 to 30.06.1999.

Brouwer and Borsuk type theorems and their applications
No 2 PO3A 017 11
Head: Adam Idzik
From 1.08.1996 to 31.07.1999

Application of modern informatic methods to digital processing of biomedical signals
No 8T11E 01512
Head: Jerzy Cytowski
From 1.01.1997 to 31.12.1999

Updatable Views in Object-oriented Database Programming Languages
No 8T11C 003 12
Head: Kazimierz Subieta
From 1.01.1997 to 31.12.1998

Mathematical models of economic and social phenomena and processes with many agents
N 1H02B 015 15
Head: Andrzej Wieczorek
From 1.07.1998 to 31.12.1999

Optimization methods in object query languages Individual project (system representation)
(in Polish: Metody optymalizacyjne w obiektowych językach zapytań)
No. 8T11C 008 18
Coordinator: Jacek Plodzien
From 1.01.2000 to 31.12.2000

System Translator for transformation of input programs TEX or LATEX files into their Braille system representation
(in Polish: System Translator do przetwarzania zbiorów wejsciowych programów: Tex oraz Latex na ich reprezentacje w systemie pisma punktowego dla niewidomych)
No. 8T11C 021 18
Coordinator: Wlodzimierz Wysocki
From 1.02.2000 to 1.02.2002

Applications of rough sets theory to analysis of conflicts
(in Polish: Zastosowanie teorii zbiorów przybliżonych w analizie konfliktów)
No. 8T11C01219
Coordinator: Andrzej Skowron
From 1.07.2000 to 31.12.2001

Structuring of parallel programs for systems with redundant communication resources
(in Polish: Strukturalizacja programów równoległych dla systemu z redundancyjnymi zasobami komunikacyjnymi)
No. 7 T11C 015 20
Coordinator: Eryk Laskowski
From 5.02.2001 to 31.12.2001

Deductive specification, design and verification systems
(in Polish: Dedukcyjne systemy specyfikowania, konstruowania i weryfikowania)
No. 8T11C 037 16
Coordinator: Marek Bednarczyk
From 1.03.1999 to 28.02.2002

Automated verification of time dependent systems.
[more details about project]
(in Polish: Automatyczna weryfikacja systemów zależnych od czasu)
No. 8 T11 C 014 19
Coordinator: Piotr Dembiński
From 1.07.2000 to 30.06.2003

Computer package for grade data analysis and missing data imputation.
( in Polish: System komputerowy gradacyjnej analizy danych ze szczególnym uwzględnieniem algorytmów uzupełniania danych brakujących)
No. 7 T11C 00420
Coordinator: Elżbieta Pleszczyńska
From 1.02.2001 to 30.09.2002

Mathematical models of social and economic processes and phenomena with large numbers of participants of different types
(in Polish: Matematyczne modele procesów i zjawisk ekonomicznych i społecznych z dużą liczbą uczestników zróżnicowanych typów)
No. 5 H02B 008 20
Coordinator: Andrzej Wieczorek
From 1.04.2001 to 30.03.2003

Partial order reductions in the automata approach to verification of timed systems: theory and implementation.
(in Polish: Opracowanie oraz implementacje metod redukcji częściowo-porządkowych w automatowej weryfikacji formalnej systemów z czasem)
No. 4 T11C 013 22
Coordinator: Wojciech Penczek
From 10.06.2002 to 10.12.2003

Semantic Interoperability in Agentspace.
[more details about project]
(in Polish: Semantyczna Interoperabilność w Przestrzeni Agentowej jako środek umożliwiający tworzenie dynamicznych organizacji, przedsiębiorstw i rynków)
No. 7 T11C 040 20
Coordinator: Stanisław Ambroszkiewicz
From 01.01.2001 to 31.12.2003.

Design, construction and verification of reconfigurable multi-agent systems.
(in Polish: Projektowanie, konstrukcja i weryfikacja rekonfigurowalnych systemów wieloagentowych).
No. 7T11C 006 20
Coordinator: Barbara Dunin-Kęplicz
From 1.01.2001 to 31.12.2003

An annotated on-line corpus of written Polish texts.
[more details about project]
(in Polish: Anotowany korpus pisanego języka polskiego z dostępem przez Internet (z uwzględnieniem zastosowań w inżynierii lingwistycznej))
No. 7 T11C 043 20
Coordinator: Adam Przepiórkowski
From 1.04.2001 to 31.03.2004

Methods and support tools for fine-grain parallelism in computer systems
(in Polish: Metody i narzędzia wspomagania równoległości drobnoziarnistej w systemach komputerowych)
No. 4 T11C 007 22
Coordinator: Marek Tudruj
From 15.06.2002 to 14.09.2004

Excess entropy for stochastic processes over various alphabets
(in Polish: Entropia nadwyżkowa jako teorioinformacyjna miara zależności
No. 1 P03A 045 28
Coordinator: Jan Mielniczuk
From 28.02.2005 to 27.02.2006

Grade multivariate analysis: further development of theory and software (with applications)
(in Polish: Gradacyjna analiza danych wielowymiarowych: rozwój teorii i oprogramowania z przykładami zastosowań)
No. 3 T11C 053 28
Coordinator: Elżbieta Pleszczyńska


Formulation and implementation of the universal distributed election algorithm using forward links
(in Polish:Opracowanie oraz implementacja uniwersalnego rozproszonego algorytmu elekcji wykorzystującego połączenia przekierowujące)
No. 3 T11C 006 27
Coordinator: Wojciech Penczek
From 15.10.2004 to 14.10.2005

Information Extraction from Polish Free Text
(in Polish:Opracowanie narzędzi do ekstrakcji informacji z tekstów w języku polskim)
No. 3 T11C 007 27
Coordinator: Agnieszka Mykowiecka
From 20.10.2004 to 19.09.2007

Maps and intelligent navigation in WWW using Bayesian networks and artificial immune systems
(in Polish: Mapy i inteligentna nawigacja w sieci WWW z wykorzystaniem sieci bayesowskich i systemów immunologicznych)
No. 4 T11C 026 25
Coordinator: Mieczysław Kłopotek
From 7.11.2003 to 6.11.2005

Homer system: conversion of Braille format to typeset form
(in Polish: System Homer: do konwersji formatów brajlowskich na postać druku typograficznego)
No. 4 T11C 023 25
Coordinator: Włodzimierz Wysocki
From 25.09.2003 to 24.09.2005


COMPLETED EUROPEAN GRANTS


COST247 (European Co-operation in the field of Scientific and Technical Research Action 247) Verification and validation Methods for formal descriptions

Participating countries: Belgium, Czech Republic, Denmark, Finland, France, Germany, Greece, Hungary, Italy, Netherland, Poland, Slovenia, Spain, Turkey, UK.
Chairman: Prof. Kemal Inan (Middle East Technical University, Ankara)
Polish Coordinators:: Piotr Dembiński (IPI PAN), Marek Sredniawa (Institute of Telecommunications of the Warsaw University of Technology)
From 1.12.1993 to 1.12.1996

Copernicus Research Project COP62: MULTIMEDIA: High speed communication systems supporting multimedia applications

Supported by European Commission
Coordinator: Institut Nationale des Telecommunications (INT), Evry, France (Stanislaw Budkowski),
Partners: Alcatel Poland, IPI PAN, INT-France, Politechnic University of Bucharest-Romania, University of Transport and Communication in Zilina-Slovakia, Warsaw University of Technology-Poland
IPI PAN Coordinator: Piotr Dembinski
From 1.03.1995 to 28.02.1997

MEDICIS: Methodology for the Development of Computer Systems Specification

No CIPDT295050/CHRXCT920054
Supported by European Union, within HCM and PECO'94 Programmes
The project coordinator was prof. Jean-Pierre Finance, Nancy; the team at IPI PAN was led by Andrzej Tarlecki
The project was coordinated by Centre National de la Recherche Scientifique (Nancy, France); the project sites included teams in Barcelona (Spain), Lisbon (Portugal), Saarbrucken, Berlin and Munich (Germany), Louvain (Belgium), London and Edinburgh (U.K.), Genova (Italy), and at Warsaw University and Institute of Computer Science of the Polish Academy of Sciences (Warsaw, Poland)
From 1.11.1993 to 30.04.1996

EuroFoCS: European Institute for Foundations of Computer Science

No ERBCHRXCT930081/ERBCIPDCT940925
Supported by European Union, within HCM and PECO'94 Programmes
The project coordinator was prof. Gordon Plotkin, Edinburgh; the team at IPI PAN was led by Andrzej Tarlecki
The project was coordinated by University of Edinburgh (U.K.); the project sites included teams in Amsterdam (The Netherlands), Cambridge, Edinburgh and London (U.K.), Paris and Sophia-Antipolis (France), Pisa (Italy), and Warsaw (Poland).
From 1.06.1995 to 31.05.1997

COMPASS: A Comprehensive Algebraic Approach to System Specification and Development

No ESPRIT/WG6112
Supported by European Commission as a Basic Research Working Group 6112 in the ESPRIT Programme.
Head of the Polish team: Andrzej Tarlecki
From 1.10.1992 to 30.03.1996

Copernicus Network: Stimulation of European Industry through High Performance Computing

No CP 94 0774
Supported by European Commission
Head: prof. Derek Wilson, University of Westminster, London
Coordinator: Marek Tudruj
From 1 April 1995 to 1 April 97

CNRS/PAS: Foundations of Behavioural Specification and Development of Software Systems

Cooperation project within Franco-Polish cooperation programme CNRS-PAS,
Head of the Polish team: Andrzej Tarlecki
From 1.01.1996 to 31.12.1998.

Cooperative Research in Information Technology CRIT 2
From 15.10.1997 to 14.10.2000

Workpackage Acronym: ICS-AI
Title: EROS: Evolutionary Real-time Optimisation System for Ecological Power Control
Coordinator Zbigniew Michalewicz

Workpackage Acronym: ICS-CS
Title: Design and Analysis of Cooperating Distributed Systems
Coordinator Wojciech Penczek

Workpackage Acronym: ICS-FAI
Title: Elaboration of Standard Internet Tools for Integration of Databases, Knowledge Bases and Reasoning Systems
Coordinator Maciej Michalewicz

Workpackage Acronym: ICS-MM
Title: An HPSG Treebank for Polish
Coordinator Leonard Bolc

Workpackage Acronym: ICS-ML
Title: Optimisation of Compression Algorithms for Medical Images
Coordinator Wladyslaw Skarbek

INCO - Copernicus Project 977124 IDEMCOP (Integrated Design Methodology of Communication Protocols Based on Formal Specification Estelle

Polish Coordinator: Piotr Dembinski
1.10.1998-30.09.2000

AgentLink II: Continuation of a Network of Excellence for Agent Based Computing
IST-1999-29003
Coordinator: Stanisław Ambroszkiewicz
From 2000 to 2002

ICONS: Automated Multilingual Integration with Information and Services
IST-2000-25033
Coordinator: Kazimierz Subieta
From 2001 to 2004

ALFEBIITE: A Logical Framework for Ethical Behaviour between Infoinhabitants in the Information Trading Economy
IST-1999-10298
Coordinator: Barbara Dunin-Kęplicz
From 2001 to 2003

KDNet: European Knowledge Discovery Network of Excellence
IST-2001-33086
Coordinator: Jacek Koronacki
to 2004
      Research Projects Info  Back to Research Projects Information.    
  webmaster@IPIPAN.Waw.PL Copyright by ICS PAS - 2003