Optimal matching between spatial datasets under capacity constraints

Consider a set of customers (e.g., WiFi receivers) and a set of service providers (e.g., wireless access points), where each provider has a capacity and the quality of service offered to its customers is anti-proportional to their distance. The Capacity Constrained Assignment (CCA) is a matching between the two sets such that (i) each customer is assigned to at most one provider, (ii) every provider serves no more customers than its capacity, (iii) the maximum possible number of customers are served, and (iv) the sum of Euclidean distances within the assigned provider-customer pairs is minimized. Although max-flow algorithms are applicable to this problem, they require the complete distance-based bipartite graph between the customer and provider sets. For large spatial datasets, this graph is expensive to compute and it may be too large to fit in main memory. Motivated by this fact, we propose efficient algorithms for optimal assignment that employ novel edge-pruning strategies, based on the spatial properties of the problem. Additionally, we develop incremental techniques that maintain an optimal assignment (in the presence of updates) with a processing cost several times lower than CCA recomputation from scratch. Finally, we present approximate (i.e., suboptimal) CCA solutions that provide a tunable trade-off between result accuracy and computation cost, abiding by theoretical quality guarantees. A thorough experimental evaluation demonstrates the efficiency and practicality of the proposed techniques. © 2010 ACM.postprin

Extending Hybrid CSP with Probability and Stochasticity

Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been extensively investigated, but unfortunately it still remains challenging as no promising general solutions are available yet. In this paper, we give our effort by proposing a general compositional approach for modelling and verification of SHSs. First, we extend Hybrid CSP (HCSP), a very expressive and process algebra-like formal modeling language for hybrid systems, by introducing probability and stochasticity to model SHSs, which is called stochastic HCSP (SHCSP). To this end, ordinary differential equations (ODEs) are generalized by stochastic differential equations (SDEs) and non-deterministic choice is replaced by probabilistic choice. Then, we extend Hybrid Hoare Logic (HHL) to specify and reason about SHCSP processes. We demonstrate our approach by an example from real-world.Comment: The conference version of this paper is accepted by SETTA 201

First observation of psi(2S)-->K_S K_L

The decay psi(2S)-->K_S K_L is observed for the first time using psi(2S) data collected with the Beijing Spectrometer (BESII) at the Beijing Electron Positron Collider (BEPC); the branching ratio is determined to be B(psi(2S)-->K_S K_L) = (5.24\pm 0.47 \pm 0.48)\times 10^{-5}. Compared with J/psi-->K_S K_L, the psi(2S) branching ratio is enhanced relative to the prediction of the perturbative QCD ``12%'' rule. The result, together with the branching ratios of psi(2S) decays to other pseudoscalar meson pairs (\pi^+\pi^- and K^+K^-), is used to investigate the relative phase between the three-gluon and the one-photon annihilation amplitudes of psi(2S) decays.Comment: 5 pages, 4 figures, 2 tables, submitted to Phys. Rev. Let

Evidence for Anthropogenic Surface Loading as Trigger Mechanism of the 2008 Wenchuan Earthquake

Two and a half years prior to China's M7.9 Wenchuan earthquake of May 2008, at least 300 million metric tons of water accumulated with additional seasonal water level changes in the Minjiang River Valley at the eastern margin of the Longmen Shan. This article shows that static surface loading in the Zipingpu water reservoir induced Coulomb failure stresses on the nearby Beichuan thrust fault system at <17km depth. Triggering stresses exceeded levels of daily lunar and solar tides and perturbed a fault area measuring 416+/-96km^2. These stress perturbations, in turn, likely advanced the clock of the mainshock and directed the initial rupture propagation upward towards the reservoir on the "Coulomb-like" Beichuan fault with rate-and-state dependent frictional behavior. Static triggering perturbations produced up to 60 years (0.6%) of equivalent tectonic loading, and show strong correlations to the coseismic slip. Moreover, correlations between clock advancement and coseismic slip, observed during the mainshock beneath the reservoir, are strongest for a longer seismic cycle (10kyr) of M>7 earthquakes. Finally, the daily event rate of the micro-seismicity (M>0.5) correlates well with the static stress perturbations, indicating destabilization.Comment: 22 pages, 4 figures, 3 table

Are autistic traits measured equivalently in individuals with and without an Autism Spectrum Disorder?:An invariance analysis of the Autism Spectrum Quotient Short Form

It is common to administer measures of autistic traits to those without autism spectrum disorders (ASDs) with, for example, the aim of understanding autistic personality characteristics in non-autistic individuals. Little research has examined the extent to which measures of autistic traits actually measure the same traits in the same way across those with and without an ASD. We addressed this question using a multi-group confirmatory factor invariance analysis of the Autism Quotient Short Form (AQ-S: Hoekstra et al. in J Autism Dev Disord 41(5):589-596, 2011) across those with (n = 148) and without (n = 168) ASD. Metric variance (equality of factor loadings), but not scalar invariance (equality of thresholds), held suggesting that the AQ-S measures the same latent traits in both groups, but with a bias in the manner in which trait levels are estimated. We, therefore, argue that the AQ-S can be used to investigate possible causes and consequences of autistic traits in both groups separately, but caution is due when combining or comparing levels of autistic traits across the two group

Study of psi(2S) decays to X J/psi

Using J/psi -> mu^+ mu^- decays from a sample of approximately 4 million psi(2S) events collected with the BESI detector, the branching fractions of psi(2S) -> eta J/psi, pi^0 pi^0 J/psi, and anything J/psi normalized to that of psi(2S) -> pi^+ pi^- J/psi are measured. The results are B(psi(2S) -> eta J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 0.098 \pm 0.005 \pm 0.010, B(psi(2S) -> pi^0 pi^0 J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 0.570 \pm 0.009 \pm 0.026, and B(psi(2S) -> anything J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 1.867 \pm 0.026 \pm 0.055.Comment: 13 pages, 8 figure

How to suppress undesired synchronization

It is delightful to observe the emergence of synchronization in the blinking of fireflies to attract partners and preys. Other charming examples of synchronization can also be found in a wide range of phenomena such as, e.g., neurons firing, lasers cascades, chemical reactions, and opinion formation. However, in many situations the formation of a coherent state is not pleasant and should be mitigated. For example, the onset of synchronization can be the root of epileptic seizures, traffic congestion in communication networks, and the collapse of constructions. Here we propose the use of contrarians to suppress undesired synchronization. We perform a comparative study of different strategies, either requiring local or total knowledge of the system, and show that the most efficient one solely requires local information. Our results also reveal that, even when the distribution of neighboring interactions is narrow, significant improvement in mitigation is observed when contrarians sit at the highly connected elements. The same qualitative results are obtained for artificially generated networks as well as two real ones, namely, the Routers of the Internet and a neuronal network

The Second Transmembrane Domain of P2X7 Contributes to Dilated Pore Formation

Activation of the purinergic receptor P2X7 leads to the cellular permeability of low molecular weight cations. To determine which domains of P2X7 are necessary for this permeability, we exchanged either the C-terminus or portions of the second transmembrane domain (TM2) with those in P2X1 or P2X4. Replacement of the C-terminus of P2X7 with either P2X1 or P2X4 prevented surface expression of the chimeric receptor. Similarly, chimeric P2X7 containing TM2 from P2X1 or P2X4 had reduced surface expression and no permeability to cationic dyes. Exchanging the N-terminal 10 residues or C-terminal 14 residues of the P2X7 TM2 with the corresponding region of P2X1 TM2 partially restored surface expression and limited pore permeability. To further probe TM2 structure, we replaced single residues in P2X7 TM2 with those in P2X1 or P2X4. We identified multiple substitutions that drastically changed pore permeability without altering surface expression. Three substitutions (Q332P, Y336T, and Y343L) individually reduced pore formation as indicated by decreased dye uptake and also reduced membrane blebbing in response to ATP exposure. Three others substitutions, V335T, S342G, and S342A each enhanced dye uptake, membrane blebbing and cell death. Our results demonstrate a critical role for the TM2 domain of P2X7 in receptor function, and provide a structural basis for differences between purinergic receptors. © 2013 Sun et al

Regulation of lipolytic activity by long-chain acyl-coenzyme A in islets and adipocytes

Intracellular lipolysis is a major pathway of lipid metabolism that has roles, not only in the provision of free fatty acids as energy substrate, but also in intracellular signal transduction. The latter is likely to be particularly important in the regulation of insulin secretion from islet beta-cells. The mechanisms by which lipolysis is regulated in different tissues is, therefore, of considerable interest. Here, the effects of long-chain acyl-CoA esters (LC-CoA) on lipase activity in islets and adipocytes were compared. Palmitoyl-CoA (Pal-CoA, 1-10 mu M) stimulated lipase activity in islets from both normal and hormone-sensitive lipase (HSL)-null mice and in phosphatase-treated islets, indicating that the stimulatory effect was neither on HSL nor phosphorylation dependent. In contrast, we reproduced the previously published observations showing inhibition of HSL activity by LC-CoA in adipocytes. The inhibitory effect of LC-CoA on adipocyte HSL was dependent on phosphorylation and enhanced by acyl-CoA-binding protein (ACBP). In contrast, the stimulatory effect on islet lipase activity was blocked by ACBP, presumably due to binding and sequestration of LC-CoA. These data suggest the following intertissue relationship between islets and adipocytes with respect to fatty acid metabolism, LC-CoA signaling, and lipolysis. Elevated LC-CoA in islets stimulates lipolysis to generate a signal to increase insulin secretion, whereas elevated LC-CoA in adipocytes inhibits lipolysis. Together, these opposite actions of LC-CoA lower circulating fat by inhibiting its release from adipocytes and promoting fat storage via insulin action

Mechanisms of Psychological Distress following War in the Former Yugoslavia: The Role of Interpersonal Sensitivity

This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.This study was funded by a grant from the European Commission, contract number INCO-CT-2004-509176. AN was supported by a Clinical Early Career Research Fellowship (113295) and a Project Grant (104288