Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2007

Tutoriály

Martin Plátek, Markéta Lopatková:
     Funkční generativní systém a formální teorie překladů

Pôvodné vedecké práce

Jan Lánský, Michal Žemlička:
     Vliv nastavení slovníku na účinnost komprese malých souborů

Marián Lekavý, Pavol Návrat:
     Expresivita plánovania založeného na STRIPS a HTN

Jiří Dokulil, Jana Katreniaková:
     Vizualizácia RDF dát pomocou techniky zlučovania vrcholov

František Galčík:
     On radio communication in grid networks

Michal Krátký, Radim Bača:
     Indexing XML Data - The State of the Art

Martin Holeňa:
     Automatically generated genetic algorithms for constrained mixed programming in materials science

Stanislav Slušný, Petra Kudová, Roman Neruda:
     Testing Different Evolutionary Neural Networks for Autonomous Robot Control

Martin Sarnovský, Peter Butka, Erik Tkáč:
     Distribuovaná tvorba hierarchie konceptov z textových dokumentov v gridovom prostredí

Stanislav Krajči, Jana Krajčiová:
     Využitie jednostranne fuzzy konceptových zväzov pri skúmaní sociálnych sietí

Richard Ostertág, Peter Košinár:
     Analýza algoritmu DBI_basic

David Bednarek:
     Optimizing XQuery/XSLT programs using backward analysis

Zuzana Vlčková, Leo Galamboš:
     Dynamizace gridu

Jana Dvořáková:
     Zložitosť vyhodnocovania zostupných XPath výrazov v kontexte sekvenčných XSLT transformácií

Jiří Dvorský, Jana Kočíbová:
     SVD and HOSVD decomposition of SOM neural network

Zdeněk Fabián:
     Geometry in the data space

Petra Kudová:
     Learning with Regularization Networks Mixtures

PhD/študentská sekcia

Marián Novotný:
     Automatizácia dokazovania bezpečnostných vlastností kryptografických protokolov

Marián Lekavý, Pavol Návrat:
     Dynamická zmena harmonogramu pomocou minimálneho rezu grafu

Radim Nedbal:
     Non-monotonic Reasoning with Various Kinds of Preferences in the Relational Data Model Framework

Tomáš Klempa, Anton Andrejko, Mária Bieliková:
     Udržiavanie charakteristík v modeli používateľa kladením otázok využívajúcich koncepty doménovej ontológie

Work in progress

Stanislav Žák:
     A lower bound technique for restricted branching programs

Zdeněk Češka:
     Využití n-gramů pro odhalování plagiátů

Ondřej Burkert, Rudolf Kadlec, Jakub Gemrot, Michal Bída, Jan Havlíček, Cyril Brom:
     Rychlé prototypování chování umělých bytostí: Pogamut 2

Václav Matouš, Michal Žemlička:
     Zvýšení účinnosti komprese HTML souborů vhodným předzpracováním

Zdenek Vyoral, Martin Holeňa:
     Using support vector machines in fuzzy classification

Milan Hudec:
     Implementácia neurónových sietí v klasických algoritmoch

Ľubomír Majtás, Pavol Návrat:
     Možnosti modelovania softvéru na úrovni návrhových vzorov

Miroslav Beličák:
     Ochranné proxy-webové služby

David Štefka, Martin Holeňa:
     Classification of EEG Data Using Fuzzy k-NN Ensembles

Peter Butka, Ján Hreňo, Marián Mach:
     Semantic-based analysis of discussions in SAKE

Miroslav Beličák:
     Dynamická inovácia zabezpečenej komunikácie medzi komponentami distribuovaných informačných systémov

Jiří Dokulil, Jaroslav Tykal, Jakub Yaghob, Filip Zavoral:
     Experimental Platform for the Semantic Web

Radovan Šesták, Jan Lánský, Petr Uzel:
     Kompresia nevalidného XML

Branislav Bošanský, Cyril Brom:
     Simulácia firmy prostredníctvom autonómnych agentov

Dalibor Janckulík, Ondřej Krejcar, Jan Martinovič, Petr Vašíček:
     Personal telemetric system – Guardian

Rozšírené abstraky

Petr Hliněný:
     Jak obtížný je problém výpočtu průsečíkového čísla grafu?

Věra Kurková:
     Complexity of training data for neural-network learning

Dana Hliněná, Pavol Kráľ:
     Fuzzy preferenčné štruktúry a triangulárne normy

Postery

Martin Řimnáč, Zdeňka Linková:
     Automatizovaný návrh pravidel pro integraci dat

Miroslav Líška:
     Applied first-order logic in expert system for Model Driven Development

Viktor Jandák:
     Určovanie vlastností slovných druhov v Slovenskom jazyku

Roman Špánek, Pavel Pirkl:
     Supporting Secure Communication in Distributed Environments.

Martin Dörfler, Martin Holeňa:
     A genetic algorithm inspired by self-organizing maps: implementation and properties

Jaroslav Král, Michal Žemlička:
     Podceňovaná omezení Sémantického Webu