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

Phd by thesis

/pdf/convex-analysisnoer-san-nojin-zhan-nituite-5dl2rbmoyr.pdf

Convex Analysisの二,三の進展について

Model Checking

The Temporal Logic of Reactive and Concurrent Systems: Specification

The book is outstanding and admirable in many respects. ... is necessary reading for all kinds of readers from undergraduate students to top authorities in the field. Journal of Symbolic Logic Written by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and their applications of Kolmogorov complexity. The book presents a thorough treatment of the subject with a wide range of illustrative applications. Such applications include the randomness of finite objects or infinite sequences, Martin-Loef tests for randomness, information theory, computational learning theory, the complexity of algorithms, and the thermodynamics of computing. It will be ideal for advanced undergraduate students, graduate students, and researchers in computer science, mathematics, cognitive sciences, philosophy, artificial intelligence, statistics, and physics. The book is self-contained in that it contains the basic requirements from mathematics and computer science. Included are also numerous problem sets, comments, source references, and hints to solutions of problems. New topics in this edition include Omega numbers, KolmogorovLoveland randomness, universal learning, communication complexity, Kolmogorov's random graphs, time-limited universal distribution, Shannon information and others.

An Introduction to Kolmogorov Complexity and Its Applications

1. Introduction: The Classical Decision Problem.- 1.1 The Original Problem.- 1.2 The Transformation of the Classical Decision Problem.- 1.3 What Is and What Isn't in this Book.- I. Undecidable Classes.- 2. Reductions.- 2.1 Undecidability and Conservative Reduction.- 2.1.1 The Church-Turing Theorem and Reduction Classes.- 2.1.2 Trakhtenbrot's Theorem and Conservative Reductions.- 2.1.3 Inseparability and Model Complexity.- 2.2 Logic and Complexity.- 2.2.1 Propositional Satisfiability.- 2.2.2 The Spectrum Problem and Fagin's Theorem.- 2.2.3 Capturing Complexity Classes.- 2.2.4 A Decidable Prefix-Vocabulary Class.- 2.3 The Classifiability Problem.- 2.3.1 The Problem.- 2.3.2 Well Partially Ordered Sets.- 2.3.3 The Well Quasi Ordering of Prefix Sets.- 2.3.4 The Well Quasi Ordering of Arity Sequences.- 2.3.5 The Classifiability of Prefix-Vocabulary Sets.- 2.4 Historical Remarks.- 3. Undecidable Standard Classes for Pure Predicate Logic.- 3.1 The Kahr Class.- 3.1.1 Domino Problems.- 3.1.2 Formalization of Domino Problems by $$[\forall \exists \forall , (0,\omega )]$$-Formulae.- 3.1.3 Graph Interpretation of $$[\forall \exists \forall , (0,\omega )]$$-Formulae.- 3.1.4 The Remaining Cases Without $$\exists *$$.- 3.2 Existential Interpretation for $$[{{\forall }^{3}}\exists *, (0,1)]$$.- 3.3 The Gurevich Class.- 3.3.1 The Proof Strategy.- 3.3.2 Reduction to Diagonal-Freeness.- 3.3.3 Reduction to Shift-Reduced Form.- 3.3.4 Reduction toFi-Elimination Form.- 3.3.5 Elimination of MonadicFi.- 3.3.6 The Kostyrko-Genenz and Suranyi Classes.- 3.4 Historical Remarks.- 4. Undecidable Standard Classes with Functions or Equality.- 4.1 Classes with Functions and Equality.- 4.2 Classes with Functions but Without Equality.- 4.3 Classes with Equality but Without Functions: the Goldfarb Classes 161 4.3.1 Formalization of Natural Numbers in $$[{{\forall }^{3}}\exists *, (\omega ,\omega ),(0)]$$=.- 4.3.2 Using Only One Existential Quantifiers.- 4.3.3 Encoding the Non-Auxiliary Binary Predicates.- 4.3.4 Encoding the Auxiliary Binary Predicates of NUM*.- 4.4 Historical Remarks.- 5. Other Undecidable Cases.- 5.1 Krom and Horn Formulae.- 5.1.1 Krom Prefix Classes Without Functions or Equality.- 5.1.2 Krom Prefix Classes with Functions or Equality.- 5.2 Few Atomic Subformulae.- 5.2.1 Few Function and Equality Free Atoms.- 5.2.2 Few Equalities and Inequalities.- 5.2.3 Horn Clause Programs With One Krom Rule.- 5.3 Undecidable Logics with Two Variables.- 5.3.1 First-Order Logic with the Choice Operator.- 5.3.2 Two-Variable Logic with Cardinality Comparison.- 5.4 Conjunctions of Prefix-Vocabulary Classes.- 5.4.1 Reduction to the Case of Conjunctions.- 5.4.2 Another Classifiability Theorem.- 5.4.3 Some Results and Open Problems.- 5.5 Historical Remarks.- II. Decidable Classes and Their Complexity.- 6. Standard Classes with the Finite Model Property.- 6.1 Techniques for Proving Complexity Results.- 6.1.1 Domino Problems Revisited.- 6.1.2 Succinct Descriptions of Inputs.- 6.2 The Classical Solvable Cases.- 6.2.1 Monadic Formulae.- 6.2.2 The Bernays-Schonfinkel-Ramsey Class.- 6.2.3 The Godel-Kalmar-Schutte Class: a Probabilistic Proof.- 6.3 Formulae with One ?.- 6.3.1 A Satisfiability Test for [?*??*, all, all].- 6.3.2 The Ackermann Class.- 6.3.3 The Ackermann Class with Equality.- 6.4 Standard Classes of Modest Complexity.- 6.4.1 The Relational Classes in P, NP and Co-NP.- 6.4.2 Fragments of the Theory of One Unary Function.- 6.4.3 Other Functional Classes.- 6.5 Finite Model Property vs. Infinity Axioms.- 6.6 Historical Remarks.- 7. Monadic Theories and Decidable Standard Classes with Infinity Axioms.- 7.1 Automata, Games and Decidability of Monadic Theories.- 7.1.1 Monadic Theories.- 7.1.2 Automata on Infinite Words and the Monadic Theory of One Successor.- 7.1.3 Tree Automata, Rabin's Theorem and Forgetful De terminacy.- 7.1.4 The Forgetful Determinacy Theorem for Graph Games.- 7.2 The Monadic Second-Order Theory of One Unary Function.- 7.2.1 Decidability Results for One Unary Function.- 7.2.2 The Theory of One Unary Function is not Elementary Recursive.- 7.3 The Shelah Class.- 7.3.1 Algebras with One Unary Operation.- 7.3.2 Canonic Sentences.- 7.3.3 Terminology and Notation.- 7.3.4 1-Satisfiability.- 7.3.5 2-Satisfiability.- 7.3.6 Refinements.- 7.3.7 Villages.- 7.3.8 Contraction.- 7.3.9 Towns.- 7.3.10 The Final Reduction.- 7.4 Historical Remarks.- 8. Other Decidable Cases.- 8.1 First-Order Logic with Two Variables.- 8.2 Unification and Applications to the Decision Problem.- 8.2.1 Unification.- 8.2.2 Herbrand Formulae.- 8.2.3 Positive First-Order Logic.- 8.3 Decidable Classes of Krom Formulae.- 8.3.1 The Chain Criterion.- 8.3.2 The Aanderaa-Lewis Class.- 8.3.3 The Maslov Class.- 8.4 Historical Remarks.- A. Appendix: Tiling Problems.- A.1 Introduction.- A.2 The Origin Constrained Domino Problem.- A.3 Robinson's Aperiodic Tile Set.- A.4 The Unconstrained Domino Problem.- A.5 The Periodic Problem and the Inseparability Result.- Annotated Bibliography.

The classical decision problem

2 Static Algebras and Updates 4 2.1 Static Algebras: Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Vocabularies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.3 Definition of Static Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.4 Terms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.5 Locations and Updates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.6 Update Sets and Families of Update Sets . . . . . . . . . . . . . . . . . . . . . . . . 6 2.7 Conservative Determinism vs. Local Nondeterminism . . . . . . . . . . . . . . . . . . 7

https://www.microsoft.com/en-us/research/wp-content/uploads/2017/01/103.pdf

Evolving algebras 1993: Lipari guide

We examine sequential algorithms and formulate a sequential-time postulate, an abstract-state postulate, and a bounded-exploration postulate . Analysis of the postulates leads us to the notion of sequential abstract-state machine and to the theorem in the title. First we treat sequential algorithms that are deterministic and noninteractive. Then we consider sequential algorithms that may be nondeterministic and that may interact with their environments.

/pdf/sequential-abstract-state-machines-capture-sequential-9wmb56jk5v.pdf

Sequential abstract-state machines capture sequential algorithms

The subject of this paper is the part of finite model theory intimately related to the classical model theory. In the very beginning of our career in computer science, we attended a few lectures on database theory where databases were inconspicuously allowed to be infinite and then classical model-theoretical theorems were applied. The use of infinite databases aroused our suspicion and prompted us to investigate the status of some most famous modeltheoretical theorems in the case of finite structures [Gu84]. The theorems miserably fail. One theorem (a theorem of Roger Lyndon: Every sentence monotone in a predicate P is logically equivalent to a sentence positive in P [Ly59]) resisted the attack and was refuted by Miklos Ajtai and ourselves later [AG87]. In Section 1, we give some old and new counter-examples to classical model-theoretic theorems in the finite case. Of course, some classical theorems survive the transition to the finite case. For example, Ehrenfeucht’s game-theoretic characterization [Eh61] of the indistinguishability of two structures by sentences of a bounded depth remains valid in a very obvious way. For a while, it seemed however that no classical model-theoretic theorems (especially those whose proof involves the compactness theorem in one way or another) survive the transition to the finite case in a non-trivial way. The first, to our knowledge, positive result into this direction was published by Miklos Ajtai and ourselves [AG89]. The result is explained in Section 2. The second positive result was proven recently by Saharon Shelah and ourself [GS90]; this is the subject of Section 3. This article reflects a lecture given to Workshop on Feasible Mathematics that took place in June 1989 in Cornell University. (It was a wonderful, very well organized workshop with many interesting lectures and plenty time for discussions.) The reflection is not very faithful though. First, we skipped the part on logics tailored for computational complexity ∗Final version in: “Feasible Mathematics, Workshop, Cornell University, June, 1989” (ed. S.R. Buss and P.J. Scott), Perspectives in Computer Science, Birkhauser, 1990. †Address: EECS Department, University of Michigan, Ann Arbor, MI 48109-2122, USA. The work was partially supported by NSF grants DCR 85-03275 and CCR 89-04728.

On Finite Model Theory

In 1969 Rabin introduced tree automata and proved one of the deepest decidability results. If you worked on decision problems you did most probably use Rabin's result. But did you make your way through Rabin's cumbersome proof with its induction on countable ordinals? Building on ideas of our predecessors-&-mdash;and especially those of B-&-uuml;chi-&-mdash;we give here an alternative and transparent proof of Rabin's result. Generalizations and further results will be published elsewhere.

Yuri Gurevich

Papers

The classical decision problem

Evolving algebras 1993: Lipari guide

Sequential abstract-state machines capture sequential algorithms

On Finite Model Theory

Trees, automata, and games