Projekty finansowane przez NCN

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 Zbrzezny

Akademia 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

Nowe metody weryfikacji tożsamości na podstawie dynamicznych cech podpisu odręcznego z wykorzystaniem wybranych metod sz...

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Marcin Zalasiński

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej 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 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 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 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 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 Góralski

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

Nowa metoda planowania ruchu robota kroczącego po nierównym terenie oraz jej weryfikacja eksperymentalna

Konkurs: PRELUDIUM 1 , panel: ST7

Kierownik: dr Dominik Belter

Politechnika Poznańska, Wydział Elektryczny

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 PAN

Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Bożena Woźna-Szcześniak

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

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 PAN

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 PAN

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

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

Konkurs: OPUS 5 , panel: HS5

Kierownik: dr hab. Marcin Kamiński

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Weryfikacja nowego mechanizmu rozwoju chorób mitochondrialnych

Konkurs: PRELUDIUM 5 , panel: NZ5

Kierownik: Magdalena Kaliszewska

Uniwersytet Warszawski, Wydział Biologii

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

Konkurs: OPUS 5 , panel: HS1

Kierownik: prof. Zdzisław 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 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 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 Wosiek

Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego PAN

Nowe metody parametrycznej weryfikacji modelowej

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Michał Knapik

Instytut Podstaw Informatyki PAN

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 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 PAN

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

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy 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 PAN

Metody wnioskowania statystycznego użyteczne w audycie finansowym

Konkurs: OPUS 4 , panel: HS4

Kierownik: prof. Janusz Wywiał

Uniwersytet Ekonomiczny w Katowicach, Wydział Zarządzania

Wiersz litanijny w kulturze regionów Europy

Konkurs: SONATA BIS 2 , panel: HS2

Kierownik: dr hab. Witold Sadowski

Uniwersytet Warszawski, Wydział Polonistyki

Klastry jako nośnik innowacyjności przedsiębiorstw i regionów. Weryfikacja i implementacja modeli azjatyckich w warunkac...

Konkurs: OPUS 1 , panel: HS4

Kierownik: prof. Bogusława Drelich-Skulska

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Nauk Ekonomicznych

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

Analiza wpływu falowania podgrawitacyjnego i wiatrowego na przebudowę dna i brzegu morskiego - rozbudowa i weryfikacja m...

Konkurs: OPUS 3 , panel: ST10

Kierownik: dr hab. Grzegorz Różyński

Instytut Budownictwa Wodnego PAN

Weryfikacja roli Wnt w utrzymaniu pluripotencji zarodkowych komórek macierzystych

Konkurs: SONATA 3 , panel: NZ3

Kierownik: dr Karolina Archacka

Uniwersytet Warszawski, Wydział Biologii

Bioinformatyczne i biofizyczne modele sekwencji DNA wiążących NF-kappaB: przewidywanie lokalizacji miejsc wiązania w gen...

Konkurs: OPUS 3 , panel: NZ2

Kierownik: prof. Marek Kimmel

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Projektowanie i weryfikacja algorytmów sterowania w sieciowych układach regulacji

Konkurs: SONATA 3 , panel: ST6

Kierownik: dr hab. Przemysław Ignaciuk

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Oddziaływanie między kanałem VDAC i minocykliną: eksperymentalna weryfikacja wiązania minocykliny przez kanał VDAC

Konkurs: PRELUDIUM 3 , panel: NZ1

Kierownik: dr Andonis Karachitos

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii

Efekty łamania supersymetrii w rozszerzeniach Modelu Standardowego i ich eksperymentalna weryfikacja w LHC

Konkurs: FUGA 1 , panel: ST2

Kierownik: dr Tomasz Jeliński

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

Weryfikacja i kwantyfikacja ilościowego charakteru syntonów na podstawie serii kokryształów kwasów dihydroksybenzoesowyc...

Konkurs: PRELUDIUM 2 , panel: ST4

Kierownik: dr Anna Hoser

Uniwersytet Warszawski, Wydział Chemii

Model odnajdywania korzyści psychospołecznych i wzrostu osobistego w chorobie przewlekłej: propozycja teoretyczna i jej ...

Konkurs: OPUS 2 , panel: HS6

Kierownik: dr Marlena Kossakowska

SWPS Uniwersytet Humanistycznospołeczny w Warszawie, Wydział Zamiejscowy w Sopocie

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