A Study on the Parallelization of Terrain-Covering Ant Robots Simulations

Agent-based simulation is used as a tool for supporting (time-critical) decision making in differentiated contexts. Hence, techniques for speeding up the execution of agent-based models, such as Parallel Discrete Event Simulation (PDES), are of great relevance/benefit. On the other hand, parallelism entails that the final output provided by the simulator should closely match the one provided by a traditional sequential run. This is not obvious given that, for performance and efficiency reasons, parallel simulation engines do not allow the evaluation of global predicates on the simulation model evolution with arbitrary time-granularity along the simulation time-Axis. In this article we present a study on the effects of parallelization of agent-based simulations, focusing on complementary aspects such as performance and reliability of the provided simulation output. We target Terrain Covering Ant Robots (TCAR) simulations, which are useful in rescue scenarios to determine how many agents (i.e., robots) should be used to completely explore a certain terrain for possible victims within a given time. © 2014 Springer-Verlag Berlin Heidelberg

Fragments of ML Decidable by Nested Data Class Memory Automata

The call-by-value language RML may be viewed as a canonical restriction of Standard ML to ground-type references, augmented by a "bad variable" construct in the sense of Reynolds. We consider the fragment of (finitary) RML terms of order at most 1 with free variables of order at most 2, and identify two subfragments of this for which we show observational equivalence to be decidable. The first subfragment consists of those terms in which the P-pointers in the game semantic representation are determined by the underlying sequence of moves. The second subfragment consists of terms in which the O-pointers of moves corresponding to free variables in the game semantic representation are determined by the underlying moves. These results are shown using a reduction to a form of automata over data words in which the data values have a tree-structure, reflecting the tree-structure of the threads in the game semantic plays. In addition we show that observational equivalence is undecidable at every third- or higher-order type, every second-order type which takes at least two first-order arguments, and every second-order type (of arity greater than one) that has a first-order argument which is not the final argument

Intestinal fibrosis is reduced by early elimination of inflammation in a mouse model of IBD: Impact of a “Top‐Down” approach to intestinal fibrosis in mice

Background: The natural history of Crohn's disease follows a path of progression from an inflammatory to a fibrostenosing disease, with most patients requiring surgical resection of fibrotic strictures. Potent antiinflammatory therapies reduce inflammation but do not appear to alter the natural history of intestinal fibrosis. The aim of this study was to determine the relationship between intestinal inflammation and fibrogenesis and the impact of a very early “top‐down” interventional approach on fibrosis in vivo. Methods: In this study we removed the inflammatory stimulus from the Salmonella typhimurium mouse model of intestinal fibrosis by eradicating the S. typhimurium infection with levofloxacin at sequential timepoints during the infection. We evaluated the effect of this elimination of the inflammatory stimulus on the natural history of inflammation and fibrosis as determined by gross pathology, histopathology, mRNA expression, and protein expression. Results: Fibrogenesis is preceded by inflammation. Delayed eradication of the inflammatory stimulus by antibiotic treatment represses inflammation without preventing fibrosis. Early intervention significantly ameliorates but does not completely prevent subsequent fibrosis. Conclusions: This study demonstrates that intestinal fibrosis develops despite removal of an inflammatory stimulus and elimination of inflammation. Early intervention ameliorates but does not abolish subsequent fibrosis, suggesting that fibrosis, once initiated, is self‐propagating, suggesting that a very early top‐down interventional approach may have the most impact on fibrostenosing disease. (Inflamm Bowel Dis 2012;)Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/90367/1/21812_ftp.pd

The potential of effective field theory in NN scattering

We study an effective field theory of interacting nucleons at distances much greater than the pion's Compton wavelength. In this regime the NN potential is conjectured to be the sum of a delta function and its derivatives. The question we address is whether this sum can be consistently truncated at a given order in the derivative expansion, and systematically improved by going to higher orders. Regularizing the Lippmann-Schwinger equation using a cutoff we find that the cutoff can be taken to infinity only if the effective range is negative. A positive effective range---which occurs in nature---requires that the cutoff be kept finite and below the scale of the physics which has been integrated out, i.e. O(m_\pi). Comparison of cutoff schemes and dimensional regularization reveals that the physical scattering amplitude is sensitive to the choice of regulator. Moreover, we show that the presence of some regulator scale, a feature absent in dimensional regularization, is essential if the effective field theory of NN scattering is to be useful. We also show that one can define a procedure where finite cutoff dependence in the scattering amplitude is removed order by order in the effective potential. However, the characteristic momentum in the problem is given by the cutoff, and not by the external momentum. It follows that in the presence of a finite cutoff there is no small parameter in the effective potential, and consequently no systematic truncation of the derivative expansion can be made. We conclude that there is no effective field theory of NN scattering with nucleons alone.Comment: 25 pages LaTeX, 3 figures (uses epsf

Electric properties of the Beryllium-11 system in Halo EFT

We compute E1 transitions and electric radii in the Beryllium-11 nucleus using an effective field theory that exploits the separation of scales in this halo system. We fix the leading-order parameters of the EFT from measured data on the 1/2+ and 1/2- levels in Be-11 and the B(E1) strength for the transition between them. We then obtain predictions for the B(E1) strength for Coulomb dissociation of the Be-11 nucleus to the continuum. We also compute the charge radii of the 1/2+ and 1/2- states. Agreement with experiment within the expected accuracy of a leading-order computation in this EFT is obtained. We also discuss how next-to-leading-order (NLO) corrections involving both s-wave and p-wave neutron-Be-10 interactions affect our results, and display the NLO predictions for quantities which are free of additional short-distance operators at this order. Information on neutron-Be-10 scattering in the relevant channels is inferred.Comment: 27 pages, 8 figures, final versio

Prox-regularity of rank constraint sets and implications for algorithms

We present an analysis of sets of matrices with rank less than or equal to a specified number $s$. We provide a simple formula for the normal cone to such sets, and use this to show that these sets are prox-regular at all points with rank exactly equal to $s$. The normal cone formula appears to be new. This allows for easy application of prior results guaranteeing local linear convergence of the fundamental alternating projection algorithm between sets, one of which is a rank constraint set. We apply this to show local linear convergence of another fundamental algorithm, approximate steepest descent. Our results apply not only to linear systems with rank constraints, as has been treated extensively in the literature, but also nonconvex systems with rank constraints.Comment: 12 pages, 24 references. Revised manuscript to appear in the Journal of Mathematical Imaging and Visio

Muon spin relaxation studies of incommensurate magnetism and superconductivity in stage-4 La2_{2}CuO4.11_{4.11} and La1.88_{1.88}Sr0.12_{0.12}CuO4_{4}

This paper reports muon spin relaxation (MuSR) measurements of two single crystals of the title high-Tc cuprate systems where static incommensurate magnetism and superconductivity coexist. By zero-field MuSR measurements and subsequent analyses with simulations, we show that (1) the maximum ordered Cu moment size (0.36 Bohr magneton) and local spin structure are identical to those in prototypical stripe spin systems with the 1/8 hole concentration; (2) the static magnetism is confined to less than a half of the volume of the sample, and (3) regions with static magnetism form nano-scale islands with the size comparable to the in-plane superconducting coherence length. By transverse-field MuSR measurements, we show that Tc of these systems is related to the superfluid density, in the same way as observed in cuprate systems without static magnetism. We discuss a heuristic model involving percolation of these nanoscale islands with static magnetism as a possible picture to reconcile heterogeneity found by the present MuSR study and long-range spin correlations found by neutron scattering.Comment: 19 pages, 15 figures, submitted to Phys. Rev. B. E-mail: [email protected]

Neutrino-Deuteron Scattering in Effective Field Theory at Next-to-Next-to Leading Order

We study the four channels associated with neutrino-deuteron breakup reactions at next-to-next to leading order in effective field theory. We find that the total cross-section is indeed converging for neutrino energies up to 20 MeV, and thus our calculations can provide constraints on theoretical uncertainties for the Sudbury Neutrino Observatory. We stress the importance of a direct experimental measurement to high precision in at least one channel, in order to fix an axial two-body counterterm.Comment: 32 pages, 14 figures (eps

Muon Spin Rotation study of the (TMTSF)2ClO4(TMTSF)_2ClO_4 system

We report a study of the organic compound $(TMTSF)_2 ClO_4$ in both a sample cooled very slowly through the anion ordering temperature (relaxed state) and a sample cooled more rapidly (intermediate state). For the relaxed state the entire sample is observed to be superconducting below about T_c ~ 1.2 K. The second moment of the internal field distribution was measured for the relaxed state yielding an in-plane penetration depth of ~ 12000 Angstroms. The intermediate state sample entered a mixed phase state, characterized by coexisting macroscopic sized regions of superconducting and spin density wave (SDW) regions, below T_c ~ 0.87 K. These data were analyzed using a back-to-back cutoff exponential function, allowing the extraction of the first three moments of the magnetic field distribution. Formation of a vortex lattice is observed below 0.87 K as evidenced by the diamagnetic shift for the two fields in which we took intermediate state data.Comment: 6 pages, 3 figures, to be submitted to Physica

Nucleon-Nucleon Interaction and Isospin Violation

The application of the chiral effective theory to processes with two or more nucleons is discussed. We gain a qualitative understanding of the gross features of nuclear physics and quantitative, testable postdictions and predictions involving photons and pions.Comment: 17 pages, 2 ps figures, uses lamuphys.sty and epsfig.sty; invited plenary talk at the Chiral Dynamics Workshop, Mainz, Sept 1-5 199