Log in

Relevant bibliographies by topics / Type and effect systems / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Type and effect systems.

Dissertations / Theses on the topic 'Type and effect systems'

Author: Grafiati

Published: 4 June 2021

Last updated: 19 February 2022

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 'Type and effect systems.'

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

Kammar, Ohad. "Algebraic theory of type-and-effect systems." Thesis, University of Edinburgh, 2014. http://hdl.handle.net/1842/8910.

Full text

Abstract:

We present a general semantic account of Gifford-style type-and-effect systems. These type systems provide lightweight static analyses annotating program phrases with the sets of possible computational effects they may cause, such as memory access and modification, exception raising, and non-deterministic choice. The analyses are used, for example, to justify the program transformations typically used in optimising compilers, such as code reordering and inlining. Despite their existence for over two decades, there is no prior comprehensive theory of type-and-effect systems accounting for their

APA, Harvard, Vancouver, ISO, and other styles

2

Bañados, Schwerter Felipe Andrés. "Gradual typing for generic type-and-effect systems." Tesis, Universidad de Chile, 2014. http://www.repositorio.uchile.cl/handle/2250/116891.

Full text

Abstract:

Magíster en Ciencias, Mención Computación<br>Los sistemas de tipos-y-efectos (type-and-effect systems) permiten a los programadores hacer valer invariantes y restricciones sobre los efectos secundarios que se generan durante la evaluación de un programa. Los sistemas de tipos-y-efectos consideran efectos secundarios tales como estado, excepciones y E/S, entre otros. Desafortunadamente, los sistemas de tipos-y-efectos también obligan al programador a introducir anotaciones de efectos, lo que implica un esfuerzo adicional. En la práctica, los sistemas de tipos-y-efectos no son comúnmente usados.

APA, Harvard, Vancouver, ISO, and other styles

3

Elsaidi, Abdulsalam. "Photovoltaic (PV) type solar generators and their effect on distribution systems." Thesis, University of Missouri - Kansas City, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=1544928.

Full text

Abstract:

<p> Distribution systems are designed to operate in radial mode (the simplest system topology) without any generation on the system, unidirectional power flow from the distribution substation to the customers via main feeder(s) and its(their) laterals within a specified range of operating points. The rapid growth of PV module installations on the distribution systems could not only offset the load but also cause a significant impact on the flow of power (active and reactive), voltage level, and fault currents, therefore; concerns about their potential impacts on the stability and operation of

APA, Harvard, Vancouver, ISO, and other styles

4

Pirie, John. "New developments to Skalpel : a type error slicing method for explaining errors in type and effect systems." Thesis, Heriot-Watt University, 2014. http://hdl.handle.net/10399/2957.

Full text

Abstract:

Type error reports provide programmers with a description of type errors which exist in their code. Such descriptions are frequently of poor quality, as they often present just one point in the program, rather than all locations in the code which contribute to that type error. Skalpel is a type error report system for the Standard ML language which tackles this problem, by presenting all and only the locations in the program which contribute to the type error. While the original Skalpel gives substantially better error reports than comparable systems, it has a number of limitations such as a l

APA, Harvard, Vancouver, ISO, and other styles

5

Koeppel, Gaudenz Alesch. "Reliability considerations of future energy systems : multi-carrier systems and the effect of energy storage /." Zürich : ETH, 2007. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=17058.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

James, M. S. "Use of whiskers as model systems for studying surface barriers in type II superconductors." Thesis, University of Bath, 2000. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.311247.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Lott, Leslie. "Primary Systems and Voter Turnout: Measuring the Institutional Effect of Primary Type on Voter Turnout." ScholarWorks@UNO, 2009. http://scholarworks.uno.edu/td/956.

Full text

Abstract:

Using the 1990, 1994 and 1998 Congressional mid-term elections, this study looks at whether the type of primary system in a person's state has an effect on whether or not that person will vote in the general election. The five types of primary systems (closed, semi-closed, semiopen, open and blanket) are explained as well as traditional factors for likelihood of voting. It is hypothesized that the more closed the primary system, the less likely a person is to vote. Data analysis shows that when significant, living in an open primary state does significantly increase the likelihood that a

APA, Harvard, Vancouver, ISO, and other styles

8

Ng, H. N. Elaine. "Effects of noise type on speech understanding." Click to view the E-thesis via HKUTO, 2006. http://sunzi.lib.hku.hk/hkuto/record/B37990159.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ng, H. N. Elaine, and 吳凱寧. "Effects of noise type on speech understanding." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2006. http://hub.hku.hk/bib/B37990159.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

McGeorge, Nicolette M. "The effect of training, aim pattern and target type on the ergonomics and efficiency of handheld scanners /." Online version of thesis, 2009. http://hdl.handle.net/1850/10643.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Zilkens, Renate Ruth. "The effect of alcohol and beverage type on cardiovascular disease risk factors." University of Western Australia. School of Medicine and Pharmacology, 2004. http://theses.library.uwa.edu.au/adt-WU2004.0053.

Full text

Abstract:

[Formulae and special characters can only be approximated here. Please see the pdf version of the abstract for an accurate reproduction.] Two randomised controlled trials were conducted to explore the relationship between the consumption of alcoholic beverages and cardiovascular disease risk factors. Study 1 was primarily designed to test the hypothesis that the cardio-protective effect of light alcohol could be mediated, in part, via improvements in endothelial function. Study 1 was also designed to explore the effect of alcohol on both traditional risk factors for cardiovascular disease, s

APA, Harvard, Vancouver, ISO, and other styles

12

Harris, Jean Elisabeth. "The effects of map type and availability on performance with hypermedia." Thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-10102009-020342/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Li, Jing. "Effect of Impeller Type and Number and Liquid Level on Turbulent Blend Time." University of Dayton / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=dayton1487268019417472.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Castro, David. "Structured arrows : a type-based framework for structured parallelism." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/16093.

Full text

Abstract:

This thesis deals with the important problem of parallelising sequential code. Despite the importance of parallelism in modern computing, writing parallel software still relies on many low-level and often error-prone approaches. These low-level approaches can lead to serious execution problems such as deadlocks and race conditions. Due to the non-deterministic behaviour of most parallel programs, testing parallel software can be both tedious and time-consuming. A way of providing guarantees of correctness for parallel programs would therefore provide significant benefit. Moreover, even if we i

APA, Harvard, Vancouver, ISO, and other styles

15

Newton-Foot, Mae. "Understanding the evolution and function of the mycobacterial Type VII ESX secretion systems (T7SSs) and their substrates." Thesis, Stellenbosch : Stellenbosch University, 2013. http://hdl.handle.net/10019.1/79805.

Full text

Abstract:

Thesis (PhD)--Stellenbosch University, 2013.<br>ENGLISH ABSTRACT: Mycobacterium tuberculosis, the causative agent of tuberculosis disease, contains five copies of the ESAT-6 gene cluster, each encoding a dedicated ESX protein secretion system which has been defined as a novel Type-VII secretion system. The ESX have been implicated in virulence and survival of M. tuberculosis, and as such present a promising target for novel treatment interventions. This study has investigated the evolution, regulation, functions and substrates of the ESX secretion systems. The evolutionary history of the

APA, Harvard, Vancouver, ISO, and other styles

16

Vasconcelos, Pedro B. "Space cost analysis using sized types." Thesis, University of St Andrews, 2008. http://hdl.handle.net/10023/564.

Full text

Abstract:

Programming resource-sensitive systems, such as real-time embedded systems, requires guaranteeing both the functional correctness of computations and also that time and space usage fits within constraints imposed by hardware limits or the environment. Functional programming languages have proved very good at meeting the former logical kind of guarantees but not the latter resource guarantees. This thesis contributes to demonstrate the applicability of functional programming in resource-sensitive systems with an automatic program analysis for obtaining guaranteed upper bounds on dynamic space u

APA, Harvard, Vancouver, ISO, and other styles

17

Inderbitzin-Köhler, Silvio. "Effects of prenatal benzodiazepine exposure on opioid systems of the male rat brain /." [S.l.] : [s.n.], 1995. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=11070.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Titze, Tobias, and Christian Chmelik. "Configurational entropy and intersection blocking effects in multicomponent systems in MFI-type zeolites studied by IR Microscopy." Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-185456.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Titze, Tobias, and Christian Chmelik. "Configurational entropy and intersection blocking effects in multicomponent systems in MFI-type zeolites studied by IR Microscopy." Diffusion fundamentals 16 (2011) 58, S. 1-2, 2011. https://ul.qucosa.de/id/qucosa%3A13801.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Schnyder, Andreas Philipp. "From quasiparticle properties in high-temperature superconductors to effects of disorder in low-dimensional systems /." Zürich : ETH, 2006. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=16936.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Nash, Beverly Elaine. "The effects of training information, problem type, and problem structure on performance in a complex automated system." Diss., Georgia Institute of Technology, 1993. http://hdl.handle.net/1853/29874.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Stewart, Andrew John. "Planetary cores : effect and behaviour of minor elements on the Fe-S system to 40 GPa /." Zürich : ETH, 2006. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=16815.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Hulsman, Andrew Charles. "The effect of the type, size, position and recycle ratio of the anoxic zone on low F/M filament bulking in nitrogen removal activated sludge systems." Master's thesis, University of Cape Town, 1992. http://hdl.handle.net/11427/8302.

Full text

Abstract:

Includes bibliography.<br>Filamentous bulking, which causes deterioration in sludge settleability has been shown, in two nation-wide surveys to be a problem of considerable proportions. Poor sludge settleability in the secondary clarifier limits the daily flow and load that can be treated in activated sludge wastewater treatment plants. Controlling sludge settleability to relatively low levels i.e. Diluted Sludge Volume Index (DSVI < 100 rnl/g) by controlling filamentous organism proliferation would allow increased daily flow and loads by up to 100 on existing activated sludge wastewater treat

APA, Harvard, Vancouver, ISO, and other styles

24

Metcalf, Kristen Marie. "Effects of moderate to vigorous-intensity physical activity on nocturnal and next day hypoglycemia in adolescents with Type 1 Diabetes." Thesis, University of Iowa, 2013. https://ir.uiowa.edu/etd/2580.

Full text

Abstract:

Physical activity (PA) provides many benefits to adolescents with Type 1 Diabetes (T1D); however, adolescents with T1D tend to have lower fitness and PA levels. One reason adolescents with T1D engage in less PA is due to a fear of hypoglycemia. Most studies examining PA in relation to glycemic control measure PA through self-report, thus introducing bias. The purpose of this study was to objectively monitor PA and glucose in adolescents with T1D to examine the temporal associations between moderate and vigorous intensity p

APA, Harvard, Vancouver, ISO, and other styles

25

Zhao, Yuhang. "Genetic regulation of the Type III Secretion System and its potential effect on the lateral flagella system in Aeromonas hydrophila AH-3." Thesis, University of Sheffield, 2015. http://etheses.whiterose.ac.uk/8244/.

Full text

Abstract:

Aeromonas species are ubiquitous water-borne bacteria that are able to cause a variety of diseases in poikilothermics and humans. Aeromonas hydrophila is one of the most pathogenic species, responsible for aeromonad septicaemia in fish, gastroenteritis and wound infections in humans. The T3SS is utilized to inject protein effectors directly into host cells. One of the major genetic regulators of the T3SS in several Gram-negative bacterial species is the AraC-like protein ExsA. Lateral flagella are expressed by bacteria upon contact with host cells or a surface and are required for host cell ad

APA, Harvard, Vancouver, ISO, and other styles

26

Styliaras, Nikolaos. "INVESTIGATION OF THE EFFECT OF THE TRANSFORMER CONNECTION TYPE ON VOLTAGE UNBALANCE PROPAGATION: CASE STUDY AT NÄSUDDEN WIND FARM." Thesis, Uppsala universitet, Institutionen för geovetenskaper, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-318969.

Full text

Abstract:

The objective of this Thesis is to investigate the phenomenon of voltage unbalance on electrical wind power systems. A large part of this work is the literature review of all relative work that has been done so far. This serves first as a guideline to define and measure voltage unbalance and second as a tool to spot open research questions that can inspire future work. A case study is then used to investigate the voltage unbalance at a wind farm in Näsudden, Gotland. Using real-time measurements and a simulation of the power system in MATLAB/Simulink, an evaluation of the propagation of the vo

APA, Harvard, Vancouver, ISO, and other styles

27

Sciota, Flavia. "Effect of hyperglycaemia on VEGF-A splice variants, junctional integrity and vascular leakage in human feto-placental vessels from normal and type 1 diabetic pregnancies." Thesis, University of Nottingham, 2012. http://eprints.nottingham.ac.uk/27978/.

Full text

Abstract:

Hyperglycaemia is a main feature of diabetes, and this pathology is a main complication of pregnancy. Diabetic patients often require tighter glycaemic control in pregnancy, as glucose metabolism changes, and insulin dosages need to be adjusted. Throughout gestation, the placenta is therefore subjected to periods of hyperglycaemic insult. Thus, we wished to study how brief periods of hyperglycaemia affected the feto-placental vasculature, through study of important permeability molecules, pro-permeability VEGFa, anti-permeability VEGFb, and junctional stability molecule VE-cadherin. A 15mM con

APA, Harvard, Vancouver, ISO, and other styles

28

Berggren, Olof. "Regulation of Type I Interferon Production in Plasmacytoid Dendritic Cells : Effect of Genetic Factors and Interactions with NK Cells and B Cells." Doctoral thesis, Uppsala universitet, Reumatologi, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-246526.

Full text

Abstract:

The type I interferon (IFN) system plays a central role in the etiopathogenesis of many autoimmune diseases, e.g. systemic lupus erythematosus (SLE). Activation of the type I IFN system in SLE is promoted by endogenous nucleic acid-containing immune complexes (ICs) which stimulate plasmacytoid dendritic cells (pDCs). This thesis focuses on the regulation of IFN-α production in pDCs, by interactions with B cells and natural killer (NK) cells, and by genetic factors. In Study I, RNA-IC-stimulated CD56dim NK cells were found to be activated via FcγRIIIa and enhanced the IFN-α production by pDCs.

APA, Harvard, Vancouver, ISO, and other styles

29

Hanlon, Moshe David Leavers. "The development of p-type silicon detectors for the high radiation regions of the LHC." Thesis, University of Liverpool, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.367258.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Roman, Cristian Robert. "Study of the electromagnetic pumping systems of molten metals and molten salts." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENI001/document.

Full text

Abstract:

Les préoccupations actuelles concernant l'exploitation sécuritaire des centrales nucléaires existantes et la conception d’architectures spéciales envisagées pour la quatrième génération de réacteurs nucléaires se combinent avec l’intérêt plus prononcé pour l'efficacité et la fiabilité de l'équipement d'un système énergétique. Cela fait que dans un souci de meilleure compréhension et optimisation basée sur des moyens modernes de conception assistée par l’ordinateur, l'étude de différentes parties de ces systèmes fait de plus en plus l’objet de recherches approfondies. . Parmi les types proposés

APA, Harvard, Vancouver, ISO, and other styles

31

Zarini, Gustavo G. "The Effect of Vitamin D3 Supplementation on Kidney Function and Cardiovascular Disease Markers among Hispanics and African Americans with Type 2 Diabetes." FIU Digital Commons, 2017. http://digitalcommons.fiu.edu/etd/3376.

Full text

Abstract:

Serum vitamin D deficiency/insufficiency, Chronic Kidney Disease (CKD) and elevated blood pressure are important health concerns especially among minorities with type 2 diabetes. The effect of vitamin D3 supplementation (cholecalciferol) at 6,000 IU/day (d) vs. 4,000 IU/d on kidney function and cardiovascular disease markers among Hispanics and African Americans with type 2 diabetes and hypovitaminosis D (/ml) was evaluated. Subjects (n=63) were recruited from two clinics in Miami-Dade County, FL. Fasting venous blood and fresh, single-voided first morning urine samples were collected from eac

APA, Harvard, Vancouver, ISO, and other styles

32

Gellar, Lauren A. "The Effect of Glycemic Index and Glycemic Load on Glucose Control, Lipid Profiles and Anthropometrics Among Low-Income Latinos With Type 2 Diabetes: A Dissertation." eScholarship@UMMS, 2011. https://escholarship.umassmed.edu/gsbs_diss/522.

Full text

Abstract:

Background The incidence of type 2 diabetes has increased dramatically, particularly among Latinos. While several studies suggest the beneficial effect of lowering glycemic index and glycemic load in patients with type 2 diabetes, no data exists regarding this issue in the Latino population. The purpose of this study was to determine the effect of lowering glycemic index and glycemic load on diabetes control, lipid profiles and anthropometrics among Latinos with type 2 diabetes. Methods Subjects participated in a 12 month randomized clinical trial. The intervention targeted diabetes knowledge,

APA, Harvard, Vancouver, ISO, and other styles

33

Peyton, Daniel Junior. "Nitrogen-compound removal by ion exchange a model system study of the effect of nitrogen-compound type on the removal performance of two sulfonated styrene/divinylbenzene ion-exchange resins." Ohio : Ohio University, 1990. http://www.ohiolink.edu/etd/view.cgi?ohiou1183467365.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Valentin, François. "Optimisation du silicium amorphe hydrogéné préparé par décharge luminescente à basse fréquence pour l'utilisation dans divers dispositifs de type diode Schottky." Grenoble 1, 1987. http://www.theses.fr/1987GRE10173.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Basi, Ramit K. "Bilingual generation effect : participant type or list type?" Honors in the Major Thesis, University of Central Florida, 1996. http://digital.library.ucf.edu/cdm/ref/collection/ETH/id/150.

Full text

Abstract:

This item is only available in print in the UCF Libraries. If this is your Honors Thesis, you can help us make it available online for use by researchers around the world by following the instructions on the distribution consent form at http://library.ucf.edu/Systems/DigitalInitiatives/DigitalCollections/InternetDistributionConsentAgreementForm.pdf You may also contact the project coordinator, Kerri Bottorff, at kerri.bottorff@ucf.edu for more information.<br>Bachelors<br>Arts and Sciences<br>Psychology

APA, Harvard, Vancouver, ISO, and other styles

36

Nguyen, Vu Xuan 1957. "Drug surveillance system for type B adverse effects: a vision." Thesis, McGill University, 1995. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=22865.

Full text

Abstract:

Since type B adverse drug reactions tend to be rare and serious, they tend to be treated by tertiary-care specialists; and since they are commonly iatrogenic, the specialists should be concerned to document carefully not only the case per se but also the drug use history, leading to practice data of good research quality. The specialist should also be concerned to submit the data record to a central facility that would supply the probabilities, evidence-based, that a recent drug use by a patient caused the adverse event. Continual and systematic accumulation of these data records at the centra

APA, Harvard, Vancouver, ISO, and other styles

37

Rushton, Matthew V. "Static and dynamic type systems." Diss., Connect to the thesis Connect to the thesis, 2004. http://hdl.handle.net/10066/1483.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

North, Paige Randall. "Type theoretic weak factorization systems." Thesis, University of Cambridge, 2017. https://www.repository.cam.ac.uk/handle/1810/265152.

Full text

Abstract:

This thesis presents a characterization of those categories with weak factorization systems that can interpret the theory of intensional dependent type theory with Σ, Π, and identity types. We use display map categories to serve as models of intensional dependent type theory. If a display map category (C, D) models Σ and identity types, then this structure generates a weak factorization system (L, R). Moreover, we show that if the underlying category C is Cauchy complete, then (C, R) is also a display map category modeling Σ and identity types (as well as Π types if (C, D) models Π types). Thu

APA, Harvard, Vancouver, ISO, and other styles

39

Cai, Haoxuan. "Type systems for coordination languages." Thesis, Imperial College London, 2012. http://hdl.handle.net/10044/1/9800.

Full text

Abstract:

S-Net is a declarative coordination language rooted in stream processing with a runtime that automatically distributes the computational units among available resources. It is conceived in response to the change of processor development trend, from making the speed faster to embedding more cores. For performance reasons, the S-Net compiler is responsible for generating some additional information, through type inference, which is used by the runtime to make data delivery decisions. This requires the compiler to be supported by a sound type system which can ensure that the program behaviour mee

APA, Harvard, Vancouver, ISO, and other styles

40

Fairweather, Elliot Peter Marshall. "Type systems for nominal terms." Thesis, King's College London (University of London), 2014. http://kclpure.kcl.ac.uk/portal/en/theses/type-systems-for-nominal-terms(823b3aed-d6d1-4232-8b29-b7bd42063b0c).html.

Full text

Abstract:

This thesis concerns types systems for nominal terms, a new syntax, close to informal practice, for representing and reasoning about formal languages that use binders. Nominal techniques allow a rst-order approach to binding in formal languages, providing direct access to both binders and bound variables and a formal axiomatisation of -equivalence. This approach is promising, not least because it has been shown that unication and matching of nominal representations is both decidable and tractable, giving rise to nominal models of computation and programming languages. Nominal terms, a nominal

APA, Harvard, Vancouver, ISO, and other styles

41

Johnson, Simon. "Field effect transistor type sensors." Thesis, Cardiff University, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259174.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Lee, Pei-Chung. "Effector Secretion Control by the Pseudomonas aeruginosa Type III Secretion System." Case Western Reserve University School of Graduate Studies / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=case1301596980.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Trinh, Thi Trang Nhung. "Structural studies of type IX and type II secretion systems." Thesis, Aix-Marseille, 2019. http://www.theses.fr/2019AIXM0089.

Full text

Abstract:

Les protéines synthétisées et sécrétées par les bactéries jouent des rôles importants pour leur survie. Les bactéries à Gram négatif ont développé des voies de sécrétion en tant qu'armes principales pour transporter des facteurs de virulence dans l'environnement extracellulaire ou dans des cellules hôte. L'un de ces systèmes, le T9SS a été principalement étudié chez l'agent pathogène oral Porphyromonas gingivalis et chez la bactérie mobile Flavobacterium johnsoniae. Un autre complexe, le T2SS est le principal déterminant de la virulence de la bactérie Pseudomonas aeruginosa, un agent pathogène

APA, Harvard, Vancouver, ISO, and other styles

44

McCarthy, Oscar Daniel. "Dispersionless integrable systems of KdV type." Thesis, University of Hull, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.395435.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Fuller-Pace, Frances Victoria. "Type I restriction and modification systems." Thesis, University of Edinburgh, 1985. http://hdl.handle.net/1842/14883.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Titheradge, Annette J. B. "Type 1 restriction and modification systems." Thesis, University of Edinburgh, 2004. http://hdl.handle.net/1842/13139.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Behrang, Zahra. "Root systems of Levi type for Lie algebras of affine type." Thesis, University of Birmingham, 2015. http://etheses.bham.ac.uk//id/eprint/5701/.

Full text

Abstract:

Let g = g(\(A\)) be a Kac--Moody Lie algebra with generalized Carlan matrix \(A\). Brundan, Goodwin and independently Kostant developed a theory of root system known as Levi type root system when \(A\) is a Carlan matrix so that g(\(A\)) is a finite dimensional semisimple Lie algebra. This theory replicates much of the structure of usual root systems. In this thesis we build up the theory of Lie algebras to review this. Then we go on to define Levi type roots for the case where \(A\) is of affine type. To describe Levi type root systems we show how these roots are related to the roots of centr

APA, Harvard, Vancouver, ISO, and other styles

48

Yoo-Kong, Sikarin. "Calogero-Moser type systems, associated KP systems, and Lagrangian structures." Thesis, University of Leeds, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.545724.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Brock, Simon Howard. "The use of type systems and type theory in declarative system architecture." Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/47788.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Stuk, Stephen Paul. "Multivariable systems theory for Lanchester type models." Diss., Georgia Institute of Technology, 1987. http://hdl.handle.net/1853/24171.

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!