Critical Issues: Defining and Debunking Misconceptions in Health, Education, Criminal Justice, and Social Work/Social Services

The University of Houston Downtown Committee for the Journal of Family Strengths introduces Volume 18, Issue 1: Critical Issues: Defining and Debunking Misconceptions in Health, Education, Criminal Justice, and Social Work/Social Services

A Comparison of Petri Net Semantics under the Collective Token Philosophy

In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent transition systems, and (strictly) symmetric (strict) monoidal categories. We use the notion of adjunction to express each connection. We also present a purely logical description of the collective token interpretation of net behaviours in terms of theories and theory morphisms in partial membership equational logic

Modeling with history-dependent Petri nets

Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We consider processes that not only keep track of their history in a log, but also make decisions based on this log. Extending our previous work on history-dependent Petri nets we propose and evaluate a methodology for modelling processes by such nets and show how history-dependent nets can combine modelling comfort with analysability

A Logic with Reverse Modalities for History-preserving Bisimulations

We introduce event identifier logic (EIL) which extends Hennessy-Milner logic by the addition of (1) reverse as well as forward modalities, and (2) identifiers to keep track of events. We show that this logic corresponds to hereditary history-preserving (HH) bisimulation equivalence within a particular true-concurrency model, namely stable configuration structures. We furthermore show how natural sublogics of EIL correspond to coarser equivalences. In particular we provide logical characterisations of weak history-preserving (WH) and history-preserving (H) bisimulation. Logics corresponding to HH and H bisimulation have been given previously, but not to WH bisimulation (when autoconcurrency is allowed), as far as we are aware. We also present characteristic formulas which characterise individual structures with respect to history-preserving equivalences.Comment: In Proceedings EXPRESS 2011, arXiv:1108.407

Blueberry Progress Reports

The 1978 edition of the Blueberry Progress Reports was prepared for the Maine Blueberry Commission and the University of Maine Blueberry Advisory Committee by researchers with the Maine Life Sciences and Agriculture Experiment Station and Maine Cooperative Extension Service at the University of Maine, Orono. Projects in this report include: 1. Weed Control in Blueberry Fields 2. Pruning of Blueberries 3. Integrated Management of Blueberry Fields 4. Factors Regulating Rhizome Initiation and Development in the Lowbush Blueberry 5. Effect of Plant-Water Stress on Lowbush Blueberry Growth Yield and Quality 6. Blossom Blight of Blueberries 7. Botrytis Blossom Blight of Lowbush Blueberries 8. Insects Affecting the Blueberry 9. Treatment of Blueberries with Potassium Sorbate to Reduce Spoilage During Temporary Storage 10. Cooperative Extension Activitie

Blueberry Research Progress Report

The 1976 edition of the Blueberry Research Progress Report was prepared for the Blueberry Advisory Committee by researchers at the University of Maine, Orono. Projects in this report include: 1. Effect of Plant-Water Stress on Lowbush Blueberry Growth, Yield and Quality 2. Insects Affecting the Blueberry 3. The Development of Blueberry Varieties Adapted to Maine 4. Weed Control in Blueberry Fields 5. Pruning of Blueberries 6. Integrated Management of Blueberry Fields 7. The Physiology and Biochemistry of the Development of the Lowbush Blueberry Fruit 8. Survey of Red Leaf Disease of Blueberries 9. Blossom Blight of Blueberries 10. Blueberry Marketing and Cost Analysis of Producing Blueberries 11. Factors Regulating Rhizome Initiation and Development in the Lowbush Blueberry 12. New Food Products and Servic