On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner

We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms. We use this framework to motivate the comparison of three recent proof planning systems, lclam, OMEGA and IsaPlanner, and demonstrate how the framework allows us to discuss and illustrate both their similarities and differences in a consistent fashion. This analysis reveals that proof control and the use of contextual information in planning states are key areas in need of further investigation.

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs

This paper reports the use of proof planning to diagnose errors in program code. In particular it looks at the errors that arise in the base cases of recursive programs produced by undergraduates. It describes two classes of error that arise in this situation. The use of test cases would catch these errors but would fail to distinguish between them. The system adapts proof critics, commonly used to patch faulty proofs, to diagnose such errors and distinguish between the two classes. It has been implemented in Lambda-clam, a proof planning system, and applied successfully to a small set of examples.

Anthropometric characteristics and the burden of altered nutritional status among neuropsychiatric patients at Zomba Mental Hospital in Zomba, Malawi

Objective To determine the prevalence of overnutrition and undernutrition among neuropsychiatric inpatients and outpatients at Zomba Mental Hospital in Zomba, Malawi. Methods In this analytical cross-sectional study (n = 239), data were collected from psychiatric patients who were either inpatients (n = 181) or outpatients (n = 58) at Zomba Mental Hospital, which is the largest mental health facility in Malawi. Information was collected about patient demographics, anthropometric data, dietary information, and tobacco and alcohol use, among other variables. Data were entered and analysed in SPSS 16.0 (SPSS Inc., Chicago, IL, USA). Means were generated and compared between male and female patients, and between inpatients and outpatients. Results The study recruited 158 male and 81 female patients, with mean ages of 31.24 ± 11.85 years and 33.08 ± 15.18 years (p = 0.328), respectively. Male patients were significantly taller (165.27 ± 7.25 cm) than female patients (155.30 ± 6.56 cm) (p < 0.001); were significantly heavier than females (60.02 ± 10.56 kg versus 55.64 ± 10.53 kg); and had a significantly lower mean body mass index (BMI) than females (21.87 ± 3.21 vs. 23.01 ± 3.78) (p = 0.016). Overweight and obese patients comprised 17.6% of the participants, and 8.8% were underweight. There were no significant differences in the prevalence of overweight, obesity, and underweight between male and female participants, or between inpatients and outpatients. Conclusion Our study—the first one of its kind in Malawi—characterised the anthropometry of neuropsychiatric patients at a major metal health facility in Malawi, and has shown a high proportion of overweight patients and a notable presence of underweight patients among them. Being overweight or obese is a risk factor for metabolic disorders. Being underweight may aggravate mental illness or disturb the effect of medication. There is need, therefore, to include nutrition screening and therapeutic or supplementary feeding as part of a comprehensive care and treatment plan for neuropsychiatric patients.

‘Failure to maintain’: care rationing and the clinical and financial burden of nurse sensitive hospital-acquired complications in complex older patients

Background: The ageing population, with concomitant increase in chronic conditions, is increasing the presence of older people with complex needs in hospital. People with dementia are one of these complex populations and are particularly vulnerable to complications in hospital. Registered nurses can offer simultaneous assessment and intervention to prevent or mitigate hospital-acquired complications through their skilled brokerage between patient needs and hospital functions. A range of patient outcome measures that are sensitive to nursing care has been tested in nursing work environments across the world. However, none of these measures have focused on hospitalised older patients. Method: This thesis explores nursing-sensitive complications for older patients with and without dementia using an internationally recognised, risk-adjusted patient outcome approach. Specifically explored are: the differences between rates of complications; the costs of complications; and cost comparisons of patient complexity. A retrospective cohort study of an Australian state’s 2006–07 public hospital discharge data was utilised to identify patient episodes for people over age 50 (N=222,440) where dementia was identified as a primary or secondary diagnosis (N=44,422). Extra costs for patient episodes were estimated based on length of stay (LOS) above the average for each patient’s Diagnosis Related Group (DRG) (N=157,178) and were modelled using linear regression analysis to establish the strongest patient complexity predictors of cost. Results: Hospitalised patients with a primary or secondary diagnosis of dementia had higher rates of complications than did their same-age peers. The highest rates and relative risk for people with dementia were found in four key complications: urinary tract infections; pressure injuries; pneumonia, and delirium. While 21.9% of dementia patients (9,751/44,488, p<0.0001) suffered a complication, only 8.8% of non-dementia patients did so (33,501/381,788, p<0.0001), giving dementia patients a 2.5 relative risk of acquiring a complication (p<0.0001). These four key complications in patients over 50 both with and without dementia were associated with an eightfold increase in length of stay (813%, or 3.6 days/0.4 days) and double the increased estimated mean episode cost (199%, or A$16,403/ A$8,240). These four complications were associated with 24.7% of the estimated cost of additional days spent in hospital in 2006–07 in NSW (A$226million/A$914million). Dementia patients accounted for 22.0% of these costs (A$49million/A$226million) even though they were only 10.4% of the population (44,488/426,276 episodes). Hospital-acquired complications, particularly for people with a comorbidity of dementia, cost more than other kinds of inpatient complexity but admission severity was a better predictor of excess cost. Discussion: Four key complications occur more often in older patients with dementia and the high rate of these complications makes them expensive. These complications are potentially preventable. However, the care that can prevent them (such as mobility, hydration, nutrition and communication) is known to be rationed or left unfinished by nurses. Older hospitalised people who have complex needs, such as those with dementia, are more likely to experience care rationing as their care tends to take longer, be less predictable and less curative in nature. This thesis offers the theoretical proposition that evidence-based nursing practices are rationed for complex older patients and that this rationed care contributes to functional and cognitive decline during hospitalisation. This, in turn, contributes to the high rates of complications observed. Thus four key complications can be seen as a ‘Failure to Maintain’ complex older people in hospital. ‘Failure to Maintain’ is the inadequate delivery of essential functional and cognitive care for a complex older person in hospital resulting in a complication, and is recommended as a useful indicator for hospital quality. Conclusions: When examining extra length of stay in hospital, complications and comorbid dementia are costly. Complications are potentially preventable, and dementia care in hospitals can be improved. Hospitals and governments looking to decrease costs can engage in risk-reduction strategies for common nurse sensitive complications such as healthy nursing work environments that minimise nurses’ rationing of functional and cognitive care. The conceptualisation of complex older patients as ‘business as usual’ rather than a ‘burden’ is likely necessary for sustainable health care services of the future. The use of the ‘Failure to Maintain’ indicators at institution and state levels may aid in embedding this approach for complex older patients into health organisations. Ongoing investigation is warranted into the relationships between the largest health services expense (hospitals), the largest hospital population (complex older patients), and the largest hospital expense (nurses). The ‘Failure to Maintain’ quality indicator makes a useful and substantive contribution to further clinical, administrative and research developments.

Quantification of standards of proof thresholds in criminal and civil litigation

Standards of proof in law serve the purpose of instructing juries as to the expected levels of confidence in determinations of fact. In criminal trials, to reach a guilty verdict a jury must be satisfied beyond a reasonable doubt, and in civil trials by a preponderance of the evidence. The purposes of this study are to determine the quantitative thresholds used to make these determinations; to ascertain the levels of juror agreement with basic principles of justice; and to try to predict thresholds and beliefs by juror personality characteristics. Participants read brief case descriptions and indicated thresholds in percentages, their beliefs in various principles, and completed three personality measures. A 92-94% threshold in criminal and an 80% threshold in civil matters was found; but prediction by personality was not supported. Significant percentages of jurors disavowed the presumptions of innocence and right to counsel.

A systematic review of the psychobiological burden of informal caregiving for patients with dementia: focus on cognitive and biological markers of chronic stress

As the physiological impact of chronic stress is difficult to study in humans, naturalistic stressors are invaluable sources of information in this area. This review systematically evaluates the research literature examining biomarkers of chronic stress, including neurocognition, in informal dementia caregivers. We identified 151 papers for inclusion in the final review, including papers examining differences between caregivers and controls as well as interventions aimed at counteracting the biological burden of chronic caregiving stress. Results indicate that cortisol was increased in caregivers in a majority of studies examining this biomarker. There was mixed evidence for differences in epinephrine, norepinephrine and other cardiovascular markers. There was a high level of heterogeneity in immune system measures. Caregivers performed more poorly on attention and executive functioning tests. There was mixed evidence for memory performance. Interventions to reduce stress improved cognition but had mixed effects on cortisol. Risk of bias was generally low to moderate. Given the rising need for family caregivers worldwide, the implications of these findings can no longer be neglected.

The Burden of Injury in Iowa, December 2008

Injuries are a major public health concern that affects the lives of all Iowans, regardless of age, race, gender, or size of county. Unintentional injuries are the leading cause of death for Iowans between the ages of 1 and 34, while suicides and/or homicides also rank among the top 5 leading causes of death for Iowans between the ages of 1 and 54. Unintentional injury is the 5th leading cause of death for all Iowans, with over 1,500 injury deaths occurring on average each year (from 2002‐ 2006) in Iowa. Injuries also lead to more than 17,000 hospitalizations in Iowa each year and more than 250,000 emergency department (ED) visits. Further, untold numbers of Iowans do not seek medical care for many of the injuries they may incur. Because injuries are preventable, they lead to unnecessary medical costs, economic losses, reduced productivity, and immense physical and emotional strain.

A discriminação em função da idade no direito do trabalho

In this thesis, we will treat the discrimination based on age, more specifically of older workers. In recent years, there was an increasing interest on the part of doctrine and jurisprudence on this subject. In fact, in a world in which you live a real economic crisis, older workers tend to have difficulties finding jobs or are targets of the discrimination based on age, at the time of hiring or during the contract. Thus, we will focus on discrimination. We will examine, first, the difference between direct and indirect discrimination, taking into account the importance of the burden of proof, then we will study the figures of positive action measures. Then, treat the legislative framework of the discrimination based on age, that is, in relation to the Labor Code and the Directive 2000/78/EC of November 27, 2000. Eventually, we will determine the cases in which they may accept the discrimination based on age. In fact, these differences in treatment based on age are justified, but must be aimed at a legitimate objective with appropriate and necessary means.

A dispensa de prestação de garantia em processo de execução fiscal e a prova de factos negativos da inexistência ou insuficiência de bens do executado

Dissertação de mestrado em Direito Tributário e Fiscal

Mobilidade geográfica dos trabalhadores e implicações processuais

Dissertação de mestrado em Direito Judiciário

No Hate Crimes, 2011

Civil Remedies for Hate Crimes §729A.5 A victim who has suffered physical, emotional or financial harm as a result of a violation of this chapter due to the commission of a Hate Crime BECAUSE OF the protected characteristics is entitled to and may bring an action for injunctive relief, general and specific damages, reasonable attorney fees, and court costs. An action must be brought within two years after the violation. In such an action the burden of proof shall be the same as in other civil actions for similar relief. This section does not apply to complaints of discriminatory or illegal practices under Iowa Code §216.

Analyse de la politique et des règles de procédure d’I.C.A.N.N. relatives au règlement des conflits entre les titulaires de marques de commerce et les détenteurs de noms de domaine

"L’enregistrement de noms de domaine, basé sur la règle du « premier arrivé, premier servi », n’a pas échappé à des personnes peu scrupuleuses qui se sont empressées d’enregistrer comme noms de domaine des marques de commerce, phénomène connu sous le nom de « cybersquattage ». L’U.D.R.P. (Uniform domain name Dispute Resolution Policy) est une procédure internationale qui a été adoptée pour régler les différends relatifs à cette pratique. La procédure de l’U.D.R.P. est conçue pour être rapide, efficace et simple. Même si le fardeau de preuve reposant sur le titulaire de marque de commerce peut sembler lourd, l’analyse de la procédure démontre qu’elle n’offre pas aux détenteurs de noms de domaine un procès juste et équitable, notamment en raison des délais très courts, de l’absence de voies de recours internes en cas de défaut et de l’obligation de saisir les tribunaux de droit commun. La procédure de l’U.D.R.P. ne présente aussi aucun caractère dissuasif envers les titulaires de marques qui tenteraient de s’approprier un nom de domaine enregistré dans des conditions légitimes. Une étude des décisions issues de la Procédure U.D.R.P. révèle qu’il existe un déséquilibre flagrant en faveur des titulaires de marques de commerces; les organismes accrédités se taillant la plus grande part du marché sont ceux dont les décisions sont généralement plus favorables aux titulaires de marques. Une variété d’arguments sont avancés pour expliquer ces résultats mais les études démontrent que la Procédure U.D.R.P. doit faire l’objet de réformes. La réforme devrait comprendre deux volets : premièrement, la modification du mode de désignation des organismes accrédités chargés d’administrer la Procédure U.D.R.P. ainsi que la modification du processus de sélection des commissaires; deuxièmement, une réforme relative aux délais, à la langue des procédures et au phénomène des procédures abusives intentées par des détenteurs de marques de commerce à l?égard d’enregistrements légitimes."