148,253 Works

Metabolomics of Charentais Melon Fruits

Catherine Deborde
Metabolomics approaches using 1H-NMR and GC-EI-TOF-MS profiling were employed to characterise three F1 hybrid cultivars (Cézanne, Escrito and Hugo) of Charentais melon (Cucumis melo L.). This experiment has been deposited in the MeRy-B database, a plant metabolomics platform allowing the storage and visualisation of Nuclear Magnetic Resonance (NMR) metabolic profiles from plants (http://www.cbib.ubordeaux2.fr/MERYB/).

Dendritic cells and antiviral defenses

Marc Dalod
The goal of our research is to identify new molecular pathways regulating the biology of DC subsets or more generally innate immune responses to viral infection. The model used is murine cytomegalovirus (MCMV) infection. The specific aims are 1) to determine the molecular bases regulating in vivo differentiation and anti-viral functions of DC subsets, 2) to investigate further NK cell anti-viral and immunoregulatory functions during viral infection, and 3) to identify viral molecules and cellular...

Evaluation of MALDI-TOF Mass spectrometry detection of DNA noncovalent complexes with basic polypeptides or polyamines

Peran Terrier, Jeanine Tortajada, Gregoire Zin & Wiliam Buchmann
In this work, MALDI-MS was evaluated as a method for the study of noncovalent complexes involving DNA and basic polypeptides (penta-L-arginine, penta-L-lysine) or polyamines (polypropylenimine dendrimers, linear and branched polyethylenimines).

Effect of Segregation during Crystallization of Highly Impure Upgraded Metallurgical Silicon

F. Boldt, J. Hampel, Y. Wencel, W. Kwapil, J. Broisch, F. Fertig, S. Rein & S. Reber
25th European Photovoltaic Solar Energy Conference and Exhibition / 5th World Conference on Photovoltaic Energy Conversion, 6-10 September 2010, Valencia, Spain; 1499-1502

Major metabolites of Charentais melon flesh

Benoit Biais, J William Allwood, Catherine Deborde, Yun Xu, Mickael Maucourt, Bertrand Beauvoit, Warwick B Dunn, Daniel Jacob, Royston Goodacre, Dominique Rolin & Annick Moing
The major metabolites of melon flesh of three F1 hybrid cultivars (Cézanne, Escrito and Hugo) of Charentais melon (Cucumis melo L.) were analysed by quantitative 1H-NMR of polar extracts. This experiment has been deposited in the MeRy-B database, a plant metabolomics platform allowing the storage and visualisation of Nuclear Magnetic Resonance (NMR) metabolic profiles from plants (http://www.cbib.u-bordeaux2.fr/MERYB/).

Effect of sulfated oligosaccharides (heparin and fucoidan) on the oligomerization of stromal cell-derived factor-1

Soraya Fermas, Florence Gonnet, Angela Sutton, Nathalie Charnaux, Barbara Mulloy, Yuguo Du, Françoise Baleux & Régis Daniel
We investigate the dimerization of SDF-1 in microM concentration and in the presence of sulfated oligosaccharides, using affinity capillary electrophoresis (ACE) hyphenated to electrospray ionization-mass spectrometry (ESI/MS). Chemokine stromal cell-derived factor-1 (SDF-1) is a potent chemoattractant involved in leukocyte trafficking and metastasis. Heparan sulfate on the cell surface binds SDF-1 and may modulate its function as a coreceptor of this chemokine. A major effect of the glycosaminoglycan binding may be on the quaternary structure of...

Model refactoring using transformations

Slavisa Markovic
Modern software is reaching levels of complexity encountered in biological systems; sometimes comprising systems of systems each of which may include tens of millions of lines of code. Model Driven Engineering (MDE) advocates raising the level of abstraction as an instrument to deal with software complexity. It promotes usage of software models as primary artifacts in a software development process. Traditionally, these MDE models are specified by Unified Modeling Language (UML) or by a modeling...

An incremental prototyping methodology for distributed systems based on formal specifications

Jarle Hulaas
This thesis presents a new incremental prototyping methodology for formally specified distributed systems. The objective of this methodology is to fill the gap which currently exists between the phase where a specification is simulated, generally using some sequential logical inference tool, and the phase where the modeled system has a reliable, efficient and maintainable distributed implementation in a main-stream object-oriented programming language. This objective is realized by application of a methodology we call Mixed Prototyping...

Replication of non-deterministic objects

Thomas Wolf
This thesis discusses replication of non-deterministic objects in distributed systems to achieve fault tolerance against crash failures. The objects replicated are the virtual nodes of a distributed application. Replication is viewed as an issue that is to be dealt with only during the configuration of a distributed application and that should not affect the development of the application. Hence, replication of virtual nodes should be transparent to the application. Like all measures to achieve fault...

Modelling and monitoring industrial automation systems:with IEC 61346 and SFC

Rodrigo Garcia Garcia
The modelling of a manufacturing enterprise is not an easy task. A manufacturing enterprise is a complex system where technical knowledge is as important as management abilities. For taking more accurate management decisions and for these decisions to have a quick impact on manufacturing activities, the communication between the higher and lower levels of an enterprise must be fluent. The fluent communication of the different levels of an enterprise is called integration. When this integration...

Generation of object-oriented programs from CO-OPN specifications

Stanislav Chachkov
The execution of formal specifications is important for verification, validation and animation purposes. This thesis describes transformation of CO-OPN specifications in executable code. The original goal of this transformation was validation by prototyping, but animation and, partially, verification also became interesting goals during the development. The work was already done to study the transformation of CO-OPN specifications to Prolog programs [18], to ADA programs [37] and even to Java programs [57]. Nevertheless the only implemented...

Global continuation for ODE systems over the half-line and study of von Kármán's swirling flow problem

Gilles Evéquoz
This work is concerned with the global continuation for solutions (λ,u,ξ) ∈ R × C1{0}([0,∞), RN) × Rk of the following system of ordinary differential equations: where F: [0,∞) × RN × U × J → RN and φ: U × J → X1, for some open sets J ⊂ R and U ⊂ Rk, and where RN = X1 ⊕ X2 is a given decomposition, with associated projection P: RN → X1. This problem...

Quasilinear second order elliptic systems and topological degree

Hicham Georges Gebran
We consider a large class of quasilinear second order elliptic systems of the form - ∑α,β=1N aαβ(x,u(x)),∇u(x))∂2αβu(x) + b(x,u(x),∇u(x)) = 0, where x varies in an unbounded domain Ω of the Euclidean space RN and u = (u1,...,um) is a vector of functions. These systems generate operators acting between the Sobolev spaces W2,p(Ω, Rm) and Lp(Ω, Rm) for p > N. We investigate then the Fredholm and properness properties of these operators and the connections...

Stepwise refinement of formal specifications based on logical formulae:from CO-OPN/2 specifications to Java programs

Giovanna Di Marzo Serugendo
One of the steps making it possible to increase the quality and the reliability of the software executing on distributed systems consists of the use of methods of software engineering that are known as formal. The majority of the formal methods currently existing correspond in fact more to formal specifications languages than to methods themselves. This is due to the fact that the two fundamental aspects which are: the logic of use of the language...

Proposals for enhancement of the Ada programming language:a software engineering perspective

Mats Weber
This thesis is a critique of the Ada 83 programming language with emphasis on the construction of reusable components and their composition, and more generally on programming "in the large". Ada 83's deficiencies in that area are first described, and then solutions are proposed to most of the problems. The main part of the thesis is a proposal for object-oriented extensions, making classes and objects with inheritance available through package and task types, as a...

Registration Year

  • 2010

Resource Types

  • Text

Data Centers

  • E-Periodica
  • European Society of Radiology
  • EPFL Infoscience
  • German Medical Science
  • e-rara.ch
  • ETH Zürich Research Collection
  • WIP - Renewable Energies
  • Dagstuhl
  • ETA-Florence Renewable Energies
  • e-codices
  • Bibliothek des Wissenschaftsparks Albert Einstein
  • Archaeology Data Service
  • Applied Rheology
  • DESY - Deutsches Elektronen-Synchrotron
  • INIST/CNRS Institut de l'Information Scientifique et Technique