45 projects found matching your search criteria :
A diachronic formal model of Polish inflection and its implementation
Call: OPUS 8 , Panel: HS2
Principal investigator: dr Marcin Woliński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Compression, logic, formal langauges: new approaches unifying different areas.
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Women in intimate relationships. Empirical and critical study
Call: SONATA 1 , Panel: HS6
Principal investigator: dr Monika Grochalska
Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Nauk Społecznych
Call: OPUS 8 , Panel: ST8
Principal investigator: dr hab. Marcin Brzezicki
Politechnika Wrocławska, Wydział Architektury
Formal theories of truth and nonstandard models of arithmetic
Call: PRELUDIUM 7 , Panel: HS1
Principal investigator: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: OPUS 7 , Panel: NZ7
Principal investigator: prof. Tomasz Grodzicki
Uniwersytet Jagielloński - Collegium Medicum, Collegium Medicum, Wydział Lekarski
Formal versus De Facto Rules in Economic Studies of Postsocialist Countries' Constitutions
Call: OPUS 7 , Panel: HS4
Principal investigator: dr hab. Katarzyna Metelska-Szaniawska
Uniwersytet Warszawski, Wydział Nauk Ekonomicznych
Foundations of Cryptocurrencies
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 1 , Panel: HS4
Principal investigator: dr Hanna Nowak
Uniwersytet Ekonomiczny w Poznaniu, Wydział Zarządzania
Call: OPUS 7 , Panel: HS1
Principal investigator: dr hab. Cezary Cieśliński
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Postawy pracowników organizacji formalnych wobec zmiany organizacyjnej. Analiza socjologiczna
Call: ETIUDA 2 , Panel: HS6
Principal investigator: Witold Nowak
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych
Efficient algorithms and representations in formal languages and automata theory.
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Formal approach to practical problems of information hiding
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Marek Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: PRELUDIUM 5 , Panel: ST5
Principal investigator: Kamil Skonieczny
Instytut Chemii Organicznej PAN
Skutki naruszenia wymogów formalnych oświadczeń w prawie prywatnym
Call: ETIUDA 1 , Panel: HS5
Principal investigator: Mateusz Grochowski
Instytut Nauk Prawnych PAN
Call: MAESTRO 4 , Panel: HS4
Principal investigator: prof. Marek Okólski
Uniwersytet Warszawski, Ośrodek Badań nad Migracjami
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Call: OPUS 4 , Panel: HS2
Principal investigator: prof. Jacek Witkoś
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki
"Who Wins and Who Loses in Parliamentary Elections: From Formal Theory to Empirical Analyses"
Call: SONATA BIS 1 , Panel: HS6
Principal investigator: dr Joshua Dubrow
Instytut Filozofii i Socjologii PAN
Call: PRELUDIUM 3 , Panel: HS3
Principal investigator: dr Bartłomiej Gruszka
Uniwersytet Wrocławski, Wydział Nauk Historycznych i Pedagogicznych
Call: PRELUDIUM 3 , Panel: HS4
Principal investigator: Jaromar Łukowicz
Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji
The methods of formalization and criteria for the rationality of reasoning
Call: OPUS 3 , Panel: HS1
Principal investigator: dr hab. Anna Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Business process discovery methods and process calculus for RESTful systems.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Andrzej Stroiński
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 2 , Panel: HS5
Principal investigator: Mateusz Grochowski
Instytut Nauk Prawnych PAN
Call: SONATA 18 , Panel: ST4
Principal investigator: dr Michał Ociepa
Instytut Chemii Organicznej Polskiej Akademii Nauk
Counting models in formal verification
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
A formal treatment of epistemic injustice
Call: POLONEZ BIS 2 , Panel: HS1
Principal investigator: dr Christoph Merdes
Uniwersytet Jagielloński, Wydział Filozoficzny
From a multilingual parallel corpus to the micro-typology of the PERFECT in Baltic and Slavic
Call: SONATA BIS 11 , Panel: HS2
Principal investigator: dr Dorota Klimek-Jankowska
Uniwersytet Wrocławski, Wydział Filologiczny
Organizational Ethnography of Festivals of Street Performers
Call: PRELUDIUM 19 , Panel: HS4
Principal investigator: Marta Połeć
Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej
Call: OPUS 18 , Panel: ST6
Principal investigator: dr hab. Remigiusz Wiśniewski
Uniwersytet Zielonogórski
Epistemic inaccuracy and foundational issues in formal epistemology
Call: SONATA BIS 9 , Panel: HS1
Principal investigator: dr hab. Leszek Wroński
Uniwersytet Jagielloński, Wydział Filozoficzny
Algorithmic models of prediction: formal properties and philosophical implications
Call: OPUS 16 , Panel: HS1
Principal investigator: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Call: PRELUDIUM 1 , Panel: HS6
Principal investigator: Magdalena Berkowska
Wyższa Szkoła Finansów i Zarządzania w Warszawie, Wydział Psychologii
Automatic analysis of concurrent systems
Call: OPUS 14 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Robotic system design methodology based on a formal specification
Call: PRELUDIUM 13 , Panel: ST7
Principal investigator: Maksym Figat
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Formal features of conscious representations
Call: PRELUDIUM 13 , Panel: HS6
Principal investigator: Simon Del Pin
Uniwersytet Jagielloński, Wydział Filozoficzny
Niestandardowe modele arytmetyki i formalne teorie prawdy
Call: ETIUDA 5 , Panel: HS1
Principal investigator: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii
Call: SONATA BIS 6 , Panel: HS1
Principal investigator: dr hab. Rafał Urbaniak
Uniwersytet Gdański, Wydział Nauk Społecznych
Arithmetic properties of formal groups
Call: OPUS 11 , Panel: ST1
Principal investigator: dr Mariia Vlasenko
Instytut Matematyczny Polskiej Akademii Nauk
Grammatical inference methods in classification of amyloidogenic proteins
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Olgierd Unold
Politechnika Wrocławska
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
Call: OPUS 10 , Panel: HS5
Principal investigator: dr hab. Beata Przybylska-Maszner
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa
Call: OPUS 10 , Panel: HS1
Principal investigator: dr hab. Tomasz Jarmużek
Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny
Call: OPUS 9 , Panel: HS1
Principal investigator: dr hab. Piotr Łukowski
Uniwersytet Łódzki, Wydział Nauk o Wychowaniu