Seminarium badawcze poświęcone tematyce wnioskowań aproksymacyjnych, w szczególności problemom i metodom aproksymacji złożonych pojęć z danych eksperymentalnych i wiedzy dziedzinowej.
Z początkiem roku akademickiego 2021/22 seminarium przekształciło się w "Seminarium Systemy Inteligentne".
2014-10-10, godz. 14:15, 2180
Sushmita Mitra - IEEE-CIS Distinguished Lecturer (Machine Intelligence Unit, Indian Statistical Institute)
HYBRIDIZATION WITH ROUGH SETS: APPLICATION TO BIOINFORMATICS AND BIOMEDICAL IMAGERY
Polska Sekcja IEEE Computational Intelligence Society oraz Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego mają przyjemność zaprosić na wykład 10 października (piątek), godz. 14:15, s. 2180 (1 piętro), Banacha 2, MIMUW HYBRIDIZATION WITH ROUGH SETS: APPLICATION...
2014-10-03, godz. 14:15, 5820
Wiesław Nowiński (Laboratorium Obrazowania Biomedycznego Agencji A*STAR w Singapurze)
POLSKIE CENTRUM NEUROTECHNOLOGICZNE - KONCEPCJA
Streszczenie: dlaczego mózg atlasy mózgu zastosowanie atlasów mózgu nowe kierunki propozycja utworzenia Centrum i Konsorcjum. Profesor dr hab. inż. Wiesław L. Nowiński jest naukowcem i dyrektorem Laboratorium Biomed...
2014-06-06, godz. 15:45, 5440
Mikhail Moshkov (KAUST)
EXTENSIONS OF DYNAMIC PROGRAMMING FOR COMBINATORIAL OPTIMIZATION
The aim of usual Dynamic Programming (DP) is to find an optimal object from a finite set of objects. We consider extensions of DP which allow us (i) to describe the set of optimal objects, (ii) to count the number of these objects, (iii) to make sequen...
2014-06-06, godz. 14:15, 5440
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, only logic p...
2014-05-30, godz. 14:15, 5820
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 induced subgraphs for the class. From the complete set of such obstructions, we derive b...
2014-05-23, godz. 14:15, 5820
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, Informaty...
2014-05-16, godz. 14:15, 5820
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) rozszerzenie języka HTML/XML, wpr...
2014-05-09, godz. 14:15, 5820
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 w wersjach 'alpha' na github. Zapraszam d...
2014-04-25, godz. 14:15, 5820
Marek Sikora (Politechnika Śląska & EMAG)
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ć: · ...
2014-04-18, godz. 14:15, 5820
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. The mixed canonical frame of such an algebra is the relational structure where R, S are bina...