A new code for the design of the guard fence performances was implemented and issued in April 1999 in Japan. The prescribed performances of the new code are: i) prevention of derail, ii) safety of occupant, iii) leading vehicles to road, and iv) prevention of spreading out the broken pieces. In the new code, the full-scale experiment for checking the performances of guard fences is required in ...

—Usually, for the design of UWB systems, the symbol duration is chosen larger than the delay of the channel impulse response, in order to avoid the ISI (inter symbol interference). However, this approach does not maximize the system capacity. An adaptation of the guard time (GT) is a flexible mean of exploiting system resources efficiently in a multi-path fading environment. The optimal guard ...

Guardol is a high-level programming language intended to facilitate the construction of correct network guards. The Guardol system generates Ada code from Guardol programs. It also provides specification and automated verification support: guard specifications are formally translated to SMT format and passed to a new decision procedure dealing with functions over tree-structured data. The resul...

Memories occupy a significant area of chip real estate and are major contributors to total system energy consumption. Furthermore, the guard-banding required for masking the effects of ever-increasing manufacturing variability in memories imposes significant power overhead. In this Technical Report, we explore the opportunity for exploiting the intrinsic tolerance of a vast class of application...

We isolated a total of 3 x 10(8) guard cell protoplasts from 22,000 Arabidopsis thaliana plants and identified 1734 unique proteins using three complementary proteomic methods: protein spot identification from broad and narrow pH range two-dimensional (2D) gels, and 2D liquid chromatography-matrix assisted laser desorption/ionization multidimensional protein identification technology. This exte...

Two important Quality-of-Service (QoS) measures for current cellular networks are the fractions of new and handoff “calls” that are blocked due to unavailability of “channels” (radio and/or computing resources). Based on these QoS measures, we derive optimal admission control policies for three problems: minimizing a linear objective function of the new and handoff call blocking probabilities (...