Wyniki wyszukiwania

1. Badania struktury przestrzennej i trwałości kompleksów receptorów makrocyklicznych z anionami w fazie gazowej za pomocą …

Kierownik: prof. Witold Aleksander Danikiewicz

Instytut Chemii Organicznej Polska Akademia Nauk

Konkurs: OPUS 11, panel: ST4

2. Metody inteligencji maszynowej w sterowaniu złożonym, wielorezonansowym układem mechanicznym z dwustronnym napędem osi

Kierownik: Krzysztof Nowopolski

Politechnika Poznańska, Wydział Elektryczny

Konkurs: PRELUDIUM 9, panel: ST7

3. Nowe paradygmaty obliczeniowe dla konstrukcji wyjaśniających modeli systemów złożonych

Kierownik: dr hab. Krzysztof Krawiec

Politechnika Poznańska, Wydział Informatyki

Konkurs: OPUS 1, panel: ST6

4. Badanie złożonych procesów makromolekularnych z wykorzystaniem Analizatora Rzeczywistych Układów Złożonych

Kierownik: dr hab. Andrzej Jan Sikorski

Uniwersytet Warszawski, Wydział Chemii

Konkurs: OPUS 13, panel: ST5

5. Analiza komputerowa i optymalizacja materiałów o złożonych własnościach i mikrostrukturze

Kierownik: dr hab. Piotr Józef Fedeliński

Politechnika Śląska, Wydział Mechaniczny Technologiczny

Konkurs: OPUS 10, panel: ST8

6. Współpraca z Uniwersytetem w Tuluzie w zakresie Analizy Zespolonej

Kierownik: prof. Włodzimierz Robert Zwonek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: HARMONIA 4, panel: ST1

7. 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

8. Zastosowanie symulacji opartych na koncepcji ruchów kooperatywnych do badania procesów polimeryzacji złożonych makrocząs…

Kierownik: dr hab. Piotr Aleksander Polanowski

Politechnika Łódzka, Wydział Chemiczny

Konkurs: OPUS 1, panel: ST5

9. Zmienność w czasie neuropoznawczych efektów treningu złożonym zadaniem w formie strategicznej gry komputerowej.

Kierownik: dr hab. Aneta Brzezicka

Szkoła Wyższa Psychologii Społecznej w Warszawie, Wydział Psychologii

Konkurs: OPUS 12, panel: HS6

10. Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Kierownik: dr Maciej Maria Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 11, panel: ST6

11. 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

12. 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

13. Obliczenia bazujące na percepcji

Kierownik: dr Piotr Tomasz Wasilewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 1, panel: ST6

14. 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

15. W poszukiwaniu nowych logik komputerowych

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 11, panel: ST6

16. Analiza ilościowych modeli obliczeniowych

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Konkurs: SONATA BIS 14, panel: ST6

17. Ewolucja genów Głównego układu zgodności tkankowej (MHC) i antygenów patogenów indukowana przez adaptatywną odpowiedź im…

Kierownik: dr Maciej Jan Ejsmond

Uniwersytet Jagielloński

Konkurs: OPUS 27, panel: NZ8

18. Obrazowanie i obliczenia w ośrodkach rozpraszających za pomocą wielopikselowych detektorów pojedynczych fotonów.

Kierownik: Adrian Artur Makowski

Uniwersytet Warszawski, Wydział Fizyki

Konkurs: PRELUDIUM 22, panel: ST7

19. Metody analizy podobieństwa regionów o niskiej złożoności

Kierownik: dr Patryk Paweł Jarnot

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Konkurs: PRELUDIUM 20, panel: ST6

20. 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

21. Complexity of Julia sets

Kierownik: dr Artem Dudko

Instytut Matematyczny Polskiej Akademii Nauk

Konkurs: POLONEZ 3, panel: ST1

22. 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

23. Efektywne energetycznie i inteligentne obliczeniowo sieci bezprzewodowe z kooperacją węzłów: EcoNets

Kierownik: prof. Hanna Bogucka

Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

Konkurs: OPUS 6, panel: ST7

24. Układy złożone na adaptatywnych sieciach ważonych

Kierownik: prof. Adam Antoni Lipowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

Konkurs: OPUS 5, panel: ST6

25. Złożone modele w problemach szeregowania zadań i metody ich rozwiązania

Kierownik: prof. Adam Antoni Janiak

Instytut Badań Systemowych PAN

Konkurs: OPUS 2, panel: ST6

26. Miary złożoności strukturalnej dla teorii podstaw matematyki

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Konkurs: WEAVE-UNISONO, panel: HS1

27. Celowanie w kompleksy kwas nukleinowy-białko za pomocą małych cząsteczekprzy użyciu platformy głębokiego uczenia

Kierownik: dr Ryhor Nikalayeu

Międzynarodowy Instytut Biologii Molekularnej i Komórkowej

Konkurs: SONATINA 7, panel: NZ1

28. Triplet harvesting w okamgnieniu: Ukryte mechanizmy luminescencji poza sprzężeniem spin-orbita w kompleksach irydu(III)

Kierownik: dr Piotr Henryk Pander

Politechnika Śląska, Wydział Chemiczny

Konkurs: OPUS 23, panel: ST4

29. Kompleksowe badania rozwoju mikro- i makro-pęknięć w elementach betonowych z wykorzystaniem fal sprężystych: doświadczen…

Kierownik: prof. Magdalena Rucka

Politechnika Gdańska

Konkurs: OPUS 18, panel: ST8

30. Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 14, panel: ST1

31. Modele, metody i algorytmy obliczeniowej nauki o sieciach

Kierownik: prof. Przemysław Ryszard Kazienko

Politechnika Wrocławska

Konkurs: OPUS 11, panel: ST6

32. Self-aggregation of protein complexes: virus capsids and amyloids

Kierownik: dr Panagiotis Theodorakis

Instytut Fizyki PAN

Konkurs: POLONEZ 1, panel: ST3

33. Nowa metoda jednoczesnej samolokalizacji i budowy mapy na podstawie danych RGB-D umożliwiająca precyzyjną nawigację robo…

Kierownik: dr hab. Piotr Skrzypczyński

Politechnika Poznańska, Wydział Elektryczny

Konkurs: OPUS 5, panel: ST7

34. Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas…

Kierownik: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Konkurs: SONATA 1, panel: ST6

35. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Kierownik: Marta Piecyk

Politechnika Warszawska

Konkurs: PRELUDIUM 21, panel: ST6

36. Grafowe modelowanie procesów wyszukiwania

Kierownik: dr hab. Dariusz Piotr Dereniowski

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

Konkurs: OPUS 16, panel: ST6

37. Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi

Kierownik: dr Maciej Drwal

Politechnika Wrocławska

Konkurs: SONATA 13, panel: ST6

38. DATALOG w Problemie Spełnialności Więzów

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 1, panel: ST6

39. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

40. Spektroskopowe markery prebiotyczne i fotochemiczna ewolucja w astromikrośrodowiskach gaz-lód

Kierownik: prof. Małgorzata Agnieszka Biczysko

Uniwersytet Wrocławski

Konkurs: SHENG 4, panel: ST4

41. Modele obliczeniowe w formalnej weryfikacji

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 12, panel: ST6

42. Kontrola i procesy rozprzestrzeniania w sieciach wielowarstwowych

Kierownik: dr hab. Piotr Bródka

Politechnika Wrocławska

Konkurs: OPUS 23, panel: ST6

43. [GaboScope] Numerycznie zaawansowana bezsoczewkowa mikroskopia Gabora do szybkiego bez-znacznikowego obrazowania dynamic…

Kierownik: dr Maciej Trusiak

Politechnika Warszawska, Wydział Mechatroniki

Konkurs: SONATA 16, panel: ST7

44. Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Kierownik: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 19, panel: ST6

45. Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych

Kierownik: dr hab. Jarosław Adam Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

Konkurs: OPUS 17, panel: ST6

46. Algebraiczne techniki zrównoleglania algorytmów

Kierownik: dr Przemysław Konstanty Uznański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 17, panel: ST6

47. Program optymalności w problemach homomorfizmu grafów

Kierownik: dr Paweł Rzążewski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Konkurs: SONATA 14, panel: ST6

48. Wokół optymalności algorytmów opartych o programowanie dynamiczne

Kierownik: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 14, panel: ST6

49. Dyskretne problemy optymalizacyjne w warunkach niepewności - modele i algorytmy

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska

Konkurs: OPUS 13, panel: ST6

50. Hybrydyzacja fragmentów logiki Halperna-Shohama

Kierownik: Przemysław Andrzej Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: PRELUDIUM 12, panel: HS1

Wyszukiwarka projektów