Strategy Logic (SL, for short) has been introduced by Mogavero, Murano, and Vardi as a useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent concurrent games. This logic turns out to be very powerful, subsuming all major previously studied modal logics for strategic reasoning, including ATL, ATL, and the like. Unfortunately, due to its high expressiv...

Of three recently cloned T-type voltage-gated calcium channels, alpha(1g) is most likely responsible for burst firing in thalamic relay cells. These neurons burst during various thalamocortical oscillations including absence seizures. In this issue of Neuron, Kim et al. inactivated alpha(1g), and resultant mice were deficient in relay cell bursting and resistant to GABA(B) receptor-dependent ab...

aim: regular physical activity has several physical, psychological and social benefits. however, it is a global health problem, especially among icu nurses. therefore, in order to improve nurses’ physical activity, it is required to determine the effective correlated factors. the aim of this study was to delineate predictive factors on the physical activity of icu nurses based on a trans-theore...

abstract recharge of aquifers by using wastewater, is one of the important and applicable ways for reusing this valuable water resource, especially in arid and semi-arid regions. as the necessity of local practices for finding the proper management strategies and optimum use of recharge systems (conforming to climate, soil, etc.), a preliminary study was carried out. three physical models were ...

objective: educational models are used to study the behavior and plan for changing and determining the factors that affect the individuals’ decision making for conducting a behavior. this study aimed to compare the effects of the educational program based on basnef model and acupressure at gb21 point on the infants’ physical growth indicators.methods: this clinical trial was conducted on 150 (5...

molecular understanding of three-dimensional (3d) peptide: mhc models require both basic knowledge of computational modeling and skilled visual perception, which are not possessed by all students. the present model aims to simulate mhc molecular structure with the hands and make a profound impression on the students.

background: the people residing in coastal areas of visakhapatnam are mostly engaged in fishery, which is always been a physically demanding job, and numerous factors have direct or indirect impact on the health of fishermen; but, the data about their physical fitness or health status is quite scanty. thus, the present study was conducted to assess their cardiorespiratory fitness pattern, as we...

We present theoretical calculations of the thermal conductivity for the " accidental degeneracy " and " enlarged symmetry group " models that have been proposed to explain the phase diagram of UPt 3. The order parameters for these models possess point nodes or cross nodes, reflecting the broken symmetries of the ground state. These broken symmetries lead to robust predictions for the ratio of t...

BACKGROUND Sugarcane is an attractive feedstock for ethanol production, especially if the lignocellulosic fraction can also be treated in second generation (2G) ethanol plants. However, the profitability of 2G ethanol is affected by the processing conditions, operating costs and market prices. This study focuses on the minimum ethanol selling price (MESP) and maximum profitability of ethanol pr...

The garden grass (GG) was firstly used to remove copper(II) from water as bioadsorbent. From the results of characterisation, the GG had the merits of high specific surface area, significant adsorption sites and functional groups. Copper-adsorption significantly depends on the initial copper concentrations, contact time, pH, adsorbent doses, particle sizes and temperature. The positive values o...