On rigorous transaction scheduling

The class of transaction scheduling mechanisms in which the transaction serialization order can be determined by controlling their commitment order, is defined. This class of transaction management mechanisms is important, because it simplifies transaction management in a multidatabase system environment. The notion of analogous execution and serialization orders of transactions is defined and the concept of strongly recoverable and rigorous execution schedules is introduced. It is then proven that rigorous schedulers always produce analogous execution and serialization orders. It is shown that the systems using the rigorous scheduling can be naturally incorporated in hierarchical transaction management mechanisms. It is proven that several previously proposed multidatabase transaction management mechanisms guarantee global serializability only if all participating databases systems produce rigorous schedules     

Two-year results after lung volume reduction surgery in alpha1-antitrypsin deficiency versus smoker's emphysema

Lung volume reduction surgery (LVRS) improves exercise capacity and relieves dyspnoea in patients with smoker's emphysema (SE). It is unclear, however, whether LVRS similarly improves lung function in alpha1-antitrypsin-deficiency emphysema (alpha1 E). To address this question, this study prospectively compared the intermediate-term functional outcome in 12 consecutive patients with advanced alpha1E and 18 patients with SE who underwent bilateral LVRS. Before surgery there were no statistically significant differences between the two groups in the six-minute walking distance, dyspnoea score, respiratory mechanics or lung function data, except for the forced expiratory volume in one second, which was lower in the deficient group (24 versus 31% of the predicted value; p<0.05). In both groups, bilateral LRVS produced significant improvements in dyspnoea, the six-minute walking distance, lung function and respiratory mechanics. In the alpha1E group, the functional data, with the exception of the six-minute walking distance, returned to baseline at 6-12 months postoperation and showed further deterioration at 24 months. The functional status of the SE group remained significantly improved over this period. In conclusion, the functional improvements resulting from bilateral lung volume reduction surgery are sustained for at least 2 yrs in most patients with smoker's emphysema, but this type of surgery offers only short-term benefits for most patients with alpha1E.     

An Engineered sgsh Mutant Zebrafish Recapitulates Molecular and Behavioural Pathobiology of Sanfilippo Syndrome A/MPS IIIA

Mucopolysaccharidosis IIIA (MPS IIIA, Sanfilippo syndrome type A), a paediatric neurological lysosomal storage disease, is caused by impaired function of the enzyme N-sulfoglucosamine sulfohydrolase (SGSH) resulting in impaired catabolism of heparan sulfate glycosaminoglycan (HS GAG) and its accumulation in tissues. MPS IIIA represents a significant proportion of childhood dementias. This condition generally leads to patient death in the teenage years, yet no effective therapy exists for MPS IIIA and a complete understanding of the mechanisms of MPS IIIA pathogenesis is lacking. Here, we employ targeted CRISPR/Cas9 mutagenesis to generate a model of MPS IIIA in the zebrafish, a model organism with strong genetic tractability and amenity for high-throughput screening. The sgsh^Δex5−6 zebrafish mutant exhibits a complete absence of Sgsh enzymatic activity, leading to progressive accumulation of HS degradation products with age. sgsh^Δex5−6 zebrafish faithfully recapitulate diverse CNS-specific features of MPS IIIA, including neuronal lysosomal overabundance, complex behavioural phenotypes, and profound, lifelong neuroinflammation. We further demonstrate that neuroinflammation in sgsh^Δex5−6 zebrafish is largely dependent on interleukin-1β and can be attenuated via the pharmacological inhibition of Caspase-1, which partially rescues behavioural abnormalities in sgsh^Δex5−6 mutant larvae in a context-dependent manner. We expect the sgsh^Δex5−6 zebrafish mutant to be a valuable resource in gaining a better understanding of MPS IIIA pathobiology towards the development of timely and effective therapeutic interventions.     

A formally specified ontology management API as a registry for ubiquitous computing systems

Recently, several standards have emerged for ontology markup languages that can be used to formalize all kinds of knowledge. However, there are no widely accepted standards yet that define APIs to manage ontological data. Processing ontological information still suffers from the heterogeneity imposed by the plethora of available ontology management systems. Moreover, ubiquitous computing environments usually comprise software components written in a variety of different programming languages, which makes it particularly difficult to establish a common ontology management API with programming language agnostic semantics. We implemented an ontological Knowledge Base Server, which can expose the functionality of arbitrary off-the-shelf ontology management systems via a formally specified and well defined API. A case study was carried out in order to demonstrate the feasibility of our approach to use a formally specified ontology management API to implement a registry for ubiquitous computing systems.     

PoweRGen: A power-law based generator of RDFS schemas

As the amount of RDF datasets available on the Web has grown significantly over the last years, scalability and performance of Semantic Web (SW) systems are gaining importance. Current RDF benchmarking efforts either consider schema-less RDF datasets or rely on fixed RDFS schemas. In this paper, we present the first RDFS schema generator, termed PoweRGen, which takes into account the features exhibited by real SW schemas. It considers the power-law functions involved in (a) the combined in- and out-degree distribution of the property graph (which captures the domains and ranges of the properties defined in a schema) and (b) the out-degree distribution of the transitive closure (TC) of the subsumption graph (which essentially captures the class hierarchy). The synthetic schemas generated by PoweRGen respect the power-law functions given as input with an accuracy ranging between 89 and 96%, as well as, various morphological characteristics regarding the subsumption hierarchy depth, structure, etc.     

Symbiosis with artificial intelligence via the prism of law,robots, and society

The rapid advances in Artificial Intelligence and Robotics will have a profound impact on society as they will interfere with the people and their interactions. Intelligent autonomous robots, independent if they are humanoid/anthropomorphic or not, will have a physical presence, make autonomous decisions, and interact with all stakeholders in the society, in yet unforeseen manners. The symbiosis with such sophisticated robots may lead to a fundamental civilizational shift, with far-reaching effects as philosophical, legal, and societal questions on consciousness, citizenship, rights, and legal entity of robots are raised. The aim of this work is to understand the broad scope of potential issues pertaining to law and society through the investigation of the interplay of law, robots, and society via different angles such as law, social, economic, gender, and ethical perspectives. The results make it evident that in an era of symbiosis with intelligent autonomous robots, the law systems, as well as society, are not prepared for their prevalence. Therefore, it is now the time to start a multi-disciplinary stakeholder discussion and derive the necessary policies, frameworks, and roadmaps for the most eminent issues.

     

Star-like auto-configurable layouts of variable radius for visualizing and exploring RDF/S ontologies

The visualization of ontologies is a challenging task especially if they are large. In this paper we propose a visualization approach which is based on star-like graphs of variable radius which enables users to gradually explore and navigate through the entire ontology without overloading them. The star-like graphs are visualized using a Force Directed Placement algorithm (FDP) specially suited for RDF schemas whose configuration parameters can be adjusted interactively by the end-user via an intuitive on-screen tool bar. In addition, and since each star-like graph exhibits different graph features, we propose a novel automatic configuration method for the FDP algorithm parameters that is based on a number of quality metrics (area density and verticality of subclass hierarchies) and corresponding corrective actions. The experimental evaluation showed the quality of the yielded layout is significantly improved and the proposed approach is acceptably fast for real-time exploration. The user study showed that users prefer these views and perform various very common tasks faster.     

Urban environment thermal improvement by the bioclimatic simulation of a populated open urban space in Greece

Urban neighbourhoods and open spaces are strongly related to bioclimatic techniques and practices. The procedure of a bioclimatic study is presented by the use of simulation tools. Routes linking archaeological monuments in the Greek city of Arta are characterised of decreased human thermal comfort conditions during summer time. The employment of computational fluid dynamics has contributed to the understanding of what interventions should be made at the urban populated routes in order to succeed the defined environmental thermal-related targets. The proposed rehabilitation explains what the interventions would contribute to the improvement of the local environment.     

Quality attributes of farmed eel (Anguilla anguilla) stored under air, vacuum and modified atmosphere packaging at 0 degrees C

The shelf life of fresh eel in various packaging conditions of atmospheric air, vacuum and modified atmosphere packaging (MAP) (40% CO(2), 30% N(2) and 30% O(2)) at 0 degrees C was investigated. All raw eel samples received acceptable sensory scores during the first 11+/-1 days of storage in atmospheric air, 11+/-1 days of storage in vacuum and finally 18+/-1 days of storage in MAP conditions. Using the microbial quality indicators the shelf life of eel packed in air, vacuum and MAP was estimated to be more than 18, 28 and 34 days, respectively. The main spoilage microorganisms under MAP conditions were lactic acid producing bacteria followed by Shewanella spp., pseudomonads, Enterobacteriaceae and yeasts. Chemical data revealed that pH, ammonia, glucose and lactate examinations might not be useful for monitoring eel quality differences.     

Avoiding Conversion and Rearrangement Overhead in SIMD Architectures

Single-Instruction Multiple-Data (SIMD) instructions provide an inexpensive way to exploit the Data-Level Parallelism in multimedia applications. However, the performance improvement obtained by employing SIMD instructions is often limited because frequently many overhead instructions are required to bring data in a form amenable to SIMD processing. In this paper, we employ two techniques to overcome this limitation. The first technique, extended subwords, uses four extra bits for every byte in a media register. This allows many SIMD operations to be performed without overflow and avoids packing/unpacking conversion overhead. The second technique, Matrix Register File (MRF), allows flexible row-wise as well as column-wise access to the register file. It is useful for many two-dimensional multimedia algorithms such as the (I) Discrete Cosine Transform, 2 × 2 Haar Transform, and pixel padding. In addition, we propose a few new media instructions. Experimental results obtained by extending the SimpleScalar toolset show that these techniques improve performance by up to a factor of 4.5 compared to a conventional SIMD instruction set extension.