Orthogonal Range Reporting and Rectangle Stabbing for Fat Rectangles

In this paper we study two geometric data structure problems in the special case when input objects or queries are fat rectangles. We show that in this case a significant improvement compared to the general case can be achieved. We describe data structures that answer two- and three-dimensional orthogonal range reporting queries in the case when the query range is a \emph{fat} rectangle. Our two-dimensional data structure uses $O(n)$ words and supports queries in $O(\log\log U +k)$ time, where $n$ is the number of points in the data structure, $U$ is the size of the universe and $k$ is the number of points in the query range. Our three-dimensional data structure needs $O(n\log^{\varepsilon}U)$ words of space and answers queries in $O(\log \log U + k)$ time. We also consider the rectangle stabbing problem on a set of three-dimensional fat rectangles. Our data structure uses $O(n)$ space and answers stabbing queries in $O(\log U\log\log U +k)$ time.Comment: extended version of a WADS'19 pape

Probabilistic Guarantees for Safe Deep Reinforcement Learning

Deep reinforcement learning has been successfully applied to many control tasks, but the application of such agents in safety-critical scenarios has been limited due to safety concerns. Rigorous testing of these controllers is challenging, particularly when they operate in probabilistic environments due to, for example, hardware faults or noisy sensors. We propose MOSAIC, an algorithm for measuring the safety of deep reinforcement learning agents in stochastic settings. Our approach is based on the iterative construction of a formal abstraction of a controller's execution in an environment, and leverages probabilistic model checking of Markov decision processes to produce probabilistic guarantees on safe behaviour over a finite time horizon. It produces bounds on the probability of safe operation of the controller for different initial configurations and identifies regions where correct behaviour can be guaranteed. We implement and evaluate our approach on agents trained for several benchmark control problems

Transmission tree of the highly pathogenic avian influenza (H5N1) epidemic in Israel, 2015

The transmission tree of the Israeli 2015 epidemic of highly pathogenic avian influenza (H5N1) was modelled by combining the spatio-temporal distribution of the outbreaks and the genetic distance between virus isolates. The most likely successions of transmission events were determined and transmission parameters were estimated. It was found that the median infectious pressure exerted at 1 km was 1.59 times (95% CI 1.04, 6.01) and 3.54 times (95% CI 1.09, 131.75) higher than that exerted at 2 and 5 km, respectively, and that three farms were responsible for all seven transmission events. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s13567-016-0393-2) contains supplementary material, which is available to authorized users

Simulation-based analysis of micro-robots swimming at the center and near the wall of circular mini-channels

Swimming micro robots have great potential in biomedical applications such as targeted drug delivery, medical diagnosis, and destroying blood clots in arteries. Inspired by swimming micro organisms, micro robots can move in biofluids with helical tails attached to their bodies. In order to design and navigate micro robots, hydrodynamic characteristics of the flow field must be understood well. This work presents computational fluid dynamics (CFD) modeling and analysis of the flow due to the motion of micro robots that consist of magnetic heads and helical tails inside fluid-filled channels akin to bodily conduits; special emphasis is on the effects of the radial position of the robot. Time-averaged velocities, forces, torques, and efficiency of the micro robots placed in the channels are analyzed as functions of rotation frequency, helical pitch (wavelength) and helical radius (amplitude) of the tail. Results indicate that robots move faster and more efficiently near the wall than at the center of the channel. Forces acting on micro robots are asymmetrical due to the chirality of the robot’s tail and its motion. Moreover, robots placed near the wall have a different flow pattern around the head when compared to in-center and unbounded swimmers. According to simulation results, time-averaged for-ward velocity of the robot agrees well with the experimental values measured previously for a robot with almost the same dimensions

C35 overexpression defines subsets of human breast cancer and its immunoreceptor tyrosine-based activation motif represents a novel treatment target

Publisher PDFPeer reviewe

FITsense: employing multi-modal sensors in smart homes to predict falls.

As people live longer, the increasing average age of the population places additional strains on our health and social services. There are widely recognised benefits to both the individual and society from supporting people to live independently for longer in their own homes. However, falls in particular have been found to be a leading cause of the elderly moving into care, and yet surprisingly preventative approaches are not in place; fall detection and rehabilitation are too late. In this paper we present FITsense, which is building a Smart Home environment to identify increased risk of falls for residents, and so allow timely interventions before falls occurs. An ambient sensor network, installed in the Smart Home, identifies low level events taking place which is analysed to generate a resident’s profile of activities of daily living (ADLs). These ADL profiles are compared to both the resident’s typical profile and to known “risky” profiles to allow evidence-driven intervention recommendations. Human activity recognition to identify ADLs from sensor data is a key challenge. Here we compare a windowing-based and a sequence-based event representation on four existing datasets. We find that windowing works well, giving consistent performance but may lack sufficient granularity for more complex multi-part activities

Macroscopic transport by synthetic molecular machines

Nature uses molecular motors and machines in virtually every significant biological process, but demonstrating that simpler artificial structures operating through the same gross mechanisms can be interfaced with—and perform physical tasks in—the macroscopic world represents a significant hurdle for molecular nanotechnology. Here we describe a wholly synthetic molecular system that converts an external energy source (light) into biased brownian motion to transport a macroscopic cargo and do measurable work. The millimetre-scale directional transport of a liquid on a surface is achieved by using the biased brownian motion of stimuli-responsive rotaxanes (‘molecular shuttles’) to expose or conceal fluoroalkane residues and thereby modify surface tension. The collective operation of a monolayer of the molecular shuttles is sufficient to power the movement of a microlitre droplet of diiodomethane up a twelve-degree incline.

Captive reptile mortality rates in the home and implications for the wildlife trade

The trade in wildlife and keeping of exotic pets is subject to varying levels of national and international regulation and is a topic often attracting controversy. Reptiles are popular exotic pets and comprise a substantial component of the live animal trade. High mortality of traded animals raises welfare concerns, and also has implications for conservation if collection from the wild is required to meet demand. Mortality of reptiles can occur at any stage of the trade chain from collector to consumer. However, there is limited information on mortality rates of reptiles across trade chains, particularly amongst final consumers in the home. We investigated mortality rates of reptiles amongst consumers using a specialised technique for asking sensitive questions, additive Randomised Response Technique (aRRT), as well as direct questioning (DQ). Overall, 3.6% of snakes, chelonians and lizards died within one year of acquisition. Boas and pythons had the lowest reported mortality rates of 1.9% and chameleons had the highest at 28.2%. More than 97% of snakes, 87% of lizards and 69% of chelonians acquired by respondents over five years were reported to be captive bred and results suggest that mortality rates may be lowest for captive bred individuals. Estimates of mortality from aRRT and DQ did not differ significantly which is in line with our findings that respondents did not find questions about reptile mortality to be sensitive. This research suggests that captive reptile mortality in the home is rather low, and identifies those taxa where further effort could be made to reduce mortality rate

UV friendly T-parity in the SU(6)/Sp(6) little Higgs model

Electroweak precision tests put stringent constraints on the parameter space of little Higgs models. Tree-level exchange of TeV scale particles in a generic little Higgs model produce higher dimensional operators that make contributions to electroweak observables that are typically too large. To avoid this problem a discrete symmetry dubbed T-parity can be introduced to forbid the dangerous couplings. However, it was realized that in simple group models such as the littlest Higgs model, the implementation of T-parity in a UV completion could present some challenges. The situation is analogous to the one in QCD where the pion can easily be defined as being odd under a new $Z_2$ symmetry in the chiral Lagrangian, but this $Z_2$ is not a symmetry of the quark Lagrangian. In this paper we examine the possibility of implementing a T-parity in the low energy $SU(6)/Sp(6)$ model that might be easier to realize in the UV. In our model, the T-parity acts on the low energy non-linear sigma model field in way which is different to what was originally proposed for the Littlest Higgs, and lead to a different low energy theory. In particular, the Higgs sector of this model is a inert two Higgs doublets model with an approximate custodial symmetry. We examine the contributions of the various sectors of the model to electroweak precision data, and to the dark matter abundance.Comment: 21 pages,4 figures. Clarifications added, typos corrected and references added. Published in JHE