Transactional Memory (TM) is an approach to concurrency control in general pur- pose programming languages that inherits the concept of transaction from the database setting. Unlike other language constructs such as locks, TM has an optimistic approach to concurrency control by allowing more than one thread to access simultaneously the same critical section. A transaction always executes as if it is alone in the system, and in the end its effects are undone (rolled back) if it conflicts with another concurrent transac- tions. In spite of the potential for increasing scalability and performance, TM is a recent and developing programming model and still has a very limited impact in real-world applications.
Designing and developing concurrent software is difficult and error prone. Concur- rent programs exhibit concurrency anomalies that originate faults and failures. Despite some claims that TM programs are less error prone, they still exhibit concurrency anoma- lies such as high-level dataraces, i.e., wrong delimitations of transactions’ scope, and stale-value errors, that occur when the value of a shared variable jumps from an atomic block to another.
Programs with this kind of anomalies can exhibit unpredictable and wrong behaviour, not fulfilling the goals for which they were conceived.
This work aims the detection of anomalies through static analysis of transactional Java ByteCode programs that execute in strong atomicity. A extensible and flexible framework is proposed, which can be extended with plugins that detect specific types of anomalies. With this framework we expect to prove that high-level dataraces and stale-value errors can be detected with reasonable precision through static analysis.

Keywords: Atomicity Violation, High-Level Datarace, Static Analysis, Concurrency, Software Transactional Memory

n/a

At the beginning of the 21st century there are new expectations and challenges towards Technology Assessment (TA). Among these there is a new awareness on TA issues in education, in particular at universities. While TA was mainly an activity at extra-universitarian research institutions for a long time now there are new developments and initiative towards integrating TA issues in university courses. We will first give an insight into the international development. Secondly we will focus on the “TA and education” landscape in Germany and Portugal in more detail, followed by a description of new and emerging forms of cooperation between Portugal and Germany in this field which might serve as a model or an example for further cooperation between other partners.

The ideas of ‘responsible development’ in the scientific-technological advance and of ‘responsible innovation’ in the field of new products, services and systems have been discussed for some years now with increasing intensity (Siune et al. 2009) and led to the phrase of ‘Responsible Research and Innovation’ (RRI). The postulate of responsible innovation adds explicit ethical reflection to Technology Assessment (TA) and science, technology and society (STS) studies and includes all of them into integrative approaches to shaping technology and innovation. Responsible innovation brings together TA with its experiences on assessment procedures, actor involvement, foresight and evaluation with ethics, in particular under the framework of responsibility, and also builds on the body of knowledge about R&D and innovation processes provided by STS and STIS studies (science, technology, innovation and society). Ethical reflection and technology assessment are increasingly taken up as integrative part of R&Dprogrammes (Siune et al. 2009). Science institutions, including research funding agencies, have started taking a pro-active role in promoting integrative research and development. Thus, the governance of science and of R&D processes is changing which opens up new possibilities and opportunities for involving new actors and new types of reflection. In this paper I want to demonstrate at a more conceptual level that Responsible Innovation can build on experiences and knowledge provided by the three mentioned fields of research: ethics, technology assessment, and STS respective STIS studies. To this end I will start by a brief analysis of the thematic dimensions included in the notion of responsibility and the respective disciplinary approaches to explore and investigate them (Sec. 2). The field of technology assessment is then introduced as a major origin of the Responsible Innovation movement including already some of the main ideas behind Responsible Innovation (Sec. 3). Based on the TA tradition Responsible Innovation may be characterized as a broadened extension of technology assessment complemented by ethics and STS (Sec. 4). As an illustration, the field of Synthetic Biology is introduced (Sec. 5).

n/a

The present article posits constructive technology assessment as the dominant perspective of societal embedding practices in the technical development process by the high-speed train manufacturing industry, resulting from a research study conducted in 2011 (Moretto 2011). The article covers the main elements of the study, being the high-speed train manufacturing industry’s strategic intelligence, technology pattern, knowledge exchange, technology trajectories; and finally presents the arguments justifying constructive technology assessment as the dominant approach.

Several lines of recent evidence support a role for chromatin in splicing regulation. Here, we show that splicing can also contribute to histone modification, which implies bidirectional communication between epigenetic mechanisms and RNA processing. Genome-wide analysis of histone methylation in human cell lines and mouse primary T cells reveals that intron-containing genes are preferentially marked with histone H3 Lys36 trimethylation (H3K36me3) relative to intronless genes. In intron-containing genes, H3K36me3 marking is proportional to transcriptional activity, whereas in intronless genes, H3K36me3 is always detected at much lower levels. Furthermore, splicing inhibition impairs recruitment of H3K36 methyltransferase HYPB (also known as Setd2) and reduces H3K36me3, whereas splicing activation has the opposite effect. Moreover, the increase of H3K36me3 correlates with the length of the first intron, consistent with the view that splicing enhances H3 methylation. We propose that splicing is mechanistically coupled to recruitment of HYPB/Setd2 to elongating RNA polymerase II.

This paper presents StarTM , an automatic verification tool for transactional memory Java programs executing under relaxed isolation levels. We certify which transactions in a program are safe to execute under Snapshot Isolation without triggering the write-skew anomaly, opening the way to run-time optimizations that may lead to considerable performance enhancements.
Our tool builds on a novel shape analysis technique based on Separation Logic to statically approximate the read- and write-sets of a transactional memory Java program. This technique is particularly challenging due to the presence of dynamically allocated memory.
We implement our technique and apply our tool to a set of intricate examples. We corroborate known results, certifying some of the examples for safe execution under Snapshot Isolation by proving the absence of write-skew anomalies. In other cases we identify transactions that potentially trigger the write-skew anomaly.

Multiheme cytochromes c are important in electron transfer pathways in reduction of both soluble and insoluble Fe(III) by Geobacter sulfurreducens. We determined the crystal structure at 3.2 Å resolution of the first dodecaheme cytochrome c (GSU1996) along with its N-terminal and C-terminal hexaheme fragments at 2.6 and 2.15 Å resolution, respectively. The macroscopic reduction potentials of the full-length protein and its fragments were measured. The sequence of GSU1996 can be divided into four c7-type domains (A, B, C and D) with homology to triheme cytochromes c7. In cytochromes c7 all three hemes are bis–His coordinated, whereas in c7-type domains the last heme is His–Met coordinated. The full-length GSU1996 has a 12 nm long crescent shaped structure with the 12 hemes arranged along a polypeptide to form a “nanowire” of hemes; it has a modular structure. Surprisingly, while the C-terminal half of the protein consists of two separate c7-type domains (C and D) connected by a small linker, the N-terminal half of the protein has two c7-type domains (A and B) that form one structural unit. This is also observed in the AB fragment. There is an unexpected interaction between the hemes at the interface of domains A and B, which form a heme-pair with nearly parallel stacking of their porphyrin rings. The hemes adjacent to each other throughout the protein are within van der Waals distance which enables efficient electron exchange between them. For the first time, the structural details of c7-type domains from one multiheme protein were compared.

Em caso de falha abrupta de um sistema, é imperativo garantir a consistência do Sistema de Ficheiros (SF). Actualmente existem várias solu{\c c}ões que visam garantir que tanto os dados como os metadados do SF se encontram num estado consistente, mas que não contemplam a garantia de consistência dos dados do ponto de vista das aplica{\c c}ões. Por exemplo, aplica{\c c}ões que pretendam alterar vários ficheiros de configura{\c c}ão terão de encontrar mecanismos para garantir que, ou todos os ficheiros são devidamente alterados, ou nenhum o é, evitando assim que numa situa{\c c}ão de falha o conteúdo dos ficheiros fique inconsistente. Do ponto de vista da aplica{\c c}ão, pode não ser simples implementar este comportamento sobre um SF t{\'ıpico; e pode também não ser razoável utilizar um Sistema de Gestão de Bases de Dados (SGBD), que oferece propriedades ACID. Neste artigo propomos, testamos e avaliamos uma integra{\c c}ão das propriedades ACID num SF. Partindo do suporte para snapshots do sistema de ficheiros Btrfs, oferece-se uma semântica transaccional às aplica{\c c}ões que operam sobre volumes (sub-árvores) do SF, sem comprometer a semântica POSIX do SF.

“Theory and Practice” of TA, which is referred to in the title of this journal “TATuP”, is usually addressed as a question of TA research. But science is more than research: the field of teaching requires just as much attention, both practically and theoretically. Therefore, a mere collection of individual teaching experiences and best practice examples does not provide a strong enough basis to discuss questions of TA teaching, these must also be embedded in a theoretical context and discussed in their relation to research. In this special issue, we aim to contribute to a combination of theoretical and practical approaches to the relation of TA and “Bildung”.

The present work proposes the development of a bio-battery composed by an ultrathin monolithic structure of an electrospun cellulose acetate membrane, over which was deposited metallic thin film electrodes by thermal evaporation on both surfaces. The electrochemical characterization of the bio-batteries was performed under simulated body fluids like sweat and blood plasma [salt solution–0.9% (w/w) NaCl]. Reversible electrochemical reactions were detected through the cellulose acetate structure. Thus, a stable electrochemical behavior was achieved for a bio-battery with silver and aluminum thin films as electrodes. This device exhibits the ability to supply a power density higher than 3 muW cm(-2). Finally, a bio-battery prototype was tested on a sweated skin, demonstrating the potential of applicability of this bio-device as a micropower source.