Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

64 projects found matching your search criteria :

  1. Logical tunnel capacity control - a traffic routing and protection strategy for communication networks with variable lin...

    Call: OPUS 9 , Panel: ST7

    Principal investigator: prof. Michał Pióro

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

  2. Scalable metaheuristics for automated program synthesis

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Krzysztof Krawiec

    Politechnika Poznańska, Wydział Informatyki

  3. Stochastic fluctuations and the evolution of zooplankton life histories in high latitude marine ecosystems.

    Call: OPUS 8 , Panel: NZ8

    Principal investigator: dr Maciej Ejsmond

    Uniwersytet Jagielloński, Wydział Biologii

  4. Heuristic Discovery of Underlying Objectives for Test-based Problems.

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Paweł Liskowski

    Politechnika Poznańska, Wydział Informatyki

  5. Networks: a Multidisciplinary Approach

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Krzysztof Apt

    UNIWERSYTET WARSZAWSKI, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

  6. Interactive approach to dynamic decision making processes

    Call: OPUS 6 , Panel: HS4

    Principal investigator: prof. Tadeusz Trzaskalik

    Uniwersytet Ekonomiczny w Katowicach, Wydział Informatyki i Komunikacji

  7. Biomarkers of fetal programming and female health and fertility

    Call: PRELUDIUM 6 , Panel: NZ7

    Principal investigator: Magdalena Klimek

    Uniwersytet Jagielloński Collegium Medicum, Collegium Medicum, Wydział Nauk o Zdrowiu

  8. Specification development and software verification

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. Decision making in the control of flows in global supply chains of high-tech products.

    Call: OPUS 6 , Panel: ST8

    Principal investigator: prof. Tadeusz Sawik

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania

  10. Models and algorithms for some discrete-continuous project scheduling problems

    Call: OPUS 6 , Panel: ST6

    Principal investigator: dr hab. Grzegorz Waligóra

    Politechnika Poznańska, Wydział Informatyki

  11. Sequential Monte Carlo methods - modifications and applications to stochastic processes

    Call: SONATA 6 , Panel: HS4

    Principal investigator: dr Katarzyna Brzozowska-Rup

    Politechnika Świętokrzyska, Wydział Zarządzania i Modelowania Komputerowego

  12. Development and implementation of model checking methods for real-time and multi-agent systems

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Bożena Woźna-Szcześniak

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

  13. Integer programming models for joint optimization of link capacity assignment, transmission scheduling, and routing in f...

    Call: OPUS 1 , Panel: ST7

    Principal investigator: prof. Michał Pióro

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

  14. LP rounding approximation algorithms

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Bartosz Rybicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  15. Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

    Call: SONATA 1 , Panel: HS1

    Principal investigator: dr Robert Trypuz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

  16. Accurate and approximate algorithms for large-scale stochastic simulation

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Anna Wawrzyńczak-Szaban

    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych

  17. Models, languages and systems for reliable and scalable distributed computing

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Jacek Sroka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Search for gravitational waves from rotating neutron stars using hardware accelerators

    Call: OPUS 4 , Panel: ST9

    Principal investigator: dr hab. Michał Bejger

    Centrum Astronomiczne im. Mikołaja Kopernika PAN

  19. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  20. Methods of automatic programming involving semantic approaches

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: dr Tomasz Pawlak

    Politechnika Poznańska, Wydział Informatyki

  21. Concurrency control and fault tolerance for distributed software transactional memory

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Paweł Wojciechowski

    Politechnika Poznańska, Wydział Informatyki

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

    Call: HARMONIA 3 , Panel: ST10

    Principal investigator: prof. Hanna Pawłowska

    Uniwersytet Warszawski, Wydział Fizyki

  23. Experimental and simulation studies of advanced control of biotechnological processes stimulation

    Call: OPUS 3 , Panel: ST7

    Principal investigator: prof. Mieczysław Metzger

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

  24. Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Anh Linh Nguyen

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  25. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Małgorzata Biernacka

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  26. Allocation of tasks in computer networks

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: dr Marcin Krzywkowski

    POLITECHNIKA GDAŃSKA

  27. Development of rule-based query languages applied in intelligent systems

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Andrzej Szałas

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: SONATA BIS 13 , Panel: ST6

    Principal investigator: dr hab. Tomasz Pawlak

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  29. Z^2 codes: decidability and verification algorithms, defect effect, asymptotic density, tilings, weak codes

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Włodzimierz Moczurad

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  30. The effect of maternal treatment with metformin in pregnancy and lactation on programming metabolic adverse conditions i...

    Call: SONATA BIS 12 , Panel: NZ7

    Principal investigator: dr hab. Monika Słupecka-Ziemilska

    Instytut Medycyny Doświadczalnej i Klinicznej im. Mirosława Mossakowskiego Polskiej Akademii Nauk

  31. Early-life programming for neurodevelopmental disorders: search for a prodrome target within the vascular network in a r...

    Call: OPUS 23 , Panel: NZ4

    Principal investigator: prof. Małgorzata Filip

    Instytut Farmakologii im. Jerzego Maja Polskiej Akademii Nauk

  32. Algebraic spectral gaps in group cohomology

    Call: SONATINA 6 , Panel: ST1

    Principal investigator: dr Piotr Mizerka

    Instytut Matematyczny Polskiej Akademii Nauk

  33. Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Krzysztof Kaczor

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

  34. ActEpi: Activation of the epigenetic mechanisms in poultry through a programming of the gut microbiota

    Call: SONATA 17 , Panel: NZ9

    Principal investigator: dr hab. Aleksandra Dunisławska

    Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich, Wydział Hodowli i Biologii Zwierząt

  35. Cinemagoing in German-occupied Poland: Cinema programming and film preferences of multi-ethnic urban audiences during Wo...

    Call: OPUS 22 , Panel: HS2

    Principal investigator: dr hab. Andrzej Dębski

    Uniwersytet Wrocławski, Centrum Studiów Niemieckich i Europejskich im. Willy Brandta

  36. Aspherical atom model - developing novel methods for crystal structure refinement of partially disordered materials

    Call: OPUS 22 (LAP) , Panel: ST5

    Principal investigator: dr hab. Wojciech Sławiński

    Uniwersytet Warszawski, Wydział Chemii

  37. The role of milk matrix lipids in programming the immunoreactivity of proteins derived from lactic acid bacteria

    Call: SONATA 17 , Panel: NZ9

    Principal investigator: dr Anna Ogrodowczyk

    Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk

  38. Probabilistic entropy in engineering computations

    Call: OPUS 21 , Panel: ST8

    Principal investigator: prof. Marcin Kamiński

    Politechnika Łódzka, Wydział Budownictwa, Architektury i Inżynierii Środowiska

  39. Optimal-transport based algorithms for Mass Spectrometry and NMR

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Anna Gambin

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. Source-code-representations for machine-learning-based identification of defective code fragments

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr Mirosław Ochodek

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  41. Do sirtuins regulate epigenetic programming and gene transcription in the endometrium and support conceptus implantation...

    Call: SONATA 16 , Panel: NZ9

    Principal investigator: dr Magdalena Szymańska

    Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk

  42. Non-parametric approaches for the performance measurement of units with complex internal structure

    Call: OPUS 19 , Panel: HS4

    Principal investigator: dr Dimitrios-Georgios Sotiros

    Politechnika Wrocławska

  43. The culture of the amateur programming of home computers in the 1980s in the context of cognitive capitalism

    Call: OPUS 19 , Panel: HS3

    Principal investigator: dr Patryk Wasiak

    Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk

  44. Effects of maternal cafeteria diet on metabolic and reproductive functions inmale and female rats offspring: In search f...

    Call: PRELUDIUM 18 , Panel: NZ9

    Principal investigator: Julia Matuszewska

    Uniwersytet Przyrodniczy w Poznaniu, Wydział Medycyny Weterynaryjnej i Nauk o Zwierzętach

  45. Combinatorial optimization under uncertainty: matroids,matchings and submodular functions

    Call: SONATA 15 , Panel: ST6

    Principal investigator: dr Marek Adamczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: OPUS 17 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  47. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  48. Milky Way to reproductive success: role of leptin in the programming of reproductive functions over generations

    Call: OPUS 16 , Panel: NZ4

    Principal investigator: prof. Monika Kaczmarek

    Instytut Rozrodu Zwierząt i Badań Żywności Polskiej Akademii Nauk

  49. Efficient algorithms and conditional lower bounds for problems on trees

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: Bartłomiej Dudek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  50. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki