111 research outputs found
A Reo model of Software Defined Networks
Reo is a compositional coordination language for component connectors with a formal semantics based on automata. In this paper, we propose a formal model of software defined networks (SDNs) based on Reo where declarative constructs comprising of basic Reo primitives compose to specify descriptive models of both data and control planes of SDNs. We first describe the model of an SDN switch which can be compactly represented as a single state constraint automaton with a memory storing its flow table. A full network can then be compositionally constructed by composing the switches with basic communication channels. The reactive and proactive behaviour of the controllers in the control plane of an SDN can also be modelled by Reo connectors, which can compose the connectors representing data plane. The resulting model is suitable for testing, simulation, visualization, verification, and ultimately compilation into SDN switch code using the standard tools already available for Reo
The , , and mesons in a double pole QCD Sum Rule
We use the method of double pole QCD sum rule which is basically a fit with
two exponentials of the correlation function, where we can extract the masses
and decay constants of mesons as a function of the Borel mass. We apply this
method to study the mesons: , , and
. We also present predictions for the toponiuns masses
of m(1S)=357 GeV and m(2S)=374 GeV.Comment: 14 pages, 11 figures in Braz J Phys (2016
Long-Time Asymptotics for the Korteweg-de Vries Equation via Nonlinear Steepest Descent
We apply the method of nonlinear steepest descent to compute the long-time
asymptotics of the Korteweg-de Vries equation for decaying initial data in the
soliton and similarity region. This paper can be viewed as an expository
introduction to this method.Comment: 31 page
Spin-2 spectrum of defect theories
We study spin-2 excitations in the background of the recently-discovered
type-IIB solutions of D'Hoker et al. These are holographically-dual to defect
conformal field theories, and they are also of interest in the context of the
Karch-Randall proposal for a string-theory embedding of localized gravity. We
first generalize an argument by Csaki et al to show that for any solution with
four-dimensional anti-de Sitter, Poincare or de Sitter invariance the spin-2
excitations obey the massless scalar wave equation in ten dimensions. For the
interface solutions at hand this reduces to a Laplace-Beltrami equation on a
Riemann surface with disk topology, and in the simplest case of the
supersymmetric Janus solution it further reduces to an ordinary differential
equation known as Heun's equation. We solve this equation numerically, and
exhibit the spectrum as a function of the dilaton-jump parameter .
In the limit of large a nearly-flat linear-dilaton dimension grows
large, and the Janus geometry becomes effectively five-dimensional. We also
discuss the difficulties of localizing four-dimensional gravity in the more
general backgrounds with NS5-brane or D5-brane charge, which will be analyzed
in detail in a companion paper.Comment: 41 pages, 6 figure
Spinning strings and integrable spin chains in the AdS/CFT correspondence
In this introductory review we discuss dynamical tests of the AdS_5 x S^5
string/N=4 super Yang-Mills duality. After a brief introduction to AdS/CFT we
argue that semiclassical string energies yield information on the quantum
spectrum of the string in the limit of large angular momenta on the S^5. The
energies of the folded and circular spinning string solutions rotating on a S^3
within the S^5 are derived, which yield all loop predictions for the dual gauge
theory scaling dimensions. These follow from the eigenvalues of the dilatation
operator of N=4 super Yang-Mills in a minimal SU(2) subsector and we display
its reformulation in terms of a Heisenberg s=1/2 spin chain along with the
coordinate Bethe ansatz for its explicit diagonalization. In order to make
contact to the spinning string energies we then study the thermodynamic limit
of the one-loop gauge theory Bethe equations and demonstrate the matching with
the folded and closed string result at this loop order. Finally the known gauge
theory results at higher-loop orders are reviewed and the associated long-range
spin chain Bethe ansatz is introduced, leading to an asymptotic all-loop
conjecture for the gauge theory Bethe equations. This uncovers discrepancies at
the three-loop order between gauge theory scaling dimensions and string theory
energies and the implications of this are discussed. Along the way we comment
on further developments and generalizations of the subject and point to the
relevant literature.Comment: 40 pages, invited contribution to Living Reviews in Relativity. v2:
improvements in the text and references adde
Large scale analytic calculations in quantum field theories
We present a survey on the mathematical structure of zero- and single scale
quantities and the associated calculation methods and function spaces in higher
order perturbative calculations in relativistic renormalizable quantum field
theories.Comment: 25 pages Latex, 1 style fil
Multiplicity of cerebrospinal fluid functions: New challenges in health and disease
This review integrates eight aspects of cerebrospinal fluid (CSF) circulatory dynamics: formation rate, pressure, flow, volume, turnover rate, composition, recycling and reabsorption. Novel ways to modulate CSF formation emanate from recent analyses of choroid plexus transcription factors (E2F5), ion transporters (NaHCO3 cotransport), transport enzymes (isoforms of carbonic anhydrase), aquaporin 1 regulation, and plasticity of receptors for fluid-regulating neuropeptides. A greater appreciation of CSF pressure (CSFP) is being generated by fresh insights on peptidergic regulatory servomechanisms, the role of dysfunctional ependyma and circumventricular organs in causing congenital hydrocephalus, and the clinical use of algorithms to delineate CSFP waveforms for diagnostic and prognostic utility. Increasing attention focuses on CSF flow: how it impacts cerebral metabolism and hemodynamics, neural stem cell progression in the subventricular zone, and catabolite/peptide clearance from the CNS. The pathophysiological significance of changes in CSF volume is assessed from the respective viewpoints of hemodynamics (choroid plexus blood flow and pulsatility), hydrodynamics (choroidal hypo- and hypersecretion) and neuroendocrine factors (i.e., coordinated regulation by atrial natriuretic peptide, arginine vasopressin and basic fibroblast growth factor). In aging, normal pressure hydrocephalus and Alzheimer's disease, the expanding CSF space reduces the CSF turnover rate, thus compromising the CSF sink action to clear harmful metabolites (e.g., amyloid) from the CNS. Dwindling CSF dynamics greatly harms the interstitial environment of neurons. Accordingly the altered CSF composition in neurodegenerative diseases and senescence, because of adverse effects on neural processes and cognition, needs more effective clinical management. CSF recycling between subarachnoid space, brain and ventricles promotes interstitial fluid (ISF) convection with both trophic and excretory benefits. Finally, CSF reabsorption via multiple pathways (olfactory and spinal arachnoidal bulk flow) is likely complemented by fluid clearance across capillary walls (aquaporin 4) and arachnoid villi when CSFP and fluid retention are markedly elevated. A model is presented that links CSF and ISF homeostasis to coordinated fluxes of water and solutes at both the blood-CSF and blood-brain transport interfaces
- âŠ