Morphology control in polymerized high internal phase emulsion templated via macro-RAFT agent composition: visualizing surface chemistry

A series of polymerized high internal phase emulsion (polyHIPE) materials have been prepared by using a water in oil emulsion stabilized by a macro-RAFT agent, 2-(butylthiocarbonothioylthio)-2-poly(styrene)-b-poly(acrylic acid), acting as a polymeric surfactant. The pore structures of the formed polyHIPEs were closed. By removing the RAFT-endgroup of the amphiphilic macro-RAFT agent, the obtained polyHIPEs possessed an open structure with voids. The effect of the RAFT-endgroup of the amphiphilic macro-RAFT agent on the surface chemistry of the polyHIPEs is discussed. The obtained polyHIPEs via this surfactant-assisted functionalization strategies were characterized by FTIR spectroscopy, FTIR mapping, SEM, SEM-EDX, TEM, XPS as well as synchrotron-based scanning transmission X-ray microscopy (STXM). The latter technique revealed the surface chemistry of the obtained polyHIPEs and macro-RAFT agent multicomponents with a surface spatial resolution of the order of 30–100 nm.A. Khodabandeh, R. D. Arrua, B. R. Coad, T. Rodemann, T. Ohigashi, N. Kosugi, S. C. Thickett and E. F. Hilde

The 'law of requisite variety' may assist climate change negotiations:a review of the Kyoto and Durban meetings

Ashby wrote about cybernetics, during which discourse he described a Law that attempts to resolve difficulties arising in complex situations – he suggested using variety to combat complexity. In this paper, we note that the delegates to the UN Framework Convention on Climate Change (UNFCCC) meeting in Kyoto, 1997, were offered a ‘simplifying solution’ to cope with the complexity of discussing multiple pollutants allegedly contributing to ‘climate change’. We assert that the adoption of CO2eq has resulted in imprecise thinking regarding the ‘carbon footprint’ – that is, ‘CO2’ – to the exclusion of other pollutants. We propose, as Ashby might have done, that the CO2eq and other factors within the ‘climate change’ negotiations be disaggregated to allow careful and specific individual solutions to be agreed on each factor. We propose a new permanent and transparent ‘action group’ be in charge of agenda setting and to manage the messy annual meetings. This body would be responsible for achieving accords at these annual meetings, rather than forcing this task on national hosts. We acknowledge the task is daunting and we recommend moving on from Ashby's Law to Beer's Viable Systems approach

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

State-machine based notations are ubiquitous in the description of component systems, particularly in the robotic domain. To ensure these systems are safe and predictable, formal verification techniques are important, and can be cost-effective if they are both automated and scalable. In this paper, we present a verification approach for a diagrammatic state machine language that utilises theorem proving and a denotational semantics based on Unifying Theories of Programming (UTP). We provide the necessary theory to underpin state machines (including induction theorems for iterative processes), mechanise an action language for states and transitions, and use these to formalise the semantics. We then describe the verification approach, which supports infinite state systems, and exemplify it with a fully automated deadlock-freedom check. The work has been mechanised in our proof tool, Isabelle/UTP, and so also illustrates the use of UTP to build practical verification tools.Comment: 18 pages, 16th Intl. Conf. on Formal Aspects of Component Software (FACS 2018), October 2018, Pohang, South Kore

The decline and rise of neighbourhoods: the importance of neighbourhood governance

There is a substantial literature on the explanation of neighbourhood change. Most of this literature concentrates on identifying factors and developments behind processes of decline. This paper reviews the literature, focusing on the identification of patterns of neighbourhood change, and argues that the concept of neighbourhood governance is a missing link in attempts to explain these patterns. Including neighbourhood governance in the explanations of neighbourhood change and decline will produce better explanatory models and, finally, a better view about what is actually steering neighbourhood change

Tomato: a crop species amenable to improvement by cellular and molecular methods

Tomato is a crop plant with a relatively small DNA content per haploid genome and a well developed genetics. Plant regeneration from explants and protoplasts is feasable which led to the development of efficient transformation procedures. In view of the current data, the isolation of useful mutants at the cellular level probably will be of limited value in the genetic improvement of tomato. Protoplast fusion may lead to novel combinations of organelle and nuclear DNA (cybrids), whereas this technique also provides a means of introducing genetic information from alien species into tomato. Important developments have come from molecular approaches. Following the construction of an RFLP map, these RFLP markers can be used in tomato to tag quantitative traits bred in from related species. Both RFLP's and transposons are in the process of being used to clone desired genes for which no gene products are known. Cloned genes can be introduced and potentially improve specific properties of tomato especially those controlled by single genes. Recent results suggest that, in principle, phenotypic mutants can be created for cloned and characterized genes and will prove their value in further improving the cultivated tomato.

Deep reinforcement learning for drone navigation using sensor data

Mobile robots such as unmanned aerial vehicles (drones) can be used for surveillance, monitoring and data collection in buildings, infrastructure and environments. The importance of accurate and multifaceted monitoring is well known to identify problems early and prevent them escalating. This motivates the need for flexible, autonomous and powerful decision-making mobile robots. These systems need to be able to learn through fusing data from multiple sources. Until very recently, they have been task specific. In this paper, we describe a generic navigation algorithm that uses data from sensors on-board the drone to guide the drone to the site of the problem. In hazardous and safety-critical situations, locating problems accurately and rapidly is vital. We use the proximal policy optimisation deep reinforcement learning algorithm coupled with incremental curriculum learning and long short-term memory neural networks to implement our generic and adaptable navigation algorithm. We evaluate different configurations against a heuristic technique to demonstrate its accuracy and efficiency. Finally, we consider how safety of the drone could be assured by assessing how safely the drone would perform using our navigation algorithm in real-world scenarios

IT controls in the public cloud : success factors for allocation of roles and responsibilities

The rapid adoption of cloud computing by organizations has resulted in the transformation of the roles and responsibilities of staff in managing the information technology (IT) resources (via IT governance controls) that have migrated to the cloud. Hence, the objective of this research is to provide a set of success factors that can assist IT managers to allocate the roles and responsibilities of IT controls appropriately to staff to manage the migrated IT resources. Accordingly, we generated a set of success factors from behavioral and information systems (IS) literature. These success factors were verified using in-depth interviews of executives from the United Arab Emirates (UAE). The empirical intervention suggests that the role allocation is driven predominantly by people’s skills, competencies, organizational strategy, structures, and policies. In addition, the research made clear that the most significant competency and skill for a person allocated to IT controls is to be able to evaluate and manage a cloud service provider, especially in terms of risks, compliance, and security issues related to public cloud technology. The findings of this study not only offer new insights for scholars and practitioners involved in assigning responsibilities but also provide extensions for IT governance framework authorities to align their guidelines to the emerging cloud technology

Transgenic avidin maize is resistant to storage insect pests

Avidin is a glycoprotein found in chicken egg white, that sequesters the vitamin biotin. Here we show that when present in maize at levels of ≥100 p.p.m., avidin is toxic to and prevents development of insects that damage grains during storage. Insect toxicity is caused by a biotin deficiency, as shown by prevention of toxicity with biotin supplementation. The avidin maize is not, however, toxic to mice when administered as the sole component of their diet for 21 days. These data suggest that avidin expression in food or feed grain crops can be used as a biopesticide against a spectrum of stored-product insect pests

Defining the Functional Domain of Programmed Cell Death 10 through Its Interactions with Phosphatidylinositol-3,4,5-Trisphosphate

Cerebral cavernous malformations (CCM) are vascular abnormalities of the central nervous system predisposing blood vessels to leakage, leading to hemorrhagic stroke. Three genes, Krit1 (CCM1), OSM (CCM2), and PDCD10 (CCM3) are involved in CCM development. PDCD10 binds specifically to PtdIns(3,4,5)P3 and OSM. Using threading analysis and multi-template modeling, we constructed a three-dimensional model of PDCD10. PDCD10 appears to be a six-helical-bundle protein formed by two heptad-repeat-hairpin structures (α1–3 and α4–6) sharing the closest 3D homology with the bacterial phosphate transporter, PhoU. We identified a stretch of five lysines forming an amphipathic helix, a potential PtdIns(3,4,5)P3 binding site, in the α5 helix. We generated a recombinant wild-type (WT) and three PDCD10 mutants that have two (Δ2KA), three (Δ3KA), and five (Δ5KA) K to A mutations. Δ2KA and Δ3KA mutants hypothetically lack binding residues to PtdIns(3,4,5)P3 at the beginning and the end of predicted helix, while Δ5KA completely lacks all predicted binding residues. The WT, Δ2KA, and Δ3KA mutants maintain their binding to PtdIns(3,4,5)P3. Only the Δ5KA abolishes binding to PtdIns(3,4,5)P3. Both Δ5KA and WT show similar secondary and tertiary structures; however, Δ5KA does not bind to OSM. When WT and Δ5KA are co-expressed with membrane-bound constitutively-active PI3 kinase (p110-CAAX), the majority of the WT is co-localized with p110-CAAX at the plasma membrane where PtdIns(3,4,5)P3 is presumably abundant. In contrast, the Δ5KA remains in the cytoplasm and is not present in the plasma membrane. Combining computational modeling and biological data, we propose that the CCM protein complex functions in the PI3K signaling pathway through the interaction between PDCD10 and PtdIns(3,4,5)P3