Projekty finansowane przez NCN

Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania

Konkurs: OPUS 13 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Projektowanie algorytmów rozproszonych dla silnie obciążonych sieci

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nowe wyzwania dla IBC

Konkurs: OPUS 13 , panel: ST1

Kierownik: prof. Henryk Woźniakowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nieadiabatyczne stany rotacyjne w cząsteczce wodoru

Konkurs: OPUS 13 , panel: ST4

Kierownik: prof. Jacek Komasa

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii

Matematyczna analiza złożonych zagadnień kontaktowych w mechanice ciała stałego i płynów

Konkurs: PRELUDIUM 13 , panel: ST1

Kierownik: dr Shengda Zeng

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Teoretyczne i doświadczalne badania mechanizmu reakcji utleniającego odwodornienia lekkich alkanów katalizowanej przez h...

Konkurs: OPUS 12 , panel: ST4

Kierownik: dr hab. Dorota Rutkowska-Żbik

Instytut Katalizy i Fizykochemii Powierzchni im. Jerzego Habera Polskiej Akademii Nauk

Obliczenia kwantowomechaniczne cząsteczek zawierających ciężkie atomy w rzeczywistych otoczeniach.

Konkurs: SONATA 12 , panel: ST4

Kierownik: dr Małgorzata Olejniczak

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

Algebraic Effects and Continuations

Konkurs: POLONEZ 3 , panel: ST6

Kierownik: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Jeden krok od modelu relacyjnego. Kilka podstawowych zagadek baz danych.

Konkurs: OPUS 12 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Podwójne oblicze jodu w stresie oksydacyjnym. Badanie wpływu obecności anionów jodkowych na stres oksydacyjny.

Konkurs: SONATA 12 , panel: ST4

Kierownik: dr Marta Ignasiak-Kciuk

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii

Metody Cząstek w Biologii Matematycznej

Konkurs: SONATA 12 , panel: ST1

Kierownik: dr hab. Karolina Kropielnicka

Instytut Matematyczny Polskiej Akademii Nauk

Dyfuzja białek w pobliżu modelowych błon biologicznych.

Konkurs: OPUS 12 , panel: ST4

Kierownik: dr hab. Maciej Długosz

Uniwersytet Warszawski, Wydział Fizyki

Entropia w sieciach złożonych

Konkurs: OPUS 12 , panel: ST6

Kierownik: dr hab. Mikołaj Morzy

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Teoretyczne badania własności strukturalnych, elektronowych, magnetycznych i optycznych heterostruktur van der Waalsa sk...

Konkurs: SONATA 12 , panel: ST3

Kierownik: dr Magdalena Popielska

Uniwersytet Warszawski, Wydział Fizyki

Algorytmy uczenia przyrostowego dla złożonych problemów predykcyjnych

Konkurs: SONATA BIS 6 , panel: ST6

Kierownik: dr Wojciech Kotłowski

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Własności ilościowe dla schematów rekurencyjnych wyższego rzędu

Konkurs: SONATA BIS 6 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nowoczesne Metodologie Numeryczne w Mechanice Kwantowej

Konkurs: HARMONIA 8 , panel: ST1

Kierownik: dr Karolina Kropielnicka

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

Skuteczność strategii kontroli zakażeń wobec wewnątrzszpitalnej i międzyszpitalnej transmisji wielolekoopornych szczepów...

Konkurs: UNISONO , panel: ST1

Kierownik: dr hab. Monika Piotrowska

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody geometryczne i komputerowo wspierane dowody w dynamice równań różniczkowych cząstkowych

Konkurs: MAESTRO 8 , panel: ST1

Kierownik: prof. Piotr Zgliczyński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Granice baz danych

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Szymon Toruńczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dyfuzja Arnolda w ograniczonym problemie trzech ciał

Konkurs: OPUS 11 , panel: ST1

Kierownik: dr hab. Maciej Capiński

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

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Powierzchniowo modyfikowane hybrydowe, wielofunkcyjne nanomateriały luminescencyjne i ich znaczenie biologiczne

Konkurs: OPUS 11 , panel: ST5

Kierownik: prof. Stefan Lis

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wydajne algorytmy dla słabych form niedeterminizmu

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr hab. Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Topologia przestrzeni rozwiązań problemów kombinatorycznych

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Marcin Wrochna

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Konkurs: OPUS 11 , panel: ST1

Kierownik: dr hab. Leszek Marcinkowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy aproksymacyjne w obliczu niepełnej informacji

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Geometria przestrzeni Banacha w analizie wielowymiarowych problemów numerycznych

Konkurs: OPUS 11 , panel: ST1

Kierownik: prof. Przemysław Wojtaszczyk

Instytut Matematyczny Polskiej Akademii Nauk

Algebraiczne niezmienniki dla Sieci Petriego z danymi.

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modelowanie gruboziarniste kationów wapniowych, sodowych, magnezowych i potasowych z białkami

Konkurs: PRELUDIUM 11 , panel: ST4

Kierownik: dr Agnieszka Lipska

Uniwersytet Gdański, Wydział Chemii

CZYNNIK KORELACYJNY O POPRAWNEJ ASYMPTOTYCE W OBLICZENIACH KWANTOWOCHEMICZNYCH

Konkurs: OPUS 11 , panel: ST4

Kierownik: prof. Robert Moszyński

Uniwersytet Warszawski, Wydział Chemii

Badania spektroskopowe układów z wiązaniami wodorowymi

Konkurs: OPUS 11 , panel: ST4

Kierownik: prof. Marek Wójcik

Uniwersytet Jagielloński, Wydział Chemii

Attosekundy w biologii, chemii i fizyce: nowe eksperymentalne i teoretyczne oblicze

Konkurs: SYMFONIA 4 , panel: ST4

Kierownik: prof. Robert Moszyński

Uniwersytet Warszawski, Wydział Chemii

Badania nad zastosowaniem polimerów wdrukowanych molekularnie do analizy substancji farmaceutycznych w układach biologic...

Konkurs: OPUS 10 , panel: ST4

Kierownik: dr Krzysztof Noworyta

Instytut Chemii Fizycznej Polskiej Akademii Nauk

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

Modelowanie oddziaływań w międzycząsteczkowych kompleksach chiralnych

Konkurs: OPUS 10 , panel: ST4

Kierownik: dr hab. Tatiana Korona

Uniwersytet Warszawski, Wydział Chemii

Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Metody geometryczne i ścisła numeryka w dynamice układów hamiltonowskich

Konkurs: OPUS 10 , panel: ST1

Kierownik: prof. Piotr Zgliczyński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Modelowanie numeryczne lodu morskiego metodami elementów dyskretnych - rozwój podstaw teoretycznych i metod numerycznych...

Konkurs: OPUS 10 , panel: ST10

Kierownik: dr hab. Agnieszka Herman

Uniwersytet Gdański, Wydział Oceanografii i Geografii

Algorithmic Structure Theory for Sparse Graphs

Konkurs: POLONEZ 1 , panel: ST6

Kierownik: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Optymalność, uniwersalność i sterowalność w teorii obliczeń kwantowych

Konkurs: SONATA BIS 5 , panel: ST1

Kierownik: dr Adam Sawicki

Centrum Fizyki Teoretycznej PAN

Zastosowania logiki z funcjami częściowymi

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Jean de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Odporne i efektywne protokoły dla systemów rozproszonych ograniczonych urządzeń

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Marek Klonowski

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

Algorytmy globalnego dokowania białek oparte na gruboziarnistym modelu UNRES

Konkurs: PRELUDIUM 9 , panel: ST4

Kierownik: dr Paweł Krupa

Uniwersytet Gdański, Wydział Chemii