Projects search

• Keywords: specyfikacja ×

Change search criteria ↓

Search results

14 projects found matching your search criteria:

1. 1. Quantitative specifications: learning, algorithms and applications

   Principal investigator: dr Jan Otop

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 14, Panel: ST6

2. 2. Robotic system design methodology based on a formal specification

   Principal investigator: Maksym Figat

   Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

   Call: PRELUDIUM 13, Panel: ST7

3. 3. Ergodic and Topological Properties of Dynamical Systems with Specification-like Properties

   Principal investigator: dr Martha Łącka

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: PRELUDIUM 10, Panel: ST1

4. 4. Specification development and software verification

   Principal investigator: prof. Andrzej Tarlecki

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 6, Panel: ST6

5. 5. Regulatory mechanisms for reproducible neural pattern specification in the developing spinal cord

   Principal investigator: dr Marcin Zagórski

   Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

   Call: SONATA 13, Panel: NZ2

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

7. 7. Econometric modeling of electricty price in a renewables - rich environment. Comaprative study of Polish and Dutch power…

   Principal investigator: dr Łukasz Teofil Gątarek

   Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny

   Call: PRELUDIUM 5, Panel: HS4

8. 8. Specification of thalamic neurons in zebrafish (Danio rerio) morphants of lef1 and tcf7l2

   Principal investigator: Nikola Sylwia Brożko

   Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

   Call: PRELUDIUM 5, Panel: NZ3

9. 9. METHODOLOGY OF ROBOT CONTROL SYSTEMS SPECIFICATION UTILIZING THE ACTIVE VISION PARADIGM FOR OBJECTS IDENTIFICATION

   Principal investigator: Tomasz Michał Kornuta

   Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

   Call: PRELUDIUM 1, Panel: ST7

10. 10. Design and specification of multi-robot control systems

    Principal investigator: Piotr Trojanek

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

    Call: PRELUDIUM 1, Panel: ST7

11. 11. Theorizing the Mind: A Cognitive Metascience Approach

    Principal investigator: dr hab. Marcin Tomasz Miłkowski

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

    Call: OPUS 29, Panel: HS1

12. 12. The role of NANOS3 in modulating genetic processes of early human germ cell development and implication in the human rep…

    Principal investigator: dr hab. Kamila Magdalena Kusz-Zamelczyk

    Instytut Genetyki Człowieka PAN

    Call: OPUS 22, Panel: NZ3

13. 13. Set theoretic methods in dynamics and number theory

    Principal investigator: dr hab. William Andrew Mance

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

    Call: SONATA BIS 9, Panel: ST1

14. 14. Dynamics from the single orbit point of view: quasicrystals, invariant measures, complexity

    Principal investigator: dr hab. Dominik Kwietniak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 15, Panel: ST1