2438 search results - page 374 / 488 » Consistent Gradient Operators |
ENTCS
2008
14 years 10 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
AR
2006
14 years 10 months ago
2006
This work addresses selected practical issues regarding the development of a telerobotic system for 6 degrees of freedom (DoF) tasks. The system consists of a hyper redundant 10Do...
FUIN
2008
14 years 10 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
CCE
2006
14 years 10 months ago
2006
7 A flue gas washer is a plant for the absorption of noxious components of industrial gas output. The type of flue gas washers that is considered here is a spray tower. In the towe...
COMPUTING
2006
14 years 10 months ago
2006
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...