Log in

Relevant bibliographies by topics / Modal type theory / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Modal type theory.

Dissertations / Theses on the topic 'Modal type theory'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Modal type theory.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

17

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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/.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

35

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

36

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

39

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

41

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

42

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

45

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

碩士<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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

48

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!