Generalized Arago-Fresnel laws: The EME-flow-line description

We study experimentally and theoretically the influence of light polarization on the interference patterns behind a diffracting grating. Different states of polarization and configurations are been considered. The experiments are analyzed in terms of electromagnetic energy (EME) flow lines, which can be eventually identified with the paths followed by photons. This gives rise to a novel trajectory interpretation of the Arago-Fresnel laws for polarized light, which we compare with interpretations based on the concept of "which-way" (or "which-slit") information.Comment: 14 pages, 6 figure

Advances in surface EMG signal simulation with analytical and numerical descriptions of the volume conductor

Surface electromyographic (EMG) signal modeling is important for signal interpretation, testing of processing algorithms, detection system design, and didactic purposes. Various surface EMG signal models have been proposed in the literature. In this study we focus on 1) the proposal of a method for modeling surface EMG signals by either analytical or numerical descriptions of the volume conductor for space-invariant systems, and 2) the development of advanced models of the volume conductor by numerical approaches, accurately describing not only the volume conductor geometry, as mainly done in the past, but also the conductivity tensor of the muscle tissue. For volume conductors that are space-invariant in the direction of source propagation, the surface potentials generated by any source can be computed by one-dimensional convolutions, once the volume conductor transfer function is derived (analytically or numerically). Conversely, more complex volume conductors require a complete numerical approach. In a numerical approach, the conductivity tensor of the muscle tissue should be matched with the fiber orientation. In some cases (e.g., multi-pinnate muscles) accurate description of the conductivity tensor may be very complex. A method for relating the conductivity tensor of the muscle tissue, to be used in a numerical approach, to the curve describing the muscle fibers is presented and applied to representatively investigate a bi-pinnate muscle with rectilinear and curvilinear fibers. The study thus propose an approach for surface EMG signal simulation in space invariant systems as well as new models of the volume conductor using numerical methods

Learning the Repair Urgency for a Decision Support System for Tunnel Maintenance

The transport network in many countries relies on extended portions which run underground in tunnels. As tunnels age, repairs are required to prevent dangerous collapses. However repairs are expensive and will affect the operational efficiency of the tunnel. We present a decision support system (DSS) based on supervised machine learning methods that learns to predict the risk factor and the resulting repair urgency in the tunnel maintenance planning of a European national rail operator. The data on which the prototype has been built consists of 47 tunnels of varying lengths. For each tunnel, periodic survey inspection data is available for multiple years, as well as other data such as the method of construction of the tunnel. Expert annotations are also available for each 10m tunnel segment for each survey as to the degree of repair urgency which are used for both training and model evaluation. We show that good predictive power can be obtained and discuss the relative merits of a number of learning methods

Exact Solution of the Isovector Proton Neutron Pairing Hamiltonian

The complete exact solution of the T=1 neutron-proton pairing Hamiltonian is presented in the context of the SO(5) Richardson-Gaudin model with non-degenerate single-particle levels and including isospin-symmetry breaking terms. The power of the method is illustrated with a numerical calculation for $^{64}$Ge for a $pf+g_{9/2}$ model space which is out of reach of modern shell-model codes.Comment: To be published by Physical Review Letter

Information entropy as a measure of the quality of a nuclear density distribution

The information entropy of a nuclear density distribution is calculated for a number of nuclei. Various phenomenological models for the density distribution using different geometry are employed. Nuclear densities calculated within various microscopic mean field approaches are also employed. It turns out that the entropy increases on going from crude phenomenological models to more sophisticated (microscopic) ones. It is concluded that the larger the information entropy, the better the quality of the nuclear density distribution. An alternative approach is also examined: the net information content i.e. the sum of information entropies in position and momentum space $S_{r}+S_{k}$. It is indicated that $S_{r}+S_{k}$ is a maximum, when the best fit to experimental data of the density and momentum distributions is attained.Comment: 12 pages, LaTex, no figures, Int. J. of Mod. Phys. E in pres

An Ontology of Soil Properties and Processes

Assessing the Underworld (ATU) is a large interdisciplinary UK research project, which addresses challenges in integrated inter-asset maintenance. As assets on the surface of the ground (e.g. roads or pave- ments) and those buried under it (e.g. pipes and cables) are supported by the ground, the properties and processes of soil a ect the performance of these assets to a signi cant degree. In order to make integrated deci- sions, it is necessary to combine the knowledge and expertise in multiple areas, such as roads, soil, buried assets, sensing, etc. This requires an underpinning knowledge model, in the form of an ontology. Within this context, we present a new ontology for describing soil properties (e.g. soil strength) and processes (e.g. soil compaction), as well as how they a ect each other. This ontology can be used to express how the ground a ects and is a ected by assets buried under the ground or on the ground surface. The ontology is written in OWL 2 and openly available from the University of Leeds data repository: http://doi.org/10.5518/54

What am I not seeing? An Interactive Approach to Social Content Discovery in Microblogs

In this paper, we focus on the informational and user experience benefits of user-driven topic exploration in microblog communities, such as Twitter, in an inspectable, controllable and personalized manner. To this end, we introduce ``HopTopics'' -- a novel interactive tool for exploring content that is popular just beyond a user's typical information horizon in a microblog, as defined by the network of individuals that they are connected to. We present results of a user study (N=122) to evaluate HopTopics with varying complexity against a typical microblog feed in both personalized and non-personalized conditions. Results show that the HopTopics system, leveraging content from both the direct and extended network of a user, succeeds in giving users a better sense of control and transparency. Moreover, participants had a poor mental model for the degree of novel content discovered when presented with non-personalized data in the Inspectable interface

Temporal Stream Logic: Synthesis beyond the Bools

Reactive systems that operate in environments with complex data, such as mobile apps or embedded controllers with many sensors, are difficult to synthesize. Synthesis tools usually fail for such systems because the state space resulting from the discretization of the data is too large. We introduce TSL, a new temporal logic that separates control and data. We provide a CEGAR-based synthesis approach for the construction of implementations that are guaranteed to satisfy a TSL specification for all possible instantiations of the data processing functions. TSL provides an attractive trade-off for synthesis. On the one hand, synthesis from TSL, unlike synthesis from standard temporal logics, is undecidable in general. On the other hand, however, synthesis from TSL is scalable, because it is independent of the complexity of the handled data. Among other benchmarks, we have successfully synthesized a music player Android app and a controller for an autonomous vehicle in the Open Race Car Simulator (TORCS.

Multiband optical variability of the blazar OJ 287 during its outbursts in 2015 -- 2016

We present recent optical photometric observations of the blazar OJ 287 taken during September 2015 -- May 2016. Our intense observations of the blazar started in November 2015 and continued until May 2016 and included detection of the large optical outburst in December 2016 that was predicted using the binary black hole model for OJ 287. For our observing campaign, we used a total of 9 ground based optical telescopes of which one is in Japan, one is in India, three are in Bulgaria, one is in Serbia, one is in Georgia, and two are in the USA. These observations were carried out in 102 nights with a total of ~ 1000 image frames in BVRI bands, though the majority were in the R band. We detected a second comparably strong flare in March 2016. In addition, we investigated multi-band flux variations, colour variations, and spectral changes in the blazar on diverse timescales as they are useful in understanding the emission mechanisms. We briefly discuss the possible physical mechanisms most likely responsible for the observed flux, colour and spectral variability.Comment: 11 pages, 6 figures, 4 tables; Accepted for publication in MNRA