Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...
— This paper presents an analogue integrated circuit implementation of a cortical neuron model. The VLSI chip prototype has been implemented in a 0.35 µm CMOS technology. The si...
In this paper we present AnatomyBrowser, a framework for integration of images and textual information in medical applications. AnatomyBrowser allows the user to combine 3D surfac...
Polina Golland, Ron Kikinis, Christopher Umans, Mi...
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
One of the main objectives in engineering departments of large industries is the implementation of integrated information systems to manage their projects' life cycle. EnViro...
Ismael H. F. dos Santos, Alberto Barbosa Raposo, L...