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

How User‐centric Innovation is Affecting Stakeholder Marketing Strategies: Exploratory Findings from the Music Industry

This paper empirically explores how user‐centric innovation (UCI) in the music industry is affecting how key stakeholder groups are approaching and developing their marketing (and associated management) strategies. The three‐stage interview‐based research methodology consisted of 52 semi‐structured in‐depth interviews with UCI experts and artist managers, as well as representatives from major record labels. The findings make four substantial contributions to theory and practice in the interrelated fields of UCI, marketing and the music industry. First, they provide practical and pragmatic insights for industry practitioners on how different UCI marketing approaches are affecting their management strategies. Second, they take steps towards answering many of the identified gaps in research and knowledge relating to the concept of UCI. Third, they present theoretical models as a foundation for which new UCI marketing theory can be built upon. Last, they offer directions for future research to advance our empirical findings.</jats:p

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

Blueberry Progress Reports

The 1982 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. Introduction 2. Blueberry IPM Program 3. Guthion Drift Study 4. Control, Biology, and Ecology of Insects 5. Blueberry Diseases: Incidence and Control 6. Physiology and Culture of the Lowbush Blueberry 7. Weed Control in Lowbush Blueberries 8. Pruning Blueberrie

Blueberry Progress Reports

The 1983 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 Agricultural Experiment Station and Maine Cooperative Extension Service at the University of Maine, Orono. Projects in this report include: 1. Introduction 2. Forest Tent Caterpillar in Blueberries 3. Control, Biology, and Ecology of Insects Affecting Lowbush Blueberries 4. Blueberry Diseases: Incidence and Control 5. Physiology and Culture of the Lowbush Blueberry 6. Weed Control in Lowbush Blueberry Fields 7. Product Development of Lowbush Blueberrie

Сomparison of Exams in Terms of Benefits for the Future Engineer

This article describes advantages and disadventages of international exams for students. to motivate students to pass the English exam as soon as possible. Based on our survey, many students have never even heard about language exams and benefits it gives

Entrepreneurs’ age, institutions, and social value creation goals: a multi-country study

This study explores the relationship between an entrepreneur's age and his/her social value creation goals. Building on the lifespan developmental psychology literature and institutional theory, we hypothesize a U-shaped relationship between entrepreneurs’ age and their choice to create social value through their ventures, such that younger and older entrepreneurs create more social value with their businesses while middle age entrepreneurs are relatively more economically and less socially oriented with their ventures. We further hypothesize that the quality of a country’s formal institutions in terms of economic, social, and political freedom steepen the U-shaped relationship between entrepreneurs’ age and their choice to pursue social value creation as supportive institutional environments allow entrepreneurs to follow their age-based preferences. We confirm our predictions using multilevel mixed-effects linear regressions on a sample of over 15,000 entrepreneurs (aged between 18 and 64 years) in 45 countries from Global Entrepreneurship Monitor data. The findings are robust to several alternative specifications. Based on our findings, we discuss implications for theory and practice, and we propose future research directions

Deletion of Porcn in Mice Leads to Multiple Developmental Defects and Models Human Focal Dermal Hypoplasia (Goltz Syndrome)

Focal Dermal Hypoplasia (FDH) is a genetic disorder characterized by developmental defects in skin, skeleton and ectodermal appendages. FDH is caused by dominant loss-of-function mutations in X-linked PORCN. PORCN orthologues in Drosophila and mice encode endoplasmic reticulum proteins required for secretion and function of Wnt proteins. Wnt proteins play important roles in embryo development, tissue homeostasis and stem cell maintenance. Since features of FDH overlap with those seen in mouse Wnt pathway mutants, FDH likely results from defective Wnt signaling but molecular mechanisms by which inactivation of PORCN affects Wnt signaling and manifestations of FDH remain to be elucidated.We introduced intronic loxP sites and a neomycin gene in the mouse Porcn locus for conditional inactivation. Porcn-ex3-7flox mice have no apparent developmental defects, but chimeric mice retaining the neomycin gene (Porcn-ex3-7Neo-flox) have limb, skin, and urogenital abnormalities. Conditional Porcn inactivation by EIIa-driven or Hprt-driven Cre recombinase results in increased early embryonic lethality. Mesenchyme-specific Prx-Cre-driven inactivation of Porcn produces FDH-like limb defects, while ectodermal Krt14-Cre-driven inactivation produces thin skin, alopecia, and abnormal dentition. Furthermore, cell-based assays confirm that human PORCN mutations reduce WNT3A secretion.These data indicate that Porcn inactivation in the mouse produces a model for human FDH and that phenotypic features result from defective WNT signaling in ectodermal- and mesenchymal-derived structures