Search results

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

2. Computable structure theory, and philosophy of mathematical structuralism

Principal investigator: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

Call: OPUS 25, Panel: HS1

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

4. Optimality, universality and controllability in quantum computation theory

Principal investigator: dr Adam Sawicki

Centrum Fizyki Teoretycznej PAN

Call: SONATA BIS 5, Panel: ST1

5. A new notion of finiteness in computation theory

Principal investigator: dr hab. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 4, Panel: ST6

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

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

8. Structural complexity measures for foundational theories

Principal investigator: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Call: WEAVE-UNISONO, Panel: HS1

9. Thermodynamics of Information Processing: From Theory to Applications

Principal investigator: dr Patryk Jan Lipka-Bartosik

Uniwersytet Jagielloński

Call: SONATA 19, Panel: ST2

10. Polynomial finite state computation

Principal investigator: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: MAESTRO 14, Panel: ST6

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

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

13. Beyond the Markowitz portfolio theory - human preference-driven decision support for the Pareto front navigation in larg…

Principal investigator: prof. Ignacy Stanisław Kaliszewski vel Kieliszewski

Instytut Badań Systemowych PAN

Call: OPUS 13, Panel: HS4

14. Reputation and trust building in computer communication systems under virtual anonymity and blind service provider selec…

Principal investigator: dr hab. Jerzy Konorski

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

Call: OPUS 11, Panel: ST6

15. Algorithmic Structure Theory for Sparse Graphs

Principal investigator: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: POLONEZ 1, Panel: ST6

16. Unified theory of coreference in Polish and its corpus-based verification

Principal investigator: dr Maciej Ogrodniczuk

Instytut Podstaw Informatyki PAN

Call: OPUS 8, Panel: HS2

17. Algorithms for process control using computer vision systems

Principal investigator: prof. Ewaryst Rafajłowicz

Politechnika Wrocławska, Wydział Elektroniki

Call: OPUS 4, Panel: ST7

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

19. Efficient higher-order quantum computations

Principal investigator: dr hab. Michał Grzegorz Studziński

Uniwersytet Gdański

Call: SONATA BIS 14, Panel: ST2

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

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

22. Densitals, Ditopology, and Double Drachmanization: New Concepts and Formalisms for Computation and Analysis of the Two-E…

Principal investigator: prof. Jerzy Ryszard Ciosłowski

Uniwersytet Szczeciński, Instytut Fizyki

Call: OPUS 24, Panel: ST4

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

24. Blockchain wallets -- cryptographic theory and applications

Principal investigator: prof. Stefan Michał Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 18, Panel: ST6

25. Effective computations in predicative mathematics

Principal investigator: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: SONATINA 2, Panel: ST6

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

27. Computational topological dynamics

Principal investigator: prof. Marian Mrozek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: MAESTRO 6, Panel: ST1

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

29. Collaboration between the mathematical faculty of Paul Sabatier University in Toulouse with the Faculty of Mathematics a…

Principal investigator: prof. Włodzimierz Robert Zwonek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: HARMONIA 4, Panel: ST1

30. On quantum resources in quantum information theory.

Principal investigator: Michał Grzegorz Studziński

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

Call: PRELUDIUM 4, Panel: ST2

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

32. Computed medical image understanding based on integration of signals acquisition, information representation and knowled…

Principal investigator: prof. Artur Jerzy Przelaskowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Call: OPUS 2, Panel: ST7

33. Efficient sets of gates and shallow quantum circuits

Principal investigator: dr hab. Adam Sawicki

Centrum Fizyki Teoretycznej PAN

Call: OPUS 19, Panel: ST2

34. Algorithmic models of prediction: formal properties and philosophical implications

Principal investigator: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

Call: OPUS 16, Panel: HS1

35. Multiphoton absorption - the development of simulation protocols

Principal investigator: dr hab. Robert Zaleśny

Politechnika Wrocławska

Call: SONATA BIS 8, Panel: ST4

36. The study of mechanisms of chiral symmetry breaking in liquid crystalline materials

Principal investigator: prof. Lech Waldemar Longa

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Call: OPUS 6, Panel: ST3

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

38. Combinatorial links between topology and dynamics

Principal investigator: prof. Marian Mrozek

Uniwersytet Jagielloński

Call: OPUS 29, Panel: ST1

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

40. Product structure of graphs

Principal investigator: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: WEAVE-UNISONO, Panel: ST6

41. Proportional Participatory Budgeting

Principal investigator: Grzegorz Pierczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: PRELUDIUM 21, Panel: ST6

42. Non-equilibrium dynamics of quantum many-body systems near critical points.

Principal investigator: dr Michał Lesław Białończyk

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Call: ETIUDA 8, Panel: ST3

43. Studies of the quantum geometry of space-time

Principal investigator: dr hab. Andrzej Görlich

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Call: OPUS 17, Panel: ST2

44. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Call: OPUS 17, Panel: ST6

45. Analysis of the renal vascular tree topology

Principal investigator: Katarzyna Maria Heryan

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Call: PRELUDIUM 11, Panel: ST7

46. Charged-Particle Recombination in Ionized Systems

Principal investigator: dr hab. Mariusz Janusz Wójcik

Politechnika Łódzka, Wydział Chemiczny

Call: OPUS 5, Panel: ST4

47. Influence of spatial inhomogeneities on the electron states and transport phenomena in carbon-based nanostructures

Principal investigator: dr hab. Tomasz Kostyrko

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

Call: OPUS 4, Panel: ST3

48. Self-sustained coherent structures in homogeneous and variable density flows

Principal investigator: prof. Andrzej Bogusławski

Politechnika Częstochowska

Call: OPUS 2, Panel: ST8

49. Methods of development, modelling and analysis of quantum internetworking protocols

Principal investigator: dr hab. Jarosław Adam Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

Call: SONATA 2, Panel: ST6

50. Deductive systems and decidability problem for hybrid logics

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Call: PRELUDIUM 1, Panel: HS1

Projects search