Sciweavers

392 search results - page 51 / 79
» An Algebraic Representation of Calendars
Sort
View
CIE
2010
Springer
14 years 2 months ago
Higher-Order Containers
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
Thorsten Altenkirch, Paul Levy, Sam Staton
CMSB
2006
Springer
14 years 1 months ago
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
Muffy Calder, Adam Duguid, Stephen Gilmore, Jane H...
BIRTHDAY
2008
Springer
13 years 12 months ago
Graph-Based Design and Analysis of Dynamic Software Architectures
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi...
CLASSIFICATION
2008
84views more  CLASSIFICATION 2008»
13 years 10 months ago
Degenerating Families of Dendrograms
Dendrograms used in data analysis are ultrametric spaces, hence objects of nonarchimedean geometry. It is known that there exist p-adic representations of dendrograms. Completed b...
Patrick Erik Bradley
IJMMSC
2010
67views more  IJMMSC 2010»
13 years 4 months ago
Universal Verma Modules and the Misra-Miwa Fock Space
The Misra-Miwa v-deformed Fock space is a representation of the quantized affine algebra Uv(bsl ). It has a standard basis indexed by partitions and the non-zero matrix entries of ...
Arun Ram, Peter Tingley