Zmiana języka

Projects search

Change search criteria ↓

Search results

472 projects found matching your search criteria:

  1. 301. Ancient theatre and drama in the scholiasts' texts

    Principal investigator: dr Katarzyna Anna Chiżyńska

    Uniwersytet Łódzki, Wydział Filologiczny

    Call: OPUS 4, Panel: HS2

  2. 302. Investigation of vaporization and mixing processes during fuel injection at supercritical and flash boiling conditions

    Principal investigator: prof. Andrzej Roman Teodorczyk

    Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa; Instytut Techniki Cieplnej

    Call: OPUS 4, Panel: ST8

  3. 303. Elastic wave propagation in periodic structures

    Principal investigator: prof. Marek Krawczuk

    Politechnika Gdańska, Wydział Elektrotechniki i Automatyki

    Call: OPUS 4, Panel: ST8

  4. 304. LINEAR COMPUTATIONAL COST AND MEMORY USAGE HYBRID SOLVERS FOR PROBLEMS OF ELECTROMAGNETIC WAVES PROPAGATION OVER THE HUM…

    Principal investigator: dr hab. Maciej Paszyński

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

    Call: HARMONIA 3, Panel: ST1

  5. 305. Aerosol processing by clouds - development of a multifaceted object-oriented numerical simulation framework.

    Principal investigator: prof. Hanna Pawłowska

    Uniwersytet Warszawski, Wydział Fizyki

    Call: HARMONIA 3, Panel: ST10

  6. 306. Modelling the effects of small-scale turbulence in dispersed two-phase flows

    Principal investigator: dr hab. Jacek Pozorski

    Instytut Maszyn Przepływowych im. Roberta Szewalskiego PAN

    Call: OPUS 2, Panel: ST8

  7. 307. Multilingual Dictionary of Art Restoration. Part 1. Easel Painting, Part 2. Wall Painting

    Principal investigator: dr hab. Monika Bogdanowska

    Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Architektury

    Call: OPUS 2, Panel: HS2

  8. 308. Generalized methodology for vector-network-analyzer calibration based on a statistical multi-frequency description of th…

    Principal investigator: dr Arkadiusz Cezary Lewandowski

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

    Call: SONATA 2, Panel: ST7

  9. 309. Discretizations of dynamical systems preserving first integrals

    Principal investigator: prof. Jan Leszek Cieśliński

    Uniwersytet w Białymstoku, Wydział Fizyki

    Call: OPUS 1, Panel: ST1

  10. 310. hp-Adaptive solid-to-shell transition elements for adaptive modeling and analysis of complex structures

    Principal investigator: Magdalena Zielińska

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Nauk Technicznych

    Call: PRELUDIUM 1, Panel: ST8

  11. 311. DNS, modelling and experimental measurements of laminar to turbulent flow transition

    Principal investigator: dr Sławomir Kubacki

    Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa

    Call: OPUS 1, Panel: ST8

  12. 312. Improving hybrid classical-quantum optimization using machine learning techniques

    Principal investigator: Justyna Jolanta Zawalska

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

    Call: PRELUDIUM 24, Panel: ST6

  13. 313. New problems and algorithms for Mathematical Programming model Mining (MathProM)

    Principal investigator: dr hab. Tomasz Paweł Pawlak

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

    Call: SONATA BIS 13, Panel: ST6

  14. 314. Algebraic effects: composition and coinduction

    Principal investigator: dr Maciej Adam Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 14, Panel: ST6

  15. 315. Sparse regularization in NMR Relaxometry

    Principal investigator: Mateusz Urbańczyk

    Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

    Call: PRELUDIUM 7, Panel: ST4

  16. 316. Specification development and software verification

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 6, Panel: ST6

  17. 317. LP rounding approximation algorithms

    Principal investigator: Bartosz Michał Rybicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 4, Panel: ST6

  18. 318. Models, languages and systems for reliable and scalable distributed computing

    Principal investigator: dr Jacek Andrzej Sroka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 4, Panel: ST6

  19. 319. Automatisation of constructive logic

    Principal investigator: dr hab. Aleksy Andrzej Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 4, Panel: ST6

  20. 320. Investigation of chemical and biological processes of selenium biotransformation in selenophilic plants and probiotic ba…

    Principal investigator: prof. Ewa Joanna Bulska

    Uniwersytet Warszawski, Wydział Chemii

    Call: OPUS 3, Panel: ST4

  21. 321. From Games to Algorithms: Exploring Reasoning in Description Logics

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

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

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

  23. 323. NMR Spectroscopy as Molecular Language: A Deep Learning Approach to Bioactivity Prediction

    Principal investigator: Arkadiusz Bogumił Leniak

    Instytut Farmakologii PAN

    Call: PRELUDIUM 24, Panel: NZ7

  24. 324. Formal verification in data-enriched models of computation

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

    Call: OPUS 28, Panel: ST6

  25. 325. On the border of impossible in classical automata theory

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

    Call: OPUS 28, Panel: ST6

  26. 326. Adaptive hybrid parallelization of full-field microstructure evolution models with massive domains based on graph cellul…

    Principal investigator: dr Mateusz Sitko

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

    Call: SONATA 20, Panel: ST8

  27. 327. Analysis of quantitative models of computation

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

    Call: SONATA BIS 14, Panel: ST6

  28. 328. Beyond Worst-Case Analysis: Online Problems with Delays and Stochastic Arrival Times

    Principal investigator: Michał Łukasz Pawłowski

    IDEAS NCBR Sp. z o.o.

    Call: PRELUDIUM 23, Panel: ST6

  29. 329. Modern Insights into Traditional Polish Fermented Foods: Tracking Metabolomic Changes during the Fermentation of Plant P…

    Principal investigator: Marika Mróz

    Politechnika Gdańska

    Call: PRELUDIUM 23, Panel: NZ9

  30. 330. Decision Problems for Logics with Weak Forms of Recursion

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

    Call: PRELUDIUM 23, Panel: ST6

  31. 331. Taste of Quality, Sustainability, and Safety (TaQSSa) - AI-driven high-throughput multisensor platforms for food profili…

    Principal investigator: prof. Patrycja Elżbieta Ciosek-Skibińska

    Politechnika Warszawska

    Call: OPUS 27, Panel: NZ9

  32. 332. Advancing Petri Net Theory: Deeper understanding to Classical Problems and Integration into Workflow Applications

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski

    Call: OPUS 27, Panel: ST6

  33. 333. Synthesis via active learning: theory and applications

    Principal investigator: dr hab. Jan Otop

    Uniwersytet Wrocławski

    Call: OPUS 27, Panel: ST6

  34. 334. Processing massive string data and beyond: algorithms and conditional lower bounds

    Principal investigator: dr Paweł Maciej Gawrychowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 26, Panel: ST6

  35. 335. Modern tools for complex network analysis

    Principal investigator: dr Małgorzata Sulkowska

    Politechnika Wrocławska

    Call: OPUS 25, Panel: ST6

  36. 336. Product structure of graphs

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: WEAVE-UNISONO, Panel: ST6

  37. 337. Optimal and probabilistic learning of quantum devices

    Principal investigator: dr hab. Zbigniew Włodzimierz Puchała

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: OPUS 24, Panel: ST6

  38. 338. Automation of the Problem of Unification in Description Logics

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

    Call: POLONEZ BIS 3, Panel: ST6

  39. 339. Dimension and Boolean dimension of partial orders

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 24, Panel: ST6

  40. 340. Structure and algorithms for graph classes defined by transduction-closed properties

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 18, Panel: ST6

  41. 341. 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. 342. Polynomial finite state computation

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: MAESTRO 14, Panel: ST6

  43. 343. Linear algebra in orbit-finite dimension

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 21, Panel: ST6

  44. 344. Satsifiability and equivalence problems for finite algebras

    Principal investigator: dr Jacek Krzaczkowski

    Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

    Call: OPUS 23, Panel: ST6

  45. 345. The graph homomorphism problem in structurally restricted classes

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

    Call: PRELUDIUM 21, Panel: ST6

  46. 346. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 23, Panel: ST6

  47. 347. Fair Problems and Diverse Solutions in Parameterized Complexity

    Principal investigator: dr Tomáš Masařík

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 17, Panel: ST6

  48. 348. Constraint Satisfaction Problems: beyond the finite case

    Principal investigator: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: WEAVE-UNISONO, Panel: ST6

  49. 349. Generalizations of the graph coloring problem in graphs with forbidden structures

    Principal investigator: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Call: PRELUDIUM 20, Panel: ST6

  50. 350. Frontiers of automatic analysis of concurrent systems

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 21, Panel: ST6

Graphic design and implementation: Jakub Piotrowski