Seminaria ogólnoInstytutowe:


Informacje:

Poniedziałki, o godz. 13:00
Miejsce seminarium: sala seminaryjna IPI PAN
ul. Jana Kazimierza 5
e-mail: Beata.Konikowska@ipipan.waw.pl 

 Archiwum Seminarium Instytutowego  Archiwum Seminarium Doktoranckiego
2015/2016 2010/2011 2005/2006 2004/2005
2014/2015 2009/2010   2003/2004
2013/2014 2008/2009   2002/2003
2012/2013 2007/2008   2001/2002
2011/2012 2006/2007    

08.10.2018 - Seminarium Instytutowe - godz. 13:00,

Teofil Sidoruk (Instytut Podstaw Informatyki PAN) 

20181008 Sidoruk

W seminarium przedstawię dziewięć SAT-solverów, w tym nowoczesne narzędzia takie jak Lingeling, Glucose i Clasp, których efektywność zostanie porównana dla problemów obliczeniowych o różnej złożoności: od P (dwie popularne zagadki szachowe) do EXPTIME (wieże Hanoi), ale głównie będą to problemy NP-zupełne. Należą do nich problem odpowiedniości Posta (BPCP), extended string-to-string correction (ESCP) a także trzy klasyczne zagadnienia z teorii grafów. Ponadto dla niektórych problemów (m.in. BPCP i ESCP) definiujemy własne, oryginalne kodowania do SAT. Przedstawione wyniki eksperymentalne pozwalają na wyciągnięcie ciekawych wniosków odnośnie efektywności i przydatności SAT-solverów do rozwiązywania problemów o różnej złożoności. Ponadto, po przeprowadzonych testach analizuję formuły w postaci CNF zawarte w wygenerowanych benchmarkach w poszukiwaniu charakterystycznych wspólnych cech dla relatywnie najłatwiejszych i najtrudniejszych instancji.

04.06.2018 - Seminarium Instytutowe - godz. 13:00,

Przemysław Spurek (Uniwersytet Jagielloński) 

We propose a new generative model, Cramer-Wold Autoencoder (CWAE). Following WAE, we directly encourage normality of the latent space. Our paper uses also the recent idea from Sliced WAE (SWAE) model, which uses one-dimensional projections as a method of verifying closeness of two distributions. The crucial new ingredient is the introduction of a new (Cramer-Wold) metric in the space of densities, which replaces the Wasserstein metric used in SWAE. We show that the Cramer-Wold metric between Gaussian mixtures is given by a simple analytic formula, which results in the removal of sampling necessary to estimate the cost function in WAE and SWAE models.

As a consequence, while drastically simplifying the optimization procedure, CWAE produces samples of a matching perceptual quality to other SOTA models.

Marek Śmieja (Uniwersytet Jagielloński) 

We propose a general, theoretically justified mechanism for processing missing data by neural networks. Our idea is to replace typical neuron’s response in the first hidden layer by its expected value. This approach can be applied for various types of networks at minimal cost in their modification. Moreover, in contrast to recent approaches, it does not require complete data for training. Experimental results performed on different types of architectures show that our method gives better results than typical imputation strategies and other methods dedicated for incomplete data.

21.05.2018 - Seminarium Instytutowe - godz. 13:00, Piotr Borkowski (IPI PAN) 

W przygotowywanej pracy doktorskiej zatytułowanej „Metody semantycznej kategoryzacji w zadaniach analizy dokumentów tekstowych” zaproponowano oraz zbadano nowy algorytm semantycznej kategoryzacji dokumentów. Na jego podstawie opracowano nowy algorytm agregacji kategorii, rodzine algorytmów semantycznych klasyfikatorów a takze heterogeniczny komitet klasyfikatorów (łaczacy algorytm semantycznej kategoryzacji i znanych dotad klasyfikatorów). Wramach referatu przedstawie pokrótce ich koncepcje oraz wyniki badan ich skutecznosci.

Algorytm semantycznej kategoryzacji działa bez koniecznosci posiadania specjalnie przygotowanego zbioru uczacego – w jego przypadku wykorzystywane sa juz istniejace zasoby np Wikipedii lub inne dane tego typu, jak np angielskojezyczna struktura taksonomii biomedycznej MeSH. Struktury takie tworzone sa przez ludzi przy okazji innych zastosowan, tak wiec z tego punktu widzenia, nie potrzeba dodatkowo tworzyc specjalnych danych uczacych.

Na potrzeby konstrukcji algorytmu zaadaptowano miary semantycznego podobienstwa, które moga byc uzywane w tego rodzaju zasobach, w szczególnosci słuzyc do opracowanej na ich podstawie metody ujednoznaczniania. Stworzono algorytm do agregacji adaptacyjnej, który pozwala w sposób nienadzorowany rzutowac wyniki kategoryzacji do zbioru kategorii bardziej spójnego z punktu widzenia percepcji uzytkownika. Zaproponowano algorytm klasyfikacji semantycznej bazujacy na metodzie kategoryzacji. Poniewaz opiera sie on na semantyce tekstu, dobrze działa w przypadku tworzenia komitetów, jako dodatek do klasyfikatorów działajacych w oparciu o podejscie typu „worka słów”, szczególnie zas dobrze sprawdza sie w przypadku tekstów z luka semantyczna.

07.05.2018 - Seminarium Instytutowe - godz. 13:00, Laure Petrucci (Uniwersytet Paris 13) 

Parametric timed automata are a powerful formalism to reason about, model and verify real-time systems in which some constraints are unknown, or subject to uncertainty. Parameter synthesis using parametric timed automata is very sensitive to the state space explosion problem. To mitigate this problem, we propose two new exploration orders, i.e. the “ranking strategy" and the "priority based strategy", and compare them with existing strategies. We consider both complete parameter synthesis, and counterexample synthesis where the analysis stops as soon as some parameter valuations are found. Besides, the ranking will be adapted in order to first synthesize only our desired parameters. Here, we discuss exploring strategy making parameter synthesizing more efficient. Experimental results using IMITATOR show that our new strategies significantly outperform existing approaches, especially in the counterexample synthesis.

16.04.2018 - Seminarium Instytutowe - godz. 13:00, Stanisław Ambroszkiewicz (IPI PAN) 

Referat będzie dotyczył Podstaw Matematyki i Informatyki. Jest to powrót do intuicjonizmu Brouwera sprzed przeszło 100 lat. We współczesnej Matematyce, Continuum jest definiowane albo jako zbiór liczb rzeczywistych poprzez ciągi Cauchy'ego albo przekroje Dedekinda, albo jako zupełne liniowo uporządkowane ciało Archimedesowe, albo jako zupełna spójna przestrzeń metryczna. Przedstawiona zostanie ogólna metoda indukcyjnych konstrukcji Continuów prowadzących do ciekawych przestrzeni topologicznych. Z tych konstrukcji wynika nowy dowód Twierdzenia Brouwera (w Analizie intuicjonistycznej), że każda funkcja na przedziale jednostkowym [0; 1] jest ciągła. Pełna praca jest dostępna na https://arxiv.org/abs/1510.02787.

UWAGA! Ten serwis używa cookies i podobnych technologii.

Brak zmiany ustawienia przeglądarki oznacza zgodę na to.

Zrozumiałem