A hydrogen sensor based on large arrays of nanoswitches in palladium (Pd) is presented. An individual nanoswitch is realized by a suspended Pd/Ti/poly-Si trimorph electrode and a fixed Pd/Ti bottom electrode, which are separated by a vertical nanoscopic ga ...
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifications, we use the modular language CSP-OZ-DC, which allows us to decouple ve ...
Three-dimensional integrated circuits (3D-ICs) are a promising approach to address the integration challenges faced by current systems on chips (SoCs). Designing an efficient network on chip (NoC) interconnect for a 3-D SoC that meets not only the applicat ...
This thesis explores different aspects of DNA topology through experimental and numerical techniques. Topology is a vast mathematical field, that deals with the spatial properties of objects undergoing continuous deformations, but here it is restricted to ...
Congestion is a phenomenon that arises in a variety of contexts. The most familiar representation is urban traffic congestion. Nonetheless, phenomenons such as prison cell congestion, hospital bed blocking or, at a cellular scale, ribosome congestion, also ...
