Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...
Aninda Chakraborty, Andres Malcolm, Richard D. Col...
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
Context aware recommender systems (CARS) adapt to the specific situation in which the recommended item will be consumed. So, for instance, music recommendations while the user is ...
Linas Baltrunas, Marius Kaminskas, Bernd Ludwig, O...
The KeeLoq cipher is used in many wireless car door systems and garage openers. Recently the algorithm was studied and several attacks have been published. When a random seed is no...
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
Sorin Cotofana, Alexandre Schmid, Yusuf Leblebici,...