Properties of prey sensory systems are important factors shaping the design of signals generated by organisms exploiting them. In this study we assessed how prey sensory preference affected the exploiter signal design by investigating the evolutionary relationship and relative attractiveness of linear and cruciate form web decorations built by Argiope spiders. Because insects have an innate pre...

This work describes the course of the experiment aimed to microwave (MW) desiccation of masonry by MW plug-in bar antenna applied to various types of brickwork. Experiment was carried on in the masonry manufactured from solid bricks, modern hollow brick form-pieces THERM and from aerated concrete blocks YTONG. Results of this experiment should determine what type of MW desiccation method is the...

I n the first century of Roman domination silver jewelry in the Balkan region is very numerous, and local production of these decorations lasted until the middle of the 3rd century. In that production an important role played the autochthonous component. Gold jewelry from this region is of East-Mediterranean origin, and some shapes of ornaments and use of the techinques of filigree and granulat...

The syntax of an imperative language does not mention explicitly the state, while its denotational semantics has to mention it. In this paper we present a framework for the verification in Coq of properties of programs manipulating the global state effect. These properties are expressed in a proof system which is close to the syntax, as in effect systems, in the sense that the state does not ap...