Projects search

• Keywords: technologie inteligentne ×

Change search criteria ↓

Search results

737 projects found matching your search criteria:

351. 351. The power of branching and learning for online scheduling and bin packingproblems

     Principal investigator: dr Martin Böhm

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 18, Panel: ST6

352. 352. Establishing a universal pangenome model

     Principal investigator: dr hab. Norbert Artemi Dojer

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 24, Panel: ST6

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

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

355. 355. Understanding the exaptation of tissue-specific enhancers by modeling the changes of spatial chromatin architecture.

     Principal investigator: prof. Anna Barbara Gambin

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM BIS 4, Panel: ST6

356. 356. Interpretable and sustainable artificial intelligence with intuitive explanations

     Principal investigator: dr hab. Bartosz Michał Zieliński

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 24, Panel: ST6

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

358. 358. The parity problem for cellular automata.

     Principal investigator: dr Anna Katarzyna Nenca

     Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

     Call: SONATA 18, Panel: ST6

359. 359. Real-world super-resolution reconstruction of digital images based on self-supervised learning

     Principal investigator: dr hab. Michał Jan Kawulok

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

     Call: OPUS 24, Panel: ST6

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

361. 361. Parallel and exact algorithms for path problems in directed graphs

     Principal investigator: dr Adam Karol Karczmarz

     IDEAS NCBR Sp. z o.o.

     Call: SONATA 18, Panel: ST6

362. 362. Algorithms and measures for fair and explainable decision systems

     Principal investigator: dr hab. Dariusz Brzeziński

     Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

     Call: SONATA 18, Panel: ST6

363. 363. Counting models in formal verification

     Principal investigator: dr Filip Aleksander Mazowiecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 12, Panel: ST6

364. 364. Polynomial finite state computation

     Principal investigator: prof. Mikołaj Bojańczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: MAESTRO 14, Panel: ST6

365. 365. Structural and algorithmic properties of hereditary graph classes

     Principal investigator: dr hab. Marcin Łukasz Pilipczuk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 12, Panel: ST6

366. 366. Quest for Optimality in Variants of Text Indexing and Related Problems

     Principal investigator: dr hab. Jakub Jan Radoszewski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 12, Panel: ST6

367. 367. Algorithms for processing nucleotide and aminoacid sequences

     Principal investigator: prof. Sebastian Tomasz Deorowicz

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

     Call: OPUS 23, Panel: ST6

368. 368. Linear algebra in orbit-finite dimension

     Principal investigator: Arka Ghosh

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 21, Panel: ST6

369. 369. Forbidding subdivisions and line graphs towards faster algorithms

     Principal investigator: Jana Masaříková

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 21, Panel: ST6

370. 370. Are all representations catastrophically forgotten?

     Principal investigator: Wojciech Masarczyk

     Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

     Call: PRELUDIUM 21, Panel: ST6

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

372. 372. The graph homomorphism problem in structurally restricted classes

     Principal investigator: Marta Piecyk

     Politechnika Warszawska

     Call: PRELUDIUM 21, Panel: ST6

373. 373. Online algorithms for configuration games

     Principal investigator: dr hab. Marcin Bieńkowski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 23, Panel: ST6

374. 374. Deep conditional generative models

     Principal investigator: dr Marek Śmieja

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 23, Panel: ST6

375. 375. Generative flow-based models in application to uncertainty modeling for machine learning tasks

     Principal investigator: dr hab. Maciej Mateusz Zięba

     Politechnika Wrocławska

     Call: OPUS 22, Panel: ST6

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

377. 377. Continual self-supervised representation learning

     Principal investigator: dr hab. Tomasz Trzciński

     Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

     Call: PRELUDIUM BIS 3, Panel: ST6

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

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

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

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

     Principal investigator: prof. Anna Barbara Gambin

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 21, Panel: ST6

382. 382. Classification and detection of 3D DBT volumes to aid radiologists in breast cancer screening

     Principal investigator: Jakub Piotr Chłędowski

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 20, Panel: ST6

383. 383. H-graphs - recognition, isomorphism, and related problems

     Principal investigator: Jan Kazimierz Derbisz

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 20, Panel: ST6

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

385. 385. Acceleration of processing event-based visual data with the use of heterogeneous, reprogrammable computing devices

     Principal investigator: Marcin Paweł Kowalczyk

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

     Call: PRELUDIUM 20, Panel: ST6

386. 386. Modular circuits - algorithms and lower bounds

     Principal investigator: Piotr Kawałek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 20, Panel: ST6

387. 387. A novel probabilistic model for cell type identification in spatial transcriptomics and single-cell RNA sequencing data

     Principal investigator: Agnieszka Izabela Geras

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 20, Panel: ST6

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

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

390. 390. Brain Integrated Tagging for Socially Curated Online Personalised Experiences

     Principal investigator: dr hab. Veslava Osińska

     Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

     Call: CHIST-ERA2020, Panel: ST6

391. 391. Predicting 3D RNA structures using Generative Adversarial Networks

     Principal investigator: prof. Marta Xymena Szachniuk

     Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

     Call: PRELUDIUM BIS 2, Panel: ST6

392. 392. Generative models development for fast simulation in ALICE CERN

     Principal investigator: prof. Przemysław Stefan Rokita

     Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

     Call: PRELUDIUM BIS 2, Panel: ST6

393. 393. LCRPlatform: new algorithms and methods for the comprehensive identification, categorization, and annotation of protein …

     Principal investigator: dr hab. Marcin Maciej Grynberg

     Instytut Biochemii i Biofizyki PAN

     Call: OPUS 20, Panel: ST6

394. 394. Leveraging Randomization: From Scheduling to AdWords

     Principal investigator: dr Łukasz Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 20, Panel: ST6

395. 395. Analysis and reduction of group packet losses in the Internet

     Principal investigator: prof. Andrzej Marek Chydziński

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

     Call: OPUS 20, Panel: ST6

396. 396. Efficient distributed and parallel algorithms for big and dynamic data

     Principal investigator: prof. Tomasz Arkadiusz Jurdziński

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 20, Panel: ST6

397. 397. Algorithms for connectivity under uncertainty

     Principal investigator: dr hab. Jarosław Byrka

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 20, Panel: ST6

398. 398. Robust Formalisms for Quantitative Reasoning

     Principal investigator: dr Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 20, Panel: ST6

399. 399. Phylogenetic models to infer cancer evolution

     Principal investigator: dr Jarosław Andrzej Paszek

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 16, Panel: ST6

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