Search results
13 projects found matching your search criteria:
-
Principal investigator: Robert Maksymilian Radziej
Uniwersytet Opolski
Call: PRELUDIUM 24, Panel: HS2
-
Principal investigator: dr hab. Hynek Böhm
Uniwersytet Opolski
Call: OPUS 29, Panel: HS5
-
3. From Games to Algorithms: Exploring Reasoning in Description Logics
Principal investigator: dr hab. Barbara Morawska
Uniwersytet Opolski
Call: OPUS 29, Panel: ST6
-
4. Everything I know: a syntactical approach to only-knowing
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Call: OPUS 29, Panel: ST6
-
Principal investigator: dr Elżbieta Maria Teschner
Uniwersytet Opolski
Call: SONATINA 8, Panel: ST10
-
Principal investigator: prof. Krzysztof Zuba
Uniwersytet Opolski
Call: OPUS 26, Panel: HS5
-
Principal investigator: dr hab. Dawid Mariusz Zych
Uniwersytet Opolski
Call: SONATA 19, Panel: ST5
-
8. EAGER: IMPRESS-U: Random Matrix Theory and its Applications to Deep Learning
Principal investigator: dr hab. Ganna Lytova
Uniwersytet Opolski
Call: IMPRESS-U, Panel: ST1
-
9. Analysing Cross-border Co-operation in Visegrád Group countries (V4)
Principal investigator: dr Hynek Böhm
Uniwersytet Opolski
Call: OPUS 19, Panel: HS5
-
10. Determinants and Dynamics of Differentiated Integration in Post-Brexit Europe
Principal investigator: dr hab. Rafał Józef Riedel
Uniwersytet Opolski
Call: OPUS 19, Panel: HS5
-
11. Thermodynamics of the interaction of betacoronaviruses with human cel receptor.
Principal investigator: dr hab. Danuta Witkowska
Uniwersytet Opolski
Call: OPUS 19, Panel: NZ6
-
12. Interaction of iron ions with heat shock protein B1.
Principal investigator: dr Agnieszka Marianna Szebesczyk
Uniwersytet Opolski
Call: SONATA 14, Panel: ST4
-
13. Automatic reasoning about specifications in simple logics - decidability and complexity issues
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Call: OPUS 5, Panel: ST6