Practical, Pluggable Types for a Dynamic Language

Most languages fall into one of two camps: either they adopt a unique, static type system, or they abandon static type-checks for run-time checks. Pluggable types blur this division by (i) making static type systems optional, and (ii) supporting a choice of type systems for reasoning about different kinds of static properties. Dynamic languages can then benefit from static-checking without sacrificing dynamic features or committing to a unique, static type system. But the overhead of adopting pluggable types can be very high, especially if all existing code must be decorated with type annotations before any type-checking can be performed. We propose a practical and pragmatic approach to introduce pluggable type systems to dynamic languages. First of all, only annotated code is type-checked. Second, limited type inference is performed on unannotated code to reduce the number of reported errors. Finally, external annotations can be used to type third-party code. We present Typeplug, a Smalltalk implementation of our framework, and report on experience applying the framework to three different pluggable type systems.

Context types in grammaticalization as constructions

In recent grammaticalization studies, the notion of “context types” has been employed to describe the successive diachronic stages that are associated with grammaticalization processes. It has been shown that a new grammatical function does not arise homogenously in all uses of the linguistic item concerned, but in its origin is bound to specific linguistic “contexts” or “constructions”. However, the notions of “context” as well as “construction” differ greatly among scholars, and research into the impact of constructions in grammaticalization scenarios, and into ways to formalized context types and constructions for diachronic purposes has only begun. The present study advances in this direction as it links the notion of context types of grammaticalization studies with central concepts of construction grammar. Using diachronic data from grammaticalization phenomena of German, successive types of contexts, i.e. critical contexts and isolating contexts, which are typically found in grammaticalization processes, are analyzed as specific types of idiomatic constructions in the sense the term is used in construction grammar.

Immune response of horses to vaccination with the recombinant Hc domain of botulinum neurotoxin types C and D

Botulinum neurotoxins, predominantly serotypes C and D, cause equine botulism through forage poisoning. The C-terminal part of the heavy chain of botulinum neurotoxin types C and D (HcBoNT/C and D) was expressed in Escherichia coli and evaluated as a recombinant mono- and bivalent vaccine in twelve horses in comparison to a commercially available toxoid vaccine. A three-dose subcutaneous immunization of adult horses elicited robust serum antibody response in an ELISA using the immunogen as a capture antigen. Immune sera showed dose-dependent high potency in neutralizing specifically the active BoNT/C and D in the mouse protection assay. The aluminium hydroxide based mono- and bivalent recombinant HcBoNT/C and D vaccines were characterized by good compatibility and the ability to elicit protective antibody titers similar or superior to the commercially available toxoid vaccine.

Investigations into Velocity and Distance Perception Based on Different Types of Moving Sound Sources with Respect to Auditory Virtual Environments

The characteristics of moving sound sources have strong implications on the listener's distance perception and the estimation of velocity. Modifications of the typical sound emissions as they are currently occurring due to the tendency towards electromobility have an impact on the pedestrian's safety in road traffic. Thus, investigations of the relevant cues for velocity and distance perception of moving sound sources are not only of interest for the psychoacoustic community, but also for several applications, like e.g. virtual reality, noise pollution and safety aspects of road traffic. This article describes a series of psychoacoustic experiments in this field. Dichotic and diotic stimuli of a set of real-life recordings taken from a passing passenger car and a motorcycle were presented to test subjects who in turn were asked to determine the velocity of the object and its minimal distance from the listener. The results of these psychoacoustic experiments show that the estimated velocity is strongly linked to the object's distance. Furthermore, it could be shown that binaural cues contribute significantly to the perception of velocity. In a further experiment, it was shown that - independently of the type of the vehicle - the main parameter for distance determination is the maximum sound pressure level at the listener's position. The article suggests a system architecture for the adequate consideration of moving sound sources in virtual auditory environments. Virtual environments can thus be used to investigate the influence of new vehicle powertrain concepts and the related sound emissions of these vehicles on the pedestrians' ability to estimate the distance and velocity of moving objects.

Cephalometric outcome of two types of palatoplasty in complete unilateral cleft lip and palate

In complete unilateral cleft lip and palate (CLP), a vomerplasty is assumed to improve midfacial growth because of the reduction in scarring in the growth-sensitive areas of the palate. Our aim, therefore, was to evaluate maxillofacial morphology after a modified Langenbeck technique or a vomerplasty in children with complete unilateral CLP who were operated on by a single surgeon. As part of a one-stage closure of complete unilateral CLP done during the first year of life, the technique for repair of the hard palate repair differed between the two groups. In the modified group (n=37, mean age 11 years) a modified von Langenbeck technique was used that resulted in denudation of the bony surface on the non-cleft side only. In the vomerplasty group (n=37, mean age 11 years) a vomerplasty was used to cover the palatal bone. Lateral cephalograms from both groups were compared using the Eurocleft protocol. Fourteen angular variables were measured and 2 ratios calculated. Skeletal morphology in the groups was comparable. Maxillary incisor inclination (ILs/NL angle) and interincisal angle (ILs/ILi) were better after vomerplasty (p=0.001 and 0.04, respectively) but soft tissue facial convexity (gs-prn-pgs) was less good after vomerplasty (p=0.009). However, there was no difference between the groups in the other variable that reflected facial convexity (gs-sn-pgs) (p=0.22). Modification of the palatoplasty had a limited effect on skeletal morphology in preadolescent children, but it resulted in better inclination of the maxillary incisors.

Effects of different types of solid feeds on health status and performance of Swiss veal calves. II. Basic feeding with whole milk

The objective of this study was to identify a suitable alternative to the current practice of complementing the feeding of whole milk with straw. The influence of 3 different solid supplements on the health and performance of Swiss veal calves was investigated during 3 production cycles of 90 veal calves each with a mean initial age of 42 days and a mean initial weight of 68.7 kg. The calves were housed in groups of 30 in stalls strewn with wheat straw without outside pen. Liquid feeding consisted of whole milk combined with an additional skim milk powder ad libitum. Groups were assigned to one of the three following experimental solid feeds provided ad libitum: Pellet mix (composition: oat hulls, corn [whole plant], barley, sunflower seeds, squeezed grains of corn, molasses and a pellet binder), whole plant corn pellets, and wheat straw as control. Calves of the straw group showed significantly more abomasal lesions in the fundic part as compared to the pellet mix and corn pellets groups (P < 0.001), the prevalence of insufficient papillae was highest (P < 0.05), and ruminating behavior was unsatisfactory. In contrast to the pellet mix and straw groups, performance of calves in the corn pellets group was good. Additionally, prevalence of abomasal fundic lesions was lowest (P < 0.001), and rumen development was best in calves of the corn pellets group (P < 0.01). As in part I, the results reveal that whole-plant corn pellets are most consistent with an optimal result combining the calves' health and fattening performance. Therefore, it can be recommended as a solid supplement for veal calves basically fed whole milk under Swiss conditions.

Effects of different types of solid feeds on health status and performance of Swiss veal calves. I. Basic feeding with milk by-products

The objective of this study was to identify a suitable alternative to the current practice of complementing the feeding of milk by-products with straw. The influence of 5 different types of solid feeds on health and performance of Swiss veal calves was investigated in 2 production cycles of 200 veal calves each with a mean initial age of 40 days (d). The calves were housed in groups of 40 in stalls with outside pen. Liquid feeding consisted of a milk by-product combined with an additional skim milk powder ad libitum. Groups were assigned to 1 of the 5 following experimental solid feeds provided ad libitum: mix (composition: soy flakes, corn, barley, wheat, oat, barley middling, plant oil, molasses), whole plant corn pellets, corn silage, hay, and wheat straw as control. Daily dry matter intake per calf averaged 2.25 kg of the liquid food, 0.16 kg of straw, 0.33 kg of mix, 0.47 kg of corn silage, 0.38 kg of corn pellets, and 0.39 kg of hay. No significant differences (P > 0.05) among groups were found in calf losses that amounted to 4.8 % (68 % because of gastrointestinal disorders). Four percent of the calves were slaughtered prematurely. Daily doses of antibiotics were higher in the mix (36.9 d, P < 0.01) and in the corn silage groups (35 d, P < 0.01) compared to control. Compared to the 4 other groups, calves of the straw group showed the highest prevalence of abnormal ruminal content (73 %, P < 0.05), of abnormal ruminal papillae (42 %, P < 0.05), of abomasal fundic lesions (13.5 %, P < 0.1), and the lowest number of chewing movements per bolus (45, P < 0.05). The hemoglobin concentration averaged 85 g/l at the beginning and 99 g/l at the end of the fattening period with no significant differences among groups (P > 0.1). The duration of the fattening period averaged 114 d, slaughter age 157 d, and carcass weight 122 kg. The average daily weight gain (ADG) was highest in the control group straw (1.35 kg), and lowest in the hay group (1.22 kg, P < 0.01). The number of carcasses classified as C, H, and T (very high to medium quality) was lower in the hay group compared to straw (P < 0.01). No significant differences between groups were found in meat color (P > 0.1): 73 % of the carcasses were assessed as pale (267/364), 18 % as pink (66/364), and 9 % (31/364) as red. The results reveal that whole-plant corn pellets are most consistent with an optimal result combining the calves' health and fattening performance. Therefore, it can be recommended as an additional solid feed for veal calves under Swiss conditions.

Comparison of Fluid Types for Resuscitation in Acute Hemorrhagic Shock and Evaluation of Gastric Luminal and Transcutaneous P co 2 in Leghorn Chickens

The objective of this study was to compare the effects of 3 different fluid types for resuscitation after experimentally induced hemorrhagic shock in anesthetized chickens and to evaluate partial pressures of carbon dioxide measured in arterial blood (Paco2), with a transcutaneous monitor (TcPco2), with a gastric intraluminal monitor (GiPco2), and by end tidal measurements (Etco2) under stable conditions and after induced hemorrhagic shock. Hemorrhagic shock was induced in 40 white leghorn chickens by removing 50% of blood volume by phlebotomy under general anesthesia. Birds were divided into 4 groups: untreated (control group) and treated with intravenous hetastarch (haes group), with a hemoglobin-based oxygen carrier (hemospan group), or by autotransfusion (blood group). Respiratory rates, heart rates, and systolic arterial blood pressure (SAP) were compared at 8 time points (baseline [T0]; at the loss of 10% [T10%], 20% [T20%], 30% [T30%], 40% [T40%], and 50% [T50%] of blood volume; at the end of resuscitation [RES]; and at the end of anesthesia [END]). Packed cell volume (PCV) and blood hemoglobin content were compared at 6 time points (T0, T50%, RES, and 1, 3, and 7 days after induced hemorrhagic shock). Measurements of Paco2, TcPco2, GiPco2, and Etco2 were evaluated at 2 time points (T0 and T50%), and venous lactic acid concentrations were evaluated at 3 time points (T0, T50%, and END). No significant differences were found in mortality, respiratory rate, heart rate, PCV, or hemoglobin values among the 4 groups. Birds given fluid resuscitation had significantly higher SAPs after fluid administration than did birds in the control group. In all groups, PCV and hemoglobin concentrations began to rise by day 3 after phlebotomy, and baseline values were reached 7 days after blood removal. At T0, TcPco2 did not differ significantly from Paco2, but GiPco2 and Etco2 differed significantly from Paco2. After hemorrhagic shock, GiPco2 and TcPco2 differed significantly from Paco2. The TcPco2 or GiPco2 values did not differ significantly at any time point in birds that survived or died in any of the groups and across all groups. These results showed no difference in mortality in leghorn chickens treated with fluid resuscitation after hemorrhagic shock and that the PCV and hemoglobin concentrations increased by 3 days after acute hemorrhage with or without treatment. The different CO2 measurements document changes in CO2-values consistent with poor perfusion and may prove useful for serial evaluation of responses to shock and shock treatment.

Next-generation tissue microarray (ngTMA) increases the quality of biomarker studies: an example using CD3, CD8, and CD45RO in the tumor microenvironment of six different solid tumor types

Background Tissue microarray (TMA) technology revolutionized the investigation of potential biomarkers from paraffin-embedded tissues. However, conventional TMA construction is laborious, time-consuming and imprecise. Next-generation tissue microarrays (ngTMA) combine histological expertise with digital pathology and automated tissue microarraying. The aim of this study was to test the feasibility of ngTMA for the investigation of biomarkers within the tumor microenvironment (tumor center and invasion front) of six tumor types, using CD3, CD8 and CD45RO as an example. Methods Ten cases each of malignant melanoma, lung, breast, gastric, prostate and colorectal cancers were reviewed. The most representative H&E slide was scanned and uploaded onto a digital slide management platform. Slides were viewed and seven TMA annotations of 1 mm in diameter were placed directly onto the digital slide. Different colors were used to identify the exact regions in normal tissue (n = 1), tumor center (n = 2), tumor front (n = 2), and tumor microenvironment at invasion front (n = 2) for subsequent punching. Donor blocks were loaded into an automated tissue microarrayer. Images of the donor block were superimposed with annotated digital slides. Exact annotated regions were punched out of each donor block and transferred into a TMA block. 420 tissue cores created two ngTMA blocks. H&E staining and immunohistochemistry for CD3, CD8 and CD45RO were performed. Results All 60 slides were scanned automatically (total time < 10 hours), uploaded and viewed. Annotation time was 1 hour. The 60 donor blocks were loaded into the tissue microarrayer, simultaneously. Alignment of donor block images and digital slides was possible in less than 2 minutes/case. Automated punching of tissue cores and transfer took 12 seconds/core. Total ngTMA construction time was 1.4 hours. Stains for H&E and CD3, CD8 and CD45RO highlighted the precision with which ngTMA could capture regions of tumor-stroma interaction of each cancer and the T-lymphocytic immune reaction within the tumor microenvironment. Conclusion Based on a manual selection criteria, ngTMA is able to precisely capture histological zones or cell types of interest in a precise and accurate way, aiding the pathological study of the tumor microenvironment. This approach would be advantageous for visualizing proteins, DNA, mRNA and microRNAs in specific cell types using in situ hybridization techniques.

Lectin binding patterns in two cultured endothelial cell types derived from bovine corpus luteum

Epithelial cells of different phenotypes derived from bovine corpus luteum have been studied intensively in our laboratory. In this study, specific lectin binding was examined for cells of type 1 and 3, which were defined as endothelial cells. In order to confirm differences in their glycocalyx at the light microscopic level, five biotinylated lectins were applied to postconfluent cultures which had been fixed with buffered paraformaldehyde or glutaraldehyde. Cells were not permeabilized with any detergent. Lectin binding was localized with a streptavidin-peroxidase complex which was visualized with two different techniques. The DAB technique detected peroxidase histochemically, while the immunogold technique used an anti-peroxidase gold complex together with silver amplification. Neither cell type 1 nor cell type 3 bound a particular lectin selectively, yet each cell type expressed a particular lectin binding pattern. With the DAB technique, diverse lectin binding patterns were seen, probably indicating either "outside" binding, i.e., a diffuse pattern, a lateral-cell-side pattern and a microvillus-like pattern, or "inside" binding, i.e., a diffuse pattern, and a granule-like pattern. With the immunogold technique, only "outside" binding was observed. In addition, the patterns of single cilia or of single circles were detected, the latter roughly representing 3-micron-sized binding sites for concanavalin A. When localizing them at the ultrastructural level, single circles corresponded with micron-sized discontinuities of the plasma membrane. Shedding vesicles were detected whose outer membrane was labelled with concanavalin A. Our results confirm the diversity of the two cell types under study. The "inside" lectin binding may be caused by way of transient plasma membrane openings and related to shedding of right-side out vesicles ("ectocytosis").