Reasoning about Action: An Argumentation - Theoretic Approach

We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic. Sophisticated problem domains can be formalised in our framework. As much attention of researchers in the field has been paid to the traditional and basic problems in reasoning about actions such as the frame, the qualification and the ramification problems, approaches to these problems within our formalisation lie at heart of the expositions presented in this paper

A Planarity Test via Construction Sequences

Optimal linear-time algorithms for testing the planarity of a graph are well-known for over 35 years. However, these algorithms are quite involved and recent publications still try to give simpler linear-time tests. We give a simple reduction from planarity testing to the problem of computing a certain construction of a 3-connected graph. The approach is different from previous planarity tests; as key concept, we maintain a planar embedding that is 3-connected at each point in time. The algorithm runs in linear time and computes a planar embedding if the input graph is planar and a Kuratowski-subdivision otherwise

Instantaneous frequency measurement system using optical mixing in highly nonlinear fiber

A broadband photonic instantaneous frequency measurement system utilizing four-wave mixing in highly nonlinear fiber is demonstrated. This new approach is highly stable and does not require any high-speed electronics or photodetectors. A first principles model accurately predicts the system response. Frequency measurement responses from 1 to 40 GHz are demonstrated and simple reconfiguration allows the system to operate over multiple bands

Cost-effective solutions and tools for medical image processing and design of personalised cranioplasty implants

Cranial defects which are caused by bone tumors or traffic accidents are treated by cranioplasty techniques. Cranioplasty implants are required to protect the underlying brain, correct major aesthetic deformities, or both. With the rapid develop-ment of computer graphics, medical image processing (MIP) and manufacturing technologies in recent decades, nowadays, personalised cranioplasty implants can be designed and made to improve the quality of cranial defect treatments. However, software tools for MIP and 3D modelling of implants are ex-pensive; and they normally require high technical skills. Espe-cially, the process of design and development of personalised cranioplasty implants normally requires a multidisciplinary team, including experts in MIP, 3D design and modelling, and Biomedical Engineering; this leads to challenges and difficulties for technology transfers and implementations in hospitals. This research is aimed at developing, in particular, cost-effective solutions and tools for design and modeling of per-sonalised cranioplasty implants, and to simplify the design and modelling of implants, as well as to reduce the design and modeling time. In this way, surgeons and engineers can con-veniently and easily design personalised cranioplasty implants, without the need of using complex MIP and CAD tools; and as a result the cost of implants will be minimised

Synthesis of Single Phase Hg-1223 High Tc Superconducting Films With Multistep Electrolytic Process

We report the multistep electrolytic process for the synthesis of high Tc single phase HgBa2Ca2Cu3O8+ (Hg-1223) superconducting films. The process includes : i) deposition of BaCaCu precursor alloy, ii) oxidation of BaCaCu films, iii) electrolytic intercalation of Hg in precursor BaCaCuO films and iv) electrochemical oxidation and annealing of Hg-intercalated BaCaCuO films to convert into Hg1Ba2Ca2Cu3O8+ (Hg-1223). Films were characterized by thermo-gravimetric analysis (TGA) and differential thermal analysis (DTA), X-ray diffraction (XRD) and scanning electron microscopy (SEM). The electrolytic intercalation of Hg in BaCaCuO precursor is proved to be a novel alternative to high temperature-high pressure mercuration process. The films are single phase Hg-1223 with Tc = 121.5 K and Jc = 4.3 x 104 A/cm2.Comment: 17 Pages, 10 Figures. Submitted to Superconductor Science and Technolog

Generic tests of the existence of the gravitational dipole radiation and the variation of the gravitational constant

We present results from the high precision timing analysis of the pulsar-white dwarf (WD) binary PSR J1012+5307 using 15 years of multi-telescope data. Observations were performed regularly by the European Pulsar Timing Array (EPTA) network, consisting of Effelsberg, Jodrell Bank, Westerbork and Nan\c{c}ay. All the timing parameters have been improved from the previously published values, most by an order of magnitude. In addition, a parallax measurement of $\pi = 1.2(3)$ mas is obtained for the first time for PSR J1012+5307, being consistent with the optical estimation from the WD companion. Combining improved 3D velocity information and models for the Galactic potential the complete evolutionary Galactic path of the system is obtained. A new intrinsic eccentricity upper limit of $e<8.4\times 10^{-7}$ is acquired, one of the smallest calculated for a binary system and a measurement of the variation of the projected semi-major axis also constrains the system's orbital orientation for the first time. It is shown that PSR J1012+5307 is an ideal laboratory for testing alternative theories of gravity. The measurement of the change of the orbital period of the system of $\dot{P}_{b} = 5(1)\times 10^{-14}$ is used to set an upper limit on the dipole gravitational wave emission that is valid for a wide class of alternative theories of gravity. Moreover, it is shown that in combination with other binary pulsars PSR J1012+5307 is an ideal system to provide self-consistent, generic limits, based only on millisecond pulsar data, for the dipole radiation and the variation of the gravitational constant $\dot{G}$.Comment: accepted for publication in MNRAS, 11 pages, 5 figures, 2 table

Presence and distribution of mosquito larvae predators and factors influencing their abundance along the Mara River, Kenya and Tanzania

Among all the malaria controlling measures, biological control of mosquito larvae may be the cheapest and easiest to implement. This study investigated baseline predation of immature mosquitoes by macroinvertebrate predators along the Mara River, determined the diversity of predators and mosquito larvae habitats and the range of their adaptive capacity to water physico-chemical parameters. Between July and August 2011, sampling sites (n=39) along the Mara River were selected and investigated for the presence of macroinvertebrate predators and mosquito larvae. The selected sampling sites were geocoded and each dipped 20 times using standard mosquito larvae dipper to sample mosquito larvae, while a D-frame dip net was used to capture the macroinvertebrate predators. Water physico-chemical parameters (dissolved oxygen, temperature, pH, conductivity, salinity and turbidity) were taken in situ at access points, while hardness and alkalinity were measured titrimetically. The influence of macroinvertebrate predator occurrence was correlated with mosquito larvae and water quality parameters using Generalized Linear Model (GLM). Predators (n=297) belonging to 3 orders of Hemiptera (54.2%), Odonata (22.9%) and Coleoptera (22.9%), and mosquito larvae (n=4001) belonging to 10 species, which included An.gambiae s.l (44.9%), Culex spp. (34.8%) and An. coustani complex (13.8%), An. maculipalpis (3.6%), An. phaorensis (1.2%), An. funestus group (0.5%), An. azaniae (0.4%), An. hamoni (0.3%), An. christyi (0.3%), An. ardensis (0.08%), An. faini (0.07%), An. sergentii (0.05%) and 0.05% of Aedes mosquito larvae which were not identified to species level, due to lack of an appropriate key, were captured from different habitats along the Mara river. It was established that invasion of habitats by the macroinvertebrate predators were partially driven by the presence of mosquito larvae (p < 0.001), and the prevailing water physico-chemical parameters (DO, temperature, and turbidity, p <0.001). Understanding abiotic and biotic factors which favour mosquitoes and macroinveterbrate co-occurrence may contribute to the control of malaria

Model-based learning for point pattern data

This article proposes a framework for model-based point pattern learning using point process theory. Likelihood functions for point pattern data derived from point process theory enable principled yet conceptually transparent extensions of learning tasks, such as classification, novelty detection and clustering, to point pattern data. Furthermore, tractable point pattern models as well as solutions for learning and decision making from point pattern data are developed

Search for Axionlike and Scalar Particles with the NA64 Experiment

We carried out a model-independent search for light scalar (s) and pseudoscalar axionlike (a) particles that couple to two photons by using the high-energy CERN SPS H4 electron beam. The new particles, if they exist, could be produced through the Primakoff effect in interactions of hard bremsstrahlung photons generated by 100 GeV electrons in the NA64 active dump with virtual photons provided by the nuclei of the dump. The a(s) would penetrate the downstream HCAL module, serving as shielding, and would be observed either through their $a(s)\to\gamma \gamma$ decay in the rest of the HCAL detector or as events with large missing energy if the a(s) decays downstream of the HCAL. This method allows for the probing the a(s) parameter space, including those from generic axion models, inaccessible to previous experiments. No evidence of such processes has been found from the analysis of the data corresponding to $2.84\times10^{11}$ electrons on target allowing to set new limits on the $a(s)\gamma\gamma$-coupling strength for a(s) masses below 55 MeV.Comment: This publication is dedicated to the memory of our colleague Danila Tlisov. 7 pages, 5 figures, revised version accepted for publication in Phys. Rev. Let