Change search criteria ↓

Search results

342 projects found matching your search criteria:

  1. 301. Weighted automata for quantitative properties

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 8, Panel: ST6

  2. 302. Scalable metaheuristics for automated program synthesis

    Principal investigator: dr hab. Krzysztof Krawiec

    Politechnika Poznańska, Wydział Informatyki

    Call: OPUS 8, Panel: ST6

  3. 303. Heuristic Discovery of Underlying Objectives for Test-based Problems.

    Principal investigator: Paweł Marcin Liskowski

    Politechnika Poznańska, Wydział Informatyki

    Call: PRELUDIUM 8, Panel: ST6

  4. 304. Biometric data in security systems with restricted resources - authentication and protection.

    Principal investigator: Wojciech Mariusz Wodo

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

    Call: PRELUDIUM 8, Panel: ST6

  5. 305. Space to reason - the role of visual displays and gestures in deductive reasoning

    Principal investigator: dr Robert Mackiewicz

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

    Call: HARMONIA 6, Panel: HS6

  6. 306. Computational topological dynamics

    Principal investigator: prof. Marian Mrozek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: MAESTRO 6, Panel: ST1

  7. 307. Communication Problems in Wireless Sensor Networks

    Principal investigator: Michał Andrzej Różański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 7, Panel: ST6

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

  9. 309. Additive graph colourings

    Principal investigator: dr hab. Jakub Przybyło

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

    Call: OPUS 7, Panel: ST1

  10. 310. Intelligent nonlinear systems with shallow and deep architectures

    Principal investigator: prof. Bogdan Maciej Wilamowski

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie

    Call: OPUS 6, Panel: ST6

  11. 311. On new techniques for matching and flow problems

    Principal investigator: dr Bartłomiej Emil Bosek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA 6, Panel: ST6

  12. 312. Evolutionary modeling physicochemical conditions for overexpression of viral replicons in plant liquid cultures

    Principal investigator: dr Radosław Pilarski

    Instytut Chemii Bioorganicznej PAN

    Call: SONATA 5, Panel: NZ1

  13. 313. Convergence of Markov optimization processes

    Principal investigator: dr Dawid Mateusz Tarłowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 5, Panel: ST1

  14. 314. New aspects of degressively proportional allocation of costs and benefits

    Principal investigator: prof. Janusz Łyko

    Uniwersytet Ekonomiczny we Wrocławiu, Wydział Zarządzania, Informatyki i Finansów

    Call: OPUS 5, Panel: HS4

  15. 315. Multi-objective optimization analysis of structure and working parameters of zero-emission power unit

    Principal investigator: Łukasz Paweł Kowalczyk

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

    Call: PRELUDIUM 5, Panel: ST8

  16. 316. Advanced techniques for computer sharing and management of strategic data

    Principal investigator: dr Lidia Dominika Ogiela

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

    Call: OPUS 5, Panel: HS4

  17. 317. Continuous problems: optimality, complexity, tractability

    Principal investigator: prof. Leszek Plaskota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 5, Panel: ST1

  18. 318. Numerical modeling of the cerebral arterial and venous blood-vessel system in macro- and mesoscale based on 3D MRI data

    Principal investigator: prof. Andrzej Materka

    Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

    Call: HARMONIA 4, Panel: ST7

  19. 319. Monte Carlo simulations of the ABA triblock mixtures with selective solvents and homopolymers

    Principal investigator: dr hab. Michał Banaszak

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

    Call: OPUS 4, Panel: ST5

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

  21. 321. parameters of finite models

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 4, Panel: ST6

  22. 322. Nonsmooth Systems in Mathematical Theory of Contact Mechanics

    Principal investigator: prof. Stanisław Henryk Migórski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: MAESTRO 3, Panel: ST1

  23. 323. Recommending virtual teams for complex tasks requiring open collaboration

    Principal investigator: dr hab. Adam Wierzbicki

    Polsko-Japońska Akademia Technik Komputerowych

    Call: OPUS 3, Panel: ST6

  24. 324. Evaluation of pharmacological activity of new, nonselective gamma-aminobutyric acid (GABA) transport inhibitors in some …

    Principal investigator: dr hab. Kinga Sałat

    Uniwersytet Jagielloński- Collegium Medicum, Collegium Medicum; Wydział Farmaceutyczny

    Call: OPUS 3, Panel: NZ7

  25. 325. Modified versions of Bayesian Information Criteria in a sparse linear regression -- theoretical properties and applicati…

    Principal investigator: Piotr Szulc

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

    Call: PRELUDIUM 3, Panel: ST1

  26. 326. Models and methods of computer science in cell biology

    Principal investigator: dr hab. Marta Agnieszka Kasprzak

    Politechnika Poznańska, Wydział Informatyki

    Call: OPUS 3, Panel: ST6

  27. 327. Allocation of tasks in computer networks

    Principal investigator: dr Marcin Piotr Krzywkowski

    Politechnika Gdańska

    Call: PRELUDIUM 2, Panel: ST6

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

  29. 329. On-line choosability

    Principal investigator: dr Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA 2, Panel: ST6

  30. 330. Analysis of similarity of biopolymer structures using descriptors of local structure.

    Principal investigator: dr Paweł Łukasz Daniluk

    Instytut Medycyny Doświadczalnej i Klinicznej im. Mirosława Mossakowskiego PAN

    Call: SONATA 2, Panel: NZ2

  31. 331. Coloring games on graphs and partially ordered sets

    Principal investigator: prof. Jarosław Andrzej Grytczuk

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 2, Panel: ST6

  32. 332. Mining Data Streams with Concept Drift

    Principal investigator: Dariusz Brzeziński

    Politechnika Poznańska, Wydział Informatyki

    Call: PRELUDIUM 2, Panel: ST6

  33. 333. Coarse-grained molecular dynamics of RNA thermometers at elevated temperatures

    Principal investigator: Filip Karol Leonarski

    Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

    Call: PRELUDIUM 2, Panel: NZ2

  34. 334. Sparse representations

    Principal investigator: prof. Przemysław Wojtaszczyk

    Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego

    Call: OPUS 2, Panel: ST1

  35. 335. Development of graph-theoretical methods of discrete optimization in technological and biological applications

    Principal investigator: prof. Marek Kubale

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

    Call: MAESTRO 1, Panel: ST6

  36. 336. Methods and tools of future document engineering - MENAID

    Principal investigator: prof. Bogdan Wojciech Wiszniewski

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

    Call: OPUS 1, Panel: ST6

  37. 337. Identification of mathematical model coefficients of bound water diffusion in wood

    Principal investigator: prof. Wiesław Stanisław Olek

    Uniwersytet Przyrodniczy w Poznaniu, Wydział Technologii Drewna

    Call: HARMONIA 1, Panel: NZ9

  38. 338. Integrated information system supporting determination and analysis of geometric, thermal and diffusive properties of ag…

    Principal investigator: prof. Jerzy Romuald Weres

    Uniwersytet Przyrodniczy w Poznaniu, Wydział Rolnictwa i Bioinżynierii

    Call: OPUS 1, Panel: NZ9

  39. 339. An intelligent hybrid system for planning and composition of Web services

    Principal investigator: prof. Wojciech Penczek

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

    Call: OPUS 1, Panel: ST6

  40. 340. Hybrid hydro-electric transmission systems witch energy recovery

    Principal investigator: dr hab. Wiesław Grzesikiewicz

    Politechnika Warszawska, Wydział Samochodów i Maszyn Roboczych

    Call: OPUS 1, Panel: ST8

  41. 341. p, li { white-space: pre-wrap; }Development of the transverse function approach to the control of nonholonomic systems

    Principal investigator: Władysław Józef Magiera

    Politechnika Wrocławska, Wydział Elektroniki

    Call: PRELUDIUM 1, Panel: ST7

  42. 342. Normal021High-performance computing for next-generation DNA sequencing

    Principal investigator: dr Aleksandra Świercz

    Instytut Chemii Bioorganicznej PAN

    Call: OPUS 1, Panel: ST6

Graphic design and implementation: Jakub Piotrowski