A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

New constraints on muon-neutrino to electron-neutrino transitions in MINOS

This paper reports results from a search for nu(mu) -> nu(e) transitions by the MINOS experiment based on a 7 x 10(20) protons-on-target exposure. Our observation of 54 candidate nu(e) events in the far detector with a background of 49.1 +/- 7.0(stat) +/- 2.7(syst) events predicted by the measurements in the near detector requires 2sin(2)(2 theta(13))sin(2)theta(23) < 0.12(0.20) at the 90% C.L. for the normal (inverted) mass hierarchy at delta(CP) = 0. The experiment sets the tightest limits to date on the value of theta(13) for nearly all values of delta(CP) for the normal neutrino mass hierarchy and maximal sin(2)(2 theta(23)).

Search for Muon-Neutrino to Electron-Neutrino Transitions in MINOS

This Letter reports on a search for nu(mu)->nu(e) transitions by the MINOS experiment based on a 3.14x10(20) protons-on-target exposure in the Fermilab NuMI beam. We observe 35 events in the Far Detector with a background of 27 +/- 5(stat)+/- 2(syst) events predicted by the measurements in the Near Detector. If interpreted in terms of nu(mu)->nu(e) oscillations, this 1.5 sigma excess of events is consistent with sin(2)(2 theta(13)) comparable to the CHOOZ limit when |Delta m(2)|=2.43x10(-3) eV(2) and sin(2)(2 theta(23))=1.0 are assumed.

Phase transitions and spatially ordered counterion association in ionic-lipid membranes: A statistical model

We propose a statistical model to account for the gel-fluid anomalous phase transitions in charged bilayer- or lamellae-forming ionic lipids. The model Hamiltonian comprises effective attractive interactions to describe neutral-lipid membranes as well as the effect of electrostatic repulsions of the discrete ionic charges on the lipid headgroups. The latter can be counterion dissociated (charged) or counterion associated (neutral), while the lipid acyl chains may be in gel (low-temperature or high-lateral-pressure) or fluid (high-temperature or low-lateral-pressure) states. The system is modeled as a lattice gas with two distinct particle types-each one associated, respectively, with the polar-headgroup and the acyl-chain states-which can be mapped onto an Ashkin-Teller model with the inclusion of cubic terms. The model displays a rich thermodynamic behavior in terms of the chemical potential of counterions (related to added salt concentration) and lateral pressure. In particular, we show the existence of semidissociated thermodynamic phases related to the onset of charge order in the system. This type of order stems from spatially ordered counterion association to the lipid headgroups, in which charged and neutral lipids alternate in a checkerboard-like order. Within the mean-field approximation, we predict that the acyl-chain order-disorder transition is discontinuous, with the first-order line ending at a critical point, as in the neutral case. Moreover, the charge order gives rise to continuous transitions, with the associated second-order lines joining the aforementioned first-order line at critical end points. We explore the thermodynamic behavior of some physical quantities, like the specific heat at constant lateral pressure and the degree of ionization, associated with the fraction of charged lipid headgroups.

Diagnostic transitions in mild cognitive impairment subtypes

Background: At least for a subset of patients, the clinical diagnosis of mild cognitive impairment (MCI) may represent an intermediate stage between normal aging and dementia. Nevertheless, the patterns of transition of cognitive states between normal cognitive aging and MCI to dementia are not well established. In this study we address the pattern of transitions between cognitive states in patients with MCI and healthy controls, prior to the conversion to dementia. Methods: 139 subjects (78% women, mean age, 68.5 +/- 6.1 years; mean educational level, 11.7 +/- 5.4 years) were consecutively assessed in a memory clinic with a standardized clinical and neuropsychological protocol, and classified as cognitively healthy (normal controls) or with MCI (including subtypes) at baseline. These subjects underwent annual reassessments (mean duration of follow-up: 2.7 +/- 1.1 years), in which cognitive state was ascertained independently of prior diagnoses. The pattern of transitions of the cognitive state was determined by Markov chain analysis. Results: The transitions from one cognitive state to another varied substantially between MCI subtypes. Single-domain MCI (amnestic and non-amnestic) more frequently returned to normal cognitive state upon follow-up (22.5% and 21%, respectively). Among subjects who progressed to Alzheimer`s disease (AD), the most common diagnosis immediately prior conversion was multiple-domain MCI (85%). Conclusion: The clinical diagnosis of MCI and its subtypes yields groups of patients with heterogeneous patterns of transitions between one given cognitive state to another. The presence of more severe and widespread cognitive deficits, as indicated by the group of multiple-domain amnestic MCI may be a better predictor of AD than single-domain amnestic or non-amnestic deficits. These higher-risk individuals could probably be the best candidates for the development of preventive strategies and early treatment for the disease.

Sociodemographic Correlates of Transitions from Alcohol Use to Disorders and Remission in the Sao Paulo Megacity Mental Health Survey, Brazil

Aims: To evaluate sociodemographic correlates associated with transitions from alcohol use to disorders and remission in a Brazilian population. Methods: Data are from a probabilistic, multi-stage clustered sample of adult household residents in the Sao Paulo Metropolitan Area. Alcohol use, regular use (at least 12 drinks/year), DSM-IV abuse and dependence and remission from alcohol use disorders (AUDs) were assessed with the World Mental Health version of the Composite International Diagnostic Interview. Age of onset (AOO) distributions of the cumulative lifetime probability of each alcohol use stage were prepared with data obtained from 5037 subjects. Correlates of transitions were obtained from a subsample of 2942 respondents, whose time-dependent sociodemographic data were available. Results: Lifetime prevalences were 85.8% for alcohol use, 56.2% for regular use, 10.6% for abuse and 3.6% for dependence; 73.4 and 58.8% of respondents with lifetime abuse and dependence, respectively, had remitted. The number of sociodemographic correlates decreased from alcohol use to disorders. All transitions across alcohol use stages up to abuse were consistently associated with male gender, younger cohorts and lower education. Importantly, low education was a correlate for developing AUD and not remitting from dependence. Early AOO of first alcohol use was associated with the transition of regular use to abuse. Conclusion: The present study demonstrates that specific correlates differently contribute throughout alcohol use trajectory in a Brazilian population. It also reinforces the need of preventive programs focused on early initiation of alcohol use and high-risk individuals, in order to minimize the progression to dependence and improve remission from AUD.

Phase transitions of frozen camu-camu (Myrciaria dubia (HBK) McVaugh) pulp: Effect of cryostabilizer addition

Camu-camu is a tropical fruit with very high vitamin C content and commercialized as frozen pulp. Enthalpies of freezing, temperatures of the onset of ice melting, and glass transition temperatures of the maximally freeze-concentrated phase (T`(g)) of camu-camu pulp and of samples containing maltodextrin (DE20) and sucrose were measured by differential scanning calorimetry. Maltodextrin exhibited the largest freeze stabilization potential, increasing T`(g) from -58.2 degrees C (natural pulp) to -39.6 degrees C when 30% (w/w) maltodextrin DE 20 was added. Sucrose showed negligible effect on T`(g) but enhanced considerably the freezing point depression and less amount of ice was formed.

Phase transitions of cassava starch dispersions prepared with glycerol solutions

The aim of this work was to study the glass transition, the glass transition of the maximally freeze-concentrated fractions, the ice melting and the gelatinization phenomenon in dispersions of starch prepared using glycerol- water solutions. The starch concentration was maintained constant at 50 g cassava starch/100 g starch dispersions, but the concentration of the glycerol solutions was variable (C-g= 20, 40, 60, 80 and 100 mass/mass%). The phase transitions of these dispersions were studied by calorimetric methods, using a conventional differential scanning calorimeter (DSC) and a more sensitive equipment (micro-DSC). Apparently, in the glycerol diluted solutions (20 and 40%), the glycerol molecules interacted strongly with the glucose molecules of starch. While in the more concentrated glycerol domains (C-g> 40%), the behaviour was controlled by migration of water molecules from the starch granules, due to a hypertonic character of glycerol, which affected all phase transitions.

Aging and stationary properties of non-equilibrium symmetrical three-state models

We consider a non-equilibrium three-state model whose dynamics is Markovian and displays the same symmetry as the three-state Potts model, i.e. the transition rates are invariant under the cyclic permutation of the states. Unlike the Potts model, detailed balance is, in general, not satisfied. The aging and the stationary properties of the model defined on a square lattice are obtained by means of large-scale Monte Carlo simulations. We show that the phase diagram presents a critical line, belonging to the three-state Potts universality class, that ends at a point whose universality class is that of the Voter model. Aging is considered on the critical line, at the Voter point and in the ferromagnetic phase.

Ground-state energy of a classical artificial molecule

We study the ground-state energy of a classical artificial molecule formed by two-dimensional clusters (artificial atoms) of N/2 charged particles separated by a distance d. For the small molecules of N = 2 and 4, we obtain analytical expressions for this energy. For the larger ones, we calculate the ground-state energy using molecular dynamics simulation for N up to 128. From our numerical results, we are able to find out a function to approximate the ground-state energy of the molecules covering the range from atoms to molecules for any inter-atom distance d and for particle number from N = 8 to 128 within a difference less than one percent from the MD data.

Dental caries profile in Monte Negro, Amazonian state of Rondônia, Brazil, in 2008

OBJECTIVE: This epidemiological survey assessed the dental caries profile in Monte Negro, a small town in the Amazonian state of Rondônia, Brazil, and its relationship with the northern region, national and global goals for oral health in the years 2000 and 2020. MATERIAL AND METHODS: The groups randomly examined were composed of individuals aged 5, 12, 15 to 19, 35 to 44, 65 to 74 years, living in both rural and urban areas. RESULTS: The means dft (standard deviation) and DMFT (standard deviation) for the groups were, respectively, 3.15 (3.12), 3.41 (2.69), 5.96 (4.19), 16.00 (7.30) and 25.96 (9.82). Caries-free individuals were 34.42%, 14.81% and 8.16% in the preschoolchildren, schoolchildren and adolescent groups, respectively. The Significant Caries Index percentages applied to the two younger groups were 6.65 and 6.70, and they increased to 32.00 in the individuals aged 65 to 74 years. Care Index percentages for adolescents, adults and elderly groups were, respectively, 29.40, 25.00 and 1.41. The dental caries profile in Monte Negro in 2008 shows that, 8 years after the year 2000, no FDI/WHO goal for any age settled in 1982 has been achieved. Dental caries increased with age and the main dental problem of adult and elderly groups was tooth loss. CONCLUSION: Oral health promotion and prevention of oral disease policies are urgent needs. Setting of oral health goals and targets to people living in Monte Negro or Amazonia to be pursuit and achieved in a near future is an important action to do because of the culture, sanitary conditions and socioeconomic aspects of this particular population.

Oral health conditions among the elderly in Southeastern São Paulo State

OBJECTIVE: This study aimed to asses oral health conditions in a population aged 60 years and over living in Botucatu, Southeastern Brazil. A cross-sectional population-based study was carried out using a random sample (N=372) of the urban population aged 60 years and over from the city of Botucatu, in 2005. World Health Organization criteria and codes for oral health epidemiological surveys were used. Re-examination was carried out in 10% of individuals aiming to evaluate intra-examiner agreement. Statistical analysis was performed by one-way ANOVA or Kruskal-Wallis ANOVA, as applicable. Also, the t-test was used in the absence of homoscedasticity. Fisher's exact test was used for situations where the categories with less than five units were observed. Adjusted residuals and multiple-comparison analysis were conducted to identify associations between variable categories and subgroups. The intra-examiner agreement was 98% and Kappa statistics result was 0.95. Loss component represented 90.68% of DMF-T index, which was 29.85. The prevalence of edentulism was 63.17%. Upper and lower dentures were found in 80% and 58% respectively, with complete denture as the most commonly used. In those studied, 15% required upper and 38% lower dentures. There was more need for complete denture in both jaws. Approximately 20% had soft tissue alterations. For periodontal conditions, most sextants were excluded (81.81%). Periodontal pockets (4 - 5 mm) were seen in 11.29% of the examined individuals. The oral health status of the elderly population in Botucatu is poor, as well as in other Brazilian cities. The results of this study may help planning collective health actions, giving an accurate description of the oral problems among the elderly.

Isolation of Pseudomonas aeruginosa strains from dental office environments and units in Barretos, state of São Paulo, Brazil, and analysis of their susceptibility to antimicrobial drugs

A wide variety of opportunistic pathogens has been detected in the tubing supplying water to odontological equipment, in special in the biofilm lining of these tubes. Among these pathogens, Pseudomonas aeruginosa, one of the leading causes of nosocomial infections, is frequently found in water lines supplying dental units. In the present work, 160 samples of water, and 200 fomite samples from forty dental units were collected in the city of Barretos, State of São Paulo, Brazil and evaluated between January and July, 2005. Seventy-six P. aeruginosa strains, isolated from the dental environment (5 strains) and water system (71 strains), were tested for susceptibility to six antimicrobial drugs most frequently used against P. aeruginosa infections. Susceptibility to ciprofloxacin, followed by meropenem was the predominant profile. The need for effective means of reducing the microbial burden within dental unit water lines is emphasized, and the risk of exposure and cross-infection in dental practice, in special when caused by opportunistic pathogens like P. aeruginosa, are highlighted.

Phase transitions in biodegradable films based on blends of gelatin and poly (vinyl alcohol)

The aim of this work was to study the effect of the hydrolysis degree (HD) and the concentration (C PVA) of two types of poly (vinyl alcohol) (PVA) and the effect of the type and the concentration of plasticizers on the phase properties of biodegradable films based on blends of gelatin and PVA, using a response-surface methodology. The films were made by casting and the studied properties were their glass (Tg) and melting (Tm) transition temperatures, which were determined by diferential scanning calorimetry (DSC). For the data obtained on the first scan, the fitting of the linear model was statistically significant and predictive only for the second melting temperature. In this case, the most important effect on the second Tm of the first scan was due to the HD of the PVA. In relation to the second scan, the linear model could be fit to Tg data with only two statistically significant parameters. Both the PVA and plasticizer concentrations had an important effect on Tg. Concerning the second Tm of the second scan, the linear model was fit to data with two statistically significant parameters, namely the HD and the plasticizer concentration. But, the most important effect was provoked by the HD of the PVA.

Occurrence of Staphylococcus aureus in raw milk produced in dairy farms in São Paulo state, Brazil

The objective of the present study was to evaluate the occurrence of Staphylococcus aureus in milk produced in 37 farms located in the regions of Ribeirão Preto and São Carlos, state of São Paulo, Brazil. Two-hundred and eight samples of milk from individual cows showing subclinical mastitis, and 37 samples of bulk tank milk were analyzed. S. aureus strains were detected in 18 (7.3%) milk samples: 14 (6.7%) from samples of individual cows, and 4 (10.8%) from bulk tank milk. Two individual milk samples (14.3%) and two bulk milk samples contained enterotoxigenic S. aureus. PFGE analysis revealed the genetic heterogeneity of the strains isolated from raw milk, which presented to 13 S. aureus patterns. Results confirmed the potential transmission of staphylococcal food poisoning to consumers via milk of cows affected by subclinical mastitis, mainly when raw milk is ingested.