This paper proposes an efficient automation platform that provides fast and reliable path to analog circuit design for desired specifications. Circuit heuristics and hierarchy a...
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
Iyad Rahwan, Fernando Koch, Connor Graham, Anton K...
This paper presents a new approach to automated muscle fiber analysis based on segmenting myofibers with combined region and edge based active contours. It provides reliable and fu...
Thomas Brox, Yoo-Jin Kim, Joachim Weickert, Wolfga...
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...