Wyniki wyszukiwania

Słowa kluczowe: dependent type

Zmień kryteria wyszukiwania ↓

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

1. Semantyka z kontynuacjami i typami zależnymi: badanie mechanizmów kwantyfikacji w języku naturalnym

Kierownik: dr hab. Justyna Anna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: OPUS 12, panel: HS1
2. Nowy typ analogów i koniugatów kwasu foliowego o potencjalnym zastosowaniu w terapii nowotworów hormonozależnych

Kierownik: Olga Ciupak

Politechnika Gdańska, Wydział Chemiczny

Konkurs: PRELUDIUM 20, panel: NZ7
3. Rola ścieżki sygnałowej z udziałem kinazy sfingozyny/sfingozyno-1-fosforanu w mózgach myszy z cukrzycą typu II oraz po d…

Kierownik: dr Przemysław Leonard Wencel

Instytut Medycyny Doświadczalnej i Klinicznej im. Mirosława Mossakowskiego PAN

Konkurs: PRELUDIUM 15, panel: NZ4
4. Analiza porównawcza zdolności do wydzielania egzosomów przez ludzkie mezenchymalne komórki macierzyste/stromalne w zależ…

Kierownik: prof. Anna Otylia Sarnowska

Instytut Medycyny Doświadczalnej i Klinicznej im. Mirosława Mossakowskiego PAN

Konkurs: PRELUDIUM BIS 4, panel: NZ3
5. Czy przetwarzanie bodźców nieświadomych zależne jest od rodzaju zadania oraz modalności wymaganej odpowiedzi?

Kierownik: Izabela Szumska

Instytut Psychologii PAN

Konkurs: PRELUDIUM 12, panel: HS6
6. Czy remediacja kadmu zależy od typu metabolizmu fotosyntetycznego?

Kierownik: prof. Zbigniew Adam Miszalski

Uniwersytet Jagielloński, Małopolskie Centrum Biotechnologii Uniwersytetu Jagiellońskiego

Konkurs: OPUS 11, panel: NZ9
7. Sezonowe zmiany emisji gazów cieplarnianych (metanu, dwutlenku węgla i podtlenku azotu) w zależności od technologicznego…

Kierownik: Katarzyna Maria Jaromin-Gleń

Instytut Agrofizyki im. Bohdana Dobrzańskiego PAN

Konkurs: PRELUDIUM 9, panel: ST10
8. Analiza bioinformatyczna GmrSD - zależnych od modyfikacji systemów restrykcyjnych typu IV

Kierownik: Magdalena Anna Machnicka

Międzynarodowy Instytut Biologii Molekularnej i Komórkowej

Konkurs: PRELUDIUM 4, panel: NZ2
9. W stronę kognitywnie wiarygodnego, kompozycyjnego modelu kwantyfikacji w języku naturalnym

Kierownik: dr hab. Justyna Anna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 18, panel: HS1

Wyszukiwarka projektów

Wyniki wyszukiwania