Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension

Experimental demonstration of Gaussian protocols for one-sided device-independent quantum key distribution

Nonlocal correlations, a longstanding foundational topic in quantum information, have recently found application as a resource for cryptographic tasks where not all devices are trusted, for example in settings with a highly secure central hub, such as a bank or government department, and less secure satellite stations which are inherently more vulnerable to hardware "hacking" attacks. The asymmetric phenomena of Einstein-Podolsky-Rosen steering plays a key role in one-sided device-independent quantum key distribution (1sDI-QKD) protocols. In the context of continuous-variable (CV) QKD schemes utilizing Gaussian states and measurements, we identify all protocols that can be 1sDI and their maximum loss tolerance. Surprisingly, this includes a protocol that uses only coherent states. We also establish a direct link between the relevant EPR steering inequality and the secret key rate, further strengthening the relationship between these asymmetric notions of nonlocality and device independence. We experimentally implement both entanglement-based and coherent-state protocols, and measure the correlations necessary for 1sDI key distribution up to an applied loss equivalent to 7.5 km and 3.5 km of optical fiber transmission respectively. We also engage in detailed modelling to understand the limits of our current experiment and the potential for further improvements. The new protocols we uncover apply the cheap and efficient hardware of CVQKD systems in a significantly more secure setting.Comment: Addition of experimental results and (several) new author

General Classical Electrodynamics

Maxwell’s Classical Electrodynamics (MCED) suffers several inconsistencies: (1) the Lorentz force law of MCED violates Newton’s Third Law of Motion (N3LM) in case of stationary and divergent or convergent current distributions; (2) the general Jefimenko electric field solution of MCED shows two longitudinal far fields that are not waves; (3) the ratio of the electrodynamic energy-momentum of a charged sphere in uniform motion has an incorrect factor of 4/3. A consistent General Classical Electrodynamics (GCED) is presented that is based on Whittaker’s reciprocal force law that satisfies N3LM. The Whittaker force is expressed as a scalar magnetic field force, added to the Lorentz force. GCED is consistent only if it is assumed that the electric potential velocity in vacuum, ’a’, is much greater than ’c’ (a ≫ c); GCED reduces to MCED, in case we assume a = c. Longitudinal electromagnetic waves and superluminal longitudinal electric potential waves are predicted. This theory has been verified by seemingly unrelated experiments, such as the detection of superluminal Coulomb fields and longitudinal Ampère forces, and has a wide range of electrical engineering applications

Vital Sensory Kit For Use With Telemedicine In Developing Countries

In many developing countries, a large percentage of the population lacks access to adequate healthcare. This is especially true in India where close to 70% of the population lives in rural areas and has little to no access to hospitals or clinics. People living in rural India often times cannot afford to pay to see a doctor should they need to make the journey to a hospital. Telemedicine, a breakthrough in the past couple decades, has broken down the barrier between the patient and the physician. It has slowly been implemented in India to make doctors more available to patients through the use of video conferences and other forms of communication. A compact and affordable kit has been developed that will be used to take a patient’s blood pressure, heart rate, blood glucose concentration and oxygen saturation. Our most novel contribution is the non-invasive glucose sensor that will use a near-infrared LED and photodiode in the patient’s earlobe. Currently millions of diabetics do this by pricking their finger. By wirelessly sending data results from the vital sign kit, the first essential part of a treatment can be carried out via wireless communication, saving the doctor and patient time and money

Blue shifting of the A exciton peak in folded monolayer 1H-MoS2

The large family of layered transition-metal dichalcogenides is widely believed to constitute a second family of two-dimensional (2D) semiconducting materials that can be used to create novel devices that complement those based on graphene. In many cases these materials have shown a transition from an indirect bandgap in the bulk to a direct bandgap in monolayer systems. In this work we experimentally show that folding a 1H molybdenum disulphide (MoS2) layer results in a turbostratic stack with enhanced photoluminescence quantum yield and a significant shift to the blue by 90 meV. This is in contrast to the expected 2H-MoS2 band structure characteristics, which include an indirect gap and quenched photoluminescence. We present a theoretical explanation to the origin of this behavior in terms of exciton screening.Comment: 16 pages, 8 figure

Remote-scope Promotion: Clarified, Rectified, and Verified

Modern accelerator programming frameworks, such as OpenCL, organise threads into work-groups. Remote-scope promotion (RSP) is a language extension recently proposed by AMD researchers that is designed to enable applications, for the first time, both to optimise for the common case of intra-work-group communication (using memory scopes to provide consistency only within a work-group) and to allow occasional inter-work-group communication (as required, for instance, to support the popular load-balancing idiom of work stealing). We present the first formal, axiomatic memory model of OpenCL extended with RSP. We have extended the Herd memory model simulator with support for OpenCL kernels that exploit RSP, and used it to discover bugs in several litmus tests and a work-stealing queue, that have been used previously in the study of RSP. We have also formalised the proposed GPU implementation of RSP. The formalisation process allowed us to identify bugs in the description of RSP that could result in well-synchronised programs experiencing memory inconsistencies. We present and prove sound a new implementation of RSP that incorporates bug fixes and requires less non-standard hardware than the original implementation. This work, a collaboration between academia and industry, clearly demonstrates how, when designing hardware support for a new concurrent language feature, the early application of formal tools and techniques can help to prevent errors, such as those we have found, from making it into silicon

Nonlinear Optical Corneal Crosslinking, Mechanical Stiffening, and Corneal Flattening Using Amplified Femtosecond Pulses.

Purpose:We have shown that nonlinear optical corneal crosslinking (NLO CXL) and stiffening can be achieved in ex vivo rabbit corneas using an 80-MHz, 760-nm femtosecond (FS) laser, however the required power was beyond the American National Standard Institute limit. The purpose of this study was to test the efficacy of amplified FS pulses to perform CXL to reduce power by increasing pulse energy. Methods:A variable numerical aperture laser scanning delivery system was coupled to a 1030-nm laser with a noncollinear optical parametric amplifier to generate 760 nm, 50 to 150 kHz amplified FS pulses with 79.5-μm axial and 2.9-μm lateral two-photon focal volume. Ex vivo rabbit corneas received NLO CXL, and effectiveness was assessed by measuring collagen autofluorescence (CAF) and mechanical stiffening. NLO CXL was also performed in 14 live rabbits, and changes in corneal topography were measured using an Orbscan. Results:Amplified pulses (0.3 μJ) generated significant CAF that increased logarithmically with decreasing scan speed; achieving equivalent CAF to UVA CXL at 15.5 mm/s. Indentation testing detected a 62% increase in stiffness compared to control, and corneal topography measurements revealed a significant decrease of 1.0 ± 0.8 diopter by 1 month (P < 0.05). Conclusions:These results show that NLO CXL using amplified pulses can produce corneal collagen CXL comparable to UVA CXL. Translational Relevance:NLO CXL using amplified pulses can produce corneal CXL comparable to UVA CXL, suggesting a potential clinical application in which NLO CXL can be used to perform personalized crosslinking for treatment of refractive errors and keratoconus