Cucumber mosaic virus (CMV) is one of the causal agents of viral diseases that infected mint (Mentha spp.). CMV is a member of the cucumovirus genus in  Bromoviridae family. The virus is naturally transmitted by aphids in a non-persistent manner.During  growing season 2007-2008, leaf samples from plants of mint fields with symptoms of viral disease were collected in mint fieldas in Tehran provi...

Within our long term interdisciplinary project Nasca/Palpa modern 3D data acquisition techniques were applied for different purposes successfully in the past, particularly for mapping of large and medium scale decorations found in the landscape such as the famous geoglyphs in the Palpa and Nasca regions as well as the petroglyphs of Chichictara. Archaeologists involved in research on the Nasca ...

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

Modern software development increasingly often takes place in geographically distributed contexts involving multiple development groups with different backgrounds and roles. Part or most of software systems is provided through COTS components, Open Source, outsourcing, multi-party collaboration and distributed development teams. The software architecture plays an increasingly important role to ...

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

Following recent result of L. M. Tóth [Tót21, Annales Henri Lebesgue, Volume 4 (2021)] we show that every 2Δ-regular Borel graph