Most reinforcement learning methods oper­ ate on propositional representations of the world state. Such representations are of­ ten intractably large and generalize poorly. Using a deictic representation is believed to be a viable alternative: they promise gener­ alization while allowing the use of existing reinforcement-learning methods. Yet, there are few experiments on learning with deic­ ti...

Dynamic specification mining extracts candidate specifications from logs of execution traces. Existing algorithms differ in the kinds of traces they take as input and in the kinds of candidate specification they present as output. One challenge common to all approaches relates to the faithfulness of the mining results: how can we be confident that the extracted specifications faithfully charact...

A recent study entitled “Can Guideline-Defined Asthma Control Be Achieved?”1 stands out as one of the most noteworthy clinical studies of the past year because of the important concepts it confirms and because of the many significant questions it raises. Published online in July 2004 and in print in October of the same year, it is referred to by most as the GOAL trial (from the now familiar acr...

philosophy of mathematics suited well the ‘‘general emphasisin later nineteenth-century mathematics on revisiting foundationalquestions’’ (p. 61). Pure geometry as it emerged from Frege, Paschand Hilbert, provided a diagram-free, purely sentential notion ofproof, which has lasted unto our own day.In the second, and greater, part of the book, Greaves traces outthe interre...

1. Model of Musc1.1 Free Rod"1.2 InitialStim1.3 Autogenk1.3.1 Ro.le].3.2ColJ::1.4 Inflamma'1.4.1 Cyto1.5 leucocytl1.6 Regenera2. Estrogen and r2.1 Estrogen ('2.2 Estrogen (2.3 Estrogen (3. Estrogen and r3.1 Effect of E3.2 H~topathl3.3 The Effect3.4 Estrogen.3.5 Estrogen (3.6 Estrogen (3.6. 1 Calc3.6....