| 1. |
- Demetris, A J, et al.
(author)
-
2016 Comprehensive Update of the Banff Working Group on Liver Allograft Pathology: Introduction of Antibody-Mediated Rejection.
- 2016
-
In: American journal of transplantation : official journal of the American Society of Transplantation and the American Society of Transplant Surgeons. - : Elsevier BV. - 1600-6143. ; 16:10, s. 2816-2835
-
Journal article (peer-reviewed)abstract
- The Banff Working Group on Liver Allograft Pathology reviewed and discussed literature evidence regarding antibody-mediated liver allograft rejection at the 11th (Paris, France, June 5-10, 2011), 12th (Comandatuba, Brazil, August 19-23, 2013), and 13th (Vancouver, British Columbia, Canada, October 5-10, 2015) meetings of the Banff Conference on Allograft Pathology. Discussion continued online. The primary goal was to introduce guidelines and consensus criteria for the diagnosis of liver allograft antibody-mediated rejection and provide a comprehensive update of all Banff Schema recommendations. Included are new recommendations for complement component 4d tissue staining and interpretation, staging liver allograft fibrosis, and findings related to immunosuppression minimization. In an effort to create a single reference document, previous unchanged criteria are also included.
|
|
| 2. |
- Kim, S. W., et al.
(author)
-
Evaluations of NOx and highly reactive VOC emission inventories in Texas and their implications for ozone plume simulations during the Texas Air Quality Study 2006
- 2011
-
In: Atmospheric Chemistry and Physics. - : Copernicus GmbH. - 1680-7316 .- 1680-7324. ; 11:22, s. 11361-11386
-
Journal article (peer-reviewed)abstract
- Satellite and aircraft observations made during the 2006 Texas Air Quality Study (TexAQS) detected strong urban, industrial and power plant plumes in Texas. We simulated these plumes using the Weather Research and Forecasting-Chemistry (WRF-Chem) model with input from the US EPA's 2005 National Emission Inventory (NEI-2005), in order to evaluate emissions of nitrogen oxides (NOx = NO + NO2) and volatile organic compounds (VOCs) in the cities of Houston and Dallas-FortWorth. We compared the model results with satellite retrievals of tropospheric nitrogen dioxide (NO2) columns and airborne in-situ observations of several trace gases including NOx and a number of VOCs. The model and satellite NO2 columns agree well for regions with large power plants and for urban areas that are dominated by mobile sources, such as Dallas. How-ever, in Houston, where significant mobile, industrial, and inport marine vessel sources contribute to NOx emissions, the model NO2 columns are approximately 50 %-70 % higher than the satellite columns. Similar conclusions are drawn from comparisons of the model results with the TexAQS 2006 aircraft observations in Dallas and Houston. For Dallas plumes, the model-simulated NO2 showed good agreement with the aircraft observations. In contrast, the model-simulated NO2 is similar to 60 % higher than the aircraft observations in the Houston plumes. Further analysis indicates that the NEI-2005 NOx emissions over the Houston Ship Channel area are overestimated while the urban Houston NOx emissions are reasonably represented. The comparisons of model and aircraft observations confirm that highly reactive VOC emissions originating from industrial sources in Houston are underestimated in NEI-2005. The update of VOC emissions based on Solar Occultation Flux measurements during the field campaign leads to improved model simulations of ethylene, propylene, and formaldehyde. Reducing NOx emissions in the Houston Ship Channel and increasing highly reactive VOC emissions from the point sources in Houston improve the model's capability of simulating ozone (O-3) plumes observed by the NOAA WP-3D aircraft, although the deficiencies in the model O-3 simulations indicate that many challenges remain for a full understanding of the O-3 formation mechanisms in Houston.
|
|
| 3. |
|
|
| 4. |
- De Gouw, J. A., et al.
(author)
-
Airborne Measurements of Ethene from Industrial Sources Using Laser Photo-Acoustic Spectroscopy
- 2009
-
In: Environmental Science & Technology. - : American Chemical Society (ACS). - 0013-936X .- 1520-5851. ; 43:7, s. 2437-2442
-
Journal article (peer-reviewed)abstract
- A laser photoacoustic spectroscopy (LPAS) instrument was developed and used for aircraft measurements of ethene from industrial sources near Houston, Texas. The instrument provided 20 s measurements with a detection limit of less than 0.7 ppbv. Data from this instrument and from the GC-FID analysis of air samples collected in flight agreed within 15% on average. Ethene fluxes from the Mt. Belvieu chemical complex to the northeast of Houston were quantified during 10 different flights. The average flux was 520 +/- 140 kg h(-1) in agreement with independent results from solar occultation flux (SOF) measurements, and roughly an order of magnitude higher than regulatory emission inventories indicate. This study shows that ethene emissions are routinely at levels that qualify as emission upsets, which need to be reported to regional air quality managers.
|
|
| 5. |
- De Gouw, S., et al.
(author)
-
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
- 2016
-
In: Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1374 .- 1619-1366. ; 15:4, s. 1117-1140
-
Journal article (peer-reviewed)abstract
- We present a fully abstract weakest precondition calculus and its integration with symbolic execution. Our assertion language allows both specifying and verifying properties of objects at the abstraction level of the programming language, abstracting from a specific implementation of object creation. Objects which are not (yet) created never play any role. The corresponding proof theory is discussed and justified formally by soundness theorems. The usage of the assertion language and proof rules is illustrated with an example of a linked list reachability property. All proof rules presented are fully implemented in a version of the KeY verification system for Java programs.
|
|
| 6. |
- De Gouw, S., et al.
(author)
-
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
- 2013
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642358425 ; 7741 LNCS:7741, s. 207-219
-
Conference paper (peer-reviewed)abstract
- We present a completeness proof of the inductive assertion method for object-oriented programs extended with auxiliary variables. The class of programs considered are assumed to compute over structures which include the standard interpretation of Presburger arithmetic. Further, the assertion language is first-order, i.e., quantification only ranges over basic types like that of the natural numbers, Boolean and Object.
|
|
| 7. |
- Lee, Ben H, et al.
(author)
-
Highly functionalized organic nitrates in the southeast United States: Contribution to secondary organic aerosol and reactive nitrogen budgets.
- 2016
-
In: Proceedings of the National Academy of Sciences of the United States of America. - : Proceedings of the National Academy of Sciences. - 1091-6490. ; 113:6, s. 1516-21
-
Journal article (peer-reviewed)abstract
- Speciated particle-phase organic nitrates (pONs) were quantified using online chemical ionization MS during June and July of 2013 in rural Alabama as part of the Southern Oxidant and Aerosol Study. A large fraction of pONs is highly functionalized, possessing between six and eight oxygen atoms within each carbon number group, and is not the common first generation alkyl nitrates previously reported. Using calibrations for isoprene hydroxynitrates and the measured molecular compositions, we estimate that pONs account for 3% and 8% of total submicrometer organic aerosol mass, on average, during the day and night, respectively. Each of the isoprene- and monoterpenes-derived groups exhibited a strong diel trend consistent with the emission patterns of likely biogenic hydrocarbon precursors. An observationally constrained diel box model can replicate the observed pON assuming that pONs (i) are produced in the gas phase and rapidly establish gas-particle equilibrium and (ii) have a short particle-phase lifetime (∼2-4 h). Such dynamic behavior has significant implications for the production and phase partitioning of pONs, organic aerosol mass, and reactive nitrogen speciation in a forested environment.
|
|
| 8. |
- Parrish, D. D., et al.
(author)
-
Primary and secondary sources of formaldehyde in urban atmospheres: Houston Texas region
- 2012
-
In: Atmospheric Chemistry and Physics. - : Copernicus GmbH. - 1680-7316 .- 1680-7324. ; 12:7, s. 3273-3288
-
Journal article (peer-reviewed)abstract
- We evaluate the rates of secondary production and primary emission of formaldehyde (CH2O) from petrochemical industrial facilities and on-road vehicles in the Houston Texas region. This evaluation is based upon ambient measurements collected during field studies in 2000, 2006 and 2009. The predominant CH2O source (92 +/- 4% of total) is secondary production formed during the atmospheric oxidation of highly reactive volatile organic compounds (HRVOCs) emitted from the petrochemical facilities. Smaller contributions are primary emissions from these facilities (4 +/- 2%), and secondary production (similar to 3%) and primary emissions (similar to 1%) from vehicles. The primary emissions from both sectors are well quantified by current emission inventories. Since secondary production dominates, control efforts directed at primary CH2O emissions cannot address the large majority of CH2O sources in the Houston area, although there may still be a role for such efforts. Ongoing efforts to control alkene emissions from the petrochemical facilities, as well as volatile organic compound emissions from the motor vehicle fleet, will effectively reduce the CH2O concentrations in the Houston region. We do not address other emission sectors, such as off-road mobile sources or secondary formation from biogenic hydrocarbons. Previous analyses based on correlations between ambient concentrations of CH2O and various marker species have suggested much larger primary emissions of CH2O, but those results neglect confounding effects of dilution and loss processes, and do not demonstrate the causes of the observed correlations. Similar problems must be suspected in any source apportionment analysis of secondary species based upon correlations of ambient concentrations of pollutants.
|
|
| 9. |
- Wong, Peter Y. H., et al.
(author)
-
Testing abstract behavioral specifications
- 2014
-
In: International Journal on Software Tools for Technology Transfer. - : Springer. - 1433-2779 .- 1433-2787. ; 17:1, s. 107-119
-
Journal article (peer-reviewed)abstract
- We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including black-box and glass-box test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.
|
|
| 10. |
- Zhang, Haofei, et al.
(author)
-
Monoterpenes are the largest source of summertime organic aerosol in the southeastern United States
- 2018
-
In: Proceedings of the National Academy of Sciences of the United States of America. - : Proceedings of the National Academy of Sciences. - 0027-8424 .- 1091-6490. ; 115:9, s. 2038-2043
-
Journal article (peer-reviewed)abstract
- The chemical complexity of atmospheric organic aerosol (OA) has caused substantial uncertainties in understanding its origins and environmental impacts. Here, we provide constraints on OA origins through compositional characterization with molecular-level details. Our results suggest that secondary OA (SOA) from monoterpene oxidation accounts for approximately half of summertime fine OA in Centreville, AL, a forested area in the southeastern United States influenced by anthropogenic pollution. We find that different chemical processes involving nitrogen oxides, during days and nights, play a central role in determining the mass of monoterpene SOA produced. These findings elucidate the strong anthropogenic–biogenic interaction affecting ambient aerosol in the southeastern United States and point out the importance of reducing anthropogenic emissions, especially under a changing climate, where biogenic emissions will likely keep increasing.
|
|
