Wyniki wyszukiwania

1. Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym…

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Konkurs: SONATA BIS 7, panel: HS1

2. Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

Kierownik: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: OPUS 6, panel: HS1

3. Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 7, panel: ST6

4. Przyjazne obliczeniowo miary centralności oparte na teorii gier

Kierownik: dr Tomasz Paweł Michalak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 5, panel: ST6

5. Matematyka obliczeniowa w mechanice kwantowej

Kierownik: dr hab. Karolina Kropielnicka

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Konkurs: SONATA BIS 9, panel: ST1

6. Metody optymalizacji w alokacji zasobów obliczeniowych wielkiej skali

Kierownik: dr hab. Krzysztof Michał Rządca

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 13, panel: ST6

7. Kwantowa Informacja w Kwantowych Teoriach Pola i Holografii: Dynamika i Złożoność.

Kierownik: dr hab. Paweł Piotr Caputa

Uniwersytet Warszawski, Wydział Fizyki

Konkurs: SONATA BIS 9, panel: ST2

8. Algorytmiczna teoria sprawności pamięci roboczej na przykładzie przetwarzania kwantyfikatorów w języku naturalnym

Kierownik: dr hab. Marcin Zajenkowski

Uniwersytet Warszawski

Konkurs: SONATA 1, panel: HS6

9. Wydajne modele obliczeniowe do screeningu 5-tej generacji organicznych cząsteczek emitujących światło

Kierownik: Daria Renata Drwal

Politechnika Łódzka

Konkurs: PRELUDIUM 23, panel: ST4

10. Projektowanie obliczeniowe materiałów magnetycznych na podstawie sieci metaloorganicznych

Kierownik: dr hab. Mihails Arhangelskis

Uniwersytet Warszawski, Wydział Chemii

Konkurs: PRELUDIUM BIS 4, panel: ST5

11. Metoda obliczeniowa do opisu oddziaływań międzycząsteczkowych w stanie wzbudzonym.

Kierownik: dr Ewa Maria Pastorczak

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Konkurs: SONATA 13, panel: ST4

12. Opracowanie nowej wariacyjnej metody obliczeniowej dla wzbudzeń elektronowych wykorzystującej krótkozasięgowe funkcjonał…

Kierownik: dr hab. Katarzyna Pernal

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Konkurs: OPUS 3, panel: ST4

13. Obliczeniowa dynamika topologiczna

Kierownik: prof. Marian Mrozek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: MAESTRO 6, panel: ST1

14. Entropowo-informacyjne źródła aromatyczności chemicznej: teoria i zastosowania

Kierownik: dr Dariusz Wojciech Szczepanik

Uniwersytet Jagielloński, Wydział Chemii

Konkurs: SONATA BIS 11, panel: ST4

15. Rozwój wariacyjnej teorii adiabatycznej dla eksperymentów zimnych zderzeń atom-molekuła dwuatomowa

Kierownik: dr Mariusz Pawlak

Uniwersytet Mikołaja Kopernika, Wydział Chemii

Konkurs: SONATA 12, panel: ST4

16. Elementy macierzowe operatora oddziaływania spin-orbita w hermitowskim sformułowaniu teorii odpowiedzi w metodzie sprzęż…

Kierownik: dr Aleksandra Maria Tucholska

Uniwersytet Warszawski, Wydział Chemii

Konkurs: PRELUDIUM 11, panel: ST4

17. Opracowanie nowego narzędzia do rezonansów elektronowych z wykorzystaniem teorii wieloodniesieniowej algebraicznej konst…

Kierownik: dr Koushik Chatterjee

Uniwersytet Warszawski

Konkurs: SONATA 20, panel: ST4

18. Spektroskopia, tworzenie i zastosowania ultrazimnych mocno polarnych cząsteczek KAg i CsAg: teoria i doświadczenie

Kierownik: dr hab. Michał Józef Tomza

Uniwersytet Warszawski, Wydział Fizyki

Konkurs: OPUS 22, panel: ST4

19. Obliczeniowe aspekty gier nieskończonych

Kierownik: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 21, panel: ST6

20. Wieloskalowy model korozji prętów zbrojeniowych w oparciu o teorię stężonych elektrolitów uwzględniający trójwymiarową h…

Kierownik: prof. Robert Józef Filipek

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Materiałowej i Ceramiki

Konkurs: OPUS 19, panel: ST8

21. Opracowanie nowej klasy funkcjonałów hybrydowych w ramach teorii funkcjonału gęstości.

Kierownik: dr Szymon Filip Śmiga

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Konkurs: OPUS 19, panel: ST4

22. Implementacja teorii załomów plastycznych doszacowania nośności struktur cienkościennychpoddanych obciążeniom złożonym

Kierownik: prof. Maria Kotełko

Politechnika Łódzka, Wydział Mechaniczny

Konkurs: OPUS 18, panel: ST8

23. Obliczeniowe aspekty geometrii nieeuklidesowych

Kierownik: dr Eryk Wacław Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 18, panel: ST6

24. Metody obliczeniowe dla wysokowymiarowego uczenia statystycznego

Kierownik: dr hab. Błażej Grzegorz Miasojedow

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 16, panel: ST1

25. Przestrzenny wymiar transmisji kulturowej melodii ludowych - analiza statystyczna i obliczeniowa melodii ze zbiorów Oska…

Kierownik: Rafał Ireneusz Miśta

Uniwersytet Warszawski, Instytut Studiów Społecznych im. prof. Roberta B. Zajonca

Konkurs: PRELUDIUM 15, panel: HS2

26. Teoria efektów relatywistycznych oraz efektów elektrodynamiki kwantowej dla przewidywania właściwości dielektrycznych i …

Kierownik: prof. Bogumił Stanisław Jeziorski

Uniwersytet Warszawski, Wydział Chemii

Konkurs: OPUS 14, panel: ST4

27. Obliczeniowe aspekty własności (T)

Kierownik: dr Marek Stanisław Kaluba

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

Konkurs: SONATA 13, panel: ST1

28. Teoretyczna spektroskopia molekularna wysokiej rozdzielczości dla stanu podstawowego i stanów wzbudzonych cząsteczek met…

Kierownik: prof. Robert Moszyński

Uniwersytet Warszawski, Wydział Chemii

Konkurs: OPUS 13, panel: ST4

29. Modele, metody i algorytmy obliczeniowej nauki o sieciach

Kierownik: prof. Przemysław Ryszard Kazienko

Politechnika Wrocławska

Konkurs: OPUS 11, panel: ST6

30. Genomika Obliczeniowa: Problemy, Algorytmy i Modele

Kierownik: dr hab. Paweł Piotr Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 10, panel: ST6

31. Analiza Obliczeniowa Aplikowalnych Gier Głosowania Ważonego

Kierownik: dr Oskar Skibski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 10, panel: ST6

32. Rozwinięcie teorii, metod numerycznych i opracowanie programów komputerowych do modelowania szczelinowania hydrauliczneg…

Kierownik: prof. Aleksandr Linkov

Politechnika Rzeszowska im. Ignacego Łukasiewicza, Wydział Matematyki i Fizyki Stosowanej

Konkurs: OPUS 10, panel: ST8

33. Wymiar i reprezentacje częściowych porządków: złożoność obliczeniowa, ograniczenia i strukturalne własności

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: SONATA BIS 5, panel: ST6

34. Modelowanie i sterowanie zjawiskiem korelacji wydajności algorytmów i zużycia energii w równoległych środowiskach oblicz…

Kierownik: dr Krzysztof Rojek

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Konkurs: SONATA 9, panel: ST6

35. Opracowanie i implementacja nowych, hybrydowych funkcjonałów wymienno-korelacyjnych w teorii funkcjonałów gęstości (DFT)…

Kierownik: Adam Tomasz Buksztel

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Konkurs: ETIUDA 3, panel: ST4

36. Efekty sprzężenia ruchu jąder i elektronów w dwuatomowych cząsteczkach wieloelektronowych - obliczenia na poziomie teori…

Kierownik: prof. Bogumił Stanisław Jeziorski

Uniwersytet Warszawski, Wydział Chemii

Konkurs: OPUS 8, panel: ST4

37. Nowe modele teorii sprzężonych klasterów uwzględniające efekty relatywistyczne w zastosowaniu do badania krzywych energi…

Kierownik: prof. Monika Agnieszka Musiał

UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

Konkurs: OPUS 6, panel: ST4

38. Nowe metody kompleksowej analizy współbieżnych systemów obliczeniowych

Kierownik: dr Łukasz Mikulski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Konkurs: SONATA 5, panel: ST6

39. Model obliczeniowy trajektorii 2D i 3D oparty na uogólnieniu problemu Zermelo w nawigacyjnych Systemach Informacji Przes…

Kierownik: Piotr Marek Kopacz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 5, panel: ST10

40. Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA

Kierownik: Adam Kazimierz Dziekoński

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Konkurs: ETIUDA 1, panel: ST7

41. Efektywny opis korelacji elektronowej w funkcjonałach wymienno-korelacyjnych w Teorii Funkcjonałów Gęstości.

Kierownik: Szymon Filip Śmiga

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Konkurs: ETIUDA 1, panel: ST4

42. Złożoność obliczeniowa problemów spójności w grafach

Kierownik: dr hab. Marcin Jakub Kamiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 4, panel: ST6

43. Nowe metody przydatne w dysocjacji wiązania pojedynczego oparte na teorii sprzężonych klasterów

Kierownik: dr hab. Monika Agnieszka Musiał

UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

Konkurs: OPUS 1, panel: ST4

44. Proporcjonalny Budżet Partycypacyjny

Kierownik: Grzegorz Pierczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 21, panel: ST6

45. Aktywne w zakresie NIR wielowarstwowe powłoki na stopach tytanu do dezynfekcji superpatogenów

Kierownik: dr hab. Vignesh Kumaravel

Politechnika Łódzka

Konkurs: OPUS 28 (LAP), panel: ST11

46. Systemy wyboru komitetów: Metody niepunktowe

Kierownik: dr Piotr Krzysztof Skowron

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 18, panel: ST6

47. Modelowanie chemii atomów ciężkich przy użyciu wydajnych i wiarygodnych metod geminalowych w połączeniu z korekcją typu …

Kierownik: Artur Nowak

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Konkurs: PRELUDIUM 17, panel: ST4

48. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Konkurs: PRELUDIUM 1, panel: HS1

49. Poza domieszkowaniem: przezroczyste przewodniki dzięki nośnikom własnym w metalach z wewnętrzną przerwą pasmową

Kierownik: dr Oleksandr Malyi

Ensemble3 sp. z o.o.

Konkurs: SONATA BIS 15, panel: ST3

50. Absorpcja wielofotonowa - rozwój protokołów symulacji

Kierownik: dr hab. Robert Zaleśny

Politechnika Wrocławska

Konkurs: SONATA BIS 8, panel: ST4

Wyszukiwarka projektów