SOX2 is an amplified lineage-survival oncogene in lung and esophageal squamous cell carcinomas

Lineage-survival oncogenes are activated by somatic DNA alterations in cancers arising from the cell lineages in which these genes play a role in normal development(1,2). Here we show that a peak of genomic amplification on chromosome 3q26.33 found in squamous cell carcinomas (SCCs) of the lung and esophagus contains the transcription factor gene SOX2, which is mutated in hereditary human esophageal malformations(3), is necessary for normal esophageal squamous development(4), promotes differentiation and proliferation of basal tracheal cells(5) and cooperates in induction of pluripotent stem cells(6-8). SOX2 expression is required for proliferation and anchorage-independent growth of lung and esophageal cell lines, as shown by RNA interference experiments. Furthermore, ectopic expression of SOX2 here cooperated with FOXE1 or FGFR2 to transform immortalized tracheobronchial epithelial cells. SOX2-driven tumors show expression of markers of both squamous differentiation and pluripotency. These characteristics identify SOX2 as a lineage-survival oncogene in lung and esophageal SCC.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

IRRIGATION OF UROPIGIAN GLAND OF DOMESTIC FOWLS (Gallus gallus domesticus) OF COBB LINEAGE

In this study was evaluated the vascular system of uropigian gland in 34 fowls (Gallus gallus domesticus), of Cobb lineage. The material was donated by the firm Globo Aves, located in Uberlandia - MG. Was specially studied the origin of collaterals that are aimed to that gland. Animals had them arterial contingents injected with a colored solution of neoprene latex, by polyethylene canulas through the right isquiatic artery. Then was injected an aqueous solution of formol 10%, in subcutaneous and intracavity spaces, which made possible the material fixation. Finally was proceeded the individually dissection of circumscribed region of uropigian gland. Opportunely was used a monocular lens in observation of vascular profile and was prepared schematics models representing the irrigation of each fowl. Uropigian gland showed itself as irrigated by mediana caudal artery in all (100%) animals, through its intersegmentaries branches, which emit right and left lateral glandular branchs and, right and left medials. Was counted the sub-branches, and was verified bigger emission in the right by the M. D. 1,1 and 1,2; and in the left by the M. E. 1,1 and 1,2.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

neptune, a Kruppel-like transcription factor that participates in primitive erythropoiesis in Xenopus

The specification of the erythroid lineage from hematopoietic stem cells requires the expression and activity of lineage-specific transcription factors. One transcription factor family that has several members involved in hematopoiesis is the Kruppel-like factor (KLF) family [1]. For example, erythroid KLF (EKLF) regulates beta -globin expression during erythroid differentiation [2-6]. KLFs share a highly conserved zinc finger-based DNA binding domain (DBD) that mediates binding to CACCC-box and GC-rich sites, both of which are frequently found in the promoters of hematopoietic genes. Here, we identified a novel Xenopus KLF gene, neptune, which is highly expressed in the ventral blood island (VBI), cranial ganglia, and hatching and cement glands. neptune expression is induced in response to components of the BMP-4 signaling pathway in injected animal cap explants. Similar to its family member, EKLF, Neptune can bind CACCC-box and GC-rich DNA elements. We show that Neptune cooperates with the hematopoietic transcription factor XGATA-1 to enhance globin induction in animal cap explants. A fusion protein comprised of Neptune's DBD and the Drosophila engrailed repressor domain suppresses the induction of globin in ventral marginal zones and in animal caps. These studies demonstrate that Neptune is a positive regulator of primitive erythropoiesis in Xenopus.

Model specification tests in nonparametric stochastic regression models

In this paper, we consider testing for additivity in a class of nonparametric stochastic regression models. Two test statistics are constructed and their asymptotic distributions are established. We also conduct a small sample study for one of the test statistics through a simulated example. (C) 2002 Elsevier Science (USA).

Investigation of candidate division TM7, a recently recognized major lineage of the domain bacteria with no known pure-culture representatives

A molecular approach was used to investigate a recently described candidate division of the domain Bacteria, TM7, currently known only from environmental 16S ribosomal DNA sequence data, A number of TM7-specific primers and probes were designed and evaluated. Fluorescence in situ hybridization (FISH) of a laboratory scale bioreactor using two independent TM7-specific probes revealed a conspicuous sheathed-filament morphotype, fortuitously enriched in the reactor. Morphologically, the filament matched the description of the Eikelboom morphotype 0041-0675 widely associated with bulking problems in activated-sludge wastewater treatment systems. Transmission electron microscopy of the bioreactor sludge demonstrated that the sheathed-filament morphotype had a typical gram-positive cell envelope ultrastructure. Therefore, TM7 is only the third bacterial lineage recognized to have gram-positive representatives. TM7-specific FISH analysis of two full-scale wastewater treatment plant sludges, including the one used to seed the laboratory scale reactor, indicated the presence of a number of morphotypes, including sheathed filaments. TM7-specific PCR clone libraries prepared from the two full-scale sludges yielded 23 novel TM7 sequences. Three subdivisions could be defined based on these data and publicly available sequences. Environmental sequence data and TM7-specific FISH analysis indicate that members of the TM7 division are present in a variety of terrestrial, aquatic, and clinical habitats. A highly atypical base substitution (Escherichia coli position 912; C to U) for bacterial 16S rRNAs was present in almost all TM7 sequences, suggesting that TM7 bacteria, like Archaea, may be streptomycin resistant at the ribosome level.

On the specification of a component repository

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment

Gene expression regulation and lineage evolution: the North and South tale of the hybrid polyploid Squalius alburnoides complex

The evolution of hybrid polyploid vertebrates, their viability and their perpetuation over evolutionary time have always been questions of great interest. However, little is known about the impact of hybridization and polyploidization on the regulatory networks that guarantee the appropriate quantitative and qualitative gene expression programme. The Squalius alburnoides complex of hybrid fish is an attractive system to address these questions, as it includes a wide variety of diploid and polyploid forms, and intricate systems of genetic exchange. Through the study of genome-specific allele expression of seven housekeeping and tissue-specific genes, we found that a gene copy silencing mechanism of dosage compensation exists throughout the distribution range of the complex. Here we show that the allele-specific patterns of silencing vary within the complex, according to the geographical origin and the type of genome involved in the hybridization process. In southern populations, triploids of S. alburnoides show an overall tendency for silencing the allele from the minority genome, while northern population polyploids exhibit preferential biallelic gene expression patterns, irrespective of genomic composition. The present findings further suggest that gene copy silencing and variable expression of specific allele combinations may be important processes in vertebrate polyploid evolution.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Model driven development implementation of a control systems user interfaces specification tool

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

A contribution to the e-framework: a specification of a programming exercise evaluation service

This work is a contribution to the e-Framework, arguably the most prominent e-learning framework today, and consists of the definition of a service for the automatic evaluation of programming exercises. This evaluation domain differs from trivial evaluations modelled by languages such as the IMS Question & Test Interoperability (QTI) specification. Complex evaluation domains justify the development of specialized evaluators that participate in several business processes. These business processes can combine other type of systems such as Programming Contest Management Systems, Learning Management Systems, Integrated Development Environments and Learning Object Repositories where programming exercises are stored as Learning Objects. This contribution describes the implementation approaches used, more precisely, behaviours & requests, use & interactions, applicable standards, interface definition and usage scenarios.