652 search results - page 23 / 131 » On the behavioural dimension of correspondences between proc... |
JCT
2000
13 years 7 months ago
2000
Givena Hermitian,non-negativede nitekernelK and a character of the symmetric group on n letters, de ne the corresponding immanant function K x1;::: ;xn := P Qn i=1 Kxi;x i, where ...
APN
1994
Springer
13 years 11 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
IANDC
2006
13 years 7 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
SIBGRAPI
2008
IEEE
14 years 1 months ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...
IV
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes research on the use of multiple views for modelling products and processes in the design of complex products. Single visual representations of design models o...