Autonomous robots are leaving the laboratories to master new outdoor applications, and walking robots in particular have already shown their potential advantages in these environments, especially on a natural terrain. Gait generation is the key to success in the negotiation of natural terrain with legged robots; however, most of the algorithms devised for hexapods have been tested under laborat...

This paper presents research towards the formal speciication and veriication of a secure distributed system and secure application programs that run on it. We refer to the whole system | from hardware to application programs written in a concurrent programming language | as the Silo, and to a simpliied view of the Silo as the miniSilo. Both miniSilo and Silo consist of a collection of microproc...

To be sure, all the industries try to be involved in globalization with a constant trend to find out ways to increase productivity across different functions within an organization to maintain competitive advantage world. Pharmaceutical industries are not exceptional and further are based on fragmentation. So these kind of companies need to cope with several barriers such as silo mentality that...

Fumonisins in maize (Zea mays L.) grain silo bags in the conditions of three Argentine provinces were analyzed to determine how this kind of storage affects contamination and if differential storage durations or times of the year of silo bag closing and opening are factors that could modify it. Moisture content, water activity (a(w)), molds and yeasts present, and fumonisins were analyzed in 16...

This paper presents research towards the formal speci cation and veri cation of a secure distributed system and secure application programs that run on it. We refer to the whole system | from hardware to application programs written in a concurrent programming language | as the Silo, and to a simpli ed view of the Silo as the miniSilo. Both miniSilo and Silo consist of a collection of microproc...

This paper presents research towards the formal speciication and veriication of a secure distributed system and secure application programs that run on it. We refer to the whole system | from hardware to application programs written in a concurrent programming language | as the Silo, and to a simpliied view of the Silo as the miniSilo. Both miniSilo and Silo consist of a collection of microproc...

Silos are structures that are used for storing different types of granular material. Dynamic behavior of silos under seismic loads is very complex. In this paper seismic behavior of steel silos with different height to diameter ratios is investigated by considering granular material-structure interaction using ABAQUS finite element package. Silo wall is modeled by shell elements and its behavio...

1 The U. S. Government' s right to retain a nonexclusive royalty-free license in and to copyright covering this paper is acknowledged. , A preliminary re port of part of these findings was presented at the Conference on the Chemistry and Biology of the Kallikrein-Kinin System in Health and Disease. Reston. Va .. Oetober 1974. The abstract is given in Ref. (I). " Visiting Biochemist at Brookhave...

In this paper, we propose SiLo, a novel energy efficient shifted logging storage architecture, for write-oriented workloads. By organizing free storage space of redundant mirrored disks in a RAID10 system into a logical logging space pool and shifting logger among different mirrored disk pairs, only one or few mirrored disk pairs are used as the on-duty logger at a time and all the other off-du...