Projekty finansowane przez NCN

Rola AMPK, FOXN1 i witaminy D w regulacji włóknienia, gojenia ran i regeneracjiskóry.

Konkurs: OPUS 29 , panel: NZ4

Kierownik: prof. Michał Aleksander Żmijewski

Gdański Uniwersytet Medyczny

Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

Konkurs: OPUS 28 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Na granicy niemożliwego w klasycznej teorii automatów

Konkurs: OPUS 28 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Układ Katalityczny Oparty na Połączeniu Mechanizmów MHAT i SH2: Nowa Platforma Pozwalająca na Formalne Sprzęganie Niesta...

Konkurs: SONATA 18 , panel: ST4

Kierownik: dr Michał Piotr Ociepa

Instytut Chemii Organicznej Polska Akademia Nauk

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Składniowo-semantyczna analiza leksemów o kształcie TO

Konkurs: PRELUDIUM 21 , panel: HS2

Kierownik: Sebastian Jakub Zawada

Instytut Podstaw Informatyki PAN

A formal treatment of epistemic injustice

Konkurs: POLONEZ BIS 2 , panel: HS1

Kierownik: dr Christoph Merdes

Uniwersytet Jagielloński, Wydział Filozoficzny

Algebraiczne luki spektralne w kohomologii grup

Konkurs: SONATINA 6 , panel: ST1

Kierownik: dr Piotr Mizerka

Instytut Matematyczny Polskiej Akademii Nauk

Genetyczne podłoże komunikacji wokalnej i jego znaczenie w udomowieniu psów

Konkurs: OPUS 22 , panel: NZ8

Kierownik: prof. Wiesław Zbigniew Bogdanowicz

Muzeum i Instytut Zoologii PAN

Od wielojęzycznego korpusu równoległego do semantycznej mikro-typologii PERFECTUM w językach słowiańskich i bałtyckich...

Konkurs: SONATA BIS 11 , panel: HS2

Kierownik: dr Dorota Emilia Klimek-Jankowska

Uniwersytet Wrocławski, Wydział Neofilologii

Reinterpretując anaforę: w stronę podejścia opartego na wieloznaczności

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Antonina Weronika Jamrozik

Uniwersytet Warszawski, Wydział Filozofii

Granice automatycznej analizy systemów współbieżnych

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rekonceptualizacja probabilizmu w kontekstach prawnych

Konkurs: OPUS 21 , panel: HS1

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Amplifikacja formuł synbiotycznych związkami fenolowymi jako czynnik modulujący biodostępność w kontekście hiperglikemii...

Konkurs: PRELUDIUM 20 , panel: NZ9

Kierownik: dr Karolina Tkacz

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Biotechnologii i Nauk o Żywności

Rola receptora witaminy D w odpowiedzi komórek raka jelita grubego na 5-fluorouracyl

Konkurs: SONATA 16 , panel: NZ5

Kierownik: dr Magdalena - Milczarek

Instytut Immunologii i Terapii Doświadczalnej im. Ludwika Hirszfelda Polskiej Akademii Nauk

Etnografia organizacji festiwali artystów ulicznych

Konkurs: PRELUDIUM 19 , panel: HS4

Kierownik: dr Marta Katarzyna Połeć

Akademia Leona Koźmińskiego

Modele obliczeń rozszerzone o dane

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zwierzęta dziko żyjące jako rezerwuar zoonotyczny pierwotniaków z rodzaju Cryptosporidium i Giardia ze szczególnym uwzgl...

Konkurs: PRELUDIUM 18 , panel: NZ7

Kierownik: Dorota Dwużnik-Szarek

Uniwersytet Warszawski, Wydział Biologii

Analiza oraz dekompozycja części sterującej systemu cyber-fizycznego opisanego z zastosowaniem interpretowanej sieci Pet...

Konkurs: OPUS 18 , panel: ST6

Kierownik: dr hab. Remigiusz Grzegorz Wiśniewski

Uniwersytet Zielonogórski

Nietrafność epistemiczna a podstawowe problemy epistemologii formalnej

Konkurs: SONATA BIS 9 , panel: HS1

Kierownik: dr hab. Leszek Jerzy Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

Konkurs: OPUS 17 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

Konkurs: OPUS 16 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

Udział naskórkowego czynnika transkrypcyjnego Foxn1 w regulacji oraz modulacji śródskórnych komórek tłuszczowych (dWAT)...

Konkurs: PRELUDIUM 16 , panel: NZ5

Kierownik: Katarzyna Anna Walendzik

Instytut Rozrodu Zwierząt i Badań Żywności PAN

Wpływ indukowanego hipoksją czynnika Hif-1 alfa oraz czynnika transkrypcyjnego Foxn1 na ukierunkowanie procesu gojenia u...

Konkurs: OPUS 14 , panel: NZ5

Kierownik: dr hab. Barbara Gawrońska-Kozak

Instytut Rozrodu Zwierząt i Badań Żywności PAN

Automatyczna analiza systemów współbieżnych

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Atom. Substancja. System. Badania z zakresu ontologii topologicznej

Konkurs: OPUS 14 , panel: HS1

Kierownik: dr hab. Janusz Kaczmarek

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Konkurs: OPUS 14 , panel: ST1

Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logika deontyczna na potrzeby samochodów autonomicznych

Konkurs: HARMONIA 9 , panel: HS1

Kierownik: prof. Piotr Wojciech Kulicki

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Filozoficzna i formalna analiza jakościowych logik przestrzeni

Konkurs: SONATA 13 , panel: HS1

Kierownik: dr Adam Trybus

Uniwersytet Zielonogórski, Wydział Humanistyczny

Metodyka projektowania sterowników systemów robotycznych oparta na formalnej specyfikacji

Konkurs: PRELUDIUM 13 , panel: ST7

Kierownik: Maksym Figat

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Badania formalnych cech świadomych reprezentacji

Konkurs: PRELUDIUM 13 , panel: HS6

Kierownik: Simon Hviid Del Pin

Uniwersytet Jagielloński, Wydział Filozoficzny

Projekcje zapotrzebowania na opiekę wśród osób starszych w Polsce z uwzględnieniem stanu zdrowia i sytuacji rodzinnej...

Konkurs: PRELUDIUM 12 , panel: HS4

Kierownik: Wojciech Andrzej Łątkowski

Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych

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

Konkurs: POLONEZ 3 , panel: HS6

Kierownik: dr Marianna Strzelecka

Uniwersytet Jagielloński, Wydział Biologii

Pojęciowe, formalne i praktyczne aspekty kryminologicznych i prawniczych zastosowań narzędzi probabilistycznych.

Konkurs: SONATA BIS 6 , panel: HS1

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Własności arytmetyczne grup formalnych

Konkurs: OPUS 11 , panel: ST1

Kierownik: dr Mariia Vlasenko

Instytut Matematyczny Polskiej Akademii Nauk

Metody wnioskowania gramatycznego w klasyfikacji białek amyloidowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Olgierd Ryszard Unold

Politechnika Wrocławska

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

Fenomenologiczne mechanizmy prefabrykowania przestrzeni mentalnych

Konkurs: OPUS 11 , panel: HS1

Kierownik: dr hab. Wojciech Sławomir Krysztofiak

Uniwersytet Szczeciński, Instytut Filozofii i Kognitywistyki

Rada Europejska w procesie kształtowania kompetencji formalnych i nieformalnych w zakresie działań zewnętrznych Unii Eur...

Konkurs: OPUS 10 , panel: HS5

Kierownik: dr hab. Beata Przybylska-Maszner

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa

Lingwistyka formalna w proteomice - modelowanie, analiza i porównywanie hipotez

Konkurs: SONATA 9 , panel: ST6

Kierownik: dr Witold Dyrka

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

Epistemologiczne aspekty zastosowania implikacji treściowej jako narzędzia formalizacji wyrażeń języka naturalnego.

Konkurs: OPUS 9 , panel: HS1

Kierownik: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

Demokracja bezpośrednia w Europie Środkowej i Wschodniej po 1989 roku: wymiar formalnoprawny i praktyczny. Analiza polit...

Konkurs: OPUS 8 , panel: HS5

Kierownik: prof. Maria Marczewska-Rytko

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

Model formalny diachronicznego opisu fleksji polskiej i jego komputerowa implementacja

Konkurs: OPUS 8 , panel: HS2

Kierownik: dr Marcin Marian Woliński

Instytut Podstaw Informatyki PAN

Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nowe nurty w architekturze przezroczystych fasad - eksperymenty formalne, innowacje technologiczne

Konkurs: OPUS 8 , panel: ST8

Kierownik: dr hab. Marcin Michał Brzezicki

Politechnika Wrocławska, Wydział Architektury

SYNAMET - mikrokorpus metafor synestezyjnych. Formalizacja opisu i wypracowanie efektywnych metod analizy metafor w dysk...

Konkurs: OPUS 8 , panel: HS2

Kierownik: dr hab. Magdalena Anna Zawisławska

Uniwersytet Warszawski, Wydział Polonistyki

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii