Abstract platforms of computation

Computational formalisms have been pushing the boundaries of the field of computing for the last 80 years and much debate has surrounded what computing entails; what it is, and what it is not. This paper seeks to explore the boundaries of the ideas of computation and provide a framework for enabling a constructive discussion of computational ideas. First, a review of computing is given, ranging from Turing Machines to interactive computing. Then, a variety of natural physical systems are considered for their computational qualities. From this exploration, a framework is presented under which all dynamical systems can be considered as instances of the class of abstract computational platforms. An abstract computational platform is defined by both its intrinsic dynamics and how it allows computation that is meaningful to an external agent through the configuration of constraints upon those dynamics. It is asserted that a platform’s computational expressiveness is directly related to the freedom with which constraints can be placed. Finally, the requirements for a formal constraint description language are considered and it is proposed that Abstract State Machines may provide a reasonable basis for such a language.

A scalable expressive ensemble learning using Random Prism: a MapReduce approach

The induction of classification rules from previously unseen examples is one of the most important data mining tasks in science as well as commercial applications. In order to reduce the influence of noise in the data, ensemble learners are often applied. However, most ensemble learners are based on decision tree classifiers which are affected by noise. The Random Prism classifier has recently been proposed as an alternative to the popular Random Forests classifier, which is based on decision trees. Random Prism is based on the Prism family of algorithms, which is more robust to noise. However, like most ensemble classification approaches, Random Prism also does not scale well on large training data. This paper presents a thorough discussion of Random Prism and a recently proposed parallel version of it called Parallel Random Prism. Parallel Random Prism is based on the MapReduce programming paradigm. The paper provides, for the first time, novel theoretical analysis of the proposed technique and in-depth experimental study that show that Parallel Random Prism scales well on a large number of training examples, a large number of data features and a large number of processors. Expressiveness of decision rules that our technique produces makes it a natural choice for Big Data applications where informed decision making increases the user’s trust in the system.

Kivy on justifying music in liberal education

Within analytical aesthetic circles, Peter Kivy is best known for re-igniting the debate inaugurated by Eduard Hanslick over the issue of whether or not music of the purely instrumental or absolute kind can be said to express a content, and, if so, whether or not listeners' emotional responses to it bear any relation to that content. Kivy's particular contribution countenances the possibility of interpreting the appearance of a musical work as expressive - be it the percussive Allegro barbara [1911] by Bela Bartok or the lyrical Adagio for Strings {1936] by Samuel Barber - without having to presume that music itself, being non-sentient by nature, possesses any emotional, subjective state.  This short essay, however, will critically examine a rather neglected facet of Kivy's prolific writings. In a relatively recent attempt to justify the place of purely instrumental music in liberal education without drawing upon the above-mentioned notion of expressiveness, Kivy reconceptualizes the matter in a manner that significantly shifts us from the dominant epistemological arena of debate. No longer are we to dispute the place of music within the terms set by the highly influential forms-of-knowledge approach revived by P.H. Hirst a generation ago and currently under revision by Jim McKenzie in terms of forms of argumentative discourse. But before first surveying and then critically assessing Kivy's proposal, perhaps we should briefly remind ourselves of the contrasting frame of reference associated with Hirst.

The First Provenance Challenge

The first Provenance Challenge was set up in order to provide a forum for the community to understand the capabilities of different provenance systems and the expressiveness of their provenance representations. To this end, a Functional Magnetic Resonance Imaging workflow was defined, which participants had to either simulate or run in order to produce some provenance representation, from which a set of identified queries had to be implemented and executed. Sixteen teams responded to the challenge, and submitted their inputs. In this paper, we present the challenge workflow and queries, and summarise the participants contributions.

Differences in the Effects of Social Context on Emotional Responding

This study compares the effects of social cues on emotional experiences of men and women. Literature suggests that emotional responses are influenced by the presence and expressiveness of other individuals (Hess, Banse, & Kappas, 1995; Jacobs, Manstead, & Fischer, 2001; Fridlund, 1991). We examined whether social cues influence the experience of emotions differently for men and women. Research on gender differences in self-construal (Cross & Madson, 1997) led us to expect that women’s own emotional reactions would be more sensitive to emotional cues from other individuals than men’s.

Expectancy violation and perceptions of rape victim credibility

Purpose. Rape victims have been found to have a heightened risk of secondary victimization in the legal system through biased perceptions of their credibility. In this study, participants observed a video of a rape victim reporting the crime and evaluated her credibility, to establish the influence of victim emotional expressiveness on evaluations of victim credibility. Methods. The nonverbal (eye-contact, crying) and paralinguistic (tone of voice) behaviour of the rape victim was manipulated such that the emotional presentation viewed by observers was either expressive, or not expressive. One hundred and thirty seven participants were randomly allocated to observe a videotape of either an expressive or a non-expressive victim. Participants' specific expectations about the emotional expressiveness of rape victims in general were also measured. Results. Results revealed no significant main effect of emotional expressiveness on perceptions of credibility. However, among participants with a strong expectation of emotional expressiveness, a rape victim who was emotionally expressive was perceived to be significantly more credible than a victim who was not emotionally expressive. Conclusions. It appears to be expectancy violation rather than emotional expressiveness per se that biases observers' perceptions of rape victim credibility.

Content structure discovery in educational videos using shared structures in the hierarchical hidden Markov models

In this paper, we present an application of the hierarchical HMM for structure discovery in educational videos. The HHMM has recently been extended to accommodate the concept of shared structure, ie: a state might multiply inherit from more than one parents. Utilising the expressiveness of this model, we concentrate on a specific class of video -educational videos - in which the hierarchy of semantic units is simpler and clearly defined in terms of topics and its subunits. We model the hierarchy of topical structures by an HHMM and demonstrate the usefulness of the model in detecting topic transitions.

Securely outsourcing attribute-based encryption with checkability

Attribute-Based Encryption (ABE) is a promising cryptographic primitive which significantly enhances the versatility of access control mechanisms. Due to the high expressiveness of ABE policies, the computational complexities of ABE key-issuing and decryption are getting prohibitively high. Despite that the existing Outsourced ABE solutions are able to offload some intensive computing tasks to a third party, the verifiability of results returned from the third party has yet to be addressed. Aiming at tackling the challenge above, we propose a new Secure Outsourced ABE system, which supports both secure outsourced key-issuing and decryption. Our new method offloads all access policy and attribute related operations in the key-issuing process or decryption to a Key Generation Service Provider (KGSP) and a Decryption Service Provider (DSP), respectively, leaving only a constant number of simple operations for the attribute authority and eligible users to perform locally. In addition, for the first time, we propose an outsourced ABE construction which provides checkability of the outsourced computation results in an efficient way. Extensive security and performance analysis show that the proposed schemes are proven secure and practical. © 2013 IEEE.

PGSW-OS: a novel approach for resource management in a semantic web operating system based on a P2P grid architecture

A web operating system is an operating system that users can access from any hardware at any location. A peer-to-peer (P2P) grid uses P2P communication for resource management and communication between nodes in a grid and manages resources locally in each cluster, and this provides a proper architecture for a web operating system. Use of semantic technology in web operating systems is an emerging field that improves the management and discovery of resources and services. In this paper, we propose PGSW-OS (P2P grid semantic Web OS), a model based on a P2P grid architecture and semantic technology to improve resource management in a web operating system through resource discovery with the aid of semantic features. Our approach integrates distributed hash tables (DHTs) and semantic overlay networks to enable semantic-based resource management by advertising resources in the DHT based upon their annotations to enable semantic-based resource matchmaking. Our model includes ontologies and virtual organizations. Our technique decreases the computational complexity of searching in a web operating system environment. We perform a simulation study using the Gridsim simulator, and our experiments show that our model provides enhanced utilization of resources, better search expressiveness, scalability, and precision. © 2014 Springer Science+Business Media New York.

Os efeitos do financiamento do BNDES sobre o lucro e o crescimento das empresas

A presente dissertação tem por objetivo articular os conceitos de estratégia e políticas públicas, orientadas para o papel do BNDES no contexto brasileiro. A expressividade da atuação do BNDES, a origem de seus recursos e a relevância de seus desembolsos ratificam a importância dos financiamentos da instituição para a economia doméstica.

Remote presence: supporting deictic gestures through a handheld multi-touch device

This thesis argues on the possibility of supporting deictic gestures through handheld multi-touch devices in remote presentation scenarios. In [1], Clark distinguishes indicative techniques of placing-for and directing-to, where placing-for refers to placing a referent into the addressee’s attention, and directing-to refers to directing the addressee’s attention towards a referent. Keynote, PowerPoint, FuzeMeeting and others support placing-for efficiently with slide transitions, and animations, but support limited to none directing-to. The traditional “pointing feature” present in some presentation tools comes as a virtual laser pointer or mouse cursor. [12, 13] have shown that the mouse cursor and laser pointer offer very little informational expressiveness and do not do justice to human communicative gestures. In this project, a prototype application was implemented for the iPad in order to explore, develop, and test the concept of pointing in remote presentations. The prototype offers visualizing and navigating the slides as well as “pointing” and zooming. To further investigate the problem and possible solutions, a theoretical framework was designed representing the relationships between the presenter’s intention and gesture and the resulting visual effect (cursor) that enables the audience members to interpret the meaning of the effect and the presenter’s intention. Two studies were performed to investigate people’s appreciation of different ways of presenting remotely. An initial qualitative study was performed at The Hague, followed by an online quantitative user experiment. The results indicate that subjects found pointing to be helpful in understanding and concentrating, while the detached video feed of the presenter was considered to be distracting. The positive qualities of having the video feed were the emotion and social presence that it adds to the presentations. For a number of subjects, pointing displayed some of the same social and personal qualities [2] that video affords, while less intensified. The combination of pointing and video proved to be successful with 10-out-of-19 subjects scoring it the highest while pointing example came at a close 8-out-of-19. Video was the least preferred with only one subject preferring it. We suggest that the research performed here could provide a basis for future research and possibly be applied in a variety of distributed collaborative settings.

Consumo familiar: efeitos da valorização do salário mínimo nas decisões de gasto das famílias brasileiras, nordestinas e potiguares, no período de 1995 a 2011

This research objectify to analyze the effects of minimum wage recovery in the household consumption in the Brazil, northeastern region of the Brazil and the state of the Rio Grande do Norte, in the period of 1995 to 2011. This is because the search for the strengthening of the internal market, via incentive policies to private demand has assumed prominence in the Government agenda. Thus, under the justification of the fierce debate about the effectiveness of countercyclical policies of Brazil, in view of the recent economic crisis, aims to: 1) retake the theoretical debate and, to a certain extent, the evolution of the theory of household consumption, as well as some conclusions about their connection with the minimum wage; 2) to describe the experiences and the effects of this legislation in economic history, with emphasis on the Brazilian case; 3) to present some of the available statistics to research bases, with attention to the specifics of each and the empirical results found for consumption in Brazil; 4) to estimate the effects of minimum wage variation in household consumption in Brazil (BR), northeast (NE) and Rio Grande do Norte (RN). From this, in order to quantify this relationship, makes inferences from the effects of the wage bill and the minimum wage on consumption, in quarterly series (with ad hoc adjustment from the "weights" of each quarter), from classic model of multiple linear regression. The hypothesis is that released: increments in income, derived from the policy of minimum wage recovery will influence directly the household consumption. However, when comparing the results between the units analyzed, the expressiveness of the northeastern families of Brazil and Rio Grande do Norte families front national dynamics with income linked to this floor, drives most significant impacts spending decisions in NE and RN, thus reducing regional disparities in the consumer. The results indicate contrary evidence, because while for the BR a unitary variation in minimum wage increases the consumption in units monetary 1.28, to the NE and RN these parameters are respectively 1.05 and 1.09

O aspecto polifônico d os Lusíadas

A study about the polyphonic aspect of The Lusiads. An epic poem in Portuguese Language written by Luís de Camões, that narrates the adventure of the journey of Vasco da Gama in the discoverer of new shipping lanes for the Índias. Secondarily, tells the historics battles engaged during the process of foundation and consolidation of the Portuguese Empire. The object of the study are the diverse speeches that compose the poem s narration, aiming at to the possible aesthetic relation of the epic poetry of Camões with the novelistic prose developed in the modernity, starting with D. Quijote and consacrating it at polyphonic novels written by Dostoiévski. The sdudy focuses the singularity of Camões lies in the elaboration of a narrative structurally epic, but at the same time contains several deviating speeches. Such speeches emphasize the multiple planes and multiple voices (characteristics of novelistic prose) without, however, prejudice the interlinking logical-formal epos, resulting in the monological finish conventional of the epic gender. This feature characterizes The Lusiads as monological literary work, but also shows dialogism and plurilinguism, essentials to the polyphonic phenomenon. Another prominent aspect of the poetry of Camões is the relative procedure to the expressiveness of the characters. They are, in the majority, rhetorical creations, which assume, in the speech, human or myhtological characteristics. Stratagem that permits to the poet to emit a multiple faces of vision of the facts told. The analysis of the speeches supports-itself entirely in the polyphonic theory of Mikhail Bakhtin, shall be cited, accessory, viewpoints of others theoretical, as long if it is judged compatible with the theory adopted

Os significados de ludoterapia para as protagonistas do processo: crianças em atendimento

The ludic therapy in a Phenomenological-Existential perspective is conceived as a psychotherapeutic process in which, the listening and talking, mediated by playing activities, allow the child to deal with their grief/suffering. This study is based on the need to broaden the understanding of this modality of clinical intervention by emphasizing the speech of the protagonists in the process: children in therapy. The objective was to understand the ludic therapy from the children s perspective, knowing the meanings assigned to the therapeutic process, to the psychologist and to the involvement of the children in clinical consultations. The main ideas that underlie this research are presented in three theoretical chapters covering, respectively, the suffering of children and the demand for psychotherapy, the Phenomenological-Existential clinical psychology, and the psychotherapy for children, in Brazil, under this theoretical-methodological approach. The study was qualitative, on a phenomenological basis, and included six children as participants, aged between six and ten years, undergoing ludic therapy for at least six months, and referred by their own therapists. In the research s corpus construction, individual meetings were held and mediated by tools to support expressiveness (ludic and pictures/figures boxes), added by the storytelling of an incomplete story about a child s visit to the therapy session, and the request for the elaboration of a message to be passed to a child who will go to see a psychologist. The analysis of the data was based on a variant of the phenomenological method proposed by Amedeo Giorgi. The results reveal a lack of knowledge by the children about the psychologist s activities. Thus, the children develop fantasies about this intervention modality because of lack of information. These observations are consistent with the historical meanings assigned to clinical psychology, involving ideas of normality and guilt. The meanings associated with the motives for a referral to a psychologist highlight the conflict "be a problem versus having a problem" and an elitist conception of clinical psychology. Children understand the characteristics of the therapeutic process, such as the specifics of the therapist-client relationship and the notion of freedom. They also demonstrate remarkable pleasure in the therapeutic process. Finally, it was concluded that the meanings attributed to the ludic therapy by the children are consistent with that proposed in the literature about the children s psychotherapy process in the Phenomenological-Existential perspective. Moreover, the relevance of both the children s experience in the therapeutic setting and the meanings of these proceedings understood by the children are highlighted by the listening to the protagonists in the ludic therapeutic process. The comprehension of these aspects and their transference from the clients experience to the reflective field, promote advances in the understanding of child psychotherapy and indicate the need for further studies with children using this approach.