Phd by thesis
TL;DR: In this paper, a sedimentological core and petrographic characterisation of samples from eleven boreholes from the Lower Carboniferous of Bowland Basin (Northwest England) is presented.
Abstract: Deposits of clastic carbonate-dominated (calciclastic) sedimentary slope systems in the rock record have been identified mostly as linearly-consistent carbonate apron deposits, even though most ancient clastic carbonate slope deposits fit the submarine fan systems better. Calciclastic submarine fans are consequently rarely described and are poorly understood. Subsequently, very little is known especially in mud-dominated calciclastic submarine fan systems. Presented in this study are a sedimentological core and petrographic characterisation of samples from eleven boreholes from the Lower Carboniferous of Bowland Basin (Northwest England) that reveals a >250 m thick calciturbidite complex deposited in a calciclastic submarine fan setting. Seven facies are recognised from core and thin section characterisation and are grouped into three carbonate turbidite sequences. They include: 1) Calciturbidites, comprising mostly of highto low-density, wavy-laminated bioclast-rich facies; 2) low-density densite mudstones which are characterised by planar laminated and unlaminated muddominated facies; and 3) Calcidebrites which are muddy or hyper-concentrated debrisflow deposits occurring as poorly-sorted, chaotic, mud-supported floatstones. These
Citations
More filters
TL;DR: In this article, it was shown that local random quantum circuits generate unitary transformations whose complexity grows linearly for a long time, mirroring the behavior one expects in chaotic quantum systems and verifying conjectures by Brown and Susskind.
Abstract: The concept of quantum complexity has far-reaching implications spanning theoretical computer science, quantum many-body physics, and high energy physics. The quantum complexity of a unitary transformation or quantum state is defined as the size of the shortest quantum computation that executes the unitary or prepares the state. It is reasonable to expect that the complexity of a quantum state governed by a chaotic many-body Hamiltonian grows linearly with time for a time that is exponential in the system size; however, because it is hard to rule out a short-cut that improves the efficiency of a computation, it is notoriously difficult to derive lower bounds on quantum complexity for particular unitaries or states without making additional assumptions. To go further, one may study more generic models of complexity growth. We provide a rigorous connection between complexity growth and unitary $k$-designs, ensembles which capture the randomness of the unitary group. This connection allows us to leverage existing results about design growth to draw conclusions about the growth of complexity. We prove that local random quantum circuits generate unitary transformations whose complexity grows linearly for a long time, mirroring the behavior one expects in chaotic quantum systems and verifying conjectures by Brown and Susskind. Moreover, our results apply under a strong definition of quantum complexity based on optimal distinguishing measurements.
76 citations
Cites methods from "Phd by thesis"
...Many of the important analytic expressions for Haar averages rely on Schur-Weyl duality [37,38], a deep connection between irreducible representations (irreps) of the unitary group U(d) and the symmetric group Sk....
[...]
...We establish this result by combining Schur-Weyl duality [37,38] with Weingarten calculus [39,40] and auxiliary arguments from tensor network theory [41,42] and convex optimization [43,44]....
[...]
TL;DR: In this paper, a four-dimensional regularization of Lovelock-Lanczos gravity up to an arbitrary curvature order is considered, and the cosmological and black hole solutions arising from these theories are discussed.
Abstract: A four-dimensional regularization of Lovelock-Lanczos gravity up to an arbitrary curvature order is considered. We show that Lovelock-Lanczos terms can provide a non-trivial contribution to the Einstein field equations in four dimensions, for spherically symmetric and Friedmann-Lemaitre-Robertson-Walker spacetimes, as well as at first order in perturbation theory around (anti) de Sitter vacua. We will discuss the cosmological and black hole solutions arising from these theories, focusing on the presence of attractors and their stability. Although curvature singularities persist for any finite number of Lovelock terms, it is shown that they disappear in the non-perturbative limit of a theory with a unique vacuum.
76 citations
01 Sep 2001
TL;DR: A framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution, and a Gentzen style proof system for proving validity of such assertions is presented.
Abstract: We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. The proof system supports property decomposition through a cut rule and handles program recursion through well-founded induction. An implementation is available in the form of a proof assistant tool for checking the correctness of proof steps. The tool offers support for automatic proof discovery through higher--level rules tailored to Erlang. As illustrated in several case
76 citations
TL;DR: In this paper, the authors analyze a global dataset of PKP(AB−DF) travel times residuals, and discuss their significant dispersion (±2 s), and coherent large scale patterns.
76 citations
Cites methods from "Phd by thesis"
...5 s of those computed for a typical path from South Sandwich Islands to northern Eurasia, using an acoustic 2D ¢nite difference algorithm [34]....
[...]
TL;DR: In this paper, a linear instability of pressure-driven pipe flow of a viscoelastic fluid, obeying the Oldroyd-B constitutive equation commonly used to model dilute polymer solutions, was shown to exist at Reynolds numbers significantly lower than those at which transition to turbulence is typically observed for Newtonian pipe flow.
Abstract: Newtonian pipe flow is known to be linearly stable at all Reynolds numbers. We report, for the first time, a linear instability of pressure-driven pipe flow of a viscoelastic fluid, obeying the Oldroyd-B constitutive equation commonly used to model dilute polymer solutions. The instability is shown to exist at Reynolds numbers significantly lower than those at which transition to turbulence is typically observed for Newtonian pipe flow. Our results qualitatively explain experimental observations of transition to turbulence in pipe flow of dilute polymer solutions at flow rates where Newtonian turbulence is absent. The instability discussed here should form the first stage in a hitherto unexplored dynamical pathway to turbulence in polymer solutions. An analogous instability exists for plane Poiseuille flow.
76 citations
References
More filters
TL;DR: A new family of highly fluorescent indicators has been synthesized for biochemical studies of the physiological role of cytosolic free Ca2+ using an 8-coordinate tetracarboxylate chelating site with stilbene chromophores that offer up to 30-fold brighter fluorescence.
21,582 citations
"Phd by thesis" refers background in this paper
...members of this group were produced by Tsien and colleagues [1, 10, 11]....
[...]
...The introduction of Ca 2+ -sensitive fluorescent dyes more than twenty years ago and their permanent improvement [10] enabled investigators to gain unprecedented insights into the mechanisms of cellular signalling....
[...]
01 Nov 1990
TL;DR: This report will establish methods for performing a domain analysis and describe the products of the domain analysis process to illustrate the application of domain analysis to a representative class of software systems.
Abstract: : Successful Software reuse requires the systematic discovery and exploitation of commonality across related software systems. By examining related software systems and the underlying theory of the class of systems they represent, domain analysis can provide a generic description of the requirements of that class of systems and a set of approaches for their implementation. This report will establish methods for performing a domain analysis and describe the products of the domain analysis process. To illustrate the application of domain analysis to a representative class of software systems, this report will provide a domain analysis of window management system software.
4,420 citations
TL;DR: The straw person model (SPM) as mentioned in this paper has been proposed to explain the orientation effects of active galactic nuclei (AGN) and quasars in the line of sight (LOS) images.
Abstract: Because the critical central regions of Active Galactic Nuclei (AGN) and quasars are strongly nonspherical but spatially unresolved, orientation effects have been the source of much confusion. In fact, it now appears that much of the variety in AGN types is just the result of varying orientation relative to the line of sight. We can define an extreme hypothesis,, the straw person model (SPM), in which there are two basic types of AGN: the radio quiets and the radio louds. For each type there is a range in intrinsic luminosity, and the luminosity controls some properties such as the Fanaroff and Riley classes. However, at a given intrinsic luminosity, all other properties such as spectroscopic classification and VLBI component speeds are ascribed to orientation. This model is only a caricature of the unification idea, and is already ruled out on many grounds, but it will be useful for organizing the discussion. I’ll describe what I consider to be convincing evidence that orientation effects are important and widespread. The true situation may be in some sense half way between the SPM and the hypothesis that orientation doesn’t affect classification at aIl. To us optimists, the orienration cup is half full rather than half empty. Although it is too soon to say for sure, the hypothesis that most objects’ classifications would be different if seen from other directions is a tenable one today.
4,005 citations
TL;DR: This Review assembles the current knowledge on the isolation of microfibrillated cellulose from wood and its application in nanocomposites; the preparation of nanocrystalline cellulose and its use as a reinforcing agent; and the biofabrication of bacterial nanocellulose, as well as its evaluation as a biomaterial for medical implants.
Abstract: Cellulose fibrils with widths in the nanometer range are nature-based materials with unique and potentially useful features. Most importantly, these novel nanocelluloses open up the strongly expanding fields of sustainable materials and nanocomposites, as well as medical and life-science devices, to the natural polymer cellulose. The nanodimensions of the structural elements result in a high surface area and hence the powerful interaction of these celluloses with surrounding species, such as water, organic and polymeric compounds, nanoparticles, and living cells. This Review assembles the current knowledge on the isolation of microfibrillated cellulose from wood and its application in nanocomposites; the preparation of nanocrystalline cellulose and its use as a reinforcing agent; and the biofabrication of bacterial nanocellulose, as well as its evaluation as a biomaterial for medical implants.
3,452 citations
TL;DR: The solid electrolyte interphase (SEI) is a protecting layer formed on the negative electrode of Li-ion batteries as a result of electrolyte decomposition, mainly during the first cycle as discussed by the authors.
2,386 citations