Abstract. We report the use of MGS, a declarative and rule-based language, for the modeling of various self-assembly processes. The approach is illustrated on the fabrication of a ...
Antoine Spicher, Olivier Michel, Jean-Louis Giavit...
We address the problem of rough applicability of rules within the framework of approximation spaces. The graded applicability of a rule for an object of an approximation space, int...
We present a system for collaborative conceptual design that allows users potentially located in geographically distant areas to cooperate by sketching, exploring and modifying the...
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
We present a timing optimization algorithm based on the concept of gate duplication on the technologydecomposed network. We first examine the relationship between gate duplication...