Sciweavers

28962 search results - page 194 / 5793
» Computational Mechanism Design
Sort
View
ISCAS
2006
IEEE
121views Hardware» more  ISCAS 2006»
15 years 10 months ago
Microelectromechanical systems in 3D SOI-CMOS: sensing electronics embedded in mechanical structures
— We discuss the design of CMOS MEMS in a 3D SOI-CMOS technology. We present layout architectures, preliminary mechanics modeling using finite element analysis and release proce...
Francisco Tejada, Andreas G. Andreou
POPL
2012
ACM
14 years 1 days ago
Run your research: on the effectiveness of lightweight mechanization
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
Casey Klein, John Clements, Christos Dimoulas, Car...
163
Voted

Lecture Notes
2754views
17 years 2 months ago
Advanced Microeconomic Theory
These lecture notes cover several topics such as Preliminaries on Modern Economics and Mathematics, Consumer Theory, Production Theory, Choice Under Uncertainty, Game Theory, Theor...
Guoqiang Tian
ISJGP
2010
15 years 1 months ago
On the Hardware Implementation Cost of Crypto-Processors Architectures
A variety of modern technologies such as networks, Internet, and electronic services demand private and secure communications for a great number of everyday transactions. Security ...
Nicolas Sklavos
IJRR
2010
125views more  IJRR 2010»
15 years 1 months ago
Mechanics of Flexible Needles Robotically Steered through Soft Tissue
The tip asymmetry of a bevel-tip needle results in the needle naturally bending when it is inserted into soft tissue. This enables robotic needle steering, which can be used in me...
Sarthak Misra, Kyle B. Reed, Benjamin W. Schafer, ...