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

134 projects found matching your search criteria :

  1. Everything I know: a syntactical approach to only-knowing

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

  2. Insolubilia: The First Medieval Discussions of Logical Antinomies

    Call: OPUS 29 , Panel: HS1

    Principal investigator: dr hab. Magdalena Ewa Bieniak-Nowak

    Uniwersytet Warszawski

  3. NMR Spectroscopy as Molecular Language: A Deep Learning Approach to Bioactivity Prediction

    Call: PRELUDIUM 24 , Panel: NZ7

    Principal investigator: Arkadiusz Bogumił Leniak

    Instytut Farmakologii PAN

  4. Integrated perovskite-polariton circuits for spin logic

    Call: OPUS 28 , Panel: ST3

    Principal investigator: dr Helgi Sigurdsson

    Uniwersytet Warszawski

  5. Composite materials for molecular optoelectronics

    Call: OPUS 2 , Panel: ST5

    Principal investigator: prof. Konrad Szaciłowski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych

  6. Structural complexity measures for foundational theories

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  7. Analysis of quantitative models of computation

    Call: SONATA BIS 14 , Panel: ST6

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  8. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

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

    Call: PRELUDIUM 23 , Panel: ST1

    Principal investigator: Krystian Gajdzica

    Uniwersytet Jagielloński

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

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

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

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

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

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

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

  17. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Aleksander Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

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

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

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

  23. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  25. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr hab. Tomasz Stanisław Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

  28. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

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

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

  31. Continuous logic and its algebraic applications

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

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

  37. Decision procedures in verification

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  39. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

  43. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  45. Logics for qualitative reasoning

    Call: MAESTRO 1 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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

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

  49. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy