Zmiana języka

Projects search

Change search criteria ↓

Search results

279 projects found matching your search criteria:

  1. 51. Logico-philosophical foundations of geometry and topology

    Principal investigator: dr hab. Rafał Gruszczyński

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

    Call: OPUS 20, Panel: HS1

  2. 52. Modeling of abductive reasoning

    Principal investigator: dr hab. Mariusz Paweł Urbański

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

    Call: SONATA BIS 3, Panel: HS1

  3. 53. Symbolic computations on first-order definable objects

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 11, Panel: ST6

  4. 54. Organizational means of dealing with tension between gift economy and market logic based on the example of CouchSurfing.

    Principal investigator: Karolina Joanna Mikołajewska-Zając

    Akademia Leona Koźmińskiego

    Call: PRELUDIUM 5, Panel: HS4

  5. 55. Structural complexity measures for foundational theories

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

    Call: WEAVE-UNISONO, Panel: HS1

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

    Principal investigator: dr Michał Tomasz Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: OPUS 25, Panel: HS1

  7. 57. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 20, Panel: HS1

  8. 58. Relation based semantics: axiomatic and tableaux proof-calculi

    Principal investigator: dr hab. Tomasz Dariusz Jarmużek

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

    Call: OPUS 26, Panel: HS1

  9. 59. Transcendental Arguments. Models and Applications

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

    Call: PRELUDIUM 21, Panel: HS1

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

    Principal investigator: dr Marcin Lech Trepczyński

    Uniwersytet Warszawski, Wydział Filozofii

    Call: SONATA 16, Panel: HS1

  11. 61. Effective computations in predicative mathematics

    Principal investigator: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATINA 2, Panel: ST6

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

    Principal investigator: Paweł Pawłowski

    Uniwersytet Gdański, Wydział Nauk Społecznych

    Call: SONATINA 2, Panel: HS1

  13. 63. Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools.

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

    Call: SONATA BIS 6, Panel: HS1

  14. 64. Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n…

    Principal investigator: dr hab. Piotr Łukowski

    Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

    Call: OPUS 9, Panel: HS1

  15. 65. A unified logical framework for reasoning about deontic properties of actions and states of affairs

    Principal investigator: dr Robert Trypuz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

    Call: OPUS 9, Panel: HS1

  16. 66. Permissions, Information and Institutional Dynamics, Obligations, and Rights

    Principal investigator: dr hab. Piotr Wojciech Kulicki

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

    Call: BEETHOVEN 1, Panel: HS1

  17. 67. Groups definable in valued fields, definable Kneser-Tits problem and metastable theories

    Principal investigator: dr Jakub Gismatullin

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 7, Panel: ST1

  18. 68. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

    Principal investigator: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 6, Panel: HS1

  19. 69. Specification development and software verification

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 6, Panel: ST6

  20. 70. Probabilism of Rudolf Carnap.

    Principal investigator: Paweł Szymon Pruski

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: PRELUDIUM 5, Panel: HS1

  21. 71. Goedel's ontological argument: history, modifications. extensions, and controversies

    Principal investigator: dr hab. Kordula Świętorzecka

    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

    Call: HARMONIA 4, Panel: HS1

  22. 72. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

    Principal investigator: Łukasz Tadeusz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 4, Panel: ST6

  23. 73. Analysis of logical and mathematical assumptions in Piero della Francesca's treatises

    Principal investigator: dr hab. Ryszard Romuald Mirek

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

    Call: OPUS 4, Panel: HS1

  24. 74. Automatisation of constructive logic

    Principal investigator: dr hab. Aleksy Andrzej Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 4, Panel: ST6

  25. 75. Ontology of metaphysics

    Principal investigator: dr hab. Paweł Rafał Garbacz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

    Call: OPUS 4, Panel: HS1

  26. 76. Literature and Science: dialogue, beyond the metaphors, between the two cultures in Italian contemporary literature

    Principal investigator: dr Stefano Pietro Redaelli

    Uniwersytet Warszawski, Wydział Artes Liberales

    Call: SONATA 4, Panel: HS2

  27. 77. New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

    Principal investigator: prof. Jan Hertrich-Woleński

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

    Call: OPUS 4, Panel: HS1

  28. 78. 80 years of investigations on natural deduction and sequent calculi

    Principal investigator: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno Historyczny

    Call: OPUS 2, Panel: HS1

  29. 79. Decision procedures in verification

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 2, Panel: ST6

  30. 80. Insolubilia: The First Medieval Discussions of Logical Antinomies

    Principal investigator: dr hab. Magdalena Ewa Bieniak-Nowak

    Uniwersytet Warszawski

    Call: OPUS 29, Panel: HS1

  31. 81. Analysis of quantitative models of computation

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

    Call: SONATA BIS 14, Panel: ST6

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

    Principal investigator: dr hab. Monika Izabela Michałowska

    Uniwersytet Medyczny w Łodzi

    Call: WEAVE-UNISONO, Panel: HS1

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

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 18, Panel: ST6

  34. 84. Polynomial finite state computation

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: MAESTRO 14, Panel: ST6

  35. 85. Robust Formalisms for Quantitative Reasoning

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 20, Panel: ST6

  36. 86. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

    Principal investigator: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 19, Panel: ST6

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

    Principal investigator: dr hab. Rafał Michalski

    Politechnika Wrocławska

    Call: OPUS 18, Panel: HS4

  38. 88. Infinity in reasoning about data and knowledge

    Principal investigator: dr hab. Filip Marek Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 8, Panel: ST6

  39. 89. Machine learning and automatic theorem proving

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 15, Panel: ST6

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

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

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

    Call: OPUS 15, Panel: ST8

  41. 91. Scalable reasoning about concurrent imperative programs

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 12, Panel: ST6

  42. 92. Separability problem in automata theory

    Principal investigator: dr Wojciech Karol Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 11, Panel: ST6

  43. 93. Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.

    Principal investigator: dr hab. Michał Krzysztof Baczyński

    UNIWERSYTET ŚLĄSKI, Wydział Nauk Ścisłych i Technicznych

    Call: OPUS 10, Panel: ST6

  44. 94. A proposed model of the upward movement voids to the surface, causing discontinuous deformations

    Principal investigator: dr Agnieszka Malinowska

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

    Call: OPUS 8, Panel: ST10

  45. 95. Selected SMT-based model checking methods

    Principal investigator: Agnieszka Małgorzata Zbrzezny

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

    Call: PRELUDIUM 8, Panel: ST6

  46. 96. Networks: a Multidisciplinary Approach

    Principal investigator: prof. Krzysztof Rafał Apt

    Uniwersytet Warszawski, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

    Call: OPUS 7, Panel: ST6

  47. 97. The development and synthesis of modern methods of uncertainty modeling for the solution of multiple-criteria decision m…

    Principal investigator: prof. Pavel Sevastsyanau

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

    Call: OPUS 6, Panel: ST6

  48. 98. Optimal design of composite materials and structures subjected to fatigue loading conditions

    Principal investigator: prof. Aleksander Muc

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

    Call: OPUS 5, Panel: ST8

  49. 99. Attributive Use of Definite Descriptions

    Principal investigator: Wojciech Andrzej Rostworowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: PRELUDIUM 5, Panel: HS1

  50. 100. Frontiers of tractability for recursive queries

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 5, Panel: ST6

Graphic design and implementation: Jakub Piotrowski