elektronická verzia publikácie - FIIT STU

Annual report 2011 95trying to reach a more advanced goal: to automate not only the codegeneration but the detailed design as well. In order to do this, we useartificial intelligence techniques, namely planning and constraint satisfaction.In this dissertation we present a set of methods that – for agiven integration solution abstract design and non-functional requirements(like throughput, availability, monitoring, minimal communicationmiddleware usage, and so on) – create a suitable solution designand in some cases an executable code as well.Student name: Matej KošíkDegree program: Software EngineeringThesis title: A Contribution to Techniques for Building Dependable OperatingSystemsSupervisor: Jiří Šafařík, ProfessorDefended on: September 30, 2011Annotation: Even though development of a new operating system is rarely a good(business) plan, in a small scale it could be a fruitful experiment insoftware engineering. In this document we describe results of our effortto build a dependable operating system. By adopting and buildingupon recent advances in the programming language design, we showone possible way how can we reduce development costs of dependable(operating) systems. During the course of our work, we focusedprimarily on aspects that cannot be added as an afterthought, e.g. dependabilityof the operating system rather than those which can beadded anytime in the future, e.g. rich services of the operating system.9.4 IIT.SRC Students' PapersFull papers− Abelovský, Peter: Feature-Based Opinion Mining. Supervisor: J. Tvarožek− Basár, Peter: Multicriteria Recommendation of Web Content in Social Networks.Supervisor: M. Barla− Bielik, Pavol – Krátky, Peter – Mitrík, Štefan – Tomlein, Michal: MotivatingChildren to Increase Physical Activity by Means of Reward. Supervisor: M.Barla− Čapla, Róbert: Improving Flexibility of the Bee Hive Metaphor for Web Search byAdding New Parameter and Modifying Dispatching Strategy. Supervisor: P. Návrat− Eľko, Ľubomír: Design Patterns Recognition in Existing Software.Supervisor: Ľ. Majtás− Habudová, Nikoleta: Representation and Pattern Matching Techniques for MusicData. Supervisor: P. Návrat− Holub, Michal: Information Integration in the Domain of News Articles.Supervisor: M. Bieliková− Hopko, Andrej: Multilinear Supervised Dimensionality Reduction Model for BinaryData. Supervisor: J. Mažgut− Hönsch, Marian: Detecting User Communities Based on Latent and DynamicInterest on a News Portal. Supervisor: M. Barla