362 search results - page 46 / 73 » Formal Theories for Linear Algebra |
183
Voted
ALIFE
2005
15 years 6 months ago
2005
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
191
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...
169
click to vote
RTA
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
132
Voted
MSR
2006
ACM
16 years 2 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
139
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...