2438 search results - page 174 / 488 » Consistent Gradient Operators |
118
Voted
NC
2006
15 years 2 months ago
2006
Previously, we described ways to implement the functions AND and OR in a DNA computer consisting of microreactors with attached heating elements that control annealing of DNA. Base...
134
click to vote
TCS
2008
15 years 2 months ago
2008
In this paper, we present a fully automatizable approach to detecting loops in standard term rewriting. Our method is based on semi-unification and an unfolding operation which pr...
121
click to vote
JANCL
2007
15 years 2 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
108
click to vote
AIR
1999
15 years 2 months ago
1999
The timetabling problem consists in scheduling a sequence of lectures between teachers and students in a prefixed period of time (typically a week), satisfying a set of constraints...
146
click to vote
NCA
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper models information flow in a communication network. The network consists of nodes that communicate with each other, and information servers that have a predominantly o...