Sciweavers

806 search results - page 1 / 162
» Algebraic Structures of B-series
Sort
View
DNA
2009
Springer
120views Bioinformatics» more  DNA 2009»
13 years 11 months ago
Strand Algebras for DNA Computing
We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.
Luca Cardelli
AB
2008
Springer
13 years 11 months ago
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
Erwin Engeler
JSYML
2008
66views more  JSYML 2008»
13 years 4 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
FUIN
2006
120views more  FUIN 2006»
13 years 4 months ago
On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations
Abstract. Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, th...
Davide Ciucci
ECSQARU
2007
Springer
13 years 10 months ago
Algebraic Structures for Bipolar Constraint-Based Reasoning
The representation of both scales of cost and scales of benefit is very natural in a decision-making problem: scales of evaluation of decisions are often bipolar. The aim of this ...
Hélène Fargier, Nic Wilson