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

  1. Formalne podejście do praktycznych problemów ukrywaniu informacji

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Marek Klonowski

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

  2. Analiza równania populacyjnego uwzględniającego strukturę wielkościową populacji i selektywną śmiertelność

    Konkurs: PRELUDIUM 5 , panel: ST1

    Kierownik: Jędrzej Jabłoński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. Granice obliczalności dla zapytań rekurencyjnych

    Konkurs: PRELUDIUM 5 , panel: ST6

    Kierownik: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. Algorytmy odpornej optymalizacji dyskretnej

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Adam Kasperski

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

  6. 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 Tendera

    Uniwersytet Opolski

  7. Synchronizacja automatów i hipoteza Cerny'ego

    Konkurs: PRELUDIUM 5 , panel: ST6

    Kierownik: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. Badanie własności koalicji i zbiorów bezpiecznych w grafach rozumianych jako podzbiory wierzchołków spełniające określon...

    Konkurs: PRELUDIUM 1 , panel: ST6

    Kierownik: Katarzyna Jesse-Józefczyk

    Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

  9. Badanie polimorfizmu aktywnych substancji farmaceutycznych w odniesieniu do oceny ich reaktywności i trwałości chemiczne...

    Konkurs: SONATA 5 , panel: NZ7

    Kierownik: dr hab. Judyta Cielecka-Piontek

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

  10. Gry kwantowe: teoria i implementacja

    Konkurs: OPUS 1 , panel: ST6

    Kierownik: prof. Jan Sładkowski

    Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

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

  12. Hipoteza BDD/FC i okolice

    Konkurs: PRELUDIUM 5 , panel: ST6

    Kierownik: Tomasz Gogacz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  13. Zderzenia molekuł wodoru z atomami gazów szlachetnych - obliczenia ab initio i porównanie z eksperymentem

    Konkurs: PRELUDIUM 5 , panel: ST4

    Kierownik: dr Piotr Wcisło

    Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

  14. Nowe oblicza solwatochromizmu: Absorpcja dwukwantowa układów molekularnych i nanostruktur w fazie skondensowanej.

    Konkurs: PRELUDIUM 5 , panel: ST4

    Kierownik: dr Małgorzata Wielgus

    Politechnika Wrocławska, Wydział Chemiczny

  15. Nierówności wariacyjne dla problemów punktów stałych operatorów quasi-nieoddalających

    Konkurs: ETIUDA 1 , panel: ST1

    Kierownik: Rafał Zalas

    Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

  16. Nowe metody parametrycznej weryfikacji modelowej

    Konkurs: PRELUDIUM 4 , panel: ST6

    Kierownik: Michał Knapik

    Instytut Podstaw Informatyki PAN

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

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

  19. Rzadkie i prawie-rzadkie reprezentacje w problemach spektroskopii NMR

    Konkurs: SONATA BIS 2 , panel: ST4

    Kierownik: dr hab. Krzysztof Kazimierczuk

    Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

  20. Opracowanie i zastosowanie metod teoretycznych do opisu konfiguracji elektronowej 4f(N-1)5d oraz modelowania przejść f-d...

    Konkurs: OPUS 4 , panel: ST4

    Kierownik: dr hab. Mirosław Karbowiak

    Uniwersytet Wrocławski, Wydział Chemii

  21. Dokładne obliczenia kwantowochemiczne i dynamika ultrazimnych molekuł

    Konkurs: OPUS 4 , panel: ST4

    Kierownik: dr Dariusz Kędziera

    Uniwersytet Mikołaja Kopernika, Wydział Chemii

  22. Symulacje numeryczne dużych odkształceń plastycznych przy pomocy modeli plastycznego płynięcia

    Konkurs: PRELUDIUM 4 , panel: ST1

    Kierownik: Piotr Minakowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  24. Teoretyczne modelowanie efektu rozpuszczalnika w cieczach jonowych: model jawnego rozpuszczalnika

    Konkurs: OPUS 4 , panel: ST4

    Kierownik: dr hab. Andrzej Eilmes

    Uniwersytet Jagielloński, Wydział Chemii

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

  26. Modularna semantyka operacyjna: podejście bialgebraiczne

    Konkurs: SONATA BIS 2 , panel: ST6

    Kierownik: dr hab. Bartosz Klin

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  27. Automatyzacja wnioskowania konstruktywnego

    Konkurs: OPUS 4 , panel: ST6

    Kierownik: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  28. parametry modeli skończonych

    Konkurs: SONATA 4 , panel: ST6

    Kierownik: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  29. Spolegliwość niejednorodnych zadań wielowymiarowych

    Konkurs: PRELUDIUM 4 , panel: ST1

    Kierownik: dr Paweł Siedlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Granice rozstrzygalności w teorii automatów

    Konkurs: SONATA 4 , panel: ST6

    Kierownik: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  31. Badanie struktur wybranych grup związków organicznych z wykorzystaniem techniki mobilności jonów sprzężonej ze spektrome...

    Konkurs: PRELUDIUM 4 , panel: ST4

    Kierownik: dr Anna Troć

    Instytut Chemii Organicznej PAN

  32. Obliczenia rozproszone w sieciach dynamicznych

    Konkurs: HARMONIA 3 , panel: ST6

    Kierownik: dr hab. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  33. Układy niegładkie w matematycznej teorii zagadnień kontaktowych mechaniki

    Konkurs: MAESTRO 3 , panel: ST1

    Kierownik: prof. Stanisław Migórski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  35. Analiza modeli strukturalnych dynamiki populacyjnej w przestrzeniach metrycznych

    Konkurs: PRELUDIUM 3 , panel: ST1

    Kierownik: dr Agnieszka Ulikowska

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. Symulacja teoretyczna parametrów NMR metali ciężkich jako narzędzie badań strukturalnych

    Konkurs: OPUS 1 , panel: ST4

    Kierownik: dr hab. Magdalena Pecul-Kudelska

    Uniwersytet Warszawski, Wydział Chemii

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

  38. Teoretyczne i praktyczne aspekty obliczania homologii wielkich zbiorów danych.

    Konkurs: PRELUDIUM 3 , panel: ST6

    Kierownik: dr Mateusz Juda

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  39. Efektywne algorytmy równoległe rozwiązywania równań różniczkowych cząstkowych

    Konkurs: OPUS 1 , panel: ST1

    Kierownik: prof. Maksymilian Dryja

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. Obraz oddziaływań molekularnych w układach zawierąjacych cząsteczki o właściwościach anestetycznych - od izolowanego mon...

    Konkurs: OPUS 3 , panel: ST4

    Kierownik: prof. Maria Rospenk

    Uniwersytet Wrocławski, Wydział Chemii

  41. Efektywne ogólne metody liniowe dla równań różniczkowych zwyczajnych

    Konkurs: PRELUDIUM 1 , panel: ST1

    Kierownik: dr Michał Braś

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

  42. Otrzymywanie oraz właściwości makrostruktur heteroaromatycznych projektowanych do zastosowań w opto- i bioelektronice...

    Konkurs: OPUS 3 , panel: ST5

    Kierownik: dr hab. Joanna Cabaj

    Politechnika Wrocławska, Wydział Chemiczny

  43. Mechanizm regioselektywnego utleniania pochodnych cholesterolu przez nowy enzym molibdenowy, dehydrogenazę 25-OH sterolo...

    Konkurs: SONATA 3 , panel: ST4

    Kierownik: dr hab. Maciej Szaleniec

    Instytut Katalizy i Fizykochemii Powierzchni im. Jerzego Habera PAN

  44. Problemy odwrotne w nieliniowym zagadnieniu brzegowym

    Konkurs: PRELUDIUM 3 , panel: ST1

    Kierownik: dr Łukasz Płociniczak

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

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

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

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

  48. Zależne od gęstości funkcjonały korelacyjno-wymienne uzyskane w oparciu o bardzo dokładne obliczenia ab initio.

    Konkurs: PRELUDIUM 3 , panel: ST4

    Kierownik: dr Szymon Śmiga

    Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

  49. Analiza alkaloidów chinolinowych metodami spektroskopii oscylacyjnej

    Konkurs: PRELUDIUM 3 , panel: ST4

    Kierownik: Maciej Roman

    Uniwersytet Jagielloński, Wydział Chemii

  50. Badanie struktury stanów wzbudzonych związków chiralnych

    Konkurs: OPUS 3 , panel: ST4

    Kierownik: dr hab. Magdalena Pecul-Kudelska

    Uniwersytet Warszawski, Wydział Chemii