Log in

Relevant bibliographies by topics / Model of intermediate complexity / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Model of intermediate complexity.

Dissertations / Theses on the topic 'Model of intermediate complexity'

Author: Grafiati

Published: 9 June 2023

Last updated: 19 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 'Model of intermediate complexity.'

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

Hosoe, Taro. "Stability of the global thermohaline circulation in an intermediate complexity ocean model." Thesis, University of Southampton, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401832.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Tolwinski-Ward, Susan E. "Inference on Tree-Ring Width and Paleoclimate Using a Proxy Model of Intermediate Complexity." Diss., The University of Arizona, 2012. http://hdl.handle.net/10150/241975.

Full text

Abstract:

Forward and inverse modeling studies of the relationship between tree ring width and bivariate climate are performed using a model called VS-Lite. The monthly time-step model incorporates two simple but realistic nonlinearities in its description of the transformation of climate variability into ring width index. These features ground VS-Lite in scientific principles and make it more complex than empirically-derived statistical models commonly used to simulate tree ring width. At the same time, VS-Lite is vastly simpler and more efficient than pre-existing numerical models that simulate deta

APA, Harvard, Vancouver, ISO, and other styles

3

Angeloni, Michela <1993&gt. "Climate variability in an Earth system Model of Intermediate Complexity: from interannual to centennial timescales." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2022. http://amsdottorato.unibo.it/10152/1/plasim.pdf.

Full text

Abstract:

This thesis explores the climate mean state and climate variability repro- duced by atmosphere-ocean coupled configurations of the Planet Simulator (PlaSim), an Earth-system Model of Intermediate Complexity (EMIC). In particular, the sensitivity to variations in oceanic parameters is explored in three atmosphere-ocean coupled configurations: using a simple mixed-layer (ML) ocean at two horizontal resolutions (T21 - 600 km and T42 - 300 km) or a more complex dynamical ocean, the Large Scale Geostrophic (LSG) ocean, at T21 atmospheric horizontal resolution. Sensitivity experiments allow to ident

APA, Harvard, Vancouver, ISO, and other styles

4

Biro, Daniel. "Towards intermediate complexity systems biology models of bacterial growth and evolution." Thesis, Yeshiva University, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10798623.

Full text

Abstract:

<p> Modern biological research is currently canalized into two main modes of research: detailed, mechanistic descriptions, or big data collection and statistical descriptions. The former has the advantage of being conceptually tractable and fitting into an existing scientific paradigm. However, these detailed descriptions can suffer from an inability to be understood in the larger context of biological phenomena. On the other hand, the big data approaches, while closer to being able to capture the full depth of biological complexity, are limited in their ability to impart conceptual understand

APA, Harvard, Vancouver, ISO, and other styles

5

Grancini, Carlo. "Initial validation of an agile coupled atmosphere-ocean general circulation model." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2022. http://amslaurea.unibo.it/25439/.

Full text

Abstract:

Mathematical models based on physics, chemistry and biology principles are one of the main tools to understand climate interactions, variability and sensitivity to forcings. Model performance must be validated checking that results are consistent with actual/observed climate. This work describes the initial validation of a new intermediate complexity, coupled climate model based on a set of existing atmosphere, ocean and sea-ice models. The model, developed and made available by the International Centre for Theoretical Physics (ICTP), is based on the widely used SPEEDY atmospheric model. Limit

APA, Harvard, Vancouver, ISO, and other styles

6

Simmons, Christopher. "An investigation of carbon cycle dynamics since the last glacial maximum using a climate model of intermediate complexity." Thesis, McGill University, 2014. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=121260.

Full text

Abstract:

The University of Victoria Earth System Climate Model (UVic ESCM) v. 2.9 is used in this thesis to investigate two important topics in paleoclimate research: the glacial-to-interglacial rise in CO2 and the Holocene carbon cycle. The UVic ESCM belongs to a class of models known as Earth system Models of Intermediate Complexity (EMICs) (Claussen et al. 2002) and provides a simplified yet comprehensive representation of the climate system and carbon cycle dynamics, including a three-dimensional ocean model, a dynamic-thermodynamic sea ice model, a dynamic global vegetation model, ocean sediments,

APA, Harvard, Vancouver, ISO, and other styles

7

Hoar, Mark Robert. "Statistical downscaling from an earth system model of intermediate complexity to reconstruct past climate gradients across the British Isles." Thesis, University of East Anglia, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.396707.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Gomes, Hélène. "Gestion écosystémique et durabilité des pêcheries artisanales tropicales face aux changements globaux." Electronic Thesis or Diss., Guyane, 2022. http://www.theses.fr/2022YANE0004.

Full text

Abstract:

Les changements globaux induisent de grandes pressions sur les écosystèmes marins, leurbiodiversité et les pêcheries qui en dépendent. Dans ce contexte, de nombreux scientifiquesprônent l'utilisation de l'approche écosystémique pour la gestion de pêches (AEGP). Néanmoins,la manière d’opérationnaliser l’AEGP reste controversée. La thèse apporte des éclairages surl’opérationnalisation de cette dernière pour les pêcheries côtières tropicales.Pour ce faire, nous proposons un modèle de complexité intermédiaire (MICE) multi-espèces,multi-flottilles et multi-critères, prenant en compte les impacts de

APA, Harvard, Vancouver, ISO, and other styles

9

Schuster, Swetlana. "Lexical gaps and morphological complexity : the role of intermediate derivational steps." Thesis, University of Oxford, 2018. http://ora.ox.ac.uk/objects/uuid:41346813-951f-4284-9fe1-39bc2231999b.

Full text

Abstract:

In this thesis, we present a multi-method investigation of how lexical gaps, defined here as morphologically and phonologically viable formations, are processed in derivational chains. Due to a focus on the processing of single-affixed words in the experimental literature, little is known about the role of intermediate steps of derivation during morphological decomposition. In a series of four behavioural experiments, we show that while all morphologically well-formed items activate a base word that is two derivational steps away, speakers are sensitive to the internal composition of visually

APA, Harvard, Vancouver, ISO, and other styles

10

Laurence, Harold A. IV. "An exploratory study of cognitive complexity at a military intermediate service school." Diss., Kansas State University, 2015. http://hdl.handle.net/2097/20515.

Full text

Abstract:

Doctor of Philosophy<br>Educational Leadership<br>Sarah Jane Fishback<br>The military devotes significant resources and time in the development of officers through education. Recently, there has been a great deal of emphasis placed on military Intermediate Service Schools (ISS’s) to enhance the ability of graduates to think with greater cognitive complexity in order to solve the kinds of problems they may face after graduation. The military environment in which these mid-career officer students will serve is highly complex and requires a significant ability to generate solutions to unique an

APA, Harvard, Vancouver, ISO, and other styles

11

Hawker, Craig Jon. "Model studies on the spiro intermediate." Thesis, University of Cambridge, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.293833.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Gomaa, Walid. "Model theory and complexity theory." College Park, Md. : University of Maryland, 2007. http://hdl.handle.net/1903/7227.

Full text

Abstract:

Thesis (Ph. D.) -- University of Maryland, College Park, 2007.<br>Thesis research directed by: Computer Science. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.

APA, Harvard, Vancouver, ISO, and other styles

13

Addy, Robert. "Cost of complexity : mitigating transition complexity in mixed-model assembly lines." Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/126942.

Full text

Abstract:

Thesis: M.B.A., Massachusetts Institute of Technology, Sloan School of Management, in conjunction with the Leaders for Global Operations Program at MIT, May, 2020<br>Thesis: S.M., Massachusetts Institute of Technology, Department of Mechanical Engineering, in conjunction with the Leaders for Global Operations Program at MIT, May, 2020<br>Cataloged from the official PDF of thesis.<br>Includes bibliographical references (page 72).<br>The Nissan Smyrna automotive assembly plant is a mixed-model production facility which currently produces six different vehicle models. This mixed-model assembly st

APA, Harvard, Vancouver, ISO, and other styles

14

Villegas, Miguel E. "A quality management system complexity model." Thesis, Birmingham City University, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433968.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Adamu-Fika, Fatimah. "LnCm fault model : complexity and validation." Thesis, University of Warwick, 2016. http://wrap.warwick.ac.uk/92013/.

Full text

Abstract:

Computer systems are ubiquitous in most aspects of our daily lives, as such the reliance of end users upon their correct and timely functioning is on the rise. With technology advancement, the functionality of these systems is increasingly being defined in software. On the other hand, feature sizes have drastically decreased, while feature density has increased. These hardware trends will keep happening as technology continues to advance. Consequently, power supply voltage is ever-decreasing and clock frequency and temperature hotspots are increasing. This steady reduction of integration scale

APA, Harvard, Vancouver, ISO, and other styles

16

Goodrich, David Charles. "Basin Scale and Runoff Model Complexity." Department of Hydrology and Water Resources, University of Arizona (Tucson, AZ), 1990. http://hdl.handle.net/10150/614028.

Full text

Abstract:

Distributed Rainfall-Runoff models are gaining widespread acceptance; yet, a fundamental issue that must be addressed by all users of these models is definition of an acceptable level of watershed discretization (geometric model complexity). The level of geometric model complexity is a function of basin and climatic scales as well as the availability of input and verification data. Equilibrium discharge storage is employed to develop a quantitative methodology to define a level of geometric model complexity commensurate with a specified level of model performance. Equilibrium storage ra

APA, Harvard, Vancouver, ISO, and other styles

17

Browning, Alexander P. "Model complexity in biology and bioengineering." Thesis, Queensland University of Technology, 2022. https://eprints.qut.edu.au/227787/1/Alexander_Browning_Thesis.pdf.

Full text

Abstract:

In biology and bioengineering, mathematical and statistical analysis provides an understanding of biological systems that enables their control and manipulation. Tailoring mathematical and experimental complexity to the biological question of interest is crucial to avoid issues relating to parameter identifiability. We develop models and tools to bring new data-based insights to a range of contemporary problems in biology and bioengineering. These include data-focused stochastic models that describe complex cell interactions and decision making, incorporating biological systems into new engine

APA, Harvard, Vancouver, ISO, and other styles

18

Chen, Yijia. "Model-checking problems, machines and parameterized complexity." [S.l. : s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=972341285.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Stein, Teia N. "Border security: a conceptual model of complexity." Thesis, Monterey, California: Naval Postgraduate School, 2013. http://hdl.handle.net/10945/39015.

Full text

Abstract:

CHDS State/Local<br>This research applies complexity and system dynamics theory to the idea of border security, culminating in the development of a conceptual model that can be used to expand exploration of unconventional leverage points, better understand holistic implications of border policies, and improve sense making for homeland security. How can border security be characterized to better understand what it is, and why are so many divergent opinions being voiced on whether it can be achieved? By demonstrating the border as a complex adaptive system (CAS) through the use of graphic system

APA, Harvard, Vancouver, ISO, and other styles

20

Tierno, Jose Andres Martin Alain J. "An energy-complexity model for VLSI computations /." Diss., Pasadena, Calif. : California Institute of Technology, 1995. http://resolver.caltech.edu/CaltechETD:etd-10252007-094408.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Fan, Yun. "ENSO prediction and predictability in an intermediate coupled model." Thesis, University of Oxford, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.390461.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Mena, Carlos H. "Complexity in organisations : a conceptual model : executive summary." Thesis, University of Warwick, 2003. http://wrap.warwick.ac.uk/1257/.

Full text

Abstract:

Industrial organisations face uncertainty created by consumers, suppliers, competitors and other environmental factors. To deal with this uncertainty, managers have to coordinate the resources of the organisation to produce a variety of behaviours that can cope with environmental change. An organisation that does not have sufficient internal complexity to adapt to the environment cannot survive, while, an organisation with excessive complexity would waste resources and might lose its ability to react to the environment. The main objective of the research was to create a model for dealing with

APA, Harvard, Vancouver, ISO, and other styles

23

Ciucanu, Radu. "Cross-model queries and schemas : complexity and learning." Thesis, Lille 1, 2015. http://www.theses.fr/2015LIL10056/document.

Full text

Abstract:

La spécification de requêtes est généralement une tâche difficile pour les utilisateurs non-experts. Le problème devient encore plus difficile quand les utilisateurs ont besoin d'interroger des bases de données de grande taille et donc difficiles à visualiser. Le schéma pourrait aider à cette spécification, mais celui-ci manque souvent ou est incomplet quand les données viennent de sources hétérogènes. Dans cette thèse, nous abordons le problème de la spécification de requêtes pour les utilisateurs non-experts. Nous identifions deux approches pour attaquer ce problème : apprendre les requêtes

APA, Harvard, Vancouver, ISO, and other styles

24

Haase, Christoph. "On the complexity of model checking counter automata." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:f43bf043-de93-4b5c-826f-88f1bd4c191d.

Full text

Abstract:

Theoretical and practical aspects of the verification of infinite-state systems have attracted a lot of interest in the verification community throughout the last 30 years. One goal is to identify classes of infinite-state systems that admit decidable decision problems on the one hand, and which are sufficiently general to model systems, programs or protocols with unbounded data or recursion depth on the other hand. The first part of this thesis is concerned with the computational complexity of verifying counter automata, which are a fundamental and widely studied class of infinite-state syste

APA, Harvard, Vancouver, ISO, and other styles

25

Damasiotis, Vyron. "Modelling software project management complexity : an assessment model." Thesis, Staffordshire University, 2018. http://eprints.staffs.ac.uk/4834/.

Full text

Abstract:

During the last years, more and more business use projectised organisation as an organisation structure to tackle complex problems needed for the implementation of their strategic objectives. A significant number of these projects were/are challenged or even failed to meet their initial requirements in terms of cost, time and quality. This phenomenon is more intense in software projects due their special characteristics sourcing from the dynamic and continuous changing environment they operate and the nature of the software itself. Most of these failures were attributed to complexity that exis

APA, Harvard, Vancouver, ISO, and other styles

26

Marchut, Alexander Joseph. "Simulation of Polyglutamine Aggregation With An Intermediate Resolution Protein Model." NCSU, 2006. http://www.lib.ncsu.edu/theses/available/etd-01062006-142134/.

Full text

Abstract:

The pathological manifestation of nine hereditary neurodegenerative diseases including Huntington's disease is the presence within the brain of aggregates of disease-specific proteins that contain polyglutamine tracts longer than a critical length. The molecular level mechanisms by which these proteins aggregate are still unclear. In an effort to shed light on this important phenomenon, we are investigating the aggregation of model fibril-forming peptides using molecular-level computer simulation. A simplified model of polyglutamine, the protein that is known to form fibrils (ordered aggregate

APA, Harvard, Vancouver, ISO, and other styles

27

Budin, Garry R. "An intermediate model of the tropical oceans and the atmosphere." Thesis, University of Oxford, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.276560.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Herszon, Leon. "The complexity of projects : an adaptive model to incorporate complexity dimensions into the cost estimation process." Thesis, University of Huddersfield, 2017. http://eprints.hud.ac.uk/id/eprint/33747/.

Full text

Abstract:

Most projects fail to deliver the required product, on time, or within the budget; and complex projects have additional challenges due to the impact of complexity factors, henceforth called dimensions. Cost overruns are common occurrences with projects, especially on complex ones, which points to a better understanding of the cost-estimation process. Accordingly, it is important to identify the factors affecting the project complexities and their impact on costestimation process. Although project complexities and cost-estimation practices have been discussed in literature, there is a clear gap

APA, Harvard, Vancouver, ISO, and other styles

29

Hunter, Christine M., and n/a. "Demography of Procellariids: model complexity, chick quality, and harvesting." University of Otago. Department of Zoology, 2001. http://adt.otago.ac.nz./public/adt-NZDU20070518.110942.

Full text

Abstract:

Many challenges still exist in the empirical measurement of population size or density of burrow-nesting procellariiforms. Although reasonable precision of burrow occupancy estimates can be achieved with 10-15 transect (20 entrances per transect) per site, unknown levels of bias in burrow occupancy estimates currently prevents reliable estimation of burrow-nesting procellariiform abundance or harvest rates. Because it is unlikely that biases in burrow occupancy are similar among colonies, valid comparisons among sites may require estimates of absolute abundance rather than relative measures of

APA, Harvard, Vancouver, ISO, and other styles

30

Potechin, Aaron H. "Analyzing monotone space complexity via the switching network model." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/99066.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mathematics, 2015.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 177-179).<br>Space complexity is the study of how much space/memory it takes to solve problems. Unfortunately, proving general lower bounds on space complexity is notoriously hard. Thus, we instead consider the restricted case of monotone algorithms, which only make deductions based on what is in the input and not what is missing. In this thesis, we develop techniques for analyzing monotone space complexity via a model ca

APA, Harvard, Vancouver, ISO, and other styles

31

Amaechi, Austin Oguejiofor. "A conceptual system design and managerial complexity competency model." Thesis, Brunel University, 2013. http://bura.brunel.ac.uk/handle/2438/8555.

Full text

Abstract:

Complex adaptive systems are usually difficult to design and control. There are several particular methods for coping with complexity, but there is no general approach to build complex adaptive systems. The challenges of designing complex adaptive systems in a highly dynamic world drive the need for anticipatory capacity within engineering organizations, with a goal of enabling the design of systems that can cope with an unpredictable environment. This thesis explores this question of enhancing anticipatory capacity through the study of a complex adaptive system design methodology and complexi

APA, Harvard, Vancouver, ISO, and other styles

32

TU, SHANSHAN. "Case Influence and Model Complexity in Regression and Classification." The Ohio State University, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1563324139376977.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Drummond, Anne. "New educationists in Quebec Protestant model and intermediate schools, 1881-1926." Thesis, University of Ottawa (Canada), 1995. http://hdl.handle.net/10393/10120.

Full text

Abstract:

This study of Quebec Protestant superior and secondary education in the late-nineteenth, early-twentieth century focuses on the professsionalization of the principalship of model schools which were subsidized from the Protestant share of the Quebec Superior Education Fund. The dissertation tries to make a conceptual and historical link between a regulation which prohibited principals from providing the official academy grade curriculum to pupils enrolled in model schools and a series of school consolidation campaigns which the Protestant Committee of the Council of Public Instruction planned a

APA, Harvard, Vancouver, ISO, and other styles

34

Andina, Elisa. "Complexity and Conservatism in Linear Robust Adaptive Model Predictive Control." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019.

Find full text

Abstract:

Questa tesi presenta uno schema di controllo robusto adattativo basato sulla tecnica di controllo avanzato model predictive control (MPC) per sistemi lineari soggetti a disturbi additivi e incertezze parametriche, costanti e variabili. L'approccio proposto fornisce uno schema di controllo efficiente dal punto di vista computazionale con stima dei parametri online per ottenere un aumento delle prestazioni e una diminuzione progressiva del conservatismo. L'insieme dei parametri è estimato usando una tecnica di identificazione a finestra mobile per ottenere un insieme con complessità limitata. Il

APA, Harvard, Vancouver, ISO, and other styles

35

Sorensen, Michael Elliott. "Functional Consequences of Model Complexity in Hybrid Neural-Microelectronic Systems." Diss., Georgia Institute of Technology, 2005. http://hdl.handle.net/1853/6908.

Full text

Abstract:

Hybrid neural-microelectronic systems, systems composed of biological neural networks and neuronal models, have great potential for the treatment of neural injury and disease. The utility of such systems will be ultimately determined by the ability of the engineered component to correctly replicate the function of biological neural networks. These models can take the form of mechanistic models, which reproduce neural function by describing the physiologic mechanisms that produce neural activity, and empirical models, which reproduce neural function through more simplified mathematical expressi

APA, Harvard, Vancouver, ISO, and other styles

36

Vollmer, Sascha. "Development of a Complexity Management Model for Strategic Business Units." Thesis, KTH, Industriell produktion, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-216158.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Knudstrup, Timothy A. "A model for minimizing numeric function generator complexity and delay." Thesis, Monterey, Calif. : Naval Postgraduate School, 2007. http://bosun.nps.edu/uhtbin/hyperion-image.exe/07Dec%5FKnudstrup.pdf.

Full text

Abstract:

Thesis (M.S. in Electrical Engineering)--Naval Postgraduate School, December 2007.<br>Thesis Advisor(s): Butler, Jon T. ; Frenzen, Chris L. "December 2007." Description based on title screen as viewed on January 22, 2008. Includes bibliographical references (p. 211-213). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

38

Chersoni, Emmanuele. "Explaining complexity in human language processing : a distributional semantic model." Thesis, Aix-Marseille, 2018. http://www.theses.fr/2018AIXM0189/document.

Full text

Abstract:

Le présent travail aborde le thème de la complexité sémantique dans le langage naturel, et il propose une hypothèse basée sur certaines caractéristiques des phrases du langage naturel qui déterminent la difficulté pour l'interpretation humaine.Nous visons à introduire un cadre théorique général de la complexité sémantique de la phrase, dans lequel la difficulté d'élaboration est liée à l'interaction entre deux composants: la Mémoire, qui est responsable du rangement des représentations d'événements extraites par des corpus, et l'Unification, qui est responsable de la combinaison de ces unités

APA, Harvard, Vancouver, ISO, and other styles

39

Zetterlund, Olof. "Optimization of Vehicle Powertrain Model Complexity for Different Driving Tasks." Thesis, Linköpings universitet, Fordonssystem, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-122682.

Full text

Abstract:

This master thesis has examined how the understanding of different driving tasks can be used to develop a suitable powertrain model to be used in the Sim III simulator at VTI. Studies performed in the simulator have been statistically analyzed using parameters commonly used to describe driving patterns in drive cycles. It has been shown that the studies can be divided into three driving tasks: "High constant velocity", "High velocity with evasive maneuver", and "Mixed driving". Furthermore, a powertrain model from a former master thesis has been further developed. The new model utilizes a 3D t

APA, Harvard, Vancouver, ISO, and other styles

40

Lehtinen, Maria Karoliina. "Syntactic complexity in the modal μ calculus". Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/29520.

Full text

Abstract:

This thesis studies how to eliminate syntactic complexity in Lμ, the modal μ calculus. Lμ is a verification logic in which a least fixpoint operator μ, and its dual v, add recursion to a simple modal logic. The number of alternations between μ and v is a measure of complexity called the formula’s index: the lower the index, the easier a formula is to model-check. The central question of this thesis is a long standing one, the Lμ index problem: given a formula, what is the least index of any equivalent formula, that is to say, its semantic index? I take a syntactic approach, focused on simplify

APA, Harvard, Vancouver, ISO, and other styles

41

Al-Khalili, Jameel Sadik. "Intermediate energy deuteron elastic scattering from nuclei in a three-body model." Thesis, University of Surrey, 1989. http://epubs.surrey.ac.uk/842863/.

Full text

Abstract:

A study is made of polarized deuteron elastic scattering from 58Ni and 40Ca at the intermediate energies of 400 and 700 MeV. A three-body formalism, based on the Single Folding Model, is used for two sets of Dirac nucleon optical potential parameters. Both potentials are designed to fit the proton elastic scattering observables at half the incident deuteron energy. The two potentials give different predictions for the deuteron scattering observables when used in the Schrodinger equation with relativistic kinematics. Good qualitative agreement with the experimental observables is obtained in bo

APA, Harvard, Vancouver, ISO, and other styles

42

Lowndes, Erik M. "Development of an Intermediate DOF Vehicle Dynamics Model for Optimal Design Studies." NCSU, 1998. http://www.lib.ncsu.edu/theses/available/etd-19981022-201805.

Full text

Abstract:

<p>The demands imposed by the optimal design process form a unique set of criteriafor the development of a computational model for vehicle simulation. Due to the largenumber of simulations that must be performed to obtain an optimized design the modelmust be computationally efficient. A competing criterion is that the computational modelmust realistically model the vehicle.Current trends in vehicle simulation codes have tackled the problem of realism byconstructing elaborate full vehicle models containing dozens if not hundreds of distinctbodies. Each body in a model of this type is associated

APA, Harvard, Vancouver, ISO, and other styles

43

Zeileis, Achim, Torsten Hothorn, and Kurt Hornik. "Evaluating Model-based Trees in Practice." Department of Statistics and Mathematics, WU Vienna University of Economics and Business, 2006. http://epub.wu.ac.at/1484/1/document.pdf.

Full text

Abstract:

A recently suggested algorithm for recursive partitioning of statistical models (Zeileis, Hothorn and Hornik, 2005), such as models estimated by maximum likelihood or least squares, is evaluated in practice. The general algorithm is applied to linear regression, logisitic regression and survival regression and applied to economical and medical regression problems. Furthermore, its performance with respect to prediction quality and model complexity is compared in a benchmark study with a large collection of other tree-based algorithms showing that the algorithm yields interpretable trees, compe

APA, Harvard, Vancouver, ISO, and other styles

44

Jin, Xin. "Coal Electrolysis to Produce Hydrogen at Intermediate Temperatures." Ohio University / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1250785769.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Ferrara, Andrea. "Formal verification: further complexity issues and applications." Doctoral thesis, La Sapienza, 2006. http://hdl.handle.net/11573/917050.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

ZOTKIEWICZ, Mateusz. "Robust routing optimization in resilient networks : Polyhedral model and complexity issues." Phd thesis, Institut National des Télécommunications, 2011. http://tel.archives-ouvertes.fr/tel-00997659.

Full text

Abstract:

In the thesis robust routing design problems in resilient networks are considered. In the first part computational complexity of such problems are discussed. The following cases are considered: - path protection and path restoration - failure-dependent and failure-independent restoration - cases with and without stub-release - single-link failures and multiple-link failures (shared risk link group) - non-bifurcated (unsplittable) flows and bifurcated flows For each of the related optimization cases a mixed-integer (in the non-bifurcated cases) or linear programming formulation (in all bifurcat

APA, Harvard, Vancouver, ISO, and other styles

47

Zotkiewicz, Mateusz. "Robust routing optimization in resilient networks : Polyhedral model and complexity issues." Thesis, Evry, Institut national des télécommunications, 2011. http://www.theses.fr/2011TELE0001/document.

Full text

Abstract:

Dans les grands réseaux de transport, certains éléments du réseau peuvent être responsables du traitement d’importants volumes de trafic. Cela rend ces réseaux vulnérables aux pannes telles que les coupures de câbles. Des mécanismes appropriés pour le recouvrement du trafic doivent être mis en oeuvre pour éviter les ruptures de service. Une des meilleures techniques pour protéger les réseaux de transport consiste à prévoir des mécanismes de restauration au niveau de la couche transport elle-même afin que chaque opérateur de transport puisse sécuriser son propre réseau et offrir un service de t

APA, Harvard, Vancouver, ISO, and other styles

48

Attaallah, Abdulaziz Ahmad. "A Structural Metric Model to Predict the Complexity of Web Interfaces." Diss., North Dakota State University, 2017. http://hdl.handle.net/10365/25918.

Full text

Abstract:

The complexity of web pages has been widely investigated. Many experimental studies used several metrics to measure certain aspects of the users, tasks or GUIs. In this research, we focusing on the visual structure of web pages and how different users look at them regarding complexity. Several important measures and design elements have rarely been addressed together to study the complex nature of the visual structure. Therefore, we promoted a metric model to clarify this issue by conducting several experiments on groups of participants and using several websites from different genres. The goa

APA, Harvard, Vancouver, ISO, and other styles

49

Wallace, Jack C. "The control and transformation metric: a basis for measuring model complexity." Thesis, Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/53089.

Full text

Abstract:

The purpose of this report is to develop a complexity metric suitable for discrete event simulation model representations. Current software metrics, based upon graphical analysis or static program characteristics, do not capture the influence on complexity stemming from the inherent dynamics of a model. A study of extant software metrics provides a basis for identifying desirable properties for model application. Various approaches are examined, and a set of characteristics for a model complexity metric is defined. A metric evolves from the recognition of the two types of complexity: transform

APA, Harvard, Vancouver, ISO, and other styles

50

Cheng, Yuqing. "A Mathematical Model to Predict Fracture Complexity Development and Fracture Length." Thesis, University of Louisiana at Lafayette, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10246182.

Full text

Abstract:

<p> Hydraulic fracturing is a commonly used practice in stimulation treatment, especially in low-permeability formation. The fracture complexity usually took place in relation to the interaction between fractures and natural rock fabrics. Despite many studies regarding the production simulation, diagnostic methods, and mathematical models about fracture complexity, research about the local complexity development is still needed for optimized stimulation design. Aiming to predict the local complexity development and stimulation performance, a hierarchy model is designed to make the problem more

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!