A cost study of common surface finish systems for steel structures

This paper presents part of a study aimed at finding a suitable, yet cost-effective, surface finish for a steel structure subject to the car washing environment and corrosive chemicals. The initial, life cycle and average equivalent annual (AEAC) costs for surface finishing methods were calculated for a steel structure using the LCCC algorithm developed by American Galvanizers Association (AGA). The cost study consisted of 45 common surface finish systems including: hot-dip galvanization (HDG), metallization, acrylic, alkyd and epoxy as well as duplex coatings such as epoxy zinc and inorganic zinc (IOZ). The results show that initial, life cycle and AEAC costs for hot dip galvanization are the lowest among all the other methods, followed by coal tar epoxy painting. The annual average cost of HDG for this structure was estimated about €0.22/m2, while the other cost-effective alternatives were: IOZ, polyurea, epoxy waterborne and IOZ/epoxy duplex coating.

Development of advanced cell/tissue culture systems, based on enhanced polymeric scaffolds and sophisticated bioreactors, for tissue engineering applications

Programa Doutoral em Engenharia Biomédica

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Sources of Competitiveness in Tourist Local Systems

At the end of the XIX Century, Marshall described the existence of some concentrations of small and medium enterprises specialised in a specific production activity in certain districts of some industrial English cities. Starting from his contribute, Italian scholars have paid particular attention to this local system of production coined by Marshall under the term industrial district. In other countries, different but related territorial models have played a central role as the milieu or the geographical industrial clusters. Recently, these models have been extended to non-industrial fields like culture, rural activities and tourism. In this text, we explore the extension of these territorial models to the study of tourist activities in Italy, using a framework that can be easily applied to other countries or regions. The paper is divided in five sections. In the first one, we propose a review of the territorial models applied to tourism industry. In the second part, we construct a tourist filiere and we apply a methodology for the identification of local systems through GIS tools. Thus, taxonomy of the Italian Tourist Local Systems is presented. In the third part, we discuss about the sources of competitiveness of these Tourist Local Systems. In the forth section, we test a spatial econometrics model regarding different kinds of Italian Tourist Local Systems (rural systems, arts cities, tourist districts) in order to measure external economies and territorial networks. Finally, conclusions and policy implications are exposed.

Numerical simulation of combined heat transfer phenomena (conduction, convection, and radiation). Application to he optimisation of thermal systems

Thermal systems interchanging heat and mass by conduction, convection, radiation (solar and thermal ) occur in many engineering applications like energy storage by solar collectors, window glazing in buildings, refrigeration of plastic moulds, air handling units etc. Often these thermal systems are composed of various elements for example a building with wall, windows, rooms, etc. It would be of particular interest to have a modular thermal system which is formed by connecting different modules for the elements, flexibility to use and change models for individual elements, add or remove elements without changing the entire code. A numerical approach to handle the heat transfer and fluid flow in such systems helps in saving the full scale experiment time, cost and also aids optimisation of parameters of the system. In subsequent sections are presented a short summary of the work done until now on the orientation of the thesis in the field of numerical methods for heat transfer and fluid flow applications, the work in process and the future work.

Molecular Epidemiologic Typing Systems of Bacterial Pathogens: Current Issues and Perpectives

The epidemiologic typing of bacterial pathogens can be applied to answer a number of different questions: in case of outbreak, what is the extent and mode of transmission of epidemic clone(s )? In case of long-term surveillance, what is the prevalence over time and the geographic spread of epidemic and endemic clones in the population? A number of molecular typing methods can be used to classify bacteria based on genomic diversity into groups of closely-related isolates (presumed to arise from a common ancestor in the same chain of transmission) and divergent, epidemiologically-unrelated isolates (arising from independent sources of infection). Ribotyping, IS-RFLP fingerprinting, macrorestriction analysis of chromosomal DNA and PCR-fingerprinting using arbitrary sequence or repeat element primers are useful methods for outbreak investigations and regional surveillance. Library typing systems based on multilocus sequence-based analysis and strain-specific probe hybridization schemes are in development for the international surveillance of major pathogens like Mycobacterium tuberculosis. Accurate epidemiological interpretation of data obtained with molecular typing systems still requires additional research on the evolution rate of polymorphic loci in bacterial pathogens.

Thogoto virus infection induces sustained type I interferon responses that depend on RIG-I-like helicase signaling of conventional dendritic cells.

Type I interferon (IFN-α/β) induction upon viral infection contributes to the early antiviral host defense and ensures survival until the onset of adaptive immunity. Many viral infections lead to an acute, transient IFN expression which peaks a few hours after infection and reverts to initial levels after 24 to 36 h. Robust IFN expression often is conferred by specialized plasmacytoid dendritic cells (pDC) and may depend on positive-feedback amplification via the type I IFN receptor (IFNAR). Here, we show that mice infected with Thogoto virus (THOV), which is an influenza virus-like orthomyxovirus transmitted by ticks, mounted sustained IFN responses that persisted up to 72 h after infection. For this purpose, we used a variant of THOV lacking its IFN-antagonistic protein ML, an elongated version of the matrix (M) protein [THOV(ΔML)]. Of note, large amounts of type I IFN were also found in the serum of mice lacking the IFNAR. Early IFN-α expression seemed to depend on Toll-like receptor (TLR) signaling, whereas prolonged IFN-α responses strictly depended on RIG-I-like helicase (RLH) signaling. Unexpectedly, THOV(ΔML)-infected bone marrow-derived pDC (BM-pDC) produced only moderate IFN levels, whereas myeloid DC (BM-mDC) showed massive IFN induction that was IPS-1-dependent, suggesting that BM-mDC are involved in the massive, sustained IFN production in THOV(ΔML)-infected animals. Thus, our data are compatible with the model that THOV(ΔML) infection is sensed in the acute phase via TLR and RLH systems, whereas at later time points only RLH signaling is responsible for the induction of sustained IFN responses.

Colorectal Cancer Classification and Cell Heterogeneity: A Systems Oncology Approach.

Colorectal cancer is a heterogeneous disease that manifests through diverse clinical scenarios. During many years, our knowledge about the variability of colorectal tumors was limited to the histopathological analysis from which generic classifications associated with different clinical expectations are derived. However, currently we are beginning to understand that under the intense pathological and clinical variability of these tumors there underlies strong genetic and biological heterogeneity. Thus, with the increasing available information of inter-tumor and intra-tumor heterogeneity, the classical pathological approach is being displaced in favor of novel molecular classifications. In the present article, we summarize the most relevant proposals of molecular classifications obtained from the analysis of colorectal tumors using powerful high throughput techniques and devices. We also discuss the role that cancer systems biology may play in the integration and interpretation of the high amount of data generated and the challenges to be addressed in the future development of precision oncology. In addition, we review the current state of implementation of these novel tools in the pathological laboratory and in clinical practice.

Delta-like 4 is the essential, nonredundant ligand for Notch1 during thymic T cell lineage commitment.

Thymic T cell lineage commitment is dependent on Notch1 (N1) receptor-mediated signaling. Although the physiological ligands that interact with N1 expressed on thymic precursors are currently unknown, in vitro culture systems point to Delta-like 1 (DL1) and DL4 as prime candidates. Using DL1- and DL4-lacZ reporter knock-in mice and novel monoclonal antibodies to DL1 and DL4, we show that DL4 is expressed on thymic epithelial cells (TECs), whereas DL1 is not detected. The function of DL4 was further explored in vivo by generating mice in which DL4 could be specifically inactivated in TECs or in hematopoietic progenitors. Although loss of DL4 in hematopoietic progenitors did not perturb thymus development, inactivation of DL4 in TECs led to a complete block in T cell development coupled with the ectopic appearance of immature B cells in the thymus. These immature B cells were phenotypically indistinguishable from those developing in the thymus of conditional N1 mutant mice. Collectively, our results demonstrate that DL4 is the essential and nonredundant N1 ligand responsible for T cell lineage commitment. Moreover, they strongly suggest that N1-expressing thymic progenitors interact with DL4-expressing TECs to suppress B lineage potential and to induce the first steps of intrathymic T cell development.

Role of the cannabinoid system in the effects induced by nicotine on anxiety-like behaviour in mice

Rationale: Acute behavioural effects and motivational responses induced by nicotine can be modulated by the endocannabinoid system supporting the existence of a physiological interaction between these two systems. Objectives: The present study was designed to examine the possible involvement of the cannabinoid system in the anxiolytic- and anxiogenic-like responses induced by nicotine in mice. Methods: Animals were only exposed once to nicotine. The acute administration of low (0.05, sc) or high (0.8 mg/kg, sc) doses of nicotine produced opposite effects in the elevated plus-maze, i.e., anxiolytic- and anxiogenic-like responses, respectively. The effects of the pretreatment with the CB1 cannabinoid receptor antagonist, rimonabant (0.25, 0.5 and 1 mg/kg, ip), and the cannabinoid agonist, 9-tetrahydrocannabinol (0.1 mg/kg, ip), were evaluated on the anxiolytic- and anxiogenic-like responses induced by nicotine. Results: Rimonabant completely abolished nicotine-induced anxiolytic-like effects and increased the anxiogenic-like responses of nicotine, suggesting an involvement of CB1 receptors in these behavioural responses. On the other hand, 9-tetrahydrocannabinol failed to modify nicotine anxiolytic-like responses, but attenuated its anxiogenic-like effects. In addition the association of non-effective doses of 9-tetrahydrocannabinol and nicotine produced clear anxiolytic-like responses. Conclusions: These results demonstrate that the endogenous cannabinoid system is involved in the regulation of nicotine anxiety-like behaviour in mice, and provide new findings to support the use of cannabinoid antagonists in the treatment of tobacco addiction.

Knowledge management for systems biology a general and visually driven framework applied to translational medicine

Background: To enhance our understanding of complex biological systems like diseases we need to put all of the available data into context and use this to detect relations, pattern and rules which allow predictive hypotheses to be defined. Life science has become a data rich science with information about the behaviour of millions of entities like genes, chemical compounds, diseases, cell types and organs, which are organised in many different databases and/or spread throughout the literature. Existing knowledge such as genotype - phenotype relations or signal transduction pathways must be semantically integrated and dynamically organised into structured networks that are connected with clinical and experimental data. Different approaches to this challenge exist but so far none has proven entirely satisfactory. Results: To address this challenge we previously developed a generic knowledge management framework, BioXM™, which allows the dynamic, graphic generation of domain specific knowledge representation models based on specific objects and their relations supporting annotations and ontologies. Here we demonstrate the utility of BioXM for knowledge management in systems biology as part of the EU FP6 BioBridge project on translational approaches to chronic diseases. From clinical and experimental data, text-mining results and public databases we generate a chronic obstructive pulmonary disease (COPD) knowledge base and demonstrate its use by mining specific molecular networks together with integrated clinical and experimental data. Conclusions: We generate the first semantically integrated COPD specific public knowledge base and find that for the integration of clinical and experimental data with pre-existing knowledge the configuration based set-up enabled by BioXM reduced implementation time and effort for the knowledge base compared to similar systems implemented as classical software development projects. The knowledgebase enables the retrieval of sub-networks including protein-protein interaction, pathway, gene - disease and gene - compound data which are used for subsequent data analysis, modelling and simulation. Pre-structured queries and reports enhance usability; establishing their use in everyday clinical settings requires further simplification with a browser based interface which is currently under development.

A comparison of full-rate full-diversity 2x2 space-time codes for WiMAX systems

Multiple-input multiple-output (MIMO) techniques have become an essential part of broadband wireless communications systems. For example, the recently developed IEEE 802.16e specifications for broadband wireless access include three MIMOprofiles employing 2×2 space-time codes (STCs), and two of these MIMO schemes are mandatory on the downlink of Mobile WiMAX systems. One of these has full rate, and the other has full diversity, but neither of them has both of the desired features. The third profile, namely, Matrix C, which is not mandatory, is both a full rate and a full diversity code, but it has a high decoder complexity. Recently, the attention was turned to the decodercomplexity issue and including this in the design criteria, several full-rate STCs were proposed as alternatives to Matrix C. In this paper, we review these different alternatives and compare them to Matrix C in terms of performances and the correspondingreceiver complexities.

Towards robust network based complex systems : from evolutionary cellular automata to biological models

Abstract Sitting between your past and your future doesn't mean you are in the present. Dakota Skye Complex systems science is an interdisciplinary field grouping under the same umbrella dynamical phenomena from social, natural or mathematical sciences. The emergence of a higher order organization or behavior, transcending that expected of the linear addition of the parts, is a key factor shared by all these systems. Most complex systems can be modeled as networks that represent the interactions amongst the system's components. In addition to the actual nature of the part's interactions, the intrinsic topological structure of underlying network is believed to play a crucial role in the remarkable emergent behaviors exhibited by the systems. Moreover, the topology is also a key a factor to explain the extraordinary flexibility and resilience to perturbations when applied to transmission and diffusion phenomena. In this work, we study the effect of different network structures on the performance and on the fault tolerance of systems in two different contexts. In the first part, we study cellular automata, which are a simple paradigm for distributed computation. Cellular automata are made of basic Boolean computational units, the cells; relying on simple rules and information from- the surrounding cells to perform a global task. The limited visibility of the cells can be modeled as a network, where interactions amongst cells are governed by an underlying structure, usually a regular one. In order to increase the performance of cellular automata, we chose to change its topology. We applied computational principles inspired by Darwinian evolution, called evolutionary algorithms, to alter the system's topological structure starting from either a regular or a random one. The outcome is remarkable, as the resulting topologies find themselves sharing properties of both regular and random network, and display similitudes Watts-Strogtz's small-world network found in social systems. Moreover, the performance and tolerance to probabilistic faults of our small-world like cellular automata surpasses that of regular ones. In the second part, we use the context of biological genetic regulatory networks and, in particular, Kauffman's random Boolean networks model. In some ways, this model is close to cellular automata, although is not expected to perform any task. Instead, it simulates the time-evolution of genetic regulation within living organisms under strict conditions. The original model, though very attractive by it's simplicity, suffered from important shortcomings unveiled by the recent advances in genetics and biology. We propose to use these new discoveries to improve the original model. Firstly, we have used artificial topologies believed to be closer to that of gene regulatory networks. We have also studied actual biological organisms, and used parts of their genetic regulatory networks in our models. Secondly, we have addressed the improbable full synchronicity of the event taking place on. Boolean networks and proposed a more biologically plausible cascading scheme. Finally, we tackled the actual Boolean functions of the model, i.e. the specifics of how genes activate according to the activity of upstream genes, and presented a new update function that takes into account the actual promoting and repressing effects of one gene on another. Our improved models demonstrate the expected, biologically sound, behavior of previous GRN model, yet with superior resistance to perturbations. We believe they are one step closer to the biological reality.

Male and female reproductive systems of Stolas conspersa (Germar) (Coleoptera, Chrysomelidae, Cassidinae)

Male and female reproductive systems of Stolas conspersa (Germar) (Coleoptera, Chrysomelidae, Cassidinae). The male and female reproductive systems of Stolas conspersa (Germar, 1824) are described and illustrated for the first time. The male reproductive system shows no difference from the subfamily pattern, which is a tubular well-developed median lobe; "Y", "V" or T-shaped tegmen; reduced pygidium; internal sac membranous and tubular; flagellum generally well developed needle-like structured and gastral spiculum absent. However, the female differs from the pattern proposed for Stolas in two aspects: ovary with 28 ovarioles and a reduced ampulla with indistinct velum.

Optimal generalized quantum measurements for arbitrary spin systems

Positive-operator-valued measurements on a finite number of N identically prepared systems of arbitrary spin J are discussed. Pure states are characterized in terms of Bloch-like vectors restricted by a SU(2J+1) covariant constraint. This representation allows for a simple description of the equations to be fulfilled by optimal measurements. We explicitly find the minimal positive-operator-valued measurement for the N=2 case, a rigorous bound for N=3, and set up the analysis for arbitrary N.