no way to compare when less than two revisions
Różnice
Różnice między wybraną wersją a wersją aktualną.
| — | pl:konkurs:laureaci2011 [2020/06/17 21:43] (aktualna) – utworzono - edycja zewnętrzna 127.0.0.1 | ||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| + | ====== Laureaci konkursu PSSI na najlepszą rozprawę doktorską w dziedzinie Sztucznej Inteligencji w roku 2011 ====== | ||
| + | |||
| + | {{ : | ||
| + | |||
| + | ===== Nagroda PSSI za najlepszą rozprawę doktorską w dziedzinie Sztucznej Inteligencji w roku 2011 ===== | ||
| + | |||
| + | **dr Marcin Dziubiński**, | ||
| + | za pracę "// | ||
| + | promotor: **dr hab. Barbara Dunin-Kęplicz** | ||
| + | |||
| + | Praca bada złożoność obliczeniową problemu spełnialności logiki TeamLog – formalizmu dla współpracujących agentów, autorstwa Barbary Dunin-Kęplicz i Rineke Verbrugge. | ||
| + | Jak pokazano, TeamLog ma złożoność wykładniczą. To motywuje badanie ograniczeń języka formalizmu. Praca proponuje nowatorskie i uniwersalne ograniczenie kontekstu modalnego. Pozwala ono wyznaczyć fragmenty logiki TeamLog o zadowalającej sile wyrazu, a jednocześnie daje możliwość zastosowania innych ograniczeń lub metod heurystycznych. | ||
| + | |||
| + | \\ | ||
| + | |||
| + | \\ | ||
| + | |||
| + | |||
| + | {{ : | ||
| + | |||
| + | ===== Wyróżnienie w konkursie PSSI na najlepszą rozprawę doktorską w dziedzinie Sztucznej Inteligencji roku 2011 ===== | ||
| + | dr **Wojciech Jaśkowski**, | ||
| + | za pracę "// | ||
| + | promotor: **dr hab. inż. Krzysztof Krawiec** | ||
| + | |||
| + | Rozprawa jest poświęcona podklasie problemów optymalizacyjnych, | ||
| + | których cechą charakterystyczną jest ocena rozwiązań na (zwykle bardzo | ||
| + | dużym) zbiorze elementarnych testów. W pracy zaproponowano efektywne | ||
| + | obliczeniowo algorytmy koewolucyjne dla takich problemów. Uzyskane | ||
| + | wyniki mają potencjalne zastosowanie m.in. w uczeniu się strategii | ||
| + | gier, uczeniu maszynowym i problemach kombinatorycznych. | ||
| + | |||
| + | \\ | ||
| + | |||
| + | \\ | ||
| + | |||
| + | {{ : | ||
| + | |||
| + | ===== Wyróżnienie dla najlepszej pracy o charakterze stosowanym w konkursie PSSI na najlepszą rozprawę doktorską w dziedzinie Sztucznej Inteligencji w roku 2011 ===== | ||
| + | |||
| + | dr **Joanna Czajkowska**, | ||
| + | za pracę "// | ||
| + | promotor: **prof. dr hab. inż. Ewa Piętka** | ||
| + | |||
| + | Przedmiotem rozprawy było opracowanie metodologii segmentacji guzów kości w seriach rezonansu magnetycznego. Wczesna diagnostyka oraz monitorowanie terapii wspomnianych zmian umożliwia bowiem skuteczną walkę z chorobą. Prezentowany algorytm umożliwia półautomatyczną segmentację guzów kości różnego typu oraz w różnych lokalizacjach. Proponowana metoda opiera się na rozmytym grupowaniu c-średnich w przestrzeni jądra, modelu mieszanym gaussowskim oraz metodzie względnej rozmytej spójności. | ||
| + | |||
| + | Tekst rozprawy jest dostępny na życzenie u autorki pracy. | ||