Organizers

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

Information

Fridays, 2:15 p.m. , room: 5820

Home page

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

Research fields

List of talks

Nov. 25, 2011, 2:15 p.m.
Adam Krasuski
Obliczenia analityczne w hurtowni dokumentów tekstowych o modelu relacyjnym
W architekturze wyszukiwarki semantycznej SONCA rozwijanego w ramach projektu SYNAT wyodrębnione zostały cztery podstawowe moduły: 1. "Hurtownia lokalna": repozytorium informacji o dostępnych dokumentach. 2. Serwer indeksów analitycznych. 3. Serwer indeksów transakcyjnych. 4. Interfejs z użytkownikiem. …
Nov. 18, 2011, 2:15 p.m.
Andrzej Janusz (Uniwersytet Warszawski)
Learning of a Similarity Relation from Highly Dimensional Data - omówienie projektu rozprawy doktorskiej
W czasie wystąpienia chciałbym zaprezentować konspekt mojej rozprawy doktorskiej. Dotyczy ona problemu uczenia się relacji podobieństwa z danych, z szczególną uwagą poświęconą na przypadek, gdy dane są wielowymiarowe (liczba atrybutów przekracza dziesiątki tysięcy). Przykładem takich …
Nov. 4, 2011, 4:15 p.m.
Mikhail Moshkov, Beata Zielosko
King Abdullah University of Science and Technology as a Place for Studies, Work and Life
Nov. 4, 2011, 2:15 p.m.
Beata Zielosko
Dynamic Programming Approach for Optimization of Approximate Decision Rules
We consider the notion of approximate decision rule, describe a way for representation of the whole set of irredundant approximate decision rules based on directed acyclic graph with nodes that are subtables of the initial …
Oct. 28, 2011, 2:15 p.m.
Dominik Ślęzak (Uniwersytet Warszawski)
SKALOWALNOŚĆ METOD EKSPLORACJI DANYCH I ODKRYWANIA WIEDZY W BAZACH DANYCH, ZE SZCZEGÓLNYM UWZGLĘDNIENIEM PRZYBLIŻONYCH ZALEŻNOŚCI POMIĘDZY ZBIORAMI ATRYBUTÓW
W dziedzinach Odkrywania Wiedzy w Bazach Danych i Systemów Uczących się, opracowano wiele metod uczenia się klasyfikatorów o dużej skuteczności. Jednak wciąż konieczne są dalsze badania nad skalowalnością tych metod dla dużych zbiorów danych. Nowe …
Oct. 14, 2011, 4:15 p.m.
Dr Marianna Nicolosi Asmundo (University of Catania, Italy)
Decision procedures based on dual tableaux for some logics of binary relations
Seminarium organizowane wspólnie przez Zaklad Logiki Matematycznej Wydziału Matematyki, Informatyki i Mechaniki UW oraz Instytut Łączności We consider four fragments of the relational logic RL(1) obtained by posing some constraints on the terms constructed with …
Oct. 7, 2011, 3:45 p.m.
Sebastian Stawicki
Two rough set based feature ranking methods
I briefly overview two rough set based feature ranking methods along with a new algorithm called Rough Attribute Ranker (RAR). RAR assesses the usefulness of features by measuring their impact on the reducts that contain …
Oct. 7, 2011, 2:15 p.m.
Wojciech Jaworski (Uniwersytet Warszawski)
Gramatyka Kategorialna Języka Polskiego
Celem referatu jest prezentacja formalizmu gramatycznego opartego na niekomutatywnej intuicjonistycznej logice liniowej. Formalizm ten utożsamia wywody gramatyczne z twierdzeniami w logice liniowej. Przedstawię pełny system dowodowy dla mojej logiki a następnie pokażę w jaki sposób …
Oct. 4, 2011, 2:15 p.m.
prof. Manfred Kudlek (University of Hamburg)
Universality of automata below Turing Machines
In the talk it is shown that there exist universal machines of the same kind for any primitive recursive space complexity function, and that there don't exist universal finite automata. The existence of universal pushdown …
Sept. 26, 2011, 2:15 p.m.
Beata Zielosko (Uniwersytet Warszawski)
Dynamic Programming Approach for Optimization of Decision Rules
We are interested in the construction of short rules which cover many objects. In particular, the choice of short rules is connected with the Minimum Description Length principle. The rule coverage is important to discover …
June 17, 2011, 2:15 p.m.
Shahid Hussain (KAUST)
On relationships among various cost functions and with an uncertainty measure for decision trees
This talk is devoted to the design of new tools for studying exact and approximate decision trees (α-decision trees). We present algorithms to study the relationships between number of misclassification and number of nodes with …
June 3, 2011, 2:15 p.m.
Mikhail Moshkov (KAUST)
Extensions of Dynamic Pogramming for Design and Analysis of Decision Trees and Rules
The presentation is devoted to the description of new tools for decision tree study based on extensions of dynamic programming: sequential optimization of decision trees relative to different criteria, study of relationships between two cost …
May 27, 2011, 2:15 p.m.
Piotr Kosiuczenko (Instytutu Systemów Informatycznych WAT)
Metody inżynierii oprogramowania w konstrukcji systemu wspierającego diagnostykę i leczenie pacjenta
Systemy informatyczne stały się nieodłączną częścią współczesnej medycyny. Diagnozowanie chorób i leczenie pacjenta wymagają zwykle przeprowadzenia badań, czasem rozlicznych i skomplikowanych, oraz interpretacji ich wyników. Konieczna jest tu odpowiednia interpretacja wyników i zarządzanie danymi pacjenta.W …
May 20, 2011, 2:15 p.m.
Dominik Ślęzak, Sebastian Widz
Zespoły Klasyfikatorów Regułowych: Podejście Inspirowane Metodami Zbiorów Przybliżonych
We consider a rough-set-inspired framework for deriving feature subset ensembles from data. Each of feature subsets yields a single classifier, basically by generating its corresponding if-then decision rules from the training data. Feature subsets are …
May 19, 2011, 10:30 a.m.
John Oommen (Carleton University, Kanada)
Learning Automata-based Intelligent Tutorial-like Systems
Learning Automata-based Intelligent Tutorial-like Systems John Oommen Chancellor's Professor School of Computer Science Carleton University Ottawa ON K1S 5B6 Canada CZWARTEK, 19 MAJA, GODZ. 10:30, SALA 5070 STRESZCZENIE The aim of this pioneering research is …