Sciweavers

3443 search results - page 5 / 689
» More Algebras for Determiners
Sort
View
CMSB
2009
Springer
14 years 2 months ago
Equivalence and Discretisation in Bio-PEPA
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
Vashti Galpin, Jane Hillston
DISCO
1992
79views Hardware» more  DISCO 1992»
13 years 12 months ago
REDUCE Meets CAMAL
It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has be...
John Fitch
IUI
2010
ACM
14 years 4 months ago
Tell me more, not just "more of the same"
The Web makes it possible for news readers to learn more about virtually any story that interests them. Media outlets and search engines typically augment their information with l...
Francisco Iacobelli, Larry Birnbaum, Kristian J. H...
JSYML
2008
66views more  JSYML 2008»
13 years 7 months ago
Flat algebras and the translation of universal Horn logic to equational logic
We describe which subdirectly irreducible flat algebras arise in the variety generated by an arbitrary class of flat algebras with absorbing bottom element. This is used to give an...
Marcel Jackson
ORDER
2010
96views more  ORDER 2010»
13 years 6 months ago
More Sublattices of the Lattice of Local Clones
We investigate the complexity of the lattice of local clones over a countably infinite base set. In particular, we prove that this lattice contains all algebraic lattices with at ...
Michael Pinsker