Projects search

• Keywords: Algorytmy ×

Change search criteria ↓

Search results

443 projects found matching your search criteria:

351. 351. Optimizing Robust Delayed Feedback and Predictive Control Problems via Advanced Metaheuristics

     Principal investigator: prof. Janusz Aleksander Kacprzyk

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

     Call: OPUS 28 (LAP), Panel: ST7

352. 352. Fair Division of Indivisible Goods under Incomplete Information

     Principal investigator: dr hab. Marcin Mirosław Anholcer

     Uniwersytet Ekonomiczny w Poznaniu, Instytut Informatyki i Ekonomii Ilościowej

     Call: OPUS 26, Panel: HS4

353. 353. Can a slime mold help us alleviate cosmological tensions?

     Principal investigator: dr hab. Vincenzo Salzano

     Uniwersytet Szczeciński, Instytut Fizyki

     Call: OPUS 26, Panel: ST9

354. 354. Modern tools for complex network analysis

     Principal investigator: dr Małgorzata Sulkowska

     Politechnika Wrocławska

     Call: OPUS 25, Panel: ST6

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

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

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

358. 358. Counting models in formal verification

     Principal investigator: dr Filip Aleksander Mazowiecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 12, Panel: ST6

359. 359. Polynomial finite state computation

     Principal investigator: prof. Mikołaj Bojańczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: MAESTRO 14, Panel: ST6

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

361. 361. Linear algebra in orbit-finite dimension

     Principal investigator: Arka Ghosh

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 21, Panel: ST6

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

363. 363. Proportional Participatory Budgeting

     Principal investigator: Grzegorz Pierczyński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 21, Panel: ST6

364. 364. Photonic Quantum Memristor Networks

     Principal investigator: dr hab. Magdalena Stobińska

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: Quant-ERA II Call 2021, Panel: ST2

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

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

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

     Principal investigator: Jan Kazimierz Derbisz

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 20, Panel: ST6

368. 368. Radio spectrum occupancy detection using federated machine learning

     Principal investigator: Łukasz Przemysław Kułacz

     Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

     Call: PRELUDIUM 20, Panel: ST7

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

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

371. 371. Metaheuristic-based parametric optimization of time-delay models and control systems

     Principal investigator: prof. Janusz Aleksander Kacprzyk

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

     Call: OPUS 20 (LAP), Panel: ST7

372. 372. Robust Formalisms for Quantitative Reasoning

     Principal investigator: dr Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 20, Panel: ST6

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

374. 374. Parallelization of metaheuristics with desynchronization

     Principal investigator: dr hab. Marek Kisiel-Dorohinicki

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

     Call: PRELUDIUM BIS 1, Panel: ST6

375. 375. Data-enriched models of computation

     Principal investigator: prof. Sławomir Grzegorz Lasota

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 18, Panel: ST6

376. 376. Computational aspects of non-Euclidean geometries

     Principal investigator: dr Eryk Wacław Kopczyński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 18, Panel: ST6

377. 377. Multiwinner Election Rules: Beyond Scoring Protocols

     Principal investigator: dr Piotr Krzysztof Skowron

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 18, Panel: ST6

378. 378. Blockchain wallets -- cryptographic theory and applications

     Principal investigator: prof. Stefan Michał Dziembowski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 18, Panel: ST6

379. 379. Development of CNV detection methods based on depth of coverage

     Principal investigator: dr Wiktor Tomasz Kuśmirek

     Politechnika Warszawska

     Call: PRELUDIUM 18, Panel: ST6

380. 380. Super-scalable urban traffic simulation

     Principal investigator: dr hab. Wojciech Turek

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

     Call: PRELUDIUM BIS 1, Panel: ST6

381. 381. Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

     Principal investigator: dr hab. Remigiusz Grzegorz Wiśniewski

     Uniwersytet Zielonogórski

     Call: OPUS 18, Panel: ST6

382. 382. Arm-Z: an extremely modular hyper-redundant low-cost manipulator -- development of control methods and efficiency analys…

     Principal investigator: dr Maciej Daniel Zawidzki

     Instytut Podstawowych Problemów Techniki Polska Akademia Nauk

     Call: OPUS 17, Panel: ST8

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

384. 384. Analysis and compression of data from the third generation of sequencing instruments

     Principal investigator: prof. Sebastian Tomasz Deorowicz

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

     Call: OPUS 17, Panel: ST6

385. 385. Analiza i zastosowanie kwantowego wyszukiwania przestrzennego

     Principal investigator: Adam Piotr Glos

     Instytut Informatyki Teoretycznej i Stosowanej PAN

     Call: ETIUDA 7, Panel: ST6

386. 386. Optimization of convergent packet switched 5G transport networks with latency-sensitive traffic flows

     Principal investigator: dr hab. Mirosław Klinkowski

     Instytut Łączności - Państwowy Instytut Badawczy

     Call: OPUS 16, Panel: ST7

387. 387. Information hidding and privacy in (mainly) distributed systems

     Principal investigator: prof. Marek Dariusz Klonowski

     Politechnika Wrocławska

     Call: OPUS 15, Panel: ST6

388. 388. Election Isomorphism Problem

     Principal investigator: Stanisław Andrzej Szufa

     Uniwersytet Jagielloński, Centrum Badań Ilościowych nad Polityką

     Call: PRELUDIUM 15, Panel: ST6

389. 389. Nearest neighbors problem without false negatives.

     Principal investigator: dr Piotr Wygocki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 15, Panel: ST6

390. 390. Conflicts with multiple battlefields and discrete resources

     Principal investigator: dr hab. Marcin Dziubiński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 15, Panel: ST6

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

392. 392. Programowanie dynamiczne z gwarancjami

     Principal investigator: Karol Zbigniew Węgrzycki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: ETIUDA 6, Panel: ST6

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

394. 394. Development of algorithmic and statistical methods in mass spectrometry

     Principal investigator: dr Michał Piotr Startek

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 13, Panel: ST6

395. 395. Understanding recursion

     Principal investigator: dr Lorenzo Clemente

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 13, Panel: ST6

396. 396. Dynamic graphs; connectivity, flows and coloring.

     Principal investigator: dr Anna Zych-Pawlewicz

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 13, Panel: ST6

397. 397. Portable parallel programing for multi-/manycore architectures and self adaptable applications

     Principal investigator: dr hab. Łukasz Szustak

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

     Call: SONATA 13, Panel: ST6

398. 398. Aspects of grammar compression

     Principal investigator: dr hab. Artur Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA BIS 7, Panel: ST6

399. 399. Image segmentation methods integrating texture analysis and deformable models

     Principal investigator: Daniel Reska

     POLITECHNIKA BIAŁOSTOCKA, Wydział Informatyki

     Call: PRELUDIUM 13, Panel: ST6

400. 400. Compression of large-scale genomic data collections

     Principal investigator: prof. Sebastian Deorowicz

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

     Call: OPUS 13, Panel: ST6