Search results

1. Studies on the steric structure and stability of the gas-phase complexes of macrocyclic receptors with anions using ion …

Principal investigator: prof. Witold Aleksander Danikiewicz

Instytut Chemii Organicznej Polska Akademia Nauk

Call: OPUS 11, Panel: ST4

2. Computational intelligence methods in control of a complex, multiresonant mechanical system with double-sided drive of a…

Principal investigator: Krzysztof Nowopolski

Politechnika Poznańska, Wydział Elektryczny

Call: PRELUDIUM 9, Panel: ST7

3. New Computational Paradigms for Explanatory Modelling of Complex Systems

Principal investigator: dr hab. Krzysztof Krawiec

Politechnika Poznańska, Wydział Informatyki

Call: OPUS 1, Panel: ST6

4. Computer modeling of phenomena in macromelcular systems using Analyzer of Real Complex Systems

Principal investigator: dr hab. Andrzej Jan Sikorski

Uniwersytet Warszawski, Wydział Chemii

Call: OPUS 13, Panel: ST5

5. Computer analysis and optimization of materials having complex properties and microstructure

Principal investigator: dr hab. Piotr Józef Fedeliński

Politechnika Śląska, Wydział Mechaniczny Technologiczny

Call: OPUS 10, Panel: ST8

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

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

8. Studies of ATRP polymerization of complex macromolecules by computer simulation based on cooperative motions concept.

Principal investigator: dr hab. Piotr Aleksander Polanowski

Politechnika Łódzka, Wydział Chemiczny

Call: OPUS 1, Panel: ST5

9. The temporal dynamics of neurocognitive changes induced by complex task training in the form of strategic computer game.

Principal investigator: dr hab. Aneta Brzezicka

Szkoła Wyższa Psychologii Społecznej w Warszawie, Wydział Psychologii

Call: OPUS 12, Panel: HS6

10. Quantitative aspects of computational complexity in lambda calculus

Principal investigator: dr Maciej Maria Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: PRELUDIUM 11, Panel: ST6

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

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

13. Perception Based Computing

Principal investigator: dr Piotr Tomasz Wasilewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: SONATA 1, Panel: ST6

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

15. A quest for new computer logics

Principal investigator: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Call: OPUS 11, Panel: ST6

16. Analysis of quantitative models of computation

Principal investigator: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Call: SONATA BIS 14, Panel: ST6

17. Evolution of Major Histocompatibility Complex (MHC) genes and pathogen antigens, induced by adaptive immune response and…

Principal investigator: dr Maciej Jan Ejsmond

Uniwersytet Jagielloński

Call: OPUS 27, Panel: NZ8

18. Imaging and computation in scattering media with multi-pixel single photon detectors.

Principal investigator: Adrian Artur Makowski

Uniwersytet Warszawski, Wydział Fizyki

Call: PRELUDIUM 22, Panel: ST7

19. Methods for the similarity analysis of low complexity regions in proteins

Principal investigator: dr Patryk Paweł Jarnot

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Call: PRELUDIUM 20, Panel: ST6

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

21. Complexity of Julia sets

Principal investigator: dr Artem Dudko

Instytut Matematyczny Polskiej Akademii Nauk

Call: POLONEZ 3, Panel: ST1

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

23. Energy-Aware and Computationally-Intelligent Cooperative Wireless Networks: EcoNets

Principal investigator: prof. Hanna Bogucka

Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

Call: OPUS 6, Panel: ST7

24. Complex systems on adaptive weighted networks

Principal investigator: prof. Adam Antoni Lipowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

Call: OPUS 5, Panel: ST6

25. Complex models in scheduling problems and methods of their solution

Principal investigator: prof. Adam Antoni Janiak

Instytut Badań Systemowych PAN

Call: OPUS 2, Panel: ST6

26. Structural complexity measures for foundational theories

Principal investigator: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Call: WEAVE-UNISONO, Panel: HS1

27. Targeting nucleic acid-protein complexes with small molecules using a deep-learning framework

Principal investigator: dr Ryhor Nikalayeu

Międzynarodowy Instytut Biologii Molekularnej i Komórkowej

Call: SONATINA 7, Panel: NZ1

28. Triplet harvesting in the blink of an eye: Hidden luminescence mechanisms beyond spin-orbit coupling in iridium(III) com…

Principal investigator: dr Piotr Henryk Pander

Politechnika Śląska, Wydział Chemiczny

Call: OPUS 23, Panel: ST4

29. Complex investigations of the development of micro- and macro-cracks in concrete members using elastic waves: experiment…

Principal investigator: prof. Magdalena Rucka

Politechnika Gdańska

Call: OPUS 18, Panel: ST8

30. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 14, Panel: ST1

31. Models, methods and algorithms of computational network science

Principal investigator: prof. Przemysław Ryszard Kazienko

Politechnika Wrocławska

Call: OPUS 11, Panel: ST6

32. Self-aggregation of protein complexes: virus capsids and amyloids

Principal investigator: dr Panagiotis Theodorakis

Instytut Fizyki PAN

Call: POLONEZ 1, Panel: ST3

33. New simultaneous localization and mapping method with RGB-D data for precise visual navigation of autonomous robots in c…

Principal investigator: dr hab. Piotr Skrzypczyński

Politechnika Poznańska, Wydział Elektryczny

Call: OPUS 5, Panel: ST7

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

35. The graph homomorphism problem in structurally restricted classes

Principal investigator: Marta Piecyk

Politechnika Warszawska

Call: PRELUDIUM 21, Panel: ST6

36. Graph modeling of search processes

Principal investigator: dr hab. Dariusz Piotr Dereniowski

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

Call: OPUS 16, Panel: ST6

37. Robust optimization algorithms for problems with uncertain data

Principal investigator: dr Maciej Drwal

Politechnika Wrocławska

Call: SONATA 13, Panel: ST6

38. DATALOG in Constraint Satisfaction Problem

Principal investigator: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: OPUS 1, Panel: ST6

39. Everything I know: a syntactical approach to only-knowing

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Call: OPUS 29, Panel: ST6

40. Spectroscopic Prebiotic signatures and PhotoChemical Evolution in Gas-to-Ice Astro Microenvironments

Principal investigator: prof. Małgorzata Agnieszka Biczysko

Uniwersytet Wrocławski

Call: SHENG 4, Panel: ST4

41. Counting models in formal verification

Principal investigator: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: SONATA BIS 12, Panel: ST6

42. Control and spreading processes in multilayer networks

Principal investigator: dr hab. Piotr Bródka

Politechnika Wrocławska

Call: OPUS 23, Panel: ST6

43. [GaboScope] Numerically enhanced lensless Gabor microscopy for high-throughput marker-free investigation of dynamic live…

Principal investigator: dr Maciej Trusiak

Politechnika Warszawska, Wydział Mechatroniki

Call: SONATA 16, Panel: ST7

44. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

Principal investigator: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: OPUS 19, Panel: ST6

45. Impact of input data alteration and modification of the algorithm parameters on the efficiency of quantum programs

Principal investigator: dr hab. Jarosław Adam Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

Call: OPUS 17, Panel: ST6

46. Algebraic techniques for parallelising algorithms

Principal investigator: dr Przemysław Konstanty Uznański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Call: OPUS 17, Panel: ST6

47. Optimality program in graph homomorphism problems

Principal investigator: dr Paweł Rzążewski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Call: SONATA 14, Panel: ST6

48. Around optimality of dynamic programming algorithms

Principal investigator: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Call: PRELUDIUM 14, Panel: ST6

49. Discrete optimization problems under uncertainty - models and algorithms

Principal investigator: prof. Paweł Zieliński

Politechnika Wrocławska

Call: OPUS 13, Panel: ST6

50. Hybridizing Fragments of Halpern-Shoham Logic

Principal investigator: Przemysław Andrzej Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Call: PRELUDIUM 12, Panel: HS1

Projects search