A global radiosonde and tracked balloon archive on 16 pressure levels (GRASP) back to 1905 – Part 1: Merging and interpolation to 00:00 and 12:00 GMT

Many observed time series of the global radiosonde or PILOT networks exist as fragments distributed over different archives. Identifying and merging these fragments can enhance their value for studies on the three-dimensional spatial structure of climate change. The Comprehensive Historical Upper-Air Network (CHUAN version 1.7), which was substantially extended in 2013, and the Integrated Global Radiosonde Archive (IGRA) are the most important collections of upper-air measurements taken before 1958. CHUAN (tracked) balloon data start in 1900, with higher numbers from the late 1920s onward, whereas IGRA data start in 1937. However, a substantial fraction of those measurements have not been taken at synoptic times (preferably 00:00 or 12:00 GMT) and on altitude levels instead of standard pressure levels. To make them comparable with more recent data, the records have been brought to synoptic times and standard pressure levels using state-of-the-art interpolation techniques, employing geopotential information from the National Oceanic and Atmospheric Administration (NOAA) 20th Century Reanalysis (NOAA 20CR). From 1958 onward the European Re-Analysis archives (ERA-40 and ERA-Interim) available at the European Centre for Medium-Range Weather Forecasts (ECMWF) are the main data sources. These are easier to use, but pilot data still have to be interpolated to standard pressure levels. Fractions of the same records distributed over different archives have been merged, if necessary, taking care that the data remain traceable back to their original sources. If possible, station IDs assigned by the World Meteorological Organization (WMO) have been allocated to the station records. For some records which have never been identified by a WMO ID, a local ID above 100 000 has been assigned. The merged data set contains 37 wind records longer than 70 years and 139 temperature records longer than 60 years. It can be seen as a useful basis for further data processing steps, most notably homogenization and gridding, after which it should be a valuable resource for climatological studies. Homogeneity adjustments for wind using the NOAA-20CR as a reference are described in Ramella Pralungo and Haimberger (2014). Reliable homogeneity adjustments for temperature beyond 1958 using a surface-data-only reanalysis such as NOAA-20CR as a reference have yet to be created. All the archives and metadata files are available in ASCII and netCDF format in the PANGAEA archive

The Anomalous Merging of the African and North Atlantic Jet Streams during the Northern Hemisphere Winter of 2010

The North Atlantic jet stream during winter 2010 was unusually zonal, so the typically separated Atlantic and African jets were merged into one zonal jet. Moreover, the latitude–height structure and temporal variability of the North Atlantic jet during this winter were more characteristic of the North Pacific. This work examines the possibility of a flow regime change from an eddy-driven to a mixed eddy–thermally driven jet. A monthly jet zonality index is defined, which shows that a persistent merged jet state has occurred in the past, both at the end of the 1960s and during a few sporadic months. The anomalously zonal jet is found to be associated with anomalous tropical Pacific diabatic heating and eddy anomalies similar to those found during a negative North Atlantic Oscillation (NAO) state. A Lagrangian back-trajectory diagnosis of eight winters suggests the tropical Pacific is a source of momentum to the Atlantic and African jets and that this source was stronger during the winter of 2010. The results suggest that the combination of weak eddy variance and fluxes in the North Atlantic, along with strong tropical heating, act to push the jet toward a merged eddy–thermally driven state. The authors also find significant SST anomalies in the North Atlantic, which reinforce the anomalous zonal winds, particularly in the eastern Atlantic.

Modeling Features at Runtime

A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the correspondence between a feature and its implementation in source code. Traditional approaches to establish this correspondence exercise features to generate a trace of runtime events, which is then processed by post-mortem analysis. These approaches typically generate large amounts of data to analyze. Due to their static nature, these approaches do not support incremental and interactive analysis of features. We propose a radically different approach called live feature analysis, which provides a model at runtime of features. Our approach analyzes features on a running system and also makes it possible to grow feature representations by exercising different scenarios of the same feature, and identifies execution elements even to the sub-method level. We describe how live feature analysis is implemented effectively by annotating structural representations of code based on abstract syntax trees. We illustrate our live analysis with a case study where we achieve a more complete feature representation by exercising and merging variants of feature behavior and demonstrate the efficiency or our technique with benchmarks.

Recovery and Analysis of Transaction Scope from Scattered Information in Java Enterprise Applications

Java Enterprise Applications (JEAs) are large systems that integrate multiple technologies and programming languages. Transactions in JEAs simplify the development of code that deals with failure recovery and multi-user coordination by guaranteeing atomicity of sets of operations. The heterogeneous nature of JEAs, however, can obfuscate conceptual errors in the application code, and in particular can hide incorrect declarations of transaction scope. In this paper we present a technique to expose and analyze the application transaction scope in JEAs by merging and analyzing information from multiple sources. We also present several novel visualizations that aid in the analysis of transaction scope by highlighting anomalies in the specification of transactions and violations of architectural constraints. We have validated our approach on two versions of a large commercial case study.

A syntactic realization theorem for justification logics

Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms \$mathsfd\$, \$mathsft\$, \$mathsfb\$, \$mathsf4\$, and \$mathsf5\$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for \$mathsfKB5\$ and \$mathsfS5\$ by showing that the positive introspection operator is superfluous.

Spindle cell oncocytoma of the pituitary gland with follicle-like component: organotypic differentiation to support its origin from folliculo-stellate cells

Spindle cell oncocytoma (SCO) is a rare, non-adenomatous tumor originating from the anterior pituitary gland. Composed of fusiform, mitochondrion-rich cells sharing several immunophenotypic and ultrastructural properties with folliculo-stellate cells (FSC), SCO has been proposed to represent a neoplastic counterpart of the latter. To date, however, SCO has failed to meet one criterion commonly used in histological-based taxonomy and diagnostics; that of recapitulating any of FSCs' morphologically defined developmental or physiological states. We describe a unique example of SCO wherein a conventional fascicular texture was seen coexisting with and organically merging into follicle-like arrangements. The sellar tumor of 2.7 × 2.6 × 2.5 cm was transphenoidally resected from a 55-year old female. Preoperative magnetic resonance imaging indicated an isointense, contrast enhancing mass with suprasellar extension. Histology showed multiple rudimentary to well-formed, follicle-like cavities on a classical spindle cell background; while all the participating cells exhibited an SCO immunophenotype, including positivity for S100 protein, vimentin, EMA, Bcl-2, and TTF-1, as well as staining with the antimitochondrial antibody 113-1. Conversely no expression of GFAP, follicular-epithelial cytokeratin, carcinoembryonic antigen, or anterior pituitary hormones was detected. Ultrastructurally, tumor cells facing follicular lumina displayed organelles of epithelial specialization, in particular surface microvilli and apical tight junctions. This constellation is felt to be reminiscent of FSCs' metaplastic transition to follicular epithelium, as observed during embryonic development and physiological renewal of the hormone-secreting parenchyma. Such finding is apt to being read as a supporting argument for SCO's descent from the FSC lineage.

Analyzing Software Evolution through Feature Views

Features encapsulate the domain knowledge of a software system and thus are valuable sources of information for a reverse engineer. When analyzing the evolution of a system, we need to know how and which features were modified to recover both the change intention and its extent, namely which source artifacts are affected. Typically, the implementation of a feature crosscuts a number of source artifacts. To obtain a mapping between features to the source artifacts, we exercise the features and capture their execution traces. However this results in large traces that are difficult to interpret. To tackle this issue we compact the traces into simple sets of source artifacts that participate in a feature's runtime behavior. We refer to these compacted traces as feature views. Within a feature view, we partition the source artifacts into disjoint sets of characterized software entities. The characterization defines the level of participation of a source entity in the features. We then analyze the features over several versions of a system and we plot their evolution to reveal how and hich features were affected by changes in the code. We show the usefulness of our approach by applying it to a case study where we address the problem of merging parallel development tracks of the same system.

Functional imaging of the parotid glands using blood oxygenation level dependent (BOLD)-MRI at 1.5T and 3T

PURPOSE: To evaluate the function of the parotid glands before and during gustatory stimulation, using an intrinsic susceptibility-weighted MRI method (blood oxygenation level dependent, BOLD-MRI) at 1.5T and 3T. MATERIALS AND METHODS: A total of 10 and 13 volunteers were investigated at 1.5T and 3T, respectively. Measurements were performed before and during gustatory stimulation using ascorbate. Circular regions of interest (ROIs) were delineated in the left and right parotid glands, and in the masseter muscle for comparison. The effects of stimulation were evaluated by calculating the difference between the relaxation rates, DeltaR(2)*. Baseline and stimulation were statistically compared (Student's t-tests), merging both parotid glands. RESULTS: The averaged DeltaR(2)* values prestimulation obtained in all parotid glands were stable (-0.61 to 0.38 x 10(-3) seconds(-1)). At 3T, these values were characterized by an initial drop (to -2.7 x 10(-3) seconds(-1)) followed by a progressive increase toward the baseline. No significant difference was observed between baseline and parotid gland stimulation at 1.5T, neither for the masseter muscle at both field strengths. A considerable interindividual variability (over 76%) was noticed at both magnetic fields. CONCLUSION: BOLD-MRI at 3T was able to detect DeltaR(2)* changes in the parotid glands during gustatory stimulation, consistent with an increase in oxygen consumption during saliva production.

Intussusceptive angiogenesis: its role in embryonic vascular network formation

Intussusceptive angiogenesis is a novel mode of blood vessel formation and remodeling, which occurs by internal division of the preexisting capillary plexus without sprouting. In this study, the process is demonstrated in developing chicken eye vasculature and in the chorioallantoic membrane by methylmethacrylate (Mercox) casting, transmission electron microscopy, and in vivo observation. In a first step of intussusceptive angiogenesis, the capillary plexus expands by insertion of numerous transcapillary tissue pillars, ie, by intussusceptive microvascular growth. In a subsequent step, a vascular tree arises from the primitive capillary plexus as a result of intussusceptive pillar formation and pillar fusions, a process we termed "intussusceptive arborization." On the basis of the morphological observations, a 4-step model for intussusceptive arborization is proposed, as follows: phase I, numerous circular pillars are formed in rows, thus demarcating future vessels; phase II, formation of narrow tissue septa by pillar reshaping and pillar fusions; phase III, delineation, segregation, growth, and extraction of the new vascular entity by merging of septa; and phase IV, formation of new branching generations by successively repeating the process, complemented by growth and maturation of all components. In contrast to sprouting, intussusceptive angiogenesis does not require intense local endothelial cell proliferation; it is implemented primarily by rearrangement and attenuation of the endothelial cell plates. In summary, transcapillary pillar formation, ie, intussusception, is a central and probably widespread process, which plays a role not only in capillary network growth and expansion (intussusceptive microvascular growth), but also in vascular plexus remodeling and tree formation (intussusceptive arborization).

Accident or homicide - virtual crime scene reconstruction using 3D methods

The analysis and reconstruction of forensically relevant events, such as traffic accidents, criminal assaults and homicides are based on external and internal morphological findings of the injured or deceased person. For this approach high-tech methods are gaining increasing importance in forensic investigations. The non-contact optical 3D digitising system GOM ATOS is applied as a suitable tool for whole body surface and wound documentation and analysis in order to identify injury-causing instruments and to reconstruct the course of event. In addition to the surface documentation, cross-sectional imaging methods deliver medical internal findings of the body. These 3D data are fused into a whole body model of the deceased. Additional to the findings of the bodies, the injury inflicting instruments and incident scene is documented in 3D. The 3D data of the incident scene, generated by 3D laser scanning and photogrammetry, is also included into the reconstruction. Two cases illustrate the methods. In the fist case a man was shot in his bedroom and the main question was, if the offender shot the man intentionally or accidentally, as he declared. In the second case a woman was hit by a car, driving backwards into a garage. It was unclear if the driver drove backwards once or twice, which would indicate that he willingly injured and killed the woman. With this work, we demonstrate how 3D documentation, data merging and animation enable to answer reconstructive questions regarding the dynamic development of patterned injuries, and how this leads to a real data based reconstruction of the course of event.