A bio-inspired computational model for motion detection

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

Systems biology approaches for the design of novel Saccharomyces cerevisiae winemaking strains for enhanced flavour compounds synthesis

Tese de Doutoramento em Biologia Ambiental e Molecular

Characterization of an in vitro fed-batch model to obtain cells released from S. epidermidis biofilms

Both dynamic and fed-batch systems have been used for the study of biofilms. Dynamic systems, whose hallmark is the presence of continuous flow, have been considered the most appropriate for the study of the last stage of the biofilm lifecycle: biofilm disassembly. However, fed-batch is still the most used system in the biofilm research field. Hence, we have used a fed-batch system to collect cells released from Staphylococcus epidermidis biofilms, one of the most important etiological agents of medical device-associated biofilm infections. Herein, we showed that using this model it was possible to collect cells released from biofilms formed by 12 different S. epidermidis clinical and commensal isolates. In addition, our data indicated that biofilm disassembly occurred by both passive and active mechanisms, although the last occurred to a lesser extent. Moreover, it was observed that S. epidermidis biofilm-released cells presented higher tolerance to vancomycin and tetracycline, as well as a particular gene expression phenotype when compared with either biofilm or planktonic cells. Using this model, biofilm-released cells phenotype and their interaction with the host immune system could be studied in more detail, which could help providing significant insights into the pathophysiology of biofilm-related infections.

Sefficiency (sustainable efficiency) of water–energy–food entangled systems

Supplemental data for this article can be accessed at http://dx.doi.org/10.1080/07900627.2015.1070091. It includes an easy-to-use spreadsheet that calculates the efficiencies used in this paper, that is Sefficiency with energy considerations.

SOFHIA: a CAD environment to design digital control systems

"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"

In-line rheo-optical microstructural characterization of complex polymer systems

Tese de Doutoramento em Ciência e Engenharia de Polímeros e Compósitos.

On modified simple reacting spheres kinetic model for chemically reactive gases

Versão dos autores para esta publicação.

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.

A Model of Video Traffic Transmission in IP Networks

Telecommunications and network technology is now the driving force that ensures continued progress of world civilization. Design of new and expansion of existing network infrastructures requires improving the quality of service(QoS). Modeling probabilistic and time characteristics of telecommunication systems is an integral part of modern algorithms of administration of quality of service. At present, for the assessment of quality parameters except simulation models analytical models in the form of systems and queuing networks are widely used. Because of the limited mathematical tools of models of these classes the corresponding parameter estimation of parameters of quality of service are inadequate by definition. Especially concerning the models of telecommunication systems with packet transmission of multimedia real-time traffic.

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.

Knowledge, networks of cities and growth in regional urban systems

The objective of this paper is to measure the impact of different kinds of knowledge and external economies on urban growth in an intraregional context. The main hypothesis is that knowledge leads to growth, and that this knowledge is related to the existence of agglomeration and network externalities in cities. We develop a three-tage methodology: first, we measure the amount and growth of knowledge in cities using the OCDE (2003) classification and employment data; second, we identify the spatial structure of the area of analysis (networks of cities); third, we combine the Glaeser - Henderson - De Lucio models with spatial econometric specifications in order to contrast the existence of spatially static (agglomeration) and spatially dynamic (network) external economies in an urban growth model. Results suggest that higher growth rates are associated to higher levels of technology and knowledge. The growth of the different kinds of knowledge is related to local and spatial factors (agglomeration and network externalities) and each knowledge intensity shows a particular response to these factors. These results have implications for policy design, since we can forecast and intervene on local knowledge development paths.

Model-based diagnosis system: application to constructed wetlands

Report for the scientific sojourn carried out at the Model-based Systems and Qualitative Reasoning Group (Technical University of Munich), from September until December 2005. Constructed wetlands (CWs), or modified natural wetlands, are used all over the world as wastewater treatment systems for small communities because they can provide high treatment efficiency with low energy consumption and low construction, operation and maintenance costs. Their treatment process is very complex because it includes physical, chemical and biological mechanisms like microorganism oxidation, microorganism reduction, filtration, sedimentation and chemical precipitation. Besides, these processes can be influenced by different factors. In order to guarantee the performance of CWs, an operation and maintenance program must be defined for each Wastewater Treatment Plant (WWTP). The main objective of this project is to provide a computer support to the definition of the most appropriate operation and maintenance protocols to guarantee the correct performance of CWs. To reach them, the definition of models which represent the knowledge about CW has been proposed: components involved in the sanitation process, relation among these units and processes to remove pollutants. Horizontal Subsurface Flow CWs are chosen as a case study and the filtration process is selected as first modelling-process application. However, the goal is to represent the process knowledge in such a way that it can be reused for other types of WWTP.

Baysian Model Averaging, Learning and Model Selection

Agents have two forecasting models, one consistent with the unique rational expectations equilibrium, another that assumes a time-varying parameter structure. When agents use Bayesian updating to choose between models in a self-referential system, we find that learning dynamics lead to selection of one of the two models. However, there are parameter regions for which the non-rational forecasting model is selected in the long-run. A key structural parameter governing outcomes measures the degree of expectations feedback in Muth's model of price determination.

Point-occurrence self-similarity in crackling-noise systems and in other complex systems

It has been recently found that a number of systems displaying crackling noise also show a remarkable behavior regarding the temporal occurrence of successive events versus their size: a scaling law for the probability distributions of waiting times as a function of a minimum size is fulfilled, signaling the existence on those systems of self-similarity in time-size. This property is also present in some non-crackling systems. Here, the uncommon character of the scaling law is illustrated with simple marked renewal processes, built by definition with no correlations. Whereas processes with a finite mean waiting time do not fulfill a scaling law in general and tend towards a Poisson process in the limit of very high sizes, processes without a finite mean tend to another class of distributions, characterized by double power-law waiting-time densities. This is somehow reminiscent of the generalized central limit theorem. A model with short-range correlations is not able to escape from the attraction of those limit distributions. A discussion on open problems in the modeling of these properties is provided.

The murine model of infection with Leishmania major and its importance for the deciphering of mechanisms underlying differences in Th cell differentiation in mice from different genetic backgrounds.

Mice from the majority of inbred strains are resistant to infection by Leishmania major, an obligate intracellular protozoan parasite of macrophages in the mammalian host. In contrast, mice from BALB strains are unable to control infection and develop progressive disease. In this model of infection, genetically determined resistance and susceptibility have been clearly shown to result from the appearance of parasite-specific CD4+ T helper 1 or T helper 2 cells, respectively. This murine model of infection is considered as one of the best experimental systems for the study of the mechanisms operating in vivo at the initiation of polarised T helper 1 and T helper 2 cell maturation. Among the several factors influencing Th cell development, cytokines themselves critically regulate this process. The results accumulated during the last years have clarified some aspects of the role played by cytokines in Th cell differentiation. They are providing critical information that may ultimately lead to the rational devise of means by which to tailor immune responses to the effector functions that are most efficient in preventing and/or controlling infections with pathogens.