A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Dynamic Interpretation of the CPS Hierarchy
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
In this article we show that a dynamic variant of shift/reset, known as shift0/reset0, where the discipline of static access to the stack of delimited continuations is relaxed, can fully express the CPS ...
The CPS hierarchy of control operators shifti/reseti of Danvy and Filinski is a natural generalization of the shift and reset static control operators that allow for abstracting delimited control in a ...
We thank Małgorzata Biernacka and the anonymous reviewers for valuable comments. This work has been funded by the Polish National Science Center, DEC-2011/03/B/ST6/00348. ...
doi:10.1007/978-3-642-35182-2_21
fatcat:5466nboflnfbbknsab5isbmm7y
Beyond Functional Sequence: The Cartography of Syntactic Structures, Volume 10
2017
English Linguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
interpretation and a mirative interpretation. ...
What kind of discourse information is encoded by a criterial head in which language? Part 2 argues for a possible parallelism of CP and DP hierarchies. ...
doi:10.9793/elsj.34.1_117
fatcat:wwmcdodit5hkbcuzpqslslvtr4
Non-Markovianity Hierarchy of Gaussian Processes and Quantum Amplification
2017
Physical Review Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We introduce a hierarchy of such evolutions encompassing Markovian, weakly and strongly non-Markovian processes, and provide simple criteria to distinguish between the classes, based on the degree of positivity ...
We investigate dynamics of Gaussian states of continuous variable systems under Gaussianity preserving channels. ...
A quantum process defined by a completely positive (CP) dynamical map Λ t is Markovian if it is CP-divisible, i.e., such that an intermediate mapΛ tþτ;t , defined by Λ tþτ ¼Λ tþτ;t Λ t , is CP for all ...
doi:10.1103/physrevlett.118.050401
pmid:28211725
fatcat:rmlukqm6l5bwtou6dv2uu67z7u
Page 26 of Journal of Research and Practice in Information Technology Vol. 21, Issue 1
[page]
1989
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
) = true
e. return cp(kl(word,,12), “zzzz”)
This example shows that the interpretation process is activated by the decomposition hierarchy and the decom- position of processes goes hand in hand with that ...
The lazy eva- luation mechanism of T allows a uniform interpretation for both batch and interactive systems. ...
An Operational Investigation of the CPS Hierarchy
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We then transcribe the resulting continuation semantics in ML, thus obtaining a native and modular implementation of the entire hierarchy. ...
We explore the hierarchy of control induced by successive transformations into continuation-passing style (CPS) in the presence of "control delimiters" and "composable continuations". ...
Acknowledgments Part of this work was carried out while the second author was visiting the BRICS PhD school at the University of Aarhus in the fall of 1997. ...
doi:10.1007/3-540-49099-x_15
fatcat:atjyhs4o2ndmteqoufof3zcriy
Generalized scaling relations for unidirectionally coupled nonequilibrium systems
2004
Physica A: Statistical Mechanics and its Applications
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2003 pre-print arXiv:cond-mat/0312136v1 fatcat:aq6a4s7lt5dv3c6tmiv5jyivby
This inhomogeneity is a quite general feature of unidirectionally coupled systems and leads to two hyperscaling relations between dynamic and static critical exponents. ...
The particle number of each level increases algebraically in time as N(t) ∼ t^η with different exponents η in each domain. ...
Criticality of CP at σ = 1 is same as before. The critical line is now σ c B = pR/(1 − p). The dynamics A → A + B with σ(1−p) couple BAW and CP without feedback from CP to BAW. ...
doi:10.1016/j.physa.2004.04.111
fatcat:fvpydnao4zeitpzyycs6qzff5u
Towards an integration of two aspects of semiosis – A cognitive semiotic perspective
2021
Sign Systems Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this view, the dynamicity of semiosis has primarily "internal" sources: it stems from the unavoidable fallibility of interpretation and synechism of signs. ...
As I argue, this perspective on meaning-making is the cognitive foundation of the first two levels of the Semiotic Hierarchy. ...
The interpretant of the sign is the translation of the original sign into other signs: "the meaning of a sign is the sign it has to be translated into" (CP 4.132). ...
doi:10.12697/sss.2021.49.1-2.06
fatcat:qsg4wyrrevhojl3is7gm22ubr4
INsite
1999
Proceedings of the second international workshop on Web information and data management - WIDM '99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Consequently, we employ a new paradigm for dynamic clustering that leverages on the unique CM-Model of representation. ...
Third, the user-web site interaction, thus translated to a finite number of CM-Models, is readily visualized by graphically representing the member matrices of the models. ...
Path representation by CM-Model Path P (Section 4.4) is mapped onto } , , , { T F S H CP CP CP CP CP = . [8] describes the heuristics applied on a path to accomplish the translation. ...
doi:10.1145/319759.319785
dblp:conf/widm/FaisalSMB99
fatcat:a4d4aqonujdk7pvrabwctzln4e
Propositional Statecharts for Agent Interaction Protocols
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Statecharts are a popular extension of Euler Diagrams and are widely used as part of the UML framework. ...
The on-going development of propositional statecharts has been motivated by the need to provide a notation which satisfies both of these requirements. ...
There are three key elements to this interpretation: (i) Each state label is interpreted as a proposition, a propositional variable in the case of an atomic state, as a predicate with parameters (attribute ...
doi:10.1016/j.entcs.2005.02.020
fatcat:lisn5clj3bcufd2k5mikl4gk6m
Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects
2017
Annals of Pure and Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
By constructing a parallel hierarchy of models by applying sequences of monad transformers, and relating these to the direct interpretation of control effects, we obtain games interpretations of higherlevel ...
This paper develops operational and denotational semantics for a hierarchy of programming languages which include combinations of locally declared control prompts to which a program can escape, with first-class ...
Acknowledgements The anonymous referees made several helpful suggestions and corrections for this article. The research was supported by United Kingdom EPSRC grant EP/K037633/1. ...
doi:10.1016/j.apal.2016.10.011
fatcat:eqwweexxmbclnnuoxnvis7jhp4
CP-violation in the heavy quark systems
[article]
2001
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
We present a review of general picture in the sector of electroweak symmetry breaking with the CP-violation in the heavy quark interactions. ...
So, it has the form a CP (t) = Im q p A CP A sin[∆m t], A = A(B → f ). (7) Following the items 2 and 3, one needs quite a definite understanding of decay amplitude structure by isolating various dynamical ...
Third, we attend some problems in the theoretical interpretation of data as well as mention about the consideration of CPT violation in the framework of dissipative dynamics. ...
arXiv:hep-ph/0109089v1
fatcat:fezmdtwyarb7nac7wivmyepkzm
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
2005
Logical Methods in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We also present new applications of delimited continuations in the CPS hierarchy: finding list prefixes and normalization by evaluation for a hierarchical language of units and products. ...
We present an abstract machine and a reduction semantics for the lambda-calculus extended with control operators that give access to delimited continuations in the CPS hierarchy. ...
The third author would also like to thank Samuel Lindley for our joint initial study of the normalization functions of Section 6. ...
doi:10.2168/lmcs-1(2:5)2005
fatcat:3ypj5pimnjh4tcx4xwsilaktmm
A Hierarchy for Delimited Continuations in Call-by-Name
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Finally, we establish that the Stream hierarchy is indeed a CBN analogue to the CPS hierarchy. ...
We then present sound and complete CPS translations for the hierarchy. Next, we investigate the operational content of the hierarchy through its abstract machines, the (Λ n )n∈ω-KAM. ...
The author wishes to thank Hugo Herbelin, Luca Paolini, Mauro Piccolo, Kazushige Terui and Simona Ronchi della Rocca for helpful discussions and fruitful comments as well as the anonymous reviewers. ...
doi:10.1007/978-3-642-12032-9_26
fatcat:oqjzesyxxzg7lcsmy4guewrodu
T-to-C movement: syntactic licensing and dialectal variation
2013
DELTA: Documentação de Estudos em Lingüística Teórica e Aplicada
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In the context of the operation of CP-raising, it re-interprets some instances of T-to-C movement as having not a licensing but a blocking effect over CP-extraction. ...
Within this operational hierarchy of featural specificity resides the mechanism that "opens" or "closes" the syntactic path for phrasal movement to apply. ...
I argue then that beyond any taxonomic stipulation of a variational classification what is needed resembles a more dynamic featural/operational hierarchy of some sort. ...
doi:10.1590/s0102-44502013000200002
fatcat:kg4wuig22rakbbycssntvab5l4
Flavor mixing, CP-violation and the masses of the light quarks
1998
Nuclear Physics B - Proceedings Supplements
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The observed hierarchy of the quark masses is interpreted as a signal for an underlying "subnuclear democracy" as the relevant symmetry of the quark mass terms. ...
Introducing the mixing between the first and the second family, one finds an interesting pattern of maximal CP--violation as well as a complete determination of the elements of the CKM matrix and of the ...
The observed hierarchy of the quark masses is interpreted as a signal for an underlying "subnuclear democracy" as the relevant symmetry of the quark mass terms. ...
doi:10.1016/s0920-5632(97)01073-6
fatcat:ivuomug5rjd5tkw3pxebmljaae
« Previous
Showing results 1 — 15 out of 18,950 results