Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Incorporating jurisdiction issues into regional carbon accounts under production and consumption accounting principles

Despite increased public interest, policymakers have been slow to enact targets based on limiting emissions under full consumption accounting measures (such as carbon footprints). This paper argues that this may be due to the fact that policymakers in one jurisdiction do not have control over production technologies used in other jurisdictions. The paper uses a regional input-output framework and data derived on carbon dioxide emissions by industry (and households) to examine regional accountability for emissions generation. In doing so, we consider two accounting methods that permit greater accountability of regional private and public (household and government) final consumption as the main driver of regional emissions generation, while retaining focus on the local production technology and consumption decisions that fall under the jurisdiction of regional policymakers. We propose that these methods permit an attribution of emissions generation that is likely to be of more use to regional policymakers than a full global footprint analysis.

Innovative method for carbon dioxide determination in human postmortem cardiac gas samples using headspace-gas chromatography-mass spectrometry and stable labeled isotope as internal standard.

A novel approach to measure carbon dioxide (CO2) in gaseous samples, based on a precise and accurate quantification by (13)CO2 internal standard generated in situ is presented. The main goal of this study was to provide an innovative headspace-gas chromatography-mass spectrometry (HS-GC-MS) method applicable in the routine determination of CO2. The main drawback of the GC methods discussed in the literature for CO2 measurement is the lack of a specific internal standard necessary to perform quantification. CO2 measurement is still quantified by external calibration without taking into account analytical problems which can often occur considering gaseous samples. To avoid the manipulation of a stable isotope-labeled gas, we have chosen to generate in situ an internal labeled standard gas ((13)CO2) on the basis of the stoichiometric formation of CO2 by the reaction of hydrochloric acid (HCl) with sodium hydrogen carbonate (NaH(13)CO3). This method allows a precise measurement of CO2 concentration and was validated on various human postmortem gas samples in order to study its efficiency.

Local consumption and territorial based accounting for CO2 Emissions

We examine the complications involved in attributing emissions at a sub-regional or local level. Speci cally, we look at how functional specialisation embedded within the metropolitan area can, via trade between sub-regions, create intra-metropolitan emissions interdependencies; and how this complicates environmental policy implementation in an analogous manner to international trade at the national level. For this purpose we use a 3-region emissions extended input-output model of the Glasgow metropolitan area (2 regions: city and surrounding suburban area) and the rest of Scotland. The model utilises data on commuter flows and household consumption to capture income and consumption flows across sub-regions. This enables a carbon attribution analysis at the sub-regional level, allowing us to shed light on the signi cant emissions interdependencies that can exist within metropolitan areas.

Carbon dioxide in scree slope deposits: A pathway from atmosphere to pedogenic carbonate

A continuum of carbon, from atmospheric CO2 to secondary calcium carbonate, has been studied in a soil associ- ated with scree slope deposits in the Jura Mountains of Switzerland. This approach is based on former studies conducted in other environments. This C continuum includes atmospheric CO2, soil organic matter (SOM), soil CO2, dissolved inorganic carbon (DIC) in soil solutions, and secondary pedogenic carbonate. Soil parameters (pCO2, temperature, pH, Cmin and Corg contents), soil solution chemistry, and isotopic compositions of soil CO2, DIC, carbonate and soil organic matter (δ13CCO2, δ13CDIC, δ13Ccar and δ13CSOM values) have been monitored at different depths (from 20 to 140 cm) over one year. Results demonstrated that the carbon source in secondary carbonate (mainly needle fiber calcite) is related to the dissolved inorganic carbon, which is strongly dependent on soil respiration. The heterotrophic respiration, rather than the limestone parent material, seems to control the pedogenic carbon cycle. The correlation of δ13Corg values with Rock-Eval HI and OI indices demonstrates that, in a soil associated to scree slope deposits, the main process responsible for 13C-enrichment in SOM is related to bac- terial oxidative decarboxylation. Finally, precipitation of secondary calcium carbonate is enhanced by changes in soil pCO2 associated to the convective movement of air masses induced by temperature gradients (heat pump effect) in the highly porous scree slope deposits. The exportation of soil C-leachates from systems such as the one studied in this paper could partially explain the "gap in the European carbon budget" reported by recent studies.

RNA-based gene duplication sheds new light on mammalian sex chromosome evolution

ABSTRACT : Gene duplication is a fundamental source of raw material for the origin of genetic novelty. It has been assumed for a long time that DNA-based gene duplication was the only source of new genes. Recently however, RNA-based gene duplication (retroposition) was shown in multiple organisms to contribute significantly to their genetic diversity. This mechanism produces intronless gene copies (retrocopies) that are inserted in random genomic position, independent of the position of the parental source genes. In human, mouse and fruit fly, it was demonstrated that the X-linked genes spawned an excess of functional retroposed gene copies (retrogenes). In human and mouse, the X chromosome also recruited an excess of retrogenes. Here we further characterized these interesting biases related to the X chromosome in mammals. Firstly, we have confirmed presence of the aforementioned biases in dog and opossum genome. Then based on the expression profile of retrogenes during various spermatogenetic stages, we have provided solid evidence that meiotic sex chromosome inactivation (MSCI) is responsible for an excess of retrogenes stemming from the X chromosome. Moreover, we showed that the X-linked genes started to export an excess of retrogenes just after the split of eutherian and marsupial mammalian lineages. This suggests that MSCI has originated around this time as well. More fundamentally, as MSCI reflects the spread of recombination barrier between the X and Y chromosomes during their evolution, our observation allowed us to re-estimate the age of mammalian sex chromosomes. Previous estimates suggested that they emerged in the common ancestor of all mammals (before the split of monotreme lineage); whereas, here we showed that they originated around the split of marsupial and eutherian lineages, after the divergence of monotremes. Thus, the therian (marsupial and eutherian) sex chromosomes are younger than previously thought. Thereafter, we have characterized the bias related to the recruitment of genes to the X chromosome. Sexually antagonistic forces are most likely driving this pattern. Using our limited retrogenes expression data, it is difficult to determine the exact nature of these forces but some conclusions have been made. Lastly, we looked at the history of this biased recruitment: it commenced around the split of marsupial and eutherian lineages (akin to the biased export of genes out of the X). In fact, the sexually antagonistic forces are predicted to appear just around that time as well. Thereby, the history of the recruitment of genes to the X, provides an indirect evidence that these forces are responsible for this bias.

The ue of polysiloxane/polyvinyl alcohol beads as solid phase in IgG anti-Toxocara canis detection using a recombinant antigen

Immunodetection of human IgG anti-Toxocara canis was developed based on ELISA and on the use of polysiloxane/polyvinyl alcohol (POS/PVA) beads. A recombinant antigen was covalently immobilized, via glutaraldehyde, onto this hybrid inorganic-organic composite, which was prepared by the sol-gel technique. Using only 31.2 ng antigen per bead, a peroxidase conjugate dilution of 1:10,000 and a serum dilution of 1:200 were adequate for the establishment of the procedure. This procedure is comparable to that which utilizes the adsorption of the antigen to conventional PVC plates. However, the difference between positive and negative sera mean absorbances was larger for this new glass based assay. In addition to the performance of the POS/PVA bead as a matrix for immunodetection, its easy synthesis and low cost are additional advantages for commercial application.

Carbon isotopic ratio analysis by gas chromatography/combustion/isotope ratio mass spectrometry for the detection of gamma-hydroxybutyric acid (GHB) administration to humans.

Since GHB (gamma-hydroxybutyric acid) is naturally produced in the human body, clinical and forensic toxicologists must be able to discriminate between endogenous levels and a concentration resulting from exposure. To suggest an alternative to the use of interpretative concentration cut-offs, the detection of exogenous GHB in urine specimens was investigated by means of gas chromatography/combustion/isotope ratio mass spectrometry (GC/C/IRMS). GHB was isolated from urinary matrix by successive purification on Oasis MCX and Bond Elute SAX solid-phase extraction (SPE) cartridges prior to high-performance liquid chromatography (HPLC) fractioning using an Atlantis dC18 column eluted with a mixture of formic acid and methanol. Subsequent intramolecular esterification of GHB leading to the formation of gamma-butyrolactone (GBL) was carried out to avoid introduction of additional carbon atoms for carbon isotopic ratio analysis. A precision of 0.3 per thousand was determined using this IRMS method for samples at GHB concentrations of 10 mg/L. The (13)C/(12)C ratios of GHB in samples of subjects exposed to the drug ranged from -32.1 to -42.1 per thousand, whereas the results obtained for samples containing GHB of endogenous origin at concentration levels less than 10 mg/L were in the range -23.5 to -27.0 per thousand. Therefore, these preliminary results show that a possible discrimination between endogenous and exogenous GHB can be made using carbon isotopic ratio analyses.

Carbon isotope excursions and microfacies changes in marine Permian-Triassic boundary sections in Hungary

Several Permian-Triassic boundary sections occur in various structural units within Hungary. These sections represent different facies zones of the western Palaeotethys margin. The Gardony core in the NE part of the Transdanubian Range typically represents the inner ramp, while the Balvany section in the Bukk Mountains of northern Hungary represents an outer ramp setting. The two sections have different patterns for their delta(13)C values. The Balvany section shows a continuous change towards more negative delta(13)C values starting at the first biotic decline, followed by a sharp, quasi-symmetric negative peak at the second decline. The appearance of the delta(13)C peak has no relationship to the lithology and occurs within a shale with low overall carbonate content, indicating that the peak is not related to diagenesis or other secondary influences. Instead, the shift and the peak reflect primary processes related to changes in environmental conditions. The continuous shift in delta(13)C values is most probably related to a decrease in bioproductivity, whereas the sharp peak can be attributed to an addition of C strongly depleted in (13)C to the ocean-atmosphere system. The most plausible model is a massive release of methane-hydrate. The quasi-symmetric pattern suggests a rapid warming-cooling cycle or physical unroofing of sediments through slope-failure and releasing methane-hydrate. The Gidony-1 core shows a continuous negative delta(13)C shift starting below the P-T boundary. However, the detailed analyses revealed a sharp delta(13)C peak in the boundary interval, just below the major biotic decline, although its magnitude doesn't reach that observed in the Balvany section. Based on careful textural examination and high-resolution stable isotope microanalyses we suggest that the suppression of the delta(13)C peak that is common in the oolitic boundary sections is due to combined effects of condensed sedimentation, sediment reworking and erosion, as well as perhaps diagenesis. (c) 2005 Elsevier B.V All rights reserved.

Homology modeling and metabolism prediction of human carboxylesterase-2 using docking analyses by GriDock: a parallelized tool based on AutoDock 4.0.

Metabolic problems lead to numerous failures during clinical trials, and much effort is now devoted to developing in silico models predicting metabolic stability and metabolites. Such models are well known for cytochromes P450 and some transferases, whereas less has been done to predict the activity of human hydrolases. The present study was undertaken to develop a computational approach able to predict the hydrolysis of novel esters by human carboxylesterase hCES2. The study involved first a homology modeling of the hCES2 protein based on the model of hCES1 since the two proteins share a high degree of homology (congruent with 73%). A set of 40 known substrates of hCES2 was taken from the literature; the ligands were docked in both their neutral and ionized forms using GriDock, a parallel tool based on the AutoDock4.0 engine which can perform efficient and easy virtual screening analyses of large molecular databases exploiting multi-core architectures. Useful statistical models (e.g., r (2) = 0.91 for substrates in their unprotonated state) were calculated by correlating experimental pK(m) values with distance between the carbon atom of the substrate's ester group and the hydroxy function of Ser228. Additional parameters in the equations accounted for hydrophobic and electrostatic interactions between substrates and contributing residues. The negatively charged residues in the hCES2 cavity explained the preference of the enzyme for neutral substrates and, more generally, suggested that ligands which interact too strongly by ionic bonds (e.g., ACE inhibitors) cannot be good CES2 substrates because they are trapped in the cavity in unproductive modes and behave as inhibitors. The effects of protonation on substrate recognition and the contrasting behavior of substrates and products were finally investigated by MD simulations of some CES2 complexes.

Middle and Late Jurassic carbon stable-isotope stratigraphy and radiolarite sedimentation of the Umbria-Marche basin (Central Italy)

A continuous carbon isotope curve from Middle-Upper Jurassic pelagic carbonate rocks was acquired from two sections in the southern part of the Umbria-Marche Apennines in central Italy. At the Colle Bertone section (Terni) and the Terminilletto section (Rieti), the Upper Toarcian to Bajocian Calcari e Marne a Posidonia Formation and the Aalenian to Kimmeridgian Calcari e Marne a Posidonia and Calcari Diasprigni formations were sampled, respectively. Biostratigraphy in both sections is based on rich assemblages of calcareous nannofossils and radiolarians, as well as some ammonites found in the upper Toarcian-Bajocian interval. Both sections revealed a relative minimum of delta(13)C(PDB) close to + 2 parts per thousand in the Aalenian and a maximum around 3.5 parts per thousand in early Bajocian, associated with an increase in visible chert. In basinal sections in Umbria-Marche, this interval includes the very cherry base of the Calcari Diasprigni Formation (e.g. at Valdorbia) or the chert-rich uppermost portion of the Calcari a Posidonia (e.g at Bosso). In the Terminilletto section, the Bajocian-early Barthonian interval shows a gradual decrease in delta(13)C(PDB) values and a low around 2.3 parts per thousand. This part of the section is characterised by more than 40 m of almost chart-free limestones and correlates with a recurrence of limestone-rich facies in basinal sections at Valdorbia. A double peak with values of delta(13)C(PDB) around + 3 parts per thousand was observed in the Callovian and Oxfordian, constrained by well preserved radiolarian faunas. The maxima lie in the Callovian and the middle Oxfordian, and the minimum between the two peaks should be near the Callovian/Oxfordian boundary. In the Terminilletto section, visible chert increases together with delta(13)C(PDB) values from the middle Bathonian and reaches peak values in the Callovian-Oxfordian. In basinal sections in Umbria-Marche, a sharp increase in visible chert is observed at this level within the Calcari Diasprigni. A drop of delta(13)C values towards + 2 parts per thousand occurs in the Kimmeridgian and coincides with a decrease of visible chert in outcrop. The observed delta(13)C positive anomalies during the early Bajocian and the Callovian-Oxfordian may record changes in global climate towards warmer, more humid periods characterised by increased nutrient mobilisation and increased carbon burial. High biosiliceous (radiolarians, siliceous sponges) productivity and preservation appear to coincide with the delta(13)C positive anomalies, when the production of platform carbonates was subdued and ceased in many areas, with a drastic reduction of periplatform ooze input in many Tethyan basins. The carbon and silica cycles appear to be linked through global warming and increased continental weathering. Hydrothermal events related to extensive rifting and/or accelerated oceanic spreading may be the endogenic driving force that created a perturbation of the exogenic system (excess CO2 into the atmosphere and greenhouse conditions) reflected by the positive delta(13)C shifts and biosiliceous episodes.

Comparison of two PCR methods for detection of Leptospira interrogans in formalin-fixed and paraffin-embedded tissues

In this study we compared two polymerase chain reaction (PCR) methods using either 16S ribosomal RNA (rRNA) or 23S rRNA gene primers for the detection of different Leptospira interrogans serovars. The performance of these two methods was assessed using DNA extracted from bovine tissues previously inoculated with several bacterial suspensions. PCR was performed on the same tissues before and after the formalin-fixed, paraffin-embedding procedure (FFPE tissues). The 23S rDNA PCR detected all fresh and FFPE positive tissues while the 16S rDNA-based protocol detected primarily the positive fresh tissues. Both methods are specific for pathogenic L. interrogans. The 23S-based PCR method successfully detected Leptospira in four dubious cases of human leptospirosis from archival tissue specimens and one leptospirosis-positive canine specimen. A sensitive method for leptospirosis identification in FFPE tissues would be a useful tool to screen histological specimen archives and gain a better assessment of human leptospirosis prevalence, especially in tropical countries, where large outbreaks can occur following the rainy season.

The antioxidant effect of β-caryophyllene protects rat liver from carbon tetrachloride-induced fibrosis by inhibiting hepatic stellate cell activation.

Plant-based whole foods provide thousands of bioactive metabolites to the human diet that reduce the risk of developing chronic diseases. β-Caryophyllene (CAR) is a common constituent of the essential oil of numerous plants, vegetables, fruits and medicinal herbs, and has been used as a flavouring agent since the 1930 s. Here, we report the antioxidant activity of CAR, its protective effect on liver fibrosis and its inhibitory capacity on hepatic stellate cell (HSC) activation. CAR was tested for the inhibition of lipid peroxidation and as a free radical scavenger. CAR had higher inhibitory capacity on lipid peroxidation than probucol, α-humulene and α-tocopherol. Also, CAR showed high scavenging activities against hydroxyl radical and superoxide anion. The activity of 5-lipoxygenase, an enzyme that actively participates in fibrogenesis, was significantly inhibited by CAR. Carbon tetrachloride-treated rats received CAR at 2, 20 and 200 mg/kg. CAR significantly improved liver structure, and reduced fibrosis and the expression of Col1a1, Tgfb1 and Timp1 genes. Oxidative stress was used to establish a model of HSC activation with overproduction of extracellular matrix proteins. CAR (1 and 10 μm) increased cell viability and significantly reduced the expression of fibrotic marker genes. CAR, a sesquiterpene present in numerous plants and foods, is as a natural antioxidant that reduces carbon tetrachloride-mediated liver fibrosis and inhibits hepatic cell activation.

Validation and performance comparison of two carbon isotope ratio methods to control the misuse of androgens in humans.

Carbon isotope ratio of androgens in urine specimens is routinely determined to exclude an abuse of testosterone or testosterone prohormones by athletes. Increasing application of gas chromatography/combustion/isotope ratio mass spectrometry (GC/C/IRMS) in the last years for target and systematic investigations on samples has resulted in the demand for rapid sample throughput as well as high selectivity in the extraction process particularly in the case of conspicuous samples. For that purpose, we present herein the complimentary use of an SPE-based assay and an HPLC fractionation method as a two-stage strategy for the isolation of testosterone metabolites and endogenous reference compounds prior to GC/C/IRMS analyses. Assays validation demonstrated acceptable performance in terms of intermediate precision (range: 0.1-0.4 per thousand) and Bland-Altman analyses revealed no significant bias (0.2 per thousand). For further validation of this two-stage analyses strategy, all the specimens (n=124) collected during a major sport event were processed.

MHC class II/ESO tetramer-based generation of in vitro primed anti-tumor T-helper lines for adoptive cell therapy of cancer.

Generation of tumor-antigen specific CD4(+) T-helper (T(H)) lines through in vitro priming is of interest for adoptive cell therapy of cancer, but the development of this approach has been limited by the lack of appropriate tools to identify and isolate low frequency tumor antigen-specific CD4(+) T cells. Here, we have used recently developed MHC class II/peptide tetramers incorporating an immunodominant peptide from NY-ESO-1 (ESO), a tumor antigen frequently expressed in different human solid and hematologic cancers, to implement an in vitro priming platform allowing the generation of ESO-specific T(H) lines. We isolated phenotypically defined CD4(+) T-cell subpopulations from circulating lymphocytes of DR52b(+) healthy donors by flow cytometry cell sorting and stimulated them in vitro with peptide ESO(119-143), autologous APC and IL-2. We assessed the frequency of ESO-specific cells in the cultures by staining with DR52b/ESO(119-143) tetramers (ESO-tetramers) and TCR repertoire of ESO-tetramer(+) cells by co-staining with TCR variable β chain (BV) specific antibodies. We isolated ESO-tetramer(+) cells by flow cytometry cell sorting and expanded them with PHA, APC and IL-2 to generate ESO-specific T(H) lines. We characterized the lines for antigen recognition, by stimulation with ESO peptide or recombinant protein, cytokine production, by intracellular staining using specific antibodies, and alloreactivity, by stimulation with allo-APC. Using this approach, we could consistently generate ESO-tetramer(+) T(H) lines from conventional CD4(+)CD25(-) naïve and central memory populations, but not from effector memory populations or CD4(+)CD25(+) Treg. In vitro primed T(H) lines recognized ESO with affinities comparable to ESO-tetramer(+) cells from patients immunized with an ESO vaccine and used a similar TCR repertoire. In this study, using MHC class II/ESO tetramers, we have implemented an in vitro priming platform allowing the generation of ESO-monospecific polyclonal T(H) lines from non-immune individuals. This is an approach that is of potential interest for adoptive cell therapy of patients bearing ESO-expressing cancers.