Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Seminarium badawcze Zakładu Logiki: Wnioskowania aproksymacyjne w eksploracji danych

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".


Lista referatów

  • 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)

    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ć: ·     ...

  • 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...

Strony