Hybrid systems biology: application to Escherichia coli

Dissertation presented to obtain a Master degree in Biotechnology

Systems biotechnology of baculovirus-producing insect cells

Dissertation presented to obtain the Ph.D degree in Ciências da Engenharia e Tecnologia, especialidade Biotecnologia

First isolation of dengue 3 in Brazil from an imported case

The authors report the isolation of dengue 3 virus for the first time in Brazil. The patient, resident in Limeira-SP, traveled to Nicaragua on May 16th, 1998, where he stayed for two months. Starting on August 14th he had fever, headache, myalgia, arthralgia, retro-orbital pain and diarrhea. He returned to Brazil on August 16th and was hospitalized in the next day. The patient had full recovery and was discharged on August 20th. The virus was isolated in C6/36 cell culture inoculated with serum collected on the 6th day after the onset of the symptoms. The serotype 3 was identified by indirect immunofluorescence assays performed with type-specific monoclonal antibodies. This serotype was further confirmed by polymerase chain reaction analysis. The introduction of a new dengue serotype in a susceptible population is a real threat for the occurrence of severe forms of the disease. The isolation and identification of dengue virus are important in order to monitoring the serotypes circulating in Brazil and to take the measures necessary to prevent and control an epidemic.

Natural antioxidants extraction and their incorporation into model pharmaceutical systems

Dissertation to obtain a Master Degree in Biotechnology

Use of selective medium for Burkholderia cepacia isolation in respiratory samples from cystic fibrosis patients

Burkholderia cepacia colonizes cystic fibrosis (CF) patients. We evaluated the impact of the use of a selective medium in the rate of B. cepacia recovery from respiratory samples of CF patients. During a 6-month period, respiratory samples were collected from 106 CF patients and cultivated on selective media including a B. cepacia selective medium. Confirmation of the identity of B. cepacia isolates was carried out by species specific PCR and determination of genomovar status performed by a sequential PCR approach. Results of B. cepacia isolation during this period were compared to the preceding two years, when the sample processing was identical except for the lack of the B. cepacia selective medium. B. cepacia was isolated in 11/257 (4.2%) of the samples using the selective medium, in contrast with the preceding two years, when it was isolated in 6/1029 samples (0.58%), p < 0.0001. Identity of all 11 isolates was confirmed by PCR and genomovar determination was accomplished in all but one isolate. These results suggest that the use of a selective medium increases recovery rate of B. cepacia from respiratory samples.

Isolation of Salmonella enterica and serologic reactivity to Leptospira interrogans in opossums (Didelphis virginiana) from Yucatán, México

The presence of Salmonella enterica and serologic evidence of infection by Leptospira interrogans, were detected in the opossum Didelphis virginiana in a semi-urban locality of the Yucatán State, México. Ninety-one opossums were captured during the period April 1996 and May 1998. From a total of 17 feces samples, four Salmonella enterica subsp. enterica serotypes (Sandiego, Newport, Anatum, and Minnesota), and one Salmonella enterica subsp. arizonae serovar O44:Z4,Z23:- were isolated. Some opossums presented mixed infections. From 81 sera samples, four (4.9%) were positive to antibodies to Leptospira serovars pomona and wolfii. Both animals infected with Salmonella enterica and those serologically positive to Leptospira interrogans were captured in peridomestic habitat. Opossums infected with Salmonella enterica, were captured in dry season, and those seropositive to Leptospira interrogans during the rainy season. The implications of infection and reactivity of these zoonotic pathogens in D. virginiana in the Yucatan state are briefly discussed.

Cantor exchange systems and renormalization

We prove a one-to-one correspondence between (i) C1+ conjugacy classes of C1+H Cantor exchange systems that are C1+H fixed points of renormalization and (ii) C1+ conjugacy classes of C1+H diffeomorphisms f with a codimension 1 hyperbolic attractor Lambda that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Lambda. However, we prove that there is no C1+alpha Cantor exchange system, with bounded geometry, that is a C1+alpha fixed point of renormalization with regularity alpha greater than the Hausdorff dimension of its invariant Cantor set.

Arc exchange systems and renormalization

We exhibit the construction of stable arc exchange systems from the stable laminations of hyperbolic diffeomorphisms. We prove a one-to-one correspondence between (i) Lipshitz conjugacy classes of C(1+H) stable arc exchange systems that are C(1+H) fixed points of renormalization and (ii) Lipshitz conjugacy classes of C(1+H) diffeomorphisms f with hyperbolic basic sets Lambda that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Lambda. Let HD(s)(Lambda) and HD(u)(Lambda) be, respectively, the Hausdorff dimension of the stable and unstable leaves intersected with the hyperbolic basic set L. If HD(u)(Lambda) = 1, then the Lipschitz conjugacy is, in fact, a C(1+H) conjugacy in (i) and (ii). We prove that if the stable arc exchange system is a C(1+HDs+alpha) fixed point of renormalization with bounded geometry, then the stable arc exchange system is smooth conjugate to an affine stable arc exchange system.

Intra-Task Device Scheduling for Real-Time Embedded Systems

An ever increasing need for extra functionality in a single embedded system demands for extra Input/Output (I/O) devices, which are usually connected externally and are expensive in terms of energy consumption. To reduce their energy consumption, these devices are equipped with power saving mechanisms. While I/O device scheduling for real-time (RT) systems with such power saving features has been studied in the past, the use of energy resources by these scheduling algorithms may be improved. Technology enhancements in the semiconductor industry have allowed the hardware vendors to reduce the device transition and energy overheads. The decrease in overhead of sleep transitions has opened new opportunities to further reduce the device energy consumption. In this research effort, we propose an intra-task device scheduling algorithm for real-time systems that wakes up a device on demand and reduces its active time while ensuring system schedulability. This intra-task device scheduling algorithm is extended for devices with multiple sleep states to further minimise the overall device energy consumption of the system. The proposed algorithms have less complexity when compared to the conservative inter-task device scheduling algorithms. The system model used relaxes some of the assumptions commonly made in the state-of-the-art that restrict their practical relevance. Apart from the aforementioned advantages, the proposed algorithms are shown to demonstrate the substantial energy savings.

Adaptive offloading for infotainment systems

Infotainment applications in vehicles are currently supported both by the in-vehicle platform, as well as by user’s smart devices, such as smartphones and tablets. More and more the user expects that there is a continuous service of applications inside or outside of the vehicle, provided in any of these devices (a simple but common example is hands-free mobile phone calls provided by the vehicle platform). With the increasing complexity of ‘apps’, it is necessary to support increasing levels of Quality of Service (QoS), with varying resource requirements. Users may want to start listening to music in the smartphone, or video in the tablet, being this application transparently ‘moved’ into the vehicle when it is started. This paper presents an adaptable offloading mechanism, following a service-oriented architecture pattern, which takes into account the QoS requirements of the applications being executed when making decisions.

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Distributed Linear Precoding and User Selection in Coordinated Multicell Systems

In this manuscript we tackle the problem of semidistributed user selection with distributed linear precoding for sum rate maximization in multiuser multicell systems. A set of adjacent base stations (BS) form a cluster in order to perform coordinated transmission to cell-edge users, and coordination is carried out through a central processing unit (CU). However, the message exchange between BSs and the CU is limited to scheduling control signaling and no user data or channel state information (CSI) exchange is allowed. In the considered multicell coordinated approach, each BS has its own set of cell-edge users and transmits only to one intended user while interference to non-intended users at other BSs is suppressed by signal steering (precoding). We use two distributed linear precoding schemes, Distributed Zero Forcing (DZF) and Distributed Virtual Signalto-Interference-plus-Noise Ratio (DVSINR). Considering multiple users per cell and the backhaul limitations, the BSs rely on local CSI to solve the user selection problem. First we investigate how the signal-to-noise-ratio (SNR) regime and the number of antennas at the BSs impact the effective channel gain (the magnitude of the channels after precoding) and its relationship with multiuser diversity. Considering that user selection must be based on the type of implemented precoding, we develop metrics of compatibility (estimations of the effective channel gains) that can be computed from local CSI at each BS and reported to the CU for scheduling decisions. Based on such metrics, we design user selection algorithms that can find a set of users that potentially maximizes the sum rate. Numerical results show the effectiveness of the proposed metrics and algorithms for different configurations of users and antennas at the base stations.

System Level Simulation and Radio Resource Management for Distributed Antenna Systems with Cognitive Radio and Multi-Cell Cooperation

4th International Conference on Future Generation Communication Technologies (FGCT 2015), Luton, United Kingdom.

Numerical analysis of the initial conditions in fractional systems

Fractional dynamics is a growing topic in theoretical and experimental scientific research. A classical problem is the initialization required by fractional operators. While the problem is clear from the mathematical point of view, it constitutes a challenge in applied sciences. This paper addresses the problem of initialization and its effect upon dynamical system simulation when adopting numerical approximations. The results are compatible with system dynamics and clarify the formulation of adequate values for the initial conditions in numerical simulations.

Isolation of Fonsecaea pedrosoi from thorns of Mimosa pudica, a probable natural source of chromoblastomycosis

We report the isolation of Fonsecaea pedrosoi from thorns of the plant Mimosa pudica L. at the place of infection identified by one of our patients. Clinical diagnosis of chromoblastomycosis was established by direct microscopic examination and cultures from the patient's lesion. The same species was isolated from the patient and from the plant. Scanning electron microscopy of the surface of the thorns showed the characteristic conidial arrangement of F. pedrosoi. These data indicate that M. pudica could be a natural source of infection for the fungus F. pedrosoi.