1980 search results - page 275 / 396 » On the Associative Nijenhuis Relation |
ENTCS
2008
15 years 25 days ago
2008
In this paper we study the relation between reversible and irreversible computation applicable to different models of computation -- here we are considering classical and quantum ...
114
Voted
FUIN
2008
15 years 24 days ago
2008
In this paper, we consider safe Time Petri Nets where time intervals (strict and large) are associated with places (P-TPN), arcs (A-TPN) or transitions (T-TPN). We give the formal ...
100
Voted
BMCBI
2006
15 years 24 days ago
2006
Background: The identification and characterization of genes that influence the risk of common, complex multifactorial disease primarily through interactions with other genes and ...
93
Voted
IANDC
2008
15 years 24 days ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
114
click to vote
CONSTRAINTS
2006
15 years 24 days ago
2006
We review the many different definitions of symmetry for constraint satisfaction problems (CSPs) that have appeared in the literature, and show that a symmetry can be defined in tw...