On the leakage resilience of secure channel establishment

Secure communication channels are typically constructed from an authenticated key exchange (AKE) protocol, which authenticates the communicating parties and establishes shared secret keys, and a secure data transmission layer, which uses the secret keys to encrypt data. We address the partial leakage of communicating parties' long-term secret keys due to various side-channel attacks, and the partial leakage of plaintext due to data compression. Both issues can negatively affect the security of channel establishment and data transmission. In this work, we advance the modelling of security for AKE protocols by considering more granular partial leakage of parties' long-term secrets. We present generic and concrete constructions of two-pass leakage-resilient key exchange protocols that are secure in the proposed security models. We also examine two techniques--heuristic separation of secrets and fixed-dictionary compression--for enabling compression while protecting high-value secrets.

Inarinsaamen käsitemetaforat

This study discusses the conceptual metaphors of Inari Saami, an endangered, indigenous, Finno-Ugrian language spoken in northern Finland. The research focuses on systematical mappings between source and target domains in conventional Inari Saami metaphors and metonymies. The research material consists of the Inarinsaamen idiomisanakirja [Inari Saami idiom dictionary] which has been compiled by the author in collaboration with an Inari Saami co-author; the Inarilappisches Wörterbuch; Inarinsaamelaista kansantietoutta [Inari Saami folk knowledge]; and Aanaarkiela čájttuzeh [Inari Saami sample texts]. The metaphors and metonymies found in these literary sources are divided into categories on the basis of the target domains and according to the classic model of Lakoff ja Johnson (1980). This method reveals the systematical recurrence of source domains inside each category and thus discovers the systematical patterns of metaphoric mapping, the conceptual metaphors . As a result 44 conceptual metaphors and 16 conceptual metonymies are presented through approximately 500 glossed examples. These findings are discussed against the background of what is known about the cognitive and neural processing of metaphors on the one hand, and what is known about Inari Saami culture on the other. This theoretical framework highlights culture as the underlying force behind conceptual metaphors. The recurring metonymies seem to follow a culturally salient indexicality. For example, the Inari Saami conceptual metonymy TIME IS NATURE reflects the seasonal changes in the year s cycle, which was the salient index of time in traditional Inari Saami culture. The recurring metaphors, for their part, follow a culturally salient iconicity. The conceptual metaphor PRIDE IS ANTLERS is based on an iconicity which is experienced and interpreted by the Inari Saami. A proud person is associated with a reindeer who shows off his impressive antlers. The conceptual metaphor/metonymy seems to be a reflection of culture rather than a cognitive means of understanding an abstract domain in terms of a concrete domain, as hypothesized by certain theoreticians. Repeating this study with other languages may lead to the possibility of typologizing the metaphorical systems of the world s languages and understanding the diversity of metaphor systems in the endangered languages of the world.

Genus i östra Nyland : från dialektutjämning till dialektmarkör

Gender in eastern Nyland – from dialect levelling to identity marking The study of dialect leveling in eastern Nyland focuses on variation and change in the Swedish dialects of Nyland (Fi. Uusimaa) on the south coast of Finland. During the last century the grammatical gender system of the dialects in the area has been reduced from a three-gender system to a two-gender system (cf. Corbett 1991). The present study is based on five linguistic variables in the gender system: the anaphoric pronouns (han, hon, den) when used for inanimates; the neuter pronouns he(t) and de(t) – when used anaphorically or as expletives; and three different types of morphological postposed definite articles. For all these variables, both dialect variants and standard variants are used in the dialects. Within the study of processes of variation and change, the work focuses on the mechanisms of leveling, simplification and reallocation; cf. Trudgill (1986) and Hinskens, Auer Kerswill (2005). With regard to the reductions of the gender system, the possibility that some of these variables might have turned into becoming dialect markers (Labov 1972) in the modern varieties of eastern Nyland is given special attention. The primary data consist of tape recordings with 25 informants done in the 1960s and 1970s. The informants were born in 1881–1913. In addition, recent changes were investigated in detail in tape recordings from 2005–2008 with 15 informants, who were born in the period 1927–1947 or 1976–1988. The study combines quantitative and qualitative methods in the systematic analysis of the data. Theoretically and methodologically the study relies on methods and results from variation studies and socio-dialectology, as well as on methods and results from traditional dialectology; cf. Ahlbäck (1946) and the dictionary of Swedish dialects, Ordbok över Finlands svenska folkmål, (1976–). The results show that there are different strategies among the informants in their use of the features studied. In the modern varieties of the dialects, most of the informants use only two genders, uter and neuter. Of the variables, the masculine pronoun for inanimates, the traditional neuter pronoun he(t) and some variants of the traditional definite articles have received a new function as dialect markers in my data. These changes first affect the gender distinctions, and the function of marking gender is lost; gradually the features then get new functions as dialect markers through processes of dialect leveling and reallocation. These processes are connected to changes taking place in the communities in eastern Nyland because of urbanization. When the dialect speakers experience that the traditional values of both the dialects and the culture are threatened, they begin to mark their dialectal identity by using dialect markers in their speech.

An On-Line Algorithm for the Location of Cross Point Faults in Programmable Logic Arrays

An on-line algorithm is developed for the location of single cross point faults in a PLA (FPLA). The main feature of the valgorithm is the determination of a fault set corresponding to the response obtained for a failed test. For the apparently small number of faults in this set, all other tests are generated and a fault table is formed. Subsequently, an adaptive procedure is used to diagnose the fault. Functional equivalence test is carried out to determine the actual fault class if the adaptive testing results in a set of faults with identical tests. The large amount of computation time and storage required in the determination, a priori, of all the fault equivalence classes or in the construction of a fault dictionary are not needed here. A brief study of functional equivalence among the cross point faults is also made.

Philip Slomovitz papers, undated, 1933-1966.

Contains correspondence as editor of the Detroit Jewish chronicle and of The Jewish news. Of special interest is the correspondence with members of the U.S. Congress relating to aid to Israel, material relating to the boycott of Viceroy cigarettes, the question of the Jewish descent of Franklin Delano Roosevelt, and the dictionary definition of "Jew."

Class-specific sparse codes for representing activities

In this paper we investigate the effectiveness of class specific sparse codes in the context of discriminative action classification. The bag-of-words representation is widely used in activity recognition to encode features, and although it yields state-of-the art performance with several feature descriptors it still suffers from large quantization errors and reduces the overall performance. Recently proposed sparse representation methods have been shown to effectively represent features as a linear combination of an over complete dictionary by minimizing the reconstruction error. In contrast to most of the sparse representation methods which focus on Sparse-Reconstruction based Classification (SRC), this paper focuses on a discriminative classification using a SVM by constructing class-specific sparse codes for motion and appearance separately. Experimental results demonstrates that separate motion and appearance specific sparse coefficients provide the most effective and discriminative representation for each class compared to a single class-specific sparse coefficients.

Liberty

In terms of critical discourse, Liberty contributes to the ongoing aesthetic debate on ‘the sublime.’ Philosopher Immanuel Kant (1724–1804) defined the sublime as a failure of rationality in response to sensory overload: a state where the imagination is suspended, without definitive reference points—a state beyond unequivocal ‘knowing.’ I believe the events of September 11, 2001 eluded our understanding in much the same way, leaving us in a moment of suspension between awe and horror. It was an event that couldn’t be understood in terms of scope or scale. It was a moment of overload, which is so difficult to capture in art. With my work I attempt to rekindle that moment of suspension. Like the events of 9/11, Liberty defies definition. Its form is constantly changing; it is always presenting us with new layers of meaning. Nobody quite had a handle on the events that followed 9/11, because the implications were constantly shifting. In the same way, Liberty cannot be contained or defined at any moment in time. Like the events of 9/11, the full story cannot be told in a snapshot. One of the dictionary definitions for the word ‘sublime’ is the conversion of ‘a solid substance directly into a gas, without there being an intermediate liquid phase’. With this in mind, I would like to present Liberty as a work that is literally ‘sublime.’ But what’s really interesting to me about Liberty is that it presents the sublime on all levels: in its medium, in its subject matter (that moment of suspension), and in its formal (formless) presentation. On every level Liberty is sublime—subverting all tangible reference points and eluding capture entirely. Liberty is based on the Statue of Liberty in New York. However, unlike that statue which has stood in New York since 1886 and can be reasonably expected to stand for millennia, this work takes on diminishing proportions, carved as it is in carbon dioxide, a mysterious, previously unexplored medium—one which smokes, snows and dramatically vanishes into a harmless gas. Like the material this work is carved from, the civil liberties of the free world are diminishing fast, since 9/11 and before. This was my thought when I first conceived this work. Now it’s become evident that Liberty expresses a lot more than just this: it demonstrates the erosion of civil liberties, yes. However, it also presents the intangible, indefinable moments in the days and months that followed 9/11. The sculptural work will last for only a short time, and thereafter will exist only in documentation. During this time, the form is continually changing and self-refining, until it disappears entirely, to be inhaled, metabolised and literally taken to heart by viewers.

Human action recognition from video sequences

This PhD research has proposed new machine learning techniques to improve human action recognition based on local features. Several novel video representation and classification techniques have been proposed to increase the performance with lower computational complexity. The major contributions are the construction of new feature representation techniques, based on advanced machine learning techniques such as multiple instance dictionary learning, Latent Dirichlet Allocation (LDA) and Sparse coding. A Binary-tree based classification technique was also proposed to deal with large amounts of action categories. These techniques are not only improving the classification accuracy with constrained computational resources but are also robust to challenging environmental conditions. These developed techniques can be easily extended to a wide range of video applications to provide near real-time performance.

Diccionario Enciclopédico de Música en Mexico

The work is the most extensive encyclopedic compilation on Mexican music published to the date, in the form of a dictionary. It includes composer's bios, list of works, musical institutions, instruments, performers, theatres, and many other categories about the music of Mexico. Most of entries include bibliography.

Lexicon forestale.

592 s.

Sensitivity of the simulated precipitation to changes in convective relaxation time scale

The paper describes the sensitivity of the simulated precipitation to changes in convective relaxation time scale (TAU) of Zhang and McFarlane (ZM) cumulus parameterization, in NCAR-Community Atmosphere Model version 3 (CAM3). In the default configuration of the model, the prescribed value of TAU, a characteristic time scale with which convective available potential energy (CAPE) is removed at an exponential rate by convection, is assumed to be 1 h. However, some recent observational findings suggest that, it is larger by around one order of magnitude. In order to explore the sensitivity of the model simulation to TAU, two model frameworks have been used, namely, aqua-planet and actual-planet configurations. Numerical integrations have been carried out by using different values of TAU, and its effect on simulated precipitation has been analyzed. The aqua-planet simulations reveal that when TAU increases, rate of deep convective precipitation (DCP) decreases and this leads to an accumulation of convective instability in the atmosphere. Consequently, the moisture content in the lower-and mid-troposphere increases. On the other hand, the shallow convective precipitation (SCP) and large-scale precipitation (LSP) intensify, predominantly the SCP, and thus capping the accumulation of convective instability in the atmosphere. The total precipitation (TP) remains approximately constant, but the proportion of the three components changes significantly, which in turn alters the vertical distribution of total precipitation production. The vertical structure of moist heating changes from a vertically extended profile to a bottom heavy profile, with the increase of TAU. Altitude of the maximum vertical velocity shifts from upper troposphere to lower troposphere. Similar response was seen in the actual-planet simulations. With an increase in TAU from 1 h to 8 h, there was a significant improvement in the simulation of the seasonal mean precipitation. The fraction of deep convective precipitation was in much better agreement with satellite observations.

Dokumentation och beskrivning som språkplanering : perspektiv från arbete med tre tecknade minoritetsspråk

Language Documentation and Description as Language Planning Working with Three Signed Minority Languages Sign languages are minority languages that typically have a low status in society. Language planning has traditionally been controlled from outside the sign-language community. Even though signed languages lack a written form, dictionaries have played an important role in language description and as tools in foreign language learning. The background to the present study on sign language documentation and description as language planning is empirical research in three dictionary projects in Finland-Swedish Sign Language, Albanian Sign Language, and Kosovar Sign Language. The study consists of an introductory article and five detailed studies which address language planning from different perspectives. The theoretical basis of the study is sociocultural linguistics. The research methods used were participant observation, interviews, focus group discussions, and document analysis. The primary research questions are the following: (1) What is the role of dictionary and lexicographic work in language planning, in research on undocumented signed language, and in relation to the language community as such? (2) What factors are particular challenges in the documentation of a sign language and should therefore be given special attention during lexicographic work? (3) Is a conventional dictionary a valid tool for describing an undocumented sign language? The results indicate that lexicographic work has a central part to play in language documentation, both as part of basic research on undocumented sign languages and for status planning. Existing dictionary work has contributed new knowledge about the languages and the language communities. The lexicographic work adds to the linguistic advocacy work done by the community itself with the aim of vitalizing the language, empowering the community, receiving governmental recognition for the language, and improving the linguistic (human) rights of the language users. The history of signed languages as low status languages has consequences for language planning and lexicography. One challenge that the study discusses is the relationship between the sign-language community and the hearing sign linguist. In order to make it possible for the community itself to take the lead in a language planning process, raising linguistic awareness within the community is crucial. The results give rise to questions of whether lexicographic work is of more importance for status planning than for corpus planning. A conventional dictionary as a tool for describing an undocumented sign language is criticised. The study discusses differences between signed and spoken/written languages that are challenging for lexicographic presentations. Alternative electronic lexicographic approaches including both lexicon and grammar are also discussed. Keywords: sign language, Finland-Swedish Sign Language, Albanian Sign Language, Kosovar Sign Language, language documentation and description, language planning, lexicography

Do wordnets also improve human performance on NLP tasks?

FinnWordNet is a wordnet for Finnish that complies with the format of the Princeton WordNet (PWN) (Fellbaum, 1998). It was built by translating the PrincetonWordNet 3.0 synsets into Finnish by human translators. It is open source and contains 117000 synsets. The Finnish translations were inserted into the PWN structure resulting in a bilingual lexical database. In natural language processing (NLP), wordnets have been used for infusing computers with semantic knowledge assuming that humans already have a sufficient amount of this knowledge. In this paper we present a case study of using wordnets as an electronic dictionary. We tested whether native Finnish speakers benefit from using a wordnet while completing English sentence completion tasks. We found that using either an English wordnet or a bilingual English Finnish wordnet significantly improves performance in the task. This should be taken into account when setting standards and comparing human and computer performance on these tasks.

A Technique to Compute Smooth Amplitude, Phase, and Frequency Modulations From the Analytic Signal

Gabor's analytic signal (AS) is a unique complex signal corresponding to a real signal, but in general, it admits infinitely-many combinations of amplitude and frequency modulations (AM and FM, respectively). The standard approach is to enforce a non-negativity constraint on the AM, but this results in discontinuities in the corresponding phase modulation (PM), and hence, an FM with discontinuities particularly when the underlying AM-FM signal is over-modulated. In this letter, we analyze the phase discontinuities and propose a technique to compute smooth AM and FM from the AS, by relaxing the non-negativity constraint on the AM. The proposed technique is effective at handling over-modulated signals. We present simulation results to support the theoretical calculations.