SDL - The IoT Language

Interconnected smart devices constitute a large and rapidly growing element of the contemporary Internet. A smart thing can be as simple as a web-enabled device that collects and transmits sensor data to a repository for analysis, or as complex as a web-enabled system to monitor and manage a smart home. Smart things present marvellous opportunities, but when they participate in complex systems, they challenge our ability to manage risk and ensure reliability. SDL, the ITU Standard Specification and Description Language, provides many advantages for modelling and simulating communicating agents – such as smart things – before they are deployed. The potential for SDL to enhance reliability and safety is explored with respect to existing smart things below. But SDL must advance if it is to become the language of choice for developing the next generation of smart things. In particular, it must target emerging IoT platforms, it must support simulation of interactions between pre-existing smart things and new smart things, and it must facilitate deployment of large numbers of similar things. Moreover, awareness of the potential benefits of SDL must be raised if those benefits are to be realized in the current and future Internet of Things.Peer ReviewedPostprint (published version

Infrared Spectroscopy of Fluorenyl Cations at Cryogenic Temperatures

The notion of (anti)aromaticity is a successful concept in chemistry to explain the structure and stability of polycyclic hydrocarbons. Cyclopentadienyl and fluorenyl cations are among the most studied classical antiaromatic systems. In this work, fluorenyl cations are investigated by high-resolution gas-phase infrared spectroscopy in helium droplets. Bare fluorenyl cations are generated in the gas phase by electrospray ionization. After mass-to-charge selection, ions are captured in ultracold helium nanodroplets and probed by infrared spectroscopy using a widely tunable free-electron laser in the 600–1700 cm–1 range. The highly resolved cryogenic infrared spectra confirm, in combination with DFT computations, that all cations are present in their singlet states

The Chicken Yolk Sac IgY Receptor, a Mammalian Mannose Receptor Family Member, Transcytoses IgY across Polarized Epithelial Cells

In mammals the transfer of passive immunity from mother to young is mediated by the MHC-related receptor FcRn, which transports maternal IgG across epithelial cell barriers. In birds, maternal IgY in egg yolk is transferred across the yolk sac to passively immunize chicks during gestation and early independent life. The chicken yolk sac IgY receptor (FcRY) is the ortholog of the mammalian phospholipase A2 receptor, a mannose receptor family member, rather than an FcRn or MHC homolog. FcRn and FcRY both exhibit ligand binding at the acidic pH of endosomes and ligand release at the slightly basic pH of blood. Here we show that FcRY expressed in polarized mammalian epithelial cells functioned in endocytosis, bidirectional transcytosis, and recycling of chicken FcY/IgY. Confocal immunofluorescence studies demonstrated that IgY binding and endocytosis occurred at acidic but not basic pH, mimicking pH-dependent uptake of IgG by FcRn. Colocalization studies showed FcRY-mediated internalization via clathrin-coated pits and transport involving early and recycling endosomes. Disruption of microtubules partially inhibited apical-to-basolateral and basolateral-to-apical transcytosis, but not recycling, suggesting the use of different trafficking machinery. Our results represent the first cell biological evidence of functional equivalence between FcRY and FcRn and provide an intriguing example of how evolution can give rise to systems in which similar biological requirements in different species are satisfied utilizing distinct protein folds

Binary separation in very thin nematic films: thickness and phase coexistence

The behavior as a function of temperature of very thin films (10 to 200 nm) of pentylcyanobiphenyl (5CB) on silicon substrates is reported. In the vicinity of the nematic/isotropic transition we observe a coexistence of two regions of different thicknesses: thick regions are in the nematic state while thin ones are in the isotropic state. Moreover, the transition temperature is shifted downward following a 1/h^2 law (h is the film thickness). Microscope observations and small angle X-ray scattering allowed us to draw a phase diagram which is explained in terms of a binary first order phase transition where thickness plays the role of an order parameter.Comment: 5 pages, 3 figures, submitted to PRL on the 26th of Apri

Discrete Variational Optimal Control

This paper develops numerical methods for optimal control of mechanical systems in the Lagrangian setting. It extends the theory of discrete mechanics to enable the solutions of optimal control problems through the discretization of variational principles. The key point is to solve the optimal control problem as a variational integrator of a specially constructed higher-dimensional system. The developed framework applies to systems on tangent bundles, Lie groups, underactuated and nonholonomic systems with symmetries, and can approximate either smooth or discontinuous control inputs. The resulting methods inherit the preservation properties of variational integrators and result in numerically robust and easily implementable algorithms. Several theoretical and a practical examples, e.g. the control of an underwater vehicle, will illustrate the application of the proposed approach.Comment: 30 pages, 6 figure

Dendritic cell-specific deletion of β-catenin results in fewer regulatory T-cells without exacerbating autoimmune collagen-induced arthritis

Dendritic cells (DCs) are professional antigen presenting cells that have the dual ability to stimulate immunity and maintain tolerance. However, the signalling pathways mediating tolerogenic DC function in vivo remain largely unknown. The β-catenin pathway has been suggested to promote a regulatory DC phenotype. The aim of this study was to unravel the role of β-catenin signalling to control DC function in the autoimmune collagen-induced arthritis model (CIA). Deletion of β-catenin specifically in DCs was achieved by crossing conditional knockout mice with a CD11c-Cre transgen

Widespread sex differences in gene expression and splicing in the adult human brain

There is strong evidence to show that men and women differ in terms of neurodevelopment, neurochemistry and susceptibility to neurodegenerative and neuropsychiatric disease. The molecular basis of these differences remains unclear. Progress in this field has been hampered by the lack of genome-wide information on sex differences in gene expression and in particular splicing in the human brain. Here we address this issue by using post-mortem adult human brain and spinal cord samples originating from 137 neuropathologically confirmed control individuals to study whole-genome gene expression and splicing in 12 CNS regions. We show that sex differences in gene expression and splicing are widespread in adult human brain, being detectable in all major brain regions and involving 2.5% of all expressed genes. We give examples of genes where sex-biased expression is both disease-relevant and likely to have functional consequences, and provide evidence suggesting that sex biases in expression may reflect sex-biased gene regulatory structures