Projects search

• Keywords: dependent type ×

Change search criteria ↓

Search results

9 projects found matching your search criteria:

1. 1. Semantics with continuations and dependent types: exploring mechanisms of natural language quantification

   Principal investigator: dr hab. Justyna Anna Grudzińska-Zawadowska

   Uniwersytet Warszawski, Wydział Filozofii i Socjologii

   Call: OPUS 12, Panel: HS1

2. 2. New type of analogs and conjugates of folic acid with potential therapeutic applicaton in treatment of hormone-dependent…

   Principal investigator: Olga Ciupak

   Politechnika Gdańska, Wydział Chemiczny

   Call: PRELUDIUM 20, Panel: NZ7

3. 3. The role of sphingosine kinases/sphingosine-1-phosphate dependent signaling in mice brains exposed to type II diabetes m…

   Principal investigator: dr Przemysław Leonard Wencel

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

   Call: PRELUDIUM 15, Panel: NZ4

4. 4. A comparative analysis of the ability to secrete exosomes by different types of human mesenchymal stem/stromal cells (MS…

   Principal investigator: prof. Anna Otylia Sarnowska

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

   Call: PRELUDIUM BIS 4, Panel: NZ3

5. 5. Does processing of unconscious stimuli depend on the type of task and the required response modality?

   Principal investigator: Izabela Szumska

   Instytut Psychologii PAN

   Call: PRELUDIUM 12, Panel: HS6

6. 6. Does cadmium remediation depend on the type of photosynthetic metabolism?

   Principal investigator: prof. Zbigniew Adam Miszalski

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

   Call: OPUS 11, Panel: NZ9

7. 7. Seasonal changes in greenhous gas emission (methane, carbon dioxide and nitrous oxide) depending on the technological st…

   Principal investigator: Katarzyna Maria Jaromin-Gleń

   Instytut Agrofizyki im. Bohdana Dobrzańskiego PAN

   Call: PRELUDIUM 9, Panel: ST10

8. 8. Bioinformatic analysis of GmrSD, a Type IV Modification-Dependent Restriction Systems

   Principal investigator: Magdalena Anna Machnicka

   Międzynarodowy Instytut Biologii Molekularnej i Komórkowej

   Call: PRELUDIUM 4, Panel: NZ2

9. 9. Towards a cognitively plausible compositional model for natural language quantification

   Principal investigator: dr hab. Justyna Anna Grudzińska-Zawadowska

   Uniwersytet Warszawski, Wydział Filozofii

   Call: OPUS 18, Panel: HS1