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
*

In this paper, we propose

doi:10.1007/978-3-319-24644-4_15
fatcat:sma73bextncvfc5ktvlp4xumbu
*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*. ...##
###
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus

2006
*
Electronical Notes in Theoretical Computer Science
*

We follow the approach developed by Turi and Plotkin

doi:10.1016/j.entcs.2005.12.109
fatcat:iyslnhnenrf4dk23i5tzcaleru
*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 ...##
###
A compositional coalgebraic model of fusion calculus

2007
*
The Journal of Logic and Algebraic Programming
*

In such

doi:10.1016/j.jlap.2007.05.001
fatcat:6veboa4imnamtlshssspz5kafa
*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. ...##
###
pixy: Unbiased estimation of nucleotide diversity and divergence in the presence of missing data
[article]

2020
*
bioRxiv
*
pre-print

Many popular methods

doi:10.1101/2020.06.27.175091
fatcat:hdm4hsmpvfaujhwoxa62fjbulm
*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). ...##
###
The Polyadic π-Calculus: a Tutorial
[chapter]

1993
*
Logic and Algebra of Specification
*

One example is the presentation of data structures as processes which respect

doi:10.1007/978-3-642-58041-3_6
fatcat:i6i37at2zvh45n7ulcuyk7zesy
*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. ...##
###
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
*

The filtered responses are analyzed through

doi:10.1109/34.799910
fatcat:raycnhndcfh7tfr2ubg2kbwsju
*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. ...##
###
Quasi-Open Bisimilarity with Mismatch is Intuitionistic

2018
*
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18
*

Quasi-open bisimilarity is the coarsest notion of bisimilarity

doi:10.1145/3209108.3209125
dblp:conf/lics/HorneALT18
fatcat:q77ttsgahbgwzbccdjcyohnv7y
*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. ...##
###
Certainty as a moderator of feedback reactions? A test of the strength of the self-verification motive

2006
*
Journal of Occupational and Organizational Psychology
*

We examined in

doi:10.1348/096317905x71462
fatcat:g2p64zdhlvdcdms5siz3nrv3ye
*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. ...##
###
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
*

The larger of the two results (Res 1 ) is chosen and compared to the ethnic antagonism X has

doi:10.5070/sd953014315
fatcat:qf7k43cp25cqfjzyaurckvgeg4
*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*...##
###
Representation and simulation of biochemical processes using the pi-calculus process algebra

2001
*
Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing
*

We have developed

pmid:11262964
fatcat:o2s6qyrd7jh3xbgjkolig7byhi
*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 ...##
###
Stable model order reduction for time-domain exterior vibro-acoustic finite element simulations

2017
*
Computer Methods in Applied Mechanics and Engineering
*

To reduce the calculation complexity needed

doi:10.1016/j.cma.2017.06.022
fatcat:7kbsz7cfhrhafh6iceicozvw7a
*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. ...##
###
An Introduction to History Dependent Automata

1998
*
Electronical Notes in Theoretical Computer Science
*

Due to the necessity to represent the creation of new channels, in nite automata are obtained in this case also

doi:10.1016/s1571-0661(05)80696-6
fatcat:lvy6ubdmozcsrdt3jlkeznljj4
*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 . ...##
###
Client-Server Sessions in Linear Logic
[article]

2021
*
arXiv
*
pre-print

We introduce coexponentials,

arXiv:2010.13926v2
fatcat:hxaty6l4ybg3tnsnil6piuaafu
*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)). ...##
###
The reflexive CHAM and the join-calculus

1996
*
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96
*

P ,

doi:10.1145/237721.237805
dblp:conf/popl/FournetG96
fatcat:3qgfhojuofhxzebzgbga5gy4me
*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. ...##
###
A π-calculus with explicit substitutions: The late semantics
[chapter]

1994
*
Lecture Notes in Computer Science
*

*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. ...

« Previous

*Showing results 1 — 15 out of 482 results*