Během akademického roku jednou týdně přednáší zvaný přednášející (z ciziny i od nás) o své vědecké práci. Kolokvium, které probíhá na Fakultě informatiky, je otevřeno pro vědeckou veřejnost. Termíny přednášek můžete najít v programu. Úterý 14.00 - 15.00, D2, FI MU, Botanická 68a

Program kolokvií s abstrakty pro semestr Jaro 2013

19. 2. 2013
Prof. Melius Weideman, Faculty of Informatics and Design, Cape Peninsula University of Technology, Cape Town, South Africa
A successful website = Visibility + Usability: www.muni.cz?
Abstrakt: The objective of this Colloquium is to identify, motivate and enumerate on the underlying factors determining the general success of a website. This is done in contrast to some traditional computer science views: technical platforms, programming, hardware or Web services. The case of www.muni.cz is briefly investigated.

As introduction, the background and basis of a typical website is painted:

  • - the roleplayers,
  • - search engine rankings,
  • - crawlers and results,
  • - the role of SEO and PPC,
  • - user behaviour, and
  • - defining and measuring website visibility and usability.
The contrast between white hat and black hat SEO is highlighted, and the most important elements of visibility briefly explained. Finally, a brief investigation of www.muni.cz from this perspective is done, with some positive comments on potential improvement.
26. 2. 2013
prof. RNDr. Jiří Zlatuška, CSc., FI MU
Knihovny v době digitalizace a Open Access
Abstrakt: Digitalizace vědeckých publikací vede k výrazné změně úlohy vědeckých knihoven i technického zázemí, které s knihovnami souvisí (v naivní podobě například otázka po budoucnosti knihoven v době, kdy se papírové publikace stanou minulostí). Otevřený přístup (Open Access) a institucionální repozitáře zpřístupňované vědecké literatury představují nejen nezbytnou změnu v činnost soudobých vědeckých institucí a zpřístupňování výsledků jejich výzkumu, ale i nové příležitosti a výzvy pro aplikovaný výzkum kombinující knihovnictví, informatiku.
5. 3. 2013
Dr. Vashti Galpin, Ph.D., LFCS, School of Informatics, University of Edinburgh
Formal modelling of biological systems
Abstrakt: Process algebras are formalisms that describe the concurrent behaviour of systems. In recent years, they have been applied to the modelling of biological systems. Bio-PEPA is a quantitative process algebra used for this type of modelling and it is based on the stochastic process algebra PEPA which was developed for modelling the performance of human-created systems such as computer networks. In this presentation, the syntax and semantics of Bio-PEPA will be introduced, as well as the different analysis techniques that are available for Bio-PEPA models. A model of protein trafficking within the mammalian cell and related results will be described, and if time permits, semantic equivalences for Bio-PEPA will be briefly discussed. This is joint work with Jane Hillston.
12. 3. 2013
Assoc.prof.dr. Dalia Krikščiūnienė, FI MU, Kaunas Faculty of Humanities, Vilnius University
Anomaly detection methods and applications
Abstrakt: Numerous statistical, econometrical and intelligent methods are researched in the scientific works and industrial applications for finding repeating patterns and approximated distribution rules of data series. The main problem experienced by the scientific research is lack of regularities and rather chaotic nature of real data. That hinders performance of the forecasting methods based on finding regularities in data distribution, limits their application to analytics of historical data repositories, and reveals high unreliability of the models to react to occurring external impacts for real-time data streams.

The current research aims to explore application of computational analysis methods for detecting behaviour anomalies. The methods and the principles of anomaly detection are analysed from the theoretical perspective and evaluated for their ability to serve for analysis, forecasting and designing optimal strategies for the enterprises operation in various application domains. They include analysis of anomalies of the financial markets, caused by changes of investor activeness due to different calendar effects, impacts of various media announcements and news, fluctuations of market situations, including crises and bubbles. The anomaly detection is important in the areas of facility management based on sensor data system, detection of network intrusions and performance failures.

The results of currently published research cover several methods for detecting behaviour anomalies including information efficiency evaluation methods (Shannon's entropy, Hurst exponent), event impacts explored by the methods of interrupted time series, and evaluation of binary clustering algorithms.

The research results are evaluated by discussing the potential power of explored methods for detection behaviour anomalies in the expanding research area of Big Data.

19. 3. 2013
doc. RNDr. Petr Hliněný, Ph.D., FI MU
Faster Algorithm on Well-Structured Graph Classes
Abstrakt: The theory of parameterized complexity studies mostly computationally hard problems which have much faster (say, FPT) algorithms on special instances. Quite often, such easier instances are characterized by their special structure expressed in terms of a suitable structural width parameter, and the faster algorithms use dynamic programming. We present a Myhill-Nerode-type formalization of such algorithms and related algorithmic results.
26. 3. 2013
RNDr. Tomáš Brázdil, Ph.D., FI MU
Analýza her s čítači
Abstrakt: Hry s čítači jsou přirozeným modelem kontrolovatelných systémů, které operují s různými zdroji (např. palivo nebo energie baterií) v antagonistickém prostředí. Cílem formální analýzy takového systému je syntéza kontrolního mechanismu, který zajistí, že zdroje nebudou vyčerpány a systém bude mít očekávanou funkcionalitu. Hra s čítači vyjadřuje zdroje pomocí sady celočíselných nezáporných čítačů. Kontrolní mechanismus a prostředí systému odpovídají dvěma antagonistickým hráčům, kteří opakovanými volbami přechodů mění hodnoty čítačů a vnitřní stav systému. Formálně jsou hry s čítači speciálním případem tahových her dvou hráčů na orientovaných grafech s nekonečně mnoha vrcholy. V přednášce budou popsány základní vlastnosti těchto her společně s analýzou složitosti jejich řešení. Dále budou představeny speciální podtřídy her, které zachovávají důležité vlastnosti z hlediska modelování systémů a zároveň umožňují efektivní analýzu.
2. 4. 2013
doc. RNDr. Lubomír Popelínský, Ph.D., FI MU
Educational data mining
Abstrakt: Educational data mining (EDM) aims at analysis of any data that were born in a process of learning or tutoring, being e.g. evaluation of a student by a tutor, behavior of students when learning, or their tour threw an e-learning course. We briefly mention a short history of EDM and the most important streams in EDM reserach in the past and nowadays. Then we focus on two works that have been performed in KD lab, predicting drop-out from social behaviour of students (in collaboration with IS MU team), and graph mining for automatic classification of logical proofs. We conclude with a modest view into the future.
9. 4. 2013
Dr. Geraint Price, Royal Holloway, University of London
Is Cyber Security any different to Information Security?
Abstrakt: In this presentation we will discuss a number of key themes centred on the notion of "Cyber Security". We start by asking whether Cyber Security is just more of the same, or whether there are genuine differences to previous concepts such as "Information Security" or "Information Assurance".

Our early findings from the "Cyber Security Club" (an industrial research forum hosted at Royal Holloway) suggest that if we are to provide security which is fit-for-purpose in the 21st century, then we need to broaden our way of thinking, and develop a more integrated response to the threats we face. There is also a requirement for new paradigms to tackle the challenges that we face.

Finally, we highlight the need to cast our net more widely, forming stronger relationships with other disciplines – psychology, economics, sociology, amongst others – and learn from their experiences in dealing with problems analogous to those we face.

16. 4. 2013
doc. RNDr. Stanislav Tokár, CSc., Fakulta matematiky, fyziky a informatiky, Univerzita Komenského, Bratislava
State of the art and goals of the ATLAS/LHC project in Cern
Abstrakt: A retrospective survey of particle physics conceptions from the the beginning of 20th century up to the present and their consequences on our perception of the surrounding world. The LHC accelerator complex - what can be expected and why we need it.
23. 4. 2013
Dr. Adam Kilgarriff, Lexical Computing Ltd., Brighton, United Kingdom
How to evaluate a corpus
Abstrakt: The linguistics researcher or language technologist often wonders “what corpus should I use, or should I build one of my own? If I build one of my own, how will I know if I have done a good job?” Currently there is very little help available for them. They are in need of a framework for evaluating corpora. We develop such a framework, in relation to corpora which aim for good coverage of ‘general language’. The task we set is automatic creation of a publication-quality collocations dictionary. For a sample of 100 headwords of Czech and 100 of English, we identify a gold standard dataset of (ideally) all the collocations that should appear for these headwords in a collocations dictionary. We then use them to determine precision and recall for a range of corpora, with a range of parameters.
30. 4. 2013
prof. Štefan Porubský, DrSc., Ústav informatiky AV ČR
Pocta Paulu Erdősovi
Abstrakt: U příležitosti 100. výročí narození P. Erdöse si připomeneme jeho osobnost, vybrané výsledky, zázemí a kořeny maďarského stroje na matematiky.
14. 5. 2013
dr. Bruno Rossi, Center for Applied Software Engineering, Free University of Bozen-Bolzano, Italy
Emergent Design in Agile Software Development Practices
Abstrakt: One of the pillars of Software Agile development practices is the incremental nature of the development process, in which new functionalities are developed on top of previous ones, iteration by iteration. As such, architectural decisions are part of the so-called emergent design, by letting the overall system's architecture emerge over time.

In this talk, I will delineate the emergent design process and contrast it with traditional up-front design. I will deal in particular with two relevant aspects: how do we ensure that the emergent design approach can be appropriate for our application/domain? How do we avoid that the emergent design process leads to mere chaos? In answering these questions, we must confront us with the common knowledge of the traditional central role of the system's architecture.

21. 5. 2013
Doc. RNDr. Tomáš Skopal, Ph.D., MFF UK
Axiom exploration for indexing similarity - beyond the metric space model
Abstrakt: Databázové techniky pro urychlení podobnostního vyhledávání využívají k rozdělení datového prostoru metrický indexační model. Pro zjednodušené reprezentace složitých nestrukturovaných dat tento model postačuje, nicméně v moderních aplikacích se požadavek na metricitu podobnostní funkce stává stále problematičtějším. Současná sporadická řešení indexování ne-metrických podobností se vesměs zaměřují na mapování problému do metrického (anebo přímo Euklidovského) prostoru. Jakkoliv je tato cesta redukce problému elegantní, často nemusí vést k optimálnímu řešení. To se projevuje buď velkou chybovostí vyhledávání anebo zhoršením indexovatelnosti. V této přednášce představíme nové paradigma, které zcela opouští metrický indexační model a předpokládá nalezení modelů kvalitativně jiných, ale zároveň šitých na míru daným podobnostem. Tento indexační model je hledán prozkoumáváním prostoru axiomů vhodných k indexování dat, přičemž se tak děje na úrovni formulí, nikoliv např. numerickou parametrizací jediného modelu. Ukážeme, že prozkoumávání prostoru axiomů lze provádět jak pomocí pravidel, tak pomocí genetického programování. Výsledkem celého procesu je pak sada axiomů použitelných k indexování databází pod specifickým podobnostním modelem. S nadsázkou můžeme tuto metodou chápat jako databázovou analogii k hledání různých fyzikálních zákonů platících v různých vesmírech.