Seminaria ogólnoinstytutowe:

Streszczenie (autorskie):

Weryfikacja własności strategicznych w systemach wieloagentowych jest zarówno istotna, jak i wysoce złożona. Od kilku lat nasz zespół opracowuje narzędzia i algorytmy modelowej weryfikacji, ze szczególnym uwzględnieniem modeli z niepełną informacją. Dzięki nim można odpowiadać na pytania typu: „Czy przymuszacz posiada strategię wymuszającą na wyborcy oddanie głosu na kandydata A?”. W trakcie wystąpienia przedstawimy rozwijane techniki, nasze autorskie narzędzia oraz praktyczne wyniki eksperymentów, obejmujące m.in. protokoły e‑głosowania oraz symulacje lotu rakiety suborbitalnej. Zaprezentujemy także najnowsze możliwości naszego systemu - w tym weryfikację modeli probabilistycznych - i omówimy, jak mogą one wspierać dalsze badania nad bezpieczeństwem i niezawodnością systemów wieloagentowych.

Streszczenie (autorskie):

Podczas wystąpienia przybliżymy założenia projektu Universal Discourse, którego celem jest stworzenie uniwersalnego, wielojęzycznego modelu opisu relacji dyskursywnych. Podstawą teoretyczną prac jest standard ISO 24617-8, służący jako punkt wyjścia do harmonizacji istniejących zasobów korpusowych. W pierwszej części omówimy problematykę segmentacji tekstu na jednostki dyskursywne. Przedstawimy analizę porównawczą różnych formalizmów (takich jak RST czy PDTB) oraz autorską, opartą na regułach heurystykę, która wykazuje wysoką spójność w wyznaczaniu granic jednostek na poziomie zdań składowych. Następnie zaprezentujemy proponowany wielowarstwowy model relacji. Skupimy się na autorskim drzewie decyzyjnym, które pozwala na systematyczną klasyfikację powiązań znaczeniowych (m.in. przyczynowych, warunkowych czy temporalnych). W ostatniej części przedstawimy stan prac nad rozwojem parserów dyskursu oraz wyniki pierwszych eksperymentów.

Streszczenie (autorskie):

Wykład omawia przygody naukowe i biznesowe prelegenta, począwszy od wczesnego odkrycia zagadek, poprzez badania naukowe związane z obliczeniami ewolucyjnymi, do pracy w pełnym wymiarze w biznesie. Prelegent zaczął pracę w IPI PAN we wrześniu 1975 roku, potem prowadził wykłady na wielu uniwersytetach świata na pięciu kontynentach, a na przestrzeni ostatnich 25 lat był współzałożycielem trzech firm softwarowych (NuTech Solutions, SolveIT Software oraz Complexica). Aplikacje budowane w tych firmach przekształcały dane wejściowe w optymalne decyzje i były używane przez największe korporacje świata. Parę z tych aplikacji zostanie pobieżnie omówionych podczas wykładu. Prezentacja zawiera przeróżne osobiste obserwacje prelegenta z ostatnich 50 lat, omawia również kilka kluczowych epizodów z jego życia, jak również interakcje pomiędzy światem akademickim i biznesem. Prezentacja może być szczególnie pożyteczna dla młodych naukowców, którzy są na początku swojej kariery akademickiej, ale i starsza generacja znajdzie ciekawy materiał dla siebie.

Streszczenie (autorskie):

Rak piersi pozostaje najczęściej diagnozowanym nowotworem wśród kobiet. Wczesne wykrycie znacznie zmniejsza śmiertelność, jednak tradycyjna mammografia rentgenowska ma ograniczoną czułość u kobiet z gęstą tkanką piersi. Rezonans magnetyczny piersi stanowi bardziej czułą alternatywę dla tych kobiet, ale stwarza nowe wyzwania w zakresie analizy obrazów.
W niniejszej prezentacji przedstawię, w jaki sposób sieci neuronowe mogą usprawnić analizę rezonansu magentycznego piersi w oparciu o wyniki moich poprzednich prac w Szpitalu Uniwersyteckim w Erlangen, obejmujące obszary, takie jak klasyfikacja artefaktów, segmentacja tkanek i zmian oraz generowanie obrazów syntetycznych. Ponadto przedstawię również bieżące i przyszłe projekty — VirtuDRel i GENIE-MRI — które będą realizowane w IPI PAN.