Coupled Dynamics on Networks

We study the synchronization of coupled dynamical systems on a variety of networks. The dynamics is governed by a local nonlinear map or flow for each node of the network and couplings connecting different nodes via the links of the network. For small coupling strengths nodes show turbulent behavior but form synchronized clusters as coupling increases. When nodes show synchronized behaviour, we observe two interesting phenomena. First, there are some nodes of the floating type that show intermittent behaviour between getting attached to some clusters and evolving independently. Secondly, we identify two different ways of cluster formation, namely self-organized clusters which have mostly intra-cluster couplings and driven clusters which have mostly inter-cluster couplings

Amortised resource analysis with separation logic

Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete resource bounds for functional programs, with good support for inference. In this work we translate the idea of amortised resource analysis to imperative languages by embedding a logic of resources, based on Bunched Implications, within Separation Logic. The Separation Logic component allows us to assert the presence and shape of mutable data structures on the heap, while the resource component allows us to state the resources associated with each member of the structure. We present the logic on a small imperative language with procedures and mutable heap, based on Java bytecode. We have formalised the logic within the Coq proof assistant and extracted a certified verification condition generator. We demonstrate the logic on some examples, including proving termination of in-place list reversal on lists with cyclic tails

Spectral simplicity and asymptotic separation of variables

We describe a method for comparing the real analytic eigenbranches of two families of quadratic forms that degenerate as t tends to zero. One of the families is assumed to be amenable to `separation of variables' and the other one not. With certain additional assumptions, we show that if the families are asymptotic at first order as t tends to 0, then the generic spectral simplicity of the separable family implies that the eigenbranches of the second family are also generically one-dimensional. As an application, we prove that for the generic triangle (simplex) in Euclidean space (constant curvature space form) each eigenspace of the Laplacian is one-dimensional. We also show that for all but countably many t, the geodesic triangle in the hyperbolic plane with interior angles 0, t, and t, has simple spectrum.Comment: 53 pages, 2 figure

A differential viscosity detector for use in miniaturized chemical separation systems

Abstract—In this paper, we present a micromachined differential viscosity detector suitable for integration into an on-chip hydro-dynamic chromatography system. The general design, however, is applicable to any liquid chromatography system that is used for separation of polymers. The micromachined part of the detector consists of a fluidic Wheatstone bridge and a low hydraulic capaci-tance pressure sensor of which the pressure sensing is based on op-tical detection of a membrane deflection. The stand-alone sensor shows a resolution in specific viscosity of 3 10 3, in which spe-cific viscosity is defined as the increase in viscosity by a sample, relative to the baseline viscosity of a solvent. [0947] Index Terms—Microfluidics, viscometer, viscosity detection

Heteromeric TRPV4/TRPC1 channels mediate calcium-sensing receptor-induced relaxations and nitric oxide production in mesenteric arteries: comparative study using wild-type and TRPC1−/- mice

We have previously provided pharmacological evidence that stimulation of calcium-sensing receptors (CaSR) induces endothelium-dependent relaxations of rabbit mesenteric arteries through activation of heteromeric TRPV4/TRPC1 channels and nitric oxide (NO) production. The present study further investigates the role of heteromeric TRPV4/TRPC1 channels in these CaSR-induced vascular responses by comparing responses in mesenteric arteries from wild-type (WT) and TRPC1-/- mice. In WT mice, stimulation of CaSR induced endothelium-dependent relaxations of pre-contracted tone and NO generation in endothelial cells (ECs), which were inhibited by the TRPV4 channel blocker RN1734 and the TRPC1 blocking antibody T1E3. In addition, TRPV4 and TRPC1 proteins were colocalised at, or close to, the plasma membrane of endothelial cells (ECs) from WT mice. In contrast, in TRPC1-/- mice, CaSR-mediated vasorelaxations and NO generation were greatly reduced, unaffected by T1E3, but blocked by RN1734. In addition, the TRPV4 agonist GSK1016790A (GSK) induced endothelium-dependent vasorelaxations which were blocked by RN1734 and T1E3 in WT mice, but only by RN1734 in TRPC1-/- mice. Moreover, GSK activated cation channel activity with a 6pS conductance in WT ECs but with a 52 pS conductance in TRPC1-/- ECs. These results indicate that stimulation of CaSR activates heteromeric TRPV4/TRPC1 channels and NO production in ECs, which are responsible for endothelium-dependent vasorelaxations. This study also suggests that heteromeric TRPV4-TRPC1 channels may form the predominant TRPV4-containing channels in mouse mesenteric artery ECs. Together, our data further implicates CaSR-induced pathways and heteromeric TRPV4/TRPC1 channels in the regulation of vascular tone

On Synchronization in a Lattice Model of Pulse-Coupled Oscillators

We analyze the collective behavior of a lattice model of pulse-coupled oscillators. By means of computer simulations we find the relation between the intrinsic dynamics of each member of the population and their mutual interaction that ensures, in a general context, the existence of a fully synchronized regime. This condition turns out to be the same than the obtained for the globally coupled population. When the condition is not completely satisfied we find different spatial structures. This also gives some hints about self-organized criticality.Comment: 4 pages, RevTex, 1 PostScript available upon request, To appear in Phys. Rev. Let

Antithrombotic stewardship: A multidisciplinary team approach towards improving antithrombotic therapy outcomes during and after hospitalisation

_Introduction:_ Antithrombotic therapy carries high risks for patient safety. Antithrombotics belong to the top 5 medications involved in potentially preventable hospital admissions related to medication. To provide a standard for antithrombotic therapy and stress the importance of providing optimal care to patients on antithrombotic therapy, the Landelijke Standaard Ketenzorg Antistolling (LSKA; Dutch guideline on integrated antithrombotic care) was drafted. However, the mere publication of this guideline does not guarantee its implementation. This may require a multidisciplinary team effort. Therefore, we designed a study aiming to determine the influence of hospital-based antithrombotic stewardship on the effect and safety of antithrombotic therapy outcomes during and after hospitalisation. _Methods and analysis:_ In this study, the effect of the implementation of a multidisciplinary antithrombotic team is compared with usual care using a pre-post study design. The study is performed at the Erasmus University Medical Center Rotterdam and the Reinier de Graaf Hospital Delft. Patients who are or will be treated with antithrombotics are included in the study. We aim to include 1900 patients, 950 in each hospital. Primary outcome is the proportion of patients with a composite end point consisting of ≥1 bleeding or ≥1 thrombotic event from the beginning of antithrombotic therapy (or hospitalisation) until 3 months after hospitalisation. Bleeding is defined according to the International Society of Thrombosis and Haemostasis (ISTH) classification. A thrombotic event is defined as any objectively confirmed arterial or venous thrombosis, including acute myocardial infarction or stroke for arterial thrombosis and deep venous thrombosis or pulmonary embolism or venous thrombosis. An economic evaluation is performed to determine whether the implementation of the multidisciplinary antithrombotic team will be cost-effective. _Ethics and dissemination:_ This protocol was approved by the Medical Ethical Committee of the Erasmus University Medical Center. The findings of the study will be disseminated through peer-reviewed journals and presented at relevant conferences

The Self Model and the Conception of Biological Identity in Immunology

The self/non-self model, first proposed by F.M. Burnet, has dominated immunology for sixty years now. According to this model, any foreign element will trigger an immune reaction in an organism, whereas endogenous elements will not, in normal circumstances, induce an immune reaction. In this paper we show that the self/non-self model is no longer an appropriate explanation of experimental data in immunology, and that this inadequacy may be rooted in an excessively strong metaphysical conception of biological identity. We suggest that another hypothesis, one based on the notion of continuity, gives a better account of immune phenomena. Finally, we underscore the mapping between this metaphysical deflation from self to continuity in immunology and the philosophical debate between substantialism and empiricism about identity

Sub-terahertz, microwaves and high energy emissions during the December 6, 2006 flare, at 18:40 UT

The presence of a solar burst spectral component with flux density increasing with frequency in the sub-terahertz range, spectrally separated from the well-known microwave spectral component, bring new possibilities to explore the flaring physical processes, both observational and theoretical. The solar event of 6 December 2006, starting at about 18:30 UT, exhibited a particularly well-defined double spectral structure, with the sub-THz spectral component detected at 212 and 405 GHz by SST and microwaves (1-18 GHz) observed by the Owens Valley Solar Array (OVSA). Emissions obtained by instruments in satellites are discussed with emphasis to ultra-violet (UV) obtained by the Transition Region And Coronal Explorer (TRACE), soft X-rays from the Geostationary Operational Environmental Satellites (GOES) and X- and gamma-rays from the Ramaty High Energy Solar Spectroscopic Imager (RHESSI). The sub-THz impulsive component had its closer temporal counterpart only in the higher energy X- and gamma-rays ranges. The spatial positions of the centers of emission at 212 GHz for the first flux enhancement were clearly displaced by more than one arc-minute from positions at the following phases. The observed sub-THz fluxes and burst source plasma parameters were found difficult to be reconciled to a purely thermal emission component. We discuss possible mechanisms to explain the double spectral components at microwaves and in the THz ranges.Comment: Accepted version for publication in Solar Physic

Theoretical overview on high-energy emission in microquasars

Microquasar (MQ) jets are sites of particle acceleration and synchrotron emission. Such synchrotron radiation has been detected coming from jet regions of different spatial scales, which for the instruments at work nowadays appear as compact radio cores, slightly resolved radio jets, or (very) extended structures. Because of the presence of relativistic particles and dense photon, magnetic and matter fields, these outflows are also the best candidates to generate the very high-energy (VHE) gamma-rays detected coming from two of these objects, LS 5039 and LS I +61 303, and may be contributing significantly to the X-rays emitted from the MQ core. In addition, beside electromagnetic radiation, jets at different scales are producing some amount of leptonic and hadronic cosmic rays (CR), and evidences of neutrino production in these objects may be eventually found. In this work, we review on the different physical processes that may be at work in or related to MQ jets. The jet regions capable to produce significant amounts of emission at different wavelengths have been reduced to the jet base, the jet at scales of the order of the size of the system orbital semi-major axis, the jet middle scales (the resolved radio jets), and the jet termination point. The surroundings of the jet could be sites of multiwavelegnth emission as well, deserving also an insight. We focus on those scenarios, either hadronic or leptonic, in which it seems more plausible to generate both photons from radio to VHE and high-energy neutrinos. We briefly comment as well on the relevance of MQ as possible contributors to the galactic CR in the GeV-PeV range.Comment: Astrophysics & Space Science, in press (invited talk in the conference: The multimessenger approach to the high-energy gamma-ray sources", Barcelona/Catalonia, in July 4-7); 10 pages, 6 figures, 2 tables (one reference corrected