Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Type I hyperprolinemia: genotype/phenotype correlations.

Type I hyperprolinemia (HPI) is an autosomal recessive disorder associated with cognitive and psychiatric troubles, caused by alterations of the Proline Dehydrogenase gene (PRODH) at 22q11. HPI results from PRODH deletion and/or missense mutations reducing proline oxidase (POX) activity. The goals of this study were first to measure in controls the frequency of PRODH variations described in HPI patients, second to assess the functional effect of PRODH mutations on POX activity, and finally to establish genotype/enzymatic activity correlations in a new series of HPI patients. Eight of 14 variants occurred at polymorphic frequency in 114 controls. POX activity was determined for six novel mutations and two haplotypes. The c.1331G>A, p.G444D allele has a drastic effect, whereas the c.23C>T, p.P8L allele and the c.[56C>A; 172G>A], p.[Q19P; A58T] haplotype result in a moderate decrease in activity. Among the 19 HPI patients, 10 had a predicted residual activity <50%. Eight out of nine subjects with a predicted residual activity > or = 50% bore at least one c.824C>A, p.T275N allele, which has no detrimental effect on activity but whose frequency in controls is only 3%. Our results suggest that PRODH mutations lead to a decreased POX activity or affect other biological parameters causing hyperprolinemia.

Novel loci for adiponectin levels and their influence on type 2 diabetes and metabolic traits: a multi-ethnic meta-analysis of 45,891 individuals.

Circulating levels of adiponectin, a hormone produced predominantly by adipocytes, are highly heritable and are inversely associated with type 2 diabetes mellitus (T2D) and other metabolic traits. We conducted a meta-analysis of genome-wide association studies in 39,883 individuals of European ancestry to identify genes associated with metabolic disease. We identified 8 novel loci associated with adiponectin levels and confirmed 2 previously reported loci (P = 4.5×10(-8)-1.2×10(-43)). Using a novel method to combine data across ethnicities (N = 4,232 African Americans, N = 1,776 Asians, and N = 29,347 Europeans), we identified two additional novel loci. Expression analyses of 436 human adipocyte samples revealed that mRNA levels of 18 genes at candidate regions were associated with adiponectin concentrations after accounting for multiple testing (p<3×10(-4)). We next developed a multi-SNP genotypic risk score to test the association of adiponectin decreasing risk alleles on metabolic traits and diseases using consortia-level meta-analytic data. This risk score was associated with increased risk of T2D (p = 4.3×10(-3), n = 22,044), increased triglycerides (p = 2.6×10(-14), n = 93,440), increased waist-to-hip ratio (p = 1.8×10(-5), n = 77,167), increased glucose two hours post oral glucose tolerance testing (p = 4.4×10(-3), n = 15,234), increased fasting insulin (p = 0.015, n = 48,238), but with lower in HDL-cholesterol concentrations (p = 4.5×10(-13), n = 96,748) and decreased BMI (p = 1.4×10(-4), n = 121,335). These findings identify novel genetic determinants of adiponectin levels, which, taken together, influence risk of T2D and markers of insulin resistance.

Human invariant V alpha 24-J alpha Q TCR supports the development of CD1d-dependent NK1.1+ and NK1.1- T cells in transgenic mice.

A sizable fraction of T cells expressing the NK cell marker NK1.1 (NKT cells) bear a very conserved TCR, characterized by homologous invariant (inv.) TCR V alpha 24-J alpha Q and V alpha 14-J alpha 18 rearrangements in humans and mice, respectively, and are thus defined as inv. NKT cells. Because human inv. NKT cells recognize mouse CD1d in vitro, we wondered whether a human inv. V alpha 24 TCR could be selected in vivo by mouse ligands presented by CD1d, thereby supporting the development of inv. NKT cells in mice. Therefore, we generated transgenic (Tg) mice expressing the human inv. V alpha 24-J alpha Q TCR chain in all T cells. The expression of the human inv. V alpha 24 TCR in TCR C alpha(-/-) mice indeed rescues the development of inv. NKT cells, which home preferentially to the liver and respond to the CD1d-restricted ligand alpha-galactosylceramide (alpha-GalCer). However, unlike inv. NKT cells from non-Tg mice, the majority of NKT cells in V alpha 24 Tg mice display a double-negative phenotype, as well as a significant increase in TCR V beta 7 and a corresponding decrease in TCR V beta 8.2 use. Despite the forced expression of the human CD1d-restricted TCR in C alpha(-/-) mice, staining with mCD1d-alpha-GalCer tetramers reveals that the absolute numbers of peripheral CD1d-dependent T lymphocytes increase at most by 2-fold. This increase is accounted for mainly by an increased fraction of NK1.1(-) T cells that bind CD1d-alpha-GalCer tetramers. These findings indicate that human inv. V alpha 24 TCR supports the development of CD1d-dependent lymphocytes in mice, and argue for a tight homeostatic control on the total number of inv. NKT cells. Thus, human inv. V alpha 24 TCR-expressing mice are a valuable model to study different aspects of the inv. NKT cell subset.

Validation statistique et structurale du questionnaire analytique de diagnostic de la personnalité (Q.A.P.)

The French Analytical Questionnaire of diagnostic of the Personality (Q.A.P., 1996), who took over from the characterological questionnaire of Berger (1950), is a interesting one for psychologists and characterologists because this test is based on very coherent theoretical corpus. This questionnaire is divided in two parts, the first one consists of three factor or fundamental scales which allow to determine the characterological type of individuals, the second part is made of nine complementary scales allowing to determine more precisely the personality of the subjects. We have done a structural validation of that questionnaire using a large sample (n=865). Several factor analyses were conducted on both part of the test. We also made a reliability analysis of each scale using the alpha of Cronbach and a homogeneity analysis of each question. Thank to these analyses we were able to evalue that instrument and we were able to set up that the factorial structure of the test corresponds to the theoretical one developped by the french school of characterology. The Analytical Questionnaire of diagnostic of the Personnality is globaly reliable in particullary the fist part which is very consistent. The second part is less reliable, and this is partly on due to the correlations between the scales. We have also done a correlational analysis between the first part of the Q.A.P., the questionnaire of Berger and the Rapid Questionnaire of Diagnostic of the Personnality (Q.R.D.P., 1996). The Q.A.P. might be the more reliable one. Finally we have evaluated the impact of gender, age and profession on the factors of the Analytical Questionnaire of diagnostic of the Personnality.

An integrated genetic and functional analysis of the role of type II transmembrane serine proteases (TMPRSSs) in hearing loss.

Building on our discovery that mutations in the transmembrane serine protease, TMPRSS3, cause nonsyndromic deafness, we have investigated the contribution of other TMPRSS family members to the auditory function. To identify which of the 16 known TMPRSS genes had a strong likelihood of involvement in hearing function, three types of biological evidence were examined: 1) expression in inner ear tissues; 2) location in a genomic interval that contains a yet unidentified gene for deafness; and 3) evaluation of hearing status of any available Tmprss knockout mouse strains. This analysis demonstrated that, besides TMPRSS3, another TMPRSS gene was essential for hearing and, indeed, mice deficient for Hepsin (Hpn) also known as Tmprss1 exhibited profound hearing loss. In addition, TMPRSS2, TMPRSS5, and CORIN, also named TMPRSS10, showed strong likelihood of involvement based on their inner ear expression and mapping position within deafness loci PKSR7, DFNB24, and DFNB25, respectively. These four TMPRSS genes were then screened for mutations in affected members of the DFNB24 and DFNB25 deafness families, and in a cohort of 362 sporadic deaf cases. This large mutation screen revealed numerous novel sequence variations including three potential pathogenic mutations in the TMPRSS5 gene. The mutant forms of TMPRSS5 showed reduced or absent proteolytic activity. Subsequently, TMPRSS genes with evidence of involvement in deafness were further characterized, and their sites of expression were determined. Tmprss1, 3, and 5 proteins were detected in spiral ganglion neurons. Tmprss3 was also present in the organ of Corti. TMPRSS1 and 3 proteins appeared stably anchored to the endoplasmic reticulum membranes, whereas TMPRSS5 was also detected at the plasma membrane. Collectively, these results provide evidence that TMPRSS1 and TMPRSS3 play and TMPRSS5 may play important and specific roles in hearing.

A genome-wide association search for type 2 diabetes genes in African Americans.

African Americans are disproportionately affected by type 2 diabetes (T2DM) yet few studies have examined T2DM using genome-wide association approaches in this ethnicity. The aim of this study was to identify genes associated with T2DM in the African American population. We performed a Genome Wide Association Study (GWAS) using the Affymetrix 6.0 array in 965 African-American cases with T2DM and end-stage renal disease (T2DM-ESRD) and 1029 population-based controls. The most significant SNPs (n = 550 independent loci) were genotyped in a replication cohort and 122 SNPs (n = 98 independent loci) were further tested through genotyping three additional validation cohorts followed by meta-analysis in all five cohorts totaling 3,132 cases and 3,317 controls. Twelve SNPs had evidence of association in the GWAS (P<0.0071), were directionally consistent in the Replication cohort and were associated with T2DM in subjects without nephropathy (P<0.05). Meta-analysis in all cases and controls revealed a single SNP reaching genome-wide significance (P<2.5×10(-8)). SNP rs7560163 (P = 7.0×10(-9), OR (95% CI) = 0.75 (0.67-0.84)) is located intergenically between RND3 and RBM43. Four additional loci (rs7542900, rs4659485, rs2722769 and rs7107217) were associated with T2DM (P<0.05) and reached more nominal levels of significance (P<2.5×10(-5)) in the overall analysis and may represent novel loci that contribute to T2DM. We have identified novel T2DM-susceptibility variants in the African-American population. Notably, T2DM risk was associated with the major allele and implies an interesting genetic architecture in this population. These results suggest that multiple loci underlie T2DM susceptibility in the African-American population and that these loci are distinct from those identified in other ethnic populations.

Steel Diaphragms in Prestressed Concrete Girder Bridges, September 2004

Over the years, bridge engineers have been concerned about the response of prestressed concrete (PC) girder bridges that had been hit by over-height vehicles or vehicle loads. When a bridge is struck by an over-height vehicle or vehicle load, usually the outside and in some instances one of the interior girders are damaged in a bridge. The effect of intermediate diaphragms in providing damage protection to the PC girders of a bridge is not clearly defined. This analytical study focused on the role of intermediate diaphragms in reducing the occurrence of damage in the girders of a PC-girder bridge that has been struck by an over-height vehicle or vehicle load. The study also investigated whether a steel, intermediate diaphragm would essentially provide the same degree of impact protection for PC girders as that provided by a reinforced-concrete diaphragm. This investigation includes the following: a literature search and a survey questionnaire to determine the state-of-the-art in the use and design of intermediate diaphragms in PC-girder bridges. Comparisons were made between the strain and displacement results that were experimentally measured for a large-scale, laboratory, model bridge during previously documented work and those results that were obtained from analyses of the finite-element models that were developed during this research for that bridge. These comparisons were conducted to calibrate the finite element models used in the analyses for this research on intermediate diaphragms. Finite-element models were developed for non-skewed and skewed PC-girder bridges. Each model was analyzed with either a reinforced concrete or two types of steel, intermediate diaphragms that were located at mid-span of an interior span for a PC-girder bridge. The bridge models were analyzed for lateral-impact loads that were applied to the bottom flange of the exterior girders at the diaphragms location and away from the diaphragms location. A comparison was conducted between the strains and displacements induced in the girders for each intermediate-diaphragm type. These results showed that intermediate diaphragms have an effect in reducing impact damage to the PC girders. When the lateral impact-load was applied at the diaphragm location, the reinforced-concrete diaphragms provided more protection for the girders than that provided by the two types of steel diaphragms. The three types of diaphragms provided essentially the same degree of protection to the impacted, PC girder when the lateral-impact load was applied away from the diaphragm location.

Renal endothelin receptor type B upregulation in rats with low or high renin hypertension.

OBJECTIVES: To evaluate the role of endothelin-1 (ET-1) in hypertension, we investigated density and distribution of ETA and ETB receptors in hearts and kidneys of deoxycorticosterone acetate (DOCA)-salt and 1 kidney -- 1 clip (1K1C) hypertensive rats. METHODS: Five groups of uninephrectomized Wistar rats were put on a low salt diet. Three groups of rats drank tap water and two groups received saline. One group of each regimen received DOCA subcutaneously and two corresponding groups without DOCA served as controls. The fifth group of rats had the renal artery clipped to induce 1K1C hypertension. At 6 weeks, mean arterial pressure (MAP) was recorded and membrane binding assays using 125I-ET-1 were carried out. RESULTS: MAP was increased from control 122 +/- 3 to 155 +/- 6 and 218 +/- 11 mmHg in DOCA-salt and 1K1C rats, respectively, and cardiac weight index was increased. ETA receptors were predominantly expressed in the heart, whereas ETB receptors were predominant in the kidney. In the kidneys, the density of the ETB receptor subtype was upregulated in DOCA-salt and 1K1C rats from 160 +/- 8 to 217 +/- 12 and 190 +/- 2 fmol/mg (P < 0.05), respectively, and ETA tended to be downregulated (P = 0.057). Plasma renin activity was decreased in DOCA-salt rats from 17 +/- 3 to 0.17 +/- 0.01 ng/ml per h and increased in 1K1C rats on low salt diet to 30 +/- 5 ng/ml per h. CONCLUSIONS: Since ETB is the predominant endothelin receptor in the kidneys, upregulation of the ETB receptor mediating vasodilation and downregulation of the ETA receptor mediating vasoconstriction would be compatible with a mainly renal counter-regulatory effect of endothelin-1 to hypertension. Both low and high renin models of hypertension may be affected.

MMP13 mutations are the cause of recessive metaphyseal dysplasia, Spahr type.

Metaphyseal dysplasia, Spahr type (MDST; OMIM 250400) was described in 1961 based on the observation of four children in one family who had rickets-like metaphyseal changes but normal blood chemistry and moderate short stature. Its molecular basis and nosologic status remained unknown. We followed up on those individuals and diagnosed the disorder in an additional member of the family. We used exome sequencing to ascertain the underlying mutation and explored its consequences on three-dimensional models of the affected protein. The MDST phenotype is associated with moderate short stature and knee pain in adults, while extra-skeletal complications are not observed. The sequencing showed that MDST segregated with a c.619T>G single nucleotide transversion in MMP13. The predicted non-conservative amino acid substitution, p.Trp207Gly, disrupts a crucial hydrogen bond in the calcium-binding region of the catalytic domain of the matrix metalloproteinase, MMP13. The MDST phenotype is associated with recessive MMP13 mutations, confirming the importance of this metalloproteinase in the metaphyseal growth plate. Dominant MMP13 mutations have been associated with metaphyseal anadysplasia (OMIM 602111), while a single child homozygous for a MMP13 mutation had been previously diagnosed as "recessive metaphyseal anadysplasia," that we conclude is the same nosologic entity as MDST. Molecular confirmation of MDST allows distinction of it from dominant conditions (e.g., metaphyseal dysplasia, Schmid type; OMIM # 156500) and from more severe multi-system conditions (such as cartilage-hair hypoplasia; OMIM # 250250) and to give precise recurrence risks and prognosis. © 2014 Wiley Periodicals, Inc.

Preventing Cracking at Diaphragm/Plate Girder Connections in Steel Bridges, HR-393, 1998

Some of the Iowa Department of Transportation (Iowa DOT) continuous, steel, welded plate girder bridges have developed web cracking in the negative moment regions at the diaphragm connection plates. The cracks are due to out-of-plane bending of the web near the top flange of the girder. The out-of-plane bending occurs in the "web-gap", which is the portion of the girder web between (1) the top of the fillet welds attaching the diaphragm connection plate to the web and (2) the fillet welds attaching the flange to the web. A literature search indicated that four retrofit techniques have been suggested by other researchers to prevent or control this type of cracking. To eliminate the problem in new bridges, AASHTO specifications require a positive attachment between the connection plate and the top (tension) flange. Applying this requirement to existing bridges is expensive and difficult. The Iowa DOT has relied primarily on the hole-drilling technique to prevent crack extension once cracking has occurred; however, the literature indicates that hole-drilling alone may not be entirely effective in preventing crack extension. The objective of this research was to investigate experimentally a method proposed by the Iowa DOT to prevent cracking at the diaphragm/plate girder connection in steel bridges with X-type or K-type diaphragms. The method consists of loosening the bolts at some connections between the diaphragm diagonals and the connection plates. The investigation included selecting and testing five bridges: three with X-type diaphragms and two with K-type diaphragms. During 1996 and 1997, these bridges were instrumented using strain gages and displacement transducers to obtain the response at various locations before and after implementing the method. Bridges were subjected to loaded test trucks traveling in different lanes with speeds varying from crawl speed to 65 mph (104 km/h) to determine the effectiveness of the proposed method. The results of the study show that the effect of out-of-plane loading was confined to widths of approximately 4 in. (100 mm) on either side of the connection plates. Further, they demonstrate that the stresses in gaps with drilled holes were higher than those in gaps without cracks, implying that the drilling hole technique is not sufficient to prevent crack extension. The behavior of the web gaps in X-type diaphragm bridges was greatly enhanced by the proposed method as the stress range and out-of-plane distortion were reduced by at least 42% at the exterior girders. For bridges with K-type diaphragms, a similar trend was obtained. However, the stress range increased in one of the web gaps after implementing the proposed method. Other design aspects (wind, stability of compression flange, and lateral distribution of loads) must be considered when deciding whether to adopt the proposed method. Considering the results of this investigation, the proposed method can be implemented for X-type diaphragm bridges. Further research is recommended for K-type diaphragm bridges.

G alpha-q/11 protein plays a key role in insulin-induced glucose transport in 3T3-L1 adipocytes.

We evaluated the role of the G alpha-q (Galphaq) subunit of heterotrimeric G proteins in the insulin signaling pathway leading to GLUT4 translocation. We inhibited endogenous Galphaq function by single cell microinjection of anti-Galphaq/11 antibody or RGS2 protein (a GAP protein for Galphaq), followed by immunostaining to assess GLUT4 translocation in 3T3-L1 adipocytes. Galphaq/11 antibody and RGS2 inhibited insulin-induced GLUT4 translocation by 60 or 75%, respectively, indicating that activated Galphaq is important for insulin-induced glucose transport. We then assessed the effect of overexpressing wild-type Galphaq (WT-Galphaq) or a constitutively active Galphaq mutant (Q209L-Galphaq) by using an adenovirus expression vector. In the basal state, Q209L-Galphaq expression stimulated 2-deoxy-D-glucose uptake and GLUT4 translocation to 70% of the maximal insulin effect. This effect of Q209L-Galphaq was inhibited by wortmannin, suggesting that it is phosphatidylinositol 3-kinase (PI3-kinase) dependent. We further show that Q209L-Galphaq stimulates PI3-kinase activity in p110alpha and p110gamma immunoprecipitates by 3- and 8-fold, respectively, whereas insulin stimulates this activity mostly in p110alpha by 10-fold. Nevertheless, only microinjection of anti-p110alpha (and not p110gamma) antibody inhibited both insulin- and Q209L-Galphaq-induced GLUT4 translocation, suggesting that the metabolic effects induced by Q209L-Galphaq are dependent on the p110alpha subunit of PI3-kinase. In summary, (i) Galphaq appears to play a necessary role in insulin-stimulated glucose transport, (ii) Galphaq action in the insulin signaling pathway is upstream of and dependent upon PI3-kinase, and (iii) Galphaq can transmit signals from the insulin receptor to the p110alpha subunit of PI3-kinase, which leads to GLUT4 translocation.

Field Evaluation of Elliptical Steel Dowel Performance, 2006

Joints are always a concern in the construction and long-term performance of concrete pavements. Research has shown that we need some type of positive load transfer across transverse joints. The same research has directed pavement designers to use round dowels spaced at regular intervals across the transverse joint to distribute the vehicle loads both longitudinally and transversely across the joint. The goal is to reduce bearing stresses on the dowels and the two pavement slab edges and erosion of the underlying surface, hence improved long-term joint and pavement structure performance. Road salts cause metal corrosion in doweled joints, excessive bearing stresses hollow dowel ends, and construction processes are associated with cracking pavement at the end of dowels. Dowels are also a cost factor in the pavement costs when joint spacing is reduced to control curling and warping distress in pavements. Designers desire to place adequate numbers of dowels spaced at the proper locations to handle the anticipated loads and bearing stresses for the design life of the pavement. This interim report is the second of three reports on the evaluation of elliptical steel dowels. This report consists of an update on the testing and performance of the various shapes and sizes of dowels. It also documents the results of the first series of performance surveys and draws interim conclusions about the performance of various bar shapes, sizes, spacings, and basket configurations. In addition to the study of elliptical steel dowel performance, fiber reinforced polymers (FRP) are also tested as elliptical dowel material (in contrast to steel) on a section of the highway construction north of the elliptical steel test sections.

Type of alcoholic beverage and risk of head and neck cancer: a pooled analysis within the INHANCE Consortium

The authors pooled data from 15 case-control studies of head and neck cancer (9,107 cases, 14,219 controls) to investigate the independent associations with consumption of beer, wine, and liquor. In particular, they calculated associations with different measures of beverage consumption separately for subjects who drank beer only (858 cases, 986 controls), for liquor-only drinkers (499 cases, 527 controls), and for wine-only drinkers (1,021 cases, 2,460 controls), with alcohol never drinkers (1,124 cases, 3,487 controls) used as a common reference group. The authors observed similar associations with ethanol-standardized consumption frequency for beer-only drinkers (odds ratios (ORs) = 1.6, 1.9, 2.2, and 5.4 for < or =5, 6-15, 16-30, and >30 drinks per week, respectively; P(trend) < 0.0001) and liquor-only drinkers (ORs = 1.6, 1.5, 2.3, and 3.6; P < 0.0001). Among wine-only drinkers, the odds ratios for moderate levels of consumption frequency approached the null, whereas those for higher consumption levels were comparable to those of drinkers of other beverage types (ORs = 1.1, 1.2, 1.9, and 6.3; P < 0.0001). Study findings suggest that the relative risks of head and neck cancer for beer and liquor are comparable. The authors observed weaker associations with moderate wine consumption, although they cannot rule out confounding from diet and other lifestyle factors as an explanation for this finding. Given the presence of heterogeneity in study-specific results, their findings should be interpreted with caution.

Tandem-GMA Welding of Low Alloy Structural Steel

The Tandem-GMAW method is the latest development as the consequences of improvements in the welding methods. The twin-wire and then the Tandem-method with the separate power sources has got a remarkable place in the welding of many types of materials with different joint types. The biggest advantage of Tandem welding method is the flexibility of choosing both the electrodes of different types from each other according to the type of the parent material. This is possible because of the feasibility of setting the separate welding parameters for both the wires. In this thesis work the effect of the variation in three parameters on the weld bead in Tandem-GMA welding method is studied. Theses three parameters are the wire feed rate in the slave wire, the wire feed rate in the master wire and the voltage difference in both the wires. The results are then compared to study the behaviour of the weld bead with the change in these parameters.