Expressive subgroup signatures

In this work, we propose a new generalization of the notion of group signatures, that allows signers to cover the entire spectrum from complete disclosure to complete anonymity. Previous group signature constructions did not provide any disclosure capability, or at best a very limited one (such as subset membership). Our scheme offers a very powerful language for disclosing exactly in what capacity a subgroup of signers is making a signature on behalf of the group.

Expressive encryption systems from lattices

In this survey, we review a number of the many “expressive” encryption systems that have recently appeared from lattices, and explore the innovative techniques that underpin them.

Expressive cryptography : lattice perspectives

The invention of asymmetric encryption back in the seventies was a conceptual leap that vastly increased the expressive power of encryption of the times. For the first time, it allowed the sender of a message to designate the intended recipient in an cryptographic way, expressed as a “public key” that was related to but distinct from the “private key” that, alone, embodied the ability to decrypt. This made large-scale encryption a practical and scalable endeavour, and more than anything else—save the internet itself—led to the advent of electronic commerce as we know and practice it today.

Tangible E-Learning

Tangible User Interfaces increasingly gain attention for their supportive potential in cognitive processes. More and more often the terms e-Learning and tangible interaction are been referred to in one word as Tangible e-Learning. This paper gives a general overview on the topic in reference to development history, research and effectiveness. It explains how epistemology, together with its idea that physicality enhances learning and that the cognitive process can happen in expressive or exploratory manner, motivates the emerging of TUIs and acts as a basis for the classification of Tangible e-Learning Systems. The benefits of TUIs in comparison to classical GUIs in terms of their contribution to the learning process, engagement, enjoyment and collaboration are empirically proven, although poorly. Nevertheless, it is not known whether TUIs have stronger potential than common Physical User Interfaces that are not electronically augmented. Still, TUIs that support learning have a strong potential to be integrated into real world scenarios.

Kaukainen rakkaus : Saavuttamattomuuden semantiikka Kaija Saariahon oopperassa

L Amour de loin: The semantics of the unattainable in Kaija Saariaho s opera Kaija Saariaho (born 1952) is one of the most internationally successful Finnish composers there has ever been. Her first opera L Amour de loin (Love from afar, 1999-2000) has been staged all over the world and has won a number of important prizes. The libretto written for L Amour de loin by Amin Malouf (born 1949) sets the work firmly in the culture of courtly love and the troubadours, which flourished in Occitania in the South of France during the Middle Ages. The male lead in the opera is the troubadour Jaufré Rudel, who lived in the twelfth century and is known to have taken part in the Second Crusade in 1147-1148. This doctoral thesis L Amour de loin: The semantics of the unattainable in Kaija Saariaho s opera, which comes within the field of musicology and opera research, examines the dimensions of meaning contained in Kaija Saariaho s opera L Amour de loin. This hermeneutic-semiotic study is the first doctoral thesis dealing with Saariaho to be completed at the University of Helsinki. It is also the first thesis-level study of Saariaho s opera to be completed anywhere in the world. The study focuses on the libretto and music of the opera, that is to say the dramatic text (L Amour de loin 1980), and examines on the one hand the dimensions of meaning produced by the dramatic text and on the other, the way in which they fix the dramatic text in a historical and cultural context. Thus the study helps to answer questions about the dimensions of meaning contained in the dramatic text of the opera and how they can be interpreted. The most important procedural viewpoint is Lawrence Kramer s hermeneutic window (1990), supplemented by Raymond Monelle s semiotic theory of musical topics (2000, 2006) and the philosophical concept of Emmanuel Levinas (1996, 2002) in which the latter acts as an instrument for semantic interpretation to build up an analysis. The analytical section of the study is built around the three characters in the opera, Jaufré Rudel, Clémence the Countess of Tripoli, and the Pilgrim. The study shows that the music of Saariaho, who belongs to the third generation of Finnish modernists, has become distanced from the post-serial aesthetic towards a more diatonic form of expression. There is diatonicity, for instance, in the sonorous individuality of the male lead, which is based on the actual melodies of the historical Jaufré Rudel. The use of outside material in this context is exceptional in the work of Saariaho. At the same time, Saariaho s opera contains a wealth of expressive devices she has used in her earlier work. It became apparent during the study that, as a piece of music, L Amour de loin is a many layered and multi-dimensional work that does not unambiguously represent any single stylistic trend or aesthetic. Despite the composer s post-serial background and its abrasive relationship with opera, L Amour de loin is firmly attached to the tradition of western opera. The analysis based on the theory of musical topics that was carried out in the study, shows that topics referring to death and resurrection, used in opera since the seventeenth century, appear in L Amour de loin. The troubadour topic, mainly identified with the harp, also emerges in the work. The study also shows that the work is firmly attached to the tradition of western opera in other aspects, too, such as the travesti or trouser role played by the Pilgrim, and the idea of deus ex machina derived from Ancient Greek theatre. The study shows that the concept of love based on the medieval practices of courtly love, and the associated longing for another defined by almost 1,000 years of western culture, are both manifested in the semantics of Kaija Saariaho s opera which takes its place in the contemporary music genre.

On the expressive power of behavioral profiles

Behavioral profiles have been proposed as a behavioral abstraction of dynamic systems, specifically in the context of business process modeling. A behavioral profile can be seen as a complete graph over a set of task labels, where each edge is annotated with one relation from a given set of binary behavioral relations. Since their introduction, behavioral profiles were argued to provide a convenient way for comparing pairs of process models with respect to their behavior or computing behavioral similarity between process models. Still, as of today, there is little understanding of the expressive power of behavioral profiles. Via counter-examples, several authors have shown that behavioral profiles over various sets of behavioral relations cannot distinguish certain systems up to trace equivalence, even for restricted classes of systems represented as safe workflow nets. This paper studies the expressive power of behavioral profiles from two angles. Firstly, the paper investigates the expressive power of behavioral profiles and systems captured as acyclic workflow nets. It is shown that for unlabeled acyclic workflow net systems, behavioral profiles over a simple set of behavioral relations are expressive up to configuration equivalence. When systems are labeled, this result does not hold for any of several previously proposed sets of behavioral relations. Secondly, the paper compares the expressive power of behavioral profiles and regular languages. It is shown that for any set of behavioral relations, behavioral profiles are strictly less expressive than regular languages, entailing that behavioral profiles cannot be used to decide trace equivalence of finite automata and thus Petri nets.

Evidence that TSC2 acts as a transcription factor and binds to and represses the promoter of Epiregulin

The TSC2 gene, mutated in patients with tuberous sclerosis complex (TSC), encodes a 200 kDa protein TSC2 (tuberin). The importance of TSC2 in the regulation of cell growth and proliferation is irrefutable. TSC2 in complex with TSC1 negatively regulates the mTOR complex 1 (mTORC1) via RHEB in the PI3K-AKT-mTOR pathway and in turn regulates cell proliferation. It shows nuclear as well as cytoplasmic localization. However, its nuclear function remains elusive. In order to identify the nuclear function of TSC2, a whole-genome expression profiling of TSC2 overexpressing cells was performed, and the results showed differential regulation of 266 genes. Interestingly, transcription was found to be the most populated functional category. EREG (Epiregulin), a member of the epidermal growth factor family, was found to be the most downregulated gene in the microarray analysis. Previous reports have documented elevated levels of EREG in TSC lesions, making its regulatory aspects intriguing. Using the luciferase reporter, ChIP and EMSA techniques, we show that TSC2 binds to the EREG promoter between -352 bp and -303 bp and negatively regulates its expression. This is the first evidence for the role of TSC2 as a transcription factor and of TSC2 binding to the promoter of any gene.

SIRT6 Promotes COX-2 Expression and Acts as an Oncogene in Skin Cancer

SIRT6 is a SIR2 family member that regulates multiple molecular pathways involved in metabolism, genomic stability, and aging. It has been proposed previously that SIRT6 is a tumor suppressor in cancer. Here, we challenge this concept by presenting evidence that skin-specific deletion of SIRT6 in the mouse inhibits skin tumorigenesis. SIRT6 promoted expression of COX-2 by repressing AMPK signaling, thereby increasing cell proliferation and survival in the skin epidermis. SIRT6 expression in skin keratinocytes was increased by exposure to UVB light through activation of the AKT pathway. Clinically, we found that SIRT6 was upregulated in human skin squamous cell carcinoma. Taken together, our results provide evidence that SIRT6 functions as an oncogene in the epidermis and suggest greater complexity to its role in epithelial carcinogenesis. (C) 2014 AACR.

A obrigação de extraditar para a repressão do terrorismo: a prática brasileira à luz do direito penal transnacional

O combate efetivo ao flagelo secular do terrorismo, ainda que possa se revestir de muitas formas, não prescinde da repressão penal de seus autores. Em vista da maciça internacionalização do terrorismo, a partir do Século XX, a cooperação jurídica internacional em matéria penal (aí incluída a extradição) consolida-se como instrumento de essencial importância para a repressão do terrorismo pela comunidade internacional, com a vantagem de resguardar o domínio do direito e, por conseguinte, de assegurar a paz e a segurança internacionais. A evolução do tratamento do crime de terrorismo pelo direito penal transnacional influenciada pelo direito da segurança coletiva, especialmente a partir dos atentados de 11 de setembro de 2001 exerceu expressivo impacto no direito extradicional. O entendimento desse efeito é fundamental para extrair-se do instituto da extradição todo o seu potencial para a repressão penal do terrorismo. Desde que presentes determinados requisitos, uma conduta de caráter terrorista à luz de parâmetros internacionais gera a obrigação estatal de extraditar ou processar seu autor, mesmo na ausência de tratado. Além disso, a extradição exercida ou não em decorrência de obrigação convencional tem seus princípios afetados pela obrigação internacional de repressão do terrorismo, particularmente no que se refere a questões como extraditabilidade, extradição por crimes políticos e extradição de refugiados. O direito brasileiro apresenta algumas vulnerabilidades para o cumprimento da obrigação aut dedere aut iudicare e a prática judicial brasileira relativa à extradição de acusados de atos de terrorismo poderia reportar-se mais ao direito internacional, com vistas a evitar o risco de violação de obrigações internacionais pelo Brasil.

An expressive text-driven 3D talking head

Creating a realistic talking head, which given an arbitrary text as input generates a realistic looking face speaking the text, has been a long standing research challenge. Talking heads which cannot express emotion have been made to look very realistic by using concatenative approaches [Wang et al. 2011], however allowing the head to express emotion creates a much more challenging problem and model based approaches have shown promise in this area. While 2D talking heads currently look more realistic than their 3D counterparts, they are limited both in the range of poses they can express and in the lighting conditions that they can be rendered under. Previous attempts to produce videorealistic 3D expressive talking heads [Cao et al. 2005] have produced encouraging results but not yet achieved the level of realism of their 2D counterparts.