The early activities of front end of innovation in oem companies using a new fei platform as a framework for renewal

The main goal of this study is to create a seamless chain of actions and more detailed structure to the front end of innovation to be able to increase the front end performance and finally to influence the renewal of companies. The main goal is achieved through by the new concept of an integrated model of early activities of FEI leading to a discovery of new elements of opportunities and the identification of new business and growth areas. The procedure offers one possible solution to a dynamic strategy formation process in innovation development cycle. In this study the front end of innovation is positioned between a strategy reviews and a concept creation with needed procedures, tools, and frameworks. The starting point of the study is that the origins of innovation are not well enough understood. The study focuses attention on the early activities of FEI. These first activities are conceptualized in order to find out successful innovation initiatives and strategic renewal agendas. A seamless chain of activities resulting in faster and more precise identification of opportunities and growth areas available on markets and inside companies is needed. Three case studies were conducted in order to study company views on available theory doctrine and to identify the first practical experiences and procedures in the beginning of the front end of innovation. Successful innovation requires focus on renewal in both internal and external directions and they should be carefully balanced for best results. Instead of inside-out mode of actions the studied companies have a strong outside-in thinking mode and they mainly co-develop their innovation initiatives in close proximity with customers i.e. successful companies are an integral part of customers business and success. Companies have tailor-made innovation processes combined their way of working linked to their business goals, and priorities of actual needs of transformation. The result of this study is a new modular FEI platform which can be configured by companies against their actual business needs and drivers. This platform includes new elements of FEI documenting an architecture presenting how the system components work together. The system is a conceptual approach from theories of emergent strategy formation, opportunity identification and creation, interpretation-analysis-experimentation triad and the present FEI theories. The platform includes new features compared to actual models of FEI. It allows managers to better understand the importance of FEI in the whole innovation development stage and FEI as a phase and procedure to discover and implement emergent strategy. An adaptable company rethinks and redirects strategy proactively from time to time. Different parts of the business model are changed to remove identified obstacles for growth and renewal which gives them avenues to find right reforms for renewal.

Application and development of numerical methods for the modelling of innovative gas cooled fission reactors

Innovative gas cooled reactors, such as the pebble bed reactor (PBR) and the gas cooled fast reactor (GFR) offer higher efficiency and new application areas for nuclear energy. Numerical methods were applied and developed to analyse the specific features of these reactor types with fully three dimensional calculation models. In the first part of this thesis, discrete element method (DEM) was used for a physically realistic modelling of the packing of fuel pebbles in PBR geometries and methods were developed for utilising the DEM results in subsequent reactor physics and thermal-hydraulics calculations. In the second part, the flow and heat transfer for a single gas cooled fuel rod of a GFR were investigated with computational fluid dynamics (CFD) methods. An in-house DEM implementation was validated and used for packing simulations, in which the effect of several parameters on the resulting average packing density was investigated. The restitution coefficient was found out to have the most significant effect. The results can be utilised in further work to obtain a pebble bed with a specific packing density. The packing structures of selected pebble beds were also analysed in detail and local variations in the packing density were observed, which should be taken into account especially in the reactor core thermal-hydraulic analyses. Two open source DEM codes were used to produce stochastic pebble bed configurations to add realism and improve the accuracy of criticality calculations performed with the Monte Carlo reactor physics code Serpent. Russian ASTRA criticality experiments were calculated. Pebble beds corresponding to the experimental specifications within measurement uncertainties were produced in DEM simulations and successfully exported into the subsequent reactor physics analysis. With the developed approach, two typical issues in Monte Carlo reactor physics calculations of pebble bed geometries were avoided. A novel method was developed and implemented as a MATLAB code to calculate porosities in the cells of a CFD calculation mesh constructed over a pebble bed obtained from DEM simulations. The code was further developed to distribute power and temperature data accurately between discrete based reactor physics and continuum based thermal-hydraulics models to enable coupled reactor core calculations. The developed method was also found useful for analysing sphere packings in general. CFD calculations were performed to investigate the pressure losses and heat transfer in three dimensional air cooled smooth and rib roughened rod geometries, housed inside a hexagonal flow channel representing a sub-channel of a single fuel rod of a GFR. The CFD geometry represented the test section of the L-STAR experimental facility at Karlsruhe Institute of Technology and the calculation results were compared to the corresponding experimental results. Knowledge was gained of the adequacy of various turbulence models and of the modelling requirements and issues related to the specific application. The obtained pressure loss results were in a relatively good agreement with the experimental data. Heat transfer in the smooth rod geometry was somewhat under predicted, which can partly be explained by unaccounted heat losses and uncertainties. In the rib roughened geometry heat transfer was severely under predicted by the used realisable k − epsilon turbulence model. An additional calculation with a v2 − f turbulence model showed significant improvement in the heat transfer results, which is most likely due to the better performance of the model in separated flow problems. Further investigations are suggested before using CFD to make conclusions of the heat transfer performance of rib roughened GFR fuel rod geometries. It is suggested that the viewpoints of numerical modelling are included in the planning of experiments to ease the challenging model construction and simulations and to avoid introducing additional sources of uncertainties. To facilitate the use of advanced calculation approaches, multi-physical aspects in experiments should also be considered and documented in a reasonable detail.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Expression of MMP-2 and MMP-9 in the rat trigeminal ganglion during the development of temporomandibular joint inflammation

Orofacial pain is a prevalent symptom in modern society. Some musculoskeletal orofacial pain is caused by temporomandibular disorders (TMDs). This condition has a multi-factorial etiology, including emotional factors and alteration of the masticator muscle and temporomandibular joints (TMJs). TMJ inflammation is considered to be a cause of pain in patients with TMD. Extracellular proteolytic enzymes, specifically the matrix metalloproteinases (MMPs), have been shown to modulate inflammation and pain. The purpose of this investigation was to determine whether the expression and level of gelatinolytic activity of MMP-2 and MMP-9 in the trigeminal ganglion are altered during different stages of temporomandibular inflammation, as determined by gelatin zymography. This study also evaluated whether mechanical allodynia and orofacial hyperalgesia, induced by the injection of complete Freund's adjuvant into the TMJ capsule, were altered by an MMP inhibitor (doxycycline, DOX). TMJ inflammation was measured by plasma extravasation in the periarticular tissue (Evans blue test) and infiltration of polymorphonuclear neutrophils into the synovial fluid (myeloperoxidase enzyme quantification). MMP expression in the trigeminal ganglion was shown to vary during the phases of the inflammatory process. MMP-9 regulated the early phase and MMP-2 participated in the late phase of this process. Furthermore, increases in plasma extravasation in periarticular tissue and myeloperoxidase activity in the joint tissue, which occurred throughout the inflammation process, were diminished by treatment with DOX, a nonspecific MMP inhibitor. Additionally, the increases of mechanical allodynia and orofacial hyperalgesia were attenuated by the same treatment.

Influence of multi-phase phenomena on semibatch crystallization processes of aqueous solutions

Crystal properties, product quality and particle size are determined by the operating conditions in the crystallization process. Thus, in order to obtain desired end-products, the crystallization process should be effectively controlled based on reliable kinetic information, which can be provided by powerful analytical tools such as Raman spectrometry and thermal analysis. The present research work studied various crystallization processes such as reactive crystallization, precipitation with anti-solvent and evaporation crystallization. The goal of the work was to understand more comprehensively the fundamentals, phenomena and utilizations of crystallization, and establish proper methods to control particle size distribution, especially for three phase gas-liquid-solid crystallization systems. As a part of the solid-liquid equilibrium studies in this work, prediction of KCl solubility in a MgCl2-KCl-H2O system was studied theoretically. Additionally, a solubility prediction model by Pitzer thermodynamic model was investigated based on solubility measurements of potassium dihydrogen phosphate with the presence of non-electronic organic substances in aqueous solutions. The prediction model helps to extend literature data and offers an easy and economical way to choose solvent for anti-solvent precipitation. Using experimental and modern analytical methods, precipitation kinetics and mass transfer in reactive crystallization of magnesium carbonate hydrates with magnesium hydroxide slurry and CO2 gas were systematically investigated. The obtained results gave deeper insight into gas-liquid-solid interactions and the mechanisms of this heterogeneous crystallization process. The research approach developed can provide theoretical guidance and act as a useful reference to promote development of gas-liquid reactive crystallization. Gas-liquid mass transfer of absorption in the presence of solid particles in a stirred tank was investigated in order to gain understanding of how different-sized particles interact with gas bubbles. Based on obtained volumetric mass transfer coefficient values, it was found that the influence of the presence of small particles on gas-liquid mass transfer cannot be ignored since there are interactions between bubbles and particles. Raman spectrometry was successfully applied for liquid and solids analysis in semi-batch anti-solvent precipitation and evaporation crystallization. Real-time information such as supersaturation, formation of precipitates and identification of crystal polymorphs could be obtained by Raman spectrometry. The solubility prediction models, monitoring methods for precipitation and empirical model for absorption developed in this study together with the methodologies used gives valuable information for aspects of industrial crystallization. Furthermore, Raman analysis was seen to be a potential controlling method for various crystallization processes.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Utilization of multi-branding in business to business markets

Case company utilizes multi-branding strategy (or house of brands strategy) in its product portfolio. In practice the company has multiple brands – one main brand and four acquired brands – which all utilize one single product platform. The objective of this research is to analyze case company’s multi-branding strategy and its benefits and challenges. Moreover, the purpose is to clarify that how could a company in B2B markets utilize multi-branding strategy more efficiently and profitably. The theoretical part of this thesis consists of aspects of branding strategies; different brand name architectures, benefits and challenges of different strategies and different ways of utilize branding strategies in mergers and acquisitions. The empirical part, on the other hand, includes the description of the case company’s branding strategy and the employees’ perspective on the benefits and challenges of multi-branding strategy, and how to utilize it more efficiently and profitably. This study shows, that the major benefits of utilizing multi-branding are lower production costs, ability to reach wider market coverage, possibility to utilize common sales tools, synergies in R&D and shared resources. On the other hand, the major challenges are lack of product differentiation, internal competition, branding issues in production and deliveries, pricing issues and conflicts, and compromises in product compatibility and suitability. Based on the results, several ways to utilize multi-branding strategy more efficiently and profitably were found; by putting more effort on brand image and product differentiation, by having more co-operation among the brands and by focusing on more precise customer and market segmentation.

Development of hypogene and supergene alteration and copper mineralization patterns, Sar Cheshmeh porphyry copper deposits, Iran /

The formation of the Sar Cheshmeh porphyry Cu-Mo deposit is related to the culmination of calc-alkaline igneous activity in the Kerman region. The deposit comprises a suite of Late Cenozoic intrusive sub-volcanic and extrusive rocks emplaced into a folded series of Eocene andesitic lavas and pyroclastic sediments. The earliest stage of magmatism was emplacement of a large granodiorite stock about 29 m.y.b.p. This was followed by intrusion of two separate porphyritic bodies at 15 (Sar Cheshrneh porphyry) and 12 m.y.b.p. (Late porphyry) and a series of sub-volcanic dikes between 12 and 9 m.y.b.p. Magmatic activity terminated with multi-phase extrusion of a Pelean dacitic dome complex between 10 and 2.8 m.y.b.p. The country rocks and the earlier porphyritic intrusions are pervasively altered to biotite-rich potassium silicate (metasomatic and hydrothermal) sericite-clay, phyllic and chlorite-clay, argillic assemblages. These grade outwards to an extensive propylitic zone. Within the ore body, the later intra-. and post-mineral dikes only reach the propylitic grade. At least three different sets of quartz veins are present, including a sericite-chlorite-quartz set which locally retrogrades pervasive secondary biotite to sericite. In the hypogene zone, metasomatic and hydrothermal alteration is related to all stages of magmatism but copper mineralization and veining are restricted to a period of 15 to 9 m.y.b.p.related to the early intrusive phases. The copper mineralization and silicate alteration do not fit a simple annular ring model but have been greatly modified by, 1. The existence of an ititial, outer ring, of metasomatic alteration overprinted by an inner.ring of hydrothermal alteration and, 2. later extensive dilating effects of intra- and post-mineral dikes. The hydrothermal clay mineral assemblage in the hypogene zone is illite-chlorite-kaolinite-smectite (beidellite). Preliminary studies indicate that the amount of each of these clays varies vertically and that hydrothermal zonation of clay minerals is possible. However, these minerals alter to illite-kaolinite assemblages in the supergene sulfide zone and to more kaolinite-rich assemblages in the supergene leached zone. Hydrothermal biotite breaks down readily in the supergene zone and is not well preserved in surface outcrops. The distribution of copper minerals in the supergene sulfide enrichment zone is only partly related to rock type being more dependent on topography and the availability of fractures.

Early Development of Auditory-Verbal and Visual-Spatial Short-Term Memory: Age and Sex Effects

Memory is a multi-component cognitive ability to retain and retrieve information presented in different modalities. Research on memory development has shown that the memory capacity and the processes improve gradually from early childhood to adolescence. Findings related to the sex-differences in memory abilities in early childhood have been inconsistent. Although previous research has demonstrated the effects of the modality of stimulus presentation (auditory versus verbal) and the type of material to be remembered (visual/spatial versus auditory/verbal) on the memory processes and memory organization, the recent research with children is rather limited. The present study is a secondary analysis of data, originally collected from 530 typically developing Turkish children and adolescents. The purpose of the present study was to examine the age-related developments and sex differences in auditory-verbal and visual-spatial short-term memory (STM) in 177 typically developing male and female children, 5 to 8 years of age. Dot-Locations and Word-Lists from the Children's Memory Scale were used to measure visual-spatial and auditory-verbal STM performances, respectively. The findings of the present study suggest age-related differences in both visual-spatial and auditory-verbal STM. Sex-differences were observed only in one visual-spatial STM subtest performance. Modality comparisons revealed age- and task-related differences between auditory-verbal and visual-spatial STM performances. There were no sex-related effects in terms of modality specific performances. Overall, the results of this study provide evidence of STM development in early childhood, and these effects were mostly independent of sex and the modality of the task.

An Examination of the Development of Online Higher Education in Canada and China: Keeping Pace and Making Space

This study examined the similarities and differences that currently exist between Chinese and Canadian online higher education, and explored the economic, political, and sociocultural environments that have shaped online education in these two jurisdictions. Furthermore, this paper discussed the efficacy of, and potential for, future development of online learning in higher education in both Canada and China. The research employed a collective case study design to gather information and data on the development of online higher education. The analysis on Contact North in Canada and the One-Man University in China provide a comparative perspective on the development of 2 typical online higher educational institutions in these two countries. The study revealed that the development of online higher education is influenced by the economic, political, and sociocultural factors of environment. Contact North and the One-Man University share similarities in many aspects, but are characteristically different. The Contact North can set an example for establishing and operating a self-regulated MOOCs platform. The study also generated implications for both organizations.

Best Practices of Sport For Development: A Case Study of An African Organization

Sport-for-development is the active practice of achieving social ideals through the use of sport and other traditional development programs. The purpose of this thesis was to evaluate SFD best practices from the context of an African organization development project. The case was a development organization in Zambia, Africa that was utilizing sport within its strategy. The data collection and analysis framed using Curado and Bontis (2007) MIC Matrix, the Sport For Development International Working Group’s (2007) best practices model, and B. Kidd’s (2011) Sport-in-Development Logic Model. The research supports that a SFD project is multi-faceted and should include the employment of strategic community programming on the basis of collaborative and integrative sport, health care and education. Further, the researcher found that the best practices include setting specific goals and objectives, as well as instituting regular monitoring and evaluation strategies

A phylogenomics approach to resolving fungal evolution, and phylogenetic method development

Bien que les champignons soient régulièrement utilisés comme modèle d'étude des systèmes eucaryotes, leurs relations phylogénétiques soulèvent encore des questions controversées. Parmi celles-ci, la classification des zygomycètes reste inconsistante. Ils sont potentiellement paraphylétiques, i.e. regroupent de lignées fongiques non directement affiliées. La position phylogénétique du genre Schizosaccharomyces est aussi controversée: appartient-il aux Taphrinomycotina (précédemment connus comme archiascomycetes) comme prédit par l'analyse de gènes nucléaires, ou est-il plutôt relié aux Saccharomycotina (levures bourgeonnantes) tel que le suggère la phylogénie mitochondriale? Une autre question concerne la position phylogénétique des nucléariides, un groupe d'eucaryotes amiboïdes que l'on suppose étroitement relié aux champignons. Des analyses multi-gènes réalisées antérieurement n'ont pu conclure, étant donné le choix d'un nombre réduit de taxons et l'utilisation de six gènes nucléaires seulement. Nous avons abordé ces questions par le biais d'inférences phylogénétiques et tests statistiques appliqués à des assemblages de données phylogénomiques nucléaires et mitochondriales. D'après nos résultats, les zygomycètes sont paraphylétiques (Chapitre 2) bien que le signal phylogénétique issu du jeu de données mitochondriales disponibles est insuffisant pour résoudre l'ordre de cet embranchement avec une confiance statistique significative. Dans le Chapitre 3, nous montrons à l'aide d'un jeu de données nucléaires important (plus de cent protéines) et avec supports statistiques concluants, que le genre Schizosaccharomyces appartient aux Taphrinomycotina. De plus, nous démontrons que le regroupement conflictuel des Schizosaccharomyces avec les Saccharomycotina, venant des données mitochondriales, est le résultat d'un type d'erreur phylogénétique connu: l'attraction des longues branches (ALB), un artéfact menant au regroupement d'espèces dont le taux d'évolution rapide n'est pas représentatif de leur véritable position dans l'arbre phylogénétique. Dans le Chapitre 4, en utilisant encore un important jeu de données nucléaires, nous démontrons avec support statistique significatif que les nucleariides constituent le groupe lié de plus près aux champignons. Nous confirmons aussi la paraphylie des zygomycètes traditionnels tel que suggéré précédemment, avec support statistique significatif, bien que ne pouvant placer tous les membres du groupe avec confiance. Nos résultats remettent en cause des aspects d'une récente reclassification taxonomique des zygomycètes et de leurs voisins, les chytridiomycètes. Contrer ou minimiser les artéfacts phylogénétiques telle l'attraction des longues branches (ALB) constitue une question récurrente majeure. Dans ce sens, nous avons développé une nouvelle méthode (Chapitre 5) qui identifie et élimine dans une séquence les sites présentant une grande variation du taux d'évolution (sites fortement hétérotaches - sites HH); ces sites sont connus comme contribuant significativement au phénomène d'ALB. Notre méthode est basée sur un test de rapport de vraisemblance (likelihood ratio test, LRT). Deux jeux de données publiés précédemment sont utilisés pour démontrer que le retrait graduel des sites HH chez les espèces à évolution accélérée (sensibles à l'ALB) augmente significativement le support pour la topologie « vraie » attendue, et ce, de façon plus efficace comparée à d'autres méthodes publiées de retrait de sites de séquences. Néanmoins, et de façon générale, la manipulation de données préalable à l'analyse est loin d’être idéale. Les développements futurs devront viser l'intégration de l'identification et la pondération des sites HH au processus d'inférence phylogénétique lui-même.

La gouvernance des projets d’architecture : une typologie de la multi-organisation temporaire

Les débats éthiques sur l’architecture ont traditionnellement abordé trois thématiques récurrentes : la beauté, la solidité et l’utilité de l’œuvre architecturale. Plus récemment, les nouvelles connaissances provenant du domaine de la gestion des projets et du développement durable ont apporté d’importantes contributions à la compréhension de la gouvernance de projets. Cependant, la démarche de réalisation des projets d’architecture est tributaire des caractéristiques propres à l’industrie du bâtiment; une industrie qui fonctionne grâce à la mise en place d’équipes temporaires formées par des organisations hautement spécialisées. L’analyse systémique d’études de cas permet d’identifier la complexité des équipes qui interviennent dans les projets d’architecture. Nous examinons dans cet article trois caractéristiques de l’industrie du bâtiment : (i) la complexité organisationnelle du donneur d’ouvrage, (ii) l’influence des parties prenantes, et (iii) les divers niveaux de proximité entre l’architecte et les usagers. L’identification des diverses configurations organisationnelles met en évidence les effets de ces caractéristiques sur les relations formelles et informelles entre l’architecte et les donneurs d’ouvrage ainsi que celles entre toutes les parties prenantes. L’architecte est contraint de travailler sur un projet qui devient, de plus en plus, l’objet de négociation entre les diverses parties prenantes. Face à ce défi, il doit tenir compte de la complexité des relations entre tous les acteurs au sein du système social du projet et créer les scénarios adéquats à la participation, à la négociation et aux échanges entre eux.

Développement d’une méthode de simulation multi-échelle pour l’étude des grandes transformations dans les protéines

Les films de simulations qui accompagnent le document ont été réalisés avec Pymol.

Identification des bases génétiques des myopathies à multi-minicores avec ou sans cardiomyopathie

Thèse réalisée en cotutelle avec l'Université Pierre et Marie Curie, Paris 6(UPMC, Paris, France).