Projekty finansowane przez NCN

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

Weryfikacja założeń wspierających hipotezę bogactwa reprezentacji wzrokowej. Wpływ uwagi na właściwości wzrokowej reprez...

Konkurs: PRELUDIUM 12 , panel: HS6

Kierownik: dr Zuzanna Skóra

Uniwersytet Jagielloński, Wydział Filozoficzny

Nabieganie fali na brzeg - adaptacja i weryfikacja istniejących modeli matematycznych. Opracowanie empirycznej formuły w...

Konkurs: PRELUDIUM 11 , panel: ST8

Kierownik: Michał Piotr Morawski

Instytut Budownictwa Wodnego Polskiej Akademii Nauk

Weryfikacja mechanizmów wpływu pola magnetycznego na wodę i wodne roztwory wybranych elektrolitów w aspekcie osadzania s...

Konkurs: OPUS 11 , panel: ST4

Kierownik: prof. Emilian Julian Chibowski

Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Chemii

Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza numeryczna i weryfikacja doświadczalna metod wyznaczania krytycznego współczynnika uwalniania energii w przypadk...

Konkurs: OPUS 11 , panel: ST8

Kierownik: dr Sylwester Samborski

Politechnika Lubelska, Wydział Mechaniczny

Wyznaczenie dynamicznej odpowiedzi nowoczesnych ceramicznych materiałów kompozytowych - modelowanie teoretyczne i weryfi...

Konkurs: OPUS 11 , panel: ST8

Kierownik: prof. Tomasz Stanisław Sadowski

Politechnika Lubelska, Wydział Budownictwa i Architektury

Dokładne i precyzyjne obliczenia kształtów linii widmowych tlenku węgla zaburzonego argonem oraz ich weryfikacja metodą ...

Konkurs: PRELUDIUM 11 , panel: ST2

Kierownik: Grzegorz Andrzej Kowzan

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

Autonomia woli stron w prawie prywatnym międzynarodowym - potrzeba weryfikacji klasycznego ujęcia w świetle nowych mecha...

Konkurs: PRELUDIUM 11 , panel: HS5

Kierownik: dr Małgorzata Danuta Pohl-Michałek

Uniwersytet Śląski w Katowicach, Wydział Prawa i Administracji

Nowa generacja funkcjonałów macierzy gęstości: konstrukcja i weryfikacja

Konkurs: OPUS 11 , panel: ST4

Kierownik: prof. Jerzy Ryszard Ciosłowski

Uniwersytet Szczeciński, Instytut Fizyki

Bioinformatyczne metody modelowania i weryfikacji hipotezy Świata RNA.

Konkurs: ETIUDA 4 , panel: ST6

Kierownik: Natalia Maria Szóstak

Politechnika Poznańska, Wydział Informatyki

Weryfikacja hipotezy stresu oksydacyjnego, apoptozy i czynnika immunologicznego jako mechanizmów odpowiedzialnych za nis...

Konkurs: OPUS 10 , panel: NZ5

Kierownik: dr hab. Monika Frączek

Instytut Genetyki Człowieka Polskiej Akademii Nauk

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

Weryfikacja hipotezy klątwy surowcowej w Afryce Subsaharyjskiej. Przypadek Tanzanii

Konkurs: OPUS 9 , panel: HS5

Kierownik: dr hab. Andrzej Polus

Uniwersytet Wrocławski, Wydział Nauk Społecznych

Zastosowanie taksonomii integratywnej w wyznaczaniu gatunków: weryfikacja statusu taksonimicznego ryjkowców z podrodzaju...

Konkurs: PRELUDIUM 9 , panel: NZ8

Kierownik: dr Beniamin Grzegorz Wacławik

Uniwersytet Jagielloński, Wydział Biologii

Określenie dynamicznych właściwości materiałów magnetoreologicznych: eksperyment - modelowanie - identyfikacja - weryfik...

Konkurs: PRELUDIUM 9 , panel: ST8

Kierownik: Leszek Józef Frąś

Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk

Bezpośrednie inwestycje zagraniczne a produktywność. Empiryczna weryfikacja koncepcji warunkowego modelu przyczynowo sku...

Konkurs: PRELUDIUM 9 , panel: HS4

Kierownik: Liwiusz Wojciechowski

Uniwersytet Ekonomiczny w Krakowie, Wydział Ekonomii i Stosunków Międzynarodowych

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Małgorzata Zbrzezny

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Automaty z wagami dla własności kwantytatywnych

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Badanie neuronalnych mechanizmów interakcji pomiędzy czytaniem wzrokowym oraz dotykowym jako szansa weryfikacji klasyczn...

Konkurs: PRELUDIUM 8 , panel: HS6

Kierownik: dr Łukasz Bola

Uniwersytet Jagielloński, Wydział Filozoficzny

Weryfikacja jednorodności materiału macierzystego w glebach wytworzonych ze skał krystalicznych i osadowych w strefie od...

Konkurs: SONATA 8 , panel: ST10

Kierownik: dr Jarosław Waroszewski

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Przyrodniczo-Technologiczny

Ujednolicona teoria koreferencji w języku polskim i jej korpusowa weryfikacja

Konkurs: OPUS 8 , panel: HS2

Kierownik: dr Maciej Ogrodniczuk

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Logiki do przetwarzania danych i weryfikacji

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Opracowanie i weryfikacja współbieżnego modelu RCAFE (losowych automatów komórkowych - elementów skończonych) uwzględnia...

Konkurs: SONATA BIS 4 , panel: ST8

Kierownik: dr hab. Łukasz Madej

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

Ku behawioralnym analizom interwencji publicznych. Weryfikacja interdyscyplinarnej metodyki badań

Konkurs: OPUS 7 , panel: HS5

Kierownik: dr Karol Olejniczak

Uniwersytet Warszawski, Instytut Ameryk i Europy

Mechanizm wymiany masy w układach dwufazowych ciecz-ciecz: nowe modele i weryfikacja doświadczalna.

Konkurs: OPUS 6 , panel: ST8

Kierownik: prof. Jerzy Robert Bałdyga

Politechnika Warszawska, Wydział Inżynierii Chemicznej i Procesowej

Weryfikacja w warunkach klinicznych nowego algorytmu termowizyjnych badań przesiewowych stanów chorobowych skóry i tkane...

Konkurs: PRELUDIUM 6 , panel: ST7

Kierownik: Maria Katarzyna Strąkowska

Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

Weryfikacja hipotez w ocenie ryzyka rynkowego

Konkurs: PRELUDIUM 6 , panel: HS4

Kierownik: dr Marta Małecka

Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny

Od grodu do zamku - nowe metody i perspektywy badawcze

Konkurs: PRELUDIUM 6 , panel: HS3

Kierownik: dr Maria Magdalena Legut-Pintal

Politechnika Wrocławska, Wydział Architektury

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Weryfikacja aktualności norm prawa kanonicznego dotyczących przeszkód małżeńskich

Konkurs: OPUS 6 , panel: HS5

Kierownik: prof. Wojciech Marian Góralski

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Prawa Kanonicznego

Analiza modeli ziemskich ośrodkow cieklych oraz modeli klimatycznych CMIP celem ich weryfikacji pod względem zgodności i...

Konkurs: OPUS 6 , panel: ST10

Kierownik: prof. Jolanta Nastula

Centrum Badań Kosmicznych Polskiej Akademii Nauk

Termodynamiczne podstawy projektowania optymalnych funkcjonalnie, modyfikowanych siRNA oraz ich eksperymentalna weryfika...

Konkurs: SONATA BIS 3 , panel: NZ1

Kierownik: dr hab. Anna Pasternak

Instytut Chemii Bioorganicznej Polskiej Akademii Nauk

Weryfikacja przydatności agregatów sadzy do datowania metodą radiowęglową i badań składu izotopowego węgla

Konkurs: OPUS 5 , panel: ST10

Kierownik: dr hab. Helena Hercman

Instytut Nauk Geologicznych Polskiej Akademii Nauk

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

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Mechanizm i granice sądowoadministracyjnej weryfikacji legalności a modele konkretyzacji norm prawa administracyjnego. A...

Konkurs: OPUS 5 , panel: HS5

Kierownik: dr hab. Marcin Stanisław Kamiński

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Weryfikacja nowego mechanizmu rozwoju chorób mitochondrialnych

Konkurs: PRELUDIUM 5 , panel: NZ5

Kierownik: Magdalena Sylwia Kaliszewska

Uniwersytet Warszawski, Wydział Biologii

Weryfikacja dokonań ekumenicznych na obszarze Polski w okresie 1964 -2014

Konkurs: OPUS 5 , panel: HS1

Kierownik: prof. Zdzisław Józef Kijas OFM Conv

Uniwersytet Papieski Jana Pawła II w Krakowie, Wydział Teologiczny

Biologia rozrodu ryb jesiotrowatych-zastosowanie manipulacji genomowych do analizy systemu determinacji płci sterleta Ac...

Konkurs: OPUS 5 , panel: NZ9

Kierownik: dr hab. Dorota Katarzyna Fopp-Bayat

Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Nauk o Środowisku

Struktura atomowa nanowęgli: modelowanie i weryfikacja doświadczalna za pomocą rozpraszania neutronów i promieniowania r...

Konkurs: PRELUDIUM 5 , panel: ST3

Kierownik: Natalia Anna Woźnica

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

Ocena wiarygodności i opracowanie metody weryfikacji tempa deformacji wyznaczanych na podstawie pomiarów GNSS w regionac...

Konkurs: PRELUDIUM 5 , panel: ST10

Kierownik: dr Andrzej Araszkiewicz

Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego, Wydział Inżynierii Lądowej i Geodezji

Plejstoceńskie osady aluwialne i glacifluwialne: porównanie cech litologicznych, próba weryfikacji dotychczasowych model...

Konkurs: OPUS 5 , panel: ST10

Kierownik: prof. Tomasz Zieliński

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych

Eksperyment ATLAS: doświadczalna weryfikacja Modelu Standardowego i poszukiwania sygnałów Nowej Fizyki przy energiach LH...

Konkurs: HARMONIA 4 , panel: ST2

Kierownik: prof. Barbara Krystyna Wosiek

Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego Polskiej Akademii Nauk

Nowe metody parametrycznej weryfikacji modelowej

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Michał Józef Knapik

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Obserwacyjna weryfikacja prawa pociemnienia brzegowego z użyciem zaćmieniowych układów kontaktowych obserwowanych przez ...

Konkurs: OPUS 4 , panel: ST9

Kierownik: prof. Stanisław Andrzej Zoła

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Empiryczna weryfikacja Kołowego Modelu Wielkiej Piątki Hofstee, de Raada i Goldberga

Konkurs: OPUS 4 , panel: HS6

Kierownik: dr Włodzimierz Strus

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

AKSJOLOGICZNE I ETYCZNE PODSTAWY "PODWÓJNEGO PROCESU". NOWA KONCEPTUALIZACJA IDEI TEORETYCZNEJ I JEJ EMPIRYCZNA WERYFIKA...

Konkurs: OPUS 4 , panel: HS6

Kierownik: dr hab. Piotr Radkiewicz

Instytut Psychologii Polskiej Akademii Nauk

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

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Łukasz Tadeusz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Weryfikacja i nowa interpretacja mechanizmów niejednorodnego odkształcenia poli- i monokryształów o strukturze RSC w świ...

Konkurs: OPUS 4 , panel: ST8

Kierownik: dr hab. Andrzej Pawełek

Instytut Metalurgii i Inżynierii Materiałowej im. Aleksandra Krupkowskiego Polskiej Akademii Nauk