Fly Ash Affect on Alkali-Aggregate Reactivity, MLR-88-7, 1989

Cement-aggregate reactions were first reported in the 1940's. Depletion of quality aggregate, changes in cement and the use of fly ash make cement-aggregate reactions a problem still today. This latest research into alkali-aggregate reactivity was initiated to evaluate the new ASTM style test containers and evaluate the effect of Class C fly ash on the expansive reaction. Three aggregates were tested in combination with three cements and three fly ashes available in Iowa. Thirty-six combinations were made and tested over a six-month period. The conclusions were: (1) the new style ASTM containers were much more effective than the containers used by the Iowa DOT in the past; (2) some mixes with 15 percent Class C fly ash had increased expansion over comparative mixes without fly ash; and (3) the Oreapolis #8 pit did not appear to have an alkali-silica reaction problem based on this testing and earlier reported testing.

An Investigation of Portland Cement Concrete Utilizing 70% Class V Aggregate and 30% Calcareous Coarse Aggregate, R-255, 1973

The main sources of coarse aggregate for secondary slip form paving in Southwest Iowa exhibit undesirable "D" cracking. "D" cracking is a discoloration of the concrete caused by fine, hairline cracks. These cracks are caused by the freezing and thawing of moisture inside the coarse aggregate. The cracks are often hour glass shaped, are parallel to each other, and occur along saw joints. The B-4, a typical secondary mix, utilizes 50% fine aggregate and 50% coarse aggregate. It has been proposed that a concrete mix with less coarse aggregate and more fine aggregate might impede this type of deterioration. The Nebraska Standard 47B Mix, a 70% fine aggregate, and 30% coarse aggregate mix, as used by Nebraska Department of Roads produces concrete with ultimate strengths in excess of 4500 psi but because of the higher cost of cement (it is a six bag per cubic yard mix) is not competitive with our present secondary mixes. The sands of Southwest Iowa generally have poorer mortar strengths than the average Iowa Sand. Class V Aggregate also found in Southwest Iowa has a coarser sand fraction, therefore it has a better mortar strength, but exhibits an acidic reaction and therefore must be·used with limestone. This illustrates the need to find a mix for use in Southwest Iowa that possesses adequate strength and satisfactory durability at a low cost. The purpose of this study is to determine a concrete mix with an acceptable cement content which will produce physical properties similar to that of our present secondary paving mixes.

Recycled Asphalt Pavement Kossuth County Iowa, HR-176, 1982

In 1975, Kossuth County had 492 miles of asphalt pavements, sixty percent of which were between l5 and 20 years old. Many of these roadways were in need of rehabilitation. Normally, asphaltic resurfacing would be the procedure for correcting the pavement deterioration. There are areas within the state of Iowa which do not have Class I aggregate readily available for asphalt cement concrete paving. Kossuth County is one of those areas. The problem is typified by this project. Limestone aggregate to be incorporated into the asphalt resurfacing had to be hauled 53 miles from the quarry to the plant site. The cost of hauling good quality aggregate coupled with the increasing cost of asphalt cement encouraged Kossuth County to investigate the possibility of asphaltic pavement recycling. Another problem, possibly unique to Kossuth County, was the way the original roadways had been constructed. A good clay soil was present under 3 to 4 feet of poorer soil. In order to obtain this good clay soil for subbase construction, the roadway ditches were excavated 1 to 3 feet into the clay soil layer. The resultant roadway tops were several feet above the surrounding farm land and generally less than 26 feet wide. To bring the existing roadway up to current minimum design width, there were two choices: One was to widen the roadway by truck hauling soil and constructing new 4 to 6 foot shoulders. The cost of widening by this method averaged $36,000 per mile in 1975. The other choice was to remove the old pavement and widen the roadway by lowering the grade line. The desire to provide wider paved roadways gave Kossuth County the additional incentive needed to proceed with a pavement recycling project.

MHC class II hierarchy of superantigen presentation predicts efficiency of infection with mouse mammary tumor virus.

Superantigens (SAgs) encoded by infectious mouse mammary tumor viruses (MMTVs) play a crucial role in the viral life cycle. Their expression by infected B cells induces a proliferative immune response by SAg-reactive T cells which amplifies MMTV infection. This response most likely ensures stable MMTV infection and transmission to the mammary gland. Since T cell reactivity to SAgs from endogenous Mtv loci depends on MHC class II molecules expressed by B cells, we have determined the ability of MMTV to infect various MHC congenic mice. We show that MHC class II I-E+ compared with I-E- mouse strains show higher levels of MMTV infection, most likely due to their ability to induce a vigorous SAg-dependent immune response following MMTV encounter. Inefficient infection is observed in MHC class II I-E- mice, which have been shown to present endogenous SAgs poorly. Therefore, during MMTV infection the differential ability of MHC class II molecules to form a functional complex with SAg determines the magnitude of the proliferative response of SAg-reactive T cells. This in turn influences the degree of T cell help provided to infected B cells and therefore the efficiency of amplification of MMTV infection.

IFN-gamma-dependent transcription of MHC class II IA is impaired in macrophages from aged mice

To determine the effect of aging on IFN-gamma-induced MHC class II antigen expression, we produced bone marrow¿derived macrophages in vitro. In these conditions, we analyzed the effect of aging on the genomic expression of macrophages without the influence of other cell types that may be affected by aging. Although macrophages from young and aged mice showed an identical degree of differentiation, after incubation with IFN-gamma, the expression at the cell surface of the IA complex and the levels of IAbeta protein and mRNA were lower in aged macrophages. Moreover, the transcription of the IAbeta gene was impaired in aged macrophages. The amount of transcription factors that bound to the W and X, but not to the Y, boxes of the IAbeta promoter gene was lower in aged macrophages. Similar levels of CIITA mRNA were found after IFN-gamma treatment of both young and aged macrophages. This shows that neither the initial cascade that starts after the interaction of IFN-gamma with the receptor nor the second signals involved in the expression of CIITA are impaired in aged macrophages. These data indicate that aging is associated with low levels of MHC class II gene induction by IFN-gamma because of impaired transcription.

What's so special about conversion disorder? A problem and a proposal for diagnostic classification.

Conversion disorder presents a problem for the revisions of DSM-IV and ICD-10, for reasons that are informative about the difficulties of psychiatric classification more generally. Giving up criteria based on psychological aetiology may be a painful sacrifice but it is still the right thing to do.

Genome-wide association study identifies new HLA class II haplotypes strongly protective against narcolepsy.

Narcolepsy is a rare sleep disorder with the strongest human leukocyte antigen (HLA) association ever reported. Since the associated HLA-DRB1*1501-DQB1*0602 haplotype is common in the general population (15-25%), it has been suggested that it is almost necessary but not sufficient for developing narcolepsy. To further define the genetic basis of narcolepsy risk, we performed a genome-wide association study (GWAS) in 562 European individuals with narcolepsy (cases) and 702 ethnically matched controls, with independent replication in 370 cases and 495 controls, all heterozygous for DRB1*1501-DQB1*0602. We found association with a protective variant near HLA-DQA2 (rs2858884; P < 3 x 10(-8)). Further analysis revealed that rs2858884 is strongly linked to DRB1*03-DQB1*02 (P < 4 x 10(-43)) and DRB1*1301-DQB1*0603 (P < 3 x 10(-7)). Cases almost never carried a trans DRB1*1301-DQB1*0603 haplotype (odds ratio = 0.02; P < 6 x 10(-14)). This unexpected protective HLA haplotype suggests a virtually causal involvement of the HLA region in narcolepsy susceptibility.

NLRC5 exclusively transactivates MHC class I and related genes through a distinctive SXY module.

MHC class II (MHCII) genes are transactivated by the NOD-like receptor (NLR) family member CIITA, which is recruited to SXY enhancers of MHCII promoters via a DNA-binding "enhanceosome" complex. NLRC5, another NLR protein, was recently found to control transcription of MHC class I (MHCI) genes. However, detailed understanding of NLRC5's target gene specificity and mechanism of action remained lacking. We performed ChIP-sequencing experiments to gain comprehensive information on NLRC5-regulated genes. In addition to classical MHCI genes, we exclusively identified novel targets encoding non-classical MHCI molecules having important functions in immunity and tolerance. ChIP-sequencing performed with Rfx5(-/-) cells, which lack the pivotal enhanceosome factor RFX5, demonstrated its strict requirement for NLRC5 recruitment. Accordingly, Rfx5-knockout mice phenocopy Nlrc5 deficiency with respect to defective MHCI expression. Analysis of B cell lines lacking RFX5, RFXAP, or RFXANK further corroborated the importance of the enhanceosome for MHCI expression. Although recruited by common DNA-binding factors, CIITA and NLRC5 exhibit non-redundant functions, shown here using double-deficient Nlrc5(-/-)CIIta(-/-) mice. These paradoxical findings were resolved by using a "de novo" motif-discovery approach showing that the SXY consensus sequence occupied by NLRC5 in vivo diverges significantly from that occupied by CIITA. These sequence differences were sufficient to determine preferential occupation and transactivation by NLRC5 or CIITA, respectively, and the S box was found to be the essential feature conferring NLRC5 specificity. These results broaden our knowledge on the transcriptional activities of NLRC5 and CIITA, revealing their dependence on shared enhanceosome factors but their recruitment to distinct enhancer motifs in vivo. Furthermore, we demonstrated selectivity of NLRC5 for genes encoding MHCI or related proteins, rendering it an attractive target for therapeutic intervention. NLRC5 and CIITA thus emerge as paradigms for a novel class of transcriptional regulators dedicated for transactivating extremely few, phylogenetically related genes.

Fluorescence-activated cell sorting and cloning of bona fide CD8+ CTL with reversible MHC-peptide and antibody Fab' conjugates.

The isolation of subsets of Ag-specific T cells for in vitro and in vivo studies by FACS is compromised by the fact that the soluble MHC-peptide complexes and Abs used for staining, especially when combined, induce unwanted T cell activation and eventually apoptosis. This is especially a problem for CD8+ CTL, which are susceptible to activation-dependent cell death. In this study, we show that reversible MHC-peptide complexes (tetramers) can be prepared by conjugating MHC-peptide monomers with desthiobiotin (DTB; also called dethiobiotin) and multimerization by reaction with fluorescent streptavidin. While in the cold these reagents are stable and allow good staining, they rapidly dissociate in monomers at elevated temperatures, especially in the presence of free biotin. FACS cloning of Melan-A (MART-1)-specific CTL from a melanoma-infiltrated lymph node with reversible HLA-A2 Melan-A26-35 multimers yielded over two times more clones than when using the conventional biotin-containing multimers. CTL clones obtained by means of reversible multimers killed Melan-A-positive tumor cells more efficiently as compared with clones obtained with the stable multimers. Among the CTL obtained with the reversible multimers, but much less among those obtained with the stable multimers, a high proportion of clones exhibited high functional and physical avidity and died upon incubation with soluble MHC-peptide complexes. Finally, we show that Fab' of an anti-CD8 Ab can be converted in reversible DTB streptavidin conjugates the same way. These DTB reagents efficiently and reversibly stained murine and human CTL without affecting their viability.

Kernel-based Mapping of Meteorological Fields in Complex Orography

Due to the advances in sensor networks and remote sensing technologies, the acquisition and storage rates of meteorological and climatological data increases every day and ask for novel and efficient processing algorithms. A fundamental problem of data analysis and modeling is the spatial prediction of meteorological variables in complex orography, which serves among others to extended climatological analyses, for the assimilation of data into numerical weather prediction models, for preparing inputs to hydrological models and for real time monitoring and short-term forecasting of weather.In this thesis, a new framework for spatial estimation is proposed by taking advantage of a class of algorithms emerging from the statistical learning theory. Nonparametric kernel-based methods for nonlinear data classification, regression and target detection, known as support vector machines (SVM), are adapted for mapping of meteorological variables in complex orography.With the advent of high resolution digital elevation models, the field of spatial prediction met new horizons. In fact, by exploiting image processing tools along with physical heuristics, an incredible number of terrain features which account for the topographic conditions at multiple spatial scales can be extracted. Such features are highly relevant for the mapping of meteorological variables because they control a considerable part of the spatial variability of meteorological fields in the complex Alpine orography. For instance, patterns of orographic rainfall, wind speed and cold air pools are known to be correlated with particular terrain forms, e.g. convex/concave surfaces and upwind sides of mountain slopes.Kernel-based methods are employed to learn the nonlinear statistical dependence which links the multidimensional space of geographical and topographic explanatory variables to the variable of interest, that is the wind speed as measured at the weather stations or the occurrence of orographic rainfall patterns as extracted from sequences of radar images. Compared to low dimensional models integrating only the geographical coordinates, the proposed framework opens a way to regionalize meteorological variables which are multidimensional in nature and rarely show spatial auto-correlation in the original space making the use of classical geostatistics tangled.The challenges which are explored during the thesis are manifolds. First, the complexity of models is optimized to impose appropriate smoothness properties and reduce the impact of noisy measurements. Secondly, a multiple kernel extension of SVM is considered to select the multiscale features which explain most of the spatial variability of wind speed. Then, SVM target detection methods are implemented to describe the orographic conditions which cause persistent and stationary rainfall patterns. Finally, the optimal splitting of the data is studied to estimate realistic performances and confidence intervals characterizing the uncertainty of predictions.The resulting maps of average wind speeds find applications within renewable resources assessment and opens a route to decrease the temporal scale of analysis to meet hydrological requirements. Furthermore, the maps depicting the susceptibility to orographic rainfall enhancement can be used to improve current radar-based quantitative precipitation estimation and forecasting systems and to generate stochastic ensembles of precipitation fields conditioned upon the orography.

Planning under partial observability by classical replanning: theory and experiments

Planning with partial observability can be formulated as a non-deterministic search problem in belief space. The problem is harder than classical planning as keeping track of beliefs is harder than keeping track of states, and searching for action policies is harder than searching for action sequences. In this work, we develop a framework for partial observability that avoids these limitations and leads to a planner that scales up to larger problems. For this, the class of problems is restricted to those in which 1) the non-unary clauses representing the uncertainty about the initial situation are nvariant, and 2) variables that are hidden in the initial situation do not appear in the body of conditional effects, which are all assumed to be deterministic. We show that such problems can be translated in linear time into equivalent fully observable non-deterministic planning problems, and that an slight extension of this translation renders the problem solvable by means of classical planners. The whole approach is sound and complete provided that in addition, the state-space is connected. Experiments are also reported.

Materials and supplementary materials used to teach vocabulary in the English class

This study is based on the analysis of the use of supplementary materials to teach vocabulary by second language teachers in Primary Education. The study consists of two analyses: the first one is a quantitative analysis based on 33 questionnaires answered by different second language teachers of Primary Education. The other, is a qualitative analysis in which the teacher’s subjective opinion on vocabulary learning techniques is presented. The study covers these main aspects: material use, effectiveness, children’s motivation, main criteria to teach vocabulary and the children’s role in their vocabulary learning.

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.