Sciweavers

806 search results - page 63 / 162
» Algebraic Structures of B-series
Sort
View
JLP
2010
155views more  JLP 2010»
14 years 10 months ago
Compositional semantics of spiking neural P systems
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
59
Voted
EUSFLAT
2007
103views Fuzzy Logic» more  EUSFLAT 2007»
15 years 4 months ago
On L-valued Equalites on the L-powersets of Many-valued Sets
The research in the field of the so called Fuzzy Mathematics can be conditionally devided into two mainstreams: the first one emphasizes on the study of different fuzzy structu...
Ingrida Uljane, Alexander P. Sostak
CORR
2008
Springer
77views Education» more  CORR 2008»
15 years 3 months ago
Programming an interpreter using molecular dynamics
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
Jan A. Bergstra, C. A. Middelburg
106
Voted
TVCG
2008
70views more  TVCG 2008»
15 years 3 months ago
Visualizing Incomplete and Partially Ranked Data
Ranking data, which result from m raters ranking n items, are difficult to visualize due to their discrete algebraic structure, and the computational difficulties associated with t...
Paul Kidwell, Guy Lebanon, William S. Cleveland
ICALP
1998
Springer
15 years 7 months ago
Metric Semantics for True Concurrent Real Time
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
Christel Baier, Joost-Pieter Katoen, Diego Latella