Abstract Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. GR(1) expressive assume-guarantee fragment of LTL that enables efficient and has been recently used in different contexts application domains. A common form providing system's requirements through use cases, which are existential nature. However, GR(1)...

The growth and mortality coefficient of Rutilus frisii kutum, were estimated using length frequency data collected in southern waters of the Caspian Sea during October 2008 to April 2009. The following population parameters were evaluated: length-weight relationship, W = 0.004L 3.258, (r= 0.976) Von Bertalanffy growth constants, W∞ (g) = 4192.3, L∞ (cm) = 70.45, K = 0.2, per year t0 = −0.75 tot...

Abstract A reliable decision-making method is of great importance for the designing a practical and efficient organic Rankine cycle (ORC) system employed to exploit geothermal energy. This paper develops three-level non-structural fuzzy decision algorithm comprehensive evaluation geo-fluid driven trans-critical ORC (TORC) on basis progressive performance hierarchy, involving environmental chara...

Submit Manuscript | http://medcraveonline.com J Aquac Mar Biol 2015, 2(4): 00035 Abbreviations: SOD: Superoxide Dismutase; CAT: Catalase; TAC: Total Antioxidant Capacity; MDA: Malondialdehyde; ROO: Primarily Peroxyl Radicals; GPX: Glutathione Peroxidase; ROS: Reactive Oxygen Species; GST: Glutathione-S-Transferase; GR: Glutathione Reductase; PPT: Parts Per Trillion; Ppm: Parts Per Million; RPM:...

BACKGROUND: Epidemiological studies suggest a non-monotonic effect of alcohol consumption on cardiovascular risk, while there is strong evidence concerning the involvement of homocysteine levels on thrombosis. The aim of this work was to evaluate the association between usual ethanol consumption and homocysteine levels, in cardiovascular disease free adults. METHODS: From May 2001 to December 2...

in order to study the influence of municipal waste compost and chemical fertilizer on yield and yield components in maize (zea mays l.) an experiment was conducted at research farm of sari agricultural sciences and natural resources university during 2007. the experiment was arranged in split plots based on complete randomized block design with two factors and three replications. main plot incl...

abstract in this study were reviewed some biological characteristics including sex ratio, gonadosomatic index, fecundity and egg diameter carassius gibelio in the study area from february to september 2015. during the study, 222 specimens from boostan dam and 238 specimens from alakoli reservoir were sampled using small beach seine. the maximum total length and weight of boostan dam for females...

BACKGROUND The intraperitoneal injection is a common method for establishing the experimental animal model infected with parasites. The aim of this study was to investigate if the intraperitoneal injection was another route of Trichinella spiralis infection. METHODS From June to July 2015, twenty BALB/c mice were intraperitoneally injected with 300 T. spiralis muscle larvae in Department of P...

According to SR, Newton was more-or-less right about how objects move at ordinary speeds: that’s why his theory was successful for so long, and why it continues to be useful. But SR comes into its own when accounting for the surprising behaviour of objects moving near the speed of light (300 000 kilometres per second, or 186 000 miles per second). Despite ignoring gravity, SR in its turn is usu...