1064 search results - page 118 / 213 » Disjoint Systems (Extended Abstract) |
199
click to vote
AB
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
174
click to vote
CALCO
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...
187
click to vote
CC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
171
click to vote
CIE
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. When defined with general elimination/application rules, natural deduction and λ-calculus become closer to sequent calculus. In order to get real isomorphism, normalisa...
179
click to vote
ECAL
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The paper presents a method to guide the self-organised development of behaviours of autonomous robots. In earlier publications we demonstrated how to use the homeokinesi...