Multi-version Speculative Concurrency Control with Delayed Commit

This paper presents an algorithm which extends the relatively new notion of speculative concurrency control by delaying the commitment of transactions, thus allowing other conflicting transactions to continue execution and commit rather than restart. This algorithm propagates uncommitted data to other outstanding transactions thus allowing more speculative schedules to be considered. The algorithm is shown always to find a serializable schedule, and to avoid cascading aborts. Like speculative concurrency control, it considers strictly more schedules than traditional concurrency control algorithms. Further work is needed to determine which of these speculative methods performs better on actual transaction loads.

A New Version of Toom's Proof

There are several proofs now for the stability of Toom's example of a two-dimensional stable cellular automaton and its application to fault-tolerant computation. Simon and Berman simplified and strengthened Toom's original proof: the present report is simplified exposition of their proof.

Type Inference for Variant Object Types

Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is required for soundness of static typing in the presence of method overrides, but it is often in the way of the expressive power of the type system. Flexibility of static typing can be recovered in different ways: in first-order systems, by the adoption of object types with variance annotations, in second-order systems by resorting to Self types. Type inference is known to be P-complete for first-order systems of finite and recursive object types, and NP-complete for a restricted version of Self types. The complexity of type inference for systems with variance annotations is yet unknown. This paper presents a new object type system based on the notion of Split types, a form of object types where every method is assigned two types, namely, an update type and a select type. The subtyping relation that arises for Split types is variant and, as a result, subtyping can be performed both in width and in depth. The new type system generalizes all the existing first-order type systems for objects, including systems based on variance annotations. Interestingly, the additional expressive power does not affect the complexity of the type inference problem, as we show by presenting an O(n^3) inference algorithm.

Genome-scale analyses of health-promoting bacteria: probiogenomics

The human body is colonized by an enormous population of bacteria (microbiota) that provides the host with coding capacity and metabolic activities. Among the human gut microbiota are health-promoting indigenous species (probiotic bacteria) that are commonly consumed as live dietary supplements. Recent genomics-based studies (probiogenomics) are starting to provide insights into how probiotic bacteria sense and adapt to the gastrointestinal tract environment. In this Review, we discuss the application of probiogenomics in the elucidation of the molecular basis of probiosis using the well-recognized model probiotic bacteria genera Bifidobacterium and Lactobacillus as examples.

Nuove intersezioni: crimine e storia nella narrativa Italiana al cambio di millennio

My research investigates a recent tendency in Italian literature, characterized by elements of renewal within the novel-writing tradition and of discontinuity with postmodern culture. It proposes an interpretation of the genres of the historical novel and crime fiction in the last fifteen years, in order to underline the important role played by these types of narrative in revitalizing contemporary Italian literature. These modalities of writing are considered both individually and in their connections beyond a traditional notion of genre, emphasizing those characteristics which may be assumed as irreconcilable with a postmodern approach to fiction and those which, furthermore, seem to indicate attempts to take a new course. In particular, my study analyses the recent literary tendency to combine the elements of ‘crime’ and ‘history’ in order to represent political and social reality, and how the works examined relate to postmodern narrative. For this reason, I pay particular attention to the relationship between literature and the past and to the socio-political aspects connected with the praxis of narrating, offering an original interpretation of the way in which the authors studied engage with these characteristics.

Azione destabilizzante e impegno politico. Le figure femminili tra il giallo e il nero Italiani dal 1980 a oggi

My thesis analyses female figures in Italian crime fiction since 1980, from narratological, sociological and gender-studies perspectives. It considers the narrative structure of the giallo and the noir, taking into account the difficulties, particularly in Italy, of establishing what noir fiction is and if/how it is possible to frame it in a specific narrative scheme. This discourse connects to the extraordinary success of Italian giallo and noir fiction over the past fifteen-twenty years. In this scenario, I examine the place of female writers in relation to this phenomenon, especially since the 1980s: in terms of the level of visibility/acceptance of their work, in a narrative space traditionally considered as a male territory, and with regard to their writings, which introduce different narrative perspectives. Specifically, I consider selected texts by leading female Italian writers, in which female elements (writers/characters) become destabilizing factor both on the narrative level, by undermining the schemes of ‘formulaic’ fiction, and on the political one, through their implicit potential (as women) for disrupting the rigid models inherited from processes of social conditioning and from political structures. In terms of gender identities, such texts offer scope to question conventional social constructions of the subject: by empowering the female narrative voice and by embodying it in characters (investigators/killers) traditionally personified by male figures. These texts offer themselves as a critical space where, potentially, readers can rethink static gendered relationships and stereotypical symbolical categories.

Fundamental studies on the application of enzymes when brewing with unmalted oats and sorghum

The use of unmalted oats or sorghum in brewing has great potential for creating new beer types/flavors and saving costs. However, the substitution of barley malt with oat or sorghum adjunct is not only innovative but also challenging due to their specific grain characteristics. The overall objectives of this Ph.D. project were: 1) to investigate the impact of various types and levels of oats or sorghum on the quality/processability of mashes, worts, and beers; 2) to provide solutions as regards the application of industrial enzymes to overcome potential brewing problems. For these purposes, a highly precise rheological method using a controlled stress rheometer was developed and successfully applied as a tool for optimizing enzyme additions and process parameters. Further, eight different oat cultivars were compared in terms of their suitability as brewing adjuncts and two very promising types identified. In another study, the limitations of barley malt enzymes and the benefits of the application of industrial enzymes in high-gravity brewing with oats were determined. It is recommended to add enzymes to high-gravity mashes when substituting 30% or more barley malt with oats in order to prevent filtration and fermentation problems. Pilot-scale brewing trials using 10–40% unmalted oats revealed that the sensory quality of oat beers improved with increasing adjunct level. In addition, commercially available oat and sorghum flours were implemented into brewing. The use of up to 70% oat flour and 50% sorghum flour, respectively, is not only technically feasible but also economically beneficial. In a further study on sorghum was demonstrated that the optimization of industrial mashing enzymes has great potential for reducing beer production costs. A comparison of the brewing performance of red Italian and white Nigerian sorghum clearly showed that European grown sorghum is suitable for brewing purposes; 40% red sorghum beers were even found to be very low in gluten.

Locating the transnational: representations and aesthetics of the city in contemporary European cinemas

This thesis focuses on two Western European cinematic cities, and two unique periods of their respective nations’ histories, in a bid to “locate” the transnational within a contemporary European milieu. I argue that my geo-cinematic case studies are emblematic of broader questions of the problematics of national identity in contemporary Europe in the face of cross-national flows yet, as a result of their representations as cities both “anchored” and “in flux”, they reject a European postnational identity. Through its engagement with cinematic Rome as the “Eternal City” of Europe and cinematic Dublin as the “newly Europeanised” city, my thesis traces how representations and aesthetics of the urban spaces of these two cities correspond with the tensions at the heart of the respective eras in question. Via the figures that inhabit it, navigate it and search for it, the city is utilised to highlight fixity and mobility, centrality and dislocation, in explicit and implicit ways, amid the rapidly changing landscape of its national terrain. It is through my analyses of the filmed places and sociopolitical, socioeconomic and sociocultural spaces of these capital cities under the rubric of the transnational that this research demonstrates the “pluralities” of the construct in its cinematic manifestations. It is also my aim to evaluate the concept of cinematic transnationalism when identifying and accounting for representations of a specific national, historical timeframe, when the momentousness of the changes that occur is not bound by the national, but rather is reflective of the influence of both domestic and external forces. To this end, my thesis draws attention to instances in which the nation is shown to persist and resist dilution, arguing that it is only against the backdrop and continuity of the nation (in its evershifting guises) that the transnational can be conceived in representative and aesthetic terms.

The calculator as an instrument of validation of mathematical knowledge: a case study (extended version)

En este trabajo se describe detalladamente una experiencia llevada a cabo con profesores de matemáticas en formación, sobre el papel que pueden desarrollar las nuevas tecnologías para llevar a cabo procesos de demostración y prueba en el aula de secundaria.

The Daedalus system: A tool for the Italian investigating magistrate

Daedalus is a computer tool, developed by an Italian magistrate - Carmelo Asaro - and integrated in his own daily routine as an investigating magistrate conducting inquiries, then as a prosecutor if and when the case investigated goes to court. This tool has recently been adopted by magistrates in judiciary offices throughout Italy, spawning moreover other related projects. First, this paper describes a sample session with daedalus. Next, an overview of an array of judicial tools leads to positioning daedalus in the context of the spectrum.

Trade credit linkages along the supply chain: evidence for the Italian textile sector

We examine the trade credit linkages among firms within a supply chain to reckon the effect of such linkages on the propagation of liquidity shocks from downstream to upstream firms. We choose a sample appropriate for this task, consisting of a large data set of Italian firms from the textile industry, a well known example of a comprehensive manufacturing cluster featuring a large number of small and specialized firms at each level of the supply chain. The results of the analysis indicate that the level of trade credit that firms provide to their suppliers is positively related to the level of trade credit granted to their clients: when the level of trade credit granted to clients divided by sales goes up by 1, the level of trade credit provided to suppliers divided by cost-of goods-sold goes up by an amount that varies between 0,22 and 0,52. Since all firms along the chain are linked by trade credit relationships, an increase in the level of trade credit granted by wholesalers generates a liquidity cascade throughout the chain. We designate the overall increase in the level of trade credit among all firms in the chain as a result of a unitary impulse in the level of trade credit granted by wholesalers as the multiplier effect of trade credit for the industry chain. We estimate such multiplier to vary between 1.28 and 2.04. We also investigate the effect of final demand on the level of trade credit sourced by firms at various levels of the chain and, in particular, whether such effect is amplified for firms further up in the chain as a result of liquidity propagation via trade credit linkages. We uncover evidence of such amplification when the links of liquidity transmission along the chain are individually modeled and estimated. An unitary increase in wholesalers’ sales is found to produce an effect on trade payables among firms at the top of the chain (i.e., Preparers and Spinners) that is more than twice as big as the corresponding effect among firms at the bottom of the chain (i.e., Wholesalers).

D10.2 - Research Data Management Plan, version 1.0

This document is the first out of three iterations of the DMP that will be formally delivered during the project. Version 2 is due in month 24 and version 3 towards the end of the project. The DMP thus is not a fixed document; it evolves and gains more precision and substance during the lifespan of the project. In this first version we describe the planned research data sets related to the RAGE evaluation and validation activities, and the fifteen principles that will guide data management in RAGE. The former are described in the format of the EU data management template, and the latter in terms of their guiding principle, how we propose to implement them, and when they will be implemented. This document is thus first of all relevant to WP5 and WP8 members.

An update to the Surface Ocean CO2 Atlas (SOCAT version 2)

The Surface Ocean CO2 Atlas (SOCAT), an activity of the international marine carbon research community, provides access to synthesis and gridded fCO2 (fugacity of carbon dioxide) products for the surface oceans. Version 2 of SOCAT is an update of the previous release (version 1) with more data (increased from 6.3 million to 10.1 million surface water fCO2 values) and extended data coverage (from 1968–2007 to 1968–2011). The quality control criteria, while identical in both versions, have been applied more strictly in version 2 than in version 1. The SOCAT website (http://www.socat.info/) has links to quality control comments, metadata, individual data set files, and synthesis and gridded data products. Interactive online tools allow visitors to explore the richness of the data. Applications ofSOCAT include process studies, quantification of the ocean carbon sink and its spatial, seasonal, year-to-year and longer term variation, as well as initialisation or validation of ocean carbon models and coupled climate-carbon models.