Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Salt stress responses in pear and quince: physiological and molecular aspects

The productivity of agricultural crops is seriously limited by salinity. This problem is rapidly increasing, particularly in irrigated lands. Like almost all the fruit tree species, Pyrus communis is generally considered a salt sensitive species, but only little information is available on its behavior under saline conditions. Previous studies, carried out in the Department of Fruit Tree and Woody Plant Science (University of Bologna), focused their attention on pear and quince salt stress responses to understand which rootstock would be the most suitable for pear in order to tolerate a salt stress condition. It has been reported that pear and quince have different ability in the uptake, translocation and accumulation of chloride (Cl-) and sodium (Na+) ions, when plants were irrigated for one season with saline water (5 dS/m). The aim of the present work was to deepen these aspects and investigate salt stress responses in pear and quince. Two different experiments have been performed: a “short-term” trial in a growth chamber and a “long-term” experiment in the open field. In the short-term experiment, three different genotypes usually adopted as pear rootstocks (MC, BA29 and Farold®40) and the pear variety Abbé Fétel own rooted have been compared under salt stress conditions. The trial was performed in a hydroponic culture system, applying a 90 mM NaCl stress to half of the plants, after five weeks of normal growth in Hoagland’s solution. During the three-weeks of salt stress treatment, physiological, mineral and molecular analyses were performed in order to monitor, for each genotype, the development of the salt stress responses in comparison with the corresponding “unstressed” plants. Farold®40 and Abbé Fétel own rooted showed the onset of leaf necrosis, due to salt toxicity, one week before quinces. Moreover, quinces displayed a significant delay in premature senescence of old leaves, while pears emerged for their ability to regenerate new leaves from apparently dead foliage with the salt stress still running. Physiological measurements, such as shoots length, chlorophyll (Chl) content, and photosynthesis, have been carried out and revealed that pears exhibited a significant reduction in water content and a wilting aspect, while for quinces a decrease in Chl content and a growth slowdown were observed. At the end of the trial, all plants were collected and organs separated for dry weight estimation and mineral analyses (Cu, Fe, Mn, Zn Mg, Ca, K, Na and Cl). Mineral contents have been affected by salinity; same macro/micro nutrients were altered in some organs or relocated within the plant. This plant response could have partially contributed to face the salt stress. Leaves and roots have been harvested for molecular analyses at four different times during stress conditions. Molecular analyses consisted of the gene expression study of three main ion transporters, well known in Arabidopsis thaliana as salt-tolerance determinants in the “SOS” pathway: NHX1 (tonoplast Na+/H+ antiporter), SOS1 (plasmalemma Na+/H+ antiporter) and HKT1 (K+ high-affinity and Na+ low-affinity transporter). These studies showed that two quince rootstocks adopted different responsive mechanisms to NaCl stress. BA29 increased its Na+ sequestration activity into leaf vacuoles, while MC enhanced temporarily the same ability, but in roots. Farold®40, instead, exhibited increases in SOS1 and HKT1 expression mainly at leaf level in the attempt to retrieve Na+ from xylem, while Abbé Fétel differently altered the expression of these genes in roots. Finally, each genotype showed a peculiar response to salt stress that was the sum of its ability in Na+ exclusion, osmotic tolerance and tissue tolerance. In the long-term experiment, potted trees of the pear variety Abbé Fétel grafted on different rootstocks (MC, BA29 and Farold®40), or own rooted and also rootstocks only were subjected to a salt stress through saline water irrigation with an electrical conductivity of 5 dS/m for two years. The purposes of this study were to evaluate salinity effects on physiological (shoot length, number of buds, photosynthesis, etc.) and yield parameters of cultivar Abbé Fétel in the different combinations and to determine the salt amount that pear is able to tolerate over the years. With this work, we confirmed the previous hypothesis that pear, despite being classified as a salt-sensitive fruit tree, can be cultivated for two years under saline water irrigation, without showing any salt toxicity symptoms or severe drawbacks on plant development and production. Among different combinations, Abbé Fétel grafted on MC resulted interesting for its peculiar behaviors under salt stress conditions. In the near future, further investigations on physiological and molecular aspects will be necessary to enrich and broaden the knowledge of salt stress responses in pear.

Development of Clinical Decision Support Systems based on Mathematical Models of Physiological Systems

In the last years of research, I focused my studies on different physiological problems. Together with my supervisors, I developed/improved different mathematical models in order to create valid tools useful for a better understanding of important clinical issues. The aim of all this work is to develop tools for learning and understanding cardiac and cerebrovascular physiology as well as pathology, generating research questions and developing clinical decision support systems useful for intensive care unit patients. I. ICP-model Designed for Medical Education We developed a comprehensive cerebral blood flow and intracranial pressure model to simulate and study the complex interactions in cerebrovascular dynamics caused by multiple simultaneous alterations, including normal and abnormal functional states of auto-regulation of the brain. Individual published equations (derived from prior animal and human studies) were implemented into a comprehensive simulation program. Included in the normal physiological modelling was: intracranial pressure, cerebral blood flow, blood pressure, and carbon dioxide (CO2) partial pressure. We also added external and pathological perturbations, such as head up position and intracranial haemorrhage. The model performed clinically realistically given inputs of published traumatized patients, and cases encountered by clinicians. The pulsatile nature of the output graphics was easy for clinicians to interpret. The manoeuvres simulated include changes of basic physiological inputs (e.g. blood pressure, central venous pressure, CO2 tension, head up position, and respiratory effects on vascular pressures) as well as pathological inputs (e.g. acute intracranial bleeding, and obstruction of cerebrospinal outflow). Based on the results, we believe the model would be useful to teach complex relationships of brain haemodynamics and study clinical research questions such as the optimal head-up position, the effects of intracranial haemorrhage on cerebral haemodynamics, as well as the best CO2 concentration to reach the optimal compromise between intracranial pressure and perfusion. We believe this model would be useful for both beginners and advanced learners. It could be used by practicing clinicians to model individual patients (entering the effects of needed clinical manipulations, and then running the model to test for optimal combinations of therapeutic manoeuvres). II. A Heterogeneous Cerebrovascular Mathematical Model Cerebrovascular pathologies are extremely complex, due to the multitude of factors acting simultaneously on cerebral haemodynamics. In this work, the mathematical model of cerebral haemodynamics and intracranial pressure dynamics, described in the point I, is extended to account for heterogeneity in cerebral blood flow. The model includes the Circle of Willis, six regional districts independently regulated by autoregulation and CO2 reactivity, distal cortical anastomoses, venous circulation, the cerebrospinal fluid circulation, and the intracranial pressure-volume relationship. Results agree with data in the literature and highlight the existence of a monotonic relationship between transient hyperemic response and the autoregulation gain. During unilateral internal carotid artery stenosis, local blood flow regulation is progressively lost in the ipsilateral territory with the presence of a steal phenomenon, while the anterior communicating artery plays the major role to redistribute the available blood flow. Conversely, distal collateral circulation plays a major role during unilateral occlusion of the middle cerebral artery. In conclusion, the model is able to reproduce several different pathological conditions characterized by heterogeneity in cerebrovascular haemodynamics and can not only explain generalized results in terms of physiological mechanisms involved, but also, by individualizing parameters, may represent a valuable tool to help with difficult clinical decisions. III. Effect of Cushing Response on Systemic Arterial Pressure. During cerebral hypoxic conditions, the sympathetic system causes an increase in arterial pressure (Cushing response), creating a link between the cerebral and the systemic circulation. This work investigates the complex relationships among cerebrovascular dynamics, intracranial pressure, Cushing response, and short-term systemic regulation, during plateau waves, by means of an original mathematical model. The model incorporates the pulsating heart, the pulmonary circulation and the systemic circulation, with an accurate description of the cerebral circulation and the intracranial pressure dynamics (same model as in the first paragraph). Various regulatory mechanisms are included: cerebral autoregulation, local blood flow control by oxygen (O2) and/or CO2 changes, sympathetic and vagal regulation of cardiovascular parameters by several reflex mechanisms (chemoreceptors, lung-stretch receptors, baroreceptors). The Cushing response has been described assuming a dramatic increase in sympathetic activity to vessels during a fall in brain O2 delivery. With this assumption, the model is able to simulate the cardiovascular effects experimentally observed when intracranial pressure is artificially elevated and maintained at constant level (arterial pressure increase and bradicardia). According to the model, these effects arise from the interaction between the Cushing response and the baroreflex response (secondary to arterial pressure increase). Then, patients with severe head injury have been simulated by reducing intracranial compliance and cerebrospinal fluid reabsorption. With these changes, oscillations with plateau waves developed. In these conditions, model results indicate that the Cushing response may have both positive effects, reducing the duration of the plateau phase via an increase in cerebral perfusion pressure, and negative effects, increasing the intracranial pressure plateau level, with a risk of greater compression of the cerebral vessels. This model may be of value to assist clinicians in finding the balance between clinical benefits of the Cushing response and its shortcomings. IV. Comprehensive Cardiopulmonary Simulation Model for the Analysis of Hypercapnic Respiratory Failure We developed a new comprehensive cardiopulmonary model that takes into account the mutual interactions between the cardiovascular and the respiratory systems along with their short-term regulatory mechanisms. The model includes the heart, systemic and pulmonary circulations, lung mechanics, gas exchange and transport equations, and cardio-ventilatory control. Results show good agreement with published patient data in case of normoxic and hyperoxic hypercapnia simulations. In particular, simulations predict a moderate increase in mean systemic arterial pressure and heart rate, with almost no change in cardiac output, paralleled by a relevant increase in minute ventilation, tidal volume and respiratory rate. The model can represent a valid tool for clinical practice and medical research, providing an alternative way to experience-based clinical decisions. In conclusion, models are not only capable of summarizing current knowledge, but also identifying missing knowledge. In the former case they can serve as training aids for teaching the operation of complex systems, especially if the model can be used to demonstrate the outcome of experiments. In the latter case they generate experiments to be performed to gather the missing data.

Morphological and physiological responses of apple trees under photoselective colored nets

In recent years and thanks to innovative technological advances in supplemental lighting sources and photo-selective filters, light quality manipulation (i.e. spectral composition of sunlight) have demonstrated positive effects on plant performance in ornamentals and vegetable crops. However, this aspect has been much less studied in fruit trees due to the difficulty of conditioning the light environment of orchards. The aim of the present PhD research was to study the use of different colored nets with selective light transmission in the blue (400 – 500 nm), red (600 – 700 nm) and near infrared (700 – 1100 nm) wavelengths as a tool to the light quality management and its morphological and physiological effects in field-grown apple trees. Chapter I provides a review the current status on physiological and technological advances on light quality management in fruit trees. Chapter II shows the main effect of colored nets on morpho-anatomical (stomata density, mesophyll structure and leaf mass area index) characteristics in apple leaves. Chapter III provides an analysis about the effect of micro-environmental conditions under colored nets on leaf stomatal conductance and leaf photosynthetic capacity. Chapter IV describes a study approach to evaluate the impact of colored nets on fruit growth potential in apples. Summing up results obtained in the present PhD dissertation clearly demonstrate that light quality management through photo-selective colored nets presents an interesting potential for the manipulation of plant morphological and physiological traits in apple trees. Cover orchards with colored nets might be and alternative technology to address many of the most important challenges of modern fruit growing, such as: the need for the efficient use of natural resources (water, soil and nutrients) the reduction of environmental impacts and the mitigation of possible negative effects of global climate change.

Hybrid constraint programming and metaheuristic methods for large scale optimization problems

This work presents hybrid Constraint Programming (CP) and metaheuristic methods for the solution of Large Scale Optimization Problems; it aims at integrating concepts and mechanisms from the metaheuristic methods to a CP-based tree search environment in order to exploit the advantages of both approaches. The modeling and solution of large scale combinatorial optimization problem is a topic which has arisen the interest of many researcherers in the Operations Research field; combinatorial optimization problems are widely spread in everyday life and the need of solving difficult problems is more and more urgent. Metaheuristic techniques have been developed in the last decades to effectively handle the approximate solution of combinatorial optimization problems; we will examine metaheuristics in detail, focusing on the common aspects of different techniques. Each metaheuristic approach possesses its own peculiarities in designing and guiding the solution process; our work aims at recognizing components which can be extracted from metaheuristic methods and re-used in different contexts. In particular we focus on the possibility of porting metaheuristic elements to constraint programming based environments, as constraint programming is able to deal with feasibility issues of optimization problems in a very effective manner. Moreover, CP offers a general paradigm which allows to easily model any type of problem and solve it with a problem-independent framework, differently from local search and metaheuristic methods which are highly problem specific. In this work we describe the implementation of the Local Branching framework, originally developed for Mixed Integer Programming, in a CP-based environment. Constraint programming specific features are used to ease the search process, still mantaining an absolute generality of the approach. We also propose a search strategy called Sliced Neighborhood Search, SNS, that iteratively explores slices of large neighborhoods of an incumbent solution by performing CP-based tree search and encloses concepts from metaheuristic techniques. SNS can be used as a stand alone search strategy, but it can alternatively be embedded in existing strategies as intensification and diversification mechanism. In particular we show its integration within the CP-based local branching. We provide an extensive experimental evaluation of the proposed approaches on instances of the Asymmetric Traveling Salesman Problem and of the Asymmetric Traveling Salesman Problem with Time Windows. The proposed approaches achieve good results on practical size problem, thus demonstrating the benefit of integrating metaheuristic concepts in CP-based frameworks.

Jasmonates and abscisic acid influence fruit ripening and plant water use: practical, physiological and morphological aspects

The aim of the present thesis was to better understand the physiological role of the phytohormones jasmonates (JAs) and abscisic acid (ABA) during fruit ripening in prospect of a possible field application of JAs and ABA to improve fruit yield and quality. In particular, the effects of exogenous application of these substances at different fruit developmental stages and under different experimental conditions were evaluated. Some aspects of the water relations upon ABA treatment were also analysed. Three fruit species, peach (Prunus persica L. Batsch), golden (Actinidia chinensis) and green kiwifruit (Actinidia deliciosa), and several of their cvs, were used for the trials. Different experimental models were adopted: fruits in planta, detached fruit, detached branches with fruit, girdled branches and micropropagated plants. The work was structured into four sets of experiments as follows: (i) Pre-harvest methyl jasmonate (MJ) application was performed at S3/S4 transition under field conditions in Redhaven peach; ethylene production, ripening index, fruit quality and shelf-life were assessed showing that MJ-treated fruit were firmer and thus less ripe than controls as confirmed by the Index of Absorbance Difference (IAD), but exhibited a shorter shelf-life due to an increase in ethylene production. Moreover, the time course of the expression of ethylene-, auxin- and other ripening-related genes was determined. Ripening-related ACO1 and ACS1 transcript accumulation was inhibited though transiently by MJ, and gene expression of the ethylene receptor ETR2 and of the ethylene-related transcription factor ERF2 was also altered. The time course of the expression of several auxin-related genes was strongly affected by MJ suggesting an increase in auxin biosynthesis, altered auxin conjugation and release as well as perception and transport; the need for a correct ethylene/auxin balance during ripening was confirmed. (ii) Pre- and post-harvest ABA applications were carried out under field conditions in Flaminia and O’Henry peach and Stark Red Gold nectarine fruit; ethylene production, ripening index, fruit quality and shelf-life were assessed. Results show that pre-harvest ABA applications increase fruit size and skin color intensity. Also post-harvest ABA treatments alter ripening-related parameters; in particular, while ethylene production is impaired in ABA-treated fruit soluble solids concentration (SSC) is enhanced. Following field ABA applications stem water potential was modified since ABA-treated peach trees retain more water. (iii) Pre- and post-harvest ABA and PDJ treatments were carried out in both kiwifruit species under field conditions at different fruit developmental stages and in post-harvest. Ripening index, fruit quality, plant transpiration, photosynthesis and stomatal conductance were assessed. Pre-harvest treatments enhance SSC in the two cvs and flesh color development in golden kiwifruit. Post-harvest applications of either ABA or ABA plus PDJ lead to increased SSC. In addition, ABA reduces gas exchanges in A. deliciosa. (iv) Spray, drench and dipping ABA treatments were performed in micropropagated peach plants and in peach and nectarine detached branches; plant water use and transpiration, biomass production and fruit dehydration were determined. In both plants and branches ABA significantly reduces water use and fruit dehydration. No negative effects on biomass production were detected. The present information, mainly arising from plant growth regulator application in a field environment, where plants have to cope with multiple biotic and abiotic stresses, may implement the perspectives for the use of these substances in the control of fruit ripening.

Physiological and Biochemical Aspects of Iron Nutrition in Grapevine

The objective of this thesis was to study the response mechanisms of grapevine to Fe-deficiency and to potential Fe chlorosis prevention strategies. The results show that the presence of bicarbonate in the nutrient solution shifted the activity of PEPC and TCA cycle enzymes and the accumulation/translocation of organic acids in roots of Fe-deprived plants. The rootstock 140 Ruggeri displayed a typical behavior of calcicole plants under bicarbonate stress. The Fe chlorosis susceptible rootstock 101-14 reacted to a prolonged Fe-deficiency reducing the root activity of PEPC and MDH. Noteworthy, it accumulates high levels of citric acid in roots, indicating a low capacity to utilizing, transporting and/or exudating organic acids into the rhizosfere. In contrast, 110 Richter rootstock is capable to maintain an active metabolism of organic acids in roots, accumulating them to a lesser extent than 101-14. Similarly to 101-14, SO4 genotype displays a strong decrease of mechanisms associated to Fe chlorosis tolerance (PEPC and MDH enzymes). Nevertheless it is able to avoid excessive accumulation of citric acid in roots, similar as 110 Richter rootstock. Intercropping with Festuca rubra increased leaf chlorophyll content and net photosynthesis. In addition, intercropping reduces the activity of PEPC in roots, similary to Fe-chelate supply. Applications of NH4+ with nitrification inhibitor prevents efficiently Fe-deficiency, increases chlorophyll content, and induces similar root biochemical responses as Fe-EDDHA. Without the addition of nitrification inhibitors, the effectiveness of NH4+ supply on Fe chlorosis prevention resulted significantly lower. The aspects intertwined in this investigation highlight the complexity of Fe physiology and the fine metabolic tuning of grapevine genotypes to Fe availability and soil-related environmental factors. The experimental evidences reveal the need to carry out future researches on Fe nutrition maintaining a continous flow of knowledge between theoretical and agronomical perspectives for fully supporting the efforts devoted to convert science into practice.

Algal wastewater treatment and biomass producing potential: nutrient removal efficiency and cell physiological responses

Microalgae are sun - light cell factories that convert carbon dioxide to biofuels, foods, feeds, and other bioproducts. The concept of microalgae cultivation as an integrated system in wastewater treatment has optimized the potential of the microalgae - based biofuel production. These microorganisms contains lipids, polysaccharides, proteins, pigments and other cell compounds, and their biomass can provide different kinds of biofuels such as biodiesel, biomethane and ethanol. The algal biomass application strongly depends on the cell composition and the production of biofuels appears to be economically convenient only in conjunction with wastewater treatment. The aim of this research thesis was to investigate a biological wastewater system on a laboratory scale growing a newly isolated freshwater microalgae, Desmodesmus communis, in effluents generated by a local wastewater reclamation facility in Cesena (Emilia Romagna, Italy) in batch and semi - continuous cultures. This work showed the potential utilization of this microorganism in an algae - based wastewater treatment; Desmodesmus communis had a great capacity to grow in the wastewater, competing with other microorganisms naturally present and adapting to various environmental conditions such as different irradiance levels and nutrient concentrations. The nutrient removal efficiency was characterized at different hydraulic retention times as well as the algal growth rate and biomass composition in terms of proteins, polysaccharides, total lipids and total fatty acids (TFAs) which are considered the substrate for biodiesel production. The biochemical analyses were coupled with the biomass elemental analysis which specified the amount of carbon and nitrogen in the algal biomass. Furthermore photosynthetic investigations were carried out to better correlate the environmental conditions with the physiology responses of the cells and consequently get more information to optimize the growth rate and the increase of TFAs and C/N ratio, cellular compounds and biomass parameter which are fundamental in the biomass energy recovery.

The Domon Family of Plant Plasma Membrane B-Type Cytochromes: Heterologous Expression, Biochemical Characterization and Physiological Roles in Vivo

The DOMON domain is a domain widespread in nature, predicted to fold in a β-sandwich structure. In plants, AIR12 is constituted by a single DOMON domain located in the apoplastic space and is GPI-modified for anchoring to the plasma membrane. Arabidopsis thaliana AIR12 has been heterologously expressed as a recombinant protein (recAtAIR12) in Pichia pastoris. Spectrophotometrical analysis of the purified protein showed that recAtAir12 is a cytochrome b. RecAtAIR12 is highly glycosylated, it is reduced by ascorbate, superoxide and naftoquinones, oxidised by monodehydroascorbate and oxygen and insensitive to hydrogen peroxide. The addition of recAtAIR12 to permeabilized plasma membranes containing NADH, FeEDTA and menadione, caused a statistically significant increase in hydroxyl radicals as detected by electron paramagnetic resonance. In these conditions, recAtAIR12 has thus a pro-oxidant role. Interestingly, AIR12 is related to the cytochrome domain of cellobiose dehydrogenase which is involved in lignin degradation, possibly via reactive oxygen species (ROS) production. In Arabidopsis the Air12 promoter is specifically activated at sites where cell separations occur and ROS, including •OH, are involved in cell wall modifications. air12 knock-out plants infected with Botrytis cinerea are more resistant than wild-type and air12 complemented plants. Also during B. cinerea infection, cell wall modifications and ROS are involved. Our results thus suggest that AIR12 could be involved in cell wall modifying reactions by interacting with ROS and ascorbate. CyDOMs are plasma membrane redox proteins of plants that are predicted to contain an apoplastic DOMON fused with a transmembrane cytochrome b561 domain. CyDOMs have never been purified nor characterised. The trans-membrane portion of a soybean CyDOM was expressed in E. coli but purification could not be achieved. The DOMON domain was expressed in P. pastoris and shown to be itself a cytochrome b that could be reduced by ascorbate.

Understanding The Physiological, Biochemical, and Molecular Mechanisms of Salinity Tolerance in Strawberry Cultivars and in HvTPK1-Overexpressed Barley

The research was carried out to investigate of main elements of salt stress response in two strawberry cultivars, Elsanta and Elsinore. Plants were grown under 0, 10, 20 and 40 mM NaCl for 80 days. Salinity dramatically affected growth in both cultivars, although Elsinore appeared to be more impaired than Elsanta. Moreover a significant reduction of leaf photosynthesis, evaporation, and stomatal conductance was recorded 24 hrs after the stress was applied in both cultivars, whereas physiological functions were differentially restored after acclimation. However, cv. Elsanta had more efficient leaf gas exchange and water status than cv. Elsinore. In general, Fruit yield reduced upon salinization, wheares fruit quality concerning fruit taste, aroma, appearance, total soluble solids and titratable acidity, did not change but rather was enhanced under moderate salinity. On the other hand fruit quality was impaired at severe salt stress. Fruit antioxidant content and antioxidant capacity were enhanced significantly by increasing salt concentration in both cultivars. The oxidative effects of the stress were defined by the measures of some enzymatic activities and lipid peroxidation. Consistently, an increase in superoxide dismutase (SOD), catalase (CAT), peroxide dismutase (POD) enzymes and higher content of proline and soluble proteins were observed in cv. Elsinore than in cv. Elsanta. The increase coincided with a decrease in lipid peroxidation. The research confirmed that although strawberry cultivars were sensitive to salinity, difference between cultivars exist; The experiment revealed that cv. Elsanta could stand severe salt stress, which was lethal to cv. Elsinore. The parameters measured in the previous experiment were proposed as early screening tools for the salt stress response in nine strawberry genotypes. The results showed that, wheares Elsanta and Elsinore cultivars had a lower dry weight reduction at 40 mM NaCl among cultivars, Naiad, Kamila, and Camarosa were the least salt-sensitive cultivars among the screened.

Physiological and structural aspects of fruit and vegetable mild processing

Over the past years fruit and vegetable industry has become interested in the application of both osmotic dehydration and vacuum impregnation as mild technologies because of their low temperature and energy requirements. Osmotic dehydration is a partial dewatering process by immersion of cellular tissue in hypertonic solution. The diffusion of water from the vegetable tissue to the solution is usually accompanied by the simultaneous solutes counter-diffusion into the tissue. Vacuum impregnation is a unit operation in which porous products are immersed in a solution and subjected to a two-steps pressure change. The first step (vacuum increase) consists of the reduction of the pressure in a solid-liquid system and the gas in the product pores is expanded, partially flowing out. When the atmospheric pressure is restored (second step), the residual gas in the pores compresses and the external liquid flows into the pores. This unit operation allows introducing specific solutes in the tissue, e.g. antioxidants, pH regulators, preservatives, cryoprotectancts. Fruit and vegetable interact dynamically with the environment and the present study attempts to enhance our understanding on the structural, physico-chemical and metabolic changes of plant tissues upon the application of technological processes (osmotic dehydration and vacuum impregnation), by following a multianalytical approach. Macro (low-frequency nuclear magnetic resonance), micro (light microscopy) and ultrastructural (transmission electron microscopy) measurements combined with textural and differential scanning calorimetry analysis allowed evaluating the effects of individual osmotic dehydration or vacuum impregnation processes on (i) the interaction between air and liquid in real plant tissues, (ii) the plant tissue water state and (iii) the cell compartments. Isothermal calorimetry, respiration and photosynthesis determinations led to investigate the metabolic changes upon the application of osmotic dehydration or vacuum impregnation. The proposed multianalytical approach should enable both better designs of processing technologies and estimations of their effects on tissue.

Computational Modeling of Cardiac Excitation-Contraction Coupling in Physiological and Pathological Conditions

The cardiomyocyte is a complex biological system where many mechanisms interact non-linearly to regulate the coupling between electrical excitation and mechanical contraction. For this reason, the development of mathematical models is fundamental in the field of cardiac electrophysiology, where the use of computational tools has become complementary to the classical experimentation. My doctoral research has been focusing on the development of such models for investigating the regulation of ventricular excitation-contraction coupling at the single cell level. In particular, the following researches are presented in this thesis: 1) Study of the unexpected deleterious effect of a Na channel blocker on a long QT syndrome type 3 patient. Experimental results were used to tune a Na current model that recapitulates the effect of the mutation and the treatment, in order to investigate how these influence the human action potential. Our research suggested that the analysis of the clinical phenotype is not sufficient for recommending drugs to patients carrying mutations with undefined electrophysiological properties. 2) Development of a model of L-type Ca channel inactivation in rabbit myocytes to faithfully reproduce the relative roles of voltage- and Ca-dependent inactivation. The model was applied to the analysis of Ca current inactivation kinetics during normal and abnormal repolarization, and predicts arrhythmogenic activity when inhibiting Ca-dependent inactivation, which is the predominant mechanism in physiological conditions. 3) Analysis of the arrhythmogenic consequences of the crosstalk between β-adrenergic and Ca-calmodulin dependent protein kinase signaling pathways. The descriptions of the two regulatory mechanisms, both enhanced in heart failure, were integrated into a novel murine action potential model to investigate how they concur to the development of cardiac arrhythmias. These studies show how mathematical modeling is suitable to provide new insights into the mechanisms underlying cardiac excitation-contraction coupling and arrhythmogenesis.

Constraint based methods for allocation and scheduling of periodic applications

This work presents exact algorithms for the Resource Allocation and Cyclic Scheduling Problems (RA&CSPs). Cyclic Scheduling Problems arise in a number of application areas, such as in hoist scheduling, mass production, compiler design (implementing scheduling loops on parallel architectures), software pipelining, and in embedded system design. The RA&CS problem concerns time and resource assignment to a set of activities, to be indefinitely repeated, subject to precedence and resource capacity constraints. In this work we present two constraint programming frameworks facing two different types of cyclic problems. In first instance, we consider the disjunctive RA&CSP, where the allocation problem considers unary resources. Instances are described through the Synchronous Data-flow (SDF) Model of Computation. The key problem of finding a maximum-throughput allocation and scheduling of Synchronous Data-Flow graphs onto a multi-core architecture is NP-hard and has been traditionally solved by means of heuristic (incomplete) algorithms. We propose an exact (complete) algorithm for the computation of a maximum-throughput mapping of applications specified as SDFG onto multi-core architectures. Results show that the approach can handle realistic instances in terms of size and complexity. Next, we tackle the Cyclic Resource-Constrained Scheduling Problem (i.e. CRCSP). We propose a Constraint Programming approach based on modular arithmetic: in particular, we introduce a modular precedence constraint and a global cumulative constraint along with their filtering algorithms. Many traditional approaches to cyclic scheduling operate by fixing the period value and then solving a linear problem in a generate-and-test fashion. Conversely, our technique is based on a non-linear model and tackles the problem as a whole: the period value is inferred from the scheduling decisions. The proposed approaches have been tested on a number of non-trivial synthetic instances and on a set of realistic industrial instances achieving good results on practical size problem.