253 projects found matching your search criteria :
Open problems in valuation theory in positive characteristic
Call: OPUS 13 , Panel: ST1
Principal investigator: prof. Franz-Viktor Kuhlmann
Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny
Quantifiers in Language: Use and Meaning
Call: OPUS 13 , Panel: HS1
Principal investigator: dr Jakub Szymanik
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Dispositional Properties, Acceleration, and Physical Forces
Call: OPUS 13 , Panel: HS1
Principal investigator: dr hab. Jan Hauska
Uniwersytet Jagielloński, Wydział Filozoficzny
Fundamental ontological issues and contemporary physics
Call: OPUS 13 , Panel: HS1
Principal investigator: dr hab. Tomasz Bigaj
Uniwersytet Warszawski, Wydział Filozofii
Call: OPUS 13 , Panel: HS1
Principal investigator: dr hab. Joanna Golińska-Pilarek
Uniwersytet Warszawski, Wydział Filozofii
Ontological and methodological status of symmetries in physics
Call: PRELUDIUM 13 , Panel: HS1
Principal investigator: dr Joanna Luc
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: PRELUDIUM 13 , Panel: HS1
Principal investigator: Marcin Łyczak
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej
Niestandardowe modele arytmetyki i formalne teorie prawdy
Call: ETIUDA 5 , Panel: HS1
Principal investigator: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii
Is general relativity deterministic? Some case studies
Call: ETIUDA 5 , Panel: HS1
Principal investigator: Juliusz Doboszewski
Uniwersytet Jagielloński, Wydział Filozoficzny
Ograniczone, niezmiennicze relacje równoważności
Call: ETIUDA 5 , Panel: ST1
Principal investigator: Tomasz Rzepecki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 12 , Panel: HS1
Principal investigator: dr hab. Marek Nasieniewski
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Acceleration of information searching in large data sets by means of hardware methods
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Kazimierz Wiatr
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Hybridizing Fragments of Halpern-Shoham Logic
Call: PRELUDIUM 12 , Panel: HS1
Principal investigator: Przemysław Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Real possibilities: what they are and how they are represented in physics?
Call: OPUS 12 , Panel: HS1
Principal investigator: prof. Tomasz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Kazimierz Twardowski's place in Polish culture and European philosophy
Call: OPUS 12 , Panel: HS1
Principal investigator: prof. Jacek Jadacki
Uniwersytet Warszawski, Wydział Filozofii
Descriptive set theory: structure and dynamics of Polish groups
Call: SONATA 12 , Panel: ST1
Principal investigator: dr Aleksandra Kwiatkowska
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 12 , Panel: HS1
Principal investigator: dr hab. Justyna Grudzińska-Zawadowska
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Algebraic and topological methods in model theory
Call: SONATA BIS 6 , Panel: ST1
Principal investigator: prof. Krzysztof Krupiński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA BIS 6 , Panel: HS1
Principal investigator: dr hab. Rafał Urbaniak
Uniwersytet Gdański, Wydział Nauk Społecznych
Spatiotemporal histories: theory and applications
Call: HARMONIA 8 , Panel: HS1
Principal investigator: prof. Tomasz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
The problem of explanation in mathematics
Call: OPUS 11 , Panel: HS1
Principal investigator: prof. Krzysztof Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii
Model-theoretic and algebraic properties of separably closed G-fields.
Call: PRELUDIUM 11 , Panel: ST1
Principal investigator: Daniel Hoffmann
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Symbolic computations on first-order definable objects
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Hybrid materials on the verge of fuzzy logic systems and neuromorphic computing devices
Call: PRELUDIUM 11 , Panel: ST3
Principal investigator: Kacper Pilarczyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii
Separability problem in automata theory
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Wojciech Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Phenomenological mechanisms of prefabricating mental spaces
Call: OPUS 11 , Panel: HS1
Principal investigator: dr hab. Wojciech Krysztofiak
Uniwersytet Szczeciński, Wydział Humanistyczny
A quest for new computer logics
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Quantitative aspects of computational complexity in lambda calculus
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: dr Maciej Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 11 , Panel: HS1
Principal investigator: Kamil Łacina
Uniwersytet Jagielloński, Wydział Filozoficzny
Presentism and the Notion of Existence
Call: OPUS 11 , Panel: HS1
Principal investigator: dr hab. Jerzy Gołosz
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: SONATA 1 , Panel: HS4
Principal investigator: dr Łukasz Hardt
Uniwersytet Warszawski, Wydział Nauk Ekonomicznych
Call: SONATA 1 , Panel: HS1
Principal investigator: dr Robert Trypuz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
Teoria modeli z działaniem grupy skończonej
Call: ETIUDA 4 , Panel: ST1
Principal investigator: Daniel Hoffmann
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Rozumowania hipotetyczne i okresy warunkowe
Call: FUGA 5 , Panel: HS1
Principal investigator: dr Maciej Sendłak
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
New methods of parametric modelling of consumer's preferences
Call: SONATA 10 , Panel: HS4
Principal investigator: prof. Mikołaj Czajkowski
Uniwersytet Warszawski, Wydział Nauk Ekonomicznych
Axiomatizations of varieties and quasivarieties
Call: SONATA 1 , Panel: ST1
Principal investigator: dr Michał Stronkowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Model theory and topological dynamics
Call: OPUS 10 , Panel: ST1
Principal investigator: dr hab. Krzysztof Krupiński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Causal investigations in the current economic research
Call: PRELUDIUM 10 , Panel: HS1
Principal investigator: Mariusz Maziarz
Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii i Finansów
Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa
Call: SONATA 10 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Instytut Informatyki
Theories without the tree property of the first kind
Call: SONATA 10 , Panel: ST1
Principal investigator: dr Jan Dobrowolski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.
Call: OPUS 10 , Panel: ST6
Principal investigator: dr hab. Michał Baczyński
Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych
Scientific laws in evolutionary biology
Call: OPUS 10 , Panel: HS1
Principal investigator: dr Krzysztof Chodasewicz
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Mechanisms of geometric cognition
Call: OPUS 10 , Panel: HS1
Principal investigator: dr Mateusz Hohol
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Call: PRELUDIUM 10 , Panel: HS1
Principal investigator: Mateusz Klonowski
Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny
Call: OPUS 10 , Panel: HS1
Principal investigator: dr hab. Tomasz Jarmużek
Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny
Cognitive mechanisms of numeral reference
Call: OPUS 1 , Panel: HS1
Principal investigator: dr hab. Wojciech Krysztofiak
Uniwersytet Szczeciński, Wydział Humanistyczny
Call: SONATA BIS 5 , Panel: HS1
Principal investigator: prof. Anna Brożek
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: OPUS 9 , Panel: NZ8
Principal investigator: dr hab. Dries Kuijper
Instytut Biologii Ssaków PAN
Finding Applications for Logic with Partial Functions
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Jean de Nivelle
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki