Given the novelty of political campaigning on social networking sites in Lithuania and the critique, it has received from social media experts, the object of the master thesis encompasses mediatization of Lithuanian politics on Facebook, when social media logic becomes adapted in political campaigning and integrated into the political agenda. Accordingly, the MA thesis developed its aim to define in what ways mediatization of Lithuanian politics manifests on Facebook and if public-relations oriented Lithuanian political communication culture, characteristic to political communication on mass media, and negativity, as its culture-specific aspect, are transported to the platform. The research was carried out in several stages. Firstly, using secondary data analysis the study aimed at determining social media logic. Accordingly, the requirements for successful exploitation of social media logic in political campaigning on Facebook were identified – popularity building, connectivity, personalization and interactivity. Thirdly, aiming to determine if the politicians complied with social media logic and transported public-relations oriented political communication culture and negativity to the platform, the research used quantitative and qualitative content analyses. It covered a two-weeks period (from April 02 to April 15, 2014) political campaigning on Facebook run by the seven candidates' to Lithuanian President’s Office. Fourthly, using the obtained empirical data the study... [to full text] / Nors Lietuvos politinė komunikacija socialiniuose tinkluose yra gana naujas reiškinys, jis jau sulaukė socialinių medijų ekspertų kritikos. Šio magistro baigiamojo darbo tyrimo objektu pasirinkta Lietuvos politikos mediatizacija socialiniame tinkle Facebook, kuomet politinių kampanijų metu politikai adaptuoja socialinių medijų logiką ir ją integruoja į savo politinę dienotvarkę. Darbe siekta nustatyti, kokiais būdais Lietuvos politikos mediatizacija pasireiškia internetiniame socialiniame tinkle Facebook. Taip pat buvo svarbu išsiaiškinti, ar Lietuvos viešųjų ryšių (ang. Public-relations oriented) politinės komunikacijos kultūra, ugdoma masinėje žiniasklaidoje, ir jai būdingas negatyvumas perkeliami į Facebook platformą. Tyrimas atliktas keliais etapais. Pirmojo etapo metu, naudojant antrinių duomenų analizę, buvo įvardyta socialinių medijų logika. Tokiu pat būdu nustatyti reikalavimai, leidžiantys išnaudoti socialinių medijų logiką politinių kampanijų metu, t. y., populiarumo didinimas, socialinių ryšių išnaudojimas, personalizacija ir interaktyvumas. Trečiojo etapo metu, siekiant atskleisti Lietuvos politikų komunikacijos atitikimą socialinių medijų logikai ir galimą viešųjų ryšių politinės komunikacijos kultūros bei negatyvumo perkėlimą į Facebook platformą, tyrime naudojama kiekybinė ir kokybinė turinio analizė. Ištirtos septynių kandidatų į 2014 metų Lietuvos Prezidento postą dviejų savaičių laikotarpio (balandžio 02–15 dienomis) politinės kampanijos socialiniame... [toliau žr. visą tekstą]

Automatinė įrodymų sistema koreliatyvių žinių logikai yra pristatoma disertacijoje. Sistemą sudaro sekvencinis skaičiavimas GS-LCK ir įrodymo paieškos procedūra GS-LCK-PROC. Sekvencinis skaičiavimas yra pagrįstas, pilnas ir tenkina taisyklių apverčiamumo, silpninimo, prastinimo ir pjūvio leistinumo savybes. Procedūra GS-LCK-PROC yra baigtinė ir leidžia patikrinti, ar sekvencija yra išvedama. Taip pat buvo įrodytas koreliatyvių žinių logikos išsprendžiamumas. Naudojant baigtinę procedūra GS-LCK-PROC, visų koreliatyvių žinių logikos formulių tapatus teisingumas gali būti patikrintas. / Automated proof system for logic of correlated knowledge is presented in the dissertation. The system consists of the sequent calculus GS-LCK and the proof search procedure GS-LCK-PROC. Sequent calculus is sound, complete and satisfy the properties of invertibility of rules, admissibility of weakening, contraction and cut. The procedure GS-LCK-PROC is terminating and allows to check if the sequent is provable. Also decidability of logic of correlated knowledge has been proved. Using the terminating procedure GS-LCK-PROC the validity of all formulas of logic of correlated knowledge can be checked.

The theme of the thesis is to make a list few fundamental modern methods which can be used in computerized physics. The thesis describes parallel computing, neural networks,genetic algorithms, fuzzy logic. Every chapter include theoretical description, simplified mathematical expression, proposals of technical solution. Applications are briefly mentioned here too. The printed matter is completed with a few simple examples. The closing part of the thesis acquired information about these methods and outlines their future development.

The thesis "The army on the media battlefield" examines the extent to which the Ministry of Defence and the Army of the Czech Republic are media institutions. If they take media logic and if they subject to pressure of the journalists. All this in a theoretical frame of four phases of mediatisation that is defined by Jesper Strömbäck's work in 2008. The theoretical part defines terms such as mediatisation or media logic. The thesis also focuses on the explanation of corporate communication, which is related to the Ministry of Defence and the Czech Army. In the conclusion of the theoretical part both institutions are defined and the emphasis is on their communications department. The methodological part describes the research method of semi-structured interviews, which are used to collect relevant data. It also defines the research problem and research questions. The third part of the thesis is devoted to research where data collected from nine respondents from the Ministry of Defense and the General Staff of the Army are analyzed and categorized to relevant research questions. Respondents answered questions that addressed the communication objectives of the Army, formats and contents of the communication, new media and their work in relation to editorial routines. Respondents described what...

Modeling protean objects, i.e. objects adapting their structure and behavior dynamically with respect to a changeable environment, is often challenging in traditional object-oriented languages. According to the author, the root cause of this problem lies in the class-based conceptual framework embedded in the foundation of the object-oriented para-digm. The proposed paradigm Object Morphology (OM) is greatly influenced by prototype theory developed in the field of cognitive psychology. OM abandons the notion of class and suggests, instead, that the abstractions of protean objects should be established through the construction of morph models describing the possible forms of those objects. This the-sis defines the theoretical foundations of OM, which is further used to specify the elements of prototypical object-oriented analysis. An important part of this work is also a proof-of-concept implementation of an OM framework in Scala.

In the master's thesis we are concerned with the logical perspective on business process model-ing. The logical perspective on business process modeling has several advantages. First, being a formal logical system, first-order logic let us thoroughly understand the foundations of process modeling. Second, after we understand the logical foundations of business process modeling, we are free to build a BPM language based entirely on logic, or map an existing language onto logic, which may be useful for artificial reasoning. Third, if the business process model is mapped to logic (or another declarative language) it can be easily stored in a declarative knowledge base. Forth, logic based process models can be used in companies as a basis for knowledge manage-ment. And fifth, the science of logic offers a number of various semantic enhancements, which can be used in favor of better business process modeling expressiveness. The first objective of the thesis is to perform a thorough review of the literature of both our fields -- the business process modeling and temporal logic. The related second objective is to study the ability of logic to represent processes and the notion of time in general, and to offer techniques for logical process representation. Subsequently, the examples should be provided in order to present that the selected techniques are capable of performing what is sketched in the first paragraph. The third objective is to propose improvements of the current business process modeling approach and provide relevant examples. Eventually, means of extending the tech-niques presented can be proposed, too. The major contribution of the thesis is that it constitutes a reasonable basis for further research in the chosen field. For novices or even experienced in the subject it represents a good stepping stone.

This diploma thesis deals with the selection and implementation of information system for a small company. It describes the basic theoretical concepts and problems connected with the area of information systems. The work includes analysis of the current state, determination of the main requirements and parameters of the new information system, assessment of selected variants, selection of a suitable system, implementation, economic evaluation and summary of the expected benefits.

Master Thesis deals with supplier rating with usage of fuzzy logic as an advanced decision-making method. There was made a model for selection of the optimal technologies supplier for a self-service vehicle wash. The main solution is realized with support of programs MS Excel and MATLAB.

This diploma thesis deals with the design of fuzzy models to support decision making for selecting the most suitable suppliers for PSL, a.s. Describes methods and procedures for modeling in MS Excel and MATLAB. The goal is to create a decision-making system that will evaluate suppliers to optimize the choice of the most suitable supplier based on the requirements of the selected company.

Dizertační práce se zabývá návrhem integrované metody hodnocení bezpečnosti a spolehlivosti palubních leteckých systém za použití teorie grafů a fuzzy logiky. Navržená integrovaná metoda je univerzálně použitelná v oblasti hodnocení bezpečnosti a spolehlivosti, nicméně je primárně navržená pro použití v oblasti General Aviation a civilních bezpilotních prostředků. Současná podoba hodnocení spolehlivosti je téměř výhradně závislá na úsudku analytika. Použití komerčních softwarových nástrojů pro hodnocení spolehlivosti je extrémně nákladné, přičemž možnost přístupu a úpravy použitých algoritmů je minimální. Současný prudký vývoj palubních letecký systému je spojen s jejich zvyšující se komplexností a sofistikovaností. Integrovaná metoda používá teorii grafů, jako nástroj modelování funkčních závislostí mez jednotily prvky systému. Použití teorie grafu současně umožňuje daný systém analyzovat, hodnotit hustotu vzájemné funkční vazebnosti, identifikovat důsledky případných poruchových stavů. Aplikace fuzzy logiky umožňuje manipulovat s expertní znalostí a stanovit kritičnost daného prvku a systému. Kritičnost prvku zohledňuje pravděpodobnost jeho selhání, možnost detekce dané poruchy, závažnost těchto selhání vzhledem k vlivu na alokované funkce.