Handling Equality in Monodic Temporal Resolution

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments including the guarded fragment with equality. In this paper, we specialise the monodic resolution method to the guarded monodic fragment with equality and first-order temporal logic over expanding domains. We introduce novel resolution calculi that can be applied to formulae in the normal form associated with the clausal resolution method, and state correctness and completeness results.

Handling Mitigating Circumstances for Electronic Contracts

Electronic contracts are a means of representing agreed responsibilities and expected behaviour of autonomous agents acting on behalf of businesses. They can be used to regulate behaviour by providing negative consequences, penalties, where the responsibilities and expectations are not met, i.e. the contract is violated. However, long-term business relationships require some flexibility in the face of circumstances that do not conform to the assumptions of the contract, that is, mitigating circumstances. In this paper, we describe how contract parties can represent and enact policies on mitigating circumstances. As part of this, we require records of what has occurred within the system leading up to a violation: the provenance of the violation. We therefore bring together contract-based and provenance systems to solve the issue of mitigating circumstances.

Leakage Detection And Localization Method Based On A Hybrid Inverse/Direct Modelling Approach Suitable For Handling Multiple-Leak Scenarios

When an accurate hydraulic network model is available, direct modeling techniques are very straightforward and reliable for on-line leakage detection and localization applied to large class of water distribution networks. In general, this type of techniques based on analytical models can be seen as an application of the well-known fault detection and isolation theory for complex industrial systems. Nonetheless, the assumption of single leak scenarios is usually made considering a certain leak size pattern which may not hold in real applications. Upgrading a leak detection and localization method based on a direct modeling approach to handle multiple-leak scenarios can be, on one hand, quite straightforward but, on the other hand, highly computational demanding for large class of water distribution networks given the huge number of potential water loss hotspots. This paper presents a leakage detection and localization method suitable for multiple-leak scenarios and large class of water distribution networks. This method can be seen as an upgrade of the above mentioned method based on a direct modeling approach in which a global search method based on genetic algorithms has been integrated in order to estimate those network water loss hotspots and the size of the leaks. This is an inverse / direct modeling method which tries to take benefit from both approaches: on one hand, the exploration capability of genetic algorithms to estimate network water loss hotspots and the size of the leaks and on the other hand, the straightforwardness and reliability offered by the availability of an accurate hydraulic model to assess those close network areas around the estimated hotspots. The application of the resulting method in a DMA of the Barcelona water distribution network is provided and discussed. The obtained results show that leakage detection and localization under multiple-leak scenarios may be performed efficiently following an easy procedure.

Dynamics of some limnological characteristics in pacu (Piaractus mesopotamicus) culture tanks as function of handling

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Are cutout handles used when available in real occupational settings? Description of grips and upper extremities movements during industrial box handling

In order to achieve better postures and decrease musculoskeletal risks adequate design of hand/box couplings for manual materials handling (MMH) are still needed. No studies evaluating upper limb movement thorough direct measurements during box handling in workplace were identified in the literature. In this study we describe the types of grip and movements adopted by ten workers when handling redesigned boxes with cutout handles between different heights on industrial pallets. The new handles were used by 90% of the workers through different types of grip. Electrogoniometric measurements showed relatively safe forearm and wrist movements, although elbow inadequate range of movement was recorded. Despite the good acceptance of the cutout by workers, the new design requires extra internal space in the boxes reducing applications for this alternative of box.

Concurrent nociceptive stimulation impairs the anxiolytic effect of midazolam injected into the periaqueductal gray in mice

This study investigated whether the opportunity to avoid or escape the open arms of an elevated plus-maze (EPM) affects the antinociceptive response observed when mice are subjected to open arm confinement. Furthermore, in order to better characterize the relationship between emotion and antinociception in the EPM, we examined the behavioral effects of midazolam injection into the midbrain periaqueductal gray matter (PAG). As our main aim was to evaluate the relevance of different levels of approach-avoid conflict (i.e. The presence of open and closed arms) to maze-induced antinociception, mice were exposed to one of three types of EPM-a standard EPM (sEPM), an open EPM (oEPM: four open arms) or, as a control condition, an enclosed EPM (eEPM: four enclosed arms). Nociception was assessed using the formalin test. Twenty minutes after formalin injection (50 mu l, 2.5% formalin) into the dorsal right hind paw, mice received an intra-PAG injection of saline or midazolam (10-20 nmol). Five minutes later, they were individually exposed to one of the mazes for 10 min (25-35 min after formalin injection). Videotapes of the test sessions were scored for a variety of behavioral measures including time spent licking the formalin-injected paw. To examine whether the effects of midazolam on anxiety-like behavior may have been influenced by concurrent nociceptive stimulation (i.e. formalin pretreatment), naive mice were submitted to a similar procedure to that described above for the sEPM test but without formalin pretreatment. Results showed that mice exposed to the oEPM spent significantly less time licking the injected paw compared to groups exposed to either the sEPM or eEPM. Although exposure to the sEPM induced anxiety-like behaviors (i.e. open arm avoidance), it did not result in antinociception. Intra-PAG infusions of midazolam failed to block oEPM-induced antinociception or to alter sEPM-induced anxiety in mice that had received formalin injection. However, under normal test conditions (i.e. in the absence of formalin-induced nociceptive stimulation), intra-PAG midazolam produced clear anti-anxiety effects in mice exposed to the sEPM. Findings are discussed in terms of different emotional states induced by the oEPM and sEPM and the influence of concurrent nociceptive stimulation on the anti-anxiety effect of intra-PAG midazolam. (c) 2005 Elsevier B.V. All rights reserved.

Exercise Training and Caloric Restriction Prevent Reduction in Cardiac Ca2+-Handling Protein Profile in Obese Rats

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Obesity induces upregulation of genes involved in myocardial Ca2+ handling

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Effects of temperament and acclimation to handling on feedlot performance of Bos taurus feeder cattle originated from a rangeland-based cow-calf system

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Matricaria chamomilla CH12 decreases handling stress in Nelore calves

Matricaria chainomilla CH12 is a phytotherapeutic or homeopathic product, which has been used to reduce stress. Here, we examined its effect on preventing handling stress in bovines. Sixty Nelore calves were randomly distributed into two equal groups. One group was administered Matricaria chainomilla CH, in diet and the other the 'control' was not. Animals in both groups were maintained unstressed for 30 days to adjust to the feeding system and pasture, and were then stressed by constraint on the 31th, 38th, 45th and 60th experimental days. Blood samples were taken on these days after animals had been immobilization in a trunk contention for 5 min. Stress was followed by analyzing serum cortisol levels. These peaked on the 45th day and then decreased, but not to baseline, on the 60th day. on the 45th day cortisol levels were significantly lower in animals fed Matricaria chantomilla CH12, suggesting that this product reduces stress. These effects may be a consequence of its inhibiting cortisol production and its calming and anxiolytic effects.

Association between handling stress in the corral and rabies antibody titers in selenium-supplemented cattle

This study determined the correlation between serum cortisol levels and rabies antibody titers in cattle primo-vaccinated against rabies and supplemented with dietary selenium (Se). Sixty Nelore male calves (10 to 12 months old) received daily and individual dietary supplementation with 0, 3.6, 5.4 and 6.4 mg Se (groups Gc, G(3.6), G(5.4) and G(6.4), respectively). The animals were vaccinated against rabies (day 0) and subjected to handling stress in the corral for 120 days. Blood sampling procedures were performed on days 0, 15, 30, 60, 90 and 120. Cortisol levels increased until day 90, but had dropped significantly by day 120 (P < 0.01). Rabies antibody titers on days 30 and 90 were similar among Se-supplemented groups; in the control group, rabies antibodies decreased significantly from day 30 to 60, and 90 to 120. Serum cortisol levels and antibody titers were not correlated in most of the groups or blood sampling days. A positive correlation among these variables was found only in G(6.4) on days 60 (R = 0.513; P = 0.05) and 120 (R = 0.644; P = 0.009). In conclusion, repeated handling in the corral stresses cattle, but without compromising rabies humoral immune response.

Chemical communication of handling stress in fish

We investigated whether juveniles of the nocturnal fish jundia (Rhamdia quelen) and the diurnal fish Nile tilapia (Oreochromis niloticus) are able to chemically communicate stress to conspecifics. Groups of 8 fish were reared in tanks under recirculated water (water exchanged among all the tanks) for each species. Fish were handled in half of the tanks (stressor fish) and whole-body cortisol concentrations were compared among handled fish, non-handled fish exposed to water from the handled fish, and non-handled control fish held with no water communication. For each treatment cortisol concentrations were determined before exposure to the stressor (basal levels) and after 1, 2, 4, 8, and 24 h. Basal levels of cortisol confirmed fish were unstressed in the beginning of the experiment. Cortisol was increased in the stressor fish 1 h after handling. Fish receiving water from the stressor fish increased cortisol levels later (2 h after the stressor fish were handled). As the isolated control group maintained cortisol levels unchanged throughout the experiment, we concluded that some chemical factor was released by the stressed fish in the water and thus stressed the conspecifics. This pattern was similar for both unrelated species, thus suggesting that this communication might have evolved earlier in fish and reinforcing the biological value of this kind of information. Published by Elsevier B.V.