Search results

101. Networks: a Multidisciplinary Approach

Principal investigator: prof. Krzysztof Rafał Apt

Uniwersytet Warszawski, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

Call: OPUS 7, Panel: ST6

102. Integrated optical circuits in novel liquid crystalline structures and materials

Principal investigator: dr hab. Katarzyna Rutkowska

Politechnika Warszawska, Wydział Fizyki

Call: OPUS 6, Panel: ST7

103. New hybrid materials based on wide band gap semiconductors modified with carbon nanostructures

Principal investigator: dr Agnieszka Podborska

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

Call: SONATA 6, Panel: ST5

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

105. Specification development and software verification

Principal investigator: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 6, Panel: ST6

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

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

108. Attributive Use of Definite Descriptions

Principal investigator: Wojciech Andrzej Rostworowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Call: PRELUDIUM 5, Panel: HS1

109. Frontiers of tractability for recursive queries

Principal investigator: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: PRELUDIUM 5, Panel: ST6

110. Probabilism of Rudolf Carnap.

Principal investigator: Paweł Szymon Pruski

Uniwersytet Jagielloński, Wydział Filozoficzny

Call: PRELUDIUM 5, Panel: HS1

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

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

113. Existence of God. Research concerning ontological proofs.

Principal investigator: dr hab. Mirosław Szatkowski

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Call: OPUS 4, Panel: HS1

114. parameters of finite models

Principal investigator: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: SONATA 4, Panel: ST6

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

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

117. Re-introducing the Early Byzantine Metaphysics: Leontius of Byzantium, Maximus the Confessor, Anastasius Sinaita, Theodo…

Principal investigator: dr hab. Anna Zhyrkova

Akademia Ignatianum w Krakowie, Wydział Filozoficzny

Call: OPUS 3, Panel: HS1

118. Composite materials for molecular optoelectronics

Principal investigator: prof. Konrad Szaciłowski

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

Call: OPUS 2, Panel: ST5

119. Dynamics modeling of four-wheeled mobile robot and tracking control of its motion with limitation of wheels slip

Principal investigator: dr hab. Maciej Tomasz Trojnacki

Przemysłowy Instytut Automatyki i Pomiarów PIAP

Call: OPUS 2, Panel: ST7

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

121. Decision procedures in verification

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Call: OPUS 2, Panel: ST6

122. Acceleration of information searching in large data sets by means of hardware methods

Principal investigator: prof. Kazimierz Wiatr

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Call: OPUS 1, Panel: ST6

123. Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

Principal investigator: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Call: SONATA 1, Panel: ST6

124. Development and implementation of model checking methods for real-time and multi-agent systems

Principal investigator: dr hab. Bożena Woźna-Szcześniak

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

Call: OPUS 1, Panel: ST6

125. Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check…

Principal investigator: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 1, Panel: ST6

Projects search