Projekty badawcze
Europejskie projekty badawcze
Projekty zakończone (do 1 stycznia 2020 r.):
Projekty badawcze współfinansowane z Funduszy Europejskich
Projekty badawcze finansowane z krajowych środków publicznych
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
Kryptoanaliza rodziny funkcji skrótu Keccak 2013/09/D/ST6/03918 - SONATA kierownik projektu: Paweł Kacper Morawiecki |
18-02-2014 | 17-02-2016 | |
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 | |
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 | |
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 | |
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 | |
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 | |
Metoda oceny wyrazistości struktury skupień Nr 2011/01/N/ST6/04174 Kierownik projektu: Ewa Nowakowska Finansowanie: NCN |
07-12-2011 | 06-06-2014 | |
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 | |
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 | |
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 | |
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 | |
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 | 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 | |
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 | - |
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 | [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 | [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 | [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 | [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 | [COMBO] |
Analizator i generator fleksyjny dla języka polskiego - Morfeusz 2 Kierownik projektu: Marcin Woliński |
2003 | 2017 | [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 | [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 | |
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] |