We formalize our programming model in the context of a typed lambda calculus with records. Figure 1 shows the abstract syntax of our core language. Besides standard terms, the language includes terms related to (a) spores, (b) silos, and (c) futures. The spore term creates a new spore. It contains a list of variable definitions, the spore header, and a closure which may only refer to its parame...

Measurements show that silo wall pressures exhibit large fluctuations in time and space during discharge of the silo. This observation is important for the design of the silo wall because spatial pressure variations may impose substantial bending moments that otherwise may be small or vanishing due to the carrying ability of the membrane forces in the silo wall. Information about the stochastic...

The aim of this study was isolation and identification fungi producing aflatoxin B1 from wheat which stored for four months in some silos Baghdad , including Al Taji Silo, Khan Bani Saad Silo Dhari Silo. Those Silos were included the agricultural plan marketing season 2020. Different types obtained. They initially identified according to cultural morphological characteristics as Alternaria spp,...

We report experimental observations of sound waves in a granular material during resonant silo discharge called silo music. The grain motion was tracked by high-speed imaging while the resonance of the silo was detected by accelerometers and acoustic methods. The grains do not oscillate in phase at neighboring vertical locations, but information propagates upward in this system in the form of s...

Many cloud applications need predictable completion of application tasks. To achieve this, they require predictable completion time for network messages. We identify three key requirements for such predictability: guaranteed network bandwidth, guaranteed per-packet delay and guaranteed burst allowance. We present Silo, a network architecture for public cloud datacenters that offers these guaran...

CONTEXT Anthropogenic vectors enhance the natural dispersal capacity of plant seeds significantly in terms of quantity and distance. Human-mediated seed dispersal (i.e. anthropochory) greatly increases the dispersal of crop species across agroecosystems. In the case of oilseed rape (OSR), spillage of seeds from grain trailers during harvest has never been quantified. METHODS Our experimental ...

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...