Projekty finansowane przez NCN

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

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

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

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

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

Nowe metody parametrycznej weryfikacji modelowej

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Michał Knapik

Instytut Podstaw Informatyki PAN

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

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

Trójfazowe nośniki leków - projektowanie w kierunku wydłużonego uwalniania, opracowanie modelu transportu i jego weryfik...

Konkurs: PRELUDIUM BIS 4 , panel: ST8

Kierownik: prof. Anna Trusek

Politechnika Wrocławska

BIOWRF - zastosowanie i weryfikacja modelu Weather Research and Forecasting do analizy przestrzennych i czasowych cech b...

Konkurs: OPUS 2 , panel: ST10

Kierownik: dr hab. Maciej Kryza

Uniwersytet Wrocławski, Wydział Nauk o Ziemi i Kształtowania Środowiska

Badania wymiany ciepła i wilgoci w wielowarstwowym ubraniu ochronnym poddanym obciążeniom cieplnym i parowym

Konkurs: OPUS 19 , panel: ST8

Kierownik: dr hab. Piotr Łapka

Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa

Teoretyczne projektowanie i przewidywanie struktury i właściwości fosforescencyjnych materiałów krystalicznych z wiązani...

Konkurs: OPUS 19 , panel: ST5

Kierownik: dr Mihails Arhangelskis

Uniwersytet Warszawski, Wydział Chemii

Uczenie się i oduczanie bólu od innych. Weryfikacja i rozszerzenie społeczno-uczeniowego modelu wpływu placebo na ból...

Konkurs: OPUS 18 , panel: HS6

Kierownik: dr hab. Przemysław Bąbel

Uniwersytet Jagielloński, Wydział Filozoficzny

Terapia personalizowana - projekt i weryfikacja technologii optymalizacji i wytwarzania doustnych postaci leku o modyfik...

Konkurs: OPUS 16 , panel: NZ7

Kierownik: prof. Sebastian Polak

Uniwersytet Jagielloński - Collegium Medicum, Collegium Medicum, Wydział Farmaceutyczny

Nowatorska metoda badania wysoko-amplitudowych, szybkozmiennych przepływów pulsacyjnych - modelowanie, optymalizacja i w...

Konkurs: OPUS 13 , panel: ST8

Kierownik: prof. Paweł Ligęza

Instytut Mechaniki Górotworu Polskiej Akademii Nauk

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 Sadowski

Politechnika Lubelska, Wydział Budownictwa i Architektury

Bioinformatyczne metody modelowania i weryfikacji hipotezy Świata RNA.

Konkurs: ETIUDA 4 , panel: ST6

Kierownik: Natalia Szóstak

Politechnika Poznańska, Wydział Informatyki

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

Konkurs: PRELUDIUM 9 , panel: ST8

Kierownik: Leszek Frąś

Instytut Podstawowych Problemów Techniki PAN