Contrasting carbonate depositional systems for Pliocene cool-water limestones cropping out in central Hawke's Bay, New Zealand

Pliocene limestone formations in central Hawke's Bay (eastern North Island, New Zealand) accumulated on and near the margins of a narrow forearc basin seaway within the convergent Australia/Pacific plate boundary zone. The active tectonic setting and varied paleogeographic features of the limestone units investigated, in association with probable glacioeustatic sea-level fluctuations, resulted in complex stratigraphic architectures and contrasting types of carbonate accumulation on either side of the seaway. Here, we recognise recurring patterns of sedimentary facies, and sequences and systems tracts bounded by key physical surfaces within the limestone sheets. The facies types range from Bioclastic (B) to Siliciclastic (S) end-members via Mixed (M) carbonate-siliciclastic deposits. Skeletal components are typical cool-water associations dominated by epifaunal calcitic bivalves, bryozoans, and especially barnacles. Siliciclastic contents vary from one formation to another, and highlight siliciclastic-rich limestone units in the western ranges versus siliciclastic-poor limestone units in the eastern coastal hills. Heterogeneities in facies types, stratal patterns, and also in diagenetic pathways between eastern and western limestone units are considered to originate in the coeval occurrence in different parts of the forearc basin of two main morphodynamic carbonate systems over time

Heavy Quark Thermalization in Classical Lattice Gauge Theory: Lessons for Strongly-Coupled QCD

Thermalization of a heavy quark near rest is controlled by the correlator of two electric fields along a temporal Wilson line. We address this correlator within real-time, classical lattice Yang-Mills theory, and elaborate on the analogies that exist with the dynamics of hot QCD. In the weak-coupling limit, it can be shown analytically that the dynamics on the two sides are closely related to each other. For intermediate couplings, we carry out non-perturbative simulations within the classical theory, showing that the leading term in the weak-coupling expansion significantly underestimates the heavy quark thermalization rate. Our analytic and numerical results also yield a general understanding concerning the overall shape of the spectral function corresponding to the electric field correlator, which may be helpful in subsequent efforts to reconstruct it from Euclidean lattice Monte Carlo simulations.Comment: 22 pages. v2: a reference and clarifications added; published versio

Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions

The aim of this paper is to design the polynomial construction of a finite recognizer for hairpin completions of regular languages. This is achieved by considering completions as new expression operators and by applying derivation techniques to the associated extended expressions called hairpin expressions. More precisely, we extend partial derivation of regular expressions to two-sided partial derivation of hairpin expressions and we show how to deduce a recognizer for a hairpin expression from its two-sided derived term automaton, providing an alternative proof of the fact that hairpin completions of regular languages are linear context-free.Comment: 28 page

A Study of Non-Neutral Networks with Usage-based Prices

Hahn and Wallsten wrote that network neutrality "usually means that broadband service providers charge consumers only once for Internet access, do not favor one content provider over another, and do not charge content providers for sending information over broadband lines to end users." In this paper we study the implications of non-neutral behaviors under a simple model of linear demand-response to usage-based prices. We take into account advertising revenues and consider both cooperative and non-cooperative scenarios. In particular, we model the impact of side-payments between service and content providers. We also consider the effect of service discrimination by access providers, as well as an extension of our model to non-monopolistic content providers

On the Hierarchy of Block Deterministic Languages

A regular language is $k$-lookahead deterministic (resp. $k$-block deterministic) if it is specified by a $k$-lookahead deterministic (resp. $k$-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood ($k$-lookahead determinism) and by Giammarresi et al. ($k$-block determinism) as a possible extension of one-unambiguous languages defined and characterized by Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the inclusion links of these families. We first show that each $k$-block deterministic language is the alphabetic image of some one-unambiguous language. Moreover, we show that the conversion from a minimal DFA of a $k$-block deterministic regular language to a $k$-block deterministic automaton not only requires state elimination, and that the proof given by Han and Wood of a proper hierarchy in $k$-block deterministic languages based on this result is erroneous. Despite these results, we show by giving a parameterized family that there is a proper hierarchy in $k$-block deterministic regular languages. We also prove that there is a proper hierarchy in $k$-lookahead deterministic regular languages by studying particular properties of unary regular expressions. Finally, using our valid results, we confirm that the family of $k$-block deterministic regular languages is strictly included into the one of $k$-lookahead deterministic regular languages by showing that any $k$-block deterministic unary language is one-unambiguous

An Intuitive Automated Modelling Interface for Systems Biology

We introduce a natural language interface for building stochastic pi calculus models of biological systems. In this language, complex constructs describing biochemical events are built from basic primitives of association, dissociation and transformation. This language thus allows us to model biochemical systems modularly by describing their dynamics in a narrative-style language, while making amendments, refinements and extensions on the models easy. We demonstrate the language on a model of Fc-gamma receptor phosphorylation during phagocytosis. We provide a tool implementation of the translation into a stochastic pi calculus language, Microsoft Research's SPiM

Alien Registration- Caron, Ernest S. (Lewiston, Androscoggin County)

https://digitalmaine.com/alien_docs/29726/thumbnail.jp

Jumpstarting the all-loop S-matrix of planar N=4 super Yang-Mills

We derive a set of first-order differential equations obeyed by the S-matrix of planar maximally supersymmetric Yang-Mills theory. The equations, based on the Yangian symmetry of the theory, involve only finite and regulator-independent quantities and uniquely determine the all-loop S-matrix. When expanded in powers of the coupling they give derivatives of amplitudes as single integrals over lower-loop, higher-point amplitudes/Wilson loops. We outline a derivation for the equations using the Operator Product Expansion for Wilson loops. We apply them on a few examples at two- and three-loops, reproducing a recent result on the two-loop NMHV hexagon and fixing previously undermined coefficients in a recent Ansatz for the three-loop MHV hexagon. In addition, we consider amplitudes restricted to a two-dimensional subspace of Minkowski space and derive a particularly simple closed set of equations in that case