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 191 projektów spełniających kryteria wyszukiwania:

  1. Nowe metody parametrycznej weryfikacji modelowej

    Konkurs: PRELUDIUM 4 , panel: ST6

    Kierownik: Michał Knapik

    Instytut Podstaw Informatyki PAN

  2. Scyntylatory na bazie złożonych tlenków w rożnych formach krystalicznych: porównawcze badania luminescencji oraz procesó...

    Konkurs: OPUS 4 , panel: ST5

    Kierownik: prof. Zorenko Yuriy

    Uniwersytet Kazimierza Wielkiego, Wydział Matematyki, Fizyki i Techniki

  3. 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

  4. Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

    Konkurs: PRELUDIUM 4 , panel: ST6

    Kierownik: dr Karol Pąk

    Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

  5. Nowe pojęcie skończoności w teorii obliczeń

    Konkurs: OPUS 4 , panel: ST6

    Kierownik: dr hab. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

    Konkurs: PRELUDIUM 4 , panel: ST6

    Kierownik: Łukasz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  7. Modularna semantyka operacyjna: podejście bialgebraiczne

    Konkurs: SONATA BIS 2 , panel: ST6

    Kierownik: dr hab. Bartosz Klin

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  8. Automatyzacja wnioskowania konstruktywnego

    Konkurs: OPUS 4 , panel: ST6

    Kierownik: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. parametry modeli skończonych

    Konkurs: SONATA 4 , panel: ST6

    Kierownik: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  10. Granice rozstrzygalności w teorii automatów

    Konkurs: SONATA 4 , panel: ST6

    Kierownik: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. Formalny kontekst występowania wyrażeń nominalnych i ich struktura wewnętrzna: generatywna analiza porównawcza

    Konkurs: OPUS 4 , panel: HS2

    Kierownik: prof. Jacek Witkoś

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

  12. Nowe metody logiczno-matematyczne w naukach stosowanych i modelowaniu procesów podejmowania decyzji

    Konkurs: OPUS 4 , panel: HS1

    Kierownik: prof. Jan Hertrich-Woleński

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

  13. Obliczenia rozproszone w sieciach dynamicznych

    Konkurs: HARMONIA 3 , panel: ST6

    Kierownik: dr hab. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  14. Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem

    Konkurs: PRELUDIUM 3 , panel: ST6

    Kierownik: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. "Kto wygrywa a kto przegrywa w parlamentarnych wyborach: Od formalnej teorii do analiz empirycznych"

    Konkurs: SONATA BIS 1 , panel: HS6

    Kierownik: dr Joshua Dubrow

    Instytut Filozofii i Socjologii PAN

  16. Identyfikacja chromosomów w gatunkach diploidalnych i tetraploidalnych kozieńców (Aegilops spp.) oraz w formach mieszańc...

    Konkurs: PRELUDIUM 3 , panel: NZ9

    Kierownik: Michał Kwiatek

    Instytut Genetyki Roślin PAN

  17. Badania interdyscyplinarne nad wczesnośredniowiecznym (VII-X/XI wiek) warsztatem garncarskim w dorzeczu środkowej Odry

    Konkurs: PRELUDIUM 3 , panel: HS3

    Kierownik: dr Bartłomiej Gruszka

    Uniwersytet Wrocławski, Wydział Nauk Historycznych i Pedagogicznych

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

    Konkurs: PRELUDIUM 3 , panel: ST6

    Kierownik: dr Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Modelowanie dynamicznych zjawisk przestrzennych, łączące reprezentację statyczno-przestrzenną z dynamiczno-temporalnym k...

    Konkurs: PRELUDIUM 3 , panel: HS4

    Kierownik: Jaromar Łukowicz

    Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

  20. Metody formalizacji i kryteria racjonalności wnioskowań zawodnych

    Konkurs: OPUS 3 , panel: HS1

    Kierownik: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  21. Metody odkrywania procesów biznesowych i rachunek procesów dla systemów zgodnych z stylem architektonicznym REST.

    Konkurs: PRELUDIUM 3 , panel: ST6

    Kierownik: Andrzej Stroiński

    Politechnika Poznańska, Wydział Informatyki

  22. Liczby Ramseya z udziałem grafu C_4

    Konkurs: PRELUDIUM 3 , panel: ST6

    Kierownik: Janusz Dybizbański

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

  23. Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ...

    Konkurs: OPUS 1 , panel: ST6

    Kierownik: dr hab. Anh Linh Nguyen

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  24. Prawne skutki naruszenia wymogów formalnych w polskim prawie prywatnym na tle porównawczym. Stan aktualny i perspektywy ...

    Konkurs: PRELUDIUM 2 , panel: HS5

    Kierownik: Mateusz Grochowski

    Instytut Nauk Prawnych PAN

  25. 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

  26. Problemy alokacji zadań obliczeniowych w sieciach komputerowych

    Konkurs: PRELUDIUM 2 , panel: ST6

    Kierownik: dr Marcin Krzywkowski

    POLITECHNIKA GDAŃSKA

  27. Badania nad syntezą nanokompozytów opartych na nanostrukturalnych formach węgla i poliolefinach do zjawiska uniepalnieni...

    Konkurs: SONATA 2 , panel: ST5

    Kierownik: dr Xuecheng Chen

    Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Technologii i Inżynierii Chemicznej

  28. Kody w Z^2: rozstrzygalność i algorytmy weryfikacji, własność defektu, gęstość asymptotyczna, pokrycia, słabe kody...

    Konkurs: OPUS 2 , panel: ST6

    Kierownik: dr Włodzimierz Moczurad

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  29. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  30. Religia i duchowość w RPA, Botswanie i Eswatini. Rdzenne wierzenia, ich przenikanie się z chrześcijaństwem i nowymi form...

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Agnieszka Podolecka

    Uniwersytet Warszawski, Wydział Orientalistyczny

  31. Nowoczesne narzędzia analizy sieci złożonych

    Konkurs: OPUS 25 , panel: ST6

    Kierownik: dr Małgorzata Sulkowska

    Politechnika Wrocławska

  32. Optymalne i probabilistyczne uczenie operacji kwantowych

    Konkurs: OPUS 24 , panel: ST6

    Kierownik: dr hab. Zbigniew Puchała

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  33. Automation of the Problem of Unification in Description Logics

    Konkurs: POLONEZ BIS 3 , panel: ST6

    Kierownik: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  34. Układ Katalityczny Oparty na Połączeniu Mechanizmów MHAT i SH2: Nowa Platforma Pozwalająca na Formalne Sprzęganie Niesta...

    Konkurs: SONATA 18 , panel: ST4

    Kierownik: dr Michał Ociepa

    Instytut Chemii Organicznej Polskiej Akademii Nauk

  35. Wymiar i Boolowski wymiar częściowych porządków

    Konkurs: OPUS 24 , panel: ST6

    Kierownik: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  36. Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

    Konkurs: SONATA 18 , panel: ST6

    Kierownik: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Modele obliczeniowe w formalnej weryfikacji

    Konkurs: SONATA BIS 12 , panel: ST6

    Kierownik: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  38. Skończenie stanowe obliczenia wielomianowe

    Konkurs: MAESTRO 14 , panel: ST6

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. Algebra liniowa w wymiarze skończenie-orbitowym

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych

    Konkurs: OPUS 1 , panel: ST6

    Kierownik: prof. Andrzej Szałas

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Problemy spełnialności i równoważności dla skończonych algebr

    Konkurs: OPUS 23 , panel: ST6

    Kierownik: dr Jacek Krzaczkowski

    Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

  42. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

    Konkurs: PRELUDIUM 21 , panel: ST6

    Kierownik: Marta Piecyk

    Politechnika Warszawska

  43. Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

    Konkurs: OPUS 23 , panel: ST6

    Kierownik: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. A formal treatment of epistemic injustice

    Konkurs: POLONEZ BIS 2 , panel: HS1

    Kierownik: dr Christoph Merdes

    Uniwersytet Jagielloński, Wydział Filozoficzny

  45. Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej

    Konkurs: SONATA 17 , panel: ST6

    Kierownik: dr Tomáš Masařík

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  46. Metoda ujednoliconej wymiany reguł na poziomie semantycznym w systemach z bazą wiedzy. (SaMURaI)

    Konkurs: PRELUDIUM 2 , panel: ST6

    Kierownik: Krzysztof Kaczor

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

  47. Od wielojęzycznego korpusu równoległego do semantycznej mikro-typologii PERFECTUM w językach słowiańskich i bałtyckich...

    Konkurs: SONATA BIS 11 , panel: HS2

    Kierownik: dr Dorota Klimek-Jankowska

    Uniwersytet Wrocławski, Wydział Filologiczny

  48. Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  49. Granice automatycznej analizy systemów współbieżnych

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

    Konkurs: PRELUDIUM 20 , panel: ST6

    Kierownik: Jan Derbisz

    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