Filters








18,950 Hits in 3.7 sec

A Dynamic Interpretation of the CPS Hierarchy [chapter]

Marek Materzok, Dariusz Biernacki
2012 Lecture Notes in Computer Science  
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

MASAKO MAEDA
2017 English Linguistics  
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

Pietro Liuzzo-Scorpo, Wojciech Roga, Leonardo A. M. Souza, Nadja K. Bernardes, Gerardo Adesso
2017 Physical Review Letters  
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  
) = 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]

Olivier Danvy, Zhe Yang
1999 Lecture Notes in Computer Science  
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

Sungchul Kwon, Gunter M. Schütz
2004 Physica A: Statistical Mechanics and its Applications  
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 AA + 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

Piotr Konderak
2021 Sign Systems Studies  
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

Adil Faisal, Cyrus Shahabi, Margaret McLaughlin, Frederick Betz
1999 Proceedings of the second international workshop on Web information and data management - WIDM '99  
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

H.R. Dunn-Davies, R.J. Cunningham, S. Paurobally
2005 Electronical Notes in Theoretical Computer Science  
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

J. Laird
2017 Annals of Pure and Applied Logic  
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]

V.V.Kiselev
2001 arXiv   pre-print
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

Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy, Philip Wadler
2005 Logical Methods in Computer Science  
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]

Alexis Saurin
2010 Lecture Notes in Computer Science  
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

Georgios Ioannou
2013 DELTA: Documentação de Estudos em Lingüística Teórica e Aplicada  
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

H. Fritzsch
1998 Nuclear Physics B - Proceedings Supplements  
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