Organizatorzy

dr hab. Hung Son Nguyen, prof. UW
prof. dr hab. inż. Andrzej Skowron
dr Marcin Szczuka
prof. dr hab. Dominik Ślęzak

Informacje

piątki, 14:15 , sala: 5820

Strona domowa

http://www.mimuw.edu.pl/~jakubw/seminarium.html

Dziedziny badań

Lista referatów

6 czerwca 2014 14:15
Robert KOWALSKI (joint work with Fariba SADRI) (Imperial College London)
PROGRAMMING IN LOGIC WITHOUT LOGIC PROGRAMMING
Logic programs. production systems, BDI agent systems, active databases and many other languages express programs by means of rules of the form if antecedent then consequent. However, despite the seemingly logical character of these rules, …
30 maja 2014 14:15
Andrzej Proskurowski (University of Oregon, Eugene)
Obstructions and Recognition of Graphs with Linear Rankwidth 1
Using a split-decomposition algorithm, we decide in linear time the membership in the class of graphs with linear rank-width at most 1 or exhibit an induced subgraph which belongs to the set of minimal forbidden …
23 maja 2014 14:15
Andrzej Janusz
Zbiory przybliżone w R / Przybliżone redukty decyzyjne z dynamicznym progiem aproksymacji.
Pierwsza część mojego wystąpienia będzie miała formę tutorialu, w czasie którego postaram się przybliżyć słuchaczom możliwości oferowane przez bibliotekę systemu R o nazwie RoughSets. Biblioteka ta jest efektem współpracy Zakładu Logiki Matematycznej Wydziału Matematyki, Informatyki …
16 maja 2014 14:15
Marcin Wojnarski
Hypertags & Redex. Languages for the web.
W referacie przedstawię dwie nowe technologie webowe - "Hypertags" i "Redex" - które opracowałem w ostatnich latach na potrzeby realizowanych przeze mnie projektów internetowych. 1) "Hypertags" to język opisu dokumentu, który można traktować jako (znaczne) …
9 maja 2014 14:15
Marcin Wojnarski (Uniwersytet Warszawski)
Data Pipes & DAST. Scalable mining and storage of complex data
W referacie przedstawię dwie nowe technologie przetwarzania danych - "Data Pipes" oraz "DAST" - które opracowałem w ostatnich latach na potrzeby realizowanych przeze mnie projektów. Obie są już częściowo zaimplementowane w języku Python i dostępne …
25 kwietnia 2014 14:15
Marek Sikora (Politechnika Śląska & EMAG)
DISESOR - Zintegrowany, szkieletowy system wspomagania decyzji dla systemów monitorowania procesów, urządzeń i zagrożeń - Zadania systemu i przypadki użycia
Podczas wystąpienia przedstawiona zostanie geneza systemu DISESOR, obecny stan prac nad realizacją projektu oraz omówione zostaną dwa (/trzy) przykładowe zagadnienia związane z praktycznymi zastosowaniami systemu. Omówienie obecnego stanu realizacji projektu będzie obejmować: · Przedstawienie architektury …
18 kwietnia 2014 14:15
Professor Ivo Duentsch (Brock University, Canada)
Mixed modal - sufficiency algebras and complex algebras of frames
A mixed modal - sufficiency (MS) algebra is a structure where B is a Boolean algebra, f is a modal (i.e. normal and additive) operator and g is a sufficiency (i.e. co-normal and co-additive) operator. …
11 kwietnia 2014 14:15
Adam Krasuski
Smart Fire Fighting - raport ze spotkania
Na spotkaniu chciałbym przedstawić relację, wnioski i spostrzeżenia z warsztatów Smart Fire Fighting, które odbyły się dniach 24-25 marca w Arlington USA. Krótkie wprowadzanie w tematykę warsztatów: The fire service and other emergency first responders …
4 kwietnia 2014 14:15
Michał Sapiński
Semantyczna analiza ruchów cen instrumentów finansowych
Tworzymy serwis internetowy skierowany do inwestorów obecnych na rynku w USA. Innowacyjnym elementem naszego serwisu jest narzędzie, które będzie w sposób automatyczny opisywać ruchy cen tak aby ułatwić użytkownikowi ich zrozumienie oraz jednocześnie pozwolić wygenerować …
21 marca 2014 14:15
Dominik Ślęzak (Uniwersytet Warszawski)
Trzy przykłady problemów zapewne NP-trudnych z dziedzin przetwarzania i eksploracji danych
Przedstawię przykłady trzech obszarów problemów optymalizacyjnych, które najprawdopodobniej są NP-trudne, lecz których NP-trudność nie jest jeszcze udowodniona. Pierwszy przykład dotyczy wyznaczania z danych przybliżonych sieci Bayesowskich o minimalnej liczbie krawędzi, czyli minimalnych grafów acyklicznych, które …
14 marca 2014 14:15
Marcin Wolski
Wiedza z perspektywy zbiorów przybliżonych
Celem referatu jest "update" artykułu Z. Pawlaka "Wiedza z perspektywy zbiorów przybliżonych" (1992), tj. aktualizacja definicji podstawowych terminów/warstw 'wiedza', 'informacja', 'dane' (które w literaturze o zbiorach przybliżonych często używane są zamiennie). W pierwszej części postaram …
7 marca 2014 14:15
Łukasz Puławski
Wykrywanie wzorców strukturalno-czasowych w procesie wytwarzania oprogramowania
W mojej pracy badawczej zajmuję się wykrywaniem wzorców strukturalnych w kodzie źródłowym programów komputerowych, a także wzorców temporalnych w procesie wytwarzania oprogramowania. Strukturę kodu źródłowego można formalnie przestawić w języku teorii grafów, korzystając z takich …
28 lutego 2014 15:00
Soma Dutta (The Institute of Mathematical Sciences, Chennai, India)
CONSEQUENCE AND INCONSISTENCY: PARACONSISTENT LOGICS
Classically the notions of consequence and inconsistency are interwoven. That is, considering one as the primitive notion the other can be derived. This equivalence depends on the notions of absolute inconsistency and negation inconsistency, which …
28 lutego 2014 14:15
Soma Dutta (The Institute of Mathematical Sciences, Chennai, India)
LOGICS OF GRADED CONSEQUENCE
Pelta [6]: Until now the construction of superficial many-valued logics, that is, logics with an arbitrary number (bigger than two) of truth values but always incorporating a binary consequence relation, has prevailed in investigations of …
21 lutego 2014 14:15
Paweł Gora (Uniwersytet Warszawski)
Adaptacyjna optymalizacja ruchu drogowego w mieście
Na seminarium opowiem o najnowszych wynikach moich badań dotyczących adaptacyjnej optymalizacji ruchu pojazdów w mieście, m.in. o opracowywanych algorytmach dla problemu Traffic Light Setting i wnioskach z przeprowadzonych eksperymentów. Omówię też plany dalszych badań.