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.

Infecção do trato urinário associada à sondagem vesical numa unidade de terapia intensiva

A descriptive, quantitative approach and non-participant observation study, which was aimed at analyzing the association between knowledge and practice of inclusion and maintenance of urinary catheter by nursing professionals in the occurrence of urinary tract infection, performed in the ICU of Onofre Lopes University Hospital in Natal / RN. The original sample was composed of 42 nursing staff professional, five (5) nurses and 37 nursing technicians, 27 of them were outsourced (FUNPEC and IEL fellows) and 10 servers UFRN. Data collection was performed using two instruments, the first observation procedures used in the insertion and manipulation of indwelling urinary catheter (IUC) and the second with a questionnaire that addressed the characterization data of respondents, knowledge and conduct the insertion and manipulation of the IUC. The results were tabulated in Microsoft Excel and analyzed using SPSS software, version 15.0. We found the prevalence of institutional staff members on outsourcing - IEL and FUNPEC - (64.3%) were female (69.0%), aged 21 to 35 years (59.5%) and with mid-level education (88.1%). As to knowledge, we found that the nurses had levels of good to excellent and the nursing technicians, to regulate the poor. The nurses made a mistake when choosing IUC (40.0%) and washing hands (30.0%) and technicians on hand washing (74.4%) and the contents of the tray (34.7%). In relation to the conduct of insertion of IUC, the nurses made a mistake when choosing SVD (66.7%) and washing hands (57.1%). Regarding the handling of IUC/drainage system, the technicians were wrong more about washing their hands (56.0%). Analyzing the misconduct to the categorization of knowledge, we saw that the nursing staff who had missed more had inadequate knowledge (ρ = 0.001). At the end we found the risk of a patient to acquire UTI is higher in two and a half times when there is a large number of mismatches, patient spends more time using the IUC and hospitalized in the ICU. As regards the study hypotheses, we accept the alternative hypothesis and reject the null hypothesis proposed at the start of this research, where the number of gaps in knowledge and behavior increases the incidence of urinary tract infection.

Qualidade de vida de pessoas com úlcera venosa: associação dos aspectos sociodemográficos, de saúde, assistência e clínicos da lesão

Venous ulcer (VU) is a lower limbs injury resulting from inadequate return of venous blood in feet or legs. Although it is not a deadly disease, it causes chronic wounds, which seriously undermine patients´ quality of life (QOL) and sometimes leads to drastic family, social, economic and psychological changes. In this sense, there are several aspects that may influence the venous ulcers patients´ QOL. The study´s objective aimed on the association of socio-demographic and health, health care and clinical injury on UV patients‟ QOL. Analytical studies, which consider the complexity of factors involved in changes in UV patients‟ QOL has a cross-sectional and quantitative approach. The HUOL Ethics Committee approved this project (n.279/09). The collection of data lasted a period of 3 months in 2010 and it took place at the clinic of Angiology at Hospital Universitário Onofre Lopes (HUOL). The data sample consisted of 60 patients treated by UV angiologists in the HUOL Surgical Clinic. The results were analyzed with SPSS 15.0 by descriptive and inferential statistics. The study was based on UV patients that were predominantly female, average age of 61.4 years, that had low education level and low family income, with occupations requiring long periods of standing or sitting, but mostly retired, unemployed or laid off due to the disease and/or due to chronic diseases associated with the UV. The study took also into consideration patients that used inappropriate products, that were improperly treated by a professional caregiver, that lacked of adequate guidance and compression therapy, that performed no lifting of the lower limbs and regular exercise, that the time of injury were greater than or equal to six months, that were missing specific laboratory tests. The study‟s reference were on recurrent lesions, medium to large lesions area, bed of the lesion (injuries) with fibrin and/or necrosis, with amount of exudate with medium to large, odorless and no signs of infection, with tissue loss between 1st and 2nd degree, without collecting swab or biopsy and with pain. In general, QOL of researched individuals were considered low, the maximum score was 69 points, which the areas that were mostly influenced were the total scores of QOL functional capacity (0.021), emotional (0.000) and social functioning (0.080). Of the 60 individuals, 53.3% had scores between 40 and 69 points in SF-36, and they had the best scores in sociodemographic and health variables (ρ = 0.049). In respect to the assistance and injury characteristics, patients who scored between 40 and 69 points in SF-36 had better scores on these characteristics. By combining the socio-demographic variables, health, and handling characteristics of the injury, we observed a significant difference (ρ = 0.032) when linking them with the QOL total scores. When analyzing separately the domains of the SF-36 scores on the quality of life, we find that the areas that showed statistical significance were functional ability (ρ = 0.035), appearance (ρ = 0.019), emotional (ρ = 0.000), and mental health (ρ = 0.050). Among the socio-demographic characteristics studied, gender and marital status contributed more to the reduction of QOL and among the variables of assistance and the injury, orientation, reference and area of UV contributed the most. By analyzing these five variables all together in accordance with the overall score obtained in the quality of life, we found a significant correlation (ρ = 0.002); with 6.23 times more chances of patients have better QOL in the presence of these five positive factors. By conducting the Mann Whitney U test between all the five demographic variables, health, and clinical care, we found that this combination also proved to be significant (ρ = 0.006). Therefore, patients with these five variables positive tend to have a better QOL. Based on these results, we reject the null hypothesis (H0) and accept the alternative hypothesis (H1) proposed in this study because we noted that the QOL of patients with UV is associated with sociodemographic and health, health care and clinical aspects of the injury

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.