Znaleziono 153 projektów spełniających kryteria wyszukiwania:
Konkurs: OPUS 9 , panel: ST7
Kierownik: prof. Michał Pióro
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Charakterystyka mechanizmu degradacji DNA w różnych formach programowanej śmierci komórki u roślin
Konkurs: OPUS 8 , panel: NZ3
Kierownik: dr hab. Krzysztof Leśniewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii
Dlaczego "obcy"? Dlaczego "swój"? Programy i praktyki integrowania Romów we współczesnej Polsce
Konkurs: OPUS 8 , panel: HS5
Kierownik: dr Maciej Witkowski
Akademia WSB, Wydział Nauk Stosowanych
Metody wnioskowania o programach w językach wyższego rzędu
Konkurs: OPUS 8 , panel: ST6
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 8 , panel: HS5
Kierownik: dr hab. Michał Balcerzak
Uniwersytet Mikołaja Kopernika, Wydział Prawa i Administracji
Skalowalne metaheurystyki dla automatycznej syntezy programów
Konkurs: OPUS 8 , panel: ST6
Kierownik: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Konkurs: OPUS 8 , panel: NZ8
Kierownik: dr Maciej Ejsmond
Uniwersytet Jagielloński, Wydział Biologii
Podmiotowość agentów programowych w ujęciu teoretycznoprawnym
Konkurs: PRELUDIUM 8 , panel: HS5
Kierownik: dr Rafał Michalczak
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Heurystyczne Algorytmy Odkrywania Ukrytych Kryteriów dla Problemów Opartych na Testach.
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Paweł Liskowski
Politechnika Poznańska, Wydział Informatyki
Projektowanie i specyfikacja układów sterowania systemami wielorobotowymi
Konkurs: PRELUDIUM 1 , panel: ST7
Kierownik: Piotr Trojanek
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Konkurs: OPUS 7 , panel: NZ7
Kierownik: prof. Jarosław Walkowiak
Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu, Wydział Lekarski I
Konkurs: OPUS 7 , panel: HS2
Kierownik: prof. Jan Okoń
Wyższa Szkoła Europejska im. ks. Józefa Tischnera z siedzibą w Krakowie
Konkurs: OPUS 7 , panel: NZ9
Kierownik: dr hab. Marcin Filipecki
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Wydział Ogrodnictwa, Biotechnologii i Architektury Krajobrazu
Konkurs: OPUS 7 , panel: HS3
Kierownik: dr hab. Sławomir Łotysz
Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów PAN
Sieci: Podejście Wielodyscyplinarne
Konkurs: OPUS 7 , panel: ST6
Kierownik: prof. Krzysztof Apt
UNIWERSYTET WARSZAWSKI, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI
Podejście interaktywne w dynamicznych procesach decyzyjnych
Konkurs: OPUS 6 , panel: HS4
Kierownik: prof. Tadeusz Trzaskalik
Uniwersytet Ekonomiczny w Katowicach, Wydział Informatyki i Komunikacji
Biomarkery programowania płodowego a zdrowie i rozrodczość kobiet
Konkurs: PRELUDIUM 6 , panel: NZ7
Kierownik: Magdalena Klimek
Uniwersytet Jagielloński Collegium Medicum, Collegium Medicum, Wydział Nauk o Zdrowiu
Konstruowanie specyfikacji i weryfikacja oprogramowania
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 6 , panel: HS4
Kierownik: dr Marcin Hernes
Uniwersytet Ekonomiczny we Wrocławiu, Wydział Inżynieryjno-Ekonomiczny
Optymalność w złożoności parametryzowanej
Konkurs: SONATA 6 , panel: ST6
Kierownik: dr Michał Pilipczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 6 , panel: ST8
Kierownik: prof. Tadeusz Sawik
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania
Modele i algorytmy dla pewnej klasy dyskretno-ciągłych problemów rozdziału zasobów
Konkurs: OPUS 6 , panel: ST6
Kierownik: dr hab. Grzegorz Waligóra
Politechnika Poznańska, Wydział Informatyki
Sekwencyjne metody Monte Carlo - modyfikacje i zastosowanie do modelowania procesów stochastycznych
Konkurs: SONATA 6 , panel: HS4
Kierownik: dr Katarzyna Brzozowska-Rup
Politechnika Świętokrzyska, Wydział Zarządzania i Modelowania Komputerowego
Konkurs: OPUS 1 , panel: NZ7
Kierownik: prof. Tomasz Grodzicki
Uniwersytet Jagielloński- Collegium Medicum, Collegium Medicum, Wydział Lekarski
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 1 , panel: ST7
Kierownik: prof. Michał Pióro
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Konkurs: FUGA 2 , panel: ST7
Kierownik: dr Ireneusz Szcześniak
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Ochrona programów komputerowych w prawie własności intelektualnej Unii Europejskiej
Konkurs: PRELUDIUM 1 , panel: HS5
Kierownik: dr Karolina Sztobryn
UNIWERSYTET ŁÓDZKI
Nowe metody parametrycznej weryfikacji modelowej
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: Michał Knapik
Instytut Podstaw Informatyki PAN
Algorytmy aproksymacyjne bazujące na zaokrąglaniu programów liniowych
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 2 , panel: NZ9
Kierownik: dr hab. Agnieszka Bagniewska-Zadworna
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii
Rozwój izolowanego bielma: problemy morfogenezy i gromadzenia skrobi.
Konkurs: OPUS 4 , panel: NZ9
Kierownik: dr hab. Marzena Popielarska-Konieczna
Uniwersytet Jagielloński, Wydział Biologii
Algorytmy dokładne i przybliżone symulacji stochastycznej wielowymiarowej
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr Anna Wawrzyńczak-Szaban
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr Jacek Sroka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: Łukasz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 4 , panel: ST9
Kierownik: dr hab. Michał Bejger
Centrum Astronomiczne im. Mikołaja Kopernika PAN
Automatyzacja wnioskowania konstruktywnego
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Wykonywanie programów a rozwiązywanie problemów: Dwa tryby przetwarzania informacji
Konkurs: OPUS 4 , panel: HS6
Kierownik: prof. Tytus Sosnowski
Uniwersytet Warszawski, Wydział Psychologii
Metody automatycznego programowania z wykorzystaniem podejść semantycznych
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki
Sterowanie współbieżnością i odporność na awarie dla rozproszonej pamięci transakcyjnej
Konkurs: HARMONIA 3 , panel: ST6
Kierownik: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Konkurs: HARMONIA 3 , panel: ST10
Kierownik: prof. Hanna Pawłowska
Uniwersytet Warszawski, Wydział Fizyki
Konkurs: OPUS 3 , panel: NZ7
Kierownik: dr hab. Jan Kaczor
Akademia Wychowania Fizycznego i Sportu im. Jędrzeja Śniadeckiego w Gdańsku, Wydział Wychowania Fizycznego
Konkurs: PRELUDIUM 3 , panel: NZ5
Kierownik: dr Olga Zając-Spychała
Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu, Wydział Lekarski I
Konkurs: PRELUDIUM 3 , panel: HS4
Kierownik: dr Michał Łukowski
Uniwersytet Ekonomiczny w Poznaniu, Wydział Ekonomii
Geometria ściągalnych niskowymiarowych rozmaitości afinicznych.
Konkurs: SONATA 3 , panel: ST1
Kierownik: dr Karol Palka
Instytut Matematyczny PAN
Konkurs: OPUS 3 , panel: ST7
Kierownik: prof. Mieczysław Metzger
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Konkurs: FUGA 1 , panel: HS2
Kierownik: dr Jakub Momro
INSTYTUT BADAŃ LITERACKICH PAN
Konkurs: MAESTRO 2 , panel: NZ1
Kierownik: prof. Igor Konieczny
Uniwersytet Gdański, Międzyuczelniany Wydział Biotechnologii Uniwersytetu Gdańskiego i Gdańskiego Uniwersytetu Medycznego
Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"
Konkurs: OPUS 2 , panel: ST6
Kierownik: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Sprawiedliwa transformacja energetyczna gospodarstw domowych w Europie Środkowo-Wschodniej
Konkurs: SONATA 19 , panel: HS4
Kierownik: dr Liliia Karpinska
Uniwersytet Ekonomiczny w Krakowie, Kolegium Ekonomii, Finansów i Prawa