Zmiana języka

Projects search

Change search criteria ↓

Search results

125 projects found matching your search criteria:

  1. 51. Philosophical-logical foundations of mechanistic causation

    Principal investigator: dr Michał Oleksowicz

    Uniwersytet Mikołaja Kopernika

    Call: SONATINA 8, Panel: HS1

  2. 52. Logical and epistemological criteria of salience in the foundations of mathematics

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

    Call: SONATA BIS 12, Panel: HS1

  3. 53. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 23, Panel: ST6

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

    Principal investigator: prof. Tomasz Franciszek Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 22, Panel: HS1

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

    Principal investigator: Rafał Wiesław Mirek

    Uniwersytet Warszawski, Wydział Fizyki

    Call: PRELUDIUM 17, Panel: ST3

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

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

    Call: OPUS 16, Panel: ST6

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

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 15, Panel: HS1

  8. 58. Finding Applications for Logic with Partial Functions

    Principal investigator: dr hab. Jean Marie de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 9, Panel: ST6

  9. 59. Extremal axioms: logical, mathematical and cognitive aspects

    Principal investigator: prof. Jerzy Pogonowski

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

    Call: OPUS 9, Panel: HS1

  10. 60. Logical tunnel capacity control - a traffic routing and protection strategy for communication networks with variable lin…

    Principal investigator: prof. Michał Paweł Pióro

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

    Call: OPUS 9, Panel: ST7

  11. 61. Numerical and structural invariants in algebra, logic and constraint satisfaction problems

    Principal investigator: prof. Paweł Maria Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: MAESTRO 6, Panel: ST6

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

  13. 63. Continuous logic and its algebraic applications

    Principal investigator: prof. Aleksander Iwanow

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 1, Panel: ST1

  14. 64. How innocent is the concept of truth? Philosophical and logical analysis of deflationism

    Principal investigator: dr hab. Cezary Cieśliński

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 1, Panel: HS1

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

  16. 66. Scalable reasoning about concurrent imperative programs

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 12, Panel: ST6

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

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

    Principal investigator: dr hab. Jerzy Grobelny

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

    Call: OPUS 2, Panel: HS4

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

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

  20. 70. Structural complexity measures for foundational theories

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

    Call: WEAVE-UNISONO, Panel: HS1

  21. 71. Analysis of quantitative models of computation

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

    Call: SONATA BIS 14, Panel: ST6

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

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

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

  25. 75. Polynomial finite state computation

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: MAESTRO 14, Panel: ST6

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

    Principal investigator: dr Mateusz Michał Szatkowski

    Politechnika Wrocławska

    Call: OPUS 23, Panel: ST7

  27. 77. Transcendental Arguments. Models and Applications

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

    Call: PRELUDIUM 21, Panel: HS1

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

  29. 79. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

    Call: OPUS 20, Panel: HS1

  30. 80. Robust Formalisms for Quantitative Reasoning

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 20, Panel: ST6

  31. 81. Time, Truth and modality

    Principal investigator: dr Jacek Marcin Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

    Call: SONATA 16, Panel: HS1

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

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

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

  35. 85. Machine learning and automatic theorem proving

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 15, Panel: ST6

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

  37. 87. Effective computations in predicative mathematics

    Principal investigator: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATINA 2, Panel: ST6

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

  39. 89. Substantive semantics for normative language (on the basis of an analysis of meaning of 'ought')

    Principal investigator: dr Joanna Magdalena Klimczyk

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

    Call: OPUS 12, Panel: HS1

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

  41. 91. Separability problem in automata theory

    Principal investigator: dr Wojciech Karol Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 11, Panel: ST6

  42. 92. The Paraphrase Method and Ontological Disputes. The Analysis of Carnap's, Ajdukiewicz's and Quine's Views

    Principal investigator: Artur Gerard Kosecki

    Uniwersytet Szczeciński, Wydział Humanistyczny

    Call: PRELUDIUM 11, Panel: HS1

  43. 93. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

    Principal investigator: dr Karol Pąk

    Uniwersytet w Białymstoku, Instytut Informatyki

    Call: SONATA 10, Panel: ST6

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

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

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

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

  48. 98. Reasoning about programs in higher-order languages

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 8, Panel: ST6

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

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

Graphic design and implementation: Jakub Piotrowski