Pattern-driven security, privacy, dependability and interoperability management of iot environments

Achieving Security, Privacy, Dependability and Interoperability (SPDI) is of paramount importance for the ubiquitous deployment and impact maximization of Internet of Things (IoT) applications. Nevertheless, said requirements are not only difficult to achieve at system initialization, but also hard to prove and maintain at run-time. This paper highlights an approach to tackling the above challenges, through the definition of pattern language and a framework that can guarantee SPDI in IoT orchestrations. By integrating pattern reasoning engines at the various layers of the IoT infrastructure, and a machine-processable representation of said pattern through Drools rules, the proposed framework can provide ways to fulfill SPDI requirements at design time, and also provide the means to guarantee those SPDI properties and manage the orchestrations accordingly. Moreover, an application example of the framework is presented in an Industrial IoT monitoring environment

Engineering prokaryotic gene circuits

Engineering of synthetic gene circuits is a rapidly growing discipline, currently dominated by prokaryotic transcription networks, which can be easily rearranged or rewired to give different output behaviours. In this review, we examine both a rational and a combinatorial design of such networks and discuss progress on using in vitro evolution techniques to obtain functional systems. Moving beyond pure transcription networks, more and more networks are being implemented at the level of RNA, taking advantage of mechanisms of translational control and aptamer–small molecule complex formation. Unlike gene expression systems, metabolic components are generally not as interconnectable in any combination, and so engineering of metabolic circuits is a particularly challenging field. Nonetheless, metabolic engineering has immense potential to provide useful biosynthesis tools for biotechnology applications. Finally, although prokaryotes are mostly studied as single cell systems, cell–cell communication networks are now being developed that result in spatial pattern formation in multicellular prokaryote colonies. This represents a crossover with multicellular organisms, showing that prokaryotic systems have the potential to tackle questions traditionally associated with developmental biology. Overall, the current advances in synthetic gene synthesis, ultra-high-throughput DNA sequencing and computation are synergizing to drive synthetic gene network design at an unprecedented pace

CIRCE: Architectural Patterns for Circular and Trustworthy By-Design IoT Orchestrations

The adoption of Internet of Things (IoT) devices, applications and services gradually transform our everyday lives. In parallel, the transition from linear to circular economic (CE) models provide an even more fertile ground for novel types of services, and the update and enrichment of legacy ones. To fully realize the potential of the interplay between IoT and CE, the design-time definition of IoT orchestrations with proven circularity properties, and the run-time management of these orchestrations based on said properties, is of paramount importance. Nevertheless, the circularity requirements and associated properties are not only difficult to achieve at the IoT orchestration design and deployment initialization phases, but also hard to prove and maintain at run-time. Motivated by this, this paper presents the CIRCE framework for circular and trustworthy by-design IoT orchestrations. The CIRCE approach leverages concepts from pattern-driven engineering, whereby patterns are used to encode proven dependencies between the Location, Condition, and Availability (LCA) properties of individual smart objects and corresponding properties of orchestrations (compositions) involving them. These are augmented by patterns encoding trustworthiness-related properties, namely Connectivity, Security, Privacy, Dependability, and Interoperability (CSPDI). Thereby, these patterns are used to generate IoT orchestrations with proven LCA and CSPDI properties, as needed, at design time. At runtime, these properties are monitored in real-time, leveraging reasoning engines deployed across system layers, triggering adaptations to return the deployed orchestration to the desired LCA and CSPDI states, when required. Details are provided on the above novel combination of IoT, CE and pattern-based engineering, along with a proposed architecture and implementation approach. Furthermore, an assessment of a proof-of-concept implementation is provided, validating the feasibility of the proposed approach

Low thrust propulsion in a coplanar circular restricted four body problem

This paper formulates a circular restricted four body problem (CRFBP), where the three primaries are set in the stable Lagrangian equilateral triangle configuration and the fourth body is massless. The analysis of this autonomous coplanar CRFBP is undertaken, which identies eight natural equilibria; four of which are close to the smaller body, two stable and two unstable, when considering the primaries to be the Sun and two smaller bodies of the solar system. Following this, the model incorporates `near term' low-thrust propulsion capabilities to generate surfaces of articial equilibrium points close to the smaller primary, both in and out of the plane containing the celestial bodies. A stability analysis of these points is carried out and a stable subset of them is identied. Throughout the analysis the Sun-Jupiter-Asteroid-Spacecraft system is used, for conceivable masses of a hypothetical asteroid set at the libration point L4. It is shown that eight bounded orbits exist, which can be maintained with a constant thrust less than 1:5 10􀀀4N for a 1000kg spacecraft. This illustrates that, by exploiting low-thrust technologies, it would be possible to maintain an observation point more than 66% closer to the asteroid than that of a stable natural equilibrium point. The analysis then focusses on a major Jupiter Trojan: the 624-Hektor asteroid. The thrust required to enable close asteroid observation is determined in the simplied CRFBP model. Finally, a numerical simulation of the real Sun-Jupiter-624 Hektor-Spacecraft is undertaken, which tests the validity of the stability analysis of the simplied model

Maritime route of colonization of Europe

The Neolithic populations, which colonized Europe approximately 9,000 y ago, presumably migrated from Near East to Anatolia and from there to Central Europe through Thrace and the Balkans. An alternative route would have been island hopping across the Southern European coast. To test this hypothesis, we analyzed genome-wide DNA polymorphisms on populations bordering the Mediterranean coast and from Anatolia and mainland Europe. We observe a striking structure correlating genes with geography around the Mediterranean Sea with characteristic east to west clines of gene flow. Using population network analysis, we also find that the gene flow from Anatolia to Europe was through Dodecanese, Crete, and the Southern European coast, compatible with the hypothesis that a maritime coastal route was mainly used for the migration of Neolithic farmers to Europe

Atherosclerosis in young Brazilians suffering violent deaths: a pathological study

<p>Abstract</p> <p>Background</p> <p>Atherosclerosis is the leading cause of coronary heart disease and ischemic stroke, which can cause sudden death in adulthood. In general, the clinical manifestations of cardiovascular diseases are caused by atherosclerosis, which is a process that starts during middle age. More recent studies indicate that the atherosclerotic process begins during childhood.</p> <p>Methods</p> <p>To evaluate the extent of atherosclerotic disease in young Brazilians, we conducted a study of the pathological alterations in the major arteries of victims of violent death. Samples of the right carotid artery, left coronary artery, and thoracic aorta of young victims of violent death were analyzed and graded in accordance with the histological atherosclerotic lesion types proposed by the American Heart Association. Samples were collected from 100 individuals who had died from external causes, aged from 12 to 33 years.</p> <p>Results</p> <p>The majority of cases (83%) were male, and 66% of deaths were homicides caused by firearms. The median age was 20.0 years and mean body mass index was 20.9 kg/m². Of the right carotid artery specimens, 3% were normal, 55% had type I, 40% had type II, 1% had type III, and 1% had type IV atherosclerotic lesions. Of the left coronary artery specimens, 5% were normal, 48% had type I, 41% had type II, 3% had type III, and 3% had type IV lesions. Of the thoracic aorta specimens, none were normal, 13% had type I, 64% had type II, 22% had type III, and 1% had type IV lesions. Overall, 97.34% of arteries examined had some degree of atherosclerosis. The most common histological type was type II (foam cells). No thoracic aorta specimens were normal, and the coronary artery specimens had the most atherosclerosis.</p> <p>Conclusions</p> <p>Our results show a high prevalence of atherosclerotic lesions among young people in Brazil. Intervention should be undertaken to decrease the rate of sudden cardiac death in the adult population.</p

Origin and spread of human mitochondrial DNA haplogroup U7

Human mitochondrial DNA haplogroup U is among the initial maternal founders in Southwest Asia and Europe and one that best indicates matrilineal genetic continuity between late Pleistocene hunter-gatherer groups and present-day populations of Europe. While most haplogroup U subclades are older than 30 thousand years, the comparatively recent coalescence time of the extant variation of haplogroup U7 (~16–19 thousand years ago) suggests that its current distribution is the consequence of more recent dispersal events, despite its wide geographical range across Europe, the Near East and South Asia. Here we report 267 new U7 mitogenomes that – analysed alongside 100 published ones – enable us to discern at least two distinct temporal phases of dispersal, both of which most likely emanated from the Near East. The earlier one began prior to the Holocene (~11.5 thousand years ago) towards South Asia, while the later dispersal took place more recently towards Mediterranean Europe during the Neolithic (~8 thousand years ago). These findings imply that the carriers of haplogroup U7 spread to South Asia and Europe before the suggested Bronze Age expansion of Indo-European languages from the Pontic-Caspian Steppe region

Plasticity in amino acid sensing of the chimeric receptor Taz

Taz is a chimeric receptor consisting of the periplasmic, transmembrane and most of the HAMP linker domains of the Escherichia coli aspartate receptor (Tar(Ec)) and the cytoplasmic signalling domain of the E. coli osmosensor EnvZ. Aspartate is one of several attractant ligands normally sensed by Tar and it interacts with Taz to induce OmpR-dependent transcription from the ompC promoter - albeit with reduced sensitivity relative to the chemotactic response it evokes via Tar. By combining Taz with a reporter system that expresses green fluorescent protein (GFP) from the ompC promoter, we were able to examine the interaction of Taz with all 20 natural amino acids. Some amino acids (Leu, Met, Val and Ser) reduced GFP expression, which in the case of leucine is likely attributed to a direct effect on the receptor, rather than an indirect effect through the leucine responsive protein (Lrp). Surprisingly, amino acids like Met and Ser - which are also attractants for Tar -'inhibited' Taz. Moreover, Taz exhibits a higher sensitivity to Leu compared with Asp, which is the inverse of Tar. Our results show the exquisite sensitivity of chemotactic receptors. Small conformational changes induced by making the chimera may have changed the way it responds to different amino acids