Strategy Logic (SL) has recently come to the fore as a useful specification language to reason about multi-agent systems. Its one-goal fragment, or SL[1G], is of particular interest as it strictly subsumes widely used logics such as ATL*, while maintaining attractive complexity features. In this paper we put forward an automata-based methodology for verifying and synthesising multi-agent system...

The technique for estimating cerebral blood flow (CBF) in anesthetized rats by injecting 133Xe into the internal carotid artery represents a potentially useful and inexpensive model for screening cerebral vascular responses to pathophysiological and pharmacological stimuli. We have examined associated neuropathology, the validity and the reproducibility of the method, and made comparisons of in...

The pharmacokinetics of ibuprofen were studied under microgravity (µG) conditions and compared with those at normal gravity (1G) in humans. Six healthy human volunteers were given 600 mg oral dose ibuprofen during 1-day simulated µG antiorthostatic bed rest position, then at normal position (1G) in a sequential design with 7 days washout time. Saliva and plasma samples were obtained up to 8 hou...

The following stochastic model, which can be used for example to describe an insurance business, has been considered by Grandell (1991) and Embrechts et al. (1997), Rolski et al. (1999) and Asmussen (2000), among others. Costs of claims Zi, ib 1, form a sequence of independent and identically distributed (i.i.d.), positive random variables (r.v.s) with a common distribution function (d.f.) F an...

The U.S., Brazil and a number of European and other countries worldwide have introduced various support schemes for bioethanol and biodiesel. The advantage of these biofuels is that they are relatively easily integrated with the current fossil fuel-based transport sector, at least up to a certain point. However, recent studies point to various negative effects of expanding the production of fir...

The tuh-1 maternal effect locus contains two naturally occurring isoalleles, tuh-1h and tuh-1g. Until recently there has been no possibility to distinguish between the tuh-lh and the tuh-1g maternal effects other than evaluating their effect on the Bithorax-Complex (BXC) Abdominal B (Abd-B) mutant tuh-3. However, in this report we identify a bristle phenotype associated with the tuh-1 locus tha...

Mutations to the canonical +1G of introns, which are commonly found in many human inherited disease alleles, invariably result in aberrant splicing. Here we report genetic findings in C. elegans that aberrant splicing due to +1G mutations can be suppressed by U1 snRNA mutations. An intronic +1G-to-U mutation, e936, in the C. elegans unc-73 gene causes aberrant splicing and loss of gene function...

AIM Metalloproteinases (MMPs) are a family of multifunctional proteins which have been shown to be up-regulated in various types of cancer. However, the contribution of MMP1 genotype to oral cancer has not been elucidated. This study aimed to evaluate the contribution of MMP1 promoter 1607 genotype to the risk of oral cancer. MATERIALS AND METHODS In this case-control study, MMP1 genotype and...