CORR
2008
Springer
13 years 8 months ago
2008
Springer
The purpose of this paper is to apply characteristics of residual stress that causes cantilever beams to bend for manufacturing a micro-structured gas flow sensor. This study uses ...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
for a set of operating conditions and coating color formulations, undesirable phenomena like color spitting and coating ribs may be triggered in the Micro-nip during the coating pr...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, the high density out-of-plane microprobe array is demonstrated. The fabrication processes of proposed device including bulk micromachining, thin film deposition and ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
CORR
2008
Springer
13 years 8 months ago
2008
Springer
CORR
2008
Springer
13 years 8 months ago
2008
Springer
- The goal is the development of a novel principle for the temperature acquisition of refrigerants in CO2 air conditioning systems. The new approach is based on measuring the tempe...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Signal modeling lies at the core of numerous signal and image processing applications. A recent approach that has drawn considerable attention is sparse representation modeling, in...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Thermal micro-actuators are a promising solution to the need for large-displacement, gentle handling force, low-power MEMS actuators. Potential applications of these devices are mi...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This paper describes the development of metallic bipolar plate fabrication using micro-electroforming process for mini-DMFC (direct methanol fuel cell) stacks. Ultraviolet (UV) lit...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...