Šio baigiamo darbo objektas – gidų pasirengimas. Baigiamo darbo tikslas – apžvelgti gidų rengimo ypatumus Kauno mieste bei įvertinti turistų nuomones, apie gidų teikiamas paslaugas, gidų profesinius įgūdžius, gebėjimus. Tikslui pasiekti keliami šie uždaviniai: 1) Apžvelgti gido paslaugų kaip turizmo produkto dalies ypatumus; 2) Aptarti gidų profesinio rengimo pagrindus; 3) Ištirti Kauno miesto turistų nuomonę apie gidų paslaugas, gidų profesionalumą. Tikslui ir uždaviniams pasiekti naudojami šie tyrimo metodai: analizės, apklausos, matematinis – statistinis. Tyrimo metu nustatyta, jog geriausiai respondentų buvo įvertinti tokie gido paslaugų Kauno mieste rodikliai kaip prieinamumas, paslaugų kokybė bei informacijos sklaida; prasčiausiai - gido paslaugų įvairovė. Vertinant gidų specialiąsias žinias, pastebėta, kad geriausiai buvo įvertintos gidų retorikos, ekskursijų rengimo ir vedimo žinios, tuo tarpu prasčiausiai - psichologijos bendrosios gido žinios. Labiausiai respondentus tenkina gidų savojo temperamento ir nuotaikų valdymas, gidų pastabumas; netenkina - konfliktų prevencija ir valdymas. Anot apklaustųjų turistų, gidai Kauno mieste pasižymi, tvarkingumu, sąžiningumu, sąmoningumu, tačiau jiems trūksta kūrybingumo ir objektyvumo. Kauno miesto gidų paslaugos, lyginant su kitų Lietuvos miestų gidų paslaugomis respondentų vertinamos gerai. Visgi, Kauno miesto gidams, lyginant su kitų miestų gidais, trūksta profesionalumo, patirties, geresnio pritaikymo turistams, nuoširdumo... [toliau žr. visą tekstą] / The finishing work - For guides and training system. Finishing work - an overview of the training system guides Kaunas city and evaluate the tourist views of the courier services, courier professional skills and abilities. In order to achieve the following tasks: 1) Discuss as a tourist guide for the specific characteristics of the product; 2) Analyze the professional preparation of the guides; 3) Perform the tourist city of Kaunas reviews / evaluations of the analysis. Objectives and targets, the following methods: analysis, surveys, mathematical - statistical. The study found that most respondents assessed the following guide for the city of Kaunas indicators of access, quality of service and information-sharing; worst - guide a variety of services. The evaluation guides expertise observed that most guide books were evaluated rhetoric tour preparation and conduct of knowledge, while the lowest - the psychology of the common knowledge of the guide. Most respondents satisfied with the courier's own temperament and mood management, guide attentiveness; not satisfied - conflict prevention and management. According to the respondents tourist guides in Kaunas has, regularity, honesty, awareness, but they lack creativity and objectivity. Kaunas city guides, as compared with other Lithuanian cities courier services respondents evaluated well. However, Kaunas city guides, comparison with other city guides, lack of professionalism, experience, and better application of tourists... [to full text]

Image format (Laws, Adlington, Gale, Moreno-Martínez, & Sartori, 2007), ceiling effects in controls (Fung et al., 2001; Laws et al., 2005; Moreno-Martínez, & Laws, 2007; 2008), and nuisance variables (Funnell & De Mornay Davis, 1996; Funnell & Sheridan, 1992; Stewart, Parkin & Hunkin, 1992) all influence the emergence of category specific deficits in Alzheimer‟s dementia (AD). Thus, the predominant use of line drawings of familiar, everyday items in category specific research is problematic. Moreover, this does not allow researchers to explore the extent to which format may influence object recognition. As such, the initial concern of this thesis was the development of a new corpus of 147 colour images of graded naming difficulty, the Hatfield Image Test (HIT; Adlington, Laws, & Gale, 2009), and the collection of relevant normative data including ratings of: age of acquisition, colour diagnosticity, familiarity, name agreement, visual complexity, and word frequency. Furthermore, greyscale and line-drawn versions of the HIT corpus were developed (and again, the associated normative data obtained), to permit research into the influence of image format on the emergence of category specific effects in patients with AD, and in healthy controls. Using the HIT, several studies were conducted including: (i) a normative investigation of the effects of category and image format on naming accuracy and latencies in healthy controls; (ii) an exploration of the effects of image format (using the HIT images presented in colour, greyscale, and line-drawn formats) and category on the naming performance of AD patients, and age-matched controls performing below ceiling; (iii) a longitudinal investigation comparing AD patient performance to that of age-matched controls, on a range of semantic tasks (naming, sorting, word-picture matching), using colour, greyscale, and line-drawn versions of the HIT; (iv) a comparison of naming in AD patients and age-matched controls on the HIT and the (colour, greyscale and line-drawn) images from the Snodgrass and Vanderwart (1980) corpus; and (v) a meta-analysis to explore category specific naming in AD using the Snodgrass and Vanderwart (1980) versus other corpora. Taken together, the results of these investigations showed first, that image format interacts with category. For both AD patients and controls, colour is more important for the recognition of living things, with a significant nonliving advantage emerging for the line-drawn images, but not the colour images. Controls benefitted more from additional surface information than AD patients, which chapter 6 shows results from low-level visual cortical impairment in AD. For controls, format was also more important for the recognition of low familiarity, low frequency items. In addition, the findings show that adequate control data affects the emergence of category specific deficits in AD. Specifically, based on within-group comparison chapters 6, 7, and 8 revealed a significant living deficit in AD patients. However, when compared to controls performing below ceiling, as demonstrated in chapters 7 and 8, this deficit was only significant for the line drawings, showing that the performance observed in AD patients is simply an exaggeration of the norm.

A fundamental component of theoretical computer science is the application of logic. Logic provides the formalisms by which we can model and reason about computational questions, and novel computational features provide new directions for the development of logic. From this perspective, the unusual features of quantum computation present both challenges and opportunities for computer science. Our existing logical techniques must be extended and adapted to appropriately model quantum phenomena, stimulating many new theoretical developments. At the same time, tools developed with quantum applications in mind often prove effective in other areas of logic and computer science. In this thesis we explore logical aspects of this fruitful source of ideas, with category theory as our unifying framework. Inspired by the success of diagrammatic techniques in quantum foundations, we begin by demonstrating the effectiveness of string diagrams for practical calculations in category theory. We proceed by example, developing graphical formulations of the definitions and proofs of many topics in elementary category theory, such as adjunctions, monads, distributive laws, representable functors and limits and colimits. We contend that these tools are particularly suitable for calculations in the field of coalgebra, and continue to demonstrate the use of string diagrams in the remainder of the thesis. Our coalgebraic studies commence in chapter 3, in which we present an elementary formulation of a representation result for the unitary transformations, following work developed in a fibrational setting in [Abramsky, 2010]. That paper raises the question of what a suitable "fibred coalgebraic logic" would be. This question is the starting point for our work in chapter 5, in which we introduce a parameterized, duality based frame- work for coalgebraic logic. We show sufficient conditions under which dual adjunctions and equivalences can be lifted to fibrations of (co)algebras. We also prove that the semantics of these logics satisfy certain "institution conditions" providing harmony between syntactic and semantic transformations. We conclude by studying the impact of parameterization on another logical aspect of coalgebras, in which certain fibrations of predicates can be seen as generalized invariants. Our focus is on the lifting of coalgebra structure along a fibration from the base category to an associated total category of predicates. We show that given a suitable parameterized generalization of the usual liftings of signature functors, this induces a "fibration of fibrations" capturing the relationship between the two different axes of variation.

Faceted browsing (also called faceted search or faceted navigation) is an exploratory search model where facets assist in the interactive navigation of search results. Facets are attributes that have been assigned to describe resources being explored; a faceted taxonomy is a collection of facets provided by the interface and is often organized as sets, hierarchies, or graphs. Faceted browsing has become ubiquitous with modern digital libraries and online search engines, yet the process is still difficult to abstractly model in a manner that supports the development of interoperable and reusable interfaces. We propose category theory as a theoretical foundation for faceted browsing and demonstrate how the interactive process can be mathematically abstracted in order to support the development of reusable and interoperable faceted systems. Existing efforts in facet modeling are based upon set theory, formal concept analysis, and light-weight ontologies, but in many regards they are implementations of faceted browsing rather than a specification of the basic, underlying structures and interactions. We will demonstrate that category theory allows us to specify faceted objects and study the relationships and interactions within a faceted browsing system. Resulting implementations can then be constructed through a category-theoretic lens using these models, allowing abstract comparison and communication that naturally support interoperability and reuse. In this context, reuse and interoperability are at two levels: between discrete systems and within a single system. Our model works at both levels by leveraging category theory as a common language for representation and computation. We will establish facets and faceted taxonomies as categories and will demonstrate how the computational elements of category theory, including products, merges, pushouts, and pullbacks, extend the usefulness of our model. More specifically, we demonstrate that categorical constructions such as the pullback and pushout operations can help organize and reorganize facets; these operations in particular can produce faceted views containing relationships not found in the original source taxonomy. We show how our category-theoretic model of facets relates to database schemas and discuss how this relationship assists in implementing the abstractions presented. We give examples of interactive interfaces from the biomedical domain to help illustrate how our abstractions relate to real-world requirements while enabling systematic reuse and interoperability. We introduce DELVE (Document ExpLoration and Visualization Engine), our framework for developing interactive visualizations as modular Web-applications in order to assist researchers with exploratory literature search. We show how facets relate to and control visualizations; we give three examples of text visualizations that either contain or interact with facets. We show how each of these visualizations can be represented with our model and demonstrate how our model directly informs implementation. With our general framework for communicating consistently about facets at a high level of abstraction, we enable the construction of interoperable interfaces and enable the intelligent reuse of both existing and future efforts.

We discuss a method of classifying 2-dimensional invertible topological quantum field theories (TQFTs) whose domain surface categories allow non-orientable cobordisms. These are known as Klein TQFTs. To this end we study the 1+1 dimensional open-closed unoriented cobordism category K, whose objects are compact 1-manifolds and whose morphisms are compact (not necessarily orientable) cobordisms up to homeomorphism. We are able to compute the fundamental group of its classifying space BK and, by way of this result, derive an infinite loop splitting of BK, a classification of functors K → Z, and a classification of 2-dimensional open-closed invertible Klein TQFTs. Analogous results are obtained for the two subcategories of K whose objects are closed or have boundary respectively, including classifications of both closed and open invertible Klein TQFTs. The results obtained throughout the paper are generalisations of previous results by Tillmann [Til96] and Douglas [Dou00] regarding the 1+1 dimensional closed and open-closed oriented cobordism categories. Finally we consider how our results should be interpreted in terms of the known classification of 2-dimensional TQFTs in terms of Frobenius algebras.

Background: Segregation, within the context of this study, is the removal of a prisoner from the wider prison to an environment that is regimented and controlling, and functions through enforced solitude. There is very little research that explores this environment from the perspective of the prisoners who experience it. By using the voices of the prisoners this study provides rich description of the conceptual understanding of how they and resolved their segregation experiences. Research Aim: The aim of this research was to develop a grounded theory of how prisoners gave meaning to their segregated environment experience. Methodology: This study was guided by a constructivist epistemology and the principles and process of grounded theory (Constructivist Grounded Theory) as described by Glaser, Strauss, and Charmaz. Data was gathered from a participant group of prisoners who were experiencing, or had experienced within the previous two months, time in segregation, from one specific Category A prison, as well as comparable case studies. Data was collected through semi structured interviews, and case study documentary analysis, and analysed using the concurrent processes of constant comparative analysis, data collection, and theoretical sampling. Results: The participants expressed that the main concern of their time in segregation was a desire to survive this experience. They expressed this desire, and the actions and behaviours necessary to achieve it, through a process conceptualised as reframing contextual power. This has three 'subcategories‘ 'Power Posturing', 'Power Positioning', and 'Power Playing', each comprising of further subdivisions of the conceptualisation of the participants main concern. These consisted of 'Knowing Fixed Rules', 'Reading Emergent Rules', 'Relating', 'Resistance', 'Being Bad', 'Being Mad', and 'Being Cool'. Power was the major interlinking concept and this was fundamental to the strategies and actions necessary for the participants to achieve their main concern. While presented as three distinct 'subcategories‘ they are neither independent nor hierarchical, rather they are interconnected and interlinked. The participants were active in the utilisation and enactment of power actions and not passive recipients of power. A theoretical exploration of the power inherent in reframing contextual power demonstrated that no one theory or approach can sufficiently explain power within this context. It is proposed that, drawing from a number of theorists, an integrated approach to viewing and understanding such power is required to allow for a more sophisticated understanding of how the participants reframe contextual power. Conclusions: The findings of this study provide a method of understanding how the participants engaged with, and utilised complex strategies to survive the segregated environment experience. The findings also contribute to how we understand the processes of power within this current (and similar) context(s). I consider that the uniqueness of this thesis is important as it contributes to the extant body of knowledge in this field and thus offers a salient message relating to the (potential) future of segregation and the solitary confinement of prisoners.

In this thesis, we address the action retrieval and the object category segmentation problems by directly optimizing application specific performance measures using deep learning. Most deep learning methods are designed to optimize simple loss functions (e.g., cross-entropy or hamming loss). These loss functions are suitable for applications where the performance of the application is measured by overall accuracy. But for many applications, the overall accuracy is not an appropriate performance measure. For example, applications like action retrieval often use the area under the Receiver Operating Characteristic curve (ROC curve) to measure the performance of a retrieval algorithm. Likewise, in object category segmentation from images, the intersection-over-union (IoU) is the standard performance measure. In this thesis, we propose approaches to directly optimize these complex performance measures in deep learning framework. / October 2016

This research presents a new approach to derive recommendations for segment-specific, targeted marketing campaigns on the product category level. The proposed methodological framework serves as a decision support tool for customer relationship managers or direct marketers to select attractive product categories for their target marketing efforts, such as segment-specific rewards in loyalty programs, cross-merchandising activities, targeted direct mailings, customized supplements in catalogues, or customized promotions. The proposed methodology requires cus- tomers' multi-category purchase histories as input data and proceeds in a stepwise manner. It combines various data compression techniques and integrates an opti- mization approach which suggests candidate product categories for segment-specific targeted marketing such that cross-category spillover effects for non-promoted categories are maximized. To demonstrate the empirical performance of our pro- posed procedure, we examine the transactions from a real-world loyalty program of a major grocery retailer. A simple scenario-based analysis using promotion responsiveness reported in previous empirical studies and prior experience by domain experts suggests that targeted promotions might boost profitability between 15 % and 128 % relative to an undifferentiated standard campaign.

The capacity of Raven's Standard Progressive Matrices (SPM) and the Booklet Category Test (BCT) to discriminate between groups of brain-injured, simulated malingering, and normal participants was investigated in this study. Exploratory analyses were also conducted to examine the differences between groups categorized as sophisticated and naive fakers. Clinical decision rules and discriminant function analyses were utilized to identify malingerers. Clinical decision rules ranged in hit rates from 41% to 78%, in sensitivity from 2% to 100%, and in specificity from 86% to 100%. Discriminant functions ranged in hit rates from 81% to 86%, in sensitivity from 68% to 73% and in specificity from 82% to 87%. Overall, the least helpful detection method examined was below chance responding on either measure, while the most efficient was gross errors for SPM.

Two studies were conducted to investigate how the use of different types of language affects attitudes. Participants scrutinized arguments supporting a hypothetical toothpaste that differed in terms of argument strength (strong versus weak) and linguistic abstractness (abstract versus concrete) and subsequently evaluated the toothpaste. In addition, half of the participants in the second study were subjected to a cognitive load manipulation (i.e., rehearsing a ten-digit number) in order to limit their level of cognitive elaboration. Results indicated that strong arguments and those containing concrete descriptions led to more positive attitudes about the toothpaste, whereas weak messages comprised of abstract terms gave rise to the least favorable evaluations. These findings represent the first demonstration of the effect of language type on attitudes and suggest that future research into the functions of differential linguistic abstractness in a persuasive context will broaden our understanding of attitude change.