We give a short survey on methods for the enclosure of the solution set of a system of linear equations where the coefficients of the matrix and the right hand side depend on parameters varying within given intervals. Then we present a hybrid method for finding such an enclosure in the case that the dependency is polynomial or rational. A general-purpose parametric fixed-point iteration is comb...

Several recent studies have shown that chickens, fish, and humans trained to find a reward in a corner of a rectangular enclosure with distinctive features rely more on the geometry of the enclosure in small enclosures and rely more on the features in large enclosures. Here, these results are modeled using a recent associative model of geometry learning [Miller, N.Y., Shettleworth, S.J., 2007. ...

Computing transitive closures of integer relations is the key to finding precise invariants of integer programs. In this paper, we study difference bounds and octagonal relations and prove that their transitive closure is a PTIMEcomputable formula in the existential fragment of Presburger arithmetic. This result marks a significant complexity improvement, as the known algorithms have EXPTIME wo...

Well-defined carbon polyhedrons with faceted morphologies and hollow internal structures made of self-organized multi-walled carbon nanotubes have been fabricated by gas phase catalytic CVD inside microchannels, of which the confined space is critical for the formation of polyhedral structures with hexagonal, heptagonal and octagonal cross-sections that show superhydrophobic properties, with th...

The Dodewaard NPP was shut down in 1997 and is now in the decommissioning phase. All spent fuel has been removed from the plant and transferred to Sellafield, in the United Kingdom, for reprocessing. The last shipment of spent fuel from Dodewaard was made in April 2003. In May 2002 a license was granted to GKN, the operator of the NPP Dodewaard, to bring and keep the plant in a safe enclosure. ...

organization of living environment is possible through a clear definition of private and public arenas and determinationof a spatial hierarchy. such defined arenas increase the sense of belonging to the environment which personalizesresidential environments. enclosure is among the quantities that play a significant role in defining the spaces. in fact,enclosure is the factor that defines a spac...