Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

129 projects found matching your search criteria :

  1. Structural complexity measures for foundational theories

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  2. Analysis of quantitative models of computation

    Call: SONATA BIS 14 , Panel: ST6

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  3. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

  4. Logarithmic properties of both A-partition and A-composition functions

    Call: PRELUDIUM 23 , Panel: ST1

    Principal investigator: Krystian Gajdzica

    Uniwersytet Jagielloński

  5. Flexible algorithms for facility layout problems in production management and logistics

    Call: OPUS 2 , Panel: HS4

    Principal investigator: dr hab. Jerzy Grobelny

    Politechnika Wrocławska, Wydział Informatyki i Zarządzania

  6. Robert Halifax's Theory of the Will and Its Impact on Vienna's Voluntarism in the 15th Century

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi

  7. Relation based semantics: axiomatic and tableaux proof-calculi

    Call: OPUS 26 , Panel: HS1

    Principal investigator: dr hab. Tomasz Dariusz Jarmużek

    Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

  8. Higher-order logic and absoluteness phenomena in set theory

    Call: SONATA 19 , Panel: HS1

    Principal investigator: dr Bartosz Wcisło

    Uniwersytet Gdański, Wydział Nauk Społecznych

  9. Dynamics modeling of four-wheeled mobile robot and tracking control of its motion with limitation of wheels slip

    Call: OPUS 2 , Panel: ST7

    Principal investigator: dr hab. Maciej Tomasz Trojnacki

    Przemysłowy Instytut Automatyki i Pomiarów PIAP

  10. Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Michał Tomasz Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  11. Policy of promoting healthy eating - an international comparative analysis and research on the conditions of effectivene...

    Call: OPUS 25 , Panel: HS5

    Principal investigator: dr hab. Paweł Marek Bryła

    Uniwersytet Łódzki, Wydział Studiów Międzynarodowych i Politologicznych

  12. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  13. 80 years of investigations on natural deduction and sequent calculi

    Call: OPUS 2 , Panel: HS1

    Principal investigator: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno Historyczny

  14. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

  15. Representations of algebraic semantics for substructural logics

    Call: OPUS 24 (LAP) , Panel: HS1

    Principal investigator: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  16. Structure and algorithms for graph classes defined by transduction-closed properties

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. At the Intersections of Ethics, Philosophy of Nature, and Logic. Richard FitzRalph's and Richard Kilvington's Voluntaris...

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

  18. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Dynamic epistemic logic and the problem of logical omniscience

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Arkadiusz Jerzy Wójcik

    Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

  20. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  21. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Call: OPUS 23 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  22. The development of a simultaneous message-passing protocol with structured light

    Call: OPUS 23 , Panel: ST7

    Principal investigator: dr Mateusz Michał Szatkowski

    Politechnika Wrocławska

  23. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  24. How to understand nonsense? The role of imagination in Ludwig Wittgenstein's Tractatus Logico-Philosophicus

    Call: SONATINA 6 , Panel: HS1

    Principal investigator: dr Krystian Bogucki

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  25. Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

    Call: OPUS 22 , Panel: HS1

    Principal investigator: prof. Andrzej Pietruszczak

    Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

  26. Continuous logic and its algebraic applications

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. The categories of qualitativeness and individuality in logic, ontology and physics

    Call: OPUS 22 , Panel: HS1

    Principal investigator: prof. Tomasz Franciszek Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

  28. Relationships between algebraic, modal and many-valued quantum logics

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Elżbieta Jennifer Drozdowska

    Katolicki Uniwersytet Lubelski Jana Pawła II

  29. Extensional Ontology and Philosophical Logic

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Andrzej Paweł Biłat

    Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

  30. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  31. Reasoning in Biblical Exegesis: from Stephen Langton to Thomas Aquinas

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Marcin Lech Trepczyński

    Uniwersytet Warszawski, Wydział Filozofii

  32. Decision procedures in verification

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  33. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  34. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Logico-philosophical foundations of geometry and topology

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Rafał Gruszczyński

    Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

  36. Global inversion as a tool of quantitative interpretation of resistivity logs in thin-bedded rock formations

    Call: PRELUDIUM 19 , Panel: ST10

    Principal investigator: Michał Marek Wilkosz

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geologii, Geofizyki i Ochrony Środowiska

  37. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

    Call: OPUS 19 , Panel: ST6

    Principal investigator: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  38. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Intelligent approaches for facility layout problems in management, production, and logistics

    Call: OPUS 18 , Panel: HS4

    Principal investigator: dr hab. Rafał Michalski

    Politechnika Wrocławska

  40. Logics for qualitative reasoning

    Call: MAESTRO 1 , Panel: HS1

    Principal investigator: dr hab. Joanna Golińska-Pilarek

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  41. Logic operations in spin-polarized semi-magnetic exciton-polariton condensates

    Call: PRELUDIUM 17 , Panel: ST3

    Principal investigator: Rafał Wiesław Mirek

    Uniwersytet Warszawski, Wydział Fizyki

  42. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Call: OPUS 16 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

  43. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Marek Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  44. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  45. Model-theoretic methods in logic and the foundations of mathematics and science

    Call: OPUS 15 , Panel: HS1

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  46. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Ksawery Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  47. Research on sorption processes intensification methods in modified constructions of adsorbent beds

    Call: OPUS 15 , Panel: ST8

    Principal investigator: prof. Jarosław Marek Krzywański

    Akademia im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

  48. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  49. Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics

    Call: SONATINA 2 , Panel: HS1

    Principal investigator: Paweł Pawłowski

    Uniwersytet Gdański, Wydział Nauk Społecznych

  50. Log-concave Measures and Geometry of Convex Bodies

    Call: PRELUDIUM 1 , Panel: ST1

    Principal investigator: Piotr Nayar

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy