Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 99 projektów spełniających kryteria wyszukiwania:

  1. Hybrydyzacja fragmentów logiki Halperna-Shohama

    Konkurs: PRELUDIUM 12 , panel: HS1

    Kierownik: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  2. Szeregowanie zadań w sieciach zbierających dane

    Konkurs: SONATA 12 , panel: ST6

    Kierownik: dr Joanna Berlińska

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

  3. Algorytmiczna i aksjomatyczna analiza systemów punktowania komitetów

    Konkurs: OPUS 11 , panel: ST6

    Kierownik: dr hab. Piotr Faliszewski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

  4. W poszukiwaniu nowych logik komputerowych

    Konkurs: OPUS 11 , panel: ST6

    Kierownik: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  5. Miary statystycznej złożoności i nieprzewidywalności strategii oparte na pojęciu entropii w grach ekonomicznych

    Konkurs: SONATA 11 , panel: HS4

    Kierownik: dr Fryderyk Falniowski

    UNIWERSYTET EKONOMICZNY W KRAKOWIE, Kolegium Ekonomii, Finansów i Prawa

  6. Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

    Konkurs: PRELUDIUM 11 , panel: ST6

    Kierownik: dr Maciej Maria Bendkowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  7. Problemy separacji grafów z perspektywy złożoności parametryzowanej.

    Konkurs: PRELUDIUM 10 , panel: ST6

    Kierownik: Paweł Komosa

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  8. NIEZMIENNIKI I METODY TOPOLOGII STOSOWANEJ

    Konkurs: OPUS 10 , panel: ST1

    Kierownik: prof. Wacław Bolesław Marzantowicz

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

  9. Wymiar i reprezentacje częściowych porządków: złożoność obliczeniowa, ograniczenia i strukturalne własności

    Konkurs: SONATA BIS 5 , panel: ST6

    Kierownik: dr Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  10. Przyswajanie złożoności językowej w nauczaniu/uczeniu się języków obcych

    Konkurs: HARMONIA 7 , panel: HS2

    Kierownik: prof. Urszula Paprocka-Piotrowska

    Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Nauk Humanistycznych

  11. Algorytmiczne aspekty synchronizacji

    Konkurs: OPUS 9 , panel: ST6

    Kierownik: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  12. Dokładne ograniczenia dolne przy silnych założeniach złożonościowych.

    Konkurs: PRELUDIUM 9 , panel: ST6

    Kierownik: Arkadiusz Aleksander Socała

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. Przeszukiwanie struktur grafowych

    Konkurs: OPUS 9 , panel: ST6

    Kierownik: dr hab. Dariusz Piotr Dereniowski

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

  14. Zastosowanie nowoczesnych metod algorytmicznych w rozwiązywaniu NP-trudnych problemów klastrowania.

    Konkurs: PRELUDIUM 9 , panel: ST6

    Kierownik: Krzysztof Sornat

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  15. Niezmienniki topologiczne i miary złożoności w działaniu

    Konkurs: OPUS 8 , panel: ST1

    Kierownik: dr hab. Grzegorz Piotr Graff

    Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej

  16. Kwantowe przetwarzanie danych przy silnie ograniczonej pamięci i komunikacji

    Konkurs: SONATA BIS 4 , panel: ST2

    Kierownik: dr hab. Marcin Pawłowski

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

  17. WPŁYW CZŁONKOSTWA W STREFIE EURO NA ZŁOŻONOŚĆ PRODUKTÓW W EKSPORCIE

    Konkurs: PRELUDIUM 7 , panel: HS4

    Kierownik: Tomasz Serwach

    Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny

  18. Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)

    Konkurs: OPUS 7 , panel: ST6

    Kierownik: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  19. Osobliwości i szum, a złożoność informacyjna

    Konkurs: PRELUDIUM 7 , panel: ST1

    Kierownik: Paweł Marek Morkisz

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

  20. Algorytmika problemów o zwartej reprezentacji

    Konkurs: OPUS 7 , panel: ST6

    Kierownik: prof. Wojciech Rytter

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  21. Działania grup skończonych na rozmaitościach, metody i zastosowania topologii współzmienniczej w kontekście twierdzeń ty...

    Konkurs: FUGA 3 , panel: ST1

    Kierownik: dr Zbigniew Błaszczyk

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

  22. Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

    Konkurs: OPUS 6 , panel: HS1

    Kierownik: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  23. Optymalność w złożoności parametryzowanej

    Konkurs: SONATA 6 , panel: ST6

    Kierownik: dr Michał Paweł Pilipczuk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  24. Efektywne energetycznie i inteligentne obliczeniowo sieci bezprzewodowe z kooperacją węzłów: EcoNets

    Konkurs: OPUS 6 , panel: ST7

    Kierownik: prof. Hanna Bogucka

    Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

  25. Efektywna numerycznie wielokryterialna optymalizacja modeli struktur antenowych o dużej złożoności obliczeniowej

    Konkurs: OPUS 6 , panel: ST7

    Kierownik: prof. Sławomir Marcin Kozieł

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

  26. Morfizmy i przekątne "wymarzonych przestrzeni Mori'ego", filogenetyka oraz zastosowania pierścieni Coxa

    Konkurs: SONATA 6 , panel: ST1

    Kierownik: dr hab. Jarosław Buczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  27. Geometria Dużej Skali

    Konkurs: SONATA BIS 3 , panel: ST1

    Kierownik: dr Piotr Wojciech Nowak

    Instytut Matematyczny Polskiej Akademii Nauk

  28. Kombinatoryczne i teorio-informacyjne aspekty komunikacji w systemach rozproszonych.

    Konkurs: PRELUDIUM 5 , panel: ST6

    Kierownik: dr Marcin Kardas

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

  29. Granice obliczalności dla zapytań rekurencyjnych

    Konkurs: PRELUDIUM 5 , panel: ST6

    Kierownik: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Algorytmy odpornej optymalizacji dyskretnej

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Adam Andrzej Kasperski

    Politechnika Wrocławska, Wydział Informatyki i Zarządzania

  31. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

  32. Problemy ciągłe: optymalność, złożoność, podatność

    Konkurs: OPUS 5 , panel: ST1

    Kierownik: prof. Leszek Plaskota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  33. Aktualne trendy w algorytmach parametryzowanych i wykładniczych

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Łukasz Kowalik

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  34. Złożoność aspektów genetycznych w wieloczynnikowych chorobach narządu wzroku - stożku rogówki oraz wysokiej krótkowzrocz...

    Konkurs: ETIUDA 1 , panel: NZ5

    Kierownik: Justyna Anna Karolak

    Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu, Wydział Farmaceutyczny

  35. Złożoność obliczeniowa problemów spójności w grafach

    Konkurs: SONATA 4 , panel: ST6

    Kierownik: dr hab. Marcin Jakub Kamiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. parametry modeli skończonych

    Konkurs: SONATA 4 , panel: ST6

    Kierownik: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Spolegliwość niejednorodnych zadań wielowymiarowych

    Konkurs: PRELUDIUM 4 , panel: ST1

    Kierownik: dr Paweł Siedlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  38. Rola emocji o genezie automatycznej i refleksyjnej w przetwarzaniu heurystycznym i systematycznym na różnych poziomach z...

    Konkurs: SONATA 4 , panel: HS6

    Kierownik: dr Kamil Konrad Imbir

    Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych

  39. Algorytmiczne aspekty wyborów w parlamentach

    Konkurs: HARMONIA 3 , panel: ST1

    Kierownik: dr hab. Piotr Faliszewski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

  40. SOLWERY HYBRYDOWE O LINIOWEJ ZŁOŻONOśCI OBLICZENIOWEJ I PAMIĘCIOWEJ DLA ZADAŃ PROPAGACJI FAL ELEKTROMAGNETYCZNYCH NA MOD...

    Konkurs: HARMONIA 3 , panel: ST1

    Kierownik: dr hab. Maciej Paszyński

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

  41. Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach

    Konkurs: PRELUDIUM 3 , panel: ST6

    Kierownik: dr Michał Paweł Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  42. Złożone modele w problemach szeregowania zadań i metody ich rozwiązania

    Konkurs: OPUS 2 , panel: ST6

    Kierownik: prof. Adam Antoni Janiak

    Instytut Badań Systemowych PAN

  43. Analiza możliwości wykorzystania okna transmisyjnego 1310 nm do realizacji systemów transmisyjnych o niskim stopniu złoż...

    Konkurs: SONATA 2 , panel: ST7

    Kierownik: dr hab. Jarosław Piotr Turkiewicz

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

  44. Wokół logik modalnych - rozstrzygalność i złożoność

    Konkurs: PRELUDIUM 2 , panel: ST6

    Kierownik: Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  45. Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych

    Konkurs: MAESTRO 1 , panel: ST6

    Kierownik: prof. Marek Kubale

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

  46. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

    Konkurs: PRELUDIUM 1 , panel: HS1

    Kierownik: dr Michał Ksawery Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  47. Analiza i opracowanie metod eksploracji procesów w oparciu o algorytmy szkieletowe

    Konkurs: PRELUDIUM 1 , panel: ST6

    Kierownik: dr Adam Paweł Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  48. Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

    Konkurs: SONATA 1 , panel: ST6

    Kierownik: dr Michał Wrona

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

  49. DATALOG w Problemie Spełnialności Więzów

    Konkurs: OPUS 1 , panel: ST6

    Kierownik: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy