Tesis sobre el tema "Domain theories"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "Domain theories".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Liakata, Maria. "Inducing domain theories". Thesis, University of Oxford, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.413107.
Texto completoWeibell, Christian J. "Principles of Learning: A Conceptual Framework for Domain-Specific Theories of Learning". BYU ScholarsArchive, 2011. https://scholarsarchive.byu.edu/etd/2759.
Texto completoLO, MONACO GABRIELE. "Duality walls and three-dimensional superconformal field theories". Doctoral thesis, Università degli Studi di Milano-Bicocca, 2020. http://hdl.handle.net/10281/257786.
Texto completoA notable class of 3d N=4 superconformal field theories admits a string theoretic realization and can be engineered using brane configurations of D3, D5 and NS5 branes, usually called Hanany-Witten (HW) configurations. The low energy dynamics of such theories have been extensively studied in the past year: a prominent role is played by mirror symmetry, a duality between theories having the same conformal fixed point in the infrared. Mirror symmetry can be thought as inherited from string theory S-duality. As observed by Gaiotto and Witten, HW setups can be generalized by adding new objects, SL(2,Z) duality walls, also called S-folds. When passing through this interface, the system undergoes a local SL(2,Z) transformation. HW setups where an S-fold inserted also admit a holographic description in Type-IIB supergravity as recently shown by Assel and Tomasiello. From a QFT side, the insertion of an S-fold manifests itself as a T[U(N)] theory where each U(N) factor in the global symmetry U(N)xU(N) is commonly gauged, thus generating a non-trivial coupling between two vector multiplets. In this sense, T[U(N)] plays the role of unconventional matter. We refer to theories where a T[U(N)]-link (or simply T-link) has been inserted as S-fold theories: they can be thought of as a generalization of usual N=4 circular quivers. It is worth to stress that only one U(N) factor of the global symmetry is manifest in the Lagrangian description of T[U(N)], whereas the other is emergent at the infrared fixed point. In this sense, a T-link adds a non-Lagrangian ingredient and studying S-fold theories turns out to be an intriguing challenge from a quantum field theory point of view. The aim of this thesis is to gain insight about S-fold SCFTs. We mainly focus on their vacuum moduli spaces, dualities and infrared supersymmetry. We study the moduli space of S-fold SCFTs using mirror symmetry as main tool. When all Chern-Simons (CS) levels are turned off, we propose that the Higgs branch of such theories can be computed performing an hyper-Kahler quotient. Moreover, we conjecture that the Coulomb branch is the same of the Coulomb branch of an effective quiver where the T-linked gauge nodes get frozen. We name this phenomenon freezing rule and we interpret as the fact impossibility of D3 branes to move in some directions when intersecting an S-duality wall. We also generalize S-fold SCFTs to more general cases where a T[G] theory appears, with G being orthogonal, symplectic as well as exceptional groups. For G a classical group, we propose that such theories are dual to HW configurations where an S-fold coexists with orientifold planes. In all these cases, we check our proposals computing the Hilbert series associated to each moduli space and checking it against mirror symmetry. When G is non-Abelian and the CS levels are turned on, we are not able to provide a unique prescription in order to compute the moduli space in presence of a T-link. Nevertheless, we study in full details a sub-class consisting of Abelian models. Since in this case T[U(1)] is an almost empty theory with only a mixed CS term, we are able to compute the moduli space, trying to infer how a T[U(N)] theory should enter the dynamics. Finally, we study the superconformal indices of S-fold theories. Such a quantity is useful for two purposes. The first one is to study the duality between S-fold theories with different quiver descriptions. In this context the index reveals how operators get mapped to each other under the duality. The second purpose is to study the amount of supersymmetry possessed by the S-fold theory at low energies. In principle, the gauging of the global symmetries of a T[U(N)] theory generically breaks supersymmetry down to N=3. However, in many examples with finite N, the index showed that supersymmetry gets enhanced in the infrared. This is also consistent with the supergravity duals, which suggest the enhancement of supersymmetry in the large N limit.
Malik, Zeeshan. "Towards on-line domain-independent big data learning : novel theories and applications". Thesis, University of Stirling, 2015. http://hdl.handle.net/1893/22591.
Texto completoSelander, Keith N. "A function space approach to the generalized nonlinear model with applications to frequency domain spectral estimation". Diss., This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-06062008-172034/.
Texto completoGilbert, Gregory Wallace. "The recursive value of non-utilitarian writing as applied to cognitive domain theories". CSUSB ScholarWorks, 1989. https://scholarworks.lib.csusb.edu/etd-project/551.
Texto completoKyselov, Mykola. "Phenomenological theories of magnetic multilayers and related systems". Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-63594.
Texto completoVarzinczak, Ivan. "What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic". Phd thesis, Université Paul Sabatier - Toulouse III, 2006. http://tel.archives-ouvertes.fr/tel-00319220.
Texto completoconcerning this sore spot. When all postulates are satisfied, we call the action theory modular. We point out the problems that arise when the postulates about modularity are violated, and propose algorithmic checks that can help the designer of an action theory to overcome them. Besides being easier to understand and more elaboration tolerant in McCarthy's sense, modular theories
have interesting computational properties. Moreover, we also propose a framework for updating domain descriptions and show the importance modularity has in action theory change.
Sessa, Mirko. "An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks". Doctoral thesis, Università degli studi di Trento, 2019. http://hdl.handle.net/11572/243432.
Texto completoSessa, Mirko. "An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks". Doctoral thesis, Università degli studi di Trento, 2019. http://hdl.handle.net/11572/243432.
Texto completoGao, Yang Verfasser], Martin [Akademischer Betreuer] [Fränzle y Paolo [Akademischer Betreuer] Zuliani. "Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT) / Yang Gao ; Martin Fränzle, Paolo Zuliani". Oldenburg : BIS der Universität Oldenburg, 2017. http://d-nb.info/1147559287/34.
Texto completoGao, Yang [Verfasser], Martin [Akademischer Betreuer] Fränzle y Paolo [Akademischer Betreuer] Zuliani. "Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT) / Yang Gao ; Martin Fränzle, Paolo Zuliani". Oldenburg : BIS der Universität Oldenburg, 2017. http://d-nb.info/1147559287/34.
Texto completoRavyse, Natasha Elfbiede. "Against all odds : the status of Fanagalo in South Africa today / N.E. Ravyse". Thesis, North-West University, 2013. http://hdl.handle.net/10394/10604.
Texto completoMA (English), North-West University, Vaal Triangle Campus, 2014
Riviere, Peter. "Génération automatique d’obligations de preuves paramétrée par des théories de domaine dans Event-B : Le cadre de travail EB4EB". Electronic Thesis or Diss., Université de Toulouse (2023-....), 2024. http://www.theses.fr/2024TLSEP052.
Texto completoNowadays, we are surrounded by complex critical systems such as microprocessors, railways, home appliances, robots, aeroplanes, and so on. These systems are extremely complex and are safety-critical, and they must be verified and validated. The use of state-based formal methods has proven to be effective in designing complex systems. Event-B has played a key role in the development of such systems. Event-B is a formal system design method that is state-based and correct-by-construction, with a focus on proof and refinement. Event-B facilitates verification of properties such as invariant preservation, convergence, and refinement by generating and discharging proof obligations.Additional properties for system verification, such as deadlock-freeness, reachability, and liveness, must be explicitly defined and verified by the designer or formalised using another formal method. Such an approach reduces re-usability and may introduce errors, particularly in complex systems.To tackle these challenges, we introduced the reflexive EB4EB framework in Event-B. In this framework, each Event-B concept is formalised as a first-class object using First Order Logic (FOL) and set theory. This framework allows for the manipulation and analysis of Event-B models, with extensions for additional, non-intrusive analyses such as temporal properties, weak invariants, deadlock freeness, and so on. This is accomplished through Event-B Theories, which extend the Event-B language with the theory's defined elements, and also by formalising and articulating new proof obligations that are not present in traditional Event-B. Furthermore, Event-B's operational semantics (based on traces) have been formalised, along with a framework for guaranteeing the soundness of the defined theorems, including operators and proof obligations. Finally, the proposed framework and its extensions have been validated across multiple case studies, including Lamport's clock case study, read/write processes, the Peterson algorithm, Automated Teller Machine (ATM), autonomous vehicles, and so on
Davies, Brian E., Graham M. L. Gladwell, Josef Leydold y Peter F. Stadler. "Discrete Nodal Domain Theorems". Department of Statistics and Mathematics, Abt. f. Angewandte Statistik u. Datenverarbeitung, WU Vienna University of Economics and Business, 2000. http://epub.wu.ac.at/976/1/document.pdf.
Texto completoDavies, Brian E., Josef Leydold y Peter F. Stadler. "Discrete Nodal Domain Theorems". Department of Statistics and Mathematics, Abt. f. Angewandte Statistik u. Datenverarbeitung, WU Vienna University of Economics and Business, 2000. http://epub.wu.ac.at/1674/1/document.pdf.
Texto completoBiyikoglu, Türker, Josef Leydold y Peter F. Stadler. "Nodal Domain Theorems and Bipartite Subgraphs". Department of Statistics and Mathematics, Abt. f. Angewandte Statistik u. Datenverarbeitung, WU Vienna University of Economics and Business, 2005. http://epub.wu.ac.at/626/1/document.pdf.
Texto completoSeries: Preprint Series / Department of Applied Statistics and Data Processing
Revenko, Artem. "Automatic Construction of Implicative Theories for Mathematical Domains". Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-197794.
Texto completoRinaldi, Davide. "Formal methods in the theories of rings and domains". Diss., Ludwig-Maximilians-Universität München, 2014. http://nbn-resolving.de/urn:nbn:de:bvb:19-175705.
Texto completoIn den vergangenen Jahren wurde das Hilbertsche Programm im Rahmen der konstruktiven Mathematik wiederaufgenommen. Diese Unternehmung hat sich vor allem in der kommutativen Algebra als praktikabel erwiesen. Insbesondere spielen punktfreie Methoden eine wesentliche Rolle: sie haben sich als die angemessene Sprache herausgestellt, um das Zwischenspiel von "real'" und "ideal" in der Mathematik auszudrücken. Die vorliegende Dissertation steht in dieser Tradition; zentral ist Sambins Begriff der formalen Topologie. Zunächst entwickeln wir ein allgemeines Instrumentarium, das geeignet ist, diesen Begriff seinen algebraischen Anwendungen näherzubringen. Sodann arbeiten wir das Zariski-Spektrum in eine induktiv erzeugte "basic topology" um und analysieren den konstruktiven Status der einschlägigen Varianten von Spatialität und Reduzibilität. Durch Angabe einer Reihe von Instanzen zeigen wir, wie häufig das Prinzip der Spatialität in der mathematischen Praxis vorkommt. Die eigens entwickelten Werkzeuge werden schließlich auf spezifische Probleme aus der konstruktiven Algebra angewandt. Insbesondere geben wir eine elementare Charakterisierung der Kodimension eines Ideals in einem kommutativen Ring an, mit der eine konstruktive Fassung des Krullschen Hauptidealsatzes formuliert und bewiesen werden kann. Ferner beweisen wir eine formale Fassung des Satzes von Eisenbud-Evans-Storch im projektiven Fall. Geleitet von der algebraischen Intuition stellen wir zuletzt eine Anwendung in der konstruktiven Bereichstheorie vor, indem wir eine finite Variante des Dichtheitssatzes von Kleene und Kreisel für nicht-flache Informationssysteme beweisen.
Biyikoglu, Türker. "A Discrete Nodal Domain Theorem for Trees". Department of Statistics and Mathematics, Abt. f. Angewandte Statistik u. Datenverarbeitung, WU Vienna University of Economics and Business, 2002. http://epub.wu.ac.at/1270/1/document.pdf.
Texto completoSeries: Preprint Series / Department of Applied Statistics and Data Processing
Fulcrand, Julien. "Les changements en chaîne historiques confrontés à la phonologie moderne : Propulsion et traction modélisées par deux approches de préservation". Thesis, Lille 3, 2017. http://www.theses.fr/2017LIL30023/document.
Texto completoThe aim of this thesis is to formalise historical chain shifts within modern phonological theories. Martinet (1952, 1955, 1970) distinguishes two main categories of chain shifts: push chains and pull chains. Push chains will be dealt with in the first main part of this thesis (chapters 2 and 3). For modelling of push chains, an existing model is used: Łubowicz's (2003, 2012) Contrast Preservation Theory. For modelling pull chains, which will be the focus of the second part of this thesis (chapters 4 and 5), a new theory will be proposed, based on the phonetic work by De Boer (2001). This proposition is based on the notion of the pillar domains (domaines piliers). Chapter 1 starts with the observation that neither the derivational, SPE-like, theories or output driven theories like Prince's & Smolensky's Optimality Theory (OT) are able to formalise chain shifts properly. Within the derivational theories, it is possible to get a correct description of a chain shift. However, in order to do that, we have to break the links between the different stages of the chain shift. Therefore, one loses the systemic interdependence of the different stages, which is the essence of the chain shift. As regards to Optimality Theory, it is the two-level structure of the theory which proves problematic for chain shifts. In a theoretical chain shift such as /a/ → [e] > /e/ → [i], it is impossible for OT to make, in the same analysis, [e] an optimal candidate and /e/ a non-optimal one. In chapter 2, we analyse and compare several output-driven propositions that have been made to account for chain shifts. Many of them are not satisfactory because they do not manage to model the systemic motivation of chain shifts. The only theory that seems able to complete this objective is Łubowicz's Contrast Preservation Theory (CPT). This theory is based on the notions of contrast, contrast preservation and it evaluates scenarios rather than individual candidates. Contrast preservation is achieved through contrast transformation. The term contrast transformation indicates that the contrast levels of the input system are preserved but that their nature is different in the output system. One observation about CPT is that Łubowicz designed it for synchronic chain shifts. In chapter 2, we prove that CPT is able to model the perceptible coherence in diachronic chain shifts. In chapter 3, thus we decide to test the validity of CPT on actual historical chain shifts. It is tested on two cases. One is the well-known vocalic chain shift the Great Vowel Shift in English. The other one is the Second German Sound Shift (or High German Consonant Shift). We demonstrate that CPT is able to account for both of these chain shifts. At the end of chapter 3, CPT is tested on another type of chain shifts, i.e. chain shifts in first-language acquisition. The studied chain shift is s → θ → f. This chain shift is different from the other two because there is no new contrast level created. The last stage of this chain shift ends with a merger . Once again, CPT can account for this chain shift in a coherent way
Gibson, Iain R. "Decomposition theorems for quasi-discrete planar domains". Thesis, University of Edinburgh, 2003. http://hdl.handle.net/1842/14905.
Texto completoElzaidi, Salaeddin Mohamad. "Some theorems concerning linear differential equations in the complex domain". Thesis, University of Nottingham, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.320786.
Texto completoWinterstein, Daniel. "Using diagrammatic reasoning for theorem proving in a continuous domain". Thesis, University of Edinburgh, 2005. http://hdl.handle.net/1842/642.
Texto completoFusacchia, Gabriele. "Injective modules over semistar Noetherian domains". Doctoral thesis, Università degli studi di Padova, 2011. http://hdl.handle.net/11577/3427410.
Texto completoQuesto lavoro affronta il problema della classificazione dei moduli iniettivi su di un dominio integro, usando lo strumento delle operazioni semistar. Prendendo spunto dai risultati classici di Matlis per il caso Noetheriano, viene prima studiata la struttura dei cosiddetti domini semistar Noetheriani, quindi viene mostrato come ogni operazione semistar su un tale dominio determini una sottoclasse speciale dei moduli iniettivi che può essere classificata in termini di invarianti cardinali.
Rinaldi, Davide [Verfasser] y Peter [Akademischer Betreuer] Schuster. "Formal methods in the theories of rings and domains / Davide Rinaldi. Betreuer: Peter Schuster". München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2014. http://d-nb.info/1062492641/34.
Texto completoKara, F. "The domain hydrodynamic and hydroelastic analysis of floating bodies with forward speed". Thesis, University of Strathclyde, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.366659.
Texto completoGonzalez, Espinoza Luis. "The Knaster-Kuratowski-Mazurkiewicz theorem and abstract convexities". Diss., Georgia Institute of Technology, 2001. http://hdl.handle.net/1853/28640.
Texto completoDinnie, Keith. "Conceptualising nation branding : a qualitative inquiry into an under-theorised domain in marketing". Thesis, Glasgow Caledonian University, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.422048.
Texto completoBartolini, Gabriel. "On Poicarés Uniformization Theorem". Thesis, Linköping University, Department of Mathematics, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-7968.
Texto completoA compact Riemann surface can be realized as a quotient space $\mathcal{U}/\Gamma$, where $\mathcal{U}$ is the sphere $\Sigma$, the euclidian plane $\mathbb{C}$ or the hyperbolic plane $\mathcal{H}$ and $\Gamma$ is a discrete group of automorphisms. This induces a covering $p:\mathcal{U}\rightarrow\mathcal{U}/\Gamma$.
For each $\Gamma$ acting on $\mathcal{H}$ we have a polygon $P$ such that $\mathcal{H}$ is tesselated by $P$ under the actions of the elements of $\Gamma$. On the other hand if $P$ is a hyperbolic polygon with a side pairing satisfying certain conditions, then the group $\Gamma$ generated by the side pairing is discrete and $P$ tesselates $\mathcal{H}$ under $\Gamma$.
Backhouse, Kevin Stuart. "Abstract interpretation of domain-specific embedded languages". Thesis, University of Oxford, 2002. http://ora.ox.ac.uk/objects/uuid:9138936a-145a-4e0e-9a59-f432f8c4e9d0.
Texto completoJUVANON, DU VACHAT REGIS. "Initialisation intrinseque par modes normaux. Theorie et application a un modele a domaine limite". Paris 6, 1989. http://www.theses.fr/1989PA066691.
Texto completoRevenko, Artem [Verfasser], Bernhard [Akademischer Betreuer] Ganter, Gernot [Akademischer Betreuer] Salzer y Sebastian [Gutachter] Rudolph. "Automatic Construction of Implicative Theories for Mathematical Domains / Artem Revenko ; Gutachter: Sebastian Rudolph ; Bernhard Ganter, Gernot Salzer". Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://d-nb.info/111406761X/34.
Texto completoRevenko, Artem Verfasser], Bernhard [Akademischer Betreuer] Ganter, Gernot [Akademischer Betreuer] [Salzer y Sebastian [Gutachter] Rudolph. "Automatic Construction of Implicative Theories for Mathematical Domains / Artem Revenko ; Gutachter: Sebastian Rudolph ; Bernhard Ganter, Gernot Salzer". Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://d-nb.info/111406761X/34.
Texto completoAzizoglu, Suha Alp. "Time Domain Scattering From Single And Multiple Objects". Phd thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/12609413/index.pdf.
Texto completoNédellec, Claire. "Apt, apprentissage interactif de regles de resolution de problemes en presence de theorie du domaine". Paris 11, 1994. http://www.theses.fr/1994PA112045.
Texto completoHuffman, Brian Charles. "HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs". PDXScholar, 2011. https://pdxscholar.library.pdx.edu/open_access_etds/113.
Texto completoCiraud-Lanoue, Perrine. "Prépositions, préverbes et postverbes en anglais et en français. Le cas de away, off et out. Approche syntaxique et sémantique". Thesis, Poitiers, 2013. http://www.theses.fr/2013POIT5019/document.
Texto completoWhen traditional analyses of particles and phrasal verbs in terms of space and time metaphor and degree of idiomaticity only reinforce the impression that their meanings are of a fundamentally random and unpredictable nature, this work tries to prove that it is in fact possible to account for the complexity and diversity of phenomena involved by phrasal verbs while emphasizing how constant and consistent their behaviour is. Via the example of the three markers away, off and out, it is shown that, following a thorough examination of the values of a given particle, and using the conceptual tools developed within the framework provided by the Theory of Enunciative Operations, a stable schematic form can be isolated, which is defined from operations of abstract location. Thanks to it, all of that particle's uses are put on the same level, as resulting from the variation of its schematic form when it enters into relation with the co-text. The focus can then shift to the understanding of some of the principles that govern the interaction between verb and particle through a sample case study
Biyikoglu, Türker, Wim Hordijk, Josef Leydold, Tomaz Pisanski y Peter F. Stadler. "Graph Laplacians, Nodal Domains, and Hyperplane Arrangements". Department of Statistics and Mathematics, Abt. f. Angewandte Statistik u. Datenverarbeitung, WU Vienna University of Economics and Business, 2002. http://epub.wu.ac.at/1036/1/document.pdf.
Texto completoSeries: Preprint Series / Department of Applied Statistics and Data Processing
Wang, Xiaoguang. "Dynamics of McMullen maps and Thurston-type theorems for rational maps with rotation domains". Angers, 2011. http://www.theses.fr/2011ANGE0067.
Texto completoThe thesis mainly consists of two subjects : the first subject relates to the local connectivity of Julia sets for rational maps. We develop Yoccoz puzzle techniques to study McMullen maps and show that the boundary of the bassin of infinity is always a Jordan curve if the Julia set is not a Cantor set. This give a positive answer to a question of Devaney. We also show the Julia set of McMullen is locally connected except some special cases. The second concerns with Thurston's theory on characterization of rational maps. We establish a "decomposition theorem" : every branched covering with rotation domains can be decomposed along a stable multicurve into finitely many Siegel maps or Thurston maps, such that the combinatorics and rational realizations of these resulting maps essentially dominate the original one. As an application, we prove a Thurston type theorem for a class rational maps with Herman rings
Ostier, Pierre. "Hypotheses Domains System : un système d'inférence pour la construction de preuves naturelles et la production d'hypothèses". Université Joseph Fourier (Grenoble), 1997. http://www.theses.fr/1997GRE10257.
Texto completoMohammadi, Leila. "The study of social egg freezing applying theories of framing and social domains: from the communicative treatment to the perception". Doctoral thesis, Universitat Oberta de Catalunya, 2019. http://hdl.handle.net/10803/667736.
Texto completoEl objetivo general de este estudio es explorar el tratamiento comunicativo que utilizan las clínicas de fertilidad en sus sitios web para ofrecer tratamientos de congelación de óvulos por razones sociales y entender las percepciones y experiencias de las mujeres en relación con este fenómeno desde teorías de framing y dominio social. De acuerdo con este marco teórico, el estudio utilizó un enfoque de métodos mixtos: 442 mujeres respondieron cuestionarios, incluidas 23 usuarias de la tecnología de congelación de óvulos. Entre ellas, 18 usuarias fueron entrevistadas a través de entrevistas semiestructuradas, de las que se realizó un análisis del contenido y el discurso de la información. Se ha identificado un patrón centrado en el marketing para los sitios web de clínicas de fertilidad, en los que la información tenía como objetivo promover la congelación de óvulos en lugar de ser informativa. Los participantes entendieron la tecnología social de congelación de óvulos como un seguro futuro para su vida fértil. Este momento adecuado estaba relacionado con la preparación social y emocional. Utilizando la teoría de framing y el dominio social, así como los conceptos de neoliberalismo y consumismo, el estudio demostró cómo la percepción de las mujeres sobre la tecnología social de congelación de óvulos está influenciada por factores sociológicos que incluyen experiencias individuales; pareja y parentesco, y la situación laboral y el puesto de trabajo.
The overall objective of this study is twofold. It aims to explore the communication strategies fertility clinics use on their websites to offer egg-freezing treatments for social reasons, and to understand women's perception and experience of this phenomenon using theories of framing and social domain. In line with this theoretical framework, the study used a mixed methods approach: questionnaires, responded to by 442 women ¿ including 23 users of egg-freezing technology, and semi-structured interviews with 18 users, with subsequent content and discourse analysis. The results showed a markedly marketing-centred pattern on fertility clinic websites, where the information was aimed more at promoting egg freezing than informing. Social egg-freezing technology was understood by the participants as insurance for their future fertility, and they associated the right moment to try to conceive with being socially and emotionally prepared. Using theories of framing and social domain, as well as concepts of neoliberalism and consumerism, this study demonstrates how women's perception of social egg-freezing technology is influenced by sociological factors as well as individual experiences involving partner and family, their job situation or the workplace.
Cherif, Mohamed Raouf. "Theories et procedures numeriques visant a ameliorer l'efficacite du calcul par elements finis". Paris 6, 1986. http://www.theses.fr/1986PA066627.
Texto completoSchwarzbach, Christoph. "Stability of finite element solutions to Maxwell's equations in frequency domain". Doctoral thesis, Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2009. http://nbn-resolving.de/urn:nbn:de:bsz:105-24780.
Texto completoThe physics of time-harmonic electromagnetic phenomena can be mathematically described by boundary value problems. A standard approach is based on the vector Helmholtz equation in terms of the electric field. The curl operator involved has a large, non-trivial kernel which leads to an instable solution behaviour at low frequencies. If the boundary value problem is solved approximately using, e. g., the finite element method, the instability expresses itself by a badly conditioned coefficient matrix of the ensuing system of linear equations. A stable formulation is obtained by taking the continuity equation explicitly into account. In order to solve the boundary value problem numerically a finite element software package has been implemented. Its features comprise, amongst others, the treatment of unstructured meshes and piecewise polynomial, anisotropic constitutive parameters as well as the extension of Maxwell’s equations to the Perfectly Matched Layer. Successful application of the software is demonstrated with examples from marine geophysics. In particular, the incorporation of seafloor topography by a continuous surface triangulation illustrates the geometric flexibility of the software
Otto, Andreas. "Frequency domain methods for the analysis of time delay systems". Doctoral thesis, Universitätsbibliothek Chemnitz, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-208749.
Texto completoIn dieser Dissertation wird ein neues Verfahren zur Analyse von Systemen mit Totzeiten im Frequenzraum vorgestellt. Nach Linearisierung einer nichtlinearen retardierten Differentialgleichung (DDE) mit konstanter verteilter Totzeit um eine konstante oder periodische Referenzlösung kann die sogenannte Hill-Floquet Methode für die Analyse der resultierende linearen DDE angewendet werden. Darüber hinaus werden Systeme mit schnell oder langsam variierender Totzeit, Systeme mit einer variablen Totzeit, resultierend aus einem Transport mit variabler Geschwindigkeit, und entsprechende räumlich ausgedehnte Systeme vorgestellt, welche ebenfalls mit der vorgestellten Methode analysiert werden können. Die neu eingeführte Hill-Floquet Methode basiert auf der Hillschen unendlichen Determinante und ermöglicht die Transformation eines Systems mit periodischen Koeffizienten auf ein autonomes System mit konstanten Koeffizienten. Dadurch können zur Analyse periodischer Systeme auch eine Vielzahl existierender Methoden für autonome Systeme genutzt werden und die Berechnung der Monodromie-Matrix für die Lösung des Systems über eine Periode entfällt. In dieser Arbeit wird zur Analyse des autonomen Systems die Tschebyscheff-Kollokationsmethode verwendet. Im Speziellen wird bei diesem Verfahren der periodische Teil der Lösung in einer Fourierreihe entwickelt und das exponentielle Verhalten durch die Werte der Fourierkoeffizienten an den Tschebyscheff Knoten approximiert, wohingegen bei klassischen spektralen Verfahren die komplette Lösung in bestimmten Basisfunktionen entwickelt wird. Im Anwendungsteil der Arbeit werden neue Ergebnisse für drei Beispielsysteme präsentiert, welche mit den vorgestellten Methoden analysiert wurden. Es wird gezeigt, dass Welleninstabilitäten schon bei Einkomponenten-Reaktionsdiffusionsgleichungen mit verteilter oder variabler Totzeit auftreten können. In einem zweiten Beispiel werden Schwingungen an Werkzeugmaschinen betrachtet, wobei speziell simultane Drehbearbeitungsprozesse und Prozesse mit Drehzahlvariationen genauer untersucht werden. Am Ende wird die Synchronisation in Netzwerken mit heterogenen Totzeiten in den Kopplungstermen untersucht, wobei die Zerlegung in Netzwerk-Eigenmoden für synchrone periodische Orbits hergeleitet wird und konkrete numerische Ergebnisse für ein Netzwerk aus Hodgkin-Huxley Neuronen gezeigt werden
Attou, Djelloul. "Theorie asymptotique des plaques minces electro ou magnetoelastiques". Paris 6, 1988. http://www.theses.fr/1988PA066029.
Texto completoHamadi, Riad. "Méthodes de décompositions de domaines pour la résolution des CSP : application au système OSIRIS". Université Joseph Fourier (Grenoble ; 1971-2015), 1997. http://www.theses.fr/1997GRE10203.
Texto completoOtto, Michael. "Symplectic convexity theorems and applications to the structure theory of semisimple Lie groups". Connect to this title online, 2004. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1084986339.
Texto completoTitle from first page of PDF file. Document formatted into pages; contains v, 88 p. Includes bibliographical references (p. 87-88). Available online via OhioLINK's ETD Center
Nägele, Philipp [Verfasser] y Michael [Akademischer Betreuer] Růžička. "Monotone operator theory for unsteady problems on non-cylindrical domains = Monotone Operatoren-Theorie für instationäre Probleme auf nicht-zylindrischen Gebieten". Freiburg : Universität, 2015. http://d-nb.info/111932758X/34.
Texto completoKRASTEV, KRASSIMIR. "Structures periodiques a une et deux dimensions pour le domaine des rayons x : miroirs multicouches, reseaux multicouches - theorie, modelisation, experience". Paris 6, 1997. http://www.theses.fr/1997PA066404.
Texto completo