Tropically convex constraint satisfaction

A semilinear relation S is max-closed if it is preserved by taking the componentwise maximum. The constraint satisfaction problem for max-closed semilinear constraints is at least as hard as determining the winner in Mean Payoff Games, a notorious problem of open computational complexity. Mean Payoff Games are known to be in the intersection of NP and co-NP, which is not known for max-closed semilinear constraints. Semilinear relations that are max-closed and additionally closed under translations have been called tropically convex in the literature. One of our main results is a new duality for open tropically convex relations, which puts the CSP for tropically convex semilinaer constraints in general into NP intersected co-NP. This extends the corresponding complexity result for scheduling under and-or precedence constraints, or equivalently the max-atoms problem. To this end, we present a characterization of max-closed semilinear relations in terms of syntactically restricted first-order logic, and another characterization in terms of a finite set of relations L that allow primitive positive definitions of all other relations in the class. We also present a subclass of max-closed constraints where the CSP is in P; this class generalizes the class of max-closed constraints over finite domains, and the feasibility problem for max-closed linear inequalities. Finally, we show that the class of max-closed semilinear constraints is maximal in the sense that as soon as a single relation that is not max-closed is added to L, the CSP becomes NP-hard.Comment: 29 pages, 2 figure

Molecular dynamics simulations of oscillatory Couette flows with slip boundary conditions

The effect of interfacial slip on steady-state and time-periodic flows of monatomic liquids is investigated using non-equilibrium molecular dynamics simulations. The fluid phase is confined between atomically smooth rigid walls, and the fluid flows are induced by moving one of the walls. In steady shear flows, the slip length increases almost linearly with shear rate. We found that the velocity profiles in oscillatory flows are well described by the Stokes flow solution with the slip length that depends on the local shear rate. Interestingly, the rate dependence of the slip length obtained in steady shear flows is recovered when the slip length in oscillatory flows is plotted as a function of the local shear rate magnitude. For both types of flows, the friction coefficient at the liquid-solid interface correlates well with the structure of the first fluid layer near the solid wall.Comment: 31 pages, 11 figure

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Quality-sensitive foraging by a robot swarm through virtual pheromone trails

Large swarms of simple autonomous robots can be employed to find objects clustered at random locations, and transport them to a central depot. This solution offers system parallelisation through concurrent environment exploration and object collection by several robots, but it also introduces the challenge of robot coordination. Inspired by ants’ foraging behaviour, we successfully tackle robot swarm coordination through indirect stigmergic communication in the form of virtual pheromone trails. We design and implement a robot swarm composed of up to 100 Kilobots using the recent technology Augmented Reality for Kilobots (ARK). Using pheromone trails, our memoryless robots rediscover object sources that have been located previously. The emerging collective dynamics show a throughput inversely proportional to the source distance. We assume environments with multiple sources, each providing objects of different qualities, and we investigate how the robot swarm balances the quality-distance trade-off by using quality-sensitive pheromone trails. To our knowledge this work represents the largest robotic experiment in stigmergic foraging, and is the first complete demonstration of ARK, showcasing the set of unique functionalities it provides

An Intense and Short-Lasting Burst of Neutrophil Activation Differentiates Early Acute Myocardial Infarction from Systemic Inflammatory Syndromes

BACKGROUND: Neutrophils are involved in thrombus formation. We investigated whether specific features of neutrophil activation characterize patients with acute coronary syndromes (ACS) compared to stable angina and to systemic inflammatory diseases. METHODS AND FINDINGS: The myeloperoxidase (MPO) content of circulating neutrophils was determined by flow cytometry in 330 subjects: 69 consecutive patients with acute coronary syndromes (ACS), 69 with chronic stable angina (CSA), 50 with inflammation due to either non-infectious (acute bone fracture), infectious (sepsis) or autoimmune diseases (small and large vessel systemic vasculitis, rheumatoid arthritis). Four patients have also been studied before and after sterile acute injury of the myocardium (septal alcoholization). One hundred thirty-eight healthy donors were studied in parallel. Neutrophils with normal MPO content were 96% in controls, >92% in patients undergoing septal alcoholization, 91% in CSA patients, but only 35 and 30% in unstable angina and AMI (STEMI and NSTEMI) patients, compared to 80%, 75% and 2% of patients with giant cell arteritis, acute bone fracture and severe sepsis. In addition, in 32/33 STEMI and 9/21 NSTEMI patients respectively, 20% and 12% of neutrophils had complete MPO depletion during the first 4 hours after the onset of symptoms, a feature not observed in any other group of patients. MPO depletion was associated with platelet activation, indicated by P-selectin expression, activation and transactivation of leukocyte β2-integrins and formation of platelet neutrophil and -monocyte aggregates. The injection of activated platelets in mice produced transient, P-selectin dependent, complete MPO depletion in about 50% of neutrophils. CONCLUSIONS: ACS are characterized by intense neutrophil activation, like other systemic inflammatory syndromes. In the very early phase of acute myocardial infarction only a subpopulation of neutrophils is massively activated, possibly via platelet-P selectin interactions. This paroxysmal activation could contribute to occlusive thrombosis

The Classic: Bone Morphogenetic Protein

This Classic Article is a reprint of the original work by Marshall R. Urist and Basil S. Strates, Bone Morphogenetic Protein. An accompanying biographical sketch of Marshall R. Urist, MD is available at DOI 10.1007/s11999-009-1067-4; a second Classic Article is available at DOI 10.1007/s11999-009-1069-2; and a third Classic Article is available at DOI 10.1007/s11999-009-1070-9. The Classic Article is © 1971 by Sage Publications Inc. Journals and is reprinted with permission from Urist MR, Strates BS. Bone morphogenetic protein. J Dent Res. 1971;50:1392–1406

Distribution of GABAergic Interneurons and Dopaminergic Cells in the Functional Territories of the Human Striatum

BACKGROUND: The afferent projections of the striatum (caudate nucleus and putamen) are segregated in three territories: associative, sensorimotor and limbic. Striatal interneurons are in part responsible for the integration of these different types of information. Among them, GABAergic interneurons are the most abundant, and can be sorted in three populations according to their content in the calcium binding proteins calretinin (CR), parvalbumin (PV) and calbindin (CB). Conversely, striatal dopaminergic cells (whose role as interneurons is still unclear) are scarce. This study aims to analyze the interneuron distribution in the striatal functional territories, as well as their organization regarding to the striosomal compartment. METHODOLOGY/PRINCIPAL FINDINGS: We used immunohistochemical methods to visualize CR, PV, CB and tyrosine hydroxylase (TH) positive striatal neurons. The interneuronal distribution was assessed by stereological methods applied to every striatal functional territory. Considering the four cell groups altogether, their density was higher in the associative (2120±91 cells/mm(3)) than in the sensorimotor (959±47 cells/mm(3)) or limbic (633±119 cells/mm(3)) territories. CB- and TH-immunoreactive(-ir) cells were distributed rather homogeneously in the three striatal territories. However, the density of CR and PV interneurons were more abundant in the associative and sensorimotor striatum, respectively. Regarding to their compartmental organization, CR-ir interneurons were frequently found in the border between compartments in the associative and sensorimotor territories, and CB-ir interneurons abounded at the striosome/matrix border in the sensorimotor domain. CONCLUSIONS/SIGNIFICANCE: The present study demonstrates that the architecture of the human striatum in terms of its interneuron composition varies in its three functional territories. Furthermore, our data highlight the importance of CR-ir striatal interneurons in the integration of associative information, and the selective role of PV-ir interneurons in the motor territory. On the other hand, the low density of dopaminergic cells casts doubts about their role in the normal human striatum

Vascular Cellular Adhesion Molecule-1 (VCAM-1) Expression in Mice Retinal Vessels Is Affected by Both Hyperglycemia and Hyperlipidemia

BACKGROUND: Inflammation has been proposed to be important in the pathogenesis of diabetic retinopathy. An early feature of inflammation is the release of cytokines leading to increased expression of endothelial activation markers such as vascular cellular adhesion molecule-1 (VCAM-1). Here we investigated the impact of diabetes and dyslipidemia on VCAM-1 expression in mouse retinal vessels, as well as the potential role of tumor necrosis factor-α (TNFα). METHODOLOGY/PRINCIPAL FINDINGS: Expression of VCAM-1 was examined by confocal immunofluorescence microscopy in vessels of wild type (wt), hyperlipidemic (ApoE(-/-)) and TNFα deficient (TNFα(-/-), ApoE(-/-)/TNFα(-/-)) mice. Eight weeks of streptozotocin-induced diabetes resulted in increased VCAM-1 in wt mice, predominantly in small vessels (<10 µm). Diabetic wt mice had higher total retinal TNFα, IL-6 and IL-1β mRNA than controls; as well as higher soluble VCAM-1 (sVCAM-1) in plasma. Lack of TNFα increased higher basal VCAM-1 protein and sVCAM-1, but failed to up-regulate IL-6 and IL-1β mRNA and VCAM-1 protein in response to diabetes. Basal VCAM-1 expression was higher in ApoE(-/-) than in wt mice and both VCAM-1 mRNA and protein levels were further increased by high fat diet. These changes correlated to plasma cholesterol, LDL- and HDL-cholesterol, but not to triglycerides levels. Diabetes, despite further increasing plasma cholesterol in ApoE(-/-) mice, had no effects on VCAM-1 protein expression or on sVCAM-1. However, it increased ICAM-1 mRNA expression in retinal vessels, which correlated to plasma triglycerides. CONCLUSIONS/SIGNIFICANCE: Hyperglycemia triggers an inflammatory response in the retina of normolipidemic mice and up-regulation of VCAM-1 in retinal vessels. Hypercholesterolemia effectively promotes VCAM-1 expression without evident stimulation of inflammation. Diabetes-induced endothelial activation in ApoE(-/-) mice seems driven by elevated plasma triglycerides but not by cholesterol. Results also suggest a complex role for TNFα in the regulation of VCAM-1 expression, being protective under basal conditions but pro-inflammatory in response to diabetes

Impact of Treadmill Running and Sex on Hippocampal Neurogenesis in the Mouse Model of Amyotrophic Lateral Sclerosis

Hippocampal neurogenesis in the subgranular zone (SGZ) of dentate gyrus (DG) occurs throughout life and is regulated by pathological and physiological processes. The role of oxidative stress in hippocampal neurogenesis and its response to exercise or neurodegenerative diseases remains controversial. The present study was designed to investigate the impact of oxidative stress, treadmill exercise and sex on hippocampal neurogenesis in a murine model of heightened oxidative stress (G93A mice). G93A and wild type (WT) mice were randomized to a treadmill running (EX) or a sedentary (SED) group for 1 or 4 wk. Immunohistochemistry was used to detect bromodeoxyuridine (BrdU) labeled proliferating cells, surviving cells, and their phenotype, as well as for determination of oxidative stress (3-NT; 8-OHdG). BDNF and IGF1 mRNA expression was assessed by in situ hybridization. Results showed that: (1) G93A-SED mice had greater hippocampal neurogenesis, BDNF mRNA, and 3-NT, as compared to WT-SED mice. (2) Treadmill running promoted hippocampal neurogenesis and BDNF mRNA content and lowered DNA oxidative damage (8-OHdG) in WT mice. (3) Male G93A mice showed significantly higher cell proliferation but a lower level of survival vs. female G93A mice. We conclude that G93A mice show higher hippocampal neurogenesis, in association with higher BDNF expression, yet running did not further enhance these phenomena in G93A mice, probably due to a ‘ceiling effect’ of an already heightened basal levels of hippocampal neurogenesis and BDNF expression