Zmiana języka

Projects search

Change search criteria ↓

Search results

472 projects found matching your search criteria:

  1. 351. H-graphs - recognition, isomorphism, and related problems

    Principal investigator: Jan Kazimierz Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 20, Panel: ST6

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

    Principal investigator: dr hab. Mirosław Ochodek

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

    Call: OPUS 21, Panel: ST6

  3. 353. Modular circuits - algorithms and lower bounds

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 20, Panel: ST6

  4. 354. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 21, Panel: ST6

  5. 355. Computational aspects of infinite-duration games

    Principal investigator: dr hab. Paweł Czesław Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 21, Panel: ST6

  6. 356. Finite automata: selected problems and applications connecting different areas

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 21, Panel: ST6

  7. 357. Leveraging Randomization: From Scheduling to AdWords

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 20, Panel: ST6

  8. 358. Robust Formalisms for Quantitative Reasoning

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 20, Panel: ST6

  9. 359. Towards Estimation of Information Content for Graph Structures

    Principal investigator: dr Krzysztof Szymon Turowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA 16, Panel: ST6

  10. 360. Space-efficient encodings of combinatorial problems for variational quantum computing

    Principal investigator: dr Adam Piotr Glos

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: PRELUDIUM 19, Panel: ST6

  11. 361. Odour sensory quality of herbs as an outcome of volatile constituents composition and plant matter correlation – describ…

    Principal investigator: dr Jacek Jarosław Łyczko

    Uniwersytet Przyrodniczy we Wrocławiu, Wydział Biotechnologii i Nauk o Żywności

    Call: PRELUDIUM 18, Panel: NZ9

  12. 362. Data-enriched models of computation

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 18, Panel: ST6

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

    Principal investigator: dr Marek Piotr Adamczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 15, Panel: ST6

  14. 364. Blockchain wallets -- cryptographic theory and applications

    Principal investigator: prof. Stefan Michał Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 18, Panel: ST6

  15. 365. Colorings, cliques, and independent sets in graph classes

    Principal investigator: dr hab. Bartosz Maria Walczak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA BIS 9, Panel: ST6

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

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

  18. 368. Determination of the methabolic pathway of selected terpenes in citrus fruits using the PTR-TOF-MS technique

    Principal investigator: Martyna Anna Lubinska-Szczygeł

    Politechnika Gdańska, Wydział Chemiczny

    Call: PRELUDIUM 16, Panel: NZ9

  19. 369. Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 16, Panel: ST6

  20. 370. The novel solution for real-time monitoring of secondary products of vegetable oil oxidation emitted during deep frying

    Principal investigator: Tomasz Majchrzak

    Politechnika Gdańska, Wydział Chemiczny

    Call: PRELUDIUM 16, Panel: NZ9

  21. 371. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

    Call: OPUS 16, Panel: ST6

  22. 372. Optimality program in graph homomorphism problems

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Call: SONATA 14, Panel: ST6

  23. 373. Infinity in reasoning about data and knowledge

    Principal investigator: dr hab. Filip Marek Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 8, Panel: ST6

  24. 374. Are new synthetic amphiphilic antioxidants safe?

    Principal investigator: dr Dobrochna Rabiej-Kozioł

    Uniwersytet Mikołaja Kopernika, Wydział Chemii

    Call: PRELUDIUM 15, Panel: NZ9

  25. 375. Study of the relationship between molecular structure and biological activity of compounds of natural origin with the po…

    Principal investigator: prof. Włodzimierz Wiktor Lewandowski

    POLITECHNIKA BIAŁOSTOCKA, Wydział Budownictwa i Nauk o Środowisku

    Call: OPUS 15, Panel: NZ9

  26. 376. Machine learning and automatic theorem proving

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 15, Panel: ST6

  27. 377. Deep Neural Architectures for Automated Theorem Proving

    Principal investigator: Bartosz Paweł Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 15, Panel: ST6

  28. 378. Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

    Principal investigator: Krzysztof Sornat

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: ETIUDA 6, Panel: ST6

  29. 379. Programowanie dynamiczne z gwarancjami

    Principal investigator: Karol Zbigniew Węgrzycki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: ETIUDA 6, Panel: ST6

  30. 380. Effective computations in predicative mathematics

    Principal investigator: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATINA 2, Panel: ST6

  31. 381. Zastosowanie symulacji molekularnych adsorpcji do modelowania przebiegu quasi-równowagowej termodesorpcji węglowodorów z…

    Principal investigator: Andrzej Sławek

    Uniwersytet Jagielloński, Wydział Chemii

    Call: ETIUDA 6, Panel: ST5

  32. 382. Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

    Principal investigator: dr Adam Teodor Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: ETIUDA 6, Panel: ST6

  33. 383. Efficient algorithms and conditional lower bounds for problems on trees

    Principal investigator: Bartłomiej Dudek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 14, Panel: ST6

  34. 384. Automatic analysis of concurrent systems

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 14, Panel: ST6

  35. 385. Properties and reactivity of molecules and molecular complexes under partial spatial confinement

    Principal investigator: dr hab. Tatiana Danuta Korona

    Uniwersytet Warszawski, Wydział Chemii

    Call: OPUS 14, Panel: ST4

  36. 386. Quantitative specifications: learning, algorithms and applications

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 14, Panel: ST6

  37. 387. Around optimality of dynamic programming algorithms

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 14, Panel: ST6

  38. 388. Understanding recursion

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 13, Panel: ST6

  39. 389. Dynamic graphs; connectivity, flows and coloring.

    Principal investigator: dr Anna Zych-Pawlewicz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 13, Panel: ST6

  40. 390. Aspects of grammar compression

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA BIS 7, Panel: ST6

  41. 391. Efficiency, robustness and security of distributed systems with more realistic adversarial models.

    Principal investigator: prof. Marek Dariusz Klonowski

    Politechnika Wrocławska

    Call: OPUS 13, Panel: ST6

  42. 392. Discrete optimization problems under uncertainty - models and algorithms

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

    Call: OPUS 13, Panel: ST6

  43. 393. Classical problems in the theory of finite automata: new approaches, variants, and applications

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 13, Panel: ST6

  44. 394. Design of Distributed Algorithms in Highly Congested Networks

    Principal investigator: prof. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 13, Panel: ST6

  45. 395. Spectral fingerprints as tool for quality assessment of fruit juices

    Principal investigator: prof. Ewa Maria Sikorska

    Uniwersytet Ekonomiczny w Poznaniu, Instytut Nauk o Jakości

    Call: OPUS 12, Panel: NZ9

  46. 396. Algebraic Effects and Continuations

    Principal investigator: dr Maciej Adam Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: POLONEZ 3, Panel: ST6

  47. 397. One Step From the Relational Model. A Couple of Database Theory Puzzles.

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 12, Panel: ST6

  48. 398. Diffusion of proteins near model biological membranes.

    Principal investigator: dr hab. Maciej Jan Długosz

    Uniwersytet Warszawski, Wydział Fizyki

    Call: OPUS 12, Panel: ST4

  49. 399. Programming language for a hierarchical, parallel machine using ManyDSL

    Principal investigator: Piotr Danilewski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 12, Panel: ST6

  50. 400. Entropy in complex networks

    Principal investigator: dr hab. Mikołaj Aleksander Morzy

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

    Call: OPUS 12, Panel: ST6

Graphic design and implementation: Jakub Piotrowski