Wyszukiwarka projektów

• Słowa kluczowe: specyfikacja ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 14 projektów spełniających kryteria wyszukiwania:

1. 1. Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania

   Kierownik: dr Jan Otop

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 14, panel: ST6

2. 2. Metodyka projektowania sterowników systemów robotycznych oparta na formalnej specyfikacji

   Kierownik: Maksym Figat

   Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

   Konkurs: PRELUDIUM 13, panel: ST7

3. 3. Ergodyczne i topologiczne własności układów dynamicznych z uogólnioną specyfikacją

   Kierownik: dr Martha Łącka

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: PRELUDIUM 10, panel: ST1

4. 4. Konstruowanie specyfikacji i weryfikacja oprogramowania

   Kierownik: prof. Andrzej Tarlecki

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 6, panel: ST6

5. 5. Mechanizmy regulacyjne w powtarzalnej specyfikacji wzoru nerwowego w rozwoju rdzenia kręgowego

   Kierownik: dr Marcin Zagórski

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

   Konkurs: SONATA 13, panel: NZ2

6. 6. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

   Kierownik: dr hab. Lidia Zofia Tendera

   Uniwersytet Opolski

   Konkurs: OPUS 5, panel: ST6

7. 7. Ekonometryczne modelowanie cen energii eletrycznej przy znacznym udziale źródeł odnawialnych. Analiza porównawcza specyf…

   Kierownik: dr Łukasz Teofil Gątarek

   Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny

   Konkurs: PRELUDIUM 5, panel: HS4

8. 8. Specyfikacja neuronów wzgórza u morfantów lef1 i tcf7l2 danio pręgowanego (Danio rerio)

   Kierownik: Nikola Sylwia Brożko

   Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

   Konkurs: PRELUDIUM 5, panel: NZ3

9. 9. METODYKA SPECYFIKACJI UKŁADÓW STEROWANIA ROBOTÓW WYKORZYSTUJĄCYCH PARADYGMAT AKTYWNEJ WIZJI DO IDENTYFIKACJI OBIEKTÓW

   Kierownik: Tomasz Michał Kornuta

   Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

   Konkurs: PRELUDIUM 1, panel: ST7

10. 10. Projektowanie i specyfikacja układów sterowania systemami wielorobotowymi

    Kierownik: Piotr Trojanek

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

    Konkurs: PRELUDIUM 1, panel: ST7

11. 11. Jak teoretyzować o umyśle: podejście metanauki poznawczej

    Kierownik: dr hab. Marcin Tomasz Miłkowski

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

    Konkurs: OPUS 29, panel: HS1

12. 12. Rola NANOS3 w modulowaniu procesów genetycznych we wczesnych etapach rozwoju ludzkich komórek gametogenicznych oraz znac…

    Kierownik: dr hab. Kamila Magdalena Kusz-Zamelczyk

    Instytut Genetyki Człowieka PAN

    Konkurs: OPUS 22, panel: NZ3

13. 13. Metody teoriomnogościowe w dynamice i teorii liczb

    Kierownik: dr hab. William Andrew Mance

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

    Konkurs: SONATA BIS 9, panel: ST1

14. 14. Dynamika z punktu widzenia pojedynczych orbit: quasi-kryształy, miary niezmiennicze, złożoność

    Kierownik: dr hab. Dominik Kwietniak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: OPUS 15, panel: ST1