New Eastern Record of \u3ci\u3ePtosima Walshii\u3c/i\u3e (Coleoptera: Buprestidae)

Ptosima walshii LeConte (Coleoptera: Buprestidae) is reported for the first time in Pennsylvania, being the eastern-most record of the species. Four specimens were captured in Lindgren funnel traps in Bedford and Fulton counties during invasive wood-destroying beetle surveys

Gas filter correlation radiometry: Report of panel

To measure the concentration of a gas in the troposphere, the gas filter radiometer correlates the pattern of the spectral lines of a sample of gas contained within the instrument with the pattern of the spectral lines in the upwelling radiation. A schematic diagram of a generalized gas filter radiometer is shown. Three instruments (the Gas Filter Radiometer, GFR; the Halogen Occultation Experiment, HALOE; and the Gas Filter Correlation Spectrometer, GASCOFIL) that have application to remotely measuring tropospheric constituents are described. A set of preliminary calculations to determine the feasibility of performing a multiple-layer, tropospheric carbon monoxide measurement experiment was performed. It can be seen that a three-layer measurement in the troposphere is possible

2016 Alcohol Environmental Survey Report

During the month of September 2016, the Institute for Social and Behavioral Science (ISBS) located 216 establishments that sell alcoholic beverages in the east and west areas of Orange County, Florida. Our survey team operated within the boundaries of east and west Orange County, as established by Orange County Government (orangecountyfl.net). During the month of September 2016, the Institute for Social and Behavioral Science (ISBS) located 216 establishments that sell alcoholic beverages in the east and west areas of Orange County, Florida. Our survey team operated within the boundaries of east and west Orange County, as established by Orange County Government (orangecountyfl.net)

2016 Tobacco Environmental Survey Report

During the month of September 2016, the Institute for Social and Behavioral Science (ISBS) located 83 establishments that sell tobacco products in the west and south areas of Orange County, Florida. Our survey team operated within the boundaries of south and west Orange County, as established by the Orange County Government (orangecountyfl.net)

Runtime verification of parametric properties using SMEDL

Parametric properties are typical properties to be checked in runtime verification (RV). As a common technique for parametric monitoring, trace slicing divides an execution trace into a set of sub traces which are checked against non-parametric base properties. An efficient trace slicing algorithm is implemented in MOP. Another RV technique, QEA further allows for nested use of universal and existential quantification over parameters. In this paper, we present a methodology for parametric monitoring using the RV framework SMEDL. Trace slicing algorithm in MOP can be expressed by execution of a set of SMEDL monitors. Moreover, the semantics of nested quantifiers is encoded by a hierarchy of monitors for aggregating verdicts of sub traces. Through case studies, we demonstrate that SMEDL provides a natural way to monitor parametric properties with more potentials for flexible deployment and optimizations

Tube choledochoureterostomy: A simple method for bile diversion

A technique of bile diversion by tube choledochoureterostomy has been devised for the purpose of studying the role of bile in the intestinal absorption of drugs. This method was used in six dogs. No technical difficulties or major complications developed, as are inevitable with alternative methods, including external fistula. © 1990 Informa UK Ltd All rights reserved: reproduction in whole or part not permitted