Znaleziono 250 projektów spełniających kryteria wyszukiwania:
Analiza ilościowych modeli obliczeniowych
Konkurs: SONATA BIS 14 , panel: ST6
Kierownik: dr hab. Lorenzo Clemente
Uniwersytet Warszawski
Konkurs: OPUS 27 , panel: ST4
Kierownik: prof. Zbigniew Brzózka
Politechnika Warszawska
Konkurs: OPUS 27 , panel: ST4
Kierownik: prof. Wojciech Bal
Instytut Biochemii i Biofizyki Polskiej Akademii Nauk
Konkurs: PRELUDIUM 23 , panel: ST4
Kierownik: Daria Drwal
Politechnika Łódzka
Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Konkurs: PRELUDIUM 23 , panel: ST6
Kierownik: Bartosz Bednarczyk
Uniwersytet Wrocławski
Od kamiennych narzędzi do języka: Porównanie modeli protojęzyka opartych na pantomimie i archeologii
Konkurs: PRELUDIUM 23 , panel: HS3
Kierownik: Svetlana Kuleshova
Uniwersytet Mikołaja Kopernika w Toruniu
Konkurs: OPUS 27 , panel: HS4
Kierownik: dr hab. Krzysztof Widawski
Uniwersytet Wrocławski
Ultrazimne cząsteczki - platforma badawcza dla fizyki poza Modelem Standardowym
Konkurs: PRELUDIUM 23 , panel: ST2
Kierownik: Adam Koza
Uniwersytet Warszawski
Konkurs: OPUS 27 , panel: ST1
Kierownik: prof. Tomasz Komorowski
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: OPUS 27 , panel: ST4
Kierownik: prof. Renata Bilewicz
Uniwersytet Warszawski
Konkurs: OPUS 27 , panel: ST4
Kierownik: prof. Janusz Rak
Uniwersytet Gdański
Rozmaitości hyper-kahlerowskie i kategorie pochodne
Konkurs: OPUS 27 , panel: ST1
Kierownik: dr hab. Grzegorz Kapustka
Uniwersytet Jagielloński w Krakowie
Placebo i nocebo dla tłumaczy: model poznania antycypacyjnego w produkcji przekładu
Konkurs: OPUS 26 , panel: HS2
Kierownik: dr hab. Mikołaj Deckert
Uniwersytet Łódzki, Wydział Filologiczny
ASEP i inne modele całkowalnej probabilistyki
Konkurs: OPUS 26 , panel: ST1
Kierownik: prof. Jacek Wesołowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Aksjomaty forsingowe, modele wewnętrzne i determinacja
Konkurs: MAESTRO 15 , panel: ST1
Kierownik: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Struktury geometryczne tensorów
Konkurs: SONATA BIS 13 , panel: ST1
Kierownik: dr hab. Joachim Jelisiejew
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 13 , panel: ST4
Kierownik: dr Sylwester Gawinkowski
Instytut Chemii Fizycznej Polskiej Akademii Nauk
Konkurs: SONATA BIS 13 , panel: ST4
Kierownik: dr hab. Dorota Matyszewska
Uniwersytet Warszawski, Wydział Chemii
Doświadczanie gier wideo w przekładzie: model recepcyjny
Konkurs: SONATA BIS 13 , panel: HS2
Kierownik: dr hab. Mikołaj Deckert
Uniwersytet Łódzki, Wydział Filologiczny
Konkurs: SONATA BIS 13 , panel: ST1
Kierownik: dr hab. Piotr Stanisław Pokora
Uniwersytet Komisji Edukacji Narodowej w Krakowie
W stronę wielowymiarowego potwierdzonego empirycznie modelu użycia autoironii
Konkurs: PRELUDIUM 22 , panel: HS2
Kierownik: Aleksandra Siemieniuk
Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej
Wolne i iteratywne operatory na ciałach
Konkurs: PRELUDIUM 22 , panel: ST1
Kierownik: Jakub Gogolok
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Konkurs: OPUS 25 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 22 , panel: ST4
Kierownik: Tetiana Stepanenko
Uniwersytet Jagielloński, Narodowe Centrum Promieniowania Synchrotronowego SOLARIS
Konkurs: OPUS 25 , panel: ST4
Kierownik: dr Joanna Gryboś
Uniwersytet Jagielloński, Wydział Chemii
Side Conditions and the Saturation of the Non-stationary Ideal
Konkurs: POLONEZ BIS 3 , panel: ST1
Kierownik: dr Rahman Mohammadpour
Instytut Matematyczny Polskiej Akademii Nauk
Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje
Konkurs: SONATA 18 , panel: ST6
Kierownik: dr Jakub Gajarský
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 24 , panel: HS2
Kierownik: dr Iwona Mazur
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki
Niebenzenoidowe policykliczne węglowodory aromatyczne jako molekularne modele zdefektowanego grafenu
Konkurs: SONATA 18 , panel: ST4
Kierownik: dr Bartłomiej Pigulski
Uniwersytet Wrocławski, Wydział Chemii
Modele obliczeniowe w formalnej weryfikacji
Konkurs: SONATA BIS 12 , panel: ST6
Kierownik: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Skończenie stanowe obliczenia wielomianowe
Konkurs: MAESTRO 14 , panel: ST6
Kierownik: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 21 , panel: ST4
Kierownik: Sławomir Jan Kasperowicz
Instytut Biochemii i Biofizyki Polskiej Akademii Nauk
Konkurs: OPUS 23 , panel: ST1
Kierownik: prof. Piotr Bogusław Mucha
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Yang-Baxter maps and their role in discrete nonlinear integrable systems theory.
Konkurs: POLONEZ BIS 2 , panel: ST1
Kierownik: dr Pavlos Kassotakis
Uniwersytet Warszawski, Wydział Fizyki
Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.
Konkurs: OPUS 23 , panel: ST6
Kierownik: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Wyjaśnienie wpływu hormonów steroidowych na właściwości biofizyczne biomimetycznych błon komórkowych
Konkurs: PRELUDIUM 21 , panel: ST4
Kierownik: Hanna Orlikowska-Rzeźnik
Politechnika Poznańska, Wydział Inżynierii Materiałowej i Fizyki Technicznej
Selekcja modelu dla kolorowych Gaussowskich modeli grafowych - podejście Bayesowskie i częstościowe.
Konkurs: OPUS 23 , panel: ST1
Kierownik: dr hab. Bartosz Wojciech Kołodziejek
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Problemy regularności i istnienia dla topologicznych solitonów
Konkurs: Polskie Powroty NAWA 2021 , panel: ST1
Kierownik: dr Katarzyna Ewa Mazowiecka
Uniwersytet Warszawski
Klasyfikowanie modeli Pochodnych Aksjomatu Determinacji
Konkurs: WEAVE-UNISONO , panel: ST1
Kierownik: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Singularities in calculus of variations and partial differential equations
Konkurs: POLONEZ BIS 1 , panel: ST1
Kierownik: dr Rémy Rodiac
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 22 , panel: ST4
Kierownik: dr hab. Grażyna Bożena Leszczyńska
Politechnika Łódzka
Konkurs: SONATA 17 , panel: ST4
Kierownik: dr Katarzyna Jastrzębska
Centrum Badań Molekularnych i Makromolekularnych Polskiej Akademii Nauk
Konkurs: SONATA 17 , panel: ST4
Kierownik: dr Małgorzata Ostrowska
Uniwersytet Wrocławski, Wydział Chemii
Konkurs: SONATA BIS 11 , panel: ST4
Kierownik: dr hab. Paweł Tecmer
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Zastosowanie modelu ORM do precyzyjnego oznaczania stosunków izotopowych pierwiastków.
Konkurs: OPUS 21 , panel: ST4
Kierownik: prof. Ewa Joanna Bulska
Uniwersytet Warszawski
Teoria układów Liego w rozwiązaniach kompartmentowych modeli epidemiologicznych
Konkurs: PRELUDIUM 20 , panel: ST1
Kierownik: dr Marcin Zając
Uniwersytet Warszawski, Wydział Fizyki
Konkurs: OPUS 21 , panel: ST4
Kierownik: dr hab. Kamilla Małek
Uniwersytet Jagielloński, Wydział Chemii
Geometria i operatory różniczkowe na rozmaitościach algebraicznych
Konkurs: OPUS 21 , panel: ST1
Kierownik: prof. Adrian Langer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 20 , panel: ST4
Kierownik: dr Adriana Justyna Adamczyk
Uniwersytet Jagielloński, Wydział Chemii