In recent years, the LTSmin model checker has been extended with support for several new modelling languages, including probabilistic (Mapa) and timed systems (Uppaal). Also, connecting additional language front-ends or ad-hoc state-space generators to LTSmin was simplified using custom C-code. From symbolic and distributed reachability analysis and minimisation, LTSmin’s functionality has deve...

Fourteen species of the genus Empis Linnaeus were collected and identified from Iran. Empis (Lisssempis) guilanensis Kazerani & Shamshev sp. nov. is described and illustrated from Guilan province in north central Iran. The following seven species were recorded from Iran for the first time: E. (Euempis) tessellata Fabricius, 1794; E. (Pachymeria) mediterranea (Loew, 1864); E. (P.) obscuripes (Lo...

abstract urban parks are important public multifunctional space used for a wide range of activities. the usage levels of parks depend on the spatial characteristics of the spaces, where its forms and occupancies are referred as the usage-spatial relationship. natural elements spatial complexity and park usability is of interest in this study. a photo - questionnaire was conducted among 296 of p...

The purpose of this paper aims to clarify the relationship between servant leadership and organizational trust, and tries to demonstrate the mediator role of leader trust and organizational communication in this relationship. The study sample included 258 employees of Guilan province Tax Administration and for sampling we used cluster method. Previous studies have also focused on the positive i...

During intraocular surgery of a 44-year-old woman from Guilan Province in north Iran, a small flat parasite was removed from the anterior chamber angle of the left eye. According to morphological characterisation of the parasite, it was identified as Fasciola hepatica. The route of entry of the parasite was not identified. Meanwhile, stool and serology examinations of the patient for diagnosis ...

guilan province is located in north of iran. it plays an important natural, economic and strategic role in iranian history due to its geographical location between the caspian sea and the alborz mountain. this particular characteristic of guilan has made it one of the most important political centers in its history and in the history of its struggles against the central government of iran. iran...

The city is alive with dynamic systems, where parks and urban green spaces have high strategic importance which help to improve living conditions. Urban parks are used as visual landscape with so many benefits such as reducing stress, reducing air pollution and producing oxygen, creating opportunities for people to participate in physical activities, optimal environment for children and decreas...

mohaddeseh safarpoor nikoo langroodi was born in langrood, guilan, i.r. iran. she received b.s. in chemistry from shahid beheshti university (2006) and his m.s. in organic chemistry from university of guilan (2010) under the direction of professor farhad shirini. after two years, she began her ph.d. studies at university of guilan under supervision of professor farhad shirini. her current resea...