Projects search

• Keywords: metoda naukowa ×

Change search criteria ↓

Search results

472 projects found matching your search criteria:

401. 401. Online learning algorithms for complex prediction problems

     Principal investigator: dr Wojciech Kotłowski

     Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

     Call: SONATA BIS 6, Panel: ST6

402. 402. Quantitative properties for higher-order recursion schemes

     Principal investigator: dr hab. Paweł Parys

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 6, Panel: ST6

403. 403. Symbolic computations on first-order definable objects

     Principal investigator: prof. Sławomir Grzegorz Lasota

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 11, Panel: ST6

404. 404. Algorithmic and Axiomatic Analysis of Committee Scoring Rules

     Principal investigator: dr hab. Piotr Faliszewski

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

     Call: OPUS 11, Panel: ST6

405. 405. Limits of Databases

     Principal investigator: dr Szymon Abram Toruńczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

406. 406. Separability problem in automata theory

     Principal investigator: dr Wojciech Karol Czerwiński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

407. 407. Molecular simulations for adsorption of light hydrocarbons in microporous materials regarding to experimental thermodeso…

     Principal investigator: Andrzej Sławek

     Uniwersytet Jagielloński, Wydział Chemii

     Call: PRELUDIUM 11, Panel: ST5

408. 408. A quest for new computer logics

     Principal investigator: dr hab. Emanuel Grzegorz Kieroński

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 11, Panel: ST6

409. 409. Quantitative aspects of computational complexity in lambda calculus

     Principal investigator: dr Maciej Maria Bendkowski

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 11, Panel: ST6

410. 410. Efficient algorithms for weak forms of non-determinism

     Principal investigator: dr hab. Michał Paweł Skrzypczak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

411. 411. The topology of solution spaces of combinatorial problems

     Principal investigator: Marcin Wrochna

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 11, Panel: ST6

412. 412. Approximation algorithms under data uncertainty

     Principal investigator: Michał Włodarczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 11, Panel: ST6

413. 413. Algebraic invariants of Data Petri Nets.

     Principal investigator: dr Piotr Hofman

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

414. 414. Graph separation problems from the perspective of parameterized complexity.

     Principal investigator: Paweł Komosa

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 10, Panel: ST6

415. 415. Modelling of interactions in intermolecular chiral complexes

     Principal investigator: dr hab. Tatiana Danuta Korona

     Uniwersytet Warszawski, Wydział Chemii

     Call: OPUS 10, Panel: ST4

416. 416. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

     Principal investigator: dr Karol Pąk

     Uniwersytet w Białymstoku, Instytut Informatyki

     Call: SONATA 10, Panel: ST6

417. 417. Algorithmic Structure Theory for Sparse Graphs

     Principal investigator: Dipl. Inform. Sebastian Siebertz

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: POLONEZ 1, Panel: ST6

418. 418. Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

     Principal investigator: dr Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: SONATA BIS 5, Panel: ST6

419. 419. Finding Applications for Logic with Partial Functions

     Principal investigator: dr hab. Jean Marie de Nivelle

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 9, Panel: ST6

420. 420. Immune and efficient protocols for distributed systems of constrained devices

     Principal investigator: dr hab. Marek Dariusz Klonowski

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

     Call: OPUS 9, Panel: ST6

421. 421. Global protein docking algorithms based on the UNRES coarse-grained model

     Principal investigator: dr Paweł Krupa

     Uniwersytet Gdański, Wydział Chemii

     Call: PRELUDIUM 9, Panel: ST4

422. 422. Algorithmic aspects of synchronization

     Principal investigator: dr Adam Roman

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 9, Panel: ST6

423. 423. Searching graph structures

     Principal investigator: dr hab. Dariusz Piotr Dereniowski

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

     Call: OPUS 9, Panel: ST6

424. 424. Entropic uncertainty relations and quantum cryptography

     Principal investigator: dr hab. Zbigniew Włodzimierz Puchała

     Instytut Informatyki Teoretycznej i Stosowanej PAN

     Call: OPUS 9, Panel: ST6

425. 425. Strategies of teaching for classfiers operating with reaction-diffusion processes.

     Principal investigator: prof. Jerzy Górecki

     Instytut Chemii Fizycznej Polskiej Akademii Nauk

     Call: OPUS 8, Panel: ST4

426. 426. Blind signatures and electronic identity documents

     Principal investigator: Lucjan Piotr Hanzlik

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

     Call: PRELUDIUM 8, Panel: ST6

427. 427. Compression, logic, formal langauges: new approaches unifying different areas.

     Principal investigator: dr hab. Artur Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 8, Panel: ST6

428. 428. Weighted automata for quantitative properties

     Principal investigator: dr Jan Otop

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 8, Panel: ST6

429. 429. Logics for data analysis and verification

     Principal investigator: dr Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 8, Panel: ST6

430. 430. Numerical and structural invariants in algebra, logic and constraint satisfaction problems

     Principal investigator: prof. Paweł Maria Idziak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: MAESTRO 6, Panel: ST6

431. 431. Revisiting the approaches for isotope effects prediction in condensed phase

     Principal investigator: dr hab. Agnieszka Joanna Dybała-Defratyka

     Politechnika Łódzka, Wydział Chemiczny

     Call: SONATA BIS 4, Panel: ST4

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

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

434. 434. Cryptography without trusted parties

     Principal investigator: dr Tomasz Piotr Kazana

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 7, Panel: ST6

435. 435. Decidability issues for automata on infinite structures

     Principal investigator: prof. Damian Tadeusz Niwiński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 7, Panel: ST6

436. 436. Foundations of Cryptocurrencies

     Principal investigator: dr hab. Stefan Dziembowski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 7, Panel: ST6

437. 437. From nonuniform disk data to leakage-resilient authentication schemes

     Principal investigator: Michał Paweł Zając

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 7, Panel: ST6

438. 438. Languages and Learning in General Game Playing

     Principal investigator: Jakub Kowalski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 7, Panel: ST6

439. 439. Complexity of algorithms on compressed data

     Principal investigator: prof. Wojciech Rytter

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 7, Panel: ST6

440. 440. Electropalatography in pronunciation training and phonological analysis

     Principal investigator: prof. Katarzyna Dziubalska-Kołaczyk

     Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

     Call: OPUS 6, Panel: HS2

441. 441. Online learning of matrices

     Principal investigator: dr Wojciech Kotłowski

     Politechnika Poznańska, Wydział Informatyki

     Call: SONATA 6, Panel: ST6

442. 442. Challenges in semistructural data management

     Principal investigator: dr Filip Marek Murlak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 6, Panel: ST6

443. 443. Combinatorial and information theory aspects of communication in distributed systems.

     Principal investigator: dr Marcin Kardas

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

     Call: PRELUDIUM 5, Panel: ST6

444. 444. Theoretical aspects of voting protocols

     Principal investigator: dr Filip Tomasz Zagórski

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

     Call: SONATA 5, Panel: ST6

445. 445. Formal approach to practical problems of information hiding

     Principal investigator: dr hab. Marek Dariusz Klonowski

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

     Call: OPUS 5, Panel: ST6

446. 446. Frontiers of tractability for recursive queries

     Principal investigator: dr Filip Aleksander Mazowiecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 5, Panel: ST6

447. 447. Algorithms for robust discrete optimization

     Principal investigator: dr hab. Adam Andrzej Kasperski

     Politechnika Wrocławska, Wydział Informatyki i Zarządzania

     Call: OPUS 5, Panel: ST6

448. 448. Automatic reasoning about specifications in simple logics - decidability and complexity issues

     Principal investigator: dr hab. Lidia Zofia Tendera

     Uniwersytet Opolski

     Call: OPUS 5, Panel: ST6

449. 449. Synchronization of automata and the Cerny conjecture

     Principal investigator: dr Marek Szykuła

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 5, Panel: ST6

450. 450. The BDD/FC Conjecture and beyond

     Principal investigator: Tomasz Mirosław Gogacz

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 5, Panel: ST6