Polityka prywatności serwisu ipipan.waw.pl

  1. Serwis zbiera w sposób automatyczny tylko informacje zawarte w plikach cookies.
  2. Pliki (cookies) są plikami tekstowymi, które przechowywane są w urządzeniu końcowym użytkownika serwisu. Przeznaczone są do korzystania ze stron serwisu. Przede wszystkim zawierają nazwę strony internetowej swojego pochodzenia, swój unikalny numer, czas przechowywania na urządzeniu końcowym.
  3. Operator serwisu ipipan.waw.pl jest podmiotem zamieszczającym na urządzeniu końcowym swojego użytkownika pliki cookies oraz mającym do nich dostęp.
  4. Operator serwisu wykorzystuje pliki (cookies) w celu:
    • dopasowania zawartości strony internetowej do indywidualnych preferencji użytkownika, przede wszystkim pliki te rozpoznają jego urządzenie, aby zgodnie z jego preferencjami wyświetlić stronę;
    • przygotowywania statystyk pomagających poznaniu preferencji i zachowań użytkowników, analiza tych statystyk jest anonimowa i umożliwia dostosowanie zawartości i wyglądu serwisu do panujących trendów, statystyki stosuje się też do oceny popularności strony;
  5. Serwis stosuje dwa zasadnicze rodzaje plików (cookies) - sesyjne i stałe. Pliki sesyjne są tymczasowe, przechowuje się je do momentu opuszczenia strony serwisu (poprzez wejście na inną stronę, wylogowanie lub wyłączenie przeglądarki). Pliki stałe przechowywane są w urządzeniu końcowym użytkownika do czasu ich usunięcia przez użytkownika lub przez czas wynikający z ich ustawień.
  6. Użytkownik może w każdej chwili dokonać zmiany ustawień swojej przeglądarki, aby zablokować obsługę plików (cookies) lub każdorazowo uzyskiwać informacje o ich umieszczeniu w swoim urządzeniu. Inne dostępne opcje można sprawdzić w ustawieniach swojej przeglądarki internetowej. Należy pamiętać, że większość przeglądarek domyślnie jest ustawione na akceptację zapisu plików (cookies)w urządzeniu końcowym.
  7. Operator Serwisu informuje, że zmiany ustawień w przeglądarce internetowej użytkownika mogą ograniczyć dostęp do niektórych funkcji strony internetowej serwisu.
  8. Pliki (cookies) z których korzysta serwis (zamieszczane w urządzeniu końcowym użytkownika) mogą być udostępnione jego partnerom oraz współpracującym z nim reklamodawcą.
  9. Informacje dotyczące ustawień przeglądarek internetowych dostępne są w jej menu (pomoc) lub na stronie jej producenta.

Czytaj więcej: Polityka prywatności

Przewody doktorskie

Doktoraty nadane przez Radę Naukową IPI PAN (od roku 1997)

Przewody doktorskie

Przewody doktorskie prowadzone w Instytucie Podstaw Informatyki PAN:

Czytaj więcej: Przewody Doktorskie IPI PAN

Habilitacje nadane przez Radę Naukową IPI PAN (od roku 1997)

Habilitacje nadane przez Radę Naukową IPI PAN (od roku 1997)
Osoba Tytuł rozprawy habilitacyjnej Dziedzina i spaecjalność Data nadania stopnia
dr Przemysław Spurek Uczenie reprezentacji w metodach nienadzorowanych nauki inżynieryjno-techniczne w zakresie informatyki technicznej i telekomunikacji 13/10/2022
dr Tomasz Jan Kajdanowicz Algorytmy uczenia maszynowego w sieciach złozonych nauki inżynieryjno-techniczne w zakresie informatyki technicznej i telekomunikacji 13/02/2020
dr Agnieszka Nowak-Brzezińska Eksploracja złożonych regułowych baz wiedzy: optymalizacja struktury bazy wiedzy i procesów wnioskowania nauki inżynieryjno-techniczne w zakresie informatyki technicznej i telekomunikacji 24/10/2019
dr Marcin Woliński Automatyczna analiza składnikowa języka polskiego nauki inżynieryjno-techniczne w zakresie informatyki technicznej i telekomunikacji 24/10/2019
dr Maciej Ogrodniczuk Automatyczne wykrywanie nominalnych zależności referencyjnych w polskich tekstach współczesnych nauki inżynieryjno-techniczne w zakresie informatyki technicznej i telekomunikacji 24/10/2019
dr Maciej Piasecki Kompleksowa metoda do półautomatycznej konstrukcji dużej leksykalnej sieci semantycznej dla języka polskiego w oparciu o korpus tekstów nauki techniczne w zakresie informatyki 11/04/2019
dr Jan Kozak Uczenie drzew decyzyjnych oraz zespołów klasyfikatorów z zastosowaniem algorytmów mrowiskowych nauki techniczne w zakresie informatyki 11/04/2019
dr Bartosz Wilczyński Obliczeniowe metody analizy i identyfikacji niekodujących obszarów regulatorowych na skalę genomową nauki techniczne w zakresie informatyki 14/02/2019
dr Małgorzata Przybyła-Kasperek Rozproszony system podejmowania decyzji - metody analizy konfliktów i negocjacji nauki techniczne w zakresie informatyki 08/11/2018
dr inż. Paweł Morawiecki Kryptoanaliza algorytmów kryptografii symetrycznej nauki techniczne w zakresie informatyki 08/11/2018
dr Krzysztof Pancerz Systemy informacyjne nad grafami ontologicznymi - wybrane aspekty nauki techniczne w zakresie informatyki 08/02/2018
dr inż. Wojciech Froelich Rozmyte sieci kognitywne – rozwój teorii i zastosowań nauki techniczne w zakresie informatyki 16/11/2017
dr Beata Zielosko Badanie i optymalizacja reguł decyzyjnych i asocjacyjnych nauki techniczne w zakresie informatyki 12/01/2017
dr Małgorzata Marciniak Korpusy dziedzinowe jako zródło informacji nauki techniczne w zakresie informatyki 27/10/2016
dr Marcin Sydow Dywersyfikacja informacji w wybranych zadaniach selekcji, wyszukiwania i prezentacji informacji w semantycznych grafach wiedzy i wyszukiwarkach internetowych nauki techniczne w zakresie informatyki 27/10/2016
dr Agnieszka Lisowska Geometryczne wielorozdzielcze transformaty adaptacyjne - teoria i zastosowania w przetwarzaniu obrazów nauki techniczne w zakresie informatyki 16/04/2015
dr Łukasz Dębowski Własności dyskretnych procesów stochastycznych o szybko rosnącej informacji wzajemnej między blokami nauki matematyczne w zakresie informatyki 29/01/2015
dr Krzysztof Grąbczewski Meta-Learning in Decision Tree Induction (Meta-uczenie w indukcji drzew decyzji) nauki techniczne w zakresie informatyki 18/12/2014
dr Paweł Żyliński Problem galerii sztuki i jego odmiany - algorytmy i oszacowania nauki matematyczne w zakresie informatyki 27/03/2014
dr Bożena Woźna-Szcześniak Modelowanie i weryfikacja modelowa systemów wieloagentowych oraz systemów z czasem nauki techniczne w zakresie informatyki 16/01/2014
dr Andrzej Zbrzezny Wybrane aspekty ograniczonej weryfikacji modelowej systemów współbieżnych nauki techniczne w zakresie informatyki 16/01/2014
dr Stanisław Szpakowicz Język negocjacji elektronicznych nauki techniczne w zakresie informatyki 21/11/2013
dr Joanna Kołodziej Evolutionary Hierarchical Multi-Criteria Metaheuristics for Scheduling in Large-Scale Grid Systems
(Hierarchiczne heurystyki ewolucyjne w rozwiązywaniu wielokryterialnych problemów harmonogramowania zadań w rozległej strukturze systemów gridowych)
nauki techniczne w zakresie informatyki 21/02/2013
dr inż. Marek Klonowski Bezpieczeństwo i efektywna komunikacja w rozproszonych systemach o ograniczonych zasobach nauki matematyczne w zakresie informatyki 06/12/2012
dr Elżbieta Hajnicz Automatyczne tworzenie semantycznych słowników walencyjnych nauki techniczne w zakresie informatyki 06/12/2012
dr Agnieszka Mykowiecka Ekstrakcja informacji złożonych ze specjalistycznych tekstów w języku polskim nauki techniczne w zakresie informatyki 06/12/2012
dr Dariusz Plewczyński Zastosowanie Metod Uczenia Maszynowego i Analizy Danych w Przewidywaniu Funkcji Biomolekuł nauki techniczne w zakresie informatyki 11/10/2012
dr Anna Gomolińska Zbiory przybliżone w obliczenich granularnych nauki techniczne w zakresie informatyki 21/06/2012
dr Dominik Ślęzak Przybliżone zależności zbiorów atrybutów w eksploracji danych i wnioskowaniach aproksymacyjnych nauki techniczne w zakresie informatyki 27/10/2011
dr Marcin Iwanowski Metody morfologiczne w przetwarzaniu obrazów cyfrowych nauki techniczne w zakresie informatyki 12/05/2011
dr Wojciech Jamroga Modeling, Verification and Strategic Reasoning in Multi-Agent Systems nauki techniczne w zakresie informatyki -
dr Krzysztof Trojanowski Inspirowane biologicznie algorytmy dla zadań optymalizacji dynamicznej nauki techniczne w zakresie informatyki 13/05/2010
dr Jan Bazan Hierarchical Classifiers for Complex Spatio-temporal Concepts nauki techniczne w zakresie informatyki 11/03/2010
dr Szymon Jaroszewicz Algorytmy znajdowania interesujących zależności w danych z wykorzystaniem wiedzy dziedzinowej nauki techniczne w zakresie informatyki 15/01/2010
dr Stanisław Matwin Prywatność danych w procesie ich eksploracji nauki techniczne w zakresie informatyki 14/01/2010
dr Małgorzata Bogdan Kryteria wyboru zmiennych objaśniających i problemy wielokrotnego testowania z zastosowaniem do analizy danych genetycznych nauki techniczne w zakresie informatyki 08/10/2009
dr Marek Drużdżel Stochastic Simulation and Search in Algorithms for Bayesian Networks nauki techniczne w zakresie informatyki 04/06/2009
dr Marek Krętowski Obliczenia ewolucyjne w eksploracji danych nauki techniczne w zakresie informatyki 17/04/2009
dr Urszula Boryczka Algorytmy optymalizacji mrowiskowej nauki techniczne w zakresie informatyki 29/01/2009
dr Adam Przepiórkowski Powierzchniowe przetwarzanie języka polskiego nauki techniczne w zakresie informatyki 18/12/2008
dr Mariusz Boryczka Programowanie mrowiskowe w procesie aproksymacji funkcji nauki techniczne w zakresie informatyki 29/05/2008
dr Jarogniew Rykowski Personalized Access to Heterogenous Distributed Information Sources by Means of Software Agents nauki techniczne w zakresie informatyki 28/02/2008
dr Krzysztof Jassem Przetwarzanie tekstów polskich w systemie tłumaczenia automatycznego POLENG nauki techniczne w zakresie informatyki 28/02/2008
dr Marek Bednarczyk Modularne metody tworzenia i automatyczna synteza programów współbieżnych, asynchronicznych i rozproszonych - teorio-kategoryjny punkt widzenia nauki matematyczne w zakresie informatyki 11/10/2007
dr Khalid Saeed Image Analysis for Object Recognition nauki techniczne w zakresie informatyki 19/06/2007
dr Krzysztof Stencel Półmocna kontrola typów w językach programowania baz danych nauki techniczne w zakresie informatyki 19/04/2007
dr Beata Jolanta Konikowska Metody redukcji wielowartościowych rachunków logicznych do struktur dwuwartościowych w rozumowaniu na temat niepełnej i przybliżonej informacji nauki matematyczne w zakresie informatyki 14/12/2006
dr Alicja Mieczysława Ciok Gradacyjna analiza skupień i regularności nauki techniczne w zakresie informatyki 27/06/2006
dr Barbara Dunin-Kęplicz Modelowanie i konstrukcja rekonfigurowalnych systemów wieloagentowych nauki techniczne w zakresie informatyki 25/11/2004
dr Wiesław Szczesny Gradacyjna analiza danych wielowymiarowych (Grade Analysis of Multivariate Data) nauki techniczne w zakresie informatyki 25/11/2004
dr Zbigniew Raś Knowledge Discovery Based Flexible Query Answering Systems nauki techniczne w zakresie informatyki 14/10/2004
dr Maria Orłowska On Distributed Data and Process Management nauki techniczne w zakresie informatyki 14/10/2004
dr Stanisław Ambroszkiewicz enTish: An Approach to Service Description and Composition nauki techniczne w zakresie informatyki
dr Zbigniew Suraj Rough Set Methods for the Synthesis and Analysis of Concurrent Processes nauki techniczne w zakresie informatyki 21/06/2000
dr Jarosław Stepaniuk Knowledge Discovery by Application of Rough Set Models nauki techniczne w zakresie informatyki 20/06/2000
dr Jerzy Cytowski Metody i algorytmy sztucznej inteligencji w cyfrowym przetwarzaniu sygnałów nauki techniczne w zakresie informatyki 20/06/2000
dr inż. Franciszek Seredyński Współzawodniczące systemy wieloagentowe: zastosowanie do problemów alokacji i szeregowania zadań w systemach wieloprocesorowych nauki techniczne w zakresie informatyki 17/12/1998
dr inż. Mieczysław Kłopotek Metody identyfikacji i interpretacje struktur rozkładów przekonań w teorii Dempstera-Shafera nauki techniczne w zakresie informatyki 17/12/1998
dr Edward Ochmański Recognizable Trace Languages nauki matematyczne w zakresie informatyki 18/12/1997
dr Zbigniew Michalewicz Genetic Algorithms + Data Structures = Evolution Programs nauki techniczne w zakresie informatyki 27/06/1997
dr Ewa Grabska Theoretical Concepts of Graphical Modelling nauki techniczne w zakresie informatyki 09/01/1997

Czytaj więcej: Habilitacje nadane przez Radę Naukową IPI PAN

Aplikacje - wyniki projektów badawczych
Aplikacje - wyniki projektów badawczych Data rozpoczęcia Data zakończenia Odnośnik
STV (Strategic Verifier) - narzędzie umożliwiające weryfikację zdolności strategicznej w systemach wieloagentowych oraz syntezę wygrywających strategii
DZP/POLLUX-VII/1/2019
STV: Socio-Technical Verification of Information Security and Trust in Voting Systems
Kierownik projektu: Wojciech Jamroga
01-09-2019 28-02-2023 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu STV
[STV]
Atlasu obszarów regulatorowych aktywnych w glejakach o różnym stopniu złośliwości
2015/16/W/NZ2/00314 - SYMFONIA
Atlas obszarów regulatorowych specyficznych dla mózgu ludzkiego - nowe narzędzie odkrywania ścieżek powodujących wybrane choroby mózgu
Kierownik projektu: prof. Henryk Jan Komorowski
18-11-2015 17-11-2021 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu NEKST
[GliomaAtlas]
Korpusomat - aplikacja służąca do tworzenia korpusów tekstów
CLARIN-PL - polska infrastruktura badawcza dla nauk społecznych i humanistycznych
Kierownik projektu: Maciej Ogrodniczuk
01-07-2016 30-06-2018 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu CLARIN-PL
[Korpusomat.pl]
MCFS-ID (Monte Carlo Feature Selection and Interdependency Discovery) - środowisko do klasyfikacji oraz do wyboru istotnych cech dla danych wysokowymiarowych oraz aplikacja rmcfs
Kierownik projektu: Michał Dramiński
2004 2018 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu NEKST
[rmcfs]
COMBO - system neuronowy do tagowania, analizy morfologicznej, lematyzacji i parsowania zależnościowego
2014/15/D/HS2/03486
Kompozycyjno-dystrybucyjne modelowanie semantyki języka polskiego
Kierownik projektu: Alina Wróblewska
30-09-2015 29-09-2018 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu NEKST
[COMBO]
Analizator i generator fleksyjny dla języka polskiego - Morfeusz 2
Kierownik projektu: Marcin Woliński
2003 2017 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu NEKST
[Morfeusz 2]
Semantyczna wyszukiwarka internetowa - NEKST
POIG.01.01.02-14-013/09
Adaptacyjny system wspomagający rozwiązywanie problemów w oparciu o analizę treści dostępnych zródeł elektronicznych
Kierownik projektu: Jacek Koronacki
01-04-2009 28-08-2014 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu NEKST
[Wyszukiwarka NEKST]
Narodowy Korpus Języka Polskiego
Nr R17 003 03
Kierownik projektu: Adam Przepiórkowski
Korpus NKJP (rozwijany)
13-12-2007 12-12-2010 Link zewnętrzny - Otwórz nowe okno i przejdź do strony aplikacji NKJP
GradeStat - System komputerowy gradacyjnej analizy danych ze szczególnym uwzględnieniem algorytmów uzupełniania danych brakujących
No. 7 T11C 00420
Kierownik projektu: Elżbieta Pleszczyńska
01-02-2002 30-09-2002 {Link zewnętrzny - Otwórz nowe okno i przejdź do: }[Pakiet Gradestat]

Czytaj więcej: Aplikacje - wyniki projektów badawczych

Tytuł / Kierownik / Nr umowy Data rozpoczęcia Data zakończenia Opis
Koordynacja: symetryczna czy asymetryczna?
2023/49/B/HS2/02546
Kierownik projektu: prof. dr hab. Adam Przepiórkowski
Finansowanie: NCN
03-01-2024 02-01-2026 -
Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
2023/49/B/HS1/03930
Kierownik projektu: dr Dariusz Kalociński
Finansowanie: NCN
03-01-2024 02-01-2028 -
Probabilistic Verification of Complex Heterogeneous Systems: From Ballots to Ballistics
POLLUX-XI/14/SpaceVote/2023
Kierownik projektu: dr hab. Wojciech Jamroga
Finansowanie: NCBR
01-03-2023 31-08-2025 -
Składniowo-semantyczna analiza leksemów o kształcie TO
2022/45/N/HS2/03109
Kierownik projektu: mgr Sebastian Zawada
Finansowanie: NCN
02-02-2023 01-02-2026 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Składniowo-semantyczna analiza leksemów o kształcie TO
Identyfikowanie opinii konsumentów na temat bezpieczeństwa produktów i ich jakości, z uwzględnieniem podwójnej jakości „dual quality” przy użyciu systemu OPI PIB i IPI PAN
INFOSTRATEG-III/122/2022
Kierownik zadań IPI PAN: dr Łukasz Kobyliński
Lider konsorcjum: Ośrodek Przetwarzania Informacji - Państwowy Instytut Badawczy
Finansowanie: NCBR
01-08-2022 31-01-2026 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Identyfikowanie opinii konsumentów na temat bezpieczeństwa produktów i ich jakości, z uwzględnieniem podwójnej jakości „dual quality” przy użyciu systemu OPI PIB i IPI PAN
Co słychać? Komunikacja społeczna w autyzmie: podejście obliczeniowe
2020/39/D/HS6/00809
Kierownik zadań IPI PAN: dr Aleksander Wawer
kierownik projektu: dr Izabela Chojnicka
Finansowanie: NCN
23-06-2021 22-06-2024 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Komunikacja społeczna w autyzmie
Sztuczna Inteligencja na Sposób Wytłumaczalny i Społeczny
2020/02/Y/ST6/00064
kierownik projektu: prof. dr hab. Stanisław Matwin
Finansowanie: NCN
28-04-2021 27-07-2024 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu SAI
Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne
2018/31/B/HS1/04018
kierownik projektu: dr Dariusz Kalociński
Finansowanie: NCN
16-09-2019 15-11-2022 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Algorytmiczne modele predykcji
ComCrypt - Wydajne i Bezpieczne Algorytmy do Jednoczesnej Kompresji i Szyfrowania
2018/31/B/ST6/03003
kierownik projektu: dr hab. Józef Pieprzyk
Finansowanie: NCN
21-06-2019 20-08-2022 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu ComCrypt
Socio-Technical Verification of Information Security and Trust in Voting Systems (STV)
DZP/POLLUX-VII/1/2019 -
kierownik projektu: dr hab. Wojciech Jamroga
Finansowanie: NCBR
01-09-2019 28-02-2023 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu STV
Kognitywistyczna i społeczno-kulturowa analiza konstrukcji metaforycznych w tekstach polskich
2018/29/B/HS1/01773
kierownik projektu: dr hab. Elżbieta Hajnicz
Finansowanie: NCN
31-01-2019 30-01-2024 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu CORMETAN
Budowa zintegrowanego systemu statystyki cen detalicznych (INSTATCENY)
Gospostrateg 1/382525/14/NCBR/2018
kierownik projektu: dr Dariusz Czerski
Finansowanie: NCBR
01-01-2019 30-06-2022 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu INSTATCENY
Counteracting misinformation in digital media by deception detection and facilitating access to reliable sources using machine learning and natural language processing
PPN/PPO/2018/1/00006 (Polskie Powroty)
kierownik projektu: dr Piotr Przybyła
Finansowanie: NAWA
01-01-2019 31-03-2022 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu HOMADOS
Syntax, Semantics and Information Structure in Lexical Functional Grammar (Pl: Składnia, semantyka i struktura
informacyjna w gramatyce leksykalno-funkcyjnej (LFG))
1604/MOB/V/2017/0 (Mobilność Plus)
kierownik projektu: dr Agnieszka Patejuk
Finansowanie: MNiSW
01-07-2018 30-09-2021 Link zewnętrzny - Otwórz nowe okno i przejdź do strony Agnieszki Patejuk
CLARIN-PL - polska infrastruktura badawcza dla nauk społecznych i humanistycznych
DIR/WK/2018/01 - CLARIN-PL 3.0
Kierownik zadań w IPI PAN: dr. Maciej Ogrodniczuk
kierownik projektu: dr Maciej Piasecki (Politechnika Wrocławska, Wydział Informatyki i Zarzadzania)
Finansowanie: MNiSW
01-07-2018 30-06-2021 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu CLARIN-PL
Kwantyfikatory w języku: użycie i znaczenie
2017/25/B/HS1/02911
kierownik projektu: dr Jakub Szymanik
Finansowanie: NCN
19-04-2018 18-04-2022 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Kwantyfikatory w języku: użycie i znaczenie
Atlas obszarów regulatorowych specyficznych dla mózgu ludzkiego - nowe narzędzie odkrywania ścieżek powodujących wybrane choroby mózgu
2015/16/W/NZ2/00314 - SYMFONIA
Kierownik zespołu w IPI PAN: prof. Henryk Jan Komorowski
kierownik projektu: dr Bartosz Wilczyński (Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki)
Finansowanie: NCN
18-11-2015 17-11-2021 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu SYMFONIA 3
Kompozycyjno-dystrybucyjne modelowanie semantyki języka polskiego
2014/15/D/HS2/03486 - SONATA 8
kierownik projektu: dr Alina Wróblewska
Finansowanie: NCN
30-09-2015 29-09-2020 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu SONATA 8

Projekty zakończone (do 1 stycznia 2020 r.):

Tytuł / Kierownik / Nr umowy Data rozpoczęcia Data zakończenia Opis
Verification of Voter-Verifiable Voting Protocols
DZP/POLLUX-IV/1/2016 - Vote-Verif
kierownik projektu: dr hab. Wojciech Jamroga
Finansowanie: NCBR
01-09-2016 31-08-2019 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu VOTEVERIF
CLARIN-PL - polska infrastruktura badawcza dla nauk społecznych i humanistycznych
DIR/WK/2016/02 - CLARIN-PL 2.0
Kierownik zadań w IPI PAN: dr. Maciej Ogrodniczuk
kierownik projektu: dr Maciej Piasecki (Politechnika Wrocławska, Wydział Informatyki i Zarzadzania)
Finansowanie: MNiSW
01-07-2016 30-06-2018 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Clarin-PL
Wykorzystanie metod kompozycyjnej semantyki dystrybucyjnej do identyfikacji i rozróżniania znaczeń w języku polskim
2014/15/B/ST6/05186 - OPUS 8
kierownik projektu: dr hab. Agnieszka Mykowiecka
Finansowanie: NCN
11-08-2015 10-08-2020 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu CODES
Model formalny diachronicznego opisu fleksji polskiej i jego komputerowa implementacja
2014/15/B/HS2/03119 - OPUS 8
kierownik projektu: dr Marcin Woliński
Finansowanie: NCN
11-08-2015 10-06-2019 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Chronofleks
Wydajne i bezpieczne algorytmy szyfrowania z uwierzytelnianiem - nowe rozwiązania i zaawansowana kryptoanaliza
2014/15/B/ST6/05130 - OPUS 8
kierownik projektu: prof. dr Józef Pieprzyk
Finansowanie: NCN
20-07-2015 19-07-2018 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Wydajne i bezpieczne algorytmy szyfrowania z uwierzytelnianiem
Ujednolicona teoria koreferencji w języku polskim i jej korpusowa weryfikacja
2014/15/B/HS2/03435 - OPUS 8
kierownik projektu: dr Maciej Ogrodniczuk
Finansowanie: NCN
10-07-2015 09-07-2018 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu COTHEC
Automatyczne rozpoznawanie przedmiotów i wyrażeń opinii w tekstach w języku polskim
2012/05/N/ST6/03587 - PRELUDIUM
kierownik projektu: Aleksander Wawer
Finansowanie: NCN
06-02-2013 05-02-2016 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu OPTA
Kryptoanaliza rodziny funkcji skrótu Keccak
2013/09/D/ST6/03918 - SONATA
kierownik projektu: Paweł Kacper Morawiecki
18-02-2014 17-02-2016 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Kryptoanaliza rodziny funkcji skrótu Keccak
DISQUSS: Zdywersyfikowane podpowiedzi zapytań w wyszukiwaniu na zbiorach pół-ustrukturyzowanych
2012/07/B/ST6/01239 - OPUS
kierownik projektu: Marcin Sydow
Finansowanie: NCN
29-07-2013 28-04-2017 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu DISQUSS
Lingwistyczny warsztat do analizy i rozpoznawania mowy
2011/03/D/ST6/00914 (AGH-IPI PAN 2012/1)
Kierownik projektu: Bartosz Ziółko (AGH)
Kierownik zadań IPI PAN: Adam Przepiórkowski
Finansowanie: NCN
01-02-2013 28-01-2016 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Lingwistyczny warsztat do analizy i rozpoznawania mowy
Technologie informacyjne: badania i ich interdyscyplinarne zastosowania
POKL.04.01.01-00-051/10
kierownik projektu: Wojciech Penczek
Finansowanie: NCN
01-01-2011 31-12-2015 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu POKL.04.01.01-00-051/10
Nowe metody parametrycznej weryfikacji modelowej
2012/07/N/ST6/03426 - PRELUDIUM
kierownik projektu: Michał Knapik
Finansowanie: NCN
29-07-2013 28-07-2015 -
Komputerowe metody identyfikacji nawiązań w tekstach polskich
Nr N N519 6505 40
Kierownik projektu: Maciej Ogrodniczuk
Finansowanie: NCN
18-04-2011 17-04-2014 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu CORE
Automatyczne wykrywanie i korekcja błędów anotacyjnych w polskich korpusach językowych
Nr 2011/01/N/ST6/01107
Kierownik projektu: Łukasz Kobyliński
Finansowanie: NCN
21-12-2011 20-06-2014 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Automatyczne wykrywanie i korekcja błędów anotacyjnych w polskich korpusach językowych
Metoda oceny wyrazistości struktury skupień
Nr 2011/01/N/ST6/04174
Kierownik projektu: Ewa Nowakowska
Finansowanie: NCN
07-12-2011 06-06-2014 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Metoda oceny wyrazistości struktury skupień
Analiza i wizualizacja struktury i dynamiki sieci społecznych metodami inspirowanymi naturą
N N516 4430 38
kierownik projektu: Mieczysław Kłopotek
Finansowanie: NCN
09-04-2010 08-04-2012 -
Budowa banku drzew składniowych dla języka polskiego z wykorzystaniem automatycznej analizy składniowej
N N104 2247 35
kierownik projektu: Marcin Woliński
Finansowanie: NCN
14-10-2008 13-10-2011 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Budowa banku drzew składniowych dla języka polskiego z wykorzystaniem automatycznej analizy składniowej
Automatyczna weryfikacja systemów specyfikowanych w UML
N N516 3704 36
kierownik projektu: Wojciech Penczek
Finansowanie: NCN
19-05-2009 01-06-2010 -
Utworzenie uniwersalnej, otwartej, repozytoryjnej platformy hostingowej i komunikacyjnej dla sieciowych zasobów wiedzy dla nauki, edukacji i otwartego społeczeństwa wiedzy
Nr Umowy SP/I/1/77065/10
Kierownik projektu: Beata Konikowska
Projekt badawczy w ramach programów strategicznych
16-08-2010 31-07-2014 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Utworzenie uniwersalnej, otwartej, repozytoryjnej platformy hostingowej i komunikacyjnej dla sieciowych zasobów wiedzy dla nauki, edukacji i otwartego społeczeństwa wiedzy
RobREx - Autonomia dla robotów ratowniczo-eksploracyjnych I konkurs Programu Badań Stosowanych A - obszar: Technologie informacyjne, elektronika, automatyka i robotyka
Umowa nr PBS1/A3/8/2012
Kierownik projektu: Stanisław Ambroszkiewicz
Projekt badawczy rozwojowy i stosowany
01-12-2012 30-11-2015 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu RobREx
Utworzenie uniwersalnej, otwartej, repozytoryjnej platformy hostingowej i komunikacyjnej dla sieciowych zasobów nauki, edukacji i otwartego społeczeństwa wiedzy (SYNAT)
Nr 525882
Kierownik projektu: Beata Konikowska
Projekt badawczy rozwojowy i stosowany
10-08-2010 31-07-2014 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu SYNAT
System Kaliope konwersja brajlowskich (typograficznych) formatów nutowych na postać typograficzną (brajlowską)
Nr R02 0029 10
Kierownik projektu: Włodzimierz Wysocki
Projekt badawczy rozwojowy i stosowany
01-10-2010 31-03-2014 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu Kaliope
System Kaliope
Narodowy Korpus Języka Polskiego
Nr R17 003 03
Kierownik projektu: Adam Przepiórkowski
Projekt badawczy rozwojowy i stosowany
13-12-2007 12-06-2011 Link zewnętrzny - Otwórz nowe okno i przejdź do strony projektu NKJP
Metody heurystyczne dla inteligentnego wspomagania trudnych problemów
Nr N516 3847 34
Kierownik projektu: Zbigniew Michalewicz
Projekt badawczy własny
09-06-2008 08-06-2011 -

Czytaj więcej: Projekty badawcze finansowane z krajowych środków publicznych


© 2021 INSTYTUT PODSTAW INFORMATYKI PAN | Polityka prywatności | Deklaracja dostępności