Composition with Target Constraints

It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a second-order tgd (SO tgd). We consider the question of what happens when target constraints are allowed. Specifically, we consider the question of specifying the composition of standard schema mappings (those specified by st-tgds, target egds, and a weakly acyclic set of target tgds). We show that SO tgds, even with the assistance of arbitrary source constraints and target constraints, cannot specify in general the composition of two standard schema mappings. Therefore, we introduce source-to-target second-order dependencies (st-SO dependencies), which are similar to SO tgds, but allow equations in the conclusion. We show that st-SO dependencies (along with target egds and target tgds) are sufficient to express the composition of every finite sequence of standard schema mappings, and further, every st-SO dependency specifies such a composition. In addition to this expressive power, we show that st-SO dependencies enjoy other desirable properties. In particular, they have a polynomial-time chase that generates a universal solution. This universal solution can be used to find the certain answers to unions of conjunctive queries in polynomial time. It is easy to show that the composition of an arbitrary number of standard schema mappings is equivalent to the composition of only two standard schema mappings. We show that surprisingly, the analogous result holds also for schema mappings specified by just st-tgds (no target constraints). This is proven by showing that every SO tgd is equivalent to an unnested SO tgd (one where there is no nesting of function symbols). Similarly, we prove unnesting results for st-SO dependencies, with the same types of consequences.Comment: This paper is an extended version of: M. Arenas, R. Fagin, and A. Nash. Composition with Target Constraints. In 13th International Conference on Database Theory (ICDT), pages 129-142, 201

Use of Quadrupolar Nuclei for Quantum Information processing by Nuclear Magnetic Resonance: Implementation of a Quantum Algorithm

Physical implementation of Quantum Information Processing (QIP) by liquid-state Nuclear Magnetic Resonance (NMR), using weakly coupled spin-1/2 nuclei of a molecule, is well established. Nuclei with spin$>$1/2 oriented in liquid crystalline matrices is another possibility. Such systems have multiple qubits per nuclei and large quadrupolar couplings resulting in well separated lines in the spectrum. So far, creation of pseudopure states and logic gates have been demonstrated in such systems using transition selective radio-frequency pulses. In this paper we report two novel developments. First, we implement a quantum algorithm which needs coherent superposition of states. Second, we use evolution under quadrupolar coupling to implement multi qubit gates. We implement Deutsch-Jozsa algorithm on a spin-3/2 (2 qubit) system. The controlled-not operation needed to implement this algorithm has been implemented here by evolution under the quadrupolar Hamiltonian. This method has been implemented for the first time in quadrupolar systems. Since the quadrupolar coupling is several orders of magnitude greater than the coupling in weakly coupled spin-1/2 nuclei, the gate time decreases, increasing the clock speed of the quantum computer.Comment: 16 pages, 3 figure

Many worlds in one

A generic prediction of inflation is that the thermalized region we inhabit is spatially infinite. Thus, it contains an infinite number of regions of the same size as our observable universe, which we shall denote as \O-regions. We argue that the number of possible histories which may take place inside of an \O-region, from the time of recombination up to the present time, is finite. Hence, there are an infinite number of \O-regions with identical histories up to the present, but which need not be identical in the future. Moreover, all histories which are not forbidden by conservation laws will occur in a finite fraction of all \O-regions. The ensemble of \O-regions is reminiscent of the ensemble of universes in the many-world picture of quantum mechanics. An important difference, however, is that other \O-regions are unquestionably real.Comment: 9 pages, 2 figures, comments and references adde

Conducting a Street‐Intercept Survey in an Authoritarian Regime: The Case of Myanmar*

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/149211/1/ssqu12611_am.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/149211/2/ssqu12611.pd

On regional security governance once again: how analysis of the Southern Caucasus can advance the concept

Already introduced to the academic and political debate some years ago, the concept of “security governance” still needs to be clarified. In particular, four main shortcomings need to be overcome to make the concept more useful for an assessment of current security dynamics: in the first place, attention has been devoted more to “governance” than to “security”, while failing to consider the role of the understandings and perceptions of the actors involved in the governance system. Second, the literature on the actors (governmental or not) involved is still fragmented. Third, the literature on security governance has too often been detached from reflections on regionalism, while it would be useful to further explore the relationship between cognitive definitions of regional and security dynamics. Fourth, the literature has predominantly focused on Europe and the transatlantic area, overlooking processes of “region-building” in security terms in other “unexpected” geographical spaces. After proposing avenues to overcome the current gaps in the literature, the Southern Caucasus is chosen as a case study to show the different instances of security governance emerging, thanks to definitions of the region in security terms that have involved regional and external actors, of a state and non-state nature

Combining two national‐scale datasets to map soil properties, the case of available magnesium in England and Wales

Given the costs of soil survey it is necessary to make the best use of available datasets, but data that differ with respect to some aspect of the sampling or analytical protocol cannot be combined simply. In this paper we consider a case where two datasets were available on the concentration of plant‐available magnesium in the topsoil. The datasets were the Representative Soil Sampling Scheme (RSSS) and the National Soil Inventory (NSI) of England and Wales. The variable was measured over the same depth interval and with the same laboratory method, but the sample supports were different and so the datasets differ in their variance. We used a multivariate geostatistical model, the linear model of coregionalization (LMCR), to model the joint spatial distribution of the two datasets. The model allowed us to elucidate the effects of the sample support on the two datasets, and to show that there was a strong correlation between the underlying variables. The LMCR allowed us to make spatial predictions of the variable on the RSSS support by cokriging the RSSS data with the NSI data. We used cross‐validation to test the validity of the LMCR and showed how incorporating the NSI data restricted the range of prediction error variances relative to univariate ordinary kriging predictions from the RSSS data alone. The standardized squared prediction errors were computed and the coverage of prediction intervals (i.e. the proportion of sites at which the prediction interval included the observed value of the variable). Both these statistics suggested that the prediction error variances were consistent for the cokriging predictions but not for the ordinary kriging predictions from the simple combination of the RSSS and NSI data, which might be proposed on the basis of their very similar mean values. The LMCR is therefore proposed as a general tool for the combined analysis of different datasets on soil properties

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Search for chargino-neutralino production with mass splittings near the electroweak scale in three-lepton final states in √s=13 TeV pp collisions with the ATLAS detector

A search for supersymmetry through the pair production of electroweakinos with mass splittings near the electroweak scale and decaying via on-shell W and Z bosons is presented for a three-lepton final state. The analyzed proton-proton collision data taken at a center-of-mass energy of √s=13  TeV were collected between 2015 and 2018 by the ATLAS experiment at the Large Hadron Collider, corresponding to an integrated luminosity of 139  fb−1. A search, emulating the recursive jigsaw reconstruction technique with easily reproducible laboratory-frame variables, is performed. The two excesses observed in the 2015–2016 data recursive jigsaw analysis in the low-mass three-lepton phase space are reproduced. Results with the full data set are in agreement with the Standard Model expectations. They are interpreted to set exclusion limits at the 95% confidence level on simplified models of chargino-neutralino pair production for masses up to 345 GeV

Search for direct stau production in events with two hadronic tau-leptons in root s=13 TeV pp collisions with the ATLAS detector

A search for the direct production of the supersymmetric partners ofτ-leptons (staus) in final stateswith two hadronically decayingτ-leptons is presented. The analysis uses a dataset of pp collisions corresponding to an integrated luminosity of139fb−1, recorded with the ATLAS detector at the LargeHadron Collider at a center-of-mass energy of 13 TeV. No significant deviation from the expected StandardModel background is observed. Limits are derived in scenarios of direct production of stau pairs with eachstau decaying into the stable lightest neutralino and oneτ-lepton in simplified models where the two staumass eigenstates are degenerate. Stau masses from 120 GeV to 390 GeV are excluded at 95% confidencelevel for a massless lightest neutralino

Ideal timing to transfer from an acute care hospital to an interdisciplinary inpatient rehabilitation program following a stroke: an exploratory study

BACKGROUND: Timely accessibility to organized inpatient stroke rehabilitation services may become compromised since the demand for rehabilitation services following stroke is rapidly growing with no promise of additional resources. This often leads to prolonged lengths of stays in acute care facilities for individuals surviving a stroke. It is believed that this delay spent in acute care facilities may inhibit the crucial motor recovery process taking place shortly after a stroke. It is important to document the ideal timing to initiate intensive inpatient stroke rehabilitation after the neurological event. Therefore, the objective of this study was to examine the specific influence of short, moderate and long onset-admission intervals (OAI) on rehabilitation outcomes across homogeneous subgroups of patients who were admitted to a standardized interdisciplinary inpatient stroke rehabilitation program. METHODS: A total of 418 patients discharged from the inpatient neurological rehabilitation program at the Montreal Rehabilitation Hospital Network after a first stroke (79% of all cases reviewed) were included in this retrospective study. After conducting a matching procedure across these patients based on the degree of disability, gender, and age, a total of 40 homogeneous triads (n = 120) were formed according to the three OAI subgroups: short (less than 20 days), moderate (between 20 and 40 days) or long (over 40 days; maximum of 70 days) OAI subgroups. The rehabilitation outcomes (admission and discharge Functional Independence Measure scores (FIM), absolute and relative FIM gain scores, rehabilitation length of stay, efficiency scores) were evaluated to test for differences between the three OAI subgroups. RESULTS: Analysis revealed that the three OAI subgroups were comparable for all rehabilitation outcomes studied. No statistical difference was found for admission (P = 0.305–0.972) and discharge (P = 0.083–0.367) FIM scores, absolute (P = 0.533–0.647) and relative (P = 0.496–0.812) FIM gain scores, rehabilitation length of stay (P = 0.096), and efficiency scores (P = 0.103–0.674). CONCLUSION: OAI does not seem to affect significantly inpatient stroke rehabilitation outcomes of patients referred from acute care facilities where rehabilitation services are rapidly initiated after the onset of the stroke and offered throughout their stay. However, other studies considering factors such as the type and intensity of the rehabilitation are required to support those results