Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 206 projektów spełniających kryteria wyszukiwania:

  1. Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

    Konkurs: SONATA 1 , panel: ST6

    Kierownik: dr Michał Wrona

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

  2. Niezmiennicze relacje równoważności

    Konkurs: PRELUDIUM 9 , panel: ST1

    Kierownik: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Czy prawda jest pojęciem niewinnym? Filozoficzno-logiczna analiza deflacjonizmu

    Konkurs: OPUS 1 , panel: HS1

    Kierownik: dr hab. Cezary Cieśliński

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  4. Zintegrowana formalizacja rozumowań normatywnych dotyczących własności deontycznych działań i stanów rzeczy

    Konkurs: OPUS 9 , panel: HS1

    Kierownik: dr Robert Trypuz

    Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

  5. Metodologiczne podstawy wnioskowań w badaniach prowadzonych metodami mieszanymi

    Konkurs: OPUS 8 , panel: HS1

    Kierownik: dr hab. Paweł Kawalec

    Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

  6. Model migracji pustki w górotworze naruszonym, generującej deformacje nieciągłe na powierzchni terenu

    Konkurs: OPUS 8 , panel: ST10

    Kierownik: dr Agnieszka Malinowska

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geodezji Górniczej i Inżynierii Środowiska

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

  8. Nowe perspektywy Arystotelesa "Analityk pierwszych i wtórych". Nowy polski przekład "Analityk" ze wstępem, komentarzem i...

    Konkurs: OPUS 8 , panel: HS1

    Kierownik: prof. Marian Wesoły

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

  9. 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

  10. Co to jest populacja? Darwinowska perspektywa

    Konkurs: PRELUDIUM 8 , panel: HS1

    Kierownik: Adrian Stencel

    Uniwersytet Jagielloński, Wydział Filozoficzny

  11. Logiki do przetwarzania danych i weryfikacji

    Konkurs: SONATA 8 , panel: ST6

    Kierownik: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  12. Permissions, Information and Institutional Dynamics, Obligations, and Rights

    Konkurs: BEETHOVEN 1 , panel: HS1

    Kierownik: dr hab. Piotr Kulicki

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

  13. Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

    Konkurs: MAESTRO 6 , panel: ST6

    Kierownik: prof. Paweł Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  14. Kognitywistyka w poszukiwaniu jedności: unifikacja i integracja badań interdyscyplinarnych

    Konkurs: SONATA BIS 4 , panel: HS1

    Kierownik: dr hab. Marcin Miłkowski

    Instytut Filozofii i Socjologii PAN

  15. Formalne teorie prawdy i niestandardowe modele arytmetyki

    Konkurs: PRELUDIUM 7 , panel: HS1

    Kierownik: Michał Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  16. Grupy definiowalne w ciałach z waluacją, definiowalny problem Knesera-Titsa oraz teorie metastabilne

    Konkurs: SONATA 7 , panel: ST1

    Kierownik: dr Jakub Gismatullin

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  17. Empiryczne źródła wiedzy matematycznej

    Konkurs: OPUS 1 , panel: HS1

    Kierownik: prof. Krzysztof Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  18. Definiowalna dynamika topologiczna i o-minimalność

    Konkurs: PRELUDIUM 7 , panel: ST1

    Kierownik: dr Grzegorz Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  19. Zastosowania mereologii w systemach geometrii bezpunktowych

    Konkurs: OPUS 7 , panel: HS1

    Kierownik: dr Rafał Gruszczyński

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

  20. Formalne teorie prawdy

    Konkurs: OPUS 7 , panel: HS1

    Kierownik: dr hab. Cezary Cieśliński

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  21. Opracowanie metodologii ratingów rynków nieruchomości

    Konkurs: OPUS 7 , panel: HS4

    Kierownik: dr hab. Małgorzata Renigier-Biłozor

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geodezji, Inżynierii Przestrzennej i Budownictwa

  22. Sieci: Podejście Wielodyscyplinarne

    Konkurs: OPUS 7 , panel: ST6

    Kierownik: prof. Krzysztof Apt

    UNIWERSYTET WARSZAWSKI, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

  23. Poznawanie jako wewnętrzne modelowanie. Rola pojęcia modeli i symulacji wewnętrznych w filozoficznych i kognitywistyczny...

    Konkurs: FUGA 3 , panel: HS1

    Kierownik: dr Paweł Gładziejewski

    Instytut Filozofii i Socjologii PAN

  24. Structures of Dialogue in Debate and Financial Discourse: Modelling an 'Ore' for Argument Mining (Struktury dialogowe w ...

    Konkurs: ETIUDA 2 , panel: HS1

    Kierownik: Olena Yaskorska

    Instytut Filozofii i Socjologii PAN

  25. Układy optyki zintegrowanej w nowych strukturach i materiałach ciekłokrystalicznych

    Konkurs: OPUS 6 , panel: ST7

    Kierownik: dr hab. Katarzyna Rutkowska

    POLITECHNIKA WARSZAWSKA, Wydział Fizyki

  26. Metodologia badania roli odpowiedzialności oraz innych wartości w społecznie zorientowanym procesie projektowania

    Konkurs: PRELUDIUM 6 , panel: HS1

    Kierownik: dr Rafał Wodzisz

    Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

  27. Nowe materiały hybrydowe oparte o półprzewodniki szerokopasmowe domieszkowane nanostrukturami węglowymi

    Konkurs: SONATA 6 , panel: ST5

    Kierownik: dr Agnieszka Podborska

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

  28. Recepcja francuskiego konwencjonalizmu w polskiej tradycji filozoficznej

    Konkurs: OPUS 6 , panel: HS1

    Kierownik: dr hab. Krzysztof Szlachcic

    Uniwersytet Wrocławski, Wydział Nauk Społecznych

  29. Metody teorii mnogości w topologii i teorii przestrzeni Banacha.

    Konkurs: OPUS 6 , panel: ST1

    Kierownik: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. Rozgałęziający się czas a semantyka zdań o przygodnej przyszłości

    Konkurs: PRELUDIUM 6 , panel: HS1

    Kierownik: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

  31. Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

    Konkurs: OPUS 6 , panel: HS1

    Kierownik: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  32. Implikacje wybranych aspektów teorii ewolucji dla problemu definiowania życia

    Konkurs: SONATA 6 , panel: HS1

    Kierownik: dr Krzysztof Chodasewicz

    Instytut Filozofii i Socjologii PAN

  33. Konstruowanie specyfikacji i weryfikacja oprogramowania

    Konkurs: OPUS 6 , panel: ST6

    Kierownik: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  34. Rozwój oraz synteza nowoczesnych metod modelowania niepewności w rozwiązaniu wielokryterialnych problemów decyzyjnych...

    Konkurs: OPUS 6 , panel: ST6

    Kierownik: prof. Pavel Sevastsyanau

    Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

  35. Prawdziwe, ale nie zawsze uniwersalne, czyli o naturze praw ekonomicznych

    Konkurs: OPUS 6 , panel: HS4

    Kierownik: dr hab. Łukasz Hardt

    Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

  36. Nowe techniki dla algorytmów skojarzeniowych i przepływowych

    Konkurs: SONATA 6 , panel: ST6

    Kierownik: dr Bartłomiej Bosek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  37. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

    Konkurs: OPUS 6 , panel: ST6

    Kierownik: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  38. Modelowanie rozumowań abdukcyjnych

    Konkurs: SONATA BIS 3 , panel: HS1

    Kierownik: dr hab. Mariusz Urbański

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

  39. Optymalne projektowanie materiałów i struktur kompozytowych poddanych obciążeniom zmęczeniowym

    Konkurs: OPUS 5 , panel: ST8

    Kierownik: prof. Aleksander Muc

    Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Mechaniczny

  40. Relacje tolerancji w kratach i ich wykorzystanie

    Konkurs: OPUS 1 , panel: HS1

    Kierownik: dr hab. Joanna Grygiel

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

  41. 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

  42. Analiza empiryczna procesu podejmowania decyzji w Unii Europejskiej w ramach zwykłej i specjalnej procedury ustawodawcze...

    Konkurs: PRELUDIUM 5 , panel: HS5

    Kierownik: dr Adam Kirpsza

    Uniwersytet Jagielloński, Wydział Studiów Międzynarodowych i Politycznych

  43. Skończenie rozgałęzione struktury relacyjne w badaniach nad logikami modalnymi

    Konkurs: OPUS 5 , panel: HS1

    Kierownik: dr hab. Zofia Kostrzycka

    Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki

  44. Teoria sądu w filozoficznej Szkole Lwowskiej

    Konkurs: SONATA 5 , panel: HS1

    Kierownik: dr Stepan Ivanyk

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  45. Atrybutywne Użycie Deskrypcji Określonych

    Konkurs: PRELUDIUM 5 , panel: HS1

    Kierownik: Wojciech Rostworowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  46. Granice obliczalności dla zapytań rekurencyjnych

    Konkurs: PRELUDIUM 5 , panel: ST6

    Kierownik: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Organizacyjne sposoby radzenia sobie z napięciem między ekonomią daru a logiką rynkową na podstawie przykładu sieci Couc...

    Konkurs: PRELUDIUM 5 , panel: HS4

    Kierownik: Karolina Mikołajewska-Zając

    Akademia Leona Koźmińskiego

  48. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Lidia Tendera

    Uniwersytet Opolski

  49. Zastosowanie modelu poziomów analizy w badaniach nad twierdzeniami współczesnego teizmu naturalistycznego na temat relac...

    Konkurs: OPUS 5 , panel: HS1

    Kierownik: dr Piotr Bylica

    Uniwersytet Zielonogórski, Wydział Humanistyczny

  50. Indukcja dla formuł ograniczonych i jej relatywizacje

    Konkurs: OPUS 5 , panel: ST1

    Kierownik: dr hab. Leszek Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki