Search results

1. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

Principal investigator: dr hab. Dorota Leszczyńska-Jasion

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

Call: SONATA BIS 7, Panel: HS1

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

3. Algebraic theory for CSP (tractability, approximation and optimization)

Principal investigator: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: OPUS 7, Panel: ST6

4. Tractable Game-Theoretic Network Centrality Measures

Principal investigator: dr Tomasz Paweł Michalak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: SONATA 5, Panel: ST6

5. Computational mathematics in quantum mechanics

Principal investigator: dr hab. Karolina Kropielnicka

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Call: SONATA BIS 9, Panel: ST1

6. Optimization methods for allocation of large-scale computational resources

Principal investigator: dr hab. Krzysztof Michał Rządca

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 13, Panel: ST6

7. Quantum Information in Quantum Field Theories and Holography: Dynamics and Complexity.

Principal investigator: dr hab. Paweł Piotr Caputa

Uniwersytet Warszawski, Wydział Fizyki

Call: SONATA BIS 9, Panel: ST2

8. Algoritmic theory of working memory capacity on the example of natural language quantifiers processing

Principal investigator: dr hab. Marcin Zajenkowski

Uniwersytet Warszawski

Call: SONATA 1, Panel: HS6

9. Computationally efficient models for screening of 5-th generation organic light-emitting molecules

Principal investigator: Daria Renata Drwal

Politechnika Łódzka

Call: PRELUDIUM 23, Panel: ST4

10. Computational design of magnetic metal-organic frameworks using ab initio crystal structure prediction

Principal investigator: dr hab. Mihails Arhangelskis

Uniwersytet Warszawski, Wydział Chemii

Call: PRELUDIUM BIS 4, Panel: ST5

11. A computational method for description of the intermolecular interactions in excited states.

Principal investigator: dr Ewa Maria Pastorczak

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Call: SONATA 13, Panel: ST4

12. Development of a novel variational method for computing electronic excitations based on short-range density functionals.

Principal investigator: dr hab. Katarzyna Pernal

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Call: OPUS 3, Panel: ST4

13. Computational topological dynamics

Principal investigator: prof. Marian Mrozek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: MAESTRO 6, Panel: ST1

14. The information-entropy origins of chemical aromaticity: theory and applications

Principal investigator: dr Dariusz Wojciech Szczepanik

Uniwersytet Jagielloński, Wydział Chemii

Call: SONATA BIS 11, Panel: ST4

15. Development of the adiabatic variational theory for cold atom-diatomic molecule collision experiments

Principal investigator: dr Mariusz Pawlak

Uniwersytet Mikołaja Kopernika, Wydział Chemii

Call: SONATA 12, Panel: ST4

16. Spin-orbit coupling matrix elements from the Hermitian formulation of coupled cluster response theory

Principal investigator: dr Aleksandra Maria Tucholska

Uniwersytet Warszawski, Wydział Chemii

Call: PRELUDIUM 11, Panel: ST4

17. Development of a new tool for electronic resonances using multireference algebraic diagrammatic construction (MR-ADC) th…

Principal investigator: dr Koushik Chatterjee

Uniwersytet Warszawski

Call: SONATA 20, Panel: ST4

18. Spectroscopy, formation, and application of ultracold highly polar KAg and CsAg molecules: theory and experiment

Principal investigator: dr hab. Michał Józef Tomza

Uniwersytet Warszawski, Wydział Fizyki

Call: OPUS 22, Panel: ST4

19. Computational aspects of infinite-duration games

Principal investigator: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 21, Panel: ST6

20. A Multi-scale Model of Reinforcement Bars Corrosion Based on the Concentrated Electrolyte Theory and Three Dimensional H…

Principal investigator: prof. Robert Józef Filipek

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Materiałowej i Ceramiki

Call: OPUS 19, Panel: ST8

21. Development of a new class of hybrid functionals within density functional theory.

Principal investigator: dr Szymon Filip Śmiga

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Call: OPUS 19, Panel: ST4

22. Implementation of yield line theory to the load-capacity estimation of thinwalledmembers under combined load

Principal investigator: prof. Maria Kotełko

Politechnika Łódzka, Wydział Mechaniczny

Call: OPUS 18, Panel: ST8

23. Computational aspects of non-Euclidean geometries

Principal investigator: dr Eryk Wacław Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 18, Panel: ST6

24. Computational methods for high dimensional statistical learning

Principal investigator: dr hab. Błażej Grzegorz Miasojedow

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 16, Panel: ST1

25. Spatial Dimension of Cultural Transmission of Folk Tunes - Statistical and Computational Analysis of Melodies Collected …

Principal investigator: Rafał Ireneusz Miśta

Uniwersytet Warszawski, Instytut Studiów Społecznych im. prof. Roberta B. Zajonca

Call: PRELUDIUM 15, Panel: HS2

26. Theory of relativistic and quantum electrodynamics effects for the prediction of dielectric and refractive properties of…

Principal investigator: prof. Bogumił Stanisław Jeziorski

Uniwersytet Warszawski, Wydział Chemii

Call: OPUS 14, Panel: ST4

27. Computational aspects of property (T)

Principal investigator: dr Marek Stanisław Kaluba

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Call: SONATA 13, Panel: ST1

28. High-resolution theoretical molecular specttroscopy for the ground and excited states of molecules by explicitly correla…

Principal investigator: prof. Robert Moszyński

Uniwersytet Warszawski, Wydział Chemii

Call: OPUS 13, Panel: ST4

29. Models, methods and algorithms of computational network science

Principal investigator: prof. Przemysław Ryszard Kazienko

Politechnika Wrocławska

Call: OPUS 11, Panel: ST6

30. Computational Genomics: Problems, Algorithms and Models

Principal investigator: dr hab. Paweł Piotr Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 10, Panel: ST6

31. Computational Analysis of Applied Weighted Voting Games

Principal investigator: dr Oskar Skibski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: SONATA 10, Panel: ST6

32. Development of enhanced theory, numerical methods and computer programs for simulation of hydraulic fractures and accomp…

Principal investigator: prof. Aleksandr Linkov

Politechnika Rzeszowska im. Ignacego Łukasiewicza, Wydział Matematyki i Fizyki Stosowanej

Call: OPUS 10, Panel: ST8

33. Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

Principal investigator: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: SONATA BIS 5, Panel: ST6

34. Modeling and management of correlation between performance and energy consumption in parallel computing platforms

Principal investigator: dr Krzysztof Rojek

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Call: SONATA 9, Panel: ST6

35. Opracowanie i implementacja nowych, hybrydowych funkcjonałów wymienno-korelacyjnych w teorii funkcjonałów gęstości (DFT)…

Principal investigator: Adam Tomasz Buksztel

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Call: ETIUDA 3, Panel: ST4

36. Coupling of nuclear and electronic motion in many-electron diatomic molecules - full configuration-interaction calculati…

Principal investigator: prof. Bogumił Stanisław Jeziorski

Uniwersytet Warszawski, Wydział Chemii

Call: OPUS 8, Panel: ST4

37. New models of the coupled cluster theory with inclusion of the relativistic effects for the study of the potential energ…

Principal investigator: prof. Monika Agnieszka Musiał

UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

Call: OPUS 6, Panel: ST4

38. New methods of comprehensive analysis of concurrent computing systems

Principal investigator: dr Łukasz Mikulski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Call: SONATA 5, Panel: ST6

39. Computational model of 2D and 3D trajectories based on generalization of Zermelo problem in navigational Spatial Informa…

Principal investigator: Piotr Marek Kopacz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: PRELUDIUM 5, Panel: ST10

40. Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA

Principal investigator: Adam Kazimierz Dziekoński

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Call: ETIUDA 1, Panel: ST7

41. Efektywny opis korelacji elektronowej w funkcjonałach wymienno-korelacyjnych w Teorii Funkcjonałów Gęstości.

Principal investigator: Szymon Filip Śmiga

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Call: ETIUDA 1, Panel: ST4

42. Computational complexity of some connectivity problems

Principal investigator: dr hab. Marcin Jakub Kamiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: SONATA 4, Panel: ST6

43. New methods applicable to dissociation of the single bond based on coupled cluster theory

Principal investigator: dr hab. Monika Agnieszka Musiał

UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

Call: OPUS 1, Panel: ST4

44. Proportional Participatory Budgeting

Principal investigator: Grzegorz Pierczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: PRELUDIUM 21, Panel: ST6

45. NIR-active Multi-layer Coatings for Titanium Alloys to Disinfect Superbugs

Principal investigator: dr hab. Vignesh Kumaravel

Politechnika Łódzka

Call: OPUS 28 (LAP), Panel: ST11

46. Multiwinner Election Rules: Beyond Scoring Protocols

Principal investigator: dr Piotr Krzysztof Skowron

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 18, Panel: ST6

47. Inexpensive and accurate modeling of heavy-element chemistry using geminal-based methods in combination with CI theory

Principal investigator: Artur Nowak

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Call: PRELUDIUM 17, Panel: ST4

48. Deductive systems and decidability problem for hybrid logics

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Call: PRELUDIUM 1, Panel: HS1

49. Beyond Doping: Transparent Conductors via Intrinsic Carriers in Gapped Metals

Principal investigator: dr Oleksandr Malyi

Ensemble3 sp. z o.o.

Call: SONATA BIS 15, Panel: ST3

50. Multiphoton absorption - the development of simulation protocols

Principal investigator: dr hab. Robert Zaleśny

Politechnika Wrocławska

Call: SONATA BIS 8, Panel: ST4

Projects search