• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 138
  • 37
  • 24
  • 14
  • 13
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 277
  • 34
  • 33
  • 30
  • 30
  • 30
  • 29
  • 28
  • 28
  • 27
  • 26
  • 26
  • 24
  • 24
  • 24
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
191

Une approche combinatoire du problème de séparation pour les langages réguliers / A combinatorial approach to the separation problem for regular languages

Van Rooijen, Lorijn 04 December 2014 (has links)
Le problème de séparation pour une classe de langages S est le suivant : étant donnés deux langages L1 et L2, existe-t-il un langage appartenant à S qui contient L1, en étant disjoint de L2 ? Si les langages à séparer sont des langages réguliers, le problème de séparation pour la classe S est plus général que le problème de l'appartenance à cette classe, et nous fournit des informations plus détaillées sur la classe. Ce problème de séparation apparaît dans un contexte algébrique sous la forme des parties ponctuelles, et dans un contexte profini sous la forme d'un problème de séparation topologique. Pour quelques classes de langages spécifiques, ce problème a été étudié en utilisant des méthodes profondes de la théorie des semigroupes profinis.Dans cette thèse, on s'intéresse, dans un premier temps, à la décidabilité de ce problème pour plusieurs sous-classes des langages réguliers. Dans un second temps, on s'intéresse à obtenir un langage séparateur, s'il existe, ainsi qu'à la complexité de ces problèmes.Nous établissons une approche générique pour prouver que le problème de séparation est décidable pour une classe de langages donnée. En utilisant cette approche, nous obtenons la décidabilité du problème de séparation pour les langages testables par morceaux, les langages non-ambigus, les langages localement testables, et les langages localement testables à seuil. Ces classes correspondent à des fragments de la logique du premier ordre, et sont parmi lesclasses de langages réguliers les plus étudiées. De plus, cette approche donne une description d'un langage séparateur, pourvu qu'il existe. / The separation problem, for a class S of languages, is the following: given two input languages, does there exist a language in S that contains the first language and that is disjoint from the second langage ?For regular input languages, the separation problem for a class S subsumes the classical membership problem for this class, and provides more detailed information about the class. This separation problem first emerged in an algebraic context in the form of pointlike sets, and in a profinite context as a topological separation problem. These problems have been studied for specific classes of languages, using involved techniques from the theory of profinite semigroups.In this thesis, we are not only interested in showing the decidability of the separation problem for several subclasses of the regular languages, but also in constructing a separating language, if it exists, and in the complexity of these problems.We provide a generic approach, based on combinatorial arguments, to proving the decidability of this problem for a given class. Using this approach, we prove that the separation problem is decidable for the classes of piecewise testable languages, unambiguous languages, and locally (threshold) testable languages. These classes are defined by different fragments of first-order logic, and are among the most studied classes of regular languages. Furthermore, our approach yields a description of a separating language, in case it exists.
192

Molecular motions at the 5 stem-loop of U4 snRNA: Implications for U4/U6 snRNP assembly / Molecular motions at the 5 stem-loop of U4 snRNA: Implications for U4/U6 snRNP assembly

Cojocaru, Vlad 28 June 2005 (has links)
No description available.
193

Méthodes Galerkine discontinues localement implicites en domaine temporel pour la propagation des ondes électromagnétiques dans les tissus biologiques / Locally implicit discontinuous Galerkin time-domain methods for electromagnetic wave propagation in biological tissues

Moya, Ludovic 16 December 2013 (has links)
Cette thèse traite des équations de Maxwell en domaine temporel. Le principal objectif est de proposer des méthodes de type éléments finis d'ordre élevé pour les équations de Maxwell et des schémas d'intégration en temps efficaces sur des maillages localement raffinés. Nous considérons des méthodes GDDT (Galerkine Discontinues en Domaine Temporel) s'appuyant sur une interpolation polynomiale d'ordre arbitrairement élevé des composantes du champ électromagnétique. Les méthodes GDDT pour les équations de Maxwell s'appuient le plus souvent sur des schémas d'intégration en temps explicites dont la condition de stabilité peut être très restrictive pour des maillages raffinés. Pour surmonter cette limitation, nous considérons des schémas en temps qui consistent à appliquer un schéma implicite localement, dans les régions raffinées, tout en préservant un schéma explicite sur le reste du maillage. Nous présentons une étude théorique complète et une comparaison de deux méthodes GDDT localement implicites. Des expériences numériques en 2D et 3D illustrent l'utilité des schémas proposés. Le traitement numérique de milieux de propagation complexes est également l'un des objectifs. Nous considérons l'interaction des ondes électromagnétiques avec les tissus biologiques qui est au cœur de nombreuses applications dans le domaine biomédical. La modélisation numérique nécessite alors de résoudre le système de Maxwell avec des modèles appropriés de dispersion. Nous formulons une méthode GDDT localement implicite pour le modèle de Debye et proposons une analyse théorique et numérique complète du schéma. / This work deals with the time-domain formulation of Maxwell's equations. The main objective is to propose high-order finite element type methods for the discretization of Maxwell's equations and efficient time integration methods on locally refined meshes. We consider Discontinuous Galerkin Time-Domain (DGTD) methods relying on an arbitrary high-order polynomial interpolation of the components of the electromagnetic field. Existing DGTD methods for Maxwell's equations often rely on explicit time integration schemes and are constrained by a stability condition that can be very restrictive on highly refined meshes. To overcome this limitation, we consider time integration schemes that consist in applying an implicit scheme locally i.e. in the refined regions of the mesh, while preserving an explicit scheme in the complementary part. We present a full theoretical study and a comparison of two locally implicit DGTD methods. Numerical experiments for 2D and 3D problems illustrate the usefulness of the proposed time integration schemes. The numerical treatment of complex propagation media is also one of the objectives. We consider the interaction of electromagnetic waves with biological tissues that is of interest to applications in biomedical domain. Numerical modeling then requires to solve the system of Maxwell's equations coupled to appropriate models of physical dispersion. We derive a locally implicit DGTD method for the Debye model and we achieve a full theoretical and numerical analysis of the resulting scheme.
194

Teaching chemistry of water purification in grade 11 using locally available materials through the scientific inquiry approach

Makoni, Robert Davison 10 1900 (has links)
This dissertation surveyed the validities of teaching the chemistry of water purification in South African schools using locally available materials (LAM) through the scientific inquiry (SI) approach. The researcher randomly selected four secondary schools that provided a small and purposive study sample of thirty-two Grade 11 learners and four teachers. The research design applied a mixed-method approach, consisting of qualitative and quantitative methods of data collection. Within this approach, the outcome of SI instruction that integrated LAM was compared with that of conventional instruction through a quasi-experimental control groups design. The researcher identified in the analysis of interviews and questionnaires the most complex aspects of the chemistry of water purification for learners to understand as redox reactions, acid-base systems, precipitations, and chlorination. However, the use of LAM through the scientific inquiry approach made it easier for learners to understand the concepts. The high mean scores ( =80.88; SD=10.28) in Research-based Test 2 (RBT2), of the experimental groups taught through SI signified that those learners immensely benefited from an active and collaborative learning environment. The lowly scores ( =61.69; SD=4.21) of control groups could be attributed to a linear and passive participation of learners in the conventional classroom instruction. The marks of the two groups in post-test RBT2 were paired and contrasted using GraphPad software. The results showed that t =6.699, df =21 with a significant value of 0.0001, which is less than 0.05 (p<0.05), hence it can be inferred that the difference between the means of the two groups was not only statistically important but also worth an explanation. The higher performance scores in RBT2 and the Rubric Assessment Tool (RAT) in experimental groups represents that the intervention was successful in the implementation of instructional design in the the study. In addition, the learners had mastered the crucial aptitudes that included self-discipline in understanding, cooperative learning, searching relevant text on topic, hands-on or laboratory practice and logical thinking in problem solving by working through the SI activities that used LAM. / Mathematics, Science and Technology Education / M. Sc. (Mathematics, Science and Technology Education with specialization in Chemistry Education)
195

Adjuvante Radiochemotherapie beim lokal fortgeschrittenen Rektumkarzinom. Behandlungsergebnisse der Strahlentherapie und Evaluation. / Eine retrospektive Analyse im Zeitraum 01/97-12/06 am Städtischen Klinikum Lüneburg / Adjuvant radiochemotherapy in locally advanced rectal cancer. Therapy outcome in the Clinicum of Lüneburg, Lower Saxony / A retrospective analysis of treatment results from 1997 until 2006

Garbe, Amelie 08 March 2017 (has links)
No description available.
196

Convergence et stabilisation de systèmes dynamiques couplés et multi-échelles vers des équilibres sous contraintes : application à l’optimisation hiérarchique / Convergence and stabilization of coupled and multiscale dynamical systems towards constrained equilibria : application to hierarchical optimization

Noun, Nahla 20 June 2013 (has links)
Nous étudions la convergence de systèmes dynamiques vers des équilibres. En particulier, nous nous intéressons à deux types d'équilibres. D'une part, les solutions d'inéquations variationnelles sous contraintes qui interviennent aussi dans la résolution de problèmes d'optimisation hiérarchique. D'autre part l'état stable d'un système dynamique, c'est à dire l'état où l'énergie du système est nulle. Cette thèse est divisée en deux parties principales, chacune focalisée sur la recherche d'un de ces équilibres. Dans la première partie nous étudions une classe d'algorithmes explicite-implicites pour résoudre certaines inéquations variationnelles sous contraintes. Nous introduisons un algorithme proximal-gradient pénalisé, "splitting forward-backward penalty scheme". Ensuite, nous prouvons sa convergence ergodique faible vers un équilibre dans le cas général d'un opérateur maximal monotone, et sa convergence forte vers l'unique équilibre si l'opérateur est de plus fortement monotone. Nous appliquons aussi notre algorithme pour résoudre des problèmes d'optimisation sous contrainte ou hiérarchique dont les fonctions objectif et de pénalisation sont formées d'une partie lisse et d'une autre non lisse. En effet, nous démontrons la convergence faible de l'algorithme vers un optimum hiérarchique lorsque l'opérateur est le sous-différentiel d'une fonction convexe semi-continue inférieurement et propre. Nous généralisons ainsi plusieurs algorithmes connus et nous retrouvons leurs résultats de convergence en affaiblissant les hypothèses utilisées dans nombre d'entre eux.Dans la deuxième partie, nous étudions l'action d'un contrôle interne local sur la stabilisation indirecte d'un système dynamique couplé formé de trois équations d'ondes, le système de Bresse. Sous la condition d'égalité des vitesses de propagation des ondes, nous montrons la stabilité exponentielle du système. En revanche, quand les vitesses sont différentes, nous prouvons sa stabilité polynomiale et nous établissons un nouveau taux de décroissance polynomial de l'énergie. Ceci étend des résultats présents dans la littérature au sens où le contrôle est localement distribué (et non pas appliqué à tout le domaine) et nous améliorons le taux de décroissance polynomial de l'énergie pour des conditions au bord de type Dirichlet et Dirichlet-Neumann. / We study the convergence of dynamical systems towards equilibria. In particular, we are interested in two types of equilibria. On one hand solutions of constrained variational inequations that are also involved in the resolution of hierarchical optimization problems. On the other hand the stable state of a dynamical system, i.e. the state when the energy of the system is zero. The thesis is divided into two parts, each focused on one of these equilibria. In the first part, we study a class of forward-backward algorithms for solving constrained variational inequalities. We consider a splitting forward-backward penalty scheme. We prove the weak ergodic convergence of the algorithm to an equilibrium for a general maximal monotone operator, and the strong convergence to the unique equilibrium if the operator is an addition strongly monotone. We also apply our algorithm for solving constrained or hierarchical optimization problems whose objective and penalization functions are formed of a smooth and a non-smooth part. In fact, we show the weak convergence to a hierarchical optimum when the operator is the subdifferential of a closed convex proper function. We then generalize several known algorithms and we find their convergence results by weakening assumptions used in a number of them. In the second part, we study the action of a locally internal dissipation law in the stabilization of a linear dynamical system coupling three wave equations, the Bresse system. Under the equal speed wave propagation condition we show that the system is exponentially stable. Otherwise, when the speeds are different, we prove the polynomial stability and establish a new polynomial energy decay rate. This extends results presented in the literature in the sense that the dissipation law is locally distributed (and not applied in the whole domain) and we improve the polynomial energy decay rate with both types of boundary conditions, Dirichlet and Dirichlet-Neumann.
197

Teaching chemistry of water purification in grade 11 using locally available materials through the scientific inquiry approach

Makoni, Robert Davison 10 1900 (has links)
This dissertation surveyed the validities of teaching the chemistry of water purification in South African schools using locally available materials (LAM) through the scientific inquiry (SI) approach. The researcher randomly selected four secondary schools that provided a small and purposive study sample of thirty-two Grade 11 learners and four teachers. The research design applied a mixed-method approach, consisting of qualitative and quantitative methods of data collection. Within this approach, the outcome of SI instruction that integrated LAM was compared with that of conventional instruction through a quasi-experimental control groups design. The researcher identified in the analysis of interviews and questionnaires the most complex aspects of the chemistry of water purification for learners to understand as redox reactions, acid-base systems, precipitations, and chlorination. However, the use of LAM through the scientific inquiry approach made it easier for learners to understand the concepts. The high mean scores ( =80.88; SD=10.28) in Research-based Test 2 (RBT2), of the experimental groups taught through SI signified that those learners immensely benefited from an active and collaborative learning environment. The lowly scores ( =61.69; SD=4.21) of control groups could be attributed to a linear and passive participation of learners in the conventional classroom instruction. The marks of the two groups in post-test RBT2 were paired and contrasted using GraphPad software. The results showed that t =6.699, df =21 with a significant value of 0.0001, which is less than 0.05 (p<0.05), hence it can be inferred that the difference between the means of the two groups was not only statistically important but also worth an explanation. The higher performance scores in RBT2 and the Rubric Assessment Tool (RAT) in experimental groups represents that the intervention was successful in the implementation of instructional design in the the study. In addition, the learners had mastered the crucial aptitudes that included self-discipline in understanding, cooperative learning, searching relevant text on topic, hands-on or laboratory practice and logical thinking in problem solving by working through the SI activities that used LAM. / Mathematics, Science and Technology Education / M. Sc. (Mathematics, Science and Technology Education with specialization in Chemistry Education)
198

Biofonia : A citizen science service to monitor biodiversity

Toriseva, Jenni January 2016 (has links)
An increasing amount of both physical and mental layers keep distancing urban dwellers from the biophysical envi- ronment that we often call nature. Environmental psycholo- gists have coined the term ‘extinction of experience’ to de- scribe the decreasing amount of encounters urban dwellers have with the natural environment. With the depletion of these experiences we have less relation to the natural world. And what we cannot relate to, we find hard to value. The intent has been to explore new ways urban dwelling adults could interact with the natural environment in order to help them relate to the abstract notion of biodiversity. The final concept is inspired by expert and user insights gathered through ethnographic research methods. The resulting design concept is a service and product eco- system that is based in the field of soundscape ecology.
199

Extensions de Lie p-adiques et (Phi, Gamma)-modules / p-adic Lie extensions and (Phi, Gamma)-modules

Poyeton, Léo 11 April 2019 (has links)
Dans cette thèse, on s'intéresse à des aspects théoriques de la théorie des représentations p-adiques du groupe de Galois absolu de K, où K est un corps p-adique, réunis autour de deux axes principaux : d'une part, tenter de caractériser les extensions de Lie p-adiques pour lesquelles on peut définir une théorie des (φ,Γ)-modules, et d'autre part étudier la théorie des (φ,τ)-modules pour obtenir des applications aux représentations p-adiques, et en particulier pour les représentations semi-stables. Cette thèse est constituée de cinq chapitres. Le premier présente les résultats sur les représentations p-adiques, les (φ,Γ)-modules et la théorie de Hodge p-adique nécessaires aux autres chapitres. Dans le deuxième chapitre, on s'intéresse à la question des extensions de Lie p-adiques pour lesquelles on peut définir une théorie des (φ,Γ)-modules, et on montre que, sous l'hypothèse supplémentaire de demander à ce que le Frobenius soit de hauteur finie, ces extensions sont des extensions de Lubin-Tate à extension finie près. Le troisième chapitre expose la théorie des vecteurs localement analytiques nécessaire aux quatrième et cinquième chapitres. Le quatrième chapitre utilise la théorie des vecteurs localement analytiques pour montrer la surconvergence des (φ,τ)-modules. Dans le cinquième chapitre, on utilise les résultats du quatrième chapitre pour caractériser les représentations semi-stables et potentiellement semi-stables du groupe de Galois absolu de K en fonction de leur (φ,τ)-module, et on montre comment retrouver les invariants Dcris et Dst d'une représentation à partir de leur (φ,τ)-module. / In this thesis, we study some theorical aspects of the theory of p-adic representations of the absolute Galois group of K, where K is a p-adic field. First, we try to give a characterization of the p-adic Lie extensions of K for which one can build a theory of (φ,Γ)-modules. Then, we study the theory of (φ,τ)-modules. This thesis consists of five chapters. The first one introduces the results on p-adic representations, (φ,Γ)-modules and p-adic Hodge theory which are needed in the other chapters. In the second chapter, we try to understand which p-adic Lie extensions of K can be used in order to build a theory of (φ,Γ)-modules and we prove that, under the additional assumption that the Frobenius is of finite height, such extensions are, up to a finite extension, Lubin-Tate extensions. The third chapter lays out the theory of locally analytic vectors needed for the fourth and fifth chapters. The fourth chapter uses the theory of locally analytic vectors to prove the overconvergence of (φ,τ)-modules. In the fifth chapter, we use results obtained in the fourth chapter in order to characterize semi-stable and potentially semi-stable representations of the absolute Galois group of K from their (φ,τ)-modules, and we show how to recover the invariants Dcris and Dst attached to a representation V from its (φ,τ)-module.
200

Numerical methods for backward stochastic differential equations of quadratic and locally Lipschitz type

Turkedjiev, Plamen 17 July 2013 (has links)
Der Fokus dieser Dissertation liegt darauf, effiziente numerische Methode für ungekoppelte lokal Lipschitz-stetige und quadratische stochastische Vorwärts-Rückwärtsdifferenzialgleichungen (BSDE) mit Endbedingungen von schwacher Regularität zu entwickeln. Obwohl BSDE viele Anwendungen in der Theorie der Finanzmathematik, der stochastischen Kontrolle und der partiellen Differenzialgleichungen haben, gibt es bisher nur wenige numerische Methoden. Drei neue auf Monte-Carlo- Simulationen basierende Algorithmen werden entwickelt. Die in der zeitdiskreten Approximation zu lösenden bedingten Erwartungen werden mittels der Methode der kleinsten Quadrate näherungsweise berechnet. Ein Vorteil dieser Algorithmen ist, dass sie als Eingabe nur Simulationen eines Vorwärtsprozesses X und der Brownschen Bewegung benötigen. Da sie auf modellfreien Abschätzungen aufbauen, benötigen die hier vorgestellten Verfahren nur sehr schwache Bedingungen an den Prozess X. Daher können sie auf sehr allgemeinen Wahrscheinlichkeitsräumen angewendet werden. Für die drei numerischen Algorithmen werden explizite maximale Fehlerabschätzungen berechnet. Die Algorithmen werden dann auf Basis dieser maximalen Fehler kalibriert und die Komplexität der Algorithmen wird berechnet. Mithilfe einer zeitlich lokalen Abschneidung des Treibers der BSDE werden quadratische BSDE auf lokal Lipschitz-stetige BSDE zurückgeführt. Es wird gezeigt, dass die Komplexität der Algorithmen im lokal Lipschitz-stetigen Fall vergleichbar zu ihrer Komplexität im global Lipschitz-stetigen Fall ist. Es wird auch gezeigt, dass der Vergleich mit bereits für Lipschitz-stetige BSDE existierenden Methoden für die hier vorgestellten Algorithmen positiv ausfällt. / The focus of the thesis is to develop efficient numerical schemes for quadratic and locally Lipschitz decoupled forward-backward stochastic differential equations (BSDEs). The terminal conditions satisfy weak regularity conditions. Although BSDEs have valuable applications in the theory of financial mathematics, stochastic control and partial differential equations, few efficient numerical schemes are available. Three algorithms based on Monte Carlo simulation are developed. Starting from a discrete time scheme, least-square regression is used to approximate conditional expectation. One benefit of these schemes is that they require as an input only the simulations of an explanatory process X and a Brownian motion W. Due to the use of distribution-free tools, one requires only very weak conditions on the explanatory process X, meaning that these methods can be applied to very general probability spaces. Explicit upper bounds for the error are obtained. The algorithms are then calibrated systematically based on the upper bounds of the error and the complexity is computed. Using a time-local truncation of the BSDE driver, the quadratic BSDE is reduced to a locally Lipschitz BSDE, and it is shown that the complexity of the algorithms for the locally Lipschitz BSDE is the same as that of the algorithm of a uniformly Lipschitz BSDE. It is also shown that these algorithms are competitive compared to other available algorithms for uniformly Lipschitz BSDEs.

Page generated in 0.0543 seconds