REALISTIC IVUS IMAGE GENERATION IN DIFFERENT INTRALUMINAL PRESSURES

Intravascular ultrasound (IVUS) phantoms are important to calibrate and evaluate many IVUS imaging processing tasks. However, phantom generation is never the primary focus of related works; hence, it cannot be well covered, and is usually based on more than one platform, which may not be accessible to investigators. Therefore, we present a framework for creating representative IVUS phantoms, for different intraluminal pressures, based on the finite element method and Field II. First, a coronary cross-section model is selected. Second, the coronary regions are identified to apply the properties. Third, the corresponding mesh is generated. Fourth, the intraluminal force is applied and the deformation computed. Finally, the speckle noise is incorporated. The framework was tested taking into account IVUS contrast, noise and strains. The outcomes are in line with related studies and expected values. Moreover, the framework toolbox is freely accessible and fully implemented in a single platform. (E-mail: fernando.okara@gmail.com) (c) 2012 World Federation for Ultrasound in Medicine & Biology.

Plantar flexion force induced by amplitude-modulated tendon vibration and associated soleus V/F-waves as an evidence of a centrally-mediated mechanism contributing to extra torque generation in humans

Background: High-frequency trains of electrical stimulation applied over the human muscles can generate forces higher than would be expected by direct activation of motor axons, as evidenced by an unexpected relation between the stimuli and the evoked contractions, originating what has been called “extra forces”. This phenomenon has been thought to reflect nonlinear input/output neural properties such as plateau potential activation in motoneurons. However, more recent evidence has indicated that extra forces generated during electrical stimulation are mediated primarily, if not exclusively, by an intrinsic muscle property, and not from a central mechanism as previously thought. Given the inherent differences between electrical and vibratory stimuli, this study aimed to investigate: (a) whether the generation of vibration-induced muscle forces results in an unexpected relation between the stimuli and the evoked contractions (i.e. extra forces generation) and (b) whether these extra forces are accompanied by signs of a centrally-mediated mechanism or whether intrinsic muscle properties are the redominant mechanisms. Methods: Six subjects had their Achilles tendon stimulated by 100 Hz vibratory stimuli that linearly increased in amplitude (with a peak-to-peak displacement varying from 0 to 5 mm) for 10 seconds and then linearly decreased to zero for the next 10 seconds. As a measure of motoneuron excitability taken at different times during the vibratory stimulation, short-latency compound muscle action potentials (V/F-waves) were recorded in the soleus muscle in response to supramaximal nerve stimulation. Results: Plantar flexion torque and soleus V/F-wave amplitudes were increased in the second half of the stimulation in comparison with the first half. Conclusion: The present findings provide evidence that vibratory stimuli may trigger a centrally-mediated mechanism that contributes to the generation of extra torques. The vibration-induced increased motoneuron excitability (leading to increased torque generation) presumably activates spinal motoneurons following the size principle, which is a desirable feature for stimulation paradigms involved in rehabilitation programs and exercise training.

Generation of the Cape Ghir upwelling filament: a numerical study

[EN] Filaments are narrow, shallow structures of cool water originating from the coast. They are typical features of the four main eastern boundary upwelling systems (EBUS). In spite of their significant biological and chemical roles, through the offshore exportation of nutrient-rich waters, the physical processes that generate them are still not completely understood. This paper is a process-oriented study of filament generation mechanisms. Our goal is twofold: firstly, to obtain a numerical solution able to well represent the characteristics of the filament off Cape Ghir (30°38'N, northwestern Africa) in the Canary EBUS and secondly, to explain its formation by a simple mechanism based on the balance of potential vorticity. The first goal is achieved by the use of the ROMS model (Regional Ocean Modeling System) in embedded domains around Cape Ghir, with a horizontal resolution going up to 1.5 km for the finest domain. The latter gets its initial and boundary conditions from a parent solution and is forced by climatological, high-resolution atmospheric fields. The modeled filaments display spatial, temporal and physical characteristics in agreement with the available in situ and satellite observations. This model solution is used as a reference to compare the results with a set of process-oriented experiments. These experiments allow us to reach the second objective. Their respective solution serves to highlight the contribution of various processes in the filament generation. Since the study is focused on general processes present under climatological forcing conditions, inter-annual forcing is not necessary. The underlying idea for the filament generation is the balance of potential vorticity in the Canary EBUS: the upwelling jet is characterized by negative relative vorticity and flows southward along a narrow band of uniform potential vorticity. In the vicinity of the cape, an injection of relative vorticity induced by the wind breaks the existing vorticity balance. The upwelling jet is prevented from continuing its way southward and has to turn offshore to follow lines of equal potential vorticity. The model results highlight the essential role of wind, associated with the particular topography (coastline and bottom) around the cape. The mechanism presented here is general and thus can be applied to other EBUS.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Probabilistic approaches in civil engineering: generation of random fields and structural identification with genetic algorithms

The inherent stochastic character of most of the physical quantities involved in engineering models has led to an always increasing interest for probabilistic analysis. Many approaches to stochastic analysis have been proposed. However, it is widely acknowledged that the only universal method available to solve accurately any kind of stochastic mechanics problem is Monte Carlo Simulation. One of the key parts in the implementation of this technique is the accurate and efficient generation of samples of the random processes and fields involved in the problem at hand. In the present thesis an original method for the simulation of homogeneous, multi-dimensional, multi-variate, non-Gaussian random fields is proposed. The algorithm has proved to be very accurate in matching both the target spectrum and the marginal probability. The computational efficiency and robustness are very good too, even when dealing with strongly non-Gaussian distributions. What is more, the resulting samples posses all the relevant, welldefined and desired properties of “translation fields”, including crossing rates and distributions of extremes. The topic of the second part of the thesis lies in the field of non-destructive parametric structural identification. Its objective is to evaluate the mechanical characteristics of constituent bars in existing truss structures, using static loads and strain measurements. In the cases of missing data and of damages that interest only a small portion of the bar, Genetic Algorithm have proved to be an effective tool to solve the problem.

In vitro generation and characterization of acute myeloid leukemia-reactive CD8 + cytotoxic T-lymphocyte clones from healthy donors

Donor-derived CD8+ cytotoxic T lymphocytes (CTLs) eliminating host leukemic cells mediate curative graft-versus-leukemia (GVL) reactions after allogeneic hematopoietic stem cell transplantation (HSCT). The leukemia-reactive CTLs recognize hematopoiesis-restricted or broadly expressed minor histocompatibility and leukemia-associated peptide antigens that are presented by human leukocyte antigen (HLA) class I molecules on recipient cells. The development of allogeneic CTL therapy in acute myeloid leukemia (AML) is hampered by the poor efficiency of current techniques for generating leukemia-reactive CTLs from unprimed healthy donors in vitro. In this work, a novel allogeneic mini-mixed lymphocyte/leukemia culture (mini-MLLC) approach was established by stimulating CD8+ T cells isolated from peripheral blood of healthy donors at comparably low numbers (i.e. 10e4/well) with HLA class I-matched primary AML blasts in 96-well microtiter plates. Before culture, CD8+ T cells were immunomagnetically separated into CD62L(high)+ and CD62L(low)+/neg subsets enriched for naive/central memory and effector memory cells, respectively. The application of 96-well microtiter plates aimed at creating multiple different responder-stimulator cell compositions in order to provide for the growth of leukemia-reactive CTLs optimized culture conditions by chance. The culture medium was supplemented with interleukin (IL)-7, IL-12, and IL-15. On day 14, IL-12 was replaced by IL-2. In eight different related and unrelated donor/AML pairs with complete HLA class I match, numerous CTL populations were isolated that specifically lysed myeloid leukemias in association with various HLA-A, -B, or -C alleles. These CTLs recognized neither lymphoblastoid B cell lines of donor and patient origin nor primary B cell leukemias expressing the corresponding HLA restriction element. CTLs expressed T cell receptors of single V-beta chain families, indicating their clonality. The vast majority of CTL clones were obtained from mini-MLLCs initiated with CD8+ CD62L(high)+ cells. Using antigen-specific stimulation, multiple CTL populations were amplified to 10e8-10e10 cells within six to eight weeks. The capability of mini-MLLC derived AML-reactive CTL clones to inhibit the engraftment of human primary AML blasts was investigated in the immunodeficient nonobese diabetic/severe combined immune deficient IL-2 receptor common γ-chain deficient (NOD/SCID IL2Rγnull) mouse model. The leukemic engraftment in NOD/SCID IL2Rγnull was specifically prevented if inoculated AML blasts had been pre-incubated in vitro with AML-reactive CTLs, but not with anti-melanoma control CTLs. These results demonstrate that myeloid leukemia-specific CTL clones capable of preventing AML engraftment in mice can be rapidly isolated from CD8+ CD62L(high)+ T cells of healthy donors in vitro. The efficient generation and expansion of these CTLs by the newly established mini-MLLC approach opens the door for several potential applications. First, CTLs can be used within T cell-driven antigen identification strategies to extend the panel of molecularly defined AML antigens that are recognizable by T cells of healthy donors. Second, because these CTLs can be isolated from the stem cell donor by mini-MLLC prior to transplantation, they could be infused into AML patients as a part of the stem cell allograft, or early after transplantation when the leukemia burden is low. The capability of these T cells to expand and function in vivo might require the simultaneous administration of AML-reactive CD4+ T cells generated by a similar in vitro strategy or, less complex, the co-transfer of CD8-depleted donor lymphocytes. To prepare clinical testing, the mini-MLLC approach should now be translated into a protocol that is compatible with good manufacturing practice guidelines.

A chemical-loop approach for the generation of hydrogen by means of ethanol reforming

The work investigates the feasibility of a new process aimed at the production of hydrogen with inherent separation of carbon oxides. The process consists in a cycle in which, in the first step, a mixed metal oxide is reduced by ethanol (obtained from biomasses). The reduced metal is then contacted with steam in order to split the water and sequestrating the oxygen into the looping material’s structure. The oxides used to run this thermochemical cycle, also called “steam-iron process” are mixed ferrites in the spinel structure MeFe2O4 (Me = Fe, Co, Ni or Cu). To understand the reactions involved in the anaerobic reforming of ethanol, diffuse reflectance spectroscopy (DRIFTS) was used, coupled with the mass analysis of the effluent, to study the surface composition of the ferrites during the adsorption of ethanol and its transformations during the temperature program. This study was paired with the tests on a laboratory scale plant and the characterization through various techniques such as XRD, Mössbauer spectroscopy, elemental analysis... on the materials as synthesized and at different reduction degrees In the first step it was found that besides the generation of the expected CO, CO2 and H2O, the products of ethanol anaerobic oxidation, also a large amount of H2 and coke were produced. The latter is highly undesired, since it affects the second step, during which water is fed over the pre-reduced spinel at high temperature. The behavior of the different spinels was affected by the nature of the divalent metal cation; magnetite was the oxide showing the slower rate of reduction by ethanol, but on the other hand it was that one which could perform the entire cycle of the process more efficiently. Still the problem of coke formation remains the greater challenge to solve.

Cut-first branch-and-price-second for the capacitated arc-routing problem

This paper presents the first full-fledged branch-and-price (bap) algorithm for the capacitated arc-routing problem (CARP). Prior exact solution techniques either rely on cutting planes or the transformation of the CARP into a node-routing problem. The drawbacks are either models with inherent symmetry, dense underlying networks, or a formulation where edge flows in a potential solution do not allow the reconstruction of unique CARP tours. The proposed algorithm circumvents all these drawbacks by taking the beneficial ingredients from existing CARP methods and combining them in a new way. The first step is the solution of the one-index formulation of the CARP in order to produce strong cuts and an excellent lower bound. It is known that this bound is typically stronger than relaxations of a pure set-partitioning CARP model.rnSuch a set-partitioning master program results from a Dantzig-Wolfe decomposition. In the second phase, the master program is initialized with the strong cuts, CARP tours are iteratively generated by a pricing procedure, and branching is required to produce integer solutions. This is a cut-first bap-second algorithm and its main function is, in fact, the splitting of edge flows into unique CARP tours.

Potential Analysis for Hypoelliptic Second Order PDEs with Nonnegative Characteristic Form

In this Thesis we consider a class of second order partial differential operators with non-negative characteristic form and with smooth coefficients. Main assumptions on the relevant operators are hypoellipticity and existence of a well-behaved global fundamental solution. We first make a deep analysis of the L-Green function for arbitrary open sets and of its applications to the Representation Theorems of Riesz-type for L-subharmonic and L-superharmonic functions. Then, we prove an Inverse Mean value Theorem characterizing the superlevel sets of the fundamental solution by means of L-harmonic functions. Furthermore, we establish a Lebesgue-type result showing the role of the mean-integal operator in solving the homogeneus Dirichlet problem related to L in the Perron-Wiener sense. Finally, we compare Perron-Wiener and weak variational solutions of the homogeneous Dirichlet problem, under specific hypothesis on the boundary datum.

Proton magnetic resonance with parahydrogen induced polarization : Imaging strategies and continuous generation

A major challenge in imaging is the detection of small amounts of molecules of interest. In the case of magnetic resonance imaging (MRI) their signals are typically concealed by the large background signal of e.g. the tissue of the body. This problem can be tackled by hyperpolarization which increases the NMR signals up to several orders of magnitude. However, this strategy is limited for 1H, the most widely used nucleus in NMR andrnMRI, because the enormous number of protons in the body screen the small amount of hyperpolarized ones.Here, I describe a method giving rise to high 1H MRI contrast for hyperpolarized molecules against a large background signal. The contrast is based on the J-coupling induced rephasing of the NMR signal of molecules hyperpolarized via parahydrogen induce polarization (PHIP) and it can easily be implemented in common pulse sequences.rnrnHyperpolarization methods typically require expensive technical equipment (e.g. lasers or microwaves) and most techniques work only in batch mode, thus the limited lifetime of the hyperpolarization is limiting its applications. Therefore, the second part of my thesis deals with the simple and efficient generation of an hyperpolarization.These two achievements open up alternative opportunities to use the standard MRI nucleus 1H for e.g. metabolic imaging in the future.

1st and 2nd Generation Ethanol from Biomass Crops

In chapter 1 and 2 calcium hydroxide as impregnation agent before steam explosion of sugarcane bagasse and switchgrass, respectively, was compared with auto-hydrolysis, assessing the effects on enzymatic hydrolysis and simultaneous saccharification and fermentation (SSF) at high solid concentration of pretreated solid fraction. In addition, anaerobic digestion of pretreated liquid fraction was carried out, in order to appraise the effectiveness of calcium hydroxide before steam explosion in a more comprehensive way. In As water is an expensive input in both cultivation of biomass crops and subsequent pretreatment, Chapter 3 addressed the effects of variable soil moisture on biomass growth and composition of biomass sorghum. Moreover, the effect of water stress was related to the characteristics of stem juice for 1st generation ethanol and structural carbohydrates for 2nd generation ethanol. In the frame of chapter 1, calcium hydroxide was proven to be a suitable catalyst for sugarcane bagasse before steam explosion, in order to enhance fibre deconstruction. In chapter 2, effect of calcium hydroxide on switchgrass showed a great potential when ethanol was focused, whereas acid addition produced higher methane yield. Regarding chapter 3, during crop cycle the amount of cellulose, hemicellulose and AIL changed causing a decrease of 2G ethanol amount. Biomass physical and chemical properties involved a lower glucose yield and concentration at the end of enzymatic hydrolysis and, consequently, a lower 2G ethanol concentration at the end of simultaneous saccharification and fermentation, proving that there is strong relationship between structure, chemical composition, and fermentable sugar yield. The significantly higher concentration of ethanol at the early crop stage could be an important incentive to consider biomass sorghum as second crop in the season, to be introduced into some agricultural systems, potentially benefiting farmers and, above all, avoiding the exacerbation of the debate about fuel vs food crops.

Charge generation and recombination in solid-state dye-sensitized solar cells

Diese Doktorarbeit befasst sich mit Ladungsgeneration und – rekombination in Feststoff-Farbstoffsolarzellen, die spiro-OMeTAD als Lochleiter verwenden. Die vorliegende Arbeit ist in drei Fallstudien unterteilt: i.) Kern-erweiterte Rylen-Farbstoffe, ii.) ein Perylenmonoimid-Farbstoff und iii.) Donor-π verbrückte (Cyclopentadithiophen)-Akzeptor-Farbstoffe. Trotz ihres hohen molaren Extinktionskoeffizienten und der hohen Absorbanz der sensibilisierten Filme, zeigen einige dieser Farbstoffmoleküle nur geringe photovoltaischen Effizienzen. Um den Ursprung des geringen Wirkungsgrades herauszufinden, wurde breitbandige, ultraschnelle transiente Absorptionsspektroskopie an Solarzellen durchgeführt.rnInsbesondere die Auswirkungen verschiedender Ankergruppen, Dipolmomente, Photolumineszenzlebenszeiten, Lithium-Kationensensitivität und Ladungsträgerdynamik, die alle einen großen Einfluss auf den Wirkungsgrad der Solarzelle besitzen, wurden untersucht. In der ersten Fallstudie zeigte ein kurzer Rylen-Farbstoff aufgrund deutlich verlängerter Lebenszeiten die beste Effizienz im Vergleich zu größeren Kern-erweiterten Rylen-Farbstoffen. Die Lebenszeit wurde weiter reduziert, wenn Maleinsäure als Ankergruppe unter einer Ringöffnungsreaktion an die mesoporöse Oberfläche des Metalloxid-Halbleiters adsorbierte. Dies konnte mit Hilfe von Berechnungen mittels der Dichtefunktionaltheorie (DFT, B3LYP) auf die Differenz des Dipolmoments zwischen Grundzustand und angeregtem Zustand zurückgeführt werden. Die Berechnungen bekräftigen die unvorteilhafte Injektion von Ladungen durch die Änderung der Richtung des Dipolmoments, wenn eine Ringöffnung der Anhydridgruppe stattfindet. In der zweiten Studie zeigte das Perylenmonoimid-Derivat ID889 einen Wirkungsgrad von 4.5% in Feststoff-Farbstoffsolarzellen, wobei ID889 sogar ohne Zuhilfenahme eines Additivs in der Lage ist langlebige Farbstoffkationen zu bilden. Die Verwendung von Lithium-Kationen stabilisiert jedoch sowohl den Prozess der Ladungsgeneration als auch den der Ladungsregeneration. Des Weiteren wurde in ID889-sensitivierten Bauteilen kein reduktives Löschen beobachtet. Dabei wurde die Dynamik der Exzitonen mittels einer soft-modelling Methode Kurvenanalyse aus den Daten der transienten Absorptionsspektroskopie gewonnen. Zuletzt wurden Strukturen mit Cyclopentadithiophen(CPDT)-Baustein untersucht, die eine typische D-π-A Molekülstruktur bilden. FPH224 und 233 zeigten dabei eine bessere Effizienz als FPH231 und 303 aufgrund einer großen Injektionseffizienz (IE) und längerer Lebenszeit der angeregten Zustände. Dies kann auf reduktives Löschen in FPH231 und 303 zurückgeführt werden, wohingegen FPH224 und 233 einen moderaten Zerfall des Spirokationensignals zeigten.

A "Beyond WTO" Scenario for Swiss Agriculture: Consequences for Income Generation and the Provision of Public Goods

The conclusion of the Doha Round negotiations is likely to influence Swiss agricultural policy substantially. The same goes for a free trade agreement in agriculture and food with the European Communities. Even though neither of them will bring about duty-free and quota-free market access, or restrict domestic support measures to green box compatible support, both would represent a big step in that direction. There is no empirical evidence on the effect of such a counterfactual scenario for Swiss agriculture. We therefore use a normative mathematical programming model to illustrate possible effects for agricultural production and the corresponding agricultural income. Moreover, we discuss the results with respect to the provision of public goods under the assumption of continuing green box-compatible direct payments. The aim of our article is to bring more transparency into the discussion on the effects of freer and less distorted trade on the income generation by a multifunctional agriculture. The article will be organized as follows. In the first Section we specify the background of our study. In the second section, we focus on the problem statement and our research questions. In Section 3, we describe in detail a counterfactual scenario of “duty-free, quota-free and price support-free” agriculture from an economic as well as a legal perspective. Our methodology and the results are presented in Section 4 and 5 respectively. In Section 6, we discuss our results with respect to economic and legal aspects of multifunctional agriculture.

Application of primary allyl amines afforded by the Baylis-Hillman adducts for heterocyclic synthesis: Generation of 5-benzyl-4(3H)-pyrimidinones and 2-benzylidene-2,3-dihydro-pyrrolizin-1-ones

The applications of the primary allyl amines afforded by the acetyl derivative of Baylis-Hillman adducts of acrylate for the synthesis of heterocycles using robust reactions are described. In the first strategy a one-pot synthesis of 5-benzyl-4(3H)-pyrimidinones have been achieved via N-formylation of the amines in the presence of neat formamide followed by ammonium formate-mediated cyclization. These pyrimidinones have been demonstrated to be excellent precursor to the 4-pyridinamine derivatives. In the second strategy the synthesis of 2-benzylidene-2,3-dihydro-pyrrolizin-1-ones have been accomplished via treatment of allyl amine with dimethoxyfuran followed by saponification and PPA-mediated intramolecular cyclization.

Grid-connected roof solar plants in educational institutions for testing and electricity generation: a case in Spain.

The use of photovoltaic experimental plants in engineering educational buildings contributes to an increase in acceptance of this technology by future engineers. There are some photovoltaic (PV) systems in educational buildings in Spain, but they are usually limited to buildings in relation to electrical technologies or research areas. They are not common in other educational or official buildings. This paper presents the project of a grid-connected solar plant with two main objectives. First, different PV module technologies will be compared. Second, an emphasis on agronomical areas in educational settings will be reviewed in an attempt to facilitate student engagement in the use of the power plant. The system is grid-connected in order to pay-back the investment in the plant. In fact the electricity generated by the plant will be used by the installations of the building, as it is the closest consumer. This work intends to approximate photovoltaic technology to university degrees not directly related with it and at the same time research in comparison of systems with different technologies. This is a good example of an solar plant for both optimum production and educational purposes.