Probably Safe or Live

This paper presents a formal characterisation of safety and liveness properties \`a la Alpern and Schneider for fully probabilistic systems. As for the classical setting, it is established that any (probabilistic tree) property is equivalent to a conjunction of a safety and liveness property. A simple algorithm is provided to obtain such property decomposition for flat probabilistic CTL (PCTL). A safe fragment of PCTL is identified that provides a sound and complete characterisation of safety properties. For liveness properties, we provide two PCTL fragments, a sound and a complete one. We show that safety properties only have finite counterexamples, whereas liveness properties have none. We compare our characterisation for qualitative properties with the one for branching time properties by Manolios and Trefler, and present sound and complete PCTL fragments for characterising the notions of strong safety and absolute liveness coined by Sistla

Gun Carrying Among Adolescents

Outdoor education is a promising educational field that can support indoor education and provide benefits beyond the evidentknowledge. Outdoor and indoor education together can formulate the ground for an integrated learning. In Greece, like manycountries, outdoor education and its potential contribution to the learning process have not been clearly and intentionally testedyet, even though the country tends to follow a progressive educational philosophy. This research focuses on the subject ofmathematics and explores the connections between the existing philosophy and practices of mathematics education in Greece andoutdoor education theory and practice. Following the method of content analysis, the connections were identified through theexistence of basic outdoor education concepts in the mathematics textbooks of the last three grades of primary school. Althoughthe expectations, because of the lack of personal experiences, could not be high, the application of outdoor education seems to befar from impossible in Greece. It could rather flourish even without any changes in the books, when its potentialities are realizedby the teachers

Voices From the Street: A Survey of Homeless Youth by Their Peers

Summarizes interviews of homeless or formerly homeless youth by their peers about how they became homeless, their lives on the street, interactions with police, education, aspirations, mental health, support networks, services, and policy suggestions

A Pandemic Influenza H1N1 Live Vaccine Based on Modified Vaccinia Ankara Is Highly Immunogenic and Protects Mice in Active and Passive Immunizations

The development of novel influenza vaccines inducing a broad immune response is an important objective. The aim of this study was to evaluate live vaccines which induce both strong humoral and cell-mediated immune responses against the novel human pandemic H1N1 influenza virus, and to show protection in a lethal animal challenge model.For this purpose, the hemagglutinin (HA) and neuraminidase (NA) genes of the influenza A/California/07/2009 (H1N1) strain (CA/07) were inserted into the replication-deficient modified vaccinia Ankara (MVA) virus - a safe poxviral live vector – resulting in MVA-H1-Ca and MVA-N1-Ca vectors. These live vaccines, together with an inactivated whole virus vaccine, were assessed in a lung infection model using immune competent Balb/c mice, and in a lethal challenge model using severe combined immunodeficient (SCID) mice after passive serum transfer from immunized mice. Balb/c mice vaccinated with the MVA-H1-Ca virus or the inactivated vaccine were fully protected from lung infection after challenge with the influenza H1N1 wild-type strain, while the neuraminidase virus MVA-N1-Ca induced only partial protection. The live vaccines were already protective after a single dose and induced substantial amounts of neutralizing antibodies and of interferon-γ-secreting (IFN-γ) CD4- and CD8 T-cells in lungs and spleens. In the lungs, a rapid increase of HA-specific CD4- and CD8 T cells was observed in vaccinated mice shortly after challenge with influenza swine flu virus, which probably contributes to the strong inhibition of pulmonary viral replication observed. In addition, passive transfer of antisera raised in MVA-H1-Ca vaccinated immune-competent mice protected SCID mice from lethal challenge with the CA/07 wild-type virus.The non-replicating MVA-based H1N1 live vaccines induce a broad protective immune response and are promising vaccine candidates for pandemic influenza

A New Way of Looking at Philadelphians

Pew has created a new way of looking at Philadelphians, one rooted in how they think about the city rather than where they show up in demographic categories. The analysis, based on a telephone survey of 1,603 randomly chosen Philadelphians in early 2015, sorts adult city residents into four groups. We have labeled those groups Dissatisfied Citizens, Die-Hard Loyalists, Uncommitted Skeptics, and Enthusiastic Urbanists. This effort was modeled on work done nationally by our colleagues at the Pew Research Center in Washington. Through this type of polling and analysis, the center has sorted Americans into groupings based on values and attitudes, going beyond the simple labels of liberal and conservative. For Philadelphia, we set out to do something similar -- although not on the left-right spectrum -- in hopes of increasing public understanding of the city and its residents