Дисертації з теми "Functional analyse"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Functional analyse".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Ji, Boyang. "Comparative and Functional Genome Analysis of Magnetotactic Bacteria." Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM4065.
Повний текст джерелаMagnetotactic bacteria (MTB) are a diverse group of aquatic prokaryotes, which synthesize membrane-Enclosed magnetic crystals known as magnetosomes. In this thesis, the genome sequences of two marine MTB strains, Magnetospira sp. QH-2 and magneto-Ovoid strain MO-1 were analyzed. The magnetosome gene cluster synteny and mam gene correlation indicate that the insertion of the magnetosome island into QH-2 chromosome occurred after divergence between freshwater and marine magnetospirilla. Comparative genomic analysis revealed three distinct groups of sequenced MTB strains: Group I with Magnetospirillum spp. strains and Magnetospira strain, Group II with MO-1 strain and M. marinus MC-1, and Group III including Desulfovibrio magneticus RS-1. In addition, it shows an adaptive evolution of two marine MTB strains to marine sediments in comparison with closely related freshwater species. Moreover, comparative metabolic network analysis reveals high level of intra-Group similarity and inter-Group variety in MTB. With anoxic network enzymes, potential “MTB” strains are predicted, and are consistent with recently isolated MTB strains. It suggested that the anoxic metabolic network might be one restricted constraint for MTB distribution in bacterial lineages. Interestingly, analyses from ribosomal proteins to the whole MTB genome strongly support a taxonomic chimeric nature of MO-1 and MC-1 genes, and may represent a novel Proteobacteria lineage. Additionally, I also participate to genome analyses of piezophilic Desulfovibrio and Phaeospirillum molischianum strains as well as genome-Wide analysis of bacterial tyrosine kinases
Lensch, Anne Katrin. "Auswirkungen gesundheitsbezogener Ernährungsinformationen auf die Kaufentscheidung : Analyse am Beispiel funktioneller Lebensmittel mit Folsäure /." Hamburg : Kovač, 2009. http://www.verlagdrkovac.de/978-3-8300-4229-7.htm.
Повний текст джерелаWang, Qi. "Multivariate group analyses for functional neuroimaging : conceptual and experimental advances." Thesis, Ecole centrale de Marseille, 2020. http://www.theses.fr/2020ECDM0002.
Повний текст джерелаIn functional neuroimaging experiments, participants perform a set of tasks while their brain activity is recorded, e.g. with electroencephalography (EEG), magnetoencephalography (MEG) or functional magnetic resonance imaging (fMRI). Analysing data from a group of participants, which is often denoted as group-level analysis, aims at identifying traits in the data that relate with the tasks performed by the participant and that are invariant within the population. This allows understanding the functional organization of the brain in healthy subjects and its dysfunctions in pathological populations. While group-level analyses for classical univariate statistical inference schemes, such as the general linear model, have been heavily studied, there are still many open questions for group-level strategies based on multivariate machine learning methods. This thesis therefore focuses on multivariate group-level analysis of functional neuroimaging and brings four contributions. The first contribution is a comparison of the results provided by two classifier-based multivariate group-level strategies: i) the standard one in which one aggregates the performances of within-subject models in a hierarchical analysis, and ii) the scheme we denote as inter-subject pattern analysis, where a population-level predictive model is directly estimated from data recorded on multiple subjects. An extensive set of experiments are conducted on both a large number of artificial datasets - where we parametrically control the size of the multivariate effect and the amount of inter-individual variability - as well as on two real fMRI datasets. Our results show that the two strategies can provide different results and that inter-subject analysis both offers a greater ability to small multivariate effects and facilitates the interpretation of the obtained results at a comparable computational cost.We then provide a survey of the methods that have been proposed to improve inter-subject pattern analysis, which is actually a hard task due to the largely heterogeneous vocabulary employed in the literature dedicated to this topic. Our second contribution consists in first introducing an unifying formalization of this framework, that we cast as a multi-source transductive transfer learning problem, and then in reviewing more than 500 related papers to offer a first comprehensive view of the existing literature where inter-subject pattern analysis was used in task-based functional neuroimaging experiments.Our third contribution is an experimental study that examines the well-foundedness of our multi-source transductive transfer formalization of inter-subject pattern analysis. With fMRI and MEG data recorded from numerous subjects, we demonstrate that between-subject variability impairs the generalization ability of classical machine learning algorithms and that a standard multi-source transductive learning strategy improves the generalization performances of such algorithms. Based on these promising results we further investigate the use of two more advanced machine learning methods to deal with the multi-source problem.The fourth contribution of this thesis is a new multivariate group-level analysis method for functional neuroimaging datasets. Our method is based on optimal transport, which leverages the geometrical properties of multivariate brain patterns to overcome inter-individual differences impacting the traditional group-level analyses. We extend the concept of Wasserstein barycenter, which was initially meant to average probability measures, to make it applicable to arbitrary data that do not necessarily fulfill the properties of a true probability measure. For this, we introduce a new algorithm that estimates a barycenter and provide an experimental study on artificial and real functional MRI
Lensch, Anne Katrin. "Auswirkungen gesundheitsbezogener Ernährungsinformationen auf die Kaufentscheidung Analyse am Beispiel funktioneller Lebensmittel mit Folsäure." Hamburg Kovač, 2008. http://d-nb.info/992492343/04.
Повний текст джерелаCalbrix, Jean. "Questions de topologie en analyse fonctionnelle." Grenoble 2 : ANRT, 1986. http://catalogue.bnf.fr/ark:/12148/cb375962153.
Повний текст джерелаWu, QiongLi. "Sensitivity Analysis for Functional Structural Plant Modelling." Phd thesis, Ecole Centrale Paris, 2012. http://tel.archives-ouvertes.fr/tel-00719935.
Повний текст джерелаAndreescu, Oana Fabiana. "Static analysis of functional programs with an application to the frame problem in deductive verification." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S047/document.
Повний текст джерелаIn the field of software verification, the frame problem refers to establishing the boundaries within which program elements operate. It has notoriously tedious consequences on the specification of frame properties, which indicate the parts of the program state that an operation is allowed to modify, as well as on their verification, i.e. proving that operations modify only what is specified by their frame properties. In the context of interactive formal verification of complex systems, such as operating systems, much effort is spent addressing these consequences and proving the preservation of the systems' invariants. However, most operations have a localized effect on the system and impact only a limited number of invariants at the same time. In this thesis we address the issue of identifying those invariants that are unaffected by an operation and we present a solution for automatically inferring their preservation. Our solution is meant to ease the proof burden for the programmer. It is based on static analysis and does not require any additional frame annotations. Our strategy consists in combining a dependency analysis and a correlation analysis. We have designed and implemented both static analyses for a strongly-typed, functional language that handles structures, variants and arrays. The dependency analysis computes a conservative approximation of the input fragments on which functional properties and operations depend. The correlation analysis computes a safe approximation of the parts of an input state to a function that are copied to the output state. It summarizes not only what is modified but also how it is modified and to what extent. By employing these two static analyses and by subsequently reasoning based on their combined results, an interactive theorem prover can automate the discharching of proof obligations for unmodified parts of the state. We have applied both of our static analyses to a functional specification of a micro-kernel and the obtained results demonstrate both their precision and their scalability
Sijobert, Benoît. "Assistive control of motion in sensorimotor impairments based on functional electrical stimulation." Thesis, Montpellier, 2018. http://www.theses.fr/2018MONTS079/document.
Повний текст джерелаThe human central nervous system (CNS) can be subject to multiple dysfunctions. Potentially due to physical lesions (e.g.: spinal cord injuries, hemorrhagic or ischemic stroke) or to neurodegenerative disorders (e.g.: Parkinson’s disease), these deficiencies often result in major functional impairments throughout the years.As an alternative to usual therapeutic approaches, functional electrical stimulation (FES) of preserved muscles enables to assist individuals in executing functional movements in order to improve their daily life condition or to help enhancing rehabilitation process.Despite major technological advances in rehabilitation engineering, the complexity of the musculoskeletal system and the technological constraints associated have led to a very slow acceptance of neurorehabilitation technologies.To promote usability and adaptability, several approaches and algorithms were studied through this thesis and were experimentally validated in different clinical and pathological contexts, using low-cost wearable sensors combined to programmable stimulators to assess and control motion through a patient-centered approach
Rubanova, Natalia. "MasterPATH : network analysis of functional genomics screening data." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC109/document.
Повний текст джерелаIn this work we developed a new exploratory network analysis method, that works on an integrated network (the network consists of protein-protein, transcriptional, miRNA-mRNA, metabolic interactions) and aims at uncovering potential members of molecular pathways important for a given phenotype using hit list dataset from “omics” experiments. The method extracts subnetwork built from the shortest paths of 4 different types (with only protein-protein interactions, with at least one transcription interaction, with at least one miRNA-mRNA interaction, with at least one metabolic interaction) between hit genes and so called “final implementers” – biological components that are involved in molecular events responsible for final phenotypical realization (if known) or between hit genes (if “final implementers” are not known). The method calculates centrality score for each node and each path in the subnetwork as a number of the shortest paths found in the previous step that pass through the node and the path. Then, the statistical significance of each centrality score is assessed by comparing it with centrality scores in subnetworks built from the shortest paths for randomly sampled hit lists. It is hypothesized that the nodes and the paths with statistically significant centrality score can be considered as putative members of molecular pathways leading to the studied phenotype. In case experimental scores and p-values are available for a large number of nodes in the network, the method can also calculate paths’ experiment-based scores (as an average of the experimental scores of the nodes in the path) and experiment-based p-values (by aggregating p-values of the nodes in the path using Fisher’s combined probability test and permutation approach). The method is illustrated by analyzing the results of miRNA loss-of-function screening and transcriptomic profiling of terminal muscle differentiation and of ‘druggable’ loss-of-function screening of the DNA repair process. The Java source code is available on GitHub page https://github.com/daggoo/masterPATH
Beisser, Daniela [Verfasser], and Thomas [Akademischer Betreuer] Dandekar. "Integrated functional analysis of biological networks = Integrierte funktionelle Analyse biologischer Netzwerke / Daniela Beisser. Betreuer: Thomas Dandekar." Würzburg : Universitätsbibliothek der Universität Würzburg, 2012. http://d-nb.info/1021307378/34.
Повний текст джерелаBordenave, Charles. "Analyse stochastique des réseaux spatiaux." Phd thesis, Ecole Polytechnique X, 2006. http://pastel.archives-ouvertes.fr/pastel-00001902.
Повний текст джерелаCollinet, Claudio. "System Survey of Endocytosis by Functional Genomics and Quantitative Multi-Parametric Image Analysis." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-38278.
Повний текст джерелаToma, Lucian Adrian. "Compatibilités fonctionnelles des systèmes mécaniques déformables=Functional Compatibility of the Flexible Mechanical Systems." Lyon, INSA, 1997. http://www.theses.fr/1997ISAL0010.
Повний текст джерелаThe design of mechanical systems needs a fine definition of the mechanical behaviour. Particularly, the proposal of a machine architecture must be qualified by the determination of redundant constraints and mobility. In this work, we propose a methodology of mobility and redundant constraint analysis, developed from the study of spaced multiple close loops mechanisms. The analysis of the redundant constraints is develop on the basis of a topological decomposition of the mechanism, while motilities are determined from a global anal' sis of the s stem. Real conditions like the system flexibility and the clearances of joints are taken into account. Displacements are obtained with calculation tools based on the finite element method (ASSYM, SPIRO). A functional ~ analysis of the mechanical system is developed with the software MOBI, developed from the methodology presented before. Mechanical systems are thus analyzed by specialized software that exchange their data and results in the context of an integrated conception. Studies of industrial systems have been made. The numerical results founded, characterize the functionality of the mechanical system in actual working conditions. Experimental verifications have confirmed this methodology
Smith, Adam Alexander Thil. "Exploitation automatisée des contextes métabolique et génomique pour l'annotation fonctionnelle des génomes prokaryotes." Thesis, Evry-Val d'Essonne, 2012. http://www.theses.fr/2012EVRY0002/document.
Повний текст джерелаThe subject of this thesis concerns the development of bioinformatic strategies exploiting genomic and metabolic contextual information in order to generate functional annotations for prokaryote genes. Two main projects were involved during this work: the first focuses on sequence-orphan enzymatic activities. Today, roughly 27% of activities defined by International Union of Biochemistry and Molecular Biology are sequence-orphans. For these, traditional bioinformatic approaches cannot propose candidate genes. It is thus imperative to use alternative, context-based approaches in such cases. The CanOE strategy fishing Candidate genes for Orphan Enzymes) was developed and added to the MicroScope bioinformatics platform in this aim. It integrates genomic and metabolic information across thousands of prokaryote genomes in order to locate promising gene candidates for orphan activities. The mirror project focuses on protein families of unknown function. A collaborative project has been set up at the Genoscope in hope of formalising functional exploration strategies for prokaryote protein families. A pilot version was created on the “DUF849” Pfam family, for which a single activity had recently been elucidated. Strategies for proposing novel functions and activities and creating isofunctional sub-families were researched, so as to guide biochemical experimentations and to analyse their results
Salmon, Yann. "Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur." Thesis, Rennes 1, 2015. http://www.theses.fr/2015REN1S085/document.
Повний текст джерелаProving that programs behave correctly is difficult; one uses proof tools, which must rely on overapproximation (because of Rice's theorem). Automaton completion is such a tool, which overapproximates the set of reachable terms during the execution of a program represented as a TRS. An evaluation strategy dictates which subterm of a term should be rewritten first; taking this into account allows for a better approximation. Our thesis sets forward an adaptation of automaton completion to the innermost strategy, which is used among others by OCaml. We prove the soundness and the precision of our adaptation and show how it is part of a greater framework for analysis of functional programms (OCaml)
Roudko, Vladimir. "Structural and functional characterisation of the CCR4- NOT deadenylation complex." Thesis, Strasbourg, 2014. http://www.theses.fr/2014STRAJ101/document.
Повний текст джерелаMRNA degradation is a highly complex and versatile process. In a manner similar to polymerase complexes in transcription and ribosomes in translation, protein complexes mediating mRNA decay are tightly regulated. Eukaryotic mRNA decay follows a conserved pathway initiated by deadenylation that generates transcripts with short polyA tails. The latter intermediates are degraded either by decapping followed with 5’-3’ trimming mediated by Xrn1, or by exosome-mediated digestion in the 3’-5’ direction. In my thesis I present a functional dissection of the Ccr4-Not deadenylase complex based on its structural analysis. Essentially, I addressed five fundamental questions related to this complex: Is CCR4-NOT complex formation required for deadenylation activity? What is the molecular role of associated Not2/3/5 subunits? Why is the Not1 protein essential in yeast? Does the CCR4-NOT complex play role in translation regulation? How is the CCR4-NOT complex targeted to its mRNA substrates?
Golenia, Sylvain. "Commutateurs, analyse spectrale et applications." Habilitation à diriger des recherches, Université Sciences et Technologies - Bordeaux I, 2012. http://tel.archives-ouvertes.fr/tel-00950079.
Повний текст джерелаMoussavi, Said. "Analyse de la stabilité de la coupe d'un procédé d'usinage robotisé." Thesis, Clermont-Ferrand 2, 2016. http://www.theses.fr/2016CLF22697/document.
Повний текст джерелаProductivity in robotic machining processes can be limited by the low rigidity of the overall structure and vibration instability (chatter). The robot’s dynamic behavior, due to changes in its posture along a machining trajectory, varies within its workspace. Chatter in robotic machining therefore depends not only on the cutting parameters but also on the robot configuration. The first objective of this thesis is to determine a dynamic modeling approach of the robot in order to analyze the vibration and the stability in robotic machining. This modeling approach has been realized to dynamic modeling of an ABB IRB6660 industrial robot. The numerical model parameters are adjusted on the basis of experimental modal identifications. Then, a three-dimensional representation of stability lobes diagram for the prediction to take into account the robot dynamic behavior variations in machining trajectory is established. The second objective is to optimize the robot configurations regarding stability. The dynamic behavior variations of the robot in the workspace are exploited through functional redundancy management in order to optimize robot configurations with respect to machining stability. The numerical analyze demonstrated and experimental machining tests confirmed that stability conditions in machining operations can be achieved by managing functional redundancy without changing the cutting parameters
Manrique, Tito. "Functional linear regression models : application to high-throughput plant phenotyping functional data." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT264/document.
Повний текст джерелаFunctional data analysis (FDA) is a statistical branch that is increasingly being used in many applied scientific fields such as biological experimentation, finance, physics, etc. A reason for this is the use of new data collection technologies that increase the number of observations during a time interval.Functional datasets are realization samples of some random functions which are measurable functions defined on some probability space with values in an infinite dimensional functional space.There are many questions that FDA studies, among which functional linear regression is one of the most studied, both in applications and in methodological development.The objective of this thesis is the study of functional linear regression models when both the covariate X and the response Y are random functions and both of them are time-dependent. In particular we want to address the question of how the history of a random function X influences the current value of another random function Y at any given time t.In order to do this we are mainly interested in three models: the functional concurrent model (FCCM), the functional convolution model (FCVM) and the historical functional linear model. In particular for the FCVM and FCCM we have proposed estimators which are consistent, robust and which are faster to compute compared to others already proposed in the literature.Our estimation method in the FCCM extends the Ridge Regression method developed in the classical linear case to the functional data framework. We prove the probability convergence of this estimator, obtain a rate of convergence and develop an optimal selection procedure of theregularization parameter.The FCVM allows to study the influence of the history of X on Y in a simple way through the convolution. In this case we use the continuous Fourier transform operator to define an estimator of the functional coefficient. This operator transforms the convolution model into a FCCM associated in the frequency domain. The consistency and rate of convergence of the estimator are derived from the FCCM.The FCVM can be generalized to the historical functional linear model, which is itself a particular case of the fully functional linear model. Thanks to this we have used the Karhunen–Loève estimator of the historical kernel. The related question about the estimation of the covariance operator of the noise in the fully functional linear model is also treated.Finally we use all the aforementioned models to study the interaction between Vapour Pressure Deficit (VPD) and Leaf Elongation Rate (LER) curves. This kind of data is obtained with high-throughput plant phenotyping platform and is well suited to be studied with FDA methods
Ávila-Funes, José Alberto. "Relations entre le risque nutritionnel, les symptômes dépressifs et la capacité fonctionnelle chez la personne âgée de la communauté une analyse secondaire des données de l'étude NuAge." Mémoire, Université de Sherbrooke, 2007. http://savoirs.usherbrooke.ca/handle/11143/3912.
Повний текст джерелаHerry, Ronan. "Contributions to functional inequalities and limit theorems on the configuration space." Thesis, Paris Est, 2018. http://www.theses.fr/2018PESC1134/document.
Повний текст джерелаWe present functional inequalities and limit theorems for point processes. We prove a modified logarithmic Sobolev inequalities, a Stein inequality and a exact fourth moment theorem for a large class of point processes including mixed binomial processes and Poisson point processes. The proofs of these inequalities are inspired by the Malliavin-Stein approach and the $Gamma$-calculus of Bakry-Emery. The implementation of these techniques requires a development of a stochastic analysis for point processes. As point processes are essentially discrete, we design a theory to study non-diffusive random objects. For Poisson point processes, we extend the Stein inequality to study stable convergence with respect to limits that are conditionally Gaussian. Applications to Poisson approximations of Gaussian processes and random geometry are given. We discuss transport inequalities for mixed binomial processes and their consequences in terms of concentration of measure. On a generic metric measured space, we present a refinement of the notion of concentration of measure that takes into account the parallel enlargement of distinct sets. We link this notion of improved concentration with the eigenvalues of the metric Laplacian and with a version of the Ricci curvature based on multi-marginal optimal transport
Urban, Caterina. "Static analysis by abstract interpretation of functional temporal properties of programs." Thesis, Paris, Ecole normale supérieure, 2015. http://www.theses.fr/2015ENSU0017/document.
Повний текст джерелаThe overall aim of this thesis is the development of mathematically sound and practically efficient methods for automatically proving the correctness of computer software. More specifically, this thesis is grounded in the theory of abstract interpretation, a powerful mathematical framework for approximating the behavior of programs. In particular, this thesis focuses on provingprogram liveness properties, which represent requirements that must be eventually or repeatedly realized during program execution. Program termination is the most prominent liveness property. This thesis designs new program approximations, in order to automatically infer sufficient preconditions for program termination and synthesize so called piecewisedefined ranking functions, which provide upper bounds on the waiting time before termination. The approximations are parametric in the choice between the expressivity and the cost of the underlying approximations, which maintain information about the set of possible values of the program variables along with the possible numerical relationships between them. This thesis also contributes an abstract interpretation framework for proving liveness properties, which comes as a generalization of the framework proposedfor termination. In particular, the framework is dedicated to liveness properties expressed in temporal logic, which are used to ensure that some desirable event happens once or infinitely many times during program execution. As for program termination, piecewise-defined ranking functions are used to infer sufficient preconditions for these properties, and to provide upper boundson the waiting time before a desirable event. The results presented in this thesis have been implemented into a prototype analyzer. Experimental results show that it performs well on a wide variety of benchmarks, it is competitive with the state of the art, and is able to analyze programs that are out of the reach of existing methods
Gunther, Fabrice. "Étude de l’efficacité des outils de l’analyse fonctionnelle dans l’enseignement et l’apprentissage de systèmes techniques au collège." Thesis, Aix-Marseille, 2016. http://www.theses.fr/2016AIXM3036/document.
Повний текст джерелаThis doctoral research concerns the study of the effectiveness of some tools related to the functional analysis. The context is the teaching and learning process of technical systems in technological education in French comprehensive schools. The use of these tools coming from the industry in the educational system poses problems of adaptations. The place of functional analysis as a technical language is analyzed through the instrumental genesis of the artifact, the activity of students and through the transposition of knowledge. The issue of effectiveness of these tools arise among pupils to understand the whole of a technical system and among teachers to structure learning. The methodology was conducted in a qualitative and quantitative manner with these actors. Two experiments took place, with teachers first, based on a survey with a questionnaire and interviews. A second, with students, was based on an entry test and various written exercises and operative manipulation with a manufacture via a 3D printer. The results of a group introduced to functional analysis are compared with those of a group not initiated. Data analyses address the manner in which the skills and knowledge that enable a systemic approach in technological education are implemented. The main results indicate that if teachers take over the functional analysis, control is not total. His teaching mainly benefits to pupils with scholar difficulties. These elements are detailed in-depth and put into perspective in this thesis
Kidzinski, Lukasz. "Inference for stationary functional time series: dimension reduction and regression." Doctoral thesis, Universite Libre de Bruxelles, 2014. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209226.
Повний текст джерелаL'objectif principal de ce projet de doctorat est d'analyser la dépendance temporelle de l’ADF. Cette dépendance se produit, par exemple, si les données sont constituées à partir d'un processus en temps continu qui a été découpé en segments, les jours par exemple. Nous sommes alors dans le cadre des séries temporelles fonctionnelles.
La première partie de la thèse concerne la régression linéaire fonctionnelle, une extension de la régression multivariée. Nous avons découvert une méthode, basé sur les données, pour choisir la dimension de l’estimateur. Contrairement aux résultats existants, cette méthode n’exige pas d'assomptions invérifiables.
Dans la deuxième partie, on analyse les modèles linéaires fonctionnels dynamiques (MLFD), afin d'étendre les modèles linéaires, déjà reconnu, dans un cadre de la dépendance temporelle. Nous obtenons des estimateurs et des tests statistiques par des méthodes d’analyse harmonique. Nous nous inspirons par des idées de Brillinger qui a étudié ces models dans un contexte d’espaces vectoriels.
Doctorat en Sciences
info:eu-repo/semantics/nonPublished
Pinier, Benoît. "Application de la théorie des similitudes en turbulence à l'interface océan atmosphère." Thesis, Rennes 1, 2019. http://www.theses.fr/2019REN1S002/document.
Повний текст джерелаThe RANS one-closure equation is tested with a new formulation of the turbulent mixing length. By interpolation, the law is universal. It also take account of any roughness of the ground. The existence of solution of the RANS model is also proven and bring a new proof of elliptic problem with source term in L¹. We use the model under location uncertainty to derive a velocity profile in the whole boundary layer. An expression of the small-scale velocity component is also provided in the viscous zone
Froment, Bernard. "Gestion en temps réel d'atelier flexible : analyse et contribution à l'optimisation, application au pilotage des services logistiques." Châtenay-Malabry, Ecole centrale de Paris, 1988. http://www.theses.fr/1988ECAP0063.
Повний текст джерелаNapal, Kevish. "Sur l'utilisation de méthodes d'échantillonnages et des signatures spectrales pour la résolution de problèmes inverses en diffraction." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLX102.
Повний текст джерелаThis thesis is a contribution to inverse scattering theory. We are more specifically interested in the non-destructive testing of heterogeneous materials such as composite materials by using acoustic waves. Monitoring this type of materials in an industrial environment is of major importance, but their complex structure makes this task difficult. The so-called sampling methods seem very promising to address this issue. We develop these techniques to detect the appearance of defects from far field data. The defects considered are impenetrable Neumann obstacles. We distinguish two categories of them, each requiring a specific treatment: cracks and obstacles with non empty interior.Thanks to the two complementary factorizations of the far field operator that we establish, we show that it is possible to approach the solution of the Interior Transmission Problem (ITP) from the data. The ITP is a system of partial differential equations that takes into account the physical parameters of the material being surveyed. We show that it is then possible to detect an anomaly by comparing the solutions of two different ITPs, one associated with measurements made before the defect appeared and the other one associated with measurements made after. The validity of the described method requires avoiding particular frequencies, which are the elements of the ITP spectrum for which this problem is not well posed. We show that this spectrum is an infinite set, countable and without finite accumulation points.In the last chapter, we use the recent notion of artificial backgrounds to image crack networks embedded in a homogeneous background. This approach allows us to design a transmission problem with the choice of the artificial background, for instance made of an obstacle. The associated spectrum is then sensitive to the presence of cracks inside the artificial obstacle. This allows to quantify locally the crack density. However, the computation of the spectrum requires data at several frequencies and is expensive in terms of calculations. We propose an alternative method using only data at fixed frequency and which consists in working with the solutions of the ITP instead of it's spectrum
Boussaa, Mohamed. "Automatic non-functional testing and tuning of configurable generators." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S011/document.
Повний текст джерелаGenerative software development has paved the way for the creation of multiple generators (code generators and compilers) that serve as a basis for automatically producing code to a broad range of software and hardware platforms. With full automatic code generation, users are able to rapidly synthesize software artifacts for various software platforms. In addition, they can easily customize the generated code for the target hardware platform since modern generators (i.e., C compilers) become highly configurable, offering numerous configuration options that the user can apply. Consequently, the quality of generated software becomes highly correlated to the configuration settings as well as to the generator itself. In this context, it is crucial to verify the correct behavior of generators. Numerous approaches have been proposed to verify the functional outcome of generated code but few of them evaluate the non-functional properties of automatically generated code, namely the performance and resource usage properties. This thesis addresses three problems : (1) Non-functional testing of generators: We benefit from the existence of multiple code generators with comparable functionality (i.e., code generator families) to automatically test the generated code. We leverage the metamorphic testing approach to detect non-functional inconsistencies in code generator families by defining metamorphic relations as test oracles. We define the metamorphic relation as a comparison between the variations of performance and resource usage of code, generated from the same code generator family. We evaluate our approach by analyzing the performance of HAXE, a popular code generator family. Experimental results show that our approach is able to automatically detect several inconsistencies that reveal real issues in this family of code generators. (2) Generators auto-tuning: We exploit the recent advances in search-based software engineering in order to provide an effective approach to tune generators (i.e., through optimizations) according to user's non-functional requirements (i.e., performance and resource usage). We also demonstrate that our approach can be used to automatically construct optimization levels that represent optimal trade-offs between multiple non-functional properties such as execution time and resource usage requirements. We evaluate our approach by verifying the optimizations performed by the GCC compiler. Our experimental results show that our approach is able to auto-tune compilers and construct optimizations that yield to better performance results than standard optimization levels. (3) Handling the diversity of software and hardware platforms in software testing: Running tests and evaluating the resource usage in heterogeneous environments is tedious. To handle this problem, we benefit from the recent advances in lightweight system virtualization, in particular container-based virtualization, in order to offer effective support for automatically deploying, executing, and monitoring code in heterogeneous environment, and collect non-functional metrics (e.g., memory and CPU consumptions). This testing infrastructure serves as a basis for evaluating the experiments conducted in the two first contributions
Hölzer, Stefanie. "Functional analysis of type III secretion systems in Salmonella enterica = Funktionelle Analyse von Typ-III-Sekretionssystemen in Salmonella enterica." kostenfrei, 2010. http://d-nb.info/1001858735/34.
Повний текст джерелаColditz, Frank. "Functional genomic approaches to analyse the parasitic interaction between the model legume Medicago truncatula and the oomycete Aphanomyces euteiches." [S.l. : s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=974986453.
Повний текст джерелаEl, Haouij Neska. "Biosignals for driver's stress level assessment : functional variable selection and fractal characterization." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS191/document.
Повний текст джерелаThe safety and comfort in a driving task are key factors of interest to several actors (vehicle manufacturers, urban space designers, and transportation service providers), especially in a context of an increasing urbanization. It is thus crucial to assess the driver’s affective state while driving, in particular his state of stress which impacts the decision making and thus driving task performance. In this thesis, we focus on the study of stress level changes, during real-world driving, experienced in city versus highway areas. Classical methods are based on features selected by experts, applied to physiological signals. These signals are preprocessed using specific tools for each signal, then ad-hoc features are extracted and finally a data fusion for stress-level recognition is performed. In this work, we adapted a functional variable selection method, based on Random Forests Recursive Feature Elimination (RF-RFE). In fact, the biosignals considered as functional variables, are first decomposed using wavelet basis. The RF-RFE algorithms are then used to select groups of wavelets coefficients, corresponding to the functional variables, according to an endurance score. The final choice of the selected variables relies on this proposed score that allows to quantify the ability of a variable to be selected and this, in first ranges. At a first stage, we analyzed physiological signals such as: Heart Rate (HR), Electromyogram (EMG), Breathing Rate (BR), and the Electrodermal Activity (EDA), related to 10 driving experiments, extracted from the open database of MIT: drivedb, carried out in Boston area. At a second stage, we have designed and conducted similar city and highway driving experiments in the greater Tunis area. The resulting database, AffectiveROAD, includes, as in drivedb, biosignals as HR, BR and EDA and additional measurement of the driver posture. The developed prototype of the sensors network platform allowed also to gather data characterizing the vehicle internal environment (temperature, humidity, pressure, sound level, and geographical coordinates) which are included in AffectiveROAD database. A subjective stress metric, based on driver video-based validation of the observer’s annotation, is included in AffectiveROAD database. We define here the term stress as the human affective state, including affect arousal, attention, mental workload, and the driver’s perception of the environment complexity. The functional variable selection, applied to drivedb, revealed that the EDA captured on foot followed by the BR, are relevant in the driver’s stress level classification. The RF-RFE method along with non-expert based features offered comparable performances to those obtained by the classical method. When analyzing the AffectiveROAD data, the posture and the EDA captured on the driver’s right wrist emerged as the most enduring variables. For both databases, the placement of the EDA sensor came out as an important consideration in the stress level assessment. A deeper analysis of the EDA was carried out since its emergence as a key indicator in stress level recognition, for the two databases. This is consistent with various human physiology studies reporting that the EDA is a key indicator of emotions. For that, we investigated the fractal properties of this biosignal using a self-similarity analysis of EDA measurements based on Hurst exponent (H) estimated using wavelet-based method. Such study shows that EDA recordings exhibits self-similar behavior for large scales, for the both databases. This proposes that it can be considered as a potential real-time indicator of stress in real-world driving experience
De, Guillen Karine. "Analyse structurale d’effecteurs de Magnaporthe Oryzae impliqués dans la reconnaissance de l’agent pathogène par le récepteur immunitaire du riz RGA5." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONT3502.
Повний текст джерелаMAGNAPORTHE oryzae causes a devastating disease of rice known as rice blast, affecting all regions cultivating rice. In addition to the economic and humanitarian issues associated with the disease, rice and M. oryzae are widely accepted as models of cereal and fungus for studying genetic control and host-pathogen molecular interactions. The effector proteins, Avr of M. oryzae, are secreted during plant infection by the fungus. In some of the rice cultivation these effectors act as avirulence proteins. They are recognized by resistance proteins R, and induce a strong host response, including programmed cell death known as HR (hypersensitive response) leading to plant resistance. The purpose of the thesis is to elucidate the atomic structures of the proteins Avr, R and Avr-R complexes. Subsequent structure-function analysis will identify domains and important amino acids needed for the activity of the effector and resistance proteins. To carry out this thesis, a wide range of molecular biology techniques (pcr, molecular cloning), biophysics (fluorescence) and structural biology (NMR, X-ray crystallography) will be used. From the functional point of view, these studies will provide insight into mechanisms affecting host functions that are modulated during infection, thus creating favorable conditions for the infection process
Rodriguez, Moreno Paulina del Carmen. "Intégration de considérations environnementales dans la phase conceptuelle du processus de conception de nouveaux produits." Thesis, Troyes, 2016. http://www.theses.fr/2016TROY0016/document.
Повний текст джерелаThe thesis contributes to a better understanding of the eco-design process of products, especially in the integration of environmental considerations in the early phases of the design process. Focused on the conceptual phase, the main motivation of this work is to intervene when the decisions of the designer have the greatest environmental influence. Indeed, many authors agree that the early stages of the design process can prevent up to 80% of environmental impacts. However, there are also many obstacles to the integration of environmental considerations, especially for a new product. The obstacles are highlighted through two types of locks. First, methodological locks encountered mainly at the conceptual stage. Secondly, operational locks are related with the lack of environmental knowledge of the designer. To solve the problems, we propose the creation of links between the life-cycle assessment (LCA), method that includes environmental knowledge, and functional analysis (FA), method well known by the designer early in the design process. These links have resulted in a collaborative eco-design process that is partly supported by the creation of the EcoAF method. Eco AF integrates life cycle concept of LCA when performing AF. It makes it possible to guide the designer in the integration of environmental considerations in creating a product with a balanced environmental performance throughout the life cycle
Tastambekov, Kairat. "Aircraft trajectory prediction by local functional regression." Thesis, Toulouse, INSA, 2012. http://www.theses.fr/2012ISAT0052/document.
Повний текст джерелаAir Traffic Management (ATM) heavily rely on the ability to predict where an aircraft will be located in a 10-minute time window. So it is clear that a controller’s workload can be reduced by an accurate and automated forecast of aircraft trajectories, since knowing whether conflicts are to be expected helps in prioritizing the actions to be taken.Despite the increasing autonomy in future air traffic management systems, especially 4D trajectory planning, the ability of trajectory prediction is still actual. As known, 4D trajectory planning implies aircraft will be properly located in a certain place at a certain time. However, such an approach is not realistic. Because, in particular, of the wind, Present Flight Management Systems are not able to predict precisely the position of an aircraft in a window larger than, say 15 minutes. For this reason, trajectory prediction problem can be stated as an actual issues at least for the near future. We consider the problem of short to mid-term aircraft trajectory prediction, that is, the estimation of where an aircraft will be located over a 10 to 30 minutes time horizon. Such a problem is central in the decision support tools, especially in conflict detection and resolution algorithms. It also appears when an air traffic controller observes traffic on the radar screen and tries to identify convergent aircraft, which may be in conflict in the near future, in order to apply maneuvers that will separate them. The problem is then to estimate where the aircraft will be located in the time horizon of 10 - 30 minutes. A 4-dimensional (4D) trajectory prediction contains data specifying the predicted horizontal and vertical position of an aircraft. The ability to accurately predict trajectories for different types of aircraft under different flight conditions, that involving external actions (pilot, ATC) and atmospheric influences (wind, temperature), is an important factor in determining the accuracy and effectiveness of ATM.In this work, we present an innovative approach for aircraft trajectory prediction in this work. It is based on local linear functional regression that considers data preprocessing, localizing and solving linear regression using wavelet decomposition. This approach starts from collecting the data set, consisting of a large enough amounts of aircraft trajectories between several airports, in order to make statistical procedures useful. It is necessary to note that ATC radar observations for a given aircraft are a discrete collection of aircraft coordinates, speed, projections, and other factors depending on the radar system. The next step, called localization, is to select a subset of trajectories of the same type of aircraft and connecting the same Origin-Destination as an aircraft trajectory to be predicted. Let us denote an aircraft trajectory to be predicted as a real trajectory. Then, the selected subset is taken as a learning data set to construct a model which is a linear functional regression model. The first part of real aircraft is also taken as a learning set to the model, and the second part is taken to compare it with the predicted part, which is a linear functional regression model. This algorithm takes into account only past radar tracks, and does not make use of any physical or aeronautical parameters.This approach has been successfully applied to aircraft trajectories between several airports on the data set (one year of air traffic over France). The data set consists of more than 2.9*10^6 flights. Several examples at the end of the manuscript show that the relative prediction error that is the difference between prediction error and standard deviation is about 2 to 16 per cents. The proposed algorithm shows better results compares to the standard multiple linear regressions that is shown from the figures at the end of the manuscript. The method is intrinsic and independent from airspace structure
Maumet, Camille. "From group to patient-specific analysis of brain function in arterial spin labelling and BOLD functional MRI." Phd thesis, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00863908.
Повний текст джерелаPoncet, Paul. "Analyse idempotente en dimension infinie : le rôle des ensembles ordonnés continus." Phd thesis, Ecole Polytechnique X, 2011. http://pastel.archives-ouvertes.fr/pastel-00666633.
Повний текст джерелаEckert, Jana Kristin. "Funktionelle Analyse von Mutanten des LPS-bindenden Proteins (LBP)." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät I, 2009. http://dx.doi.org/10.18452/15955.
Повний текст джерелаLBP enhances the innate immune reaction against bacterial ligands like LPS from gram negative or lipopeptides from gram positive bacteria in the host. Here we investigated the function of LBP using two recombinant mutants of the protein. The first part of this work examines a natural occurring mutation of LBP (c998t) leading to an amino acid exchange of proline to leucine at position 333 with regard to the impact on structure and function of the protein. Western blot analyses of the recombinant protein and sera obtained from individuals differing in the LBP genotype indicate the disaggregation of the mutated protein. Thereby binding of bacterial ligands to LBP is diminished and the LBP mediated cytokine secretion of immune cells is reduced. The gene polymorphism leading to the occurrence of the mutation is present with an allelic frequence of 0.072. A recent study has shown that this LBP-SNP led to a higher mortality in patients with septic complications and gram negative pneumonia. The results presented here, showing the negative impact on the function of LBP due to the mutation, may therefore be a first explanation on how this mutation affects the ability of people to deal with disease. Within this work binding of ligands to LBP was also explored. It was investigated whether ligands which are later recognized by Toll-like receptors (TLRs) 2 and – 4 share a common binding site on LBP. Assays with immobilized lipopeptides and LPS were performed with a second mutated LBP (LBP-E94/95). LPS binding to LBP is diminished completely. Here we showed that binding of lipopeptide to LBP is affected likewise, furthermore supporting the hypothesis of a common binding site for TLR2- and TLR4- ligands.
Presles, Benoît. "Caractérisation géométrique et morphométrique 3-D par analyse d'image 2-D de distributions dynamiques de particules convexes anisotropes. Application aux processus de cristallisation." Thesis, Saint-Etienne, EMSE, 2011. http://www.theses.fr/2011EMSE0632/document.
Повний текст джерелаSolution crystallization processes are widely used in the process industry as separation and purification operations and are expected to produce solids with desirable properties. The properties concerning the size and the shape are known to have a considerable impact on the final quality of products. Hence, it is of main importance to be able to determine the granulometry of the crystals (CSD) in formation. By using an in situ camera, it is possible to visualize in real time the 2D projections of the 3D particles in the suspension.The projection of a 3D object on a 2D plane necessarily involves a loss of information. Determining the size and the shape of a 3D object from its 2D projections is therefore not easy. This is the main goal of this work: to characterize geometrically and morphometrically 3D objects from their 2D projections. First of all, a method based on the maximum likelihood estimation of the probability density functions of projected geometrical measurements has been developed to estimate the size of 3D convex objects. Then, a stereological shape descriptor based on shape diagrams has been proposed. It enables to characterize the shape of a 3D convex object independently of its size and has notably been used to estimate the value of the anisotropy factors of the 3D convex objects. At last, a combination of the two previous studies has allowed to estimate both the size and the shape of the 3D convex objects. This method has been validated with simulated data, has been compared to a method from the literature and has been used to estimate size distributions of ammonium oxalate particles crystallizing in water that have been compared to other CSD methods
Malkassian, Anthony. "Méthodes d’analyse fonctionnelle et multivariée appliquées à l’étude du fonctionnement écologique des assemblages phytoplanctoniques de l’étang de Berre." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM4108.
Повний текст джерелаThe study of the relationship between variations in phytoplankton abundance and environmental forces (natural or anthropogenic) in shallow brackish areas is essential to both understanding and managing this complex ecosystem. Over a 16 year (1994-2011) monthly monitoring program the relationships between physicochemical variables (temperature, salinity and nutrients) and phytoplankton assemblages of the Berre Lagoon were analyzed. Using data collected from this long-term study, we have addressed environmental management issues through the application of advanced statistical analyses and original data displays. These analyses and data displays can readily be applied to other data sets related to the environment, with the aim of informing both researcher and practitioner. Since 2004, a new policy for freshwater discharge has induced strong changes in the global salinity of the lagoon : a weakened stratification and a rarefaction of anoxia phenomena in its deepest part. A shift in the structure of the phytoplankton community has been observed in association with changes in environmental conditions. An increase of phytoplanktonic species richness, and more precisely, the emergence of species with marine affinity highlights the first step of a marinization of the lagoon. The results underline the significant impact of a new management policy in this specific coastal zone. We then focused on the response of phytoplankton to quick environmental variations. An original approach for automated high frequency analysis of phytoplankton was adopted with the use of an autonomous flow cytometer (CytoSense)
Bayle, Severine. "Modélisation statistique de données fonctionnelles environnementales : application à l'analyse de profils océanographiques." Thesis, Aix-Marseille, 2014. http://www.theses.fr/2014AIXM4016.
Повний текст джерелаTo study biogeochemical processes in the Southern Ocean, tags placed on elephant seals allowed to collect during 2009-2010 oceanographic variables profiles (Chlorophyll a (Chl a), temperature, salinity, light) in an area ranging from southern Kerguelen until the Antarctic continent. This thesis focuses on Chl a data as it is contained in photosynthetic organisms and these ones play an essential role in the oceanic carbon cycle. The infrequently collected vertical Chl a profiles don't provide a mapping of this variable in this area of the ocean. However, we have light profiles sampled more often. The aim of this thesis was then to develop a methodology for reconstructing indirectly Chl a profiles from light profiles, and that takes into account characteristics of this kind of data that naturally occur as functional data. For this, we adressed the profiles decomposition to rebuild or explanations on splines basis, as well as issues related adjustment. A functional linear model was used to predict Chl a profiles from light profiles derivatives. It was shown that the use of such a model provides a good quality of reconstruction to access high frequency variations of Chl a profiles at fine scale. Finally, a functional kriging interpolation predicted the Chl a concentration during night, as light measurements acquired at that time can't be exploited. In the future, the methodology aims to be applied to any type of functional data
Dwivedi, Ankit. "Functional analysis of genomic variations associated with emerging artemisinin resistant P. falciparum parasite populations and human infecting piroplasmida B. microti." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT073/document.
Повний текст джерелаThe undergoing WHO Malaria elimination program is threatened by the emergenceand potential spread of the Plasmodium falciparum artemisinin resistant parasite.Recent reports have shown (a) SNPs in region of chromosome 13 to be understrong recent positive selection in Cambodia, (b) presence of P. falciparum parasiteresistant and sensitive subpopulations in Cambodia, (c) the evidence that mutationsin the Kelch propeller domain of the k13 gene are major determinants ofartemisinin resistance in Cambodian parasite population and (d) parasite subpopulations in Northern Cambodia near Thailand and Laos with mefloquine drugresistance and carrying R539T allele of the k13 gene.Identifying the genetic basis of resistance is important to monitor and control thetransmission of resistant parasites and to understand parasite metabolism for the development of new drugs. This thesis focuses on analysis of P. falciparum population structure in Cambodia and description of metabolic properties of these subpopulations and gene flow among them. This could help in identifying the genetic evidence associated to transmission and acquisition of artemisinin resistance over the country.First, a barcode approach was used to identify parasite subpopulations using smallnumber of loci. A mid-throughput PCR-LDR-FMA approach based on LUMINEXtechnology was used to screen for SNPs in 537 blood samples (2010 - 2011) from 16health centres in Cambodia. Based on successful typing of 282 samples, subpopulations were characterized along the borders of the country. Gene flow was described based on the gradient of alleles at the 11 loci in the barcode. The barcode successfully identifies recently emerging parasite subpopulations associated to artemisinin and mefloquine resistance.In the second approach, the parasite population structure was defined based on167 parasite NGS genomes (2008 - 2011) originating from four locations in Cambodia,recovered from the ENA database. Based on calling of 21257 SNPs, eight parasite subpopulations were described. Presence of admixture parasite subpopulation couldbe supporting artemisinin resistance transmission. Functional analysis based on significant genes validated similar background for resistant isolates and revealed PI3K pathway in resistant populations supporting acquisition of resistance by assisting the parasite in ring stage form.Our findings question the origin and the persistence of the P. falciparum subpopulations in Cambodia, provide evidence of gene flow among subpopulations anddescribe a model of artemisinin resistance acquisition.The variant calling approach was also implemented on the Babesia microti genome.This is a malaria like syndrome, and is endemic in the North-Eastern USA. Theobjective was to validate the taxonomic position of B. microti as out-group amongpiroplasmida and improve the functional genome annotation based on genetic variation, gene expression and protein antigenicity. We identified new proteins involved in parasite host interactions
Nanty, Simon. "Quantification des incertitudes et analyse de sensibilité pour codes de calcul à entrées fonctionnelles et dépendantes." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM043/document.
Повний текст джерелаThis work relates to the framework of uncertainty quantification for numerical simulators, and more precisely studies two industrial applications linked to the safety studies of nuclear plants. These two applications have several common features. The first one is that the computer code inputs are functional and scalar variables, functional ones being dependent. The second feature is that the probability distribution of functional variables is known only through a sample of their realizations. The third feature, relative to only one of the two applications, is the high computational cost of the code, which limits the number of possible simulations. The main objective of this work was to propose a complete methodology for the uncertainty analysis of numerical simulators for the two considered cases. First, we have proposed a methodology to quantify the uncertainties of dependent functional random variables from a sample of their realizations. This methodology enables to both model the dependency between variables and their link to another variable, called covariate, which could be, for instance, the output of the considered code. Then, we have developed an adaptation of a visualization tool for functional data, which enables to simultaneously visualize the uncertainties and features of dependent functional variables. Second, a method to perform the global sensitivity analysis of the codes used in the two studied cases has been proposed. In the case of a computationally demanding code, the direct use of quantitative global sensitivity analysis methods is intractable. To overcome this issue, the retained solution consists in building a surrogate model or metamodel, a fast-running model approximating the computationally expensive code. An optimized uniform sampling strategy for scalar and functional variables has been developed to build a learning basis for the metamodel. Finally, a new approximation approach for expensive codes with functional outputs has been explored. In this approach, the code is seen as a stochastic code, whose randomness is due to the functional variables, assumed uncontrollable. In this framework, several metamodels have been developed and compared. All the methods proposed in this work have been applied to the two nuclear safety applications
Gauvrit, Roux Eugénie. "Comportements techniques au Magdalénien moyen ancien : Approche techno-fonctionnelle de l’industrie lithique de deux gisements du Centre Ouest de la France : la Marche (Vienne) et la Garenne (Indre)." Thesis, Université Côte d'Azur (ComUE), 2019. http://www.theses.fr/2019AZUR2011.
Повний текст джерелаWest-central France is a key region to apprehend cultural variations of the Early Middle Magdalenian (19-17 500 cal. BP). This region appears to be at a cultural crossroad of several traditions visible through rich art (cave art, portable art, ornaments) and bone industry traditions (projectile points, navettes). Two facies are identified: the Lussac-Angles Magdalenian and the navettes Magdalenian. By focusing on the sites of la Marche (Lussac-Angles) and the Blanchard cave on the hillside of la Garenne (navettes), we seeked to approach technical behaviours related to use and production of the tools of these two facies. With a systemic approach that combines technological and functional analyses of lithic production, we show the existence of a shared technical background and a permeability between facies. This is evidenced through modalities of production of blades and bladelets, relations between form and function and tools management strategies (multiple uses, reuses, sharpenings, multiplication of double tools). On the other hand, variations in terms of gestures or technical processes related to the use of endscrapers and backed bladelets are perceptible. These elements reveal specificities of the technical behaviours on each site
Rejeb, Bouzgarrou Asma. "Analyse des formes morpho-fonctionnelles urbaines : mise en place d'un indicateur de mutations paysagères de la ville de Monastir entre 1956 et 2013." Thesis, Brest, 2019. http://www.theses.fr/2019BRES0004/document.
Повний текст джерелаThe contemporary Tunisian urban landscape, characterized by a strong heterogeneity, wonders about the factors of its emergence. The city of Monastir is an excellent example of the analysis of urban transformations. This city is characterized, especially, by a high urbanization rate of 100% and differential growth in time and space. This research lies into the fields of architecture, urbanism, space syntax and territorial planning. This work questions the evolution of the urban landscape of the municipality of Monastir from 1956 to 2013. An objective is to search for a series of visibility indices on the city dynamics in its context of morphofunctional heterogeneity. This work undertook a gradual logic of apprehension of the urban environment and its cultural continuity.The establishment of a global approach to the spatial structure of the municipality of Monastir, on the diachronic analysis, and on the synchronic analysis, respectively, allowed us to model several facts of urban landscapes. This materializes, in particular, by identifying the genesis of diffuse centralities associated with non-hierarchical socio-spatial forms. These urban phenomenologists’ disparities have led us to adapt current spatial syntax measures in order to provide a better understanding of the reality of the whole environment of the municipality of Monastir, and where the landscape mediation dominates
Zhou, Li. "Development of oxidation models and analytical techniques specific to phospholipids and their degradation products in functional foods." Phd thesis, Université de Strasbourg, 2012. http://tel.archives-ouvertes.fr/tel-00804705.
Повний текст джерелаCerny, Frédéric. "Transcription, description et analyse fonctionnelle de l'activité musicale exploratoire d'enfants sur instrument de musique informatique." Thesis, Paris 4, 2011. http://www.theses.fr/2011PA040028/document.
Повний текст джерелаThis case study concerns children of 7;5 to 9;5 years old, without specific musical education, facing a musical computer instrument wich they have never used before. It is the matter of making sure that a child facing that instrument can make music, his music, and studying the dynamic vectors that direct the subjects’ exploratory musical activity. We put forward the hypothesis that these dynamics are of course musical, but, above all, independant of using the instrument. More, that they’re based on pivots made up from the musical instrument or the child’s use of it and not werely perpetrated movements Our analysis is functional. To make it, we draw up exhaustively, the statement of observable movements and heard musical production. We describe each studied session as a chain of segments, individually characterized by a particular procedural scheme. We underline these schemes’ progressive evolution. Their purpose is success; success consisting in this case of making music, the children’s own music. After dividing the sessions up into sequences, characterized by assimilation or accommodation, we look at the obtained results in order to bring out the dynamics of the musical exploratory activity and the pivots on which they are based, so as to specify the musical direction chosen by the subjects in each session. We finish by a comparison of the obtained results by each child, in order to note the similarities and the differences
Ziv, Nicolas. "Enrichment of functional analysis for the construction sector by the integration of systems engineering and constructibility : application to the multifunctional metro." Thesis, Paris Est, 2018. http://www.theses.fr/2018PESC1065/document.
Повний текст джерелаObjectives of the thesis is to enrich Functional Analysis, a design method oriented on the definition of functions, by the integration of two methodological corpuses: Constructability and Systems Engineering in order to adapt it to complex construction products. The enriched method is used and applied on an innovative concept: the multifunctional metro. This new concept consists in the integration of new functions in a metro system: not only transport people but also energy, information, wastes, merchandises, water etc. in order to answer to several city needs with a unique infrastructure. In the introduction, after having describe challenges faced by the construction industry, we highlight that Functional Analysis has been used extensively in other industries to face similar issues. However, its application in the construction industry is limited due to particularities of the construction industry: each project is unique, construction projects are complex and that needs construction projects answer consists in adapting space in order to carry human or related activities. The identification of such particularities have led on one hand, to the consideration of constructability concepts and principles in Functional Analysis to better integrate development constraints of each project in the product development. On the other hand, to the consideration of Systems Engineering, a methodological corpus which objective is to manage complexity of projects. Firstly, Functional Analysis, Constructability and Systems Engineering corpuses are presented and issues are identified in these three methods either to adapt them to complex construction projects for their integration. Constructability notably, is improved with the integration of constraints from Design and Planning phases and a proposition is presented to shift from Constructability to Constructibility. Systems Engineering for its part is adapted by the integration of spatial characteristics of systems. A SysML tool (Systems Modeling Language) has been developed and linked with a BIM modeling tool to improve the capacity to model and verify requirements related to construction systems. The Constructibility matrix, a tool to ease the implementation of constructibility has also been developed.Secondly, Functional Analysis enriched by methodological inputs and tools related to the construction industry is applied. Case studies concern two different phases (planning and design) in two different projects where multifunctionnality concepts have been investigated: the 5th metro line of Lyon where the evaluation of the integration of new functions in the metro line have been studied. And the line 16 of the Greater Paris Project where the integration of a broadband network was the opportunity to study the integration of a new function more in detail (transport information). In conclusion we shall suggest some ways forward by outlining avenues for further researches: how to measure constructibility criteria at different systemic levels is a challenge on which we give some ways to follow. The application and adaptation of Systems Engineering to the construction industry remains to be better investigated and we give some further research indications, particularly on the integration with BIM (Building Information Modeling) methods. We also present how the use of MBSE (Model-Based Systems Engineering) techniques and Data Science could lead to the automation of some design activities which could enrich Functional Analysis methods. Insights on the organization of the profession and contractual issues are proposed and would require more researches to enable implementation of the presented methodology in projects
Zullo, Anthony. "Analyse de données fonctionnelles en télédétection hyperspectrale : application à l'étude des paysages agri-forestiers." Thesis, Toulouse 3, 2016. http://www.theses.fr/2016TOU30135/document.
Повний текст джерелаIn hyperspectral imaging, each pixel is associated with a spectrum derived from observed reflectance in d measurement points (i.e., wavelengths). We are often facing a situation where the sample size n is relatively low compared to the number d of variables. This phenomenon called "curse of dimensionality" is well known in multivariate statistics. The mored increases with respect to n, the more standard statistical methodologies performances are degraded. Reflectance spectra incorporate in their spectral dimension a continuum that gives them a functional nature. A hyperspectrum can be modelised by an univariate function of wavelength and his representation produces a curve. The use of functional methods allows to take into account functional aspects such as continuity, spectral bands order, and to overcome strong correlations coming from the discretization grid fineness. The main aim of this thesis is to assess the relevance of the functional approach in the field of hyperspectral remote sensing for statistical analysis. We focused on the nonparametric fonctional regression model, including supervised classification. Firstly, the functional approach has been compared with multivariate methods usually involved in remote sensing. The functional approach outperforms multivariate methods in critical situations where one has a small training sample size combined with relatively homogeneous classes (that is to say, hard to discriminate). Secondly, an alternative to the functional approach to overcome the curse of dimensionality has been proposed using parsimonious models. This latter allows, through the selection of few measurement points, to reduce problem dimensionality while increasing results interpretability. Finally, we were interested in the almost systematic situation where one has contaminated functional data. We proved that for a fixed sample size, the finer the discretization, the better the prediction. In other words, the larger dis compared to n, the more effective the functional statistical methodis
Patout, Florian. "Analyse asymptotique d'équations intégro-différentielles : modèles d'évolution et de dynamique des populations." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSEN044/document.
Повний текст джерелаThis manuscript tackles propagation and concentration phenomena in different integro-differential equations with a background in ecology. We study non local reaction-diffusion equations from population dynamics, and models for Darwinian evolution with a sexual or asexual mode of reproduction, with a preference for the former.In a first part, we study spatial propagation for a reaction diffusion equation where dispersion acts through a fat tailed kernel. We measure accurately the acceleration of the propagation front of the population. We propose as well a scaling well adapted to “small mutations” when we consider the model in the context of adaptative dynamics. This scaling is very natural following the previous spatial investigation. In both cases we look at the long time behavior and we use the Hamilton-Jacobi framework. Then we turn our attention towards a quantitative genetics model, with a sexual mode of reproduction, imposed by the “infinitesimal operator”. In this non-linear setting, a small parameter tunes the deviation between the phenotypic trait of the offspring and the mean of the traits of the parents. In the regime where this parameter is small, we prove existence of stationary solutions, and their local uniqueness. We also provide an example of non-uniqueness in the case where the selection function admits several extrema. We prove that the solution concentrates around the points of minimum of the selection function. The analysis is carried by the small perturbations of special profiles : Gaussian distributions with small variance fixed by the parameter.We then study the stability of the Cauchy problem associated to the previous model. This time we prove that at all times, for a well prepared initial data, the solutions is arbitrary close to a Gaussian distribution with small variance. The proof follows the framework of the previous : we use perturbative analysis tools, but this time an even more precise description of the correctors is needed and we linearize the equation to obtain it. In a final part we show numerical simulations and different mathematical approaches to study inside dynamics of phenotypic lineages in the regime of small variance, with a moving environement
Lehec, Joseph. "Inégalités géométriques et fonctionnelles." Phd thesis, Université Paris-Est, 2008. http://tel.archives-ouvertes.fr/tel-00365744.
Повний текст джерела