816 search results - page 47 / 164 » Abstract Barycentric Algebras |
TFM
2009
Springer
14 years 2 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
DCG
2010
13 years 7 months ago
2010
es of Statistics (2); Calculus 2; Multivariable Calculus; Abstract Algebra 1 (2) Research with undergraduate students:
BIRTHDAY
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
MPC
2010
Springer
14 years 15 days ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...