Se connecter

Bibliographies thématiques / Modal type theory / Thèses

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Modal type theory.

Thèses sur le sujet « Modal type theory »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleures thèses pour votre recherche sur le sujet « Modal type theory ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.

1

Fritz, Peter. "Intensional type theory for higher-order contingentism." Thesis, University of Oxford, 2015. http://ora.ox.ac.uk/objects/uuid:b9415266-ad21-494a-9a78-17d2395eb8dd.

Texte intégral

Résumé :

Things could have been different, but could it also have been different what things there are? It is natural to think so, since I could have failed to be born, and it is natural to think that I would then not have been anything. But what about entities like propositions, properties and relations? Had I not been anything, would there have been the property of being me? In this thesis, I formally develop and assess views according to which it is both contingent what individuals there are and contingent what propositions, properties and relations there are. I end up rejecting these views, and con

Styles APA, Harvard, Vancouver, ISO, etc.

2

Wellen, Felix [Verfasser], and F. [Akademischer Betreuer] Herrlich. "Formalizing Cartan Geometry in Modal Homotopy Type Theory / Felix Wellen ; Betreuer: F. Herrlich." Karlsruhe : KIT-Bibliothek, 2017. http://d-nb.info/1138708615/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Boulier, Simon Pierre. "Extending type theory with syntactic models." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2018. http://www.theses.fr/2018IMTA0110/document.

Texte intégral

Résumé :

Cette thèse s'intéresse à la métathéorie de la théorie des types intuitionniste. Les systèmes que nous considérons sont des variantes de la théorie des types de Martin-Löf ou du Calcul des Constructions, et nous nous intéressons à la cohérence de ces systèmes ou encore à l'indépendance d'axiomes par rapport à ces systèmes. Le fil rouge de cette thèse est la construction de modèles syntaxiques, qui sont des modèles qui réutilisent la théorie des types pour interpréter la théorie des types. Dans une première partie, nous introduisons la théorie des types à l'aide d'un système minimal et de plusi

Styles APA, Harvard, Vancouver, ISO, etc.

4

Bokšteflová, Barbora. "Motion-picture spatial-differentiation model." Master's thesis, Vysoká škola ekonomická v Praze, 2009. http://www.nusl.cz/ntk/nusl-124646.

Texte intégral

Résumé :

The thesis presents a game theoretic model of two directors on a single market. It introduces a variable film type which attains a value from the interval [0,1], where the boundaries expresses the art and the mainstream film, respectively. Each director has opposite preferences over a film type and chooses which type of film to shoot. The director's decision influences the profit function of the other director. The objective of each director is to maximize his profit function. The profit function is the difference of the quadratic audience function and of the cost function. The cost function i

Styles APA, Harvard, Vancouver, ISO, etc.

5

Jurke, Benjamin. "Nonperturbative Type IIB Model Building in the F-Theory Framework." Diss., lmu, 2011. http://nbn-resolving.de/urn:nbn:de:bvb:19-127722.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Ghalamchi, Parastoo. "A tri-modal theory of agency." Thesis, Brunel University, 2016. http://bura.brunel.ac.uk/handle/2438/13550.

Texte intégral

Résumé :

This study aims to determine the relationship between agency and freedom and it has developed a Tri-Modal Theory of Agency that explains an agent’s decisions with a focus on freedom. Here, based on Berlin’s (1958) ideas we have conceptualised positive and negative sides of freedom with a focus on agency. Meanwhile, agency is defined and measured in three following modes: (A) the conative mode is developed based on Sen’s (2007) capability approach, (B) the cognitive mode is conceptualised based on Weber’s (1993) rationality types and Bakhtin’s (1935) dialogism, and (C) the affective mode is dev

Styles APA, Harvard, Vancouver, ISO, etc.

7

Richardson, Giles William. "Vortex motion in type II superconductors." Thesis, University of Oxford, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.320582.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Aslanyan, Vahagn. "Ax-Schanuel type inequalities in differentially closed fields." Thesis, University of Oxford, 2017. https://ora.ox.ac.uk/objects/uuid:bced8c2d-22df-4a21-9a1f-5e4204b6c85d.

Texte intégral

Résumé :

In this thesis we study Ax-Schanuel type inequalities for abstract differential equations. A motivating example is the exponential differential equation. The Ax-Schanuel theorem states positivity of a predimension defined on its solutions. The notion of a predimension was introduced by Hrushovski in his work from the 1990s where he uses an amalgamation-with-predimension technique to refute Zilber's Trichotomy Conjecture. In the differential setting one can carry out a similar construction with the predimension given by Ax-Schanuel. In this way one constructs a limit structure whose theory turn

Styles APA, Harvard, Vancouver, ISO, etc.

9

Mascarenhas, Helena. "Convolution type operators on cones and asymptotic spectral theory." Doctoral thesis, [S.l. : s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=970638809.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Krippendorf, Sven-Ludwig. "D-brane model building and moduli stabilisation in type IIB string theory." Thesis, University of Cambridge, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.609632.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Peeples, Craig. "Implementation of the SM12 Solvation Model into ADF and ADF-BAND." Journal Of Chemical Theory and Computation, 2016. http://hdl.handle.net/1993/31781.

Texte intégral

Résumé :

Modeling systems in liquid is imperative to chemistry, as many reactions take place in liquid, and nearly all of biochemistry is in the liquid state. Solvation Model 12 (SM12) is the newest Generalized Born Approximation iteration of a series of solvation models from Minnesota, it shows great promise for accurate, description of solutions. Shown is the full implementation of SM12 in to the pure Slater Type Orbital code, the Amsterdam Density Functional (ADF) package in particular. The model performs as well as its Gaussian Type Orbital counterpart. The model has been extended to account fo

Styles APA, Harvard, Vancouver, ISO, etc.

12

Cap, Thi Diu. "Implied volatility with HJM–type Stochastic Volatility model." Thesis, Mälardalens högskola, Akademin för utbildning, kultur och kommunikation, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-54938.

Texte intégral

Résumé :

In this thesis, we propose a new and simple approach of extending the single-factor Heston stochastic volatility model to a more flexible one in solving option pricing problems. In this approach, the volatility process for the underlying asset dynamics depends on the time to maturity of the option. As this idea is inspired by the Heath-Jarrow-Morton framework which models the evolution of the full dynamics of forward rate curves for various maturities, we name this approach as the HJM-type stochastic volatility (HJM-SV) model. We conduct an empirical analysis by calibrating this model to rea

Styles APA, Harvard, Vancouver, ISO, etc.

13

Ramsay, Steven J. "Intersection types and higer-order model checking." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:46b7bc70-3dfe-476e-92e7-245b7629ae4e.

Texte intégral

Résumé :

Higher-order recursion schemes are systems of equations that are used to define finite and infinite labelled trees. Since, as Ong has shown, the trees defined have a decidable monadic second order theory, recursion schemes have drawn the attention of research in program verification, where they sit naturally as a higher-order, functional analogue of Boolean programs. Driven by applications, fragments have been studied, algorithms developed and extensions proposed; the emerging theme is called higher-order model checking. Kobayashi has pioneered an approach to higher-order model checking using

Styles APA, Harvard, Vancouver, ISO, etc.

14

Ott, Tassilo. "Aspects of stability and phenomenology in type IIA orientifolds with intersecting D6-branes." Doctoral thesis, [S.l.] : [s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=968772889.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

Ekiz, Funda. "Cagan Type Rational Expectations Model on Time Scales with Their Applications to Economics." TopSCHOLAR®, 2011. http://digitalcommons.wku.edu/theses/1126.

Texte intégral

Résumé :

Rational expectations provide people or economic agents making future decision with available information and past experiences. The first approach to the idea of rational expectations was given approximately fifty years ago by John F. Muth. Many models in economics have been studied using the rational expectations idea. The most familiar one among them is the rational expectations version of the Cagans hyperination model where the expectation for tomorrow is formed using all the information available today. This model was reinterpreted by Thomas J. Sargent and Neil Wallace in 1973. After that

Styles APA, Harvard, Vancouver, ISO, etc.

16

Neatherway, Robin Philip. "Higher-order model checking with traversals." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de.

Texte intégral

Résumé :

Higher-order recursion schemes are a powerful model of functional computation that grew out of traditional recursive program schemes and generalisations of grammars. It is common to view recursion schemes as generators of possibly-infinite trees, which Ong showed to have a decidable monadic second order theory and opened the door to applications in verification. Kobayashi later presented an intersection type characterisation of the model checking problem, on which most subsequent applied work is based. In recent work, recursion schemes have been considered to play a role similar to Boolean pro

Styles APA, Harvard, Vancouver, ISO, etc.

17

Uemura, Shohei. "D-brane Models and D-brane Instantons in Type IIA Toroidal Orientifolds." 京都大学 (Kyoto University), 2017. http://hdl.handle.net/2433/225393.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

Ecker, Jill [Verfasser]. "Type IIA string theory on T 6/(Z2 × Z6 × OmegaR) : Model building and string phenomenology with intersecting D6-branes / Jill Ecker." Mainz : Universitätsbibliothek Mainz, 2016. http://d-nb.info/1110986408/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Penczek, Frank. "Static guarantees for coordinated components : a statically typed composition model for stream-processing networks." Thesis, University of Hertfordshire, 2012. http://hdl.handle.net/2299/9046.

Texte intégral

Résumé :

Does your program do what it is supposed to be doing? Without running the program providing an answer to this question is much harder if the language does not support static type checking. Of course, even if compile-time checks are in place only certain errors will be detected: compilers can only second-guess the programmer’s intention. But, type based techniques go a long way in assisting programmers to detect errors in their computations earlier on. The question if a program behaves correctly is even harder to answer if the program consists of several parts that execute concurrently and need

Styles APA, Harvard, Vancouver, ISO, etc.

20

NAKANO, MASAKI, AKIRA ASAOKA, and TOSHIHIRO NODA. "SOIL-WATER COUPLED FINITE DEFORMATION ANALYSIS BASED ON A RATE-TYPE EQUATION OF MOTION INCORPORATING THE SYS CAM-CLAY MODEL." 地盤工学会, 2008. http://hdl.handle.net/2237/20062.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

Bordg, Anthony. "Modèles de l'univalence dans le cadre équivariant." Thesis, Nice, 2015. http://www.theses.fr/2015NICE4083.

Texte intégral

Résumé :

Cette thèse de doctorat a pour sujet les modèles de la théorie homotopique des types avec l'Axiome d'Univalence introduit par Vladimir Voevodsky. L'auteur prend pour cadre de travail les définitions de type-theoretic model category, type-theoretic fibration category (cette dernière étant la notion de modèle considérée dans cette thèse) et d'univers dans une type-theoretic fibration category, définitions dues à Michael Shulman. La problématique principale de cette thèse consiste à approfondir notre compréhension de la stabilité de l'Axiome d'Univalence pour les catégories de préfaisceaux, en pa

Styles APA, Harvard, Vancouver, ISO, etc.

22

Madhavi, S. "Carrier Mobility And High Field Transport in Modulation Doped p-Type Ge/Si1-xGex And n-Type Si/Si1-xGex Heterostructures." Thesis, Indian Institute of Science, 2000. https://etd.iisc.ac.in/handle/2005/294.

Texte intégral

Résumé :

Modulation doped heterostructures have revolutionized the operation of field effect devices by increasing the speed of operation. One of the factors that affects the speed of operation of these devices is the mobility of the carriers, which is intrinsic to the material used. Mobility of electrons in silicon based devices has improved drastically over the years, reaching as high as 50.000cm2/Vs at 4.2K and 2600cm2/Vs at room temperature. However, the mobility of holes in p-type silicon devices still remains comparatively lesser than the electron mobility because of large effective masses and co

Styles APA, Harvard, Vancouver, ISO, etc.

23

Madhavi, S. "Carrier Mobility And High Field Transport in Modulation Doped p-Type Ge/Si1-xGex And n-Type Si/Si1-xGex Heterostructures." Thesis, Indian Institute of Science, 2000. http://hdl.handle.net/2005/294.

Texte intégral

Résumé :

Modulation doped heterostructures have revolutionized the operation of field effect devices by increasing the speed of operation. One of the factors that affects the speed of operation of these devices is the mobility of the carriers, which is intrinsic to the material used. Mobility of electrons in silicon based devices has improved drastically over the years, reaching as high as 50.000cm2/Vs at 4.2K and 2600cm2/Vs at room temperature. However, the mobility of holes in p-type silicon devices still remains comparatively lesser than the electron mobility because of large effective masses and co

Styles APA, Harvard, Vancouver, ISO, etc.

24

Paterson, Ruth Elizabeth. "Development and evaluation of a theoretical model to predict medicines adherence in people with mild to moderate intellectual disability and diabetes : a mixed methods study." Thesis, Edinburgh Napier University, 2018. http://researchrepository.napier.ac.uk/Output/1526669.

Texte intégral

Résumé :

Background: Fifty percent of medications are not taken as prescribed. This is a major public health issue yet there is very limited evidence on the factors associated with medicines adherence in people with mild to moderate Intellectually Disabilities and diabetes (IDD). This study evaluated the frequency of, and factors associated with, medicines non-adherence in this group compared to people without ID but with diabetes (non-IDD).Methods: A systematic review of the literature informed the theoretical model tested. A two-stage, sequential mixed methods study with 111 people with type 1 and 2

Styles APA, Harvard, Vancouver, ISO, etc.

25

Chen, Hongyun. "Comparison of Safety Performance by Design Types at Freeway Diverge Areas and Exit Ramp Sections." Scholar Commons, 2010. http://scholarcommons.usf.edu/etd/3470.

Texte intégral

Résumé :

The primary objective of the study is to evaluate the safety performance of different freeway exit types used in current practical designs. More specific, the research objectives include the following two parts: 1) to compare the safety performance of different design types at freeway diverge areas and exit ramp sections; and 2) to identify the impact factors contributing to the crashes happening at these two specific segments. The study area includes four subjects, the freeway widely-spaced diverge areas; the freeway closely-spaced diverge areas; the left-side off-ramps and the exit ramp sect

Styles APA, Harvard, Vancouver, ISO, etc.

26

Ruoppolo, Domenico. "Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus". Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCD069/document.

Texte intégral

Résumé :

La thèse contribue à l’étude du λ-calcul non-typé de Church, un système de réécriture dont la règle principale est la β-réduction (formalisant l’exécution d’un programme). Nous nous concentrons sur la sémantique dénotationnelle, l’étude de modèles du λ-calcul interprétant de la même façon les λ-termes β-convertibles. On examine la sémantique relationnelle, une sémantique sensible aux ressources qui interprète les λ-termes comme des relations avec les entrées regroupées en multi-ensembles. Nous définissons une classe de modèles relationnels, les modèles de graphe relationnels (rgm’s), que nous

Styles APA, Harvard, Vancouver, ISO, etc.

27

Beydogan, Basak. "Self-construal Differences In Perceived Work Situation And Well-being." Phd thesis, METU, 2009. http://etd.lib.metu.edu.tr/upload/3/12609332/index.pdf.

Texte intégral

Résumé :

Based on the theoretical framework provided by Balanced Integration Differentiation (BID) Model (mamoglu, 1998<br>2003) and Self-Determination Theory (SDT) (Deci and Ryan, 1985), this study aimed to explore possible determinants of Turkish employees&amp<br>#8217<br>subjective (i.e., life satisfaction) and psychological well-being. Previous SDT research demonstrated that autonomus causality orientation and perceived autonomy supportiveness of context predicted need satisfaction at work and in turn, employee well-being (e.g., Baard et al., 2004<br>Ilardi et al., 1993). BID Model was tested in a

Styles APA, Harvard, Vancouver, ISO, etc.

28

Tissier, Marion. "Etude numérique de la transformation des vagues en zone littorale, de la zone de levée aux zones de surf et de jet de rive." Thesis, Bordeaux 1, 2011. http://www.theses.fr/2011BOR14437/document.

Texte intégral

Résumé :

Dans cette thèse, nous introduisons un nouveau modèle instationnaire de vagues valable de la zone de levée à la zone de jet de rive adapté à l'étude de la submersion. Le modèle est basé sur les équations de Serre Green-Naghdi (S-GN), dont l'application à la zone de surf reste un domaine de recherche ouvert. Nous proposons une nouvelle approche pour gérer le déferlement dans ce type de modèle, basée sur la représentation des fronts déferlés par des chocs. Cette approche a été utilisée avec succès pour les modèles basés sur les équations de Saint-Venant (SV) et permet une description simple et e

Styles APA, Harvard, Vancouver, ISO, etc.

29

Sanchis, Cano Ángel. "Economic analysis of wireless sensor-based services in the framework of the Internet of Things. A game-theoretical approach." Doctoral thesis, Universitat Politècnica de València, 2018. http://hdl.handle.net/10251/102642.

Texte intégral

Résumé :

El mundo de las telecomunicaciones está cambiando de un escenario donde únicamente las personas estaban conectadas a un modelo donde prácticamente todos los dispositivos y sensores se encuentran conectados, también conocido como Internet de las cosas (IoT), donde miles de millones de dispositivos se conectarán a Internet a través de conexiones móviles y redes fijas. En este contexto, hay muchos retos que superar, desde el desarrollo de nuevos estándares de comunicación al estudio de la viabilidad económica de los posibles escenarios futuros. En esta tesis nos hemos centrado en el estudio de la

Styles APA, Harvard, Vancouver, ISO, etc.

30

De, Notariis Kevin. "Light hyperweak new gauge bosons from kinetic mixing in string models." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/19491/.

Texte intégral

Résumé :

String theory is at the moment our best candidate for a unified quantum theory of gravity, aiming to reconcile all the known (and unknown) interactions with gravity as well as provide insights for currently mysterious phenomena that the Standard Model and the modern Cosmology are not able to explain. In fact, it is believed that most of the problems associated to the Standard Model can indeed be resolved in string theory. Supersymmetry is supposed to be an elegant solution to the Hierarchy problem (even though more and more stringent bounds in this direction are being placed by the fact that w

Styles APA, Harvard, Vancouver, ISO, etc.

31

Sarthou, Jean-Jacques. "Approche anthropologique, technologique et didactique de la maîtrise du risque corporel ; l’exemple de l’enseignement du rugby en milieu scolaire." Thesis, Bordeaux 2, 2010. http://www.theses.fr/2010BOR21746/document.

Texte intégral

Résumé :

Si les risques corporels sont inhérents à la pratique du rugby, ils justifient les nombreuses craintes des enseignants d’éducation physique et sportive, et ce d’autant plus que les statistiques font état d’une blessure grave (fracture – entorse) toutes les cinquante neuf minutes lors de la pratique fédérale (50% des blessures se produisent lors de la situation de jeu la plus fréquente en rugby : le plaquage). La problématique de l’enseignement du rugby en milieu scolaire consiste donc à présenter des situations de référence en prise directe avec les invariants culturels de l’activité et conjug

Styles APA, Harvard, Vancouver, ISO, etc.

32

Milliet, Cédric. "Propriétés algébriques des structures menues ou minces, rang de Cantor Bendixson, espaces topologiques généralisés." Phd thesis, Université Claude Bernard - Lyon I, 2009. http://tel.archives-ouvertes.fr/tel-00442772.

Texte intégral

Résumé :

Les structures menues apparaissent dans les années 1960 de paire avec la conjecture de Vaught, dont elles sont les seuls contre-exemples possibles. Les structures minces sont introduites par Belegradek, et englobent à la fois les structures minimales et menues. Il est bien connu que les ensembles définissables d'une structure mince sont rangés par le rang de Cantor-Bendixson, lorsque l'on fixe un ensemble fini de paramètres. L'étude de ces structures est rendue difficile par le fait que si l'on augmente cet ensemble de paramètres, le rang croît, et on ne sait maîtriser sa croissance. Nous prés

Styles APA, Harvard, Vancouver, ISO, etc.

33

Chen, Carla Chia-Ming. "Bayesian methodology for genetics of complex diseases." Thesis, Queensland University of Technology, 2010. https://eprints.qut.edu.au/43357/1/Carla_Chen_Thesis.pdf.

Texte intégral

Résumé :

Genetic research of complex diseases is a challenging, but exciting, area of research. The early development of the research was limited, however, until the completion of the Human Genome and HapMap projects, along with the reduction in the cost of genotyping, which paves the way for understanding the genetic composition of complex diseases. In this thesis, we focus on the statistical methods for two aspects of genetic research: phenotype definition for diseases with complex etiology and methods for identifying potentially associated Single Nucleotide Polymorphisms (SNPs) and SNP-SNP interacti

Styles APA, Harvard, Vancouver, ISO, etc.

34

Sarthou, Jean-Jacques. "Approche anthropologique, technologique et didactique de la maîtrise du risque corporel ; l’exemple de l’enseignement du rugby en milieu scolaire." Electronic Thesis or Diss., Bordeaux 2, 2010. http://ezproxy.normandie-univ.fr/login?url=http://univ.scholarvox.com/book/88871598.

Texte intégral

Résumé :

Si les risques corporels sont inhérents à la pratique du rugby, ils justifient les nombreuses craintes des enseignants d’éducation physique et sportive, et ce d’autant plus que les statistiques font état d’une blessure grave (fracture – entorse) toutes les cinquante neuf minutes lors de la pratique fédérale (50% des blessures se produisent lors de la situation de jeu la plus fréquente en rugby : le plaquage). La problématique de l’enseignement du rugby en milieu scolaire consiste donc à présenter des situations de référence en prise directe avec les invariants culturels de l’activité et conjug

Styles APA, Harvard, Vancouver, ISO, etc.

35

Hadžalić, Emina. "Analysis of pore pressure influence on failure mechanisms in structural systems." Thesis, Compiègne, 2019. http://www.theses.fr/2019COMP2502.

Texte intégral

Résumé :

Cette thèse porte sur la sécurité globale des structures en matériaux hétérogènes saturés soumis à des charges extrêmes, et est appliquée à des problèmes d’interaction fluide-structure, tels que l’interaction barrage-réservoir. Un modèle numérique d’interaction est proposé pour prédire les principales tendances et le comportement général d’un barrage en matériau saturé en interaction avec le réservoir dans des analyses de défaillance d’intérêt pratique. Le modèle numérique proposé est d’abord présenté dans un cadre bidimensionnel (2D), puis étendu à un cadre tridimensionnel (3D). La structure

Styles APA, Harvard, Vancouver, ISO, etc.

36

Nabolsi, Hawraa. "Contrôle optimal des équations d'évolution et ses applications." Thesis, Valenciennes, 2018. http://www.theses.fr/2018VALE0027/document.

Texte intégral

Résumé :

Dans cette thèse, tout d’abord, nous faisons l’Analyse Mathématique du modèle exact du chauffage radiatif d’un corps semi-transparent $\Omega$ par une source radiative noire qui l’entoure. Il s’agit donc d’étudier le couplage d’un système d’Equations de Transfert Radiatif avec condition au bord de réflectivité indépendantes avec une équation de conduction de la chaleur non linéaire avec condition limite non linéaire de type Robin. Nous prouvons l’existence et l’unicité de la solution et nous démontrons des bornes uniformes sur la solution et les intensités radiatives dans chaque bande de longu

Styles APA, Harvard, Vancouver, ISO, etc.

37

Mathavakkannan, Suresh. "Techniques to assess volume status and haemodynamic stability in patients on haemodialysis." Thesis, University of Hertfordshire, 2010. http://hdl.handle.net/2299/4811.

Texte intégral

Résumé :

Volume overload is a common feature in patients on haemodialysis (HD). This contributes significantly to the cardiovascular disease burden seen in these patients. Clinical assessments of the volume state are often inaccurate. Techniques such as interdialytic blood pressure, relative blood volume monitoring, bioimpedance are available to improve clinical effectives. However all these techniques exhibit significant shortcomings in their accuracy, reliability and applicability at the bed side. We evaluated the usefulness of a dual compartment monitoring technique using Continuous Segmental Bioimp

Styles APA, Harvard, Vancouver, ISO, etc.

38

Moreira, Ana Sofia Pereira. "Study of modifications induced by thermal and oxidative treatment in oligo and polysaccharides of coffee by mass spectrometry." Doctoral thesis, Universidade de Aveiro, 2016. http://hdl.handle.net/10773/17074.

Texte intégral

Résumé :

Doutoramento em Bioquímica<br>Os polissacarídeos são os componentes maioritários dos grãos de café verde e torrado e da bebida de café. Os mais abundantes são as galactomananas, seguindo-se as arabinogalactanas. Durante o processo de torra, as galactomananas e arabinogalactanas sofrem modificações estruturais, as quais estão longe de estar completamente elucidadas devido à sua diversidade e à complexidade estrutural dos compostos formados. Durante o processo de torra, as galactomananas e arabinogalactanas reagem com proteínas, ácidos clorogénicos e sacarose, originando compostos castanh

Styles APA, Harvard, Vancouver, ISO, etc.

39

PILLAI, Vinoshene. "Intravital two photon clcium imaging of glioblastoma mouse models." Doctoral thesis, Scuola Normale Superiore, 2021. http://hdl.handle.net/11384/109211.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

LIANG, HONGZHI. "Sequence Diagrams Integration via Typed Graphs: Theory and Implementation." Thesis, 2009. http://hdl.handle.net/1974/5129.

Texte intégral

Résumé :

It is widely accepted within the software engineering community that the support for integration is necessary for requirement models. Several methodologies, such as the role-based software development, that have appeared in the literature are relying on some kind of integration. However, current integration techniques and their tools support are insufficient. In this research, we discuss our solution to the problem. More precisely, we present a general integration approach for scenario-based models, particularly for UML Sequence Diagrams, based on the colimit construction known from category t

Styles APA, Harvard, Vancouver, ISO, etc.

41

Mascarenhas, Helena. "Convolution type operators on cones and asymptotic spectral theory." Doctoral thesis, 2003. https://monarch.qucosa.de/id/qucosa%3A18097.

Texte intégral

Résumé :

Die Arbeit beschäftigt sich mit Faltungsoperatoren auf Kegeln, die in Lebesgueräumen L^p(R^2) (1<p<\infty) von Funktionen auf der Ebene wirken. Es werden asymptotische Spektraleigenschaften der zugehörigen Finite Sections studiert. Im Falle p=2 (Hilbertraum) wird das Invertierbarkeitsproblem von Operatoren vom Faltungstyp auf Kegeln mit Hilfe der Methode der Standard-Modell-Algebren untersucht.

Styles APA, Harvard, Vancouver, ISO, etc.

42

Ramakrishnan, Janak. "Types in o-minimal theories." Phd thesis, 2008. http://tel.archives-ouvertes.fr/tel-00338308.

Texte intégral

Résumé :

We extend previous work on classifying o-minimal types, and develop several applications. Marker developed a dichotomy of o-minimal types into "cuts" and "noncuts," with a further dichotomy of cuts being either "uniquely" or "non-uniquely realizable." We use this classification to extend work by van den Dries and Miller on bounding growth rates of definable functions in Chapter 3, and work by Marker on constructing certain "small" extensions in Chapter 4. We further sub-classify "non-uniquely realizable cuts" into three categories in Chapter 2, and we give define the notion of a "decreasing" t

Styles APA, Harvard, Vancouver, ISO, etc.

43

Jurke, Benjamin Helmut Friedrich [Verfasser]. "Nonperturbative type IIB model building in the F-theory framework / vorgelegt von Benjamin Helmut Friedrich Jurke." 2010. http://d-nb.info/1011054523/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

Kan-Dobrowsky, Natalia. "Generalized Multinomial CRR Option Pricing Model and its Black-Scholes type limit." Doctoral thesis, 2005. http://hdl.handle.net/11858/00-1735-0000-0006-B401-6.

Texte intégral

Résumé :

Wir bauen das verallgemeinerte diskrete Modell des zu Grunde liegenden Aktienpreisprozesses, der als eine bessere Annäherung an den Aktienpreisprozess dient als der klassische zufällige Spaziergang. Das verallgemeinerte Multinomial-Modell des Option-Preises in Bezug auf das neue Modell des Aktienpreisprozesses wird erhalten. Das entsprechende asymptotische Verfahren erlaubt, die verallgemeinerte Black-Scholes Formel zu erhalten, die die Formel als einen Begrenzungsfall des verallgemeinerten diskr

Styles APA, Harvard, Vancouver, ISO, etc.

45

Gabriel, Malcolm Preston. "Personality types as predictor of team roles." Diss., 2000. http://hdl.handle.net/10500/16822.

Texte intégral

Résumé :

The aim of this study was to determine whether personality types are predictors of team roles in order to make recommendations for the use of personality types, in conjunction with team roles, in selection and teambuilding. The study was conducted among 50 professionals and managers in Western Cape organisations. The data was collected by means of the Myers-Briggs Personality Type Indicator (MBTI) and the TearnBuilder Model of Team Roles. Supporting evidence, although not sufficient, indicates that the Extraversion (E) personality type is a positive predictor of the Driving Onward team role an

Styles APA, Harvard, Vancouver, ISO, etc.

46

王維華. "A Study of Fuzzy Theory on a Development and Evaluation Model to Various Types of Science-Technology Parks." Thesis, 1996. http://ndltd.ncl.edu.tw/handle/72404839062798656265.

Texte intégral

Résumé :

碩士<br>國防管理學院<br>資源管理研究所<br>84<br>In the recent years, our nations'' industrial development has been suffered from the following negative factors: by lack of infrastructure supply in water and electric power, the rising of wages, the growing competition from developing countries and our enterprises moving overseas. For resolving these difficulties, government, industry, academy and R & D sectors should combine together to endeavor high-technology industry and promote the unification of technology and industry. Obviously, the most effective way of promoting industrial upgrading and regional deve

Styles APA, Harvard, Vancouver, ISO, etc.

47

Mammadova, Elnara. "Influence of Rock Types on Seismic Monitoring of CO2 Sequestration in Carbonate Reservoirs." Thesis, 2011. http://hdl.handle.net/1969.1/ETD-TAMU-2011-08-10019.

Texte intégral

Résumé :

Although carbonates hold more than 60 percent of the world's oil reserves, they, nevertheless, exhibit much lower average recovery factor values than terrigenous sandstone reservoirs. Thus, utilization of advanced enhanced oil recovery (EOR) techniques such as high pressure CO2 injection may normally be required to recover oil in place in carbonate reservoirs. This study addresses how different rock types can influence the seismic monitoring of CO2 sequestration in carbonates. This research utilizes an elastic parameter, defined in a rock physics model of poroelasticity and so-called as the

Styles APA, Harvard, Vancouver, ISO, etc.

48

Hassan, Zadeh Amin. "Actuarial applications of multivariate phase-type distributions : model calibration and credibility." Thèse, 2009. http://hdl.handle.net/1866/6540.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

49

Bugallo, Mehdi. "The influence of local reinforcement rate on local response rate under different types of interval schedules with pigeons." Doctoral thesis, 2020. http://hdl.handle.net/1822/77042.

Texte intégral

Résumé :

Tese de Doutoramento em Psicologia Básica<br>O timing é tipicamente visto como a capacidade de se comportar de acordo com durações fixas, mas os animais são sensíveis a contingências temporais, mesmo quando estão perante pistas associadas a durações variáveis. Usando diferentes esquemas de intervalo variável (VI), Catania e Reynolds (1968) mostraram que os perfis da taxa local de resposta ao longo do tempo se relacionavam com os perfis da taxa local de reforço. Com base nisto, foi elaborada a conceção comportamental de timing, de acordo com a qual a taxa local de reforço controla a taxa lo

Styles APA, Harvard, Vancouver, ISO, etc.

50

Dogue, Karel Osiris C. "Jalons pour un cadre de référence OHADA en droit des contrats." Thèse, 2013. http://hdl.handle.net/1866/12717.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!