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 Pre-congruence Format for XY-simulation
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
In this paper, we propose a precongruence rule format for XY -simulation. ...
XY -simulation is a generalization of bisimulation that is parameterized with two subsets of actions. ...
Conclusions In this paper, we proposed a pre-congruence rule format for XY -simulation. ...
doi:10.1007/978-3-319-24644-4_15
fatcat:sma73bextncvfc5ktvlp4xumbu
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus
2006
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 2019; you can also visit the original URL.
The file type is application/pdf.
We follow the approach developed by Turi and Plotkin for lifting transition systems with a syntactic structure to bialgebras and, thus, we provide a compositional model of the fusion calculus with explicit ...
In such a model, the bisimilarity relation induced by the unique morphism to the final coalgebra coincides with fusion hyperequivalence and it is a congruence with respect to the operations of the calculus ...
By rule (Pre), p can undergo any of the following transitions: p (x y, τ ) − −− → y w.0 p (z y, τ ) − −− → y w.0 | z = x p (x y , ψ) − −−− → y w.0 | ϕ, for all ϕ, for all x , y such that ϕ xy = x y , and ...
doi:10.1016/j.entcs.2005.12.109
fatcat:iyslnhnenrf4dk23i5tzcaleru
A compositional coalgebraic model of fusion calculus
2007
The Journal of Logic and Algebraic Programming
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 such a model, the bisimilarity relation induced by the unique morphism to the final coalgebra coincides with fusion hyperequivalence and it is a congruence with respect to the operations of the calculus ...
We follow a recent theory by the same authors and previously applied to the pi-calculus for lifting calculi with structural axioms to bialgebras and, thus, we provide a compositional model of the fusion ...
Acknowledgments We are grateful to an anonymous referee for very helpful comments. Theorem B.17. Let p and q be two terms of algebra B. p ∼ 3 q if and only if p ∼ F q. Proof. ...
doi:10.1016/j.jlap.2007.05.001
fatcat:6veboa4imnamtlshssspz5kafa
pixy: Unbiased estimation of nucleotide diversity and divergence in the presence of missing data
[article]
2020
bioRxiv
pre-print
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 2020; you can also visit the original URL.
The file type is application/pdf.
Many popular methods for calculating π and dXY operate on data encoded in the Variant Call Format (VCF), which condenses genetic data by omitting invariant sites. ...
In sum, our software solves a long-standing problem in applied population genetics and highlights the importance of properly accounting for missing data in population genetic analyses. ...
(A, B) The sampling 198 distribution of π (A) and d XY (B), as estimated from 10 000 simulated data sets using pixy and a variety of 199 existing methods (see text for details). ...
doi:10.1101/2020.06.27.175091
fatcat:hdm4hsmpvfaujhwoxa62fjbulm
The Polyadic π-Calculus: a Tutorial
[chapter]
1993
Logic and Algebra of Specification
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.
One example is the presentation of data structures as processes which respect a particular sorting another is the sorting for a known translation of the -calculus into -calculus. ...
a n d s o a l s o i s a c haracterization in modal logic. ...
Acknowledgements I thank Joachim Parrow and David Walker for the insights which came from our original work together on -calculus, and which h a ve deeply informed the present development. ...
doi:10.1007/978-3-642-58041-3_6
fatcat:i6i37at2zvh45n7ulcuyk7zesy
The RGFF representational model: a system for the automatically learned partitioning of "visual patterns" in digital images
1999
IEEE Transactions on Pattern Analysis and Machine Intelligence
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.
The filtered responses are analyzed through a family of statistics. For any given two activated filters, a distance between them is derived via distances between their statistics. ...
AbstractÐThis paper describes a system for the automatically learned partitioning of ªvisual patternsº in 2D images, based on a sophisticated, band-pass, filtering operation with fixed scale and orientation ...
Thanks are also due to the reviewers of this paper for their constructive suggestions and criticisms. ...
doi:10.1109/34.799910
fatcat:raycnhndcfh7tfr2ubg2kbwsju
Quasi-Open Bisimilarity with Mismatch is Intuitionistic
2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18
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.
Quasi-open bisimilarity is the coarsest notion of bisimilarity for the π -calculus that is also a congruence. This work extends quasi-open bisimilarity to handle mismatch (guards with inequalities). ...
The more famous open bisimilarity is also considered, for which the coarsest extension for handling mismatch is identified. Applications to checking privacy properties are highlighted. ...
We are grateful to Fu Yuxi and Björn Victor for sharing their insight into key examples. ...
doi:10.1145/3209108.3209125
dblp:conf/lics/HorneALT18
fatcat:q77ttsgahbgwzbccdjcyohnv7y
Certainty as a moderator of feedback reactions? A test of the strength of the self-verification motive
2006
Journal of Occupational and Organizational Psychology
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 2020; you can also visit the original URL.
The file type is application/pdf.
We examined in a field study whether self-view certainty serves as a moderator and strengthens the effect of congruence between individuals' self-views and the performance feedback they receive about these ...
Little support was found for the moderating role of self-view certainty. ...
We would like to thank Marc Covents for his programming work on the computerized in-basket exercise. ...
doi:10.1348/096317905x71462
fatcat:g2p64zdhlvdcdms5siz3nrv3ye
Ethnic identity, political identity and ethnic conflict: simulating the effect of congruence between the two identities on ethnic violence and conflict
2012
Structure and Dynamics : e-Journal of Anthropological and Related Sciences
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.
The larger of the two results (Res 1 ) is chosen and compared to the ethnic antagonism X has for Y (E XY ). ...
This paper hypothesises that ethnic conflict can occur in the simulation in the absence of initial ethnic antagonism and that a higher ethno-political congruence will accelerate the process by which a ...
doi:10.5070/sd953014315
fatcat:qf7k43cp25cqfjzyaurckvgeg4
Representation and simulation of biochemical processes using the pi-calculus process algebra
2001
Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing
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.
We have developed a computer simulation system, the PiFCP, for execution and analysis of pi-calculus programs. ...
We present a pi-calculus model for the RTK-MAPK signal transduction pathway, formally represent detailed molecular and biochemical information, and study it by various PiFCP simulations. ...
Q 0 reaction up to structural congruence 2.26 Figure 2 : The -calculus: The calculus consists of three components: a simple syntax for writing formal descriptions; a set of congruence laws that determine ...
pmid:11262964
fatcat:o2s6qyrd7jh3xbgjkolig7byhi
Stable model order reduction for time-domain exterior vibro-acoustic finite element simulations
2017
Computer Methods in Applied Mechanics and Engineering
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.
To reduce the calculation complexity needed for time integration a model order reduction technique is proposed. ...
A time stable Krylov subspace reduction technique is derived for the coupled exterior vibro-acoustic problem case. ...
Deckers is funded by a grant from the Fund for Scientific Research Flanders (F.W.O). The Research Fund KU Leuven is gratefully acknowledged for its support. ...
doi:10.1016/j.cma.2017.06.022
fatcat:7kbsz7cfhrhafh6iceicozvw7a
An Introduction to History Dependent Automata
1998
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 2019; you can also visit the original URL.
The file type is application/pdf.
Due to the necessity to represent the creation of new channels, in nite automata are obtained in this case also for very simple agents and a non-standard de nition of bisimulation is required. ...
We also de ne a bisimulation equivalence on history dependent automata, that captures -calculus bisimulation. The results presented here are discussed in more detail in 21]. ...
A HD-bisimulation for A 1 and A 2 is a set of triples R such that R is a HDsimulation for A 1 and A 2 and R 1 = fhq 2 1 q 1 i j hq 1 q 2 i 2 Rg is a HD-simulations for A 2 and A 1 . ...
doi:10.1016/s1571-0661(05)80696-6
fatcat:lvy6ubdmozcsrdt3jlkeznljj4
Client-Server Sessions in Linear Logic
[article]
2021
arXiv
pre-print
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 2020; you can also visit the original URL.
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:
2020 pre-print arXiv:2010.13926v1 fatcat:k43oitnfzncsbjgsq6yefimlmm
We introduce coexponentials, a new set of modalities for Classical Linear Logic. ...
This makes them a suitable logical device for encapsulating the pattern of a server receiving requests from an arbitrary number of clients on a single channel. ...
This work was also supported in part by a Villum Investigator grant (no. 25804, Center for Basic Research in Program Verification (CPV)). ...
arXiv:2010.13926v2
fatcat:hxaty6l4ybg3tnsnil6piuaafu
The reflexive CHAM and the join-calculus
1996
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96
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 2013; you can also visit the original URL.
The file type is application/pdf.
P , a reaction consumes compound molecules that have a speci c join pattern J, and produces new molecules in the solution that are copies of P where the formal parameters of J have been instantiated to ...
Our model provides the foundations of a programming language with functional and object-oriented features. ...
We used Paul Taylor's macros for typesetting diagrams. ...
doi:10.1145/237721.237805
dblp:conf/popl/FournetG96
fatcat:3qgfhojuofhxzebzgbga5gy4me
A π-calculus with explicit substitutions: The late semantics
[chapter]
1994
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.
A nite branching labelled transition system and a complete axiomatic characterization of the Late bisimulation equivalence are obtained. ...
For instance, complete axiomatic characterizations of -calculus bisimulation equivalences can be automatically derived by turning SOS rules into equations. ...
Acknowledgments We are very grateful to Rocco De Nicola, Joachim Parrow and Davide Sangiorgi for their comments on early stages of the work. ...
doi:10.1007/3-540-58338-6_81
fatcat:2torih5j4bcjpaidpbdqtz6hue
« Previous
Showing results 1 — 15 out of 482 results