Tesis sobre el tema "Models"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "Models".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Andriushchenko, Roman. "Computer-Aided Synthesis of Probabilistic Models". Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-417269.
Texto completoRozestraten, Artur Simões. "Estudo sobre a história dos modelos arquitetônicos na antigüidade: origens e características das primeiras maquetes de arquiteto". Universidade de São Paulo, 2003. http://www.teses.usp.br/teses/disponiveis/16/16131/tde-09062009-145825/.
Texto completoThis study intends to identify the first architects models among the several architectural models already known and presented in literature. Architects models are third-dimensional objects directly related to knowledge, planning and communication of architectural matters. Recession to Antiquity seems necessary in order to study the origins of the relation between three-dimensional model and architects work in the western world. Chronologically this study begins at 6.000 b.C. and ends at the Roman world (c. 200 a.D.). In geographical terms this study focuses objects produced by Neolithic Southeastern European cultures, Near Eastern cultures, Egyptian culture, Aegean cultures (Cretan and Cycladic), Cypriot, Greek, Villanovian and Roman cultures. Material evidences for architects models are rare and inaccurate all over Antiquity. Nevertheless some few objects are very close to architects work deserving deeper future studies: the miniature brick ensemble from Tepe Gawra (c. 3.500 a.C.); the Egyptian Dahshours model (1.990-1.730 a.C.); the minoan model of Arkhanes (1.700-1.630 a.C.) and the Roman models of Ostia (I a.C.), Niha, Baalbek and Villa Adriana (II d.C.).
Kang, Changsung. "Model testing for causal models". [Ames, Iowa : Iowa State University], 2008.
Buscar texto completoLIMA, FILHO Luiz Medeiros de Araújo. "Modelos simétricos transformados não-lineares com diferentes distribuições dos erros: aplicações em ciências florestais". Universidade Federal Rural de Pernambuco, 2009. http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/5175.
Texto completoMade available in DSpace on 2016-08-03T15:09:46Z (GMT). No. of bitstreams: 1 Luiz Medeiros de Araujo Lima Filho.pdf: 529199 bytes, checksum: 06cae9ad9a02975b786cf55a000dbc5b (MD5) Previous issue date: 2009-02-13
Historically, the wood of the eucalyptus is used for the most varied applications, such as; firewood, charcoal, cellulose, railway sleepers, posts for electrification, bark to tan leather, essential oils, civil construction, etc. The Gypsum Pole of Araripe in Pernambuco is a great firewood consumer for the gypsum production. Due to great need to find economical and environmental alternatives for the area, the sustainable production of eucalyptus that is a fast growth tree with great versatility has an important role. In the planning of the sustainable forest management there is a variable of extreme importance: the growth. To model the growth is fundamental in the prognosis of the productivity, site quality and dynamics of populations. Usually, the growth curves are fitted through nonlinear models developed empirically to relate, for instance, height and age. The Chapman-Richards model is a nonlinear model frequently used to model forest growth. In studies of this type, in general, it is assumed that the errors follow approximately the normal distribution. However, to model the growth assuming that the errors have a normal distribution is quite sensitive to atypical values that can happen, and generate bad estimates of the parameters. To correct that problem a new class of transformed symmetrical models was developed considering for the errors symmetrical continuous distributions with heavier tails than the normal distribution and allowing a possible nonlinear structure for the mean. With the expectation of obtaining better estimates of eucalyptus growth, it was applied to the Chapman-Richards model the following distributions of the errors: normal, t of Student, Cauchy, exponential potency, logistics I and logistics II. The t distribution of Student with 2 degrees of freedom was the most efficient to estimate height and circumference growth of eucalyptus in the Gypsum Pole of Pernambuco.
Historicamente, a madeira do Eucalyptus é usada para os mais variados fins, tais como; lenha, carvão vegetal, celulose, dormentes ferroviários, postes para eletrificação, casca para curtir couro, óleos essenciais, construção civil, etc. O Pólo Gesseiro do Araripe em Pernambuco é um grande consumidor de madeira para produção de gesso. Devido à grande necessidade de se buscar uma alternativa econômica e ambiental para a região é de interesse obter uma produção sustentável para o Eucalyptus, uma vez que esta é uma árvore de rápido crescimento e grande versatilidade. No planejamento do manejo florestal sustentado uma variável é de extrema importância: o crescimento. Sua modelagem é fundamental na prognose da produtividade, qualidade do local e dinâmica de populações. Geralmente, as curvas de crescimento são estudadas por meio de modelos não-lineares desenvolvidos empiricamente para relacionar, por exemplo, altura e idade. Um modelo não-linear bastante utilizado na prática para modelar curvas de crescimento é o modelo de Chapman-Richards. Em estudos deste tipo, em geral, assume-se que os erros seguem distribuição normal. Contudo, a modelagem sob a suposição de erros com distribuição normal é bastante sensível a valores atípicos que por ventura possam ocorrer, podendo distorcer as estimativas dos parâmetros. Para corrigir esse problema Cordeiro et al. (2009) desenvolveram uma nova classe de modelos simétricos transformados considerando para os erros distribuições contínuas simétricas com caudas mais pesadas do que a distribuição normal e permitindo uma possível estrutura não-linear para a média. Dessa forma, com a expectativa de obter melhores estimativas de crescimento de Eucalyptus, aplicaram-se ao modelo de Chapman-Richards as seguintes distribuições dos erros: normal, t de Student, Cauchy, exponencial potência, logística I e logística II que apresentou a distribuição t de Student com 2 graus de liberdade com melhores estimativas de crescimento em altura e circunferência de Eucalyptus no Pólo Gesseiro de Pernambuco.
Kotsalis, Georgios. "Model reduction for Hidden Markov models". Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/38255.
Texto completoIncludes bibliographical references (leaves 57-60).
The contribution of this thesis is the development of tractable computational methods for reducing the complexity of two classes of dynamical systems, finite alphabet Hidden Markov Models and Jump Linear Systems with finite parameter space. The reduction algorithms employ convex optimization and numerical linear algebra tools and do not pose any structural requirements on the systems at hand. In the Jump Linear Systems case, a distance metric based on randomization of the parametric input is introduced. The main point of the reduction algorithm lies in the formulation of two dissipation inequalities, which in conjunction with a suitably defined storage function enable the derivation of low complexity models, whose fidelity is controlled by a guaranteed upper bound on the stochastic L2 gain of the approximation error. The developed reduction procedure can be interpreted as an extension of the balanced truncation method to the broader class of Jump Linear Systems. In the Hidden Markov Model case, Hidden Markov Models are identified with appropriate Jump Linear Systems that satisfy certain constraints on the coefficients of the linear transformation. This correspondence enables the development of a two step reduction procedure.
(cont.) In the first step, the image of the high dimensional Hidden Markov Model in the space of Jump Linear Systems is simplified by means of the aforementioned balanced truncation method. Subsequently, in the second step, the constraints that reflect the Hidden Markov Model structure are imposed by solving a low dimensional non convex optimization problem. Numerical simulation results provide evidence that the proposed algorithm computes accurate reduced order Hidden Markov Models, while achieving a compression of the state space by orders of magnitude.
by Georgios Kotsalis.
Ph.D.
Pommellet, Adrien. "On model-checking pushdown systems models". Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC207/document.
Texto completoIn this thesis, we propose different model-checking techniques for pushdown system models. Pushdown systems (PDSs) are indeed known to be a natural model for sequential programs, as they feature an unbounded stack that can simulate the assembly stack of an actual program. Our first contribution consists in model-checking the logic HyperLTL that adds existential and universal quantifiers on path variables to LTL against pushdown systems (PDSs). The model-checking problem of HyperLTL has been shown to be decidable for finite state systems. We prove that this result does not hold for pushdown systems nor for the subclass of visibly pushdown systems. Therefore, we introduce approximation algorithms for the model-checking problem, and show how these can be used to check security policies. In the second part of this thesis, as pushdown systems can fail to accurately represent the way an assembly stack actually operates, we introduce pushdown systems with an upper stack (UPDSs), a model where symbols popped from the stack are not destroyed but instead remain just above its top, and may be overwritten by later push rules. We prove that the sets of successors post* and predecessors pre* of a regular set of configurations of such a system are not always regular, but that post* is context-sensitive, hence, we can decide whether a single configuration is forward reachable or not. We then present methods to overapproximate post* and under-approximate pre*. Finally, we show how these approximations can be used to detect stack overflows and stack pointer manipulations with malicious intent. Finally, in order to analyse multi-threaded programs, we introduce in this thesis a model called synchronized dynamic pushdown networks (SDPNs) that can be seen as a network of pushdown processes executing synchronized transitions, spawning new pushdown processes, and performing internal pushdown actions. The reachability problem for this model is obviously undecidable. Therefore, we compute an abstraction of the execution paths between two regular sets of configurations. We then apply this abstraction framework to a iterative abstraction refinement scheme
Peak, Russell Speights. "Product model-based analytical models (PBAMs) : a new representation of engineering analysis models". Diss., Georgia Institute of Technology, 1993. http://hdl.handle.net/1853/18379.
Texto completoMateluna, Diego Ignacio Gallardo. "Extensões em modelos de sobrevivência com fração de cura e efeitos aleatórios". Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/45/45133/tde-24062014-202301/.
Texto completoIn this work some extensions in survival models with cure fraction are presented, assuming the context in which the observations are grouped into clusters. Two random effects are incorporated for each group: one to explain the effect on survival time of susceptible observations and another to explain the probability of cure. A classical approach through the REML estimators is presented as well as a bayesian approach through Dirichlet Process. Besides comparing both approaches, some simulation studies which evaluates the performance of the proposed estimators are discussed. Finally, the results are illustrated with a real database.
Fernandes, Walney Reis. "Modelos de emparelhamento integráveis". Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/43/43134/tde-21102010-121332/.
Texto completoThe goal of this work was to study the Algebraic Bethe ansatz (ABA), which is a technique used to obtain the eigenstates of Hamiltonian of many models of Statistical Mechanics and Quantum Field Theory. We apply this procedure to diagonalize three types of spin models: the Heisenberg model, the Heisenberg-Sklyanin model and the Heisenberg-Cherednik model. On diagonalization of the rst model, we could not nd all the eigenstates of Hamiltonian through ABA, and during the procedure for obtaining the analytical expressions, we face an unprecedented set of identities in literature. The Sklyanin´s boundary matrix couples the fi rst and last sites, generalizing the previous model, and provides a limit for other integrable models. In this case also did not get all eigenstates using the technique of ABA. Unlike what happened with the rst models, the Heisenberg-Cherednik model, with alternating couplings the intensity along the spin chain, presented a complete set of eigenstates when diagonalized by ABA.
Ribeiro, Darielder Jesus. "Modelos de contato com probabilidades aperiódicas". Universidade de São Paulo, 2005. http://www.teses.usp.br/teses/disponiveis/43/43134/tde-20052014-190949/.
Texto completoThe analysis of contact models in the presence of quenched disorder indicates the onset of deviations with respect to the critical behavior of the underlying uniform system. In the present work, we consider the effects of aperiodicity, which are also known to produce fluctuation of geometric nature. We use aperiodic distributions of probabilities, given by deterministic substitution rules, in order to analyze the critical behavior. We performed Monte Carlo simulations for three different rules, characterized by an exponent w, which gauges the intensity of the geometric fluc tuations. For models A and B, with w = -1and w = 0, we have not detected any changes with respect to the universality class of directed percolation. For model C, with w = 0.6309, the geometric fluctuations change the critical universality class.
Rotelli, Vanderlei. "Maquetes: o estado da arte". Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/16/16132/tde-05072017-100041/.
Texto completoThis study intends to talk about the models of presentation, which are carried out by specialized professionals, for the Real Estate Market. A survey was made on how this market currently works in Brazil, studying methodologies, materials and machinery used. For that, technical visits were made to three of the main companies specialized in this sector, photographically documenting the forms of work, the most used materials and which machines were found there. It was also analyzed one of the most recent and revolutionary innovations in this area that is Digital Fabrication (FD), which, in addition to directly influencing the model construction sector, is changing the architects\' and designers\' working methodology since it makes thinner the line between the digital drawing and the completion of the physical model. A technical visit was made to one of the twelve FabLabs Livres SP, open to all interested in the city of São Paulo, where the available machinery and their possibilities of use were evaluated, as well as the access to this new technology provided by the City Hall Municipality of São Paulo. These laboratories are open to the public and offer courses on how to design and use this new technology. In addition, they offer direct access to the machines.
Seid, Hamid Jemila. "New residuals in multivariate bilinear models : testing hypotheses, diagnosing models and validating model assumptions /". Uppsala : Dept. of Biometry and Engineering, Swedish University of Agricultural Sciences, 2005. http://epsilon.slu.se/200583.pdf.
Texto completoLiu, Yi. "On Model Reduction of Distributed Parameter Models". Licentiate thesis, KTH, Signals, Sensors and Systems, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-1541.
Texto completoGiese, Holger y Stephan Hildebrandt. "Efficient model synchronization of large-scale models". Universität Potsdam, 2009. http://opus.kobv.de/ubp/volltexte/2009/2928/.
Texto completoDie Model-getriebene Softwareentwicklung benötigt Techniken zur Übertragung von Änderungen zwischen verschiedenen zusammenhängenden Modellen, um vollständig nutzbar zu sein. Bei großen Modellen spielt hier die Effizienz eine entscheidende Rolle. In diesem Bericht stellen wir einen verbesserten Modellsynchronisationsalgorithmus vor, der auf Tripel-Graph-Grammatiken basiert. Dieser arbeitet sehr effizient und kann auch sehr große Modelle schnell synchronisieren. Wir können zeigen, dass der Gesamtalgortihmus eine optimale Komplexität aufweist, sofern er die Ausführung dominiert. Die Effizient des Algorithmus' wird durch einige Benchmarkergebnisse belegt.
Alharthi, Muteb. "Bayesian model assessment for stochastic epidemic models". Thesis, University of Nottingham, 2016. http://eprints.nottingham.ac.uk/33182/.
Texto completoBillah, Baki 1965. "Model selection for time series forecasting models". Monash University, Dept. of Econometrics and Business Statistics, 2001. http://arrow.monash.edu.au/hdl/1959.1/8840.
Texto completoCloth, Lucia. "Model checking algorithms for Markov reward models". Enschede : University of Twente [Host], 2006. http://doc.utwente.nl/55445.
Texto completoKadhem, Safaa K. "Model fit diagnostics for hidden Markov models". Thesis, University of Plymouth, 2017. http://hdl.handle.net/10026.1/9966.
Texto completoLi, Lingzhu. "Model checking for general parametric regression models". HKBU Institutional Repository, 2019. https://repository.hkbu.edu.hk/etd_oa/654.
Texto completoLattimer, Alan Martin. "Model Reduction of Nonlinear Fire Dynamics Models". Diss., Virginia Tech, 2016. http://hdl.handle.net/10919/70870.
Texto completoPh. D.
Volinsky, Christopher T. "Bayesian model averaging for censored survival models /". Thesis, Connect to this title online; UW restricted, 1997. http://hdl.handle.net/1773/8944.
Texto completoVasconcelos, Julio Cezar Souza. "Modelo linear parcial generalizado simétrico". Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/11/11134/tde-26072017-105153/.
Texto completoIn this work we propose the symmetric generalized partial linear model, based on the generalized partial linear models and symmetric linear models, that is, the response variable follows a distribution that belongs to the symmetric distribution family, considering a linear predictor that has a parametric and a non-parametric component. Some distributions that belong to this class are distributions: Normal, t-Student, Power Exponential, Slash and Hyperbolic among others. A brief review of the concepts used throughout the work was presented, namely: residual analysis, local influence, smoothing parameter, spline, cubic spline, natural cubic spline and backfitting algorithm, among others. In addition, a brief theory of GAMLSS models is presented (generalized additive models for position, scale and shape). The models were adjusted using the package gamlss available in the free R software. The model selection was based on the Akaike criterion (AIC). Finally, an application is presented based on a set of real data from Chile\'s financial area.
Cabella, Brenno Caetano Troca. "Modelos aplicados ao crescimento e tratamento de tumores e à disseminação da dengue e tuberculose". Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/59/59135/tde-01082012-110701/.
Texto completoThe generalization of growth models by means of a control parameter was first proposed by Richards in 1959. In our work, we propose an alternative way to obtainin an empirical and microscopic interpretation of control parameter. More specically, when considering the proliferation of cells, the parameter is related to the range of interaction and the fractal dimension of the cell structure. We obtain the analytical solution for this dierential equation. We show that, by appropriate choice of scale we have data collapse, representing the independence on parameters and initial conditions. Furthermore, when considering the e ffort as rate the removal of individuals from a population, we can associate it with the treatment to extinguish cancer cells population. In epidemiological models, we propose to model the dynamics of dengue transmission using ordinary dierential equations. In our model, we take into account both the dynamics of the host and the vector, so we have control of the dynamics of both populations. We also included in the model the effect of enhancing in order to verify their inuence on the dynamics of disease spread. The effect of enhancing is considered one of the main hypotheses to explain the hemorrhagic fever that can lead to death. We study a model of epidemiology of dengue in order to reveal what are the factors that lead to the dissemination of this more severe case of the disease and, possibly suggesting public health policies to prevent it. We also implemented a model of tuberculosis transmission making use of agent-based computational modeling, which o ffers the possibility to explicitly represent heterogeneity at the individual level. This approach allows us to deal with each individual in particular, unlike the model of dierential equations, in which all individuals are in the same compartment interact in a similar way as in a mean field interaction.
Tonner, Jaromír. "Overcomplete Mathematical Models with Applications". Doctoral thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2010. http://www.nusl.cz/ntk/nusl-233893.
Texto completoAlves, Vitor Alex Oliveira. "Comparação de Métodos Diretos e de Dois-Passos na identificação de sistemas em malha fechada". Universidade de São Paulo, 2011. http://www.teses.usp.br/teses/disponiveis/3/3139/tde-31052011-142428/.
Texto completoClosed-loop System Identification has considerable practical appeal, since it provides increased security during the collection of experimental data and, at the same time, provides the construction of suitable models for the design of high performance control systems. This thesis presents, as one of its main objectives, a thorough comparison between Direct Methods (applied to the closed-loop identification) and Two-Step Methods. The latter ones belong to the Joint Input/Output approach. Complementing this comparison, a new two-step algorithm the Double Filtering is proposed. The convergence properties of this method are analyzed in detail. The performance achieved by the models identified by Direct and Two-Step methods is compared in a statistical approach through Monte Carlo simulations. The Two-Step methods considered in this thesis are the u-Filtering (VAN DEN HOF; SCHRAMA, 1993), the y-Filtering (HUANG; SHAH, 1997) and the Double Filtering. A variant of the u-Filtering method is proposed, providing two distinct ways of describing the output sensitivity function associated with the process under study (FORSSELL; LJUNG, 1999). The performance comparison criteria adopted in this thesis include free-run model validations (open-loop operation), in which rectangular pulses responses are analyzed. Greater emphasis is given to closed loop model validation, which uses the same controller installed in the system under study. This type of validation employs excitation signals similar to those adopted in the identification tests, but with different realizations. Each of these validations is accompanied by its corresponding fit (Ljung, 1999), a merit index that measures the proximity between the time responses of the physical system and its mathematical model. Process frequency responses are also considered, since they form the basis for determining the model uncertainty upper-limit or upper-bound error (ZHU, 2001). The upper- bounds, along with the frequency responses of each identified model, provides ranks (A, B, C, or D) for these models. Therefore, this thesis uses merit indexes based on both time and frequency responses. It is analyzed how the type and magnitude (or equivalently, the signal-to-noise ratio) of the excitation signal applied to the loop impacts the accuracy of the identified models. This work also investigates the relationship between the accuracy of the identified models and the point of application of the excitation signal: the reference of the control loop or the controller output. Finally, it is checked how the controller tuning affects the identified models. All simulations employ quasi non-stationary disturbance signals, typical of the process industries (ESMAILI et al., 2000). The results indicate that Direct Methods are more accurate when the model structure and order adopted in the identification are identical to those of the actual process. However, the Two-Step Methods are capable of providing very reliable models even when the adopted structure and order differ from those of the process under study.
Rubáš, Aleš. "Transformace byznys modelů pro prostředí sociálních sítí". Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-165089.
Texto completoEscobar, Lindber Ivan Salas. "Modelos seesaw a baixas energias e modelo de violação mínima de sabor no modelo seesaw tipo III". Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/43/43134/tde-26032013-145746/.
Texto completoWhile all models of Majorana neutrino masses lead to the same dimension five effective operator, which does not conserve lepton number, the dimension six operators induced at low energies conserve lepton number and differ depending on the high energy model of new physics. We derive the low-energy dimension six operators which are characteristic of generic Seesaw models, in which neutrino masses result from the exchange of heavy fields which may be either fermionic singlets, fermionic triplets or scalar triplets. The resulting operators may lead to effects observable in the near future, if the coefficients of the dimension five and six operators are decoupled. In this work we present the model of minimal avor violation in the context of the type III seesaw model, in which it is possible to obtain the decoupling mentioned before. This allows to reconstruct the avour structure of the model from the values of the light neutrino masses and mixing parameters, even in the presence of CP-violating phases.
Lozano, Dairon Andrés Jiménez. "Modelo de Heisenberg Antiferromagnético de spin-1/2 na rede triangular com interações competitivas". Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/43/43134/tde-21092016-212043/.
Texto completoIn this thesis we study spin systems in low-dimensional lattices at zero temperature, analyzing their quantum phase transitions. More precisely, we study the properties of the ground state and the possible phase transitions in the antiferromagnetic spin-1/2 quan- tum Heisenberg model with interaction between the first and second neighbors, in several lattices, and in particular in the triangular lattice, which is the focus of our study. To obtain the approximate ground state, we use a variational method in which the lattice is partitioned into a set of plates of sites. The ground state is written as a tensor product of the states of plates. For the triangular lattice, we choose a triangle as a plate. Four phases were found: the antiferromagnetic Néel phase, the collinear, the modified Néel phase and that we call resonating valence bond. We obtained the energy and the magnetization as a function of the ratio of the interactions between the first and second neighbor sites. Between the Néel and collinear phases, we can observe the spin resonating valence bond phase, characterized as a singlet with respect to the spin of each plate.
Evers, Ludger. "Model fitting and model selection for 'mixture of experts' models". Thesis, University of Oxford, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.445776.
Texto completoRosenbaum, Rimolo Jorge. "Una Mirada Sobre la Negociación Colectiva en América Latina". Derecho & Sociedad, 2017. http://repositorio.pucp.edu.pe/index/handle/123456789/118352.
Texto completoEl autor analiza la situación de la libertad sindical en América Latin, específicamente la negociación colectiva y los distintos modelos en los que esta se presenta luego de las políticas neoliberales de desregulación económica de la década de mil novecientos noventa.
Bína, Vladislav. "Mnoharozměrná pravděpodobnostní rozdělení: Struktura a učení". Doctoral thesis, Vysoká škola ekonomická v Praze, 2010. http://www.nusl.cz/ntk/nusl-72677.
Texto completoRosales, Juan Carlos. "Modelagem matematica da dinamica da Leishmaniose". [s.n.], 2005. http://repositorio.unicamp.br/jspui/handle/REPOSIP/307213.
Texto completoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica
Made available in DSpace on 2018-08-05T18:54:32Z (GMT). No. of bitstreams: 1 Rosales_JuanCarlos_M.pdf: 1360240 bytes, checksum: 84fee5e0958180b35a0f098cc5b87f4d (MD5) Previous issue date: 2005
Resumo: Neste trabalho fizemos a modelagem da leishmaniose começando com o ciclo doméstico ou urbano com 2-hospedeiros para estender os resultados ao ciclo peridoméstico com n-hospedeiros. No caso urbano, consideramos a população do vetor constante e, após, com capacidade de suporte. Simplificamos o modelo para analisar um dos fatores de risco da leishmaniose, o desmatamento. Derivamos as expressões correspondentes ao número de reprodutibilidade basal em todos os casos por meio de análise de estabilidade. Realizamos simulações com dados de zonas endêmicas. Ao final aplicamos a análise de sensitividade para o número de reprodutibilidade basal para o caso de 2-hospedeiros
Abstract: We are dealing with a modelling of leishmaniasis considering initially the urban cycle with 2-hosts aiming to extend the results to a peridomestic cycle for n-hosts. In the urban case we consider the vector population constant, also, variable. We simplify the model the assess the factor regarded to risk of leishmaniasis analysis, which is the deforestation. We derive the expression for the basic reproduction number from the stability analysis. The model was simulated whit respect to endemics zone. Finally we performed the sensibility analysis of the basic reproduction number to the case of 2-hosts
Mestrado
Epidemiologia Matematica. Biomatematica
Mestre em Matemática Aplicada
Bäckström, Fredrik y Anders Ivarsson. "Meta-Model Guided Error Correction for UML Models". Thesis, Linköping University, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-8746.
Texto completoModeling is a complex process which is quite hard to do in a structured and controlled way. Many companies provide a set of guidelines for model structure, naming conventions and other modeling rules. Using meta-models to describe these guidelines makes it possible to check whether an UML model follows the guidelines or not. Providing this error checking of UML models is only one step on the way to making modeling software an even more valuable and powerful tool.
Moreover, by providing correction suggestions and automatic correction of these errors, we try to give the modeler as much help as possible in creating correct UML models. Since the area of model correction based on meta-models has not been researched earlier, we have taken an explorative approach.
The aim of the project is to create an extension of the program MetaModelAgent, by Objektfabriken, which is a meta-modeling plug-in for IBM Rational Software Architect. The thesis shows that error correction of UML models based on meta-models is a possible way to provide automatic checking of modeling guidelines. The developed prototype is able to give correction suggestions and automatic correction for many types of errors that can occur in a model.
The results imply that meta-model guided error correction techniques should be further researched and developed to enhance the functionality of existing modeling software.
Belitz, Christiane. "Model Selection in Generalised Structured Additive Regression Models". Diss., lmu, 2007. http://nbn-resolving.de/urn:nbn:de:bvb:19-78896.
Texto completoRibbing, Jakob. "Covariate Model Building in Nonlinear Mixed Effects Models". Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-7923.
Texto completoSommer, Julia. "Regularized estimation and model selection in compartment models". Diss., Ludwig-Maximilians-Universität München, 2013. http://nbn-resolving.de/urn:nbn:de:bvb:19-157673.
Texto completoSmith, Peter William Frederick. "Edge exclusion and model selection in graphical models". Thesis, Lancaster University, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315138.
Texto completoHain, Thomas. "Hidden model sequence models for automatic speech recognition". Thesis, University of Cambridge, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.620302.
Texto completoMagalla, Champa Hemanthi. "Model adequacy tests for exponential family regression models". Diss., Kansas State University, 2012. http://hdl.handle.net/2097/13640.
Texto completoDepartment of Statistics
James Neill
The problem of testing for lack of fit in exponential family regression models is considered. Such nonlinear models are the natural extension of Normal nonlinear regression models and generalized linear models. As is usually the case, inadequately specified models have an adverse impact on statistical inference and scientific discovery. Models of interest are curved exponential families determined by a sequence of predictor settings and mean regression function, considered as a sub-manifold of the full exponential family. Constructed general alternative models are based on clusterings in the mean parameter components and allow likelihood ratio testing for lack of fit associated with the mean, equivalently natural parameter, for a proposed null model. A maximin clustering methodology is defined in this context to determine suitable clusterings for assessing lack of fit. In addition, a geometrically motivated goodness of fit test statistic for exponential family regression based on the information metric is introduced. This statistic is applied to the cases of logistic regression and Poisson regression, and in both cases it can be seen to be equal to a form of the Pearson chi[superscript]2 statistic. This same statement is true for multinomial regression. In addition, the problem of testing for equal means in a heteroscedastic Normal model is discussed. In particular, a saturated 3 parameter exponential family model is developed which allows for equal means testing with unequal variances. A simulation study was carried out for the logistic and Poisson regression models to investigate comparative performance of the likelihood ratio test, the deviance test and the goodness of fit test based on the information metric. For logistic regression, the Hosmer-Lemeshow test was also included in the simulations. Notably, the likelihood ratio test had comparable power with that of the Hosmer-Lemeshow test under both m- and n-asymptotics, with superior power for constructed alternatives. A distance function defined between densities and based on the information metric is also given. For logistic models, as the natural parameters go to plus or minus infinity, the densities become more and more deterministic and limits of this distance function are shown to play an important role in the lack of fit analysis. A further simulation study investigated the power of a likelihood ratio test and a geometrically derived test based on the information metric for testing equal means in heteroscedastic Normal models.
Ågren, Thuné Anders y Åhfeldt Theo Puranen. "Extracting scalable program models for TLA model checking". Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280344.
Texto completoProgramverifiering har länge varit av intresse för att kunna försäkra sig om tillförlitligheten hos kritiska system. Många sådana system uppvisar ett reaktivt beteende, där temporala egenskaper är av intresse. Som följd har ett antal system och programverifieringsverktyg för hantering av temporallogik utvecklats. Ett sådant är TLA, vars huvudsakliga syfte är att verifiera egenskaper hos abstrakta algoritmer med hjälp av modellprövning. En TLA-modell bestäms av en logisk formel som beskriver alla möjliga beteenden av ett visst system. TLA anses mindre lämpligt för riktig implementationskod och används främst för att verifiera egenskaper hos abstrakta systemmodeller. Denna uppsats undersöker hur TLA-modeller kan extraheras från verklig kod för att verifiera kodens temporala egenskaper. Det huvudsakliga problemet är att även för större program kunna skapa en modell av hanterbar storlek som ändå är representativ. Vi presenterar en allmän metod för att uppnå detta som använder deduktiv verifiering för att abstrahera onödiga implementeringsdetaljer från modellen. Kodblock som kan betraktas som atomiska i den ursprungliga koden identifieras och ersätts med blockkontrakt som representerar datatransformationen som utförs i blocket. Resultatet kan sedan översättas till en mera kompakt TLA-modell. Kontrakten verifieras separat med deduktiv verifiering, vilket säkerställer att modellen behålls representativ. Vi instantierar med framgång metoden på ett enkelt C-program. Verktyget Frama-C används för att utföra deduktiv verifiering på kodblock och flera steg genomförs för att översätta resultatet till en TLA-modell. Algoritmspråket PlusCal används som ett mellansteg för att förenkla översättningen, och blockkontrakt översätts till TLA med en enkel kodning. Resultaten är lovande, men det finns flera punkter som kräver ytterligare arbete.
Vaidyanathan, Sivaranjani. "Bayesian Models for Computer Model Calibration and Prediction". The Ohio State University, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=osu1435527468.
Texto completoGuo, Yixuan. "Bayesian Model Selection for Poisson and Related Models". University of Cincinnati / OhioLINK, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1439310177.
Texto completoTan, Falong. "Projected adaptive-to-model tests for regression models". HKBU Institutional Repository, 2017. https://repository.hkbu.edu.hk/etd_oa/390.
Texto completoMuzy, Paulo de Tarso Artencio. "Inomogeneidades no espaço (desordem fraca; modelos de p-spins) e representação no espaço de Fock em problemas da física estatística". Universidade de São Paulo, 2004. http://www.teses.usp.br/teses/disponiveis/43/43134/tde-26022014-093522/.
Texto completoInvestigamos a relevância da desordem (fraca) correlacionada ao longo de D IND. 1 dimensões, em modelos ferromagnéticos de Potts sobre diversas redes hierárquicas (de d dimensões). Mostramos que para d-d IND. 1 = 1 a aproximação de desordem fraca produz um ponto fixo não físico, indicando que o comportamento crítico não pode ser descrito por um esquema perturbativo. Para d-d IND.1>1, a desordem é relevante, produzindo um ponto fixo fisicamente aceitável. Estabelecemos um critério de relevância baseado no expoente de crossover. Em seguida examinamos modelos aleatórios com interações competitivas de p spins esféricos, na versão de Curie-Weiss, que podem ser resolvidos sem o método de réplicas. Obtemos o diagrama de fases de modelos incluindo interações de 2 e 4 spins, supondo formas simples (de acordo com os esquemas de Hopfield ou de van Hemmen para os termos aleatórios. Mostramos que as escolhas de Hopfield ou de van Hemmen não mudam a topologia dos diagramas de fase. Finalmente, apresentamos uma revisão da construção do espaço de Fock para sistemas hamiltonianos, originalmente proposta por M Schöenberg a fim de obter a mecânica estatística clássica a partir da equação de Liouville. O mesmo tipo de formalismo pode ser aplicado à equação mestra de um sistemas estocástico. Como exemplo, deduzimos o operador de evolução do modelo de Glauber linear na representação número.
Mölders, Nicole. "Concepts for coupling hydrological and meteorological models". Universitätsbibliothek Leipzig, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-215597.
Texto completoWasserresourcenforschung, Erdsystem- und Klimamodellierung sowie integrierte Modellierung (z.B. Klimafolgenforschung) erfordern das Koppeln von hydrologischen und meteorologischen Modellen. Dieser Artikel präsentiert Konzepte für eine solche Kopplung. Er zeigt die zu lösenden Schwierigkeiten auf und gibt einen kurzen Überblick über bisher realisierte Kopplungen. Ferner stellt er ein Konzept für einen hydrometeorologischen Moduls zur Kopplung von hydrologischen mit meteorologischen Modellen vor
Křemen, Jaroslav. "Dynamické modely poptávky po penězích. Aplikace na ČR". Master's thesis, Vysoká škola ekonomická v Praze, 2008. http://www.nusl.cz/ntk/nusl-11932.
Texto completoMakhtar, Mokhairi. "Contributions to Ensembles of Models for Predictive Toxicology Applications. On the Representation, Comparison and Combination of Models in Ensembles". Thesis, University of Bradford, 2012. http://hdl.handle.net/10454/5478.
Texto completoRuivo, Marina Pereira. "Risco de modelo : análise à robustez do CreditMetrics". Master's thesis, Instituto Superior de Economia e Gestão, 2013. http://hdl.handle.net/10400.5/11416.
Texto completoOs modelos internos de risco de crédito são uma ferramenta essencial na atividade de gestão das instituições bancárias. A dependência das instituições financeiras na utilização destes modelos e a credibilidade que lhes é depositada podem, em ambientes de grande instabilidade, gerar resultados enviesados. A avaliação do CreditVaR da carteira, utilizando um modelo de crédito como o CreditMetrics, é um exemplo disso. O CreditMetrics, desenvolvido pela J.P.Morgan em 1997, avalia a distribuição das alterações do valor futuro da carteira com base na análise da migração da qualidade de crédito dos emitentes. Este projeto pretende analisar os riscos que a variação dos principais parâmetros do modelo CreditMetrics ? matriz de transição de ratings, taxa de recuperação e correlação entre os ativos? tem sobre o risco de uma carteira de crédito real, pertencente a um banco de investimento português. Para além do impacto em termos da medida CreditVaR analisa-se, de forma mais abrangente, o impacto da variação desses parâmetros no valor esperado e na forma da própria distribuição de perdas da carteira.
Internal credit risk models are an essential tools risk management of banks. The dependence of financial institutions on the use of these models and their trust on them, in environments of highly volatility, may generate biased results. The evaluation of portfolio CreditVaR using an internal credit risk model as CreditMetrics is one example of this. The CreditMetrics model, developed by J.P.Morgan in 1997, evaluates the distribution of changes in the future value of a portfolio based on the analysis of the migration of the credit quality of the issuers of securities in portfolio. This project aims at analyze the effects of shocks of the main parameters of the CreditMetrics model - transition matrix of credit quality, recovery rate and correlation between assets - on the risk of a real credit portfolio owned by a Portuguese investment bank. Beyond the impact they have in terms of the measure CreditVaR we analyze, more broadly, the impact of these shocks on value of expected loss and the form of the portfolio loss distribution.
Owens, Charles Ray. "Donating Behavior in Children: The Effect of the Model's Similarity with the Model and Parental Models". DigitalCommons@USU, 1985. https://digitalcommons.usu.edu/etd/5318.
Texto completoHellman, Samuel. "Evaluating model selection criteria for nuisance models in causal inference : (when the true models are finite mixtures)". Thesis, Umeå universitet, Statistik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-122686.
Texto completo