Doxycycline ameliorates 2K-1C hypertension-induced vascular dysfunction in rats by attenuating oxidative stress and improving nitric oxide bioavailability

Vascular dysfunction associated with two-kidney, one-clip (2K-1C) hypertension may result from both altered matrix metalloproteinase (MMP) activity and higher concentrations of reactive oxygen species (ROS). Doxycycline is considering the most potent MMP inhibitor of tetracyclines and attenuates 2K-1C hypertension-induced high blood pressure and chronic vascular remodeling. Doxycycline might also act as a ROS scavenger and this may contribute to the amelioration of some cardiovascular diseases associated with increased concentrations of ROS. We hypothesized that in addition to its MMP inhibitory effect, doxycycline attenuates oxidative stress and improves nitric oxide (NO) bioavailability in 2K-1C hypertension, thus improving hypertension-induced arterial endothelial dysfunction. Sham operated or 2K-1C hypertensive rats were treated with doxycycline 30 mg/kg/day (or vehicle). After 8 weeks of treatment, aortic rings were isolated to assess endothelium dependent vasorelaxation to A23187. Arterial and systemic levels of ROS were respectively measured using dihydroethidine (DHE) and thiobarbituric acid reactive substances (TBARS). Neutrophils-derived ROS were tested in vitro using the fluoroprobe Carboxy-H(2)DCFDA and human neutrophils stimulated with phorbol 12-myristate 13-acetate (PMA). NO levels were assessed in rat aortic endothelial cells by confocal microscopy. Aortic MMP activity was determined by in situ zymography. Doxycycline attenuated 2K-1C hypertension (169 +/- 17.3 versus 209 +/- 10.9 mm Hg in hypertensive controls, p < 0.05) and protected against hypertension-induced reduction in endothelium-dependent vasorelaxation to A23187 (p < 0.05). Doxycycline also decreased hypertension-induced oxidative stress (p <= 0.05), higher MMP activity (p < 0.01) and improved NO levels in aortic endothelial cells (p < 0.01). Therefore, doxycycline ameliorates 2K-1C hypertension-induced endothelial dysfunction in aortas by inhibiting oxidative stress generation and improving NO bioavailability, in addition to its inhibitory effects on MMP activity. (C) 2012 Elsevier Inc. All rights reserved.

Testosterone Induces Vascular Smooth Muscle Cell Migration by NADPH Oxidase and c-Src-Dependent Pathways

Testosterone has been implicated in vascular remodeling associated with hypertension. Molecular mechanisms underlying this are elusive, but oxidative stress may be important. We hypothesized that testosterone stimulates generation of reactive oxygen species (ROS) and migration of vascular smooth muscle cells (VSMCs), with enhanced effects in cells from spontaneously hypertensive rats (SHRs). The mechanisms (genomic and nongenomic) whereby testosterone induces ROS generation and the role of c-Src, a regulator of redox-sensitive migration, were determined. VSMCs from male Wistar-Kyoto rats and SHRs were stimulated with testosterone (10(-7) mol/L, 0-120 minutes). Testosterone increased ROS generation, assessed by dihydroethidium fluorescence and lucigenin-enhanced chemiluminescence (30 minutes [SHR] and 60 minutes [both strains]). Flutamide (androgen receptor antagonist) and actinomycin D (gene transcription inhibitor) diminished ROS production (60 minutes). Testosterone increased Nox1 and Nox4 mRNA levels and p47phox protein expression, determined by real-time PCR and immunoblotting, respectively. Flutamide, actinomycin D, and cycloheximide (protein synthesis inhibitor) diminished testosterone effects on p47phox. c-Src phosphorylation was observed at 30 minutes (SHR) and 120 minutes (Wistar-Kyoto rat). Testosterone-induced ROS generation was repressed by 3-(4-chlorophenyl) 1-(1,1-dimethylethyl)-1H-pyrazolo[3,4-day]pyrimidin-4-amine (c-Src inhibitor) in SHRs and reduced by apocynin (antioxidant/NADPH oxidase inhibitor) in both strains. Testosterone stimulated VSMCs migration, assessed by the wound healing technique, with greater effects in SHRs. Flutamide, apocynin, and 3-(4-chlorophenyl) 1-(1,1-dimethylethyl)-1H-pyrazolo[3,4-day] pyrimidin-4-amine blocked testosterone-induced VSMCs migration in both strains. Our study demonstrates that testosterone induces VSMCs migration via NADPH oxidase-derived ROS and c-Src-dependent pathways by genomic and nongenomic mechanisms, which are differentially regulated in VSMCs from Wistar-Kyoto rats and SHRs. (Hypertension. 2012; 59: 1263-1271.). Online Data Supplement

IL-5 and IL-17A are critical for the chronic IgE response and differentiation of long-lived antibody-secreting cells in inflamed tissues

Prolonged survival of long-lived antibody-secreting cells in the BM has been implicated as a key component of long-term humoral immunity. The current study was designed to uncover the extrinsic signals required for the generation and maintenance of ASC in several niches (peritoneum, spleen and bone-marrow). Our results show that protein mixture of the Thalassophryne nattereri venom induced a chronic Th2 humoral response that is characterized by splenic hyperplasia with GC formation and venom retention by follicular DCs. Retention of B1a in the BM were observed. In the late phase (120 d) of chronic venom-response the largest pool of ASC into the peritoneal cavity consisted of B220(neg)CD43(high) phenotype; the largest pool of ASC into spleen was constituted by B220 positive cells (B220(high) and B220(low)), whereas the largest pool of ASC into in the BM was constituted by the B220(high)CD43(low) phenotype; and finally, terminally differentiated cells (B220(neg)CD43(high)) were only maintained in the inflamed peritoneal cavity in late phase. After 120 d a sustained production of cytokines (KC, IL-5, TNF-alpha, IL-6, IL-17A and IL-23) and leukocytes recruitment (eosinophils, mast cells, and neutrophils) were induced. IL-5- and IL-17A-producing CD4+ CD44+ CD40L+ Ly6C+ effector memory T cells were also observed in peritoneal cavity. Finally, treatment of venom-mice with anti-IL-5- and anti-IL17A-neutralizing mAbs abolished the synthesis of specific IgE, without modifying the splenic hyperplasia or GC formation. In addition, IL-5 and IL-17A negatively regulated the expansion of B1a in peritoneal cavity and BM, and promoted the differentiation of these cells in spleen. And more, IL-5 and IL-17A are sufficient for the generation of ASC B220(neg) in the peritoneal cavity and negatively regulate the number of ASC B220(Pos), confirming that the hierarchical process of ASC differentiation triggered by venom needs the signal derived from IL-5 and IL-17A. (C) 2012 Elsevier Ltd. All rights reserved.

A study of pent-up demand in ophthalmology: Divinolandia Hospital/Unicamp

Objective: To assess the waiting time for eye care identifying the number of patients with each complaint; to investigate how the waiting time may worsen the patient's condition; to check the screening of urgent cases for effectiveness; and to devise means of increasing the medical-surgical care capacity. Methods: A retrospective descriptive survey was conducted using data obtained on 12 occasions during collaborative team visits to provide eyecare services. These initiatives were designed to decrease the waiting time and to treat urgent cases that occurred on each occasion; eyecare services were provided every Saturday, in the period from June to August 2006, in 16 cities of the region covered by Conderg (Consortium for the Development of the Sao Joao da Boa Vista Administrative Region). Results: Referrals used 1,743 (87.1%) of the 2,000 places available. The most frequent diagnoses were refractive errors, with 683 cases, corresponding to 39.1% of the total, followed by cataracts, with 296 cases, corresponding to 20.9%. Of the 238 surgeries indicated, 54.6% were phakectomies. Thirty-five (2.0%) cases were considered urgent. Conclusion: The most common diagnoses made during the team visits to manage the excess demand for eyecare were refractive errors and cataracts, which, together, accounted for the majority of the cases. The Divinolandia Hospital has the necessary human and material resources to meet the demand left unattended by the local SUS network. Immediate referral of urgent cases by the primary units' screeners proved effective.

Plasma lipases and lipid transfer proteins increase phospholipid but not free cholesterol transfer from lipid emulsion to high density lipoproteins.

Abstract Background Plasma lipases and lipid transfer proteins are involved in the generation and speciation of high density lipoproteins. In this study we have examined the influence of plasma lipases and lipid transfer protein activities on the transfer of free cholesterol (FC) and phospholipids (PL) from lipid emulsion to human, rat and mouse lipoproteins. The effect of the lipases was verified by incubation of labeled (3H-FC,14C-PL) triglyceride rich emulsion with human plasma (control, post-heparin and post-heparin plus lipase inhibitor), rat plasma (control and post-heparin) and by the injection of the labeled lipid emulsion into control and heparinized functionally hepatectomized rats. Results In vitro, the lipase enriched plasma stimulated significantly the transfer of 14C-PL from emulsion to high density lipoprotein (p<0.001) but did not modify the transfer of 3H-FC. In hepatectomized rats, heparin stimulation of intravascular lipolysis increased the plasma removal of 14C-PL and the amount of 14C-PL found in the low density lipoprotein density fraction but not in the high density lipoprotein density fraction. The in vitro and in vivo experiments showed that free cholesterol and phospholipids were transferred from lipid emulsion to plasma lipoproteins independently from each other. The incubation of human plasma, control and control plus monoclonal antibody anti-cholesteryl ester transfer protein (CETP), with 14C-PL emulsion showed that CETP increases 14C-PL transfer to human HDL, since its partial inhibition by the anti-CETP antibody reduced significantly the 14C-PL transfer (p<0.05). However, comparing the nontransgenic (no CETP activity) with the CETP transgenic mouse plasma, no effect of CETP on the 14C-PL distribution in mice lipoproteins was observed. Conclusions It is concluded that: 1-intravascular lipases stimulate phospholipid transfer protein mediated phospholipid transfer, but not free cholesterol, from triglyceride rich particles to human high density lipoproteins and rat low density lipoproteins and high density lipoproteins; 2-free cholesterol and phospholipids are transferred from triglyceride rich particles to plasma lipoproteins by distinct mechanisms, and 3 - CETP also contributes to phospholipid transfer activity in human plasma but not in transgenic mice plasma, a species which has high levels of the specific phospholipid transfer protein activity.

Trypanosoma cruzi mitochondrial maxicircles display species- and strain-specific variation and a conserved element in the non-coding region

Abstract Background The mitochondrial DNA of kinetoplastid flagellates is distinctive in the eukaryotic world due to its massive size, complex form and large sequence content. Comprised of catenated maxicircles that contain rRNA and protein-coding genes and thousands of heterogeneous minicircles encoding small guide RNAs, the kinetoplast network has evolved along with an extreme form of mRNA processing in the form of uridine insertion and deletion RNA editing. Many maxicircle-encoded mRNAs cannot be translated without this post-transcriptional sequence modification. Results We present the complete sequence and annotation of the Trypanosoma cruzi maxicircles for the CL Brener and Esmeraldo strains. Gene order is syntenic with Trypanosoma brucei and Leishmania tarentolae maxicircles. The non-coding components have strain-specific repetitive regions and a variable region that is unique for each strain with the exception of a conserved sequence element that may serve as an origin of replication, but shows no sequence identity with L. tarentolae or T. brucei. Alternative assemblies of the variable region demonstrate intra-strain heterogeneity of the maxicircle population. The extent of mRNA editing required for particular genes approximates that seen in T. brucei. Extensively edited genes were more divergent among the genera than non-edited and rRNA genes. Esmeraldo contains a unique 236-bp deletion that removes the 5'-ends of ND4 and CR4 and the intergenic region. Esmeraldo shows additional insertions and deletions outside of areas edited in other species in ND5, MURF1, and MURF2, while CL Brener has a distinct insertion in MURF2. Conclusion The CL Brener and Esmeraldo maxicircles represent two of three previously defined maxicircle clades and promise utility as taxonomic markers. Restoration of the disrupted reading frames might be accomplished by strain-specific RNA editing. Elements in the non-coding region may be important for replication, transcription, and anchoring of the maxicircle within the kinetoplast network.

Predicting smear negative pulmonary tuberculosis with classification trees and logistic regression: a cross-sectional study

Abstract Background Smear negative pulmonary tuberculosis (SNPT) accounts for 30% of pulmonary tuberculosis cases reported yearly in Brazil. This study aimed to develop a prediction model for SNPT for outpatients in areas with scarce resources. Methods The study enrolled 551 patients with clinical-radiological suspicion of SNPT, in Rio de Janeiro, Brazil. The original data was divided into two equivalent samples for generation and validation of the prediction models. Symptoms, physical signs and chest X-rays were used for constructing logistic regression and classification and regression tree models. From the logistic regression, we generated a clinical and radiological prediction score. The area under the receiver operator characteristic curve, sensitivity, and specificity were used to evaluate the model's performance in both generation and validation samples. Results It was possible to generate predictive models for SNPT with sensitivity ranging from 64% to 71% and specificity ranging from 58% to 76%. Conclusion The results suggest that those models might be useful as screening tools for estimating the risk of SNPT, optimizing the utilization of more expensive tests, and avoiding costs of unnecessary anti-tuberculosis treatment. Those models might be cost-effective tools in a health care network with hierarchical distribution of scarce resources.

A study of pent-up demand in ophthalmology: Divinolândia Hospital/Unicamp

OBJECTIVE: To assess the waiting time for eye care identifying the number of patients with each complaint; to investigate how the waiting time may worsen the patient's condition; to check the screening of urgent cases for effectiveness; and to devise means of increasing the medical-surgical care capacity. METHODS: A retrospective descriptive survey was conducted using data obtained on 12 occasions during collaborative team visits to provide eyecare services. These initiatives were designed to decrease the waiting time and to treat urgent cases that occurred on each occasion; eyecare services were provided every Saturday, in the period from June to August 2006, in 16 cities of the region covered by Conderg (Consortium for the Development of the São João da Boa Vista Administrative Region). RESULTS: Referrals used 1,743 (87.1%) of the 2,000 places available. The most frequent diagnoses were refractive errors, with 683 cases, corresponding to 39.1% of the total, followed by cataracts, with 296 cases, corresponding to 20.9%. Of the 238 surgeries indicated, 54.6% were phakectomies. Thirty-five (2.0%) cases were considered urgent. CONCLUSION: The most common diagnoses made during the team visits to manage the excess demand for eyecare were refractive errors and cataracts, which, together, accounted for the majority of the cases. The Divinolândia Hospital has the necessary human and material resources to meet the demand left unattended by the local SUS network. Immediate referral of urgent cases by the primary units' screeners proved effective.

Human thermal comfort: an irreversibility-based approach emulating empirical clothed-body correlations and the conceptual energy balance equation

Exergetic analysis can provide useful information as it enables the identification of irreversible phenomena bringing about entropy generation and, therefore, exergy losses (also referred to as irreversibilities). As far as human thermal comfort is concerned, irreversibilities can be evaluated based on parameters related to both the occupant and his surroundings. As an attempt to suggest more insights for the exergetic analysis of thermal comfort, this paper calculates irreversibility rates for a sitting person wearing fairly light clothes and subjected to combinations of ambient air and mean radiant temperatures. The thermodynamic model framework relies on the so-called conceptual energy balance equation together with empirical correlations for invoked thermoregulatory heat transfer rates adapted for a clothed body. Results suggested that a minimum irreversibility rate may exist for particular combinations of the aforesaid surrounding temperatures. By separately considering the contribution of each thermoregulatory mechanism, the total irreversibility rate rendered itself more responsive to either convective or radiative clothing-influenced heat transfers, with exergy losses becoming lower if the body is able to transfer more heat (to the ambient) via convection.

A control and automation system for wave basins

This paper presents the new active absorption wave basin, named Hydrodynamic Calibrator (HC), constructed at the University of São Paulo (USP), in the Laboratory facilities of the Numerical Offshore Tank (TPN). The square (14 m 14 m) tank is able to generate and absorb waves from 0.5 Hz to 2.0 Hz, by means of 148 active hinged flap wave makers. An independent mechanical system drives each flap by means of a 1HP servo-motor and a ball-screw based transmission system. A customized ultrasonic wave probe is installed in each flap, and is responsible for measuring wave elevation in the flap. A complex automation architecture was implemented, with three Programmable Logic Computers (PLCs), and a low-level software is responsible for all the interlocks and maintenance functions of the tank. Furthermore, all the control algorithms for the generation and absorption are implemented using higher level software (MATLAB /Simulink block diagrams). These algorithms calculate the motions of the wave makers both to generate and absorb the required wave field by taking into account the layout of the flaps and the limits of wave generation. The experimental transfer function that relates the flap amplitude to the wave elevation amplitude is used for the calculation of the motion of each flap. This paper describes the main features of the tank, followed by a detailed presentation of the whole automation system. It includes the measuring devices, signal conditioning, PLC and network architecture, real-time and synchronizing software and motor control loop. Finally, a validation of the whole automation system is presented, by means of the experimental analysis of the transfer function of the waves generated and the calculation of all the delays introduced by the automation system.

Forecasting the need for medical specialists in Spain: application of a system dynamics model

[EN] Background: Spain has gone from a surplus to a shortage of medical doctors in very few years. Medium and long-term planning for health professionals has become a high priority for health authorities. Methods: We created a supply and demand/need simulation model for 43 medical specialties using system dynamics. The model includes demographic, education and labour market variables. Several scenarios were defined. Variables controllable by health planners can be set as parameters to simulate different scenarios. The model calculates the supply and the deficit or surplus. Experts set the ratio of specialists needed per 1000 inhabitants with a Delphi method. Results: In the scenario of the baseline model with moderate population growth, the deficit of medical specialists will grow from 2% at present (2800 specialists) to 14.3% in 2025 (almost 21 000). The specialties with the greatest medium-term shortages are Anesthesiology, Orthopedic and Traumatic Surgery, Pediatric Surgery, Plastic Aesthetic and Reparatory Surgery, Family and Community Medicine, Pediatrics, Radiology, and Urology. Conclusions: The model suggests the need to increase the number of students admitted to medical school. Training itineraries should be redesigned to facilitate mobility among specialties. In the meantime, the need to make more flexible the supply in the short term is being filled by the immigration of physicians from new members of the European Union and from Latin America.

Two fluid numerical model for coastal applications

Wave breaking is an important coastal process, influencing hydro-morphodynamic processes such as turbulence generation and wave energy dissipation, run-up on the beach and overtopping of coastal defence structures. During breaking, waves are complex mixtures of air and water (“white water”) whose properties affect velocity and pressure fields in the vicinity of the free surface and, depending on the breaker characteristics, different mechanisms for air entrainment are usually observed. Several laboratory experiments have been performed to investigate the role of air bubbles in the wave breaking process (Chanson & Cummings, 1994, among others) and in wave loading on vertical wall (Oumeraci et al., 2001; Peregrine et al., 2006, among others), showing that the air phase is not negligible since the turbulent energy dissipation involves air-water mixture. The recent advancement of numerical models has given valuable insights in the knowledge of wave transformation and interaction with coastal structures. Among these models, some solve the RANS equations coupled with a free-surface tracking algorithm and describe velocity, pressure, turbulence and vorticity fields (Lara et al. 2006 a-b, Clementi et al., 2007). The single-phase numerical model, in which the constitutive equations are solved only for the liquid phase, neglects effects induced by air movement and trapped air bubbles in water. Numerical approximations at the free surface may induce errors in predicting breaking point and wave height and moreover, entrapped air bubbles and water splash in air are not properly represented. The aim of the present thesis is to develop a new two-phase model called COBRAS2 (stands for Cornell Breaking waves And Structures 2 phases), that is the enhancement of the single-phase code COBRAS0, originally developed at Cornell University (Lin & Liu, 1998). In the first part of the work, both fluids are considered as incompressible, while the second part will treat air compressibility modelling. The mathematical formulation and the numerical resolution of the governing equations of COBRAS2 are derived and some model-experiment comparisons are shown. In particular, validation tests are performed in order to prove model stability and accuracy. The simulation of the rising of a large air bubble in an otherwise quiescent water pool reveals the model capability to reproduce the process physics in a realistic way. Analytical solutions for stationary and internal waves are compared with corresponding numerical results, in order to test processes involving wide range of density difference. Waves induced by dam-break in different scenarios (on dry and wet beds, as well as on a ramp) are studied, focusing on the role of air as the medium in which the water wave propagates and on the numerical representation of bubble dynamics. Simulations of solitary and regular waves, characterized by both spilling and plunging breakers, are analyzed with comparisons with experimental data and other numerical model in order to investigate air influence on wave breaking mechanisms and underline model capability and accuracy. Finally, modelling of air compressibility is included in the new developed model and is validated, revealing an accurate reproduction of processes. Some preliminary tests on wave impact on vertical walls are performed: since air flow modelling allows to have a more realistic reproduction of breaking wave propagation, the dependence of wave breaker shapes and aeration characteristics on impact pressure values is studied and, on the basis of a qualitative comparison with experimental observations, the numerical simulations achieve good results.

Study of silicon-on-insulator multiple-gate MOS structures including band-gap engineering and self heating effects

The progresses of electron devices integration have proceeded for more than 40 years following the well–known Moore’s law, which states that the transistors density on chip doubles every 24 months. This trend has been possible due to the downsizing of the MOSFET dimensions (scaling); however, new issues and new challenges are arising, and the conventional ”bulk” architecture is becoming inadequate in order to face them. In order to overcome the limitations related to conventional structures, the researchers community is preparing different solutions, that need to be assessed. Possible solutions currently under scrutiny are represented by: • devices incorporating materials with properties different from those of silicon, for the channel and the source/drain regions; • new architectures as Silicon–On–Insulator (SOI) transistors: the body thickness of Ultra-Thin-Body SOI devices is a new design parameter, and it permits to keep under control Short–Channel–Effects without adopting high doping level in the channel. Among the solutions proposed in order to overcome the difficulties related to scaling, we can highlight heterojunctions at the channel edge, obtained by adopting for the source/drain regions materials with band–gap different from that of the channel material. This solution allows to increase the injection velocity of the particles travelling from the source into the channel, and therefore increase the performance of the transistor in terms of provided drain current. The first part of this thesis work addresses the use of heterojunctions in SOI transistors: chapter 3 outlines the basics of the heterojunctions theory and the adoption of such approach in older technologies as the heterojunction–bipolar–transistors; moreover the modifications introduced in the Monte Carlo code in order to simulate conduction band discontinuities are described, and the simulations performed on unidimensional simplified structures in order to validate them as well. Chapter 4 presents the results obtained from the Monte Carlo simulations performed on double–gate SOI transistors featuring conduction band offsets between the source and drain regions and the channel. In particular, attention has been focused on the drain current and to internal quantities as inversion charge, potential energy and carrier velocities. Both graded and abrupt discontinuities have been considered. The scaling of devices dimensions and the adoption of innovative architectures have consequences on the power dissipation as well. In SOI technologies the channel is thermally insulated from the underlying substrate by a SiO2 buried–oxide layer; this SiO2 layer features a thermal conductivity that is two orders of magnitude lower than the silicon one, and it impedes the dissipation of the heat generated in the active region. Moreover, the thermal conductivity of thin semiconductor films is much lower than that of silicon bulk, due to phonon confinement and boundary scattering. All these aspects cause severe self–heating effects, that detrimentally impact the carrier mobility and therefore the saturation drive current for high–performance transistors; as a consequence, thermal device design is becoming a fundamental part of integrated circuit engineering. The second part of this thesis discusses the problem of self–heating in SOI transistors. Chapter 5 describes the causes of heat generation and dissipation in SOI devices, and it provides a brief overview on the methods that have been proposed in order to model these phenomena. In order to understand how this problem impacts the performance of different SOI architectures, three–dimensional electro–thermal simulations have been applied to the analysis of SHE in planar single and double–gate SOI transistors as well as FinFET, featuring the same isothermal electrical characteristics. In chapter 6 the same simulation approach is extensively employed to study the impact of SHE on the performance of a FinFET representative of the high–performance transistor of the 45 nm technology node. Its effects on the ON–current, the maximum temperatures reached inside the device and the thermal resistance associated to the device itself, as well as the dependence of SHE on the main geometrical parameters have been analyzed. Furthermore, the consequences on self–heating of technological solutions such as raised S/D extensions regions or reduction of fin height are explored as well. Finally, conclusions are drawn in chapter 7.

Middleware principles and design for the integration of ubiquitos mobile services

Nowadays, in Ubiquitous computing scenarios users more and more require to exploit online contents and services by means of any device at hand, no matter their physical location, and by personalizing and tailoring content and service access to their own requirements. The coordinated provisioning of content tailored to user context and preferences, and the support for mobile multimodal and multichannel interactions are of paramount importance in providing users with a truly effective Ubiquitous support. However, so far the intrinsic heterogeneity and the lack of an integrated approach led to several either too vertical, or practically unusable proposals, thus resulting in poor and non-versatile support platforms for Ubiquitous computing. This work investigates and promotes design principles to help cope with these ever-changing and inherently dynamic scenarios. By following the outlined principles, we have designed and implemented a middleware support platform to support the provisioning of Ubiquitous mobile services and contents. To prove the viability of our approach, we have realized and stressed on top of our support platform a number of different, extremely complex and heterogeneous content and service provisioning scenarios. The encouraging results obtained are pushing our research work further, in order to provide a dynamic platform that is able to not only dynamically support novel Ubiquitous applicative scenarios by tailoring extremely diverse services and contents to heterogeneous user needs, but is also able to reconfigure and adapt itself in order to provide a truly optimized and tailored support for Ubiquitous service provisioning.

Hybrid Methods for Resource Allocation and Scheduling Problems in Deterministic and Stochastic Environments

This work presents exact, hybrid algorithms for mixed resource Allocation and Scheduling problems; in general terms, those consist into assigning over time finite capacity resources to a set of precedence connected activities. The proposed methods have broad applicability, but are mainly motivated by applications in the field of Embedded System Design. In particular, high-performance embedded computing recently witnessed the shift from single CPU platforms with application-specific accelerators to programmable Multi Processor Systems-on-Chip (MPSoCs). Those allow higher flexibility, real time performance and low energy consumption, but the programmer must be able to effectively exploit the platform parallelism. This raises interest in the development of algorithmic techniques to be embedded in CAD tools; in particular, given a specific application and platform, the objective if to perform optimal allocation of hardware resources and to compute an execution schedule. On this regard, since embedded systems tend to run the same set of applications for their entire lifetime, off-line, exact optimization approaches are particularly appealing. Quite surprisingly, the use of exact algorithms has not been well investigated so far; this is in part motivated by the complexity of integrated allocation and scheduling, setting tough challenges for ``pure'' combinatorial methods. The use of hybrid CP/OR approaches presents the opportunity to exploit mutual advantages of different methods, while compensating for their weaknesses. In this work, we consider in first instance an Allocation and Scheduling problem over the Cell BE processor by Sony, IBM and Toshiba; we propose three different solution methods, leveraging decomposition, cut generation and heuristic guided search. Next, we face Allocation and Scheduling of so-called Conditional Task Graphs, explicitly accounting for branches with outcome not known at design time; we extend the CP scheduling framework to effectively deal with the introduced stochastic elements. Finally, we address Allocation and Scheduling with uncertain, bounded execution times, via conflict based tree search; we introduce a simple and flexible time model to take into account duration variability and provide an efficient conflict detection method. The proposed approaches achieve good results on practical size problem, thus demonstrating the use of exact approaches for system design is feasible. Furthermore, the developed techniques bring significant contributions to combinatorial optimization methods.