Abstract We provide a survey of the state art rational verification : problem checking whether given temporal logic formula ϕ is satisfied in some or all game-theoretic equilibria multi-agent system – that is, will exhibit behavior represents under assumption agents within act rationally pursuit their preferences. After motivating and introducing overall framework verification, we discuss key r...

The injection of repeated doses of lipopolysaccharide (LPS) results in attenuation of the febrile response, which is called endotoxin tolerance. We tested the hypothesis that nitric oxide (NO) arising from inducible NO synthase (iNOS) plays a role in endotoxin tolerance, using not only pharmacological trials but also genetically engineered mice. Body core temperature was measured by biotelemetr...

Hypoxia evokes a regulated decrease in body temperature, a response that has been termed anapyrexia, but the mechanisms involved are poorly understood. Therefore, the present study was undertaken to test the hypothesis that hypoxia-induced anapyrexia results from the activation of cAMP- and cGMP-dependent pathways in the preoptic region (PO). Adult male Wistar rats weighing 230-260 g were used....

In this review we detail the impact of climate change on marine productivity, on marine environmental stochasticity and cyclicity, and on the spatio-temporal match–mismatch of seabirds and their prey. We thereby show that global warming has a profound bottom-up impact upon marine top-predators, but that such effects have to be studied in conjunction with the (top-down) impact of human fisheries...

UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...

UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...

Satellite-tagging is increasingly becoming a powerful biotelemetry approach to obtain remote measurement through tracking free-living cetaceans, which can fill knowledge gaps on cetaceans and facilitate conservation management. Here, we made first biologging attempt baleen whales in Chinese waters. An adult Bryde’s whale the Beibu Gulf was tagged investigate potential occurrence areas migration...

Game tree Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract Game tree verificationGame tree verification Abstract ...