This paper is concerned with implicit computational complexity of the exptime computable functions. Modifying the lexicographic path order, we introduce a path order EPO. It is shown that a termination proof for a term rewriting system via EPO implies an exponential bound on the lengths of derivations. The path order EPO is designed so that every exptime function is representable as a term rewrite system compatible with EPO (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim).

Legal contracts and litigation documents common to the American legal system were encoded in the eXtensible Markup Language (XML). XML also represents rules about the contracts and litigation procedure. In addition to an expert system tool that allows one to make inferences with that engine, a Graphical User Interface (GUI) generates the XML representing the rules. A rulebase is developed by marking up examples of the XML to be interpreted and the XML to be generated, analogously to Query By Example. (...) This article provides a broader context of the synergy between XML and artificial intelligence by including discussions of: (1) the role of Artificial Intelligence in handling routine litigation; (2) how the use of XML enables legal expert systems to get their `input' without the user having to enter the same information again for the expert system;(3) the advantages of XML markup over other forms of markup for documents; (4) the relationship between XML and ontologies; (5) other projects using XML with rules or legal affairs. (shrink)

Objectives: This study aimed to conduct a systematic review and meta-analysis of randomized controlled trials (RCTs) to improve subjective well-being (SWB), including evaluative, hedonic, and eudemonic well-being, and the mental component of quality of life (QOL) of working population. Methods: A literature search was conducted, using PubMed, Embase, PsycINFO, and PsycARTICLES. Eligible studies included those that were RCTs of any intervention, conducted among healthy workers, measured SWB as a primary outcome, and original articles in English. Study characteristics, intervention, outcomes, and (...) results on SWB outcomes were extracted by the investigators independently. After a brief narrative summarizing and classifying the contents of the interventions, the included outcomes were categorized into each aspect of SWB (evaluative, hedonic, and eudemonic well-being, and the mental component of QOL). Finally, the characteristics of the effective interventions for increasing each aspect were summarized, and the pooled effect of interventions on SWB was investigated by a meta-analysis. Publication bias was investigated by drawing a funnel plot and conducting Egger's test. Results: From the 5,450 articles found, 39 met the inclusion criteria for the systematic review. The interventions included in this review were classified into six categories (physical activity, ergonomics, psychological, environmental, multicomponent intervention, and others). The meta-analysis from 31 studies showed that the pooled effect of included interventions on SWB was significantly positive (standardized mean difference (SMD) = 0.51; standard error (SE) = 0.10). A funnel plot showed there were extremely large or small SMDs, and Egger's test was significant. Thus, we conducted sensitivity analysis, excluding these extreme SMDs, and confirmed that the estimated pooled effect was also significantly positive. Subgroup analyses for separate types of interventions showed the effects of psychological interventions (e.g., mindfulness, cognitive behavioral based approach, and other psychological interventions) were also significantly positive. Conclusion: The current study revealed the effectiveness of interventions for increasing SWB. Specifically, psychological interventions (e.g., mindfulness, cognitive behavioral based approach, and other psychological interventions) may be useful for improving SWB. (shrink)