Expressive Stream Reasoning with Laser

An increasing number of use cases require a timely extraction of non-trivial knowledge from semantically annotated data streams, especially on the Web and for the Internet of Things (IoT). Often, this extraction requires expressive reasoning, which is challenging to compute on large streams. We propose Laser, a new reasoner that supports a pragmatic, non-trivial fragment of the logic LARS which extends Answer Set Programming (ASP) for streams. At its core, Laser implements a novel evaluation procedure which annotates formulae to avoid the re-computation of duplicates at multiple time points. This procedure, combined with a judicious implementation of the LARS operators, is responsible for significantly better runtimes than the ones of other state-of-the-art systems like C-SPARQL and CQELS, or an implementation of LARS which runs on the ASP solver Clingo. This enables the application of expressive logic-based reasoning to large streams and opens the door to a wider range of stream reasoning use cases.Comment: 19 pages, 5 figures. Extended version of accepted paper at ISWC 201

Electric Dipole moments of charged leptons and lepton flavor violating interactions in the general two Higgs Doublet model

We calculate the electric dipole moment of electron using the experimental result of muon electric dipole moment and upper limit of the BR(\mu --> e\gamma) in the framework of the general two Higgs doublet model. Our prediction is 10^{-32} e-cm, which lies in the experimental current limits. Further, we obtain constraints for the Yukawa couplings \bar{\xi}^{D}_{N,\tau e} and \bar{\xi}^{D}_{N,\tau\mu}. Finally we present an expression which connects the BR(\tau\to \mu\gamma) and the electric dipole moment of \tau-lepton and study the relation between these physical quantities.Comment: 8 pages, 4 Figures (required epsf sty

Spectral function at high missing energies and momenta

The nuclear spectral function at high missing energies and momenta has been determined from a self-consistent calculation of the Green's function in nuclear matter using realistic nucleon-nucleon interactions. The results are compared with recent experimental data derived from ($e,e'p$) reactions on $^{12}C$. A rather good agreement is obtained if the Green's functions are calculated in a non-perturbative way.Comment: 10 pages, 3 figure

Bipartite Bell inequalities for hyperentangled states

We show that bipartite Bell inequalities based on the Einstein-Podolsky-Rosen criterion for elements of reality and derived from the properties of some hyperentangled states allow feasible experimental verifications of the fact that quantum nonlocality grows exponentially with the size of the subsystems, and Bell loophole-free tests with currently available photodetection efficiencies.Comment: REVTeX4, 5 page

Radii and binding energies in oxygen isotopes: a puzzle for nuclear forces

We present a systematic study of both nuclear radii and binding energies in (even) oxygen isotopes from the valley of stability to the neutron drip line. Both charge and matter radii are compared to state-of-the-art {\it ab initio} calculations along with binding energy systematics. Experimental matter radii are obtained through a complete evaluation of the available elastic proton scattering data of oxygen isotopes. We show that, in spite of a good reproduction of binding energies, {\it ab initio} calculations with conventional nuclear interactions derived within chiral effective field theory fail to provide a realistic description of charge and matter radii. A novel version of two- and three-nucleon forces leads to considerable improvement of the simultaneous description of the three observables for stable isotopes, but shows deficiencies for the most neutron-rich systems. Thus, crucial challenges related to the development of nuclear interactions remain.Comment: 6 pages, 5 figures, Submitted to Nature Physics, April 12th 2016; first version (v1 Arxiv) Internal Report Preprint Irfu-18 December 2015. 6 p., 5 fig., Submitted to Physical Review Letters, April 29, May 3rd 2016; 2nd version. Int. Rep. Irfu-24 May 2016. Published in PRL, 27 July 2016 with the modified title (Radii and binding energies in oxygen isotopes: a challenge for nuclear forces

Corrosion behavior of dental implants immersed into human saliva: Preliminary results of an in vitro study

Over the years, dif- ferent implant surfaces have been used to try to maximize bone to implant contact. The aim of this study was to compare levels of metallic ions and particles dissolution collected from two dif- ferent dental implants surfaces immersed into human saliva. PATIENTS AND METHODS: A total of 60 den- tal implants were tested. Group A: sanded with aluminium oxide medium grade particles and ac- id-etched; Group B: micro-sanded with calcium phosphate powders and acid-etched. Forty im- plants were immersed in 20 ml of human saliva, twenty, as a control, in sterile saline solution. ICP-MS was performed to detect any metallic ions released from dental implants at T0, on day 1 (T1), on day 3 (T2), after one week (T3), on day 14 (T4), after 3 months (T5) and after 6 months (T6). RESULTS: Dissolution of metallic particles of titanium and nickel, absent in human saliva (T0), were found after one week (T3) for Group B and after 3 months (T5) for Group A. Vanadium was already detected in small concentrations in either group after 1 day, with an exponential growth for Group B. CONCLUSIONS: Preliminary results reported signi cant values of Ti, Ni and V released by Group B, showing for the rst time statistically signi cant values of vanadium

Photonic Maxwell's demon

We report an experimental realisation of Maxwell's demon in a photonic setup. We show that a measurement at the single-photon level followed by a feed-forward operation allows the extraction of work from intense thermal light into an electric circuit. The interpretation of the experiment stimulates the derivation of a new equality relating work extraction to information acquired by measurement. We derive a bound using this relation and show that it is in agreement with the experimental results. Our work puts forward photonic systems as a platform for experiments related to information in thermodynamics.Comment: 8 pages, 3 figure

Stability of the Higgs mass in theories with extra dimensions

We analyze the ultraviolet stability of the Higgs mass in recently proposed Kaluza-Klein models compactified on S_1/Z_2 or S_1/(Z_2\times Z_2'), both at the field theory and string theory level. Fayet-Iliopoulos terms of U(1) hypercharge are shown to be of vital importance for this discussion. Models with a single Higgs doublet seem to be generically affected by quadratic divergences.Comment: Contribution to the Proceedings of Durham IPPP meeting May 2001.(12 pages, LaTeX