| Obliczenia bazujące na percepcji. |
| Nazwa angielska |
Perception Based Computing |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
2011/01/D/ST6/06981 |
| Kierownik projektu |
dr Piotr Tomasz Wasilewski |
| Wykonawcy |
Andrzej Skowron, Witold Kinsner |
| Daty |
2011-12-07 - 2016-12-06 |
| Słowa kluczowe |
zbiory przybliżone,obliczenia granularne, formalna analiza pojęć, obliczenia interaktywne, obliczenia bazujące na percepcji, systemy informacyjne, atrybuty percepcyjne, atrybuty sensoryczne,atrybuty działania, aproksymacja pojęć złożonych, approksymacja ontologii |
|
Wprowadził(a): Joanna Biernacka |
|
| Cryptographic Protocols Provably-Secure Against Physical Attacks |
| Nazwa angielska |
Cryptographic Protocols Provably-Secure Against Physical Attacks |
| Finansowany przez |
Fundacja na rzecz Nauki Polskiej |
| Finansowany przez (ang.) |
Foundation for Polish Science |
| Nr |
WELCOME/2010-4/2 |
| Kierownik projektu |
dr Stefan Dziembowski |
| Wykonawcy |
dr Stefan Dziembowski |
| Daty |
2011-06-01 - 2015-05-31 |
|
Wprowadził(a): Joanna Biernacka |
|
| EMBO Instalation Grant |
| Nazwa angielska |
EMBO Instalation Grant |
| Finansowany przez |
EMBO |
| Finansowany przez (ang.) |
EMBO |
| Nr |
No. 2354 |
| Kierownik projektu |
dr Bartosz Wilczyński |
| Daty |
2012-01-20 - 2015-01-19 |
|
Wprowadził(a): Joanna Biernacka |
|
| Integracyjna biologia systemów: wnioskowanie z heterogenicznych danych |
| Nazwa angielska |
Integrative systems biology: infering from heterogeneous data |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
2011/01/B/NZ2/00864 |
| Kierownik projektu |
dr hab. Anna Barbara Gambin |
| Wykonawcy |
dr Tomasz Burzykowski, dr hab. Paweł Stankiewicz, dr Przemysław Biecek, dr Norbert Dojer, mgr Piotr Dittwald, mgr Mikołaj Rybiński, mgr Maciej Sykulski, mgr Agata Charzyńska |
| Daty |
2011-12-27 - 2014-12-26 |
| Słowa kluczowe |
Genetyka molekularna, genomika, proteomika, bioinformatyka, biologia systemowa, epidemiologia molekularna. |
|
Wprowadził(a): Joanna Biernacka |
|
| Zaawansowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ontologii. |
| Nazwa angielska |
Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Checking of Ontologies |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
2011/01/B/ST6/02759 |
| Kierownik projektu |
dr hab. Anh Linh Nguyen |
| Daty |
2011-12-07 - 2014-12-06 |
| Słowa kluczowe |
ontologie, OWL, logiki deskrypcyjne,automatyczne wnioskowanie |
|
Wprowadził(a): Joanna Biernacka |
|
| Narzędzia, algorytmy i modele w badaniu wspólnej ewolucji gatunków, genów i białek. |
| Nazwa angielska |
Tools, algorithms and models in the study of common evolution of species, genes and proteins |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
2011/01/B/ST6/02777 |
| Kierownik projektu |
dr Paweł Piotr Górecki |
| Wykonawcy |
Jerzy Tiuryn, Oliver Eulenstein |
| Daty |
2011-12-07 - 2014-12-06 |
| Słowa kluczowe |
ewolucja, duplikacja genu,strata genu,model drzew uzgadniających, metagenomika |
|
Wprowadził(a): Joanna Biernacka |
|
| Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych. |
| Nazwa angielska |
Development of rule query languages applied in intelligent systems |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
2011/01/B/ST6/02769 |
| Kierownik projektu |
prof. dr hab. Andrzej Piotr Szałas |
| Wykonawcy |
Barbara Dunin-Kęplicz, Anh Linh Nguyen |
| Daty |
2011-12-07 - 2014-12-06 |
| Słowa kluczowe |
regułowe języki zapytań, systemy inteligentne, systemy wieloagentowe, Semantyczny Internet |
|
Wprowadził(a): Daniel Adamiak |
|
| Całościowe przewidywanie kooperatywnych elementów regulatorowych w genomach eukariotycznych.. |
| Nazwa angielska |
Comprehensive prediction of cooperative regulatory elements in eukaryotic genomes. |
| Finansowany przez |
Narodowe Centrum Nauki Kraków |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
2011/03/N/NZ2/03177 |
| Kierownik projektu |
mgr Aleksander Jankowski |
| Wykonawcy |
prof.dr hab. Jerzy Tiuryn |
| Daty |
2012-09-18 - 2014-09-17 |
| Słowa kluczowe |
czynniki transkrypcyjne, kooperatywne wiązanie, specyficzność dla typów komórek, obszary regulatorowe, otwartość chromatyny, DNase-seq, modyfikacje epigenetyczne. |
|
Wprowadził(a): Joanna Biernacka |
|
| The Expressiveness of Modal Fixpoint Logics. |
| Nazwa angielska |
The Expressiveness of Modal Fixpoint Logics. |
| Finansowany przez |
Fundacja na rzecz Nauki Polskiej |
| Finansowany przez (ang.) |
Fundation for Polish Science |
| Nr |
HOMING PLUS/2012-5/1 |
| Kierownik projektu |
dr Alessandro Facchini |
| Daty |
2012-09-01 - 2014-08-31 |
|
Wprowadził(a): Joanna Biernacka |
|
| Graph within graphs. Algorithmic and combinatorial aspects of containment relations in graphs. |
| Nazwa angielska |
Graph within graphs. Algorithmic and combinatorial aspects of containment relations in graphs. |
| Finansowany przez |
Fundacja na rzecz Nauki Polskiej |
| Finansowany przez (ang.) |
Fundation for Polish Science |
| Nr |
HOMING PLUS/2011-4/8 |
| Kierownik projektu |
dr Marcin Kamiński |
| Daty |
2012-07-04 - 2014-06-30 |
|
Wprowadził(a): Joanna Biernacka |
|
| Nowe modele automatów. |
| Nazwa angielska |
New models of automata. |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
N N206 567840 |
| Kierownik projektu |
dr hab. Sławomir Grzegorz Lasota |
| Wykonawcy |
prof. dr hab. Damian Niwiński, dr hab. Mikołaj Bojańczyk, dr Filip Murlak, dr Eryk Kopczyński, mgr Paweł Parys |
| Daty |
2011-05-26 - 2014-05-15 |
| Słowa kluczowe |
metody formalne,teoria automatów,języki regularne,procesy bezkontenstowe,automaty na słowach z danymi,automaty ze stosem wyższego rzędu,złożoność zapytań bazodanowych. |
|
Wprowadził(a): Joanna Biernacka |
|
| Algorytmy on-linew modelach stochastycznych. |
| Nazwa angielska |
Online Algorithms for Stochastic Models. |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
N N206 567940 |
| Kierownik projektu |
dr Marcin Ireneusz Mucha |
| Wykonawcy |
mgr Marek Cygan, dr hab. Piotr Sankowski |
| Daty |
2011-04-20 - 2014-04-19 |
| Słowa kluczowe |
algorytmy on-line, modele stochastyczne, aproksymacja |
|
Wprowadził(a): Joanna Biernacka |
|
| Wybrane problemy współczesnej algorytmiki |
| Nazwa angielska |
Selected problems of modern algorithmics |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
N N206 566740 |
| Kierownik projektu |
prof. dr hab. Wojciech Rytter |
| Wykonawcy |
prof. dr hab.Krzysztof Diks, prof. dr hab.Wojciech Plandowski, dr hab. Mirosław Kowaluk |
| Daty |
2011-04-20 - 2014-04-19 |
| Słowa kluczowe |
agorytmika, złożoność obliczeniowa, kombinatoryka słów, grafy geometryczne, inżynieria algorytmiczna |
|
Wprowadził(a): Joanna Biernacka |
|
| Złożoność parametryzowana i algorytmy wykładnicze. |
| Nazwa angielska |
Parameterized aomplexity and moderately exponential-time algorithms. |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
N N206 567140 |
| Kierownik projektu |
dr hab. Łukasz Kowalik |
| Wykonawcy |
mgr Marek Cygan, mgr Marcin Pilipczuk, dr Jakub Wojtaszczyk |
| Daty |
2011-04-20 - 2014-04-19 |
| Słowa kluczowe |
problemy NP-trudne, złożoność parametryzowana, algorytmy dokładne |
|
Wprowadził(a): Joanna Biernacka |
|
| Analiza strukturalna i predykcja modułów cis-regulatorowych w genomach wyższych eukariotów. |
| Nazwa angielska |
Structural analysis and prediction of cis-regulatory modules in genomes of higher eukaryotes. |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
N N519 652740 |
| Kierownik projektu |
dr Norbert Dojer |
| Wykonawcy |
prof.gr hab. Jerzy Tiuryn, dr inż. Przemysław Biecek, dr Bartosz Wilczyński, dr Michał Dąbrowski |
| Daty |
2011-04-15 - 2014-04-14 |
| Słowa kluczowe |
moduły cis-regulatorowe,regulacja ekspresji genów,czynniki transkrypcyjne |
|
Wprowadził(a): Joanna Biernacka |
|
| Analiza i opracowanie metod eksploracji procesów w oparciu o algorytmy szkieletowe. |
| Nazwa angielska |
Analysis and Development of Process Mining Methods Based on Skeletal Algorithms |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
2011/01/N/ST6/02752 |
| Kierownik projektu |
mgr Adam Paweł Przybyłek |
| Wykonawcy |
Andrzej Tarlecki- opiekun naukowy |
| Daty |
2011-12-15 - 2013-12-14 |
| Słowa kluczowe |
metody ewolucyjne,eksploracja procesów, złożoność opisowa |
|
Wprowadził(a): Joanna Biernacka |
|
| Expressive Power of Tree Logics (SOSNA) |
| ERC Starting Grant |
| Finansowany przez |
European Research Council |
| Nr |
239850 |
| Kierownik projektu |
dr hab. Mikołaj Bojańczyk |
| Daty |
2009-11-01 - 2013-10-31 |
|
Wprowadził(a): Piotr Panek |
|
| Cryptography on Non-Trusted Machines |
| Nazwa angielska |
Crypography on Non-Trusted Machines |
| Finansowany przez |
ERC |
| Finansowany przez (ang.) |
ERC |
| Nr |
CNTM |
| Kierownik projektu |
dr Stefan Dziembowski |
| Koordynator |
dr Stefan Dziembowski |
| Wykonawcy |
mgr. Konrad Dumoga, mgr. Michał Zając, mgr. Maciej Obremski, mgr. Tomasz Kazana |
| Daty |
2008-11-02 - 2013-10-31 |
|
Wprowadził(a): Joanna Biernacka |
|
| Interactive Computations in Layered Granular Networks |
| Nazwa angielska |
Interactive Computations in Layered Granular Networks |
| Finansowany przez |
Fundacja na rzecz Nauki Polskiej |
| Finansowany przez (ang.) |
Foundation for Polish Science |
| Nr |
HOMING PLUS/20111-3/12 |
| Kierownik projektu |
dr Piotr Wasilewski |
| Daty |
2011-09-01 - 2013-08-31 |
|
Wprowadził(a): MIMUW webmaster |
|
| Scalable Self-Managed Point-to-Point Routing for the Internet of Things Applications |
| Nazwa angielska |
Scalable Self-Managed Point-to-Point Routing for the Internet of Things Applications |
| Finansowany przez |
Fundacja na rzecz Nauki Polskiej |
| Finansowany przez (ang.) |
Foundation for Polish Science |
| Nr |
HOMING PLUS/2010-2/4 |
| Kierownik projektu |
dr Konrad Iwanicki |
| Daty |
2011-07-01 - 2013-06-30 |
|
Wprowadził(a): MIMUW webmaster |
|
| Zaawansowane obliczenia w arkuszach kalkulacyjnych |
| Nazwa angielska |
Advanced computations in spreadsheets |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Finansowany przez (ang.) |
National Science Centre Kraków |
| Nr |
N N516473140 |
| Kierownik projektu |
dr hab. Jerzy Paweł Tyszkiewicz |
| Wykonawcy |
dr Jacek Sroka |
| Daty |
2011-05-26 - 2013-05-25 |
| Słowa kluczowe |
arkusz kalkulacyjny, SQL, bazy danych, optymalizacja, dane semistrukturalne, audyt, czyszczenie danych |
|
Wprowadził(a): Joanna Biernacka |
|
| Computational modeling of transcription regulation in the context of chromatin dynamics |
| Nazwa angielska |
Computational modeling of transcription regulation in the context of chromatin dynamics |
| Finansowany przez |
Fundacja na rzecz Nauki Polskiej |
| Finansowany przez (ang.) |
Foundation for Polish Science |
| Nr |
HOMING PLUS/2010-2/16 |
| Kierownik projektu |
dr Bartosz Wilczyński |
| Daty |
2011-05-01 - 2013-04-30 |
|
Wprowadził(a): MIMUW webmaster |
|
| Nebulostore: Peer-to-Peer Storage System |
| Nazwa angielska |
Nebulostore: Peer-to-Peer Storage System |
| Finansowany przez |
Fundacja na rzecz Nauki Polskiej |
| Finansowany przez (ang.) |
Foundation for Polish Science |
| Nr |
HOMING PLUS/2010-2/13 |
| Kierownik projektu |
dr Krzysztof Rządca |
| Daty |
2011-05-01 - 2013-04-30 |
|
Wprowadził(a): MIMUW webmaster |
|
| Procesy bezkontekstowe: teoria, algorytmy, zastosowania. |
| Nazwa angielska |
Context-free processes: theory, algorithms, applications. |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Nr |
N N206 568640 |
| Kierownik projektu |
dr hab. Sławomir Grzegorz Lasota (promotorski - Czerwiński) |
| Daty |
2011-04-20 - 2013-04-19 |
| Słowa kluczowe |
procesy współbieżne,algebra procesów,procesy bezkontekstowe,przemienne procesy bezkontekstowe,równoważność bisymulacyjna. |
|
Wprowadził(a): MIMUW webmaster |
|
| Games for Design and Verification (GAMES) |
| ESF Research Networking Programme. As computing systems become larger, more complex, and increasingly distributed and interactive, there is a pressing need for formal methods that guarantee their reliability, correctness, and efficiency. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. |
| Finansowany przez |
European Science Foundation |
| Nr |
|
| Kierownik projektu |
Erich Grädel, RWTH Aachen, Niemcy |
| Koordynator |
dr hab. Damian Niwiński, prof. UW |
| Wykonawcy |
dr Mikołaj Bojańczyk, dr hab. Sławomir Lasota |
| Daty |
2008-03-01 - 2013-03-31 |
| Słowa kluczowe |
games, logic and automata, synthesis, verification, reactive systems |
|
Wprowadził(a): MIMUW webmaster |
|
| Specyfikacja i weryfikacja systemów oprogramowania – od teorii do praktyki |
| Nazwa angielska |
Specyfication and weryfication of software systems from theory to practice |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N206 493138 |
| Kierownik projektu |
prof. dr hab. Andrzej Tarlecki |
| Daty |
2010-03-29 - 2013-03-28 |
| Słowa kluczowe |
logika, specyfikacja, weryfikacja oprogramowania |
|
Wprowadził(a): MIMUW webmaster |
|
| Quering and Managing Navigational Databases |
| Nazwa angielska |
Quering and Managing Navigational Databases |
| Finansowany przez |
Fundacja na rzecz Nauki Polskiej |
| Finansowany przez (ang.) |
Foundation for Polish Science |
| Nr |
Homing Plus/2010-1/11 |
| Koordynator |
dr Filip Murlak |
| Daty |
2010-10-01 - 2012-09-30 |
|
Wprowadził(a): MIMUW webmaster |
|
| Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX) |
| Nazwa angielska |
Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX) |
| Projekt międzynarodowy współfinansowany. Polska nazwa: Podstawy XML – Bezpieczne Przetwarzanie Danych Dynamicznych w Internecie. Seventh Framework Programme (FP7), Theme 3, Information and Communication Technologies. Collaborative project . http://lib.bioinfo.pl/projects/view/4717 |
| Finansowany przez |
Komisja Europejska |
| Finansowany przez (ang.) |
European Commission |
| Nr |
233599 |
| Koordynator |
dr hab. Mikołaj Bojańczyk |
| Daty |
2009-05-01 - 2012-06-30 |
|
Wprowadził(a): MIMUW webmaster |
|
| Modelowanie matematyczne i analiza algorytmiczna molekularnych szlaków sygnałowych |
| Nazwa angielska |
Mathematical modeling and algorithmic analysis of molecular signaling pathways |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N206 356036 |
| Kierownik projektu |
dr hab. Sławomir Lasota |
| Daty |
2009-05-21 - 2012-05-20 |
| Słowa kluczowe |
biologia systemów, weryfkacja modelowa, model checking, probabilistyczna weryfikacja modelowa, sieci regulacyjne, szlaki sygnałowe, metody bayesowskie, algorytmy MCMC, Taverna, obliczenia na gridach |
|
Wprowadził(a): MIMUW webmaster |
|
| Algorytmy aproksymacyjne o ograniczonych zasobach |
| Nazwa angielska |
Resource bounded approximation algorithms |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N206 355636 |
| Kierownik projektu |
dr Piotr Sankowski |
| Daty |
2009-05-21 - 2012-05-20 |
| Słowa kluczowe |
algorytmy aproksymacyjne, algorytmy dynamiczne, stochastyczna aproksymacja, algorytmy uniwersalne |
|
Wprowadził(a): MIMUW webmaster |
|
| Genomika porównawcza transpozonów roślinnych |
| Nazwa angielska |
Comparative genomics of plant transposons |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N301 013436 |
| Kierownik projektu |
dr hab. Anna Gambin |
| Daty |
2009-05-05 - 2012-05-04 |
| Słowa kluczowe |
genomika porównawcza, transpozony DNA, klastrowanie, modele Markowowskie, drzewa filogenetyczne, Fabaceae |
|
Wprowadził(a): MIMUW webmaster |
|
| Algorytmiczne problemy biologii systemów i bioinformatyki |
| Nazwa angielska |
Algorithmic problems of systems biology and bioinformatics |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N301 065236 |
| Kierownik projektu |
prof. dr hab. Jerzy Tiuryn |
| Daty |
2009-05-05 - 2012-05-04 |
| Słowa kluczowe |
sieci interakcji białek, sieci regulacji genów, ścieżki sygnałowe, obszary cis-regulatorowe, porównawcza genomika, porównawcza proteomika |
|
Wprowadził(a): MIMUW webmaster |
|
| Algorytmiczne i kombinatoryczne problemy związane ze zliczaniem powtórzeń w słowach. |
| Nazwa angielska |
Algorithmic and combinatorial problems related to enumerating repetitions in words. |
| Finansowany przez |
Narodowe Centrum Nauki w Krakowie |
| Nr |
N N206 568540 |
| Kierownik projektu |
prof. dr hab. Wojciech Rytter (promotorski - Jakub Radoszewski) |
| Daty |
2011-04-20 - 2012-04-19 |
| Słowa kluczowe |
algorytmy tekstowe,powtórzenia w słowach,kombinatoryka tekstów |
|
Wprowadził(a): MIMUW webmaster |
|
| Teoria typów w badaniach własności programów |
| Nazwa angielska |
Type theory for examination of program properties |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N206 355836 |
| Kierownik projektu |
prof. dr hab. Paweł Urzyczyn |
| Daty |
2009-05-25 - 2011-11-24 |
| Słowa kluczowe |
teoria typów, polimorfizm, logika intuicjonistyczna, systemy wspomagające dowodzenie, typy zależne |
|
Wprowadził(a): MIMUW webmaster |
|
| Teoria i praktyka obliczania najliczniejszych skojarzeń w grafach |
| Nazwa angielska |
Theory and practice of computing maximum matchings in graphs |
| Grant promotorski |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N206 373339 |
| Kierownik projektu |
prof. dr hab. Krzysztof Diks |
| Wykonawcy |
Piotr Stańczyk |
| Daty |
2010-10-28 - 2011-10-27 |
| Słowa kluczowe |
graf, graf kubiczny, najliczniejsze skojarzenie, złożoność algorytmów, obliczenia równoległe, procesory wielordzeniowe, procesory graficzne, architektura Cell |
|
Wprowadził(a): Joanna Biernacka |
|
| Applications of automata theory to processing XML documents |
| Finansowany przez |
Ministry of Science and Higher Education |
| Nr |
N N206 380037 |
| Kierownik projektu |
dr hab. Mikołaj Bojańczyk, prof. UW |
| Daty |
2009-10-15 - 2011-08-03 |
|
Wprowadził(a): MIMUW webmaster |
|
| Aproksymacyjne systemy wieloagentowe |
| Nazwa angielska |
Approximate multiagent systems |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N206 399334 |
| Kierownik projektu |
dr hab. Barbara Dunin-Kęplicz, prof. UW |
| Wykonawcy |
prof. dr hab. Andrzej Szałas, dr Linh Anh Nguyen, dr hab. Beata Konikowska |
| Daty |
2008-05-16 - 2011-05-15 |
| Słowa kluczowe |
systemy wieloagentowe, logiki modalne, logiki wielowartościowe, wnioskowanie aproksymacyjne |
|
Wprowadził(a): MIMUW webmaster |
|
| Formalizacja naiwnej teorii typów (promotorski) |
| Nazwa angielska |
Formalization of naive type theory (doctoral dissertation grant) |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N206 358536 |
| Kierownik projektu |
prof. dr hab. Paweł Urzyczyn |
| Wykonawcy |
Agnieszka Kozubek |
| Daty |
2009-05-21 - 2011-04-30 |
| Słowa kluczowe |
teoria typów, podstawy matematyki, Pure Type Systems, izomorfizm Curry'ego-Howarda |
|
Wprowadził(a): MIMUW webmaster |
|
| System automatycznej oceny bezpieczeństwa telefonów komórkowych |
| Nazwa angielska |
Automated Penetration Assessment System for Mobile Phones |
| Finansowany przez |
Samsung Electronics Polska Sp. z o.o. |
| Finansowany przez (ang.) |
Samsung Electronics Polska Sp. z o.o. |
| Nr |
DOC 279 |
| Koordynator |
prof. dr hab. Krzysztof Diks |
| Daty |
2009-12-16 - 2010-12-30 |
|
Wprowadził(a): MIMUW webmaster |
|
| System do testowania aplikacji w środowisku RCS |
| Nazwa angielska |
RCS Network Test Server |
| Finansowany przez |
Samsung Electronics Polska Sp. z o.o. |
| Finansowany przez (ang.) |
Samsung Electronics Polska Sp. z o.o. |
| Nr |
DOC 280 |
| Koordynator |
prof. dr hab. Krzysztof Diks |
| Daty |
2009-12-16 - 2010-12-30 |
|
Wprowadził(a): MIMUW webmaster |
|
| Adaptatywne symulacje w modelowaniu procesów decyzyjnych o wielkich rozmiarach na przykładzie gry GO (promotorski) |
| Nazwa angielska |
Adaptive simulations in modeling large decision processes with application to Go game (doctoral dissertation grant) |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N206 359236 |
| Kierownik projektu |
prof. dr hab. Krzysztof Diks |
| Wykonawcy |
Łukasz Lew |
| Daty |
2009-05-21 - 2010-09-26 |
| Słowa kluczowe |
proces decyzyjny, machine learning, sztuczna inteligencja, gra GO |
|
Wprowadził(a): MIMUW webmaster |
|
| Ewolucja sieci interakcji białko-białko (promotorski) |
| Nazwa angielska |
Evolution of protein-protein interaction networks ( doctoral dissertation grant ) |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
N N301 158935 |
| Kierownik projektu |
prof. dr hab. Jerzy Tiuryn |
| Wykonawcy |
Janusz Dutkowski |
| Daty |
2008-08-25 - 2010-07-11 |
| Słowa kluczowe |
sieci interakcji białko-białko, porównywanie sieci biologicznych, identyfikacja modułów funkcjonalnych, grafy losowe |
|
Wprowadził(a): Joanna Biernacka |
|
| Automata: from Mathematics to Applications (AutoMathA) |
| ESF Research Networking Programme |
| Finansowany przez |
European Science Foundation |
| Nr |
|
| Koordynator |
dr Mikołaj Bojańczyk |
| Daty |
2005-05-01 - 2010-05-31 |
| Słowa kluczowe |
automata, semigroups, formal grammars and languages, combinatorics on words, model checking |
|
Wprowadził(a): MIMUW webmaster |
|
| Złożone problemy algorytmiczne we współczesnej informatyce teoretycznej |
| Nazwa angielska |
Complex algorithmic problems in the modern theoretical computer science |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N 206 004 32/0806 |
| Kierownik projektu |
prof. dr hab. Wojciech Rytter |
| Wykonawcy |
dr hab. Wojciech Plandowski, dr Anna Gambin, dr Mirosław Kowaluk |
| Daty |
2007-05-30 - 2010-05-29 |
| Słowa kluczowe |
projektowanie i analiza algorytmów, złożoność obliczeniowa, struktury danych |
|
Wprowadził(a): MIMUW webmaster |
|
| Zagadnienia semantyczne w logikach nieklasycznych stosowanych do wnioskowania aproksymacyjnego |
| Nazwa angielska |
Semantical considerations in non-classical logics applied in approximate reasoning |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N206 399134 |
| Kierownik projektu |
prof. dr hab. Andrzej Szałas |
| Daty |
2008-05-05 - 2010-05-04 |
| Słowa kluczowe |
wnioskowanie aproksymacyjne, teoria dualności, teoria korespondencji, logika II rzędu, logiki nieklasyczne |
|
Wprowadził(a): MIMUW webmaster |
|
| Zaawansowane problemy teorii automatów |
| Nazwa angielska |
Advanced problems in automata theory |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N206 008 32/0810 |
| Kierownik projektu |
dr hab. Damian Niwiński, prof. UW |
| Wykonawcy |
dr S. Lasota, dr M. Bojańczyk |
| Daty |
2007-05-04 - 2010-05-03 |
|
Wprowadził(a): MIMUW webmaster |
|
| Narzędzia i techniki rozszerzające modularność i siłę wyrazu języków obiektowych (promotorski) |
| Nazwa angielska |
Tools and techniques for extending modularity and expressiveness of object-oriented languages (doctoral dissertation grant) |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Finansowany przez (ang.) |
Ministry of Science and Higher Education |
| Nr |
N N206 376334 |
| Kierownik projektu |
prof. dr hab. Paweł Urzyczyn |
| Wykonawcy |
Jarosław Kuśmierek |
| Daty |
2008-05-16 - 2010-04-15 |
| Słowa kluczowe |
programowanie obiektowe, inicjalizacja obiektów, konstruktory, rachunki formalne, wersjonowanie bibliotek |
|
Wprowadził(a): MIMUW webmaster |
|
| Graph colorings and their applications |
| Program Polonium |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
|
| Kierownik projektu |
dr Łukasz Kowalik, dr Riste Škrekovski |
| Koordynator |
dr Łukasz Kowalik |
| Daty |
2008-01-01 - 2009-12-31 |
| Słowa kluczowe |
graph coloring |
|
Wprowadził(a): Piotr Panek |
|
| Teoria programowania w logikach modalnych i deskrypcyjnych |
| Nazwa angielska |
A theory of logic programming in modal and description logics |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
N206 3982 33 |
| Kierownik projektu |
dr Anh Linh Nguyen |
| Daty |
2007-11-28 - 2009-11-27 |
|
Wprowadził(a): Joanna Biernacka |
|
| Zastosowanie współczesnej genomiki funkcjonalnej i bioinformatyki do charakteryzacji i tworzenia modeli procesów biologicznych o istotnym znaczeniu w medycynie i rolnictwie |
| Nazwa angielska |
An application of functional genomics and bioinformatics to characterization and construction of models of biological processes which are essential for medicine and agriculture. |
| projekt badawczy zamawiany z Instytutem Biochemii i Biofizyki Polskiej Akademii Nauk w Warszawie |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
PBZ-MNiI-2/1/2005 |
| Kierownik projektu |
dr Marta Prymakowska-Bosak (IBB PAN) |
| Wykonawcy |
prof. Jerzy Tiuryn (UW) |
| Daty |
2006-10-12 - 2009-10-11 |
|
Wprowadził(a): MIMUW webmaster |
|
| Odporność danych skompresowanych na błędy – wybrane zagadnienia (promotorski) |
| Nazwa angielska |
Fault tolerance of compressed data - selected topice (doctoral dissertation grant ) |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
N N206 376134 |
| Kierownik projektu |
dr hab. Wojciech Plandowski, prof. UW |
| Wykonawcy |
Marek Biskup |
| Daty |
2008-03-18 - 2009-09-01 |
| Słowa kluczowe |
kod Huufmana, słowo synchronizujące, korekcja błędów, kompresja, odporność na błędy |
|
Wprowadził(a): Joanna Biernacka |
|
| MOBIUS - Mobility, Ubiquity and Security |
| Finansowany przez |
European Community 6th Framework Programme |
| Nr |
IST - 15905 |
| Kierownik projektu |
Gilles Barthe, Imdea Software, Hiszpania |
| Koordynator |
prof. dr hab. Andrzej Tarlecki |
| Wykonawcy |
dr Jacek Chrząszcz, dr Aleksy Schubert, dr Daria Walukiewicz-Chrząszcz, mgr Patryk Czarnik, mgr Jędrzej Fulara i mgr Krzysztof Jakubczyk |
| Daty |
2005-09-01 - 2009-08-31 |
|
Wprowadził(a): MIMUW webmaster |
|
| SENSORIA - Software Engineering for Service-Oriented Overlay Computers |
| Finansowany przez |
European Community 6th Framework Programme |
| Nr |
016004 |
| Kierownik projektu |
R. Balleisen, LUDWIG-MAXIMILIANS UNIVERSITAET MUENCHEN |
| Koordynator |
Prof. dr hab. Andrzej Tarlecki |
| Daty |
2005-09-01 - 2009-08-31 |
|
Wprowadził(a): MIMUW webmaster |
|
| Wzorce sekwencyjne w tekstach: wydobywanie i analiza (promotorski) |
| Nazwa angielska |
Sequential patterns in texts: extraction and analysis ( doctoral dissertation grant ) |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
N N206 400234 |
| Kierownik projektu |
dr hab. Jerzy Tyszkiewicz, prof. UW |
| Wykonawcy |
Wojciech Jaworski |
| Daty |
2008-05-13 - 2009-08-15 |
| Słowa kluczowe |
sztuczna inteligencja, natural language processing, information extraction, information retrieval, natural language modeling, data mining |
|
Wprowadził(a): Joanna Biernacka |
|
| Nowe techniki w algorytmach grafowych: algorytmy dokladne dla problemów NP-trudnych, grafy rzadkie i ich zastosowania |
| Nazwa angielska |
New techniques for graph algorithms: exact algorithms for NP-hard problems, sparse graphs and their applications |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
N206 005 32/0807 |
| Kierownik projektu |
dr Łukasz Kowalik |
| Daty |
2007-05-04 - 2009-05-03 |
|
Wprowadził(a): Joanna Biernacka |
|
| Półpozycyjna determinacja gier nieskończonych (promotorski) |
| Nazwa angielska |
Half-positional determinacy of infinite games (doctoral dissertation grant ) |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
N206 002 32/0472 |
| Kierownik projektu |
dr hab. Damian Niwiński, prof. UW |
| Wykonawcy |
Eryk Kopczyński |
| Daty |
2007-04-25 - 2008-10-28 |
| Słowa kluczowe |
gry nieskończone, pozycyjna determinacja, teoria automatów, gry parzystości, gry Ehrenfeuchta- Mycielskiego, systemy interakcyjne, języki formalne |
|
Wprowadził(a): Joanna Biernacka |
|
| Algorytmy rozproszone odporne na błędy (promotorski) |
| Nazwa angielska |
Fault tolerant distributed algorithms ( doctoral dissertation grant ) |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
N206 001 32/0092 |
| Kierownik projektu |
dr hab. Damian Niwiński, prof. UW |
| Wykonawcy |
Michał Strojnowski |
| Daty |
2007-04-25 - 2008-10-24 |
| Słowa kluczowe |
algorytmy rozproszone, algorytmy adaptywne, odporność na błędy, ekspandery, konsensus, gubienie komunikatów, dolne ograniczenia, złożoność komunikacyjna |
|
Wprowadził(a): Joanna Biernacka |
|
| Modele i języki dla specyfikacji przepływow danych (promotorski) |
| Nazwa angielska |
Models and languages for specifying dataflows ( doctoral dissertation grant ) |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
N206 007 32/0809 |
| Kierownik projektu |
dr hab. Jerzy Tyszkiewicz, prof. UW |
| Wykonawcy |
Jacek Sroka |
| Daty |
2007-04-25 - 2008-10-24 |
|
Wprowadził(a): Joanna Biernacka |
|
| Algorytmiczne i obliczeniowe problemy bioinformatyki |
| Nazwa angielska |
Algorithmic and computational problems of bioinformatics |
| Zamierzamy prowadzić badania w nastepujących trzech tematach: Proteomika, Sieci regulacji genomów, Teoria ewolucji. |
| Finansowany przez |
Ministerstwo Nauki i Informatyzacji |
| Nr |
3 T11 021 28 |
| Kierownik projektu |
prof. dr hab. Jerzy Tiuryn |
| Wykonawcy |
dr Anna Gambin, dr Norbert Dojer, dr Paweł Górecki, mgr Joanna Reda, dr Bartosz Wilczyński, dr Damian Wójtowicz, dr hab. Michał Dadlez, prof. dr hab. Andrzej Jerzmanowski, prof. Piotr Słonimski. |
| Daty |
2005-05-30 - 2008-05-29 |
| Słowa kluczowe |
drzewa filogenetyczne; łańcuchy Markowa; spektrometria mas; klastering; sieci regulacyjne |
|
Wprowadził(a): Joanna Biernacka |
|
| Rozstrzygalne hierarchie regularnych języków drzew (promotorski) |
| Nazwa angielska |
Decidable hierarchies of regular tree languages ( doctoral dissertation grant ) |
| Zasadniczym celem projektu jest opracowanie matematycznych podstaw metodologii upraszczania specyfikacji systemów współbieznych. Proponujemy podejście za pomocą automatów na drzewach niskończonych. W tym ujęciu złożonośc mierzymy za pomocą alternacji pozytywnych i negatywnych stanów pojawiających się podczas automatu, co ma odzwierciedlenie w koncepcji indeksu automatu. Jednym z kluczowych problemów jest tu kwestia znajdowania równoważnego automatu o minimalnym indeksie.Alternatywnej metody opisu złożoności języków nieskończonych drzew dostarcza deskryptywna teoria mnogości i topologia. Topologiczna złożonośc języka odzwierciedlona jest w jego położeniu w hierarchii borelowskiej/rzutowej. Wiadomo, że dla regularnych języków nieskończonych słów złożoność topologiczna jest blisko związana z minimalną wielkością indeksu deterministycznego automatu rozpoznającego język. Podobne związki dla drzew istnieją, nie są jednak jeszcze wystarczająco poznane. Podejmiemy próbę efektywnego opisu klas hierarchii borelowskiej/rzutowej dla regularnych języków nieskończonych drzew i jej związków z pojęciem indeksu. Hierarchia borelowska/rzutowa, mimo istotnych związków z indeksem, nie posiada stosownej precyzji. Baradziej subtelnych metod porównywania złożoności regularnych języków drzew dostarcza pojęcie ciągłych redukcji i związana z nim hierarchia Wadge'a. Wykorzystując to podejście Klaus Wagner uzyskał kompletny opis regularnych języków nieskończonych słów, co pozwala mieć nadzieję na powodzenie również w przypadku drzew. Zajmiemy sie zagadnieniem rozstrzygania istnienia ciągłych redukcji między zadaniami językami regularnymi oraz obliczaniem pozycji regularnych języków drzew w hierarchii Wadge'a. |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
N206 005 31/0881 |
| Kierownik projektu |
Dr hab. Damian Niwiński |
| Wykonawcy |
mgr Filip Murlak |
| Daty |
2006-10-18 - 2008-04-17 |
| Słowa kluczowe |
weryfikacja systemów współbieżnych, regularne języki drzew, automaty na nieskończonych drzewach, hierarchia indeksu, deskryptywna teoria mnogości, hierarchia borelowska/rzutowa, ciągłe redukcje, hierarchia Wadge'a, rozstrzygalność |
|
Wprowadził(a): Joanna Biernacka |
|
| Zastosowanie metod algebraicznych w algorytmicznej teorii grafów |
| Nazwa angielska |
Application of algebraic methods in algorithmic graph theory |
| Celem naukowym projektu jest rozwój metod i algorytmów algebraicznych oraz ich zastosowanie w algorytmicznej teorii grafów. |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
1 P03A 018 30 |
| Kierownik projektu |
dr Piotr Sankowski |
| Wykonawcy |
dr Piotr Sankowski |
| Daty |
2006-06-07 - 2008-02-06 |
| Słowa kluczowe |
algorytm, złożoność obliczeniowa, skojarzenia, metody algebraiczne, wyznacznik, algorytmy dynamiczne, domknięcie przechodnie, najkrótsze ścieżki. |
|
Wprowadził(a): Joanna Biernacka |
|
| Weryfikacja i zapytania dotyczące struktur z danymi |
| Nazwa angielska |
Verificatinon and queries in the presence of data values |
| projekt realizowany na podstawie umowy międzyrządowej o współpracy naukowej i naukowo-technicznej z Niemcami |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
BST-1129/UM |
| Kierownik projektu |
prof.dr Thomas Schwentick (Universitat Marburg Niemcy) |
| Koordynator |
dr Sławomir Lasota (UW) |
| Wykonawcy |
dr Mikołaj Bojańczyk, prof. Damian Niwiński, mgr Filip Murlak, mgr Givanni Conforti, mgr Volker Weber, dr Wim Martens |
| Daty |
2006-01-01 - 2007-12-31 |
|
Wprowadził(a): Joanna Biernacka |
|
| Typy, dowody i poprawne programy |
| Nazwa angielska |
Types, proofs and correct programs |
| program raealizowany na podstawie umowy międzyrządowej o współpracy naukowej i naukowo-technicznej z Francją POLONIUM |
| Finansowany przez |
Ministerstwo Nauki i Szkolnictwa Wyższego |
| Nr |
BST-1129/UM |
| Kierownik projektu |
prof. Jean-Pierre Jouannaud (LIX, Ecole Polytechnique, Francja) |
| Koordynator |
prof. Paweł Urzyczyn (UW) |
| Wykonawcy |
dr Jacek Chrząszcz, dr Aleksy Schubert, dr Daria Walukiewicz-Chrząszcz, mgr Patryk Czarnik, mgr Jarosław Kuśmierek, Gilles Dowek, Hugo Herbelin, Pierre Yves Strub, Christine Paulin, Jean-Christope Filliatre, Claude Marche |
| Daty |
2006-01-01 - 2007-12-31 |
|
Wprowadził(a): Joanna Biernacka |
|
| Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów |
| Nazwa angielska |
Reasoning about programs using tools based on type theory |
| Niektóre dziedziny aktywności ludzkiej wymagają, aby używane w nich oprogramowanie było szczególnie wysokiej jakości i zapewniało nadzwyczajne standardy bezpieczeństwa (np. oprogramowanie bankowych kart chipowych czy też oprogramowanie sterujące działaniem hamulców w nowoczesnych samochodach). Rozwijanie narzędzi komputerowo wspomaganego dowodzenia twierdzeń zmierza do systematycznych metod zapewniania jakości takiego oprogramowania. W naszych badaniach będziemy się skupiać na wzbogaceniu możliwośći stosowania systemu komputerowo wspomaganego dowodzenia Coq. Przewidujemy wykonanie w ramach projektu badań teoretycznych zapewniających solidne matematyczne podstawy prawidłowego działania wprowadzonych rozszerzeń. Będą stanowiły one fundament dla prac implementacyjnych zmierzających do udoskonaleń systemu Coq obejmujących glębsze przystosowanie Coqa do analizy programów w Javie i rozszerzenie zestawu taktyk dowodowych tego systemu. W naszych badaniach teoretycznych znaczące miejsce zajmą systemy przypisywania typów i ich zastosowanie w projektowaniu taktyk dowodzenia. |
| Finansowany przez |
Ministerstwo Nauki I Informatyzacji |
| Nr |
3 T11C 002 27 |
| Kierownik projektu |
Prof. dr hab. Paweł Urzyczyn |
| Wykonawcy |
dr Daria Walukiewicz-Chrząszcz, dr Aleksy Schubert, dr Jacek Chrząszcz, mgr Michał Gajda, mgr Patryk Czarnik; mgr Jarosław Kuśmierek |
| Daty |
2004-10-29 - 2007-10-28 |
| Słowa kluczowe |
wspomagane komputerowo dowodzenie twierdzeń, badanie poprawności oprogramowania, system Coq, rachunek lambda, rachunek konstrukcji, przepisywanie termów, programownaie funkcyjne i obiektowe |
|
Wprowadził(a): Joanna Biernacka |
|
| Typy w dowodzeniu i programowaniu (Types for Proofs and Programs). |
| Nazwa angielska |
Types for Proofs and Programs. |
| Przedmiotem projektu jest komputerowo wspomagane wnioskowanie formalne. Jest to dziedzina wyrastająca na gruncie logiki formalnej, mająca obecnie istotne zastosowanie dla weryfikacji systemów programistycznych. Przedmiotem badań jest rozwój technologii pragramowania i formalnego wnioskowania opartego na metodach teorii typów. Projekt ma na celu rozwój języków i narzędzi wnioskowania i stosowanie tej technologii w rozmaitych dziedzinach takich jak języki programowania, "certyfied software" i komputerowa formalizacja matematyki, a także dydaktyka matematyki. |
| Finansowany przez |
Komisja Europejska |
| Nr |
510996 |
| Kierownik projektu |
Prof. Jan Smith |
| Koordynator |
Prof. dr hab. Paweł Urzyczyn |
| Wykonawcy |
prof. Paweł Urczyczyn, prof. Jerzy Tiuryn, dr Aleksy Schubert, dr Daria Walukiewicz- Chrząszcz, dr Jacek Chrząszcz, Zdzisław Spławski |
| Daty |
2004-09-01 - 2007-08-30 |
|
Wprowadził(a): Joanna Biernacka |
|
| Modelowanie ewolucji genomów (promotorski) |
| Nazwa angielska |
Modeling genome evolution |
| Finansowany przez |
Ministerstwo Nauki i Informatyzacji |
| Nr |
3T11F 016 28 |
| Kierownik projektu |
prof. dr hab. Jerzy Tiuryn |
| Wykonawcy |
mgra Damian Wójtowicz |
| Daty |
2005-05-30 - 2007-05-29 |
| Słowa kluczowe |
ewolucja genomów, geny homologiczne, paralogi, procesy Markowa |
|
Wprowadził(a): Joanna Biernacka |
|
| Weryfikacja i zapytania dotyczące struktur z danymi |
| Nazwa angielska |
Verification and queries in the presence of data values |
| projekt w ramach polsko-francuskiego programu POLONIUM |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
|
| Kierownik projektu |
dr Luc Segoufin (GEMO INRIA, Francja) |
| Koordynator |
dr Sławomir Lasota |
| Wykonawcy |
dr hab. Damian Niwiński, dr Mikołaj Bojańczyk, mgr Filip Murlak |
| Daty |
2006-01-01 - 2007-01-01 |
|
Wprowadził(a): Joanna Biernacka |
|
| Games and Automata for Synthesis and Verification |
| Research Training Network |
| Finansowany przez |
Komisję Europejską (5th Framework Programme) |
| Nr |
501/77/283 |
| Kierownik projektu |
Erich Grädel |
| Koordynator |
Jerzy Tyszkiewicz |
| Wykonawcy |
Michal Bielecki, Mikolaj Bojanczyk, Stefan Dziembowski, Marcin Jurdzinski, Lukasz Krzeszczakowski, Slawomir Lasota, Damian Niwinski, Marcin Peczarski, Michal Przybylski, Aleksy Schubert, Pawel Tatarczak, Jerzy Tyszkiewicz |
| Daty |
2002-08-28 - 2006-12-31 |
|
Wprowadził(a): Aneta Sakowska |
|
| Matematyczne podstawy poprawności, bezpieczeństwa i efektywności rozproszonych systemów informatycznych |
| Nazwa angielska |
Mathematical foundations of correctness, security, and efficiency of distributed information systems |
| Systemy informatyczne złożone z wielu komponentów zorganizowanych w sieci, jak np. Ineternet, są dziś standardem technologicznym. Jednak projektowanie rozproszonych systemów informatycznych stawia przed ich twórcami wyzwania, jakie nie występowały w zagadnieniach konstruowania oprogramowania przeznaczonego do działania na pojedynczym komputerze. Intuicyjna ocena poprawności, a takżewielokrotne nawet testy są dalece niewystarczające. Informatyka teoretyczna wykształciła formalne metody weryfikowania własności systemów informatycznych, oparte na w szczególności na logice matematycznej, teorii automatów, teorii złożoności obliczeniowej, a także teorii gier gier i teorii informacji. W niniejszym projekcie stawiamy sobie za cel rozwijanie tych wątków teoretycznych, które prowadzą do usprawnienia konstrukcji i analizy rozproszonych systemów informatycznych.Naszymi badaniami mamy zamiar objąć trzy podstawowe postulaty dotyczące takich systemów:poprawność, bezpieczeństwo i efektywność. |
| Finansowany przez |
Ministerstwo Nauki i Informatyzacji |
| Nr |
4 T11C 042 25 |
| Kierownik projektu |
dr hab. Damian Niwiński |
| Wykonawcy |
dr hab. Jerzy Tyszkiewicz, dr Stefan Dziembowski, dr Sławomir Lasota, dr Aleksy Schubert, mgr Marcin Peczarski, mgr Mikołaj Bojańczyk, mgr Łukasz Krzeszczakowski, mgr Marcin Rychlik, mgr Michał Bielecki, mgr Sławomir Leszczyński |
| Daty |
2003-11-28 - 2006-11-27 |
| Słowa kluczowe |
bezpieczne obliczenia wielopodmiotowe, równoważność bisymulacyjna procesów, systemy czasu rzeczywistego, złożoność komunikacyjna, sieci Petriego, matematyczne podstawy weryfikacji, matematyczne podstawy kryptografii |
|
Wprowadził(a): Joanna Biernacka |
|
| Estymatory rozkładów prawdopodobieństwa występowania sekwencji aminokwasowej w uliniowieniu i ich zastosowanie do predykcji struktury trójwymiarowych bialek (promotorski) |
| Nazwa angielska |
Estimators of probability distributions of amino acids in a sequence alignment and an application to protein 3D structure prediction |
| Projekt jest częścią metody przewidywania struktury przestrzennej białek, zwanej metodą lokalnych deskryptorów strukturalnych. Metoda ta polega na analizie otoczenia aminokwasów w białkach. Takie lokalne otoczenia strukturalne nazwane zostały deskryptorami. Deskryptory są elementami budującymi białka. W przypadki białka o znanej sekwencji i nieznanej strukturze predykcja struktury zostaje zbudowana z istniejących deskryptorów, na podstawie odpowiedniości struktura- sekwencja, estymowanej spośród deskryptorów o podobnej strukturze przestrzennej. Celem projektu jest badanie tej opowiedniości: konstrukcja modelu pozwalającego estymować prawdopodobieństwo, że dana sekwencja może przyjąć lokalnie kształt badanej grupy deskryptorów podobnych strukturalnie. Dalszym celem jest przeprowadzenie testów modelu i użycie go do predykcji struktury białek. |
| Finansowany przez |
Ministerstwo Nauki I Informatyzacji |
| Nr |
3 T11F 006 27 |
| Kierownik projektu |
prof. dr hab. Jerzy Tiuryn |
| Wykonawcy |
mgr Szymon Nowkowski |
| Daty |
2004-10-20 - 2006-10-19 |
| Słowa kluczowe |
przewidywanie struktury przestrzennej białek, metoda lokalnych deskryptów, profil sekwencyjny |
|
Wprowadził(a): Joanna Biernacka |
|
| Analiza grup i sygnałów używanych do budowy struktury białek z lokalnych deskryptorów (promotorski) |
| Nazwa angielska |
An analysis of groups and signals which are used in protein structure composition from local descriptors |
| Projekt związany jest z nowatorską metodą przewidywania struktury przestrzennej białek, zwaną metodą lokalnych deskryptorów. W metodzie tej analizowane są lokalne otoczenia przestrzenne wszystkich aminokwasów we wszystkich białakach o znanej strukturze- tworzą one składające się z kilku frahmentów łańcucha białkowego deskryptozy. Następnie w grupach podobnych strukturalnie deskryptorów poszukiwane są pewne sekwencje regularności, czyli sygnały. Pierwszym celem projektu stworzenie narzędzia pozwalającego w zautomatyzowany sposób przewidywać strukturę dowolnego białka, poprzez jej "składanie" z deskryptorów reprezentujących grupy: grupy przypisywane są do pewnych fragmentów sekwencji białka dzięki sygnałom. Drugim- stworzenie środowiska pozwalającego automatycznie mierzyć jakość grup i sygnałów. |
| Finansowany przez |
Ministerstwo Nauki i Informatyzacji |
| Nr |
3 T11F 017 26 |
| Kierownik projektu |
prof. dr hab. Jerzy Tiuryn |
| Wykonawcy |
mgr Michał Drabikowski |
| Daty |
2005-04-01 - 2006-03-31 |
| Słowa kluczowe |
przewidywanie struktury przestrzennej białek, metoda lokalnych deskryptorów |
|
Wprowadził(a): MIMUW webmaster |
|
| Detection and evolutionary analysis of repeats in protein sequences |
| Projekt w ramach polsko-francuskiego programu POLONIUM |
| Finansowany przez |
KBN |
| Nr |
|
| Koordynator |
dr Anna Gambin |
| Wykonawcy |
prof. Jerzy Tiuryn, dr Sławomir lasota, dr Paweł Górecki, mgr Bartosz Wilczyński, Bogusław Kluge |
| Daty |
2005-01-01 - 2006-01-01 |
|
Wprowadził(a): MIMUW webmaster |
|
| Algorytmika kombinatoryczna złożonych problemów współczesnej informatyki |
| Nazwa angielska |
Combinatorial algorithmics of complex problems in contemporary informatics |
| Finansowany przez |
Ministerstwo Nauki i Informatyzacji |
| Nr |
4 T11C 044 25 |
| Kierownik projektu |
prof. dr hab. W. Rytter |
| Wykonawcy |
dr hab. Krzysztof Diks, dr Mirosław Kowaluk, dr hab. Wojciech Plandowski, dr hab. Bogdan Chlebus, dr Anna Gambin, dr Adam Malinowski, dr Dariusz Kowalski, mgr Krzysztof Ciebiera, mgr Robert Dąbrowski, mgr Łukasz Kowalik, mgr Maciej Kurowski, mgr Marcin Mucha, mgr Karol Gołąb, mgr Łukasz Sznuk, mgr Piotr Sankowski, mgr Tomasz Waleń |
| Daty |
2003-01-01 - 2006-01-01 |
| Słowa kluczowe |
projektowanie i analiza algorytmów, złożoność obliczeniowa, struktury danych, algorytmy grafowe, tekstowe, geometryczne i biologiczne, obliczenia sieciowe |
|
Wprowadził(a): Joanna Biernacka |
|
| Algebraiczne algorytmy grafowe (promotorski) |
| Nazwa angielska |
Algebraic graph algorithms (doctoral dissertation grant ) |
| Przedmiotem projektu będzie konstruowanie i analiza efektywnych algorytmów Monte Carlo dla problemów zliczania. Efektywne algorytmy dla problemów zliczania są niezbędne w licznych zastosowaniach praktycznych, na przykład w analizie i projektowaniu sieci komputerowych, mechanice statystycznej, czy biologii molekularnej. W ramach projektu zamierzamy zająć sie poszukiwaniem wielomianowych, randomizowanych schematów aproksymacyjnych dla problemów zliczania obiektów kombinatorycznych (w tym dla otwartego problemu zliczania skojarzeń w grafie), jak i eksperymantalnym i teoretycznym badaniem nowych, autorskich metod zliczania- próbkowania jednoczesnego i metody wyznacznikowej [S03-1, S03-2]. Chcemy także zaprojektować efektywne algorytmy zliczania w strukturach dynamicznych, tzn. takich, które zmieniają się w czasie. |
| Finansowany przez |
Ministerstwo Nauki i Informatyzacji |
| Nr |
3 T11C 021 27 |
| Kierownik projektu |
Dr hab. Krzysztof Diks |
| Wykonawcy |
mgr Piotr Sankowski |
| Daty |
2004-11-16 - 2005-11-16 |
| Słowa kluczowe |
algorytm, złozoność obliczeniowa, zliczanie, randomizowane schematy aproksymacyjne, skojarzenia, metody obliczeniowe mechaniki statystycznej, model Isinga |
|
Wprowadził(a): Joanna Biernacka |
|
| Wykrywanie horyzontalnego transferu genów (promotorski) |
| Nazwa angielska |
Detecting horizontal gene transfer |
| Celem projektu jest opracowanie metody wykrywania horyzontalnego transferu genów. Jest to zjawisko, które umożliwia przeniesienie materiału genetycznego pomiędzy różnymi gatunkami, byc może niespokrewnionymi. Jest ono ważneni tylko dla badania zależności ewolucyjnych między organizmami ale także w praktycznych problemach dotyczących m.in. projektowania lekow i zywności genetycznie modyfikowanej. Podstawowe metody wykrywania oparte są na analizie anomalii występujących w sekwencji kwasów nukleinowych, aminokwasów bądź drzew filogentycznych. W szczególności celem projektu jest opracowanie nowego modelu ewolucyjnego opartego na podejściu filogentycznym z zastosowaniem probabilistycznych metod z wykorzystaniem maksymalizacji wiarygodności (maximum likehood) dość powszechnie stosowanej w rekonstrukcji drzew ewolucyjnych. Kolejnym celem będzie opracowanie, w oparciu o powyższy model, efektywnych algorytmów wykrywania horyzontalnego transferu oraz wykonanie eksperymentalnego systemu, który będzie mógł być wykorzystywany przez biologów do testowania hipotez trasferu. |
| Finansowany przez |
Ministerstwo Nauki i Informatyzacji |
| Nr |
4 T11F 020 25 |
| Kierownik projektu |
prof. dr hab. Jerzy Tiuryn |
| Wykonawcy |
mgr Paweł Górecki |
| Daty |
2003-11-14 - 2005-11-13 |
| Słowa kluczowe |
horyzontalny transfer genów, filogenetyka, rekonstrukcja drzew ewolucyjnych, biologia obliczeniowa, maksymalizacja wiarygodności |
|
Wprowadził(a): MIMUW webmaster |
|
| Równania w półgrupie wolnej z dwiema niewiadomymi (promotorski) |
| Nazwa angielska |
Two-variable equations over free semi-group ( doctoral dissertation grant ) |
| Równania w półgrupach wolnych stanowią część informatyli teoretycznej, która leży na pograniczu języków formalnych, logiki, teorii unifikacji i algorytmiki tekstów. Jednym z centralnych problemów w tej dziedzinie jest problem spełnialności równań w półgrupie wolnej. Problem ten jest rozstrzygalny, co udowodnił Makanin w 1977 roku [Ma77].Dowód poprawności algorytmu Makanina jest jednym z najbardziej skomplikowanych dowodów istniejących w informatyce teoretycznej. Problem spelnialności jest jednak NP-trudny [An79], a więc prawdopodobnie nie ma algorytmu wielomianowego dla tego problemu. Zachodzi więc potrzeba znalezienia efektywnych algorytmów dla szczególnych klas równań. Jesli ograniczymy się do równań z jedną niewiadomą, to istnieje algorytm działający w czasie 0(n log n), gdzie n jest rozmiarem równania wejściowego [EyGoMa94]. Dla równań z dwiema zmiennymi są dwa algorytmy [ChPa91] i [IIP100]. Złozoności tych algorytmów to odpowiednio 0(n100) i 0(n6). Problem spełnialności jest problemem, w którym należy dla danego równania wejściowego stwierdzić czy równanie ma rozwiązanie. Znacznie bardziej wyzywającym problemem jest problem znajdowania opisu wszystkich rozwiązań równania. Dla równań z jedną zmienną taki algorytm istnieje [EyGoMa94] i działa w czasie 0(n log n).Algorytm ten został poprawiony i działa w czasie 0(#xlog n), gdzie #X jest liczbą wystąpień zmiennej w równaniu [DąPl02]. Jest on więc liniowy, a więc optymalny, jeśli #x<n/log n. Algorytm ten będzie stanowił część pracy doktorskiej R.Dąbrowskiego- głównego wykonawcy tego projektu. Celem tego ptojektu będzie stworzenie wielomianowego algorytmu rozwiązującego równania z dwiema niewiadomymi. |
| Finansowany przez |
Ministerster Nauki I Informatyzacji |
| Nr |
3 T11C 020 27 |
| Kierownik projektu |
dr hab. Wojciech Plandowski |
| Wykonawcy |
mgr Robert Dąbrowski |
| Daty |
2004-10-15 - 2005-10-14 |
| Słowa kluczowe |
równania w półgrupie wolnej, algorytmy, złożoność obliczeniowa |
|
Wprowadził(a): Joanna Biernacka |
|
| Architectures for Mobility |
| Finansowany przez |
Commision Of The European Communities Directorate- General Information Society |
| Nr |
IST-2001-32747 "Agile" |
| Kierownik projektu |
prof. dr hab. Andrzej Tarlecki |
| Wykonawcy |
mgr Piotr Hoffman, mgr Artur Zawłocki |
| Daty |
2002-08-01 - 2005-04-30 |
|
Wprowadził(a): Aneta Sakowska |
|
| Strukturalne własności grafów planarnych i ich algorytmiczne zastosowania (promotorski) |
| Nazwa angielska |
Structural properties of planar graphs and their algorithmic applications ( doctoral dissertation grant ) |
| 1. Strukturalne własności grafów planarnych i ich algorytmiczne zastosowania. 2. Rysowanie grafów planarnych. 3. Kolorowanie grafów planarnych. 4. Obliczenia dla dynamicznie zmieniających się grafów planarnych. |
| Finansowany przez |
Ministerstwo Nauki i Informatyzacji |
| Nr |
3 T11C 006 26 |
| Kierownik projektu |
dr hab. Krzysztof Diks |
| Wykonawcy |
mgr Maciej Kurowski |
| Daty |
2004-04-01 - 2005-03-31 |
| Słowa kluczowe |
graf, rysowanie grafu, kolorowanie grafu, algorytmy grafowe |
|
Wprowadził(a): Joanna Biernacka |
|
| Algorytmiczne problemy ścieżkowe w grafach planarnych (promotorski) |
| Nazwa angielska |
Algorithmic path problems in planar graphs (doctoral dissertation grant ) |
| Przedmiotem projektu będzie konstruowanie i analiza efektywnych algorytmów i struktur danych dla problemów ścieżkowych w grafach planarnych. Efektywne algorytmy dla problemów ścieżkowych są niezbędne w licznych zastosowaniach praktycznych (np. w projektowaniu architektury i protokołów dla sieci komputerowych, optymalizacji transportu w sieciach połączeń drogowych), a same problemy ścieżkowe są równocześnie podstawą wielu innych ważnych problemów algorytmicznycznej teorii grafów. Nasze badania będą koncentrować się wokół grafów planarnych, z uwagi na fakt, iż wiele istniejących w praktyce sieci, to sieci planarne lub niemal planarne. Zamierzamy rozważać takie problemy jak wyszukiwanie najkrótszych ścieżek, wyszukiwanie i zliczanie ścieżek i cykli o zadanych wlasnościach, a także badanie średnicy i talii grafu. Rozważane problemy należą do fundamentalnych problemów w algorytmicznej teorii grafów. |
| Finansowany przez |
Ministerstwo Nauki i Informatyzacji |
| Nr |
3 T11C 008 26 |
| Kierownik projektu |
dr hab. Krzysztof Diks |
| Wykonawcy |
Łukasz Kowalik |
| Daty |
2004-04-01 - 2005-03-31 |
| Słowa kluczowe |
algorytm, złożoność obliczeniowa, struktura danych, nakrótsze ścieżki, graf, graf planarny, wyrocznia, cykl |
|
Wprowadził(a): Joanna Biernacka |
|
| Abstrakcyjna teoria specyfikacji i jej zastosowania |
| Nazwa angielska |
Abstract specification theory and its applications |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
7 T11C 002 21 |
| Kierownik projektu |
prof. dr hab. Andrzej Tarlecki |
| Wykonawcy |
prof. dr hab. Andrzej Tarlecki, dr Sławomir Lasota, dr Wiesław Pawłowski, dr Tomasz Borzyszkowski, mgr Piotr Hoffman |
| Daty |
2001-08-01 - 2004-07-31 |
| Słowa kluczowe |
specyfikacja; poprawność oprogramowania; weryfikacja i konstruowanie oprogramowania; behawioralna semantyka; instytucje; CASL |
|
Wprowadził(a): Joanna Biernacka |
|
| Granty dla stypendystów FNP |
| Finansowany przez |
Fundacja Na Rzecz Nauki Polskiej |
| Nr |
100-501/74/NP-14 |
| Kierownik projektu |
dr S. Lasota |
| Wykonawcy |
dr Sławomir Lasota |
| Daty |
2003-01-01 - 2004-01-31 |
|
Wprowadził(a): Aneta Sakowska |
|
| Modelowanie ewolucji molekularnej i procesu zwijania białek - podejście algorytmiczne |
| Nazwa angielska |
Modeling of molecular evolution and of protein folding - an algorithmic approach |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
7 T11F 016 21 |
| Kierownik projektu |
prof. dr hab. Jerzy Tiuryn |
| Wykonawcy |
prof. dr hab. Jerzy Tiuryn, dr Piotr Pokarowski, dr Anna Gambin, dr hab. Jerzy Tyszkiewicz, mgr Paweł Górecki, mgr Łukasz Sznuk, prof. Piotr Słonimski, prof. Ken A. Dill |
| Daty |
2001-07-01 - 2003-12-31 |
| Słowa kluczowe |
trzeciorzędowa struktura białek, drzewo filogenetyczne, uliniowienie sekwencji biologicznych, programowanie dynamiczne |
|
Wprowadził(a): MIMUW webmaster |
|
| System wspomagania dowodzenia dla duzych aplikacji, oparty na rachunku konstrukcji (promotorski) |
| Nazwa angielska |
A proof assistant for large applications based on the Calculus of Constructions ( doctoral dissertation grant ) |
| Finansowany przez |
KBN |
| Nr |
4T11C 023 22 |
| Kierownik projektu |
dr hab.Paweł Urzyczyn |
| Wykonawcy |
mgr Jacek Chrząszcz |
| Daty |
2002-03-01 - 2003-08-31 |
|
Wprowadził(a): Joanna Biernacka |
|
| Silna normalizacja przepisywania w rachunku konstrukcji (promotorski) |
| Nazwa angielska |
Termination of rewriting in the calculus of constructions (doctoral dissertation grant ) |
| Finansowany przez |
KBN |
| Nr |
4T11C 024 22 |
| Kierownik projektu |
prof. dr hab. Jerzy Tiuryn |
| Wykonawcy |
mgr Daria Walukiewicz-Chrząszcz |
| Daty |
2002-03-01 - 2003-08-31 |
|
Wprowadził(a): Joanna Biernacka |
|
| Metody reprezentacji wiedzy i wnioskowania w systemach autonomicznych. |
| Nazwa angielska |
Methods of knowledge representation and reasoning in autonomous systems |
| Nr |
8 T11C 009 19 |
| Kierownik projektu |
dr hab. Witold Łukaszewicz |
| Wykonawcy |
dr hab. Witold Łukaszewicz, prof. dr hab. Andrzej Szałas, dr Ewa Madalińska-Bugaj, mgr Arkadiusz Wojna |
| Daty |
2000-09-01 - 2003-08-31 |
| Słowa kluczowe |
sztuczna inteligencja; systemy autonomiczne; wnioskowanie o dynamiczne zmieniającym się świecie; wnioskowanie aproksymacyjne; planowanie |
|
Wprowadził(a): Joanna Biernacka |
|
| Matematyczne modele kosztu komunikacyjnego dostępu do baz danych |
| Nazwa angielska |
Mathematical models of communication cost of database access |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
7 T11C 007 21 |
| Kierownik projektu |
dr hab. Jerzy Tyszkiewicz |
| Wykonawcy |
dr hab. Jerzy Tyszkiewicz, mgr Michał Aleksander Bielecki |
| Daty |
2001-07-01 - 2002-12-31 |
| Słowa kluczowe |
bazy danych; zdalny dostęp do baz danych; złożoność komunikacyjna; maszyna relacyjna; wyszukiwarki internetowe |
|
Wprowadził(a): Joanna Biernacka |
|
| Teoria typów w programowaniu funkcyjnym i obiektowym. |
| Nazwa angielska |
Type theory in functional and object-oriented programming |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
7 T11C 028 20 |
| Kierownik projektu |
dr hab. Paweł Urzyczyn |
| Wykonawcy |
dr hab. Paweł Urzyczyn, prof. dr hab. Jerzy Tiuryn, dr Marcin Benke, mgr Jacek Chrząszcz, mgr Daria Walukiewicz-Chrząszcz, mgr Grzegorz Grudziński, mgr Robert Maron, dr Aleksy Schubert |
| Daty |
2001-02-07 - 2002-12-31 |
| Słowa kluczowe |
teoria typów; rachunek lambda; programowanie funkcyjne i obiektowe; polimorfizm; wielodostępność danych; przepisywanie termów; unifikacja i dopasowanie |
|
Wprowadził(a): Joanna Biernacka |
|
| Matematyczne metody weryfikacji systemów informatycznych |
| Nazwa angielska |
Mathematical methods of verification of information systems |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
7 T11C 027 20 |
| Kierownik projektu |
dr hab. Damian Niwiński |
| Wykonawcy |
dr hab. Damian Niwiński, dr hab. Igor Walukiewicz, mgr Mikołaj Bojańczyk, mgr Marcin Rychlik, dr hab. Jerzy Tyszkiewicz, mgr Tomasz Urbański, dr Stefan Dziembowski, dr Marcin Jurdziński |
| Daty |
2001-01-01 - 2002-12-31 |
| Słowa kluczowe |
weryfikacja systemów informatycznych; teoria automatów; logiki modalne; operatory punktu stałego |
|
Wprowadził(a): Joanna Biernacka |
|
| Dowodzenie poprawności implementacji behawioralnej w procesie konstrukcji oprogramowania |
| Nazwa angielska |
Proving correctness of behavioral implementation in software development process |
| Nr |
8T11 019 19 |
| Kierownik projektu |
dr Sławomir Lasota |
| Wykonawcy |
dr Sławomir Lasota |
| Daty |
2000-07-01 - 2001-06-30 |
|
Wprowadził(a): Joanna Biernacka |
|
| Metodyka i narzędzia wspomagające konstruowanie poprawnego oprogramowania |
| Nazwa angielska |
Methods and tools supporting correct software development |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
8T11C 015 15 |
| Kierownik projektu |
dr hab. Jan Madey |
| Wykonawcy |
dr hab.Jan Madey, prof. dr hab. Andrzej Tarlecki, dr Janina Mincer-Daszkiewicz, dr Kazimierz Grygiel, mgr Adam Bałaban, mgr Marcin Engel, mgr Agata Janowska, mgr Paweł Janowski, mgr Marcin Kubica, mgr Mirosława Miłkowska, mgr Krzysztof Stencel, Arkadiusz Biernat, Jan Czermiński, Erwin Dzienis, Grzegorz Jakacki, Leszek Kowalczyk, Artur Kret, Piotr Krysiuk, Albert Krzymowski, Grzegorz Marczyński, Michał Rembiszewski, Tomasz Śmigielski, Paweł Weżgowiec, Szymon Zioło |
| Daty |
1998-07-01 - 2001-06-30 |
| Słowa kluczowe |
inżynieria oprogramowania; CASE; specyfikowanie, weryfikowanie i konstruowanie oprogramowania; walidacja specyfikacji; automatyczne dowodzenie twierdzeń; systemy rozproszone i protokoły |
|
Wprowadził(a): Joanna Biernacka |
|
| Algorytmika problemów o dużym rozmiarze |
| Nazwa angielska |
Algorithmics of problems of huge sizes |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
8T11C 039 15 |
| Kierownik projektu |
prof. dr hab. Wojciech Rytter |
| Wykonawcy |
prof. dr hab. Wojciech Rytter, dr Mirosław Kowaluk, dr Wojciech Plandowski, mgr Adam Malinowski, mgr Anna Gambin, Krzysztof Sobusiak, dr hab. Bogdan Chlebus, mgr Dariusz Kowalski, dr Krzysztof Diks |
| Daty |
1998-06-01 - 2001-06-30 |
| Słowa kluczowe |
analiza algorytmów, kompresja, efektywność, złożoność obliczeniowa, World-Wide-Web, Internet |
|
Wprowadził(a): Joanna Biernacka |
|
| Logika stosowana i programowanie funkcyjne |
| Nazwa angielska |
Applied logic and functional programming |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
8T11C 035 14 |
| Kierownik projektu |
prof. dr hab. Jerzy Tiuryn |
| Wykonawcy |
prof. dr hab. Jerzy Tiuryn, dr hab. Paweł Urzyczyn, mgr Marcin Benke, mgr Jacek Chrząszcz, mgr Grzegorz Grudziński, mgr Robert Maron, mgr Aleksy Schubert, mgr Daria Walukiewicz |
| Daty |
1998-01-01 - 2000-12-31 |
| Słowa kluczowe |
teoria typów; rachunek lambda; programowanie funkcyjne; koercje; podtypy; polimorfizmy; typy intrsekcyjne i typy z uniami; przepisywanie termów; unifikacja |
|
Wprowadził(a): Joanna Biernacka |
|
| Algorytmy rozproszone i równoległe dla problemów kombinatorycznych |
| Nazwa angielska |
Parallel and distributed algorithms for combinatorial problems |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
8T11C 036 14 |
| Kierownik projektu |
dr hab. Bogdan Chlebus |
| Wykonawcy |
dr hab. Bogdan Chlebus, prof. Wojciech Rytter, dr Krzysztof Diks, mgr Dariusz Kowalski, mgr Sinh Hoa Nguyen Thi |
| Daty |
1998-01-01 - 2000-12-31 |
| Słowa kluczowe |
teoria obliczeń, analiza algorytmów, złożoność problemów; algorytmy i problemy nienumeryczne, obliczenie równoległe, obliczenia rozproszone, obliczenie odporne na błędy, sieci anonimowe, przetwarzanie tekstów, implementacje algorytmów kombinatorycznych |
|
Wprowadził(a): Joanna Biernacka |
|
| Matematyczne podstawy technik opisu i analizy poprawności systemów informatycznych |
| Nazwa angielska |
Mathematical foundations of specification and correctness analysis of information systems |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
8T11C 027 16 |
| Kierownik projektu |
dr hab. Damian Niwiński |
| Wykonawcy |
dr hab. Damian Niwiński, dr Jerzy Tyszkiewicz, dr Igor Walukiewicz, Tomasz Urbański, mgr Zbigniew Łukasiak |
| Daty |
1999-01-01 - 2000-12-30 |
| Słowa kluczowe |
weryfikacja systemów informatycznych; teoria automatów; logiki modalne; języki zapytań baz danych; operatory punktu stałego |
|
Wprowadził(a): Joanna Biernacka |
|
| Obserwacyjna równoważność programów i struktur danych a bisymulacja procesów współbieżnych (promotorski) |
| Nazwa angielska |
Observational equivalence of programs and data structures vs bisimulation equivalence of concurrent processes (doctoral dissertation grant ) |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
8T11C 046 14 |
| Kierownik projektu |
dr hab. Andrzej Tarlecki |
| Wykonawcy |
dr hab. Andrzej Tarlecki, mgr Sławomir Lasota |
| Daty |
1998-01-01 - 1999-12-31 |
| Słowa kluczowe |
specyfikacja; poprawność oprogramowania; weryfikacja i konstruowanie oprogramowania; behawioralna implementacja specyfikacji; obserwacyjna równoważność; bisymulacja procesów |
|
Wprowadził(a): Joanna Biernacka |
|
| Zestaw testów do weryfikacji i oceny analizatorów języka polskiego |
| Nazwa angielska |
Test suits for validation and verification of Polish language analyzers |
| Finansowany przez |
Komitet Badań Naukowych |
| Nr |
8T11C 002 13 |
| Kierownik projektu |
dr hab. Janusz S. Bień |
| Wykonawcy |
dr hab. Janusz S. Bień, prof. dr hab. Zygmunt Saloni, dr hab. Marek Świdziński |
| Daty |
1997-07-01 - 1999-12-31 |
| Słowa kluczowe |
język naturalny, język polski, analiza, morfologia, składnia, korpusy tekstów, testy, lingwistyka komputerowa, inżynieria językowa |
|
Wprowadził(a): Joanna Biernacka |
|
| Kartograf |
| zlecenie firmy Symantec Poland Sp. z o.o. |
| Finansowany przez |
Symantec GmbH |
| Nr |
|
| Kierownik projektu |
dr Janusz Jabłonowski |
|
Wprowadził(a): Piotr Panek |
|
| Algebraiczne metody szukania skojarzeń w grafach (promotorski) - ostatecznie nie był realizowany |
| Przedmiotem projektu jest projektowanie i analiza algorytmów dla jednego z podstawowych problemów grafowych- wyznaczania najliczniejszych skojarzeń. W roku 2004 autor wspólnie z Piotrem Sankowskim) zaprojektował asymptotycznie najszybsze znane algorytmy obliczania najliczniejszych skojarzeń w grafach gęstych i grafach planarnych, dokonując pierwszego do dłuższego czasu przełomu w badaniach nad algorytmami dla skojarzeń. W tym celu ulepszono metody algebraiczne zaproponowane przez Lovasza. Złożoność zaproponowanych algorytmów jest taka sama jak złozoność obliczania wyznacznika. Przedstawione algorytmy wymagają dalszych badań w kierunku ich uproszczenia w taki sposób, żeby implementacje tych algorytmów stały się rzeczywiście konkurencyjne w stosunku do istniejących algorytmów obliczania najliczniejszych skojarzeń. Ponadto planujemy zbadanie możliwości wykorzystania kombinatorycznych algorytmów znajdujących doskonałe skojarzenia do mnożenia macierzy boolowskich. |
| Finansowany przez |
Ministerstwo Nauki i Informatyzacji |
| Nr |
3 T11 024 28 |
| Kierownik projektu |
dr hab. Krzysztof Diks |
| Wykonawcy |
mgr Marcin Mucha |
| Słowa kluczowe |
algorytm, złozoność obliczeniowa, skojarzenia, metody algebraiczne |
|
Wprowadził(a): Joanna Biernacka |
|
