Foundations of quantitative information flow: Channels, cascades, and the information order

Secrecy is fundamental to computer security, but real systems often cannot avoid leaking some secret information. For this reason, the past decade has seen growing interest in quantitative theories of information flow that allow us to quantify the information being leaked. Within these theories, the system is modeled as an information-theoretic channel that specifies the probability of each output, given each input. Given a prior distribution on those inputs, entropy-like measures quantify the amount of information leakage caused by the channel. ^ This thesis presents new results in the theory of min-entropy leakage. First, we study the perspective of secrecy as a resource that is gradually consumed by a system. We explore this intuition through various models of min-entropy consumption. Next, we consider several composition operators that allow smaller systems to be combined into larger systems, and explore the extent to which the leakage of a combined system is constrained by the leakage of its constituents. Most significantly, we prove upper bounds on the leakage of a cascade of two channels, where the output of the first channel is used as input to the second. In addition, we show how to decompose a channel into a cascade of channels. ^ We also establish fundamental new results about the recently-proposed g-leakage family of measures. These results further highlight the significance of channel cascading. We prove that whenever channel A is composition refined by channel B, that is, whenever A is the cascade of B and R for some channel R, the leakage of A never exceeds that of B, regardless of the prior distribution or leakage measure (Shannon leakage, guessing entropy leakage, min-entropy leakage, or g-leakage). Moreover, we show that composition refinement is a partial order if we quotient away channel structure that is redundant with respect to leakage alone. These results are strengthened by the proof that composition refinement is the only way for one channel to never leak more than another with respect to g-leakage. Therefore, composition refinement robustly answers the question of when a channel is always at least as secure as another from a leakage point of view.^

Questionamentos acerca de valores axiológicos no turismo: uma abordagem fenomenológica hermenêutica

The study presents the possibility of interpretation of axiological values of tourism as a practice conceived on a human being or Dasein as being-in-the-world of tourism. The value, as an object of Axiology, was considered the predictor of the human being conduct in the phenomenon reflecting this same value in tourism. The aim was to comprehend and interpret through the way of being of Dasein in tourism, which axiological values are chosen to the practice of tourism and the intentional feelings directed to these values. A phenomenological hermeneutics research with exploratory characteristics was accomplished in order to survey the values. Ten episodic interviews were conducted from the hermeneutic situation - constituted by fore-having, fore-sight and fore-conception of each Dasein interviewed, by adopting a sympathetic conduct and sympathy of Max Scheler and the use of emotional intuition to capture the intentional feelings, interpreted afterwards by the analysis of a Martin Heidegger's phenomenology in Being and Time. The results showed that, even without categorisation, the totality of the living experiences, the way of being of positive values outnumber the negatives ones in the existence of each Dasein, leading them to the Learning, which are comprising: experiences to provide self-knowledge, historical-cultural values, and memory as part of the learning experiences, hospitality as a way of openness and socio-cultural exchange, solidarity and peace. Intentional feelings directed at the values for the choice for practicing tourism were: love, happiness, pleasure, respect and trust. Four evidences were found concerning the use of sentimental perspective and intentional feeling of Scheler and regarding the logic of the heart of Pascal used by this author. The sociocultural interrelationships and exchanges form the basis for developing tourism as phenomenon. Therefore the character being-with or Mitsein is prevalent in tourism activities. Despite the learning was the purpose of the experiences, the ultimate goal was the improvement and personal enrichment of Dasein´s humanity development. The study also showed the hermeneutic phenomenological seeing opens the access of the living experiences of values, without making arbitrarily judgment and achieve "to the thing themselves", which, by the overlapping of categories, dispositions and intentional feelings, form the evaluative experiences and are possible to access through the fundamental ontology of Heidegger. The study contributes to broaden the vision concerning to the totality of tourism and the practitioners Dasein of it. As possibilities for deepening studies, was pointed out: the total person of Scheler; the care or Sorge as a form of love in Heidegger; happiness and pleasure in the practice of tourism and human flourishing or eudaimonia.

Identidade pessoal em Hume e em Kant

The issue of this dissertation is the problem of personal identity. More specifically, the objective of this work is to investigate and compare how Hume and Kant construct, within their own philosophical systems, their theories of personal identity (of the self), so that these theories can set the grounds for the construction of theoretical knowledge. Hume’s theory of personal identity is closely connected to his empirical model of investigation, according to which no metaphysical conclusion can be accepted. This implies a very specific limitation to the humean description of personal identity. Because he can’t find a safe empirical reference for the self, Hume is obliged to describe it as a mere fiction, which the imagination creates to try to give unity to the set of perceptions that composes the mind. Kant, on the other hand, constructs his theory of the self with the aim of explaining the possibility of the a priori knowledge in Mathematics and in Physics. Kant tries to find which attributes must necessarily belong to the self so that this self can be, at the same time, the a priori transcendental condition of a subjectivity in general and the equally a priori transcendental condition for the construction of objective knowledge. Moreover, Kant shows the impossibility of objectively knowing, as intuition, the self, and limits himself to the description of the self as a mere subjective consciousness of the synthetic capacities of the understanding. Several disparities, thus, can be perceived between the theories of personal identity of these two authors. Based on these differences, the present work also examines the possibility of making an interpretation of the humean theory of the self by using elements of the kantian philosophy. The purpose of this kind of interpretation is to propose a solution to the difficulties faced by Hume in the description of his theory of personal identity.

Le rôle de la mathématique dans la philosophie théorique de Kant

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

"Double Rainbow," "Appalachiana," and "'The Invisible Mass': Exploring Compositional Technique in Alfred Schnittke's Second Symphony"

This dissertation consists of three distinct components: (1) “Double Rainbow,” a notated composition for an acoustic ensemble of 10 instruments, ca. 36 minutes. (2) “Appalachiana”, a fixed-media composition for electro-acoustic music and video, ca. 30 minutes, and (3) “'The Invisible Mass': Exploring Compositional Technique in Alfred Schnittke’s Second Symphony”, an analytical article.

(1) Double Rainbow is a ca. 36 minute composition in four movements scored for 10 instruments: flute, Bb clarinet (doubling on bass clarinet), tenor saxophone (doubling on alto saxophone), french horn, percussion (glockenspiel, vibraphone, wood block, 3 toms, snare drum, bass drum, suspended cymbal), piano, violin, viola, cello, and double bass. Each of the four movements of the piece explore their own distinct character and set of compositional goals. The piece is presented as a musical score and as a recording, which was extensively treated in post-production.

(2) Appalachiana, is a ca. 30 minute fixed-media composition for music and video. The musical component was created as a vehicle to showcase several approaches to electro-acoustic music composition –fft re-synthesis for time manipulation effects, the use of a custom-built software instrument which implements generative approaches to creating rhythm and pitch patterns, using a recording of rain to create rhythmic triggers for software instruments, and recording additional components with acoustic instruments. The video component transforms footage of natural landscapes filmed at several locations in North Carolina, Virginia, and West Virginia into a surreal narrative using a variety of color, lighting, distortion, and time-manipulation video effects.

(3) “‘The Invisible Mass:’ Exploring Compositional Technique in Alfred Schnittke’s Second Symphony” is an analytical article that focuses on Alfred Schnittke’s compositional technique as evidenced in the construction of his Second Symphony and discussed by the composer in a number of previously untranslated articles and interviews. Though this symphony is pivotal in the composer’s oeuvre, there are currently no scholarly articles that offer in-depth analyses of the piece. The article combines analyses of the harmony, form, and orchestration in the Second Symphony with relevant quotations from the composer, some from published and translated sources and others newly translated by the author from research at the Russian State Library in St. Petersburg. These offer a perspective on how Schnittke’s compositional technique combines systematic geometric design with keen musical intuition.

Le rôle de la mathématique dans la philosophie théorique de Kant

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Community social innovation: a view of experiences of housing occupation from the Social Work perspective

This work aims to reflect on the concept of social innovation, questioning its explanatory capacity for the discipline of social work. For this purpose, certain on-going debates with regard to this concept are examined and certain minimum dimensions are offered to enable an analysis of the social innovation strategies that certain affected groups implement to meet social needs. The approach is to construct «glasses» that permit an analytical engagement with new realities and with the strategies used by certain social groups to resolve situations of severe vulnerability. Finally, a case study is presented: a strategic group known as the Corrala Utopía that seeks to respond to severe housing problems and is developing in the city of Seville. The article highlights the elements of community social innovation emerging from the experience studied.

La teoría de los diferenciales de Salomon Maimon, la pregunta quid juris y la posibilidad de la metafísica como ciencia

Este trabajo estudia la teoría de los diferenciales de Salomon Maimon como respuesta a la cuestión quid juris y a la vez como clave para la fundamentación de la posibilidad de la metafísica como ciencia. Se reconstruye primero la crítica de Maimon al tratamiento kantiano de la pregunta quid juris. Luego, se analiza la respuesta del propio Maimon a esa pregunta, para establecer finalmente cómo tal respuesta abre el camino para la explicación de la posibilidad de la metafísica como ciencia.

Hegel’s Non-Metaphysical Idea of Freedom

the article explores the putatively non-metaphysical – non-voluntarist, and even non-causal – concept of freedom outlined in Hegel’s work and discusses its influential interpretation by robert Pippin as an ‘essentially practical’ concept. I argue that Hegel’s affirmation of freedom must be distinguished from that of Kant and Fichte, since it does not rely on a prior understanding of self-consciousness as an originally teleological relation and it has not the nature of a claim ‘from a practical point of view’.

A ciência-ação: fundamentos filosóficos e relevância para a enfermagem

ENDERS,Bertha Cruz, FERREIRA,Priscila Brigolini Porfírio, MONTEIRO, Akemi Iwata.A ciencia-açao: fundamentos filosoficos e relevancia para a enfermagem. Revista Texto Contexto em Enfermagem, Florianópolis, v.19, n.1,p.161-7.Jan/Mar.2010.

Sjuksköterskans upplevelse av humorns betydelse i psykiatrisk omvårdnad - En intervjustudie

Bakgrund: Sjuksköterskan förväntas arbeta med patientens bästa i fokus och hon möter många allvarliga situationer där själva existensen står på spel och där sjuksköterskan behöver härbärgera starka känslor hos patienter och deras närstående, men också upprätthålla sin egen integritet och känslomässiga balans. Humor har visats vara ett kraftfullt men tveeggat verktyg i kommunikation och relationsbyggande. Inom psykiatrin kan detta verktyg förmodas behöva hanteras med särskilt kunskap och omsorg. Syfte: Att beskriva hur sjuksköterskan i psykiatrisk omvårdnad ser på humor som företeelse och hennes upplevelse av positiva respektive negativa effekter av att använda humor. Metod: Undersökningen utfördes med en kvalitativ innehållsanalys av halvstrukturerade intervjuer med fem sjuksköterskor verksamma inom psykiatrisk omvårdnad. Resultat: Humor sågs som ett viktigt verktyg inom psykiatrisk omvårdnad som det krävdes lyhördhet, respekt, fingertoppskänsla och timing för att kunna använda. Den huvudsakliga strategin för att använda humor var öppenhet för spontant humor i mötet men det gavs även exempel på medvetna interventioner. Humor öppnade möjligheter att få se verkligheten från nya perspektiv vilket var verksamt för att förändra negativa tankar samt lätta på ångest och negativa känslor. Humor underlättade kommunikation och kunde användas för att jämna ut maktbalanser. Det fanns risk för negativa effekter om humor användes för att trycka ner andra eller som verklighetsflykt. Psykiatriska patienter uppfattades som mer sårbara och medvetenhet om hur svåra psykiska sjukdomar påverkar förmågan att uppfatta och uppskatta humor var viktig även om ett allmänt bra bemötande ansågs vara grundläggande. Slutsats: Positiva former av humor som används på ett respektfullt och inkännande sätt kan vara är ett viktigt verktyg i omvårdnaden för att möjliggöra nya perspektiv på tillvaron, ge lättnad i ångest, minska negativa känslor och tankar samt höja livskvaliteten för både patienter och personal i en verksamhet med mycket allvar.

A ciência-ação: fundamentos filosóficos e relevância para a enfermagem

A prática de enfermagem envolve o enfermeiro da clínica como agente de deliberação e ação, confrontando situações do cotidiano e assumindo, através de conhecimento científico, experiências anteriores ou por conceitos próprios e intuitivos, formas específicas de ver e agir na prática. O agir constitui fonte de conhecimento passível de acesso por métodos de investigação interpretativos. O objetivo deste trabalho é apresentar, analiticamente, a filosofia da Ciência-Ação em sua relação com a construção do conhecimento na enfermagem. Explica-se a Ciência-Ação como método inovador de inquérito e a sua tradição filosófica na abordagem nas ciências sociais, e se discute a sua articulação com a proposta epistemológica da enfermagem. Sugere-se a adoção dessa vertente em estudos de enfermagem, pelo seu enfoque na reflexão sobre as ações do enfermeiro e na prática como fonte de conhecimento. Conclui-se que a Ciência-Ação possui potencial para o avanço da teoria específica da prática da enfermagem, do conhecimento próprio da enfermagem

BURNOUT: analisando a síndrome do ramo das indústrias alimentícias do Rio Grande do Norte

This paper aims to verify the Burnout´s possibilities of incidence, finding the creating dimensions and comparing with the socio-demographics characteristics of the researched professionals. This quantitative-descriptive search has a population of 197 workers of 23 nourishing companies in Rio Grande do Norte. This population is predominantly male, younger than 28 years old, single, relatively instructed (57,07% with complete high school) and having just started their current job since 79% of the interviewees are in the company less than six years. The AUDITORIA DO SISTEMA HUMANO (ASH) model, utilized for investigation and developed for the Spaniards Quijano and Navarro in 1999, has several dimensions about human resources management and the organizational effectiveness, but only makes part of the research in 19 questions Burnout referring. It was used factorial analyses with extraction method, varimax rotation and Kaiser normalization with the intuition to define the creating dimensions of the syndrome, they were evaluated with Cronbach Alpha coefficient after extraction. The dimensions found through the factorial analyses were: emotional exhaustion, physical exhaustion and vitality. The accumulated explanation value reached 65,30% of total variation. The data socio-demographics don t justify the syndrome appearance, because the T test and ANOVA showed irrelevant values. It has been also observed that the founded dimensions were different of the Maslach sociopsychological perspective (emotional exhaustion, depersonalization and low professional realization) allowing comparison with others researches and the possibility to develop new ones with workers from different assistance areas. These new researches are important, since the syndrome refers to chronic labor stress consequences and any professional is favorable to Burnout, harmful to the company as to the collaborators

E-cigarette puffing patterns associated with high and low nicotine e-liquid strength: effects on toxicant and carcinogen exposure

Contrary to intuition, use of lower strength nicotine e-liquids might not offer reduced health risk if compensatory puffing behaviour occurs. Compensatory puffing (e.g. more frequent, longer puffs) or user behaviour (increasing the wattage) can lead to higher temperatures at which glycerine and propylene glycol (solvents used in e-liquids) undergo decomposition to carbonyl compounds, including the carcinogens formaldehyde and acetaldehyde. This study aims to document puffing patterns and user behaviour associated with using high and low strength nicotine e-liquid and associated toxicant/carcinogen exposure in experienced e-cigarette users (known as vapers herein).