Projects search

• Keywords: metoda naukowa ×

Change search criteria ↓

Search results

472 projects found matching your search criteria:

451. 451. Algorithms concerning the legibility of natural deduction proofs

     Principal investigator: dr Karol Pąk

     Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 4, Panel: ST6

452. 452. Sparse and approximately-sparse representations in problems of NMR spectroscopy

     Principal investigator: dr hab. Krzysztof Kazimierczuk

     Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

     Call: SONATA BIS 2, Panel: ST4

453. 453. A new notion of finiteness in computation theory

     Principal investigator: dr hab. Mikołaj Bojańczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 4, Panel: ST6

454. 454. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

     Principal investigator: Łukasz Tadeusz Czajka

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 4, Panel: ST6

455. 455. Modular operational semantics: a bialgebraic approach

     Principal investigator: dr hab. Bartosz Klin

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 2, Panel: ST6

456. 456. parameters of finite models

     Principal investigator: dr Eryk Kopczyński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 4, Panel: ST6

457. 457. Limits of decidability in automata theory

     Principal investigator: dr Paweł Parys

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 4, Panel: ST6

458. 458. Distributed Computing in Dynamic Networks

     Principal investigator: dr hab. Tomasz Jurdziński

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: HARMONIA 3, Panel: ST6

459. 459. Concurrency control and fault tolerance for distributed software transactional memory

     Principal investigator: dr hab. Paweł Tomasz Wojciechowski

     Politechnika Poznańska, Wydział Informatyki

     Call: HARMONIA 3, Panel: ST6

460. 460. Identification of serum proteome components associated with risk of early metastasis of breast cancer

     Principal investigator: dr Anna Justyna Walaszczyk

     Centrum Onkologii - Instytut im. Marii Skłodowskiej-Curie, Centrum Onkologii - Instytut im. Marii Skłodowskiej-Curie Oddział w Gliwicach; Centrum Onkologii - Instytut im. Marii Skłodowskiej-Curie

     Call: PRELUDIUM 3, Panel: NZ4

461. 461. Simulation and bisimulation for context-free and pushdown systems

     Principal investigator: dr Piotr Hofman

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 3, Panel: ST6

462. 462. Hierarchy-type Problems for Automata on Infinite Words and Trees

     Principal investigator: dr Michał Paweł Skrzypczak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 3, Panel: ST6

463. 463. Ramsey numbers containing C_4

     Principal investigator: Janusz Dybizbański

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

     Call: PRELUDIUM 3, Panel: ST6

464. 464. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

     Principal investigator: dr Małgorzata Biernacka

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 2, Panel: ST6

465. 465. Allocation of tasks in computer networks

     Principal investigator: dr Marcin Piotr Krzywkowski

     Politechnika Gdańska

     Call: PRELUDIUM 2, Panel: ST6

466. 466. Z^2 codes: decidability and verification algorithms, defect effect, asymptotic density, tilings, weak codes

     Principal investigator: dr Włodzimierz Krzysztof Moczurad

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 2, Panel: ST6

467. 467. Linguistic workshop for speech analysis and recognition

     Principal investigator: dr Bartosz Ziółko

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

     Call: SONATA 2, Panel: ST6

468. 468. The ACD models and Bayesian inference in the analysis of transaction data from the Polish stock market

     Principal investigator: dr Roman Paweł Huptas

     UNIWERSYTET EKONOMICZNY W KRAKOWIE, Wydział Zarządzania

     Call: PRELUDIUM 1, Panel: HS4

469. 469. Bayesian SV Models with Markov Switching in the Analysis of Volatility on Financial Markets

     Principal investigator: dr Łukasz Michał Kwiatkowski

     UNIWERSYTET EKONOMICZNY W KRAKOWIE, Wydział Zarządzania

     Call: PRELUDIUM 1, Panel: HS4

470. 470. Development of rule-based query languages applied in intelligent systems

     Principal investigator: prof. Andrzej Piotr Szałas

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 1, Panel: ST6

471. 471. Determination of total concentrations of trace metals in bee honeys by flame atomic absorption spectrometry and solid ph…

     Principal investigator: Helena Stecka

     Politechnika Wrocławska, Wydział Chemiczny

     Call: PRELUDIUM 1, Panel: NZ9

472. 472. Phenylpropanoid and terpenoid specialized metabolites in in vitro cultures of a valuable East Asian medicinal plant - Ag…

     Principal investigator: dr Sylwia Zielińska

     Uniwersytet Medyczny im. Piastów Śląskich we Wrocławiu, Wydział Farmaceutyczny z Oddziałem Analiutyki Medycznej

     Call: PRELUDIUM 1, Panel: NZ4