Filters








19 Hits in 4.9 sec

Newton series, coinductively: a comparative study of composition

HENNING BASOLD, HELLE HVID HANSEN, JEAN-ÉRIC PIN, JAN RUTTEN
2017 Mathematical Structures in Computer Science  
We present a comparative study of four product operators on weighted languages: (i) the convolution, (ii) the shuffle, (iii) the infiltration and (iv) the Hadamard product.  ...  Exploiting the fact that the set of weighted languages is a final coalgebra, we use coinduction to prove that an operator of the classical difference calculus, the Newton transform, generalises from infinite  ...  We present a comparative study of four product operators on weighted languages, which give us four different ways of composing the behaviour of systems.  ... 
doi:10.1017/s0960129517000159 fatcat:4l6trke2hvethpppsdhnwps6py

Newton Series, Coinductively [chapter]

Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
2015 Lecture Notes in Computer Science  
We present a comparative study of four product operators on weighted languages: (i) the convolution, (ii) the shuffle, (iii) the infiltration, and (iv) the Hadamard product.  ...  Exploiting the fact that the set of weighted languages is a final coalgebra, we use coinduction to prove that a classical operator from difference calculus in mathematics: the Newton transform, generalises  ...  We present a comparative study of four product operators on weighted languages, which give us four different ways of composing the behaviour of systems.  ... 
doi:10.1007/978-3-319-25150-9_7 fatcat:bdiougf6ijdihdvjeknlm3olhm

Preface to special issue: ICTAC 2015

MARTIN LEUCKER, JORGE A. PÉREZ, CAMILO RUEDA, FRANK D. VALENCIA
2018 Mathematical Structures in Computer Science  
This issue of Mathematical Structures in Computer Science (MSCS) contains a selection of papers presented at the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), which took  ...  The paper by Basold, Hansen, Pin and Rutten (Newton Series, Coinductively: A Comparative Study of Composition) uses a coinductive calculus of infinite streams by one of the authors to give an analysis  ...  The authors use coinduction to prove that an operator of the classical difference calculus, the Newton transform, generalizes from infinite sequences to weighted languages.  ... 
doi:10.1017/s0960129518000130 fatcat:7e2hvlpvnjdkladbg6bzzfuzoa

Rationality and Escalation in Infinite Extensive Games [article]

Pierre Lescanne
2012 arXiv   pre-print
The aim of this of this paper is to study infinite games and to prove formally some properties in this framework.  ...  As a consequence we show that the behavior (the madness) of people which leads to speculative crashes or escalation can be fully rational.  ...  empty history which is the composition of a choice a with a finite history h f to make the finite history a :: h f .  ... 
arXiv:1112.1185v3 fatcat:zxkeb6w3argbvgjptf6wfv22ry

In Praise of Sequence (Co-)Algebra and its implementation in Haskell [article]

Kieran Clenaghan
2019 arXiv   pre-print
When bits and pieces of sequence algebra are pulled together from the literature, there emerges a claim for status as a substantial pre-analysis topic.  ...  Here we set the stage by bringing together a variety of sequence algebra concepts for the first time in one paper.  ...  Tim Sears has placed a version of the Haskell code on www.GitHub.com (under TimSears/SequenceAlgebra).  ... 
arXiv:1812.05878v2 fatcat:qu5f7ne6nrcy7hd4zq5xg5tzcq

On stratification for spaces with Noetherian mod p cohomology [article]

Tobias Barthel, Natalia Castellana, Drew Heard, Gabriel Valenzuela
2021 arXiv   pre-print
The goal of this paper is to exhibit conditions under which the category of module spectra on C^*(X;𝔽_p) is stratified in the sense of Benson, Iyengar, Krause, providing a classification of all its localizing  ...  We establish stratification in this sense for classifying spaces of a large class of topological groups including Kac–Moody groups as well as whenever X admits an H-space structure.  ...  We would like to thank Jesper Grodal and Julia Pevtsova for useful conversations, and the referee for many helpful comments on an earlier version of this paper.  ... 
arXiv:1904.12841v2 fatcat:jxmjfasywnaoznkznar3ti7moa

Stream Differential Equations: Specification Formats and Solution Methods [article]

Helle Hvid Hansen, Clemens Kupke, Jan Rutten
2016 arXiv   pre-print
In this paper we present a survey of the many results in this area.  ...  Stream differential equations are a coinductive method for specifying streams and stream operations, and their theory has been developed in many papers over the past two decades.  ...  More recently, the Newton transform between the ∆-and tail-structures has been studied in [9] .  ... 
arXiv:1609.08367v1 fatcat:pwvidt3ubbfxdpsr2qqyyxs44m

The Ithaca Meeting of the American Chemical Society. I

G. R. White
1906 Science  
It is further confirmed by a study of certain zinc arsenitea A Chemical Study of Curare: G. B. FRAN]K-FORTER and H. M. NEWTON. Miller, chairman. Cooperation in Physical Chemistryip)W. D.  ...  A series of experiments with-wheat and other seedlings is reported in which the effect of the organic and inorganic constituents of the soil solution and of organic manures are studied.  ...  We have not the information that would enable us to say what percentage of those who talie In so far as these estimates are correct, there would be about 250 men a year added to those who will hereafter  ... 
fatcat:5exfaa6b6nfmvgijqp2cdk2eta

Sequentiality vs. concurrency in games and logic

SAMSON ABRAMSKY
2003 Mathematical Structures in Computer Science  
Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.  ...  Note that it can be taken as an (inductive or coinductive) definition of parallel composition as an operation on synchronization trees.  ...  This was followed by a series of papers which established full completeness results for a variety of models with respect to various versions of Multiplicative Linear Logic, e.g.  ... 
doi:10.1017/s0960129503003980 fatcat:4rx4fqb3q5d7bnud3hfmyhntly

The Hunterian Oration ON HUNTER AND LISTER, AND ON THE MUSEUM OF THE ROYAL COLLEGE OF SURGEONS OF ENGLAND: Delivered before the College on February 14th, 1913

R J Godlee
1913 The BMJ (British Medical Journal) (Print)  
But Hunter objected; ho thotight it almost as wagons, and the "cries of London"-t great a waste of tinle a. he did only four years later, 500,000 or 600,000 inhabitants, wlhic "when he fuiL-q Vwislied  ...  Pictures of the liouse shiow it as a Look at the pioture I -I have gazed at it, in season and evidently built in stages, standing in g out of season, fqr half a lifetime trying to guess what was dimensions  ...  These cases contain the continuation of the comparative osteology series.  ... 
pmid:20766517 pmcid:PMC2298614 fatcat:6dgjaleaozastmhlitd3owhgmy

Topological automorphic forms [article]

Mark Behrens, Tyler Lawson
2008 arXiv   pre-print
We apply a theorem of J. Lurie to produce cohomology theories associated to certain Shimura varieties of type U(1,n-1).  ...  We construct spectra Q_U(K) for compact open subgroups K of certain adele groups, generalizing the spectra Q(l) studied by the first author in the modular case.  ...  We define smooth homotopy fixed points, and study the behavior of this construction under restriction and coinduction.  ... 
arXiv:math/0702719v4 fatcat:xdkyvbsfsbemlgnj36z3dc2you

Topological automorphic forms

Mark Behrens, Tyler Lawson
2010 Memoirs of the American Mathematical Society  
We define smooth homotopy fixed points, and study the behavior of this construction under restriction and coinduction.  ...  The isogeny class of a p-divisible group is often represented by its Newton polygon.  ...  On objects, we define To a correspondence of the form we assign the composite Every correspondence between G/K and G/K is a disjoint union of correspondences of the form (10.7.3), and we assign to it the  ... 
doi:10.1090/s0065-9266-09-00573-0 fatcat:gfsfuit36veehdfpurdshqfjyu

Regulations of the General Medical Council and Medical Licensing Bodies

1891 BMJ (Clinical Research Edition)  
The examination is conducted partly by written papers (five questions on each of the eight subjects, one hour and a half being given to each paper) and partly orally (Law of Evidence, reading of plans.  ...  The Principles and Practice of the Laws of Evidence, by Edmund Powell. (W. Butterworth and Co.)  ...  -The Composition Fee admits to four years of study. It does not include Hospital Practice.  ... 
doi:10.1136/bmj.2.1601.507 fatcat:hwybcrwehzh6lph6xia2mwx6tm

Denotational Correctness of Foward-Mode Automatic Differentiation for Iteration and Recursion [article]

Matthijs Vákár
2020 arXiv   pre-print
We define a semantics for the language in terms of diffeological spaces, where the key idea is to make use of a suitable partiality monad.  ...  A semantic logical relations argument, constructed through a subsconing construction over diffeological spaces, yields a correctness proof of the defined AD macro.  ...  2017) , where one implements the function using a Taylor series, which is truncated once the next term in the series causes underflow.  ... 
arXiv:2007.05282v1 fatcat:tnhkhi4lk5d7dbyxsasxr442ou

Equivariant K-Homology of the Classifying Space for Proper Actions [chapter]

Guido Mislin
2003 Proper Group Actions and the Baum-Connes Conjecture  
These notes are a compendium to a series of lectures concerning the topological aspects of the Baum-Connes Conjecture -the left hand side of the equation K G * (EG) = K top * (C * r (G)) -the equivariant  ...  K-homology of EG.  ...  and would be appropriate in the study of the contravariant version of R C .  ... 
doi:10.1007/978-3-0348-8089-3_1 fatcat:ii6gvm72mfb45msfdimrxk64li
« Previous Showing results 1 — 15 out of 19 results