Bibliografie tematiche / Finite model theory / Tesi
Segui questo link per vedere altri tipi di pubblicazioni sul tema: Finite model theory.

Tesi sul tema "Finite model theory"

Autore: Grafiati
Pubblicato: 4 giugno 2021
Ultima modifica: 26 gennaio 2023

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Finite model theory".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.

1

Bello, Aguirre Ricardo Isaac. "Model theory of finite and pseudofinite rings." Thesis, University of Leeds, 2016. http://etheses.whiterose.ac.uk/15771/.

Testo completo
Abstract (sommario):
The model theory of finite and pseudofinite fields as well as the model theory of finite and pseudofinite groups have been and are thoroughly studied. A close relation has been found between algebraic and model theoretic properties of pseudofinite fields and psedudofinite groups. In this thesis we present results contributing to the beginning of the study of model theory of finite and pseudofinite rings. In particular we classify the theory of ultraproducts of finite residue rings in the context of generalised stability theory. We give sufficient and necessary conditions for the theory of such
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Block, Max. "Undecidability of finite satisfiability and characterization of NP in finite model theory." Thesis, Uppsala universitet, Algebra och geometri, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-254570.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Gate, James Simon. "Applications of finite model theory : optimisation problems, hybrid modal logics and games." Thesis, Durham University, 2013. http://etheses.dur.ac.uk/7015/.

Testo completo
Abstract (sommario):
There exists an interesting relationships between two seemingly distinct fields: logic from the field of Model Theory, which deals with the truth of statements about discrete structures; and Computational Complexity, which deals with the classification of problems by how much of a particular computer resource is required in order to compute a solution. This relationship is known as Descriptive Complexity and it is the primary application of the tools from Model Theory when they are restricted to the finite; this restriction is commonly called Finite Model Theory. In this thesis, we investigate
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Ryten, Mark Jonathan. "Model theory of finite difference fields and simple groups." Thesis, University of Leeds, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.441226.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Hayashi, Masahito. "Asymptotic estimation theory for a finite dimensional pure state model." 京都大学 (Kyoto University), 1999. http://hdl.handle.net/2433/181932.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Morgan, Samuel Alexander. "A gapless theory of Bose-Einstein condensation in dilute gases at finite temperature." Thesis, University of Oxford, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302178.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Lin, Dong. "Model-based cluster analysis using Bayesian techniques." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Bhattacharyya, Anirban. "Application of effective field theory to density functional theory for finite systems." Connect to resource, 2005. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1124116299.

Testo completo
Abstract (sommario):
Thesis (Ph. D.)--Ohio State University, 2005.<br>Title from first page of PDF file. Document formatted into pages; contains xv, 210 p.; also includes graphics (some col.). Includes bibliographical references (p. 205-210). Available online via OhioLINK's ETD Center
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Manikas, Vasileios. "A Bayesian Finite Mixture Model for Network-Telecommunication Data." Thesis, Stockholms universitet, Statistiska institutionen, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-146039.

Testo completo
Abstract (sommario):
A data modeling procedure called Mixture model, is introduced beneficial to the characteristics of our data. Mixture models have been proved flexible and easy to use, a situation which can be confirmed from the majority of papers and books which have been published the last twenty years. The models are estimated using a Bayesian inference through an efficient Markov Chain Monte Carlo (MCMC) algorithm, known as Gibbs Sampling. The focus of the paper is on models for network-telecommunication lab data (not time dependent data) and on the valid predictions we can accomplish. We categorize our var
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Groenewald, Hendrikus Wilhelm. "A non-commutative walecka model as an effective theory for interacting nucleons of finite size." Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/20255.

Testo completo
Abstract (sommario):
Thesis (MSc)--Stellenbosch University, 2012.<br>ENGLISH ABSTRACT: The nite size of nucleons should play an important role in the description of high density nuclear matter as found in astro-physical objects. Yet we see that the Walecka model, which is generally used to describe these systems, treats the nucleons as point particles. Here we argue that a non-commutative version of the Walecka model may be a consistent and appropriate framework to describe nite nucleon size e ects. In this framework the length scale introduced through the non-commutative parameter plays the role of the ni
Gli stili APA, Harvard, Vancouver, ISO e altri
11

Wang, Yang. "Use of finite random graphs to model packet radio networks." Ohio : Ohio University, 1990. http://www.ohiolink.edu/etd/view.cgi?ohiou1183474696.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
12

Korzec, Tomasz. "Precise determination of universal finite volume observables in the Gross-Neveu model." Doctoral thesis, [S.l.] : [s.n.], 2007. http://deposit.ddb.de/cgi-bin/dokserv?idn=985491590.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
13

MIRJALILI, Mojtaba. "Numerical Analysis of a Large-Scale Levee on Soft Soil Deposits Using Two-Phase Finite Deformation Theory." 京都大学 (Kyoto University), 2010. http://hdl.handle.net/2433/126785.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
14

Miguel, Escudero López José. "Traffic-induced vibrations on a two span composite railway bridge : Comparison of theory and measurements." Thesis, KTH, Bro- och stålbyggnad, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-36360.

Testo completo
Abstract (sommario):
The economic and technologic development experienced by the society in the last decades has caused the demand of a new type of faster and more comfortable transport. This type of demand has been covered by the air transport, the road transport and the railway transport. This situation where the society demands an improvement in her quality of life is the best situation for the birth of the high speed trains. Different studies carried out in the transport field have demonstrated that for distances between four hundred and one thousand of kilometres, the high speed trains provide a lower travell
Gli stili APA, Harvard, Vancouver, ISO e altri
15

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
16

Ahlman, Ove. "To infinity and back : Logical limit laws and almost sure theories." Licentiate thesis, Uppsala universitet, Algebra och geometri, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-223166.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
17

Sheikh, Nadeem A. "Comparison of constitutive relationships based on kinetic theory of granular gas for three dimensional vibrofluidized beds." Thesis, Loughborough University, 2011. https://dspace.lboro.ac.uk/2134/7881.

Testo completo
Abstract (sommario):
Granular materials exist in many forms in nature ranging from space debris to sand dunes and from breakfast cereals to pharmaceutical tablets. They can behave like a solid or a viscous fluid or a gas. The gas-like nature of granular materials in rapid flows allows the use of models based on kinetic theory thus revealing in depth complex physics and phenomena. However unlike conventional fluids here the energy balance requires additional dissipation terms as a consequence of inelasticity. The complexity of their interaction and diversity in application has led to numerous studies using experime
Gli stili APA, Harvard, Vancouver, ISO e altri
18

Udoyen, Nsikan. "Information Modeling for Intent-based Retrieval of Parametric Finite Element Analysis Models." Diss., Georgia Institute of Technology, 2006. http://hdl.handle.net/1853/14084.

Testo completo
Abstract (sommario):
Adaptive reuse of parametric finite element analysis (FEA) models is a common form of reuse that involves integrating new information into an archived FEA model to apply it towards a new similar physical problem. Adaptive reuse of archived FEA models is often motivated by the need to assess the impact of minor improvements to component-based designs such as addition of new structural components, or the need to assess new failure modes that arise when a device is redesigned for new operating environments or loading conditions. Successful adaptive reuse of FEA models involves reference to suppor
Gli stili APA, Harvard, Vancouver, ISO e altri
19

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
20

Rossi, Marco, Thomas Wallmersperger, Jorge Alejandro Ramirez, and Paola Nardinocchi. "jz Thermodynamically consistent electro-chemo-mechanical model for polymer membranes." SPIE, 2018. https://tud.qucosa.de/id/qucosa%3A35160.

Testo completo
Abstract (sommario):
Nafion membranes, are polymeric thin films widely employed in micro-batteries and fuel cells. These devices are expected to play a key role in the next generation energy systems for use in vehicles as a replacement to combustion engines. In fact, a minimum environmental impact is guaranteed by reduced carbon dioxide emissions. It is usually complicated to investigate the behavior of thin membranes through experiments. Therefore, numerical simulations are carried out in order to enable a better understanding of the phenomena and of the multi-field couplings occurring in polymeric membranes. A c
Gli stili APA, Harvard, Vancouver, ISO e altri
21

Eickmeyer, Kord. "Randomness in complexity theory and logics." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011. http://dx.doi.org/10.18452/16364.

Testo completo
Abstract (sommario):
Die vorliegende Dissertation besteht aus zwei Teilen, deren gemeinsames Thema in der Frage besteht, wie mächtig Zufall als Berechnungsressource ist. Im ersten Teil beschäftigen wir uns mit zufälligen Strukturen, die -- mit hoher Wahrscheinlichkeit -- Eigenschaften haben können, die von Computeralgorithmen genutzt werden können. In zwei konkreten Fällen geben wir bis dahin unbekannte deterministische Konstruktionen solcher Strukturen: Wir derandomisieren eine randomisierte Reduktion von Alekhnovich und Razborov, indem wir bestimmte unbalancierte bipartite Expandergraphen konstruieren,
Gli stili APA, Harvard, Vancouver, ISO e altri
22

Vallejos, Augusto, Shammely Ayala, and Roman Arciniega. "Improved First Order Formulation for Buckling Analysis of Functionally Graded Beams." Institute of Electrical and Electronics Engineers Inc, 2020. http://hdl.handle.net/10757/656419.

Testo completo
Abstract (sommario):
El texto completo de este trabajo no está disponible en el Repositorio Académico UPC por restricciones de la casa editorial donde ha sido publicado.<br>In this research, an improved first order formulation is presented to study the critical buckling load in functionally graded beams. The formulation has five independent variables in comparison with the Timoshenko theory that has three. The Trefftz criterion is utilized with incremental and fundamental states to define the stability analysis. Virtual work statements are derived for the finite element model where the field variables are interpol
Gli stili APA, Harvard, Vancouver, ISO e altri
23

Grijalva, Sebastian. "Boundary effects in quantum spin chains and Finite Size Effects in the Toroidal Correlated Percolation model." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASP093.

Testo completo
Abstract (sommario):
Cette thèse est divisée en deux parties : la première présente un modèle statistique en deux dimensions de percolation corrélée sur un réseau toroïdal. Nous présentons un protocole pour construire des surfaces corrélées à longue portée sur la base de surfaces gaussiennes fractionnaires, puis nous relions les ensembles de niveaux à une famille de modèles de percolation corrélés. Les clusters émergents sont ensuite étudiés numériquement, et nous testons leur symétrie conforme en vérifiant que les corrections de taille finie de connectivité à deux points suivent les prédictions de la théorie des
Gli stili APA, Harvard, Vancouver, ISO e altri
24

Baroud, Rawad. "Development and implementation of numerical models for the study of multilayered plates." Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1084/document.

Testo completo
Abstract (sommario):
L’utilisation des multicouches prend de plus en plus d’ampleur dans le domaine des sciences de l’ingénieur, tout d’abord dans l’industrie, et plus récemment de plus en plus en Génie Civil. Qu’il s’agisse de complexes mêlant des polymères, du bois ou du béton, des efforts importants sont nécessaires pour la modélisation fine de ce type de matériaux. En effet, des phénomènes induits par l’anisotropie et l’hétérogénéité sont associés à ces multi-matériaux : effets de bords, dilatations thermiques différentielles, délaminages/décollements ou non linéarités de type viscosite
Gli stili APA, Harvard, Vancouver, ISO e altri
25

Rastegar, Damoon. "Modification of Aeroelastic Model for Vertical Axes Wind Turbines." Thesis, Blekinge Tekniska Högskola, Sektionen för ingenjörsvetenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3388.

Testo completo
Abstract (sommario):
In wind turbines, flow pressure variations on the air-structure interface cause aerodynamic forces. Consequently the structure deforms and starts to move. The interaction between aerodynamic forces and structural deformations mainly concerns aeroelasticity. Since these two are coupled, they have to be considered simultaneously in cases which the deformations are not negligible in comparison to the other geometric dimensions. The purpose of this work is to improve the simulation model of a vertical axis wind turbine by modifying the structural model from undamped Euler-Bernoulli beam theory wit
Gli stili APA, Harvard, Vancouver, ISO e altri
26

Mossberg, Eva. "Some numerical and analytical methods for equations of wave propagation and kinetic theory." Doctoral thesis, Karlstad : Fakulty of Technology and Science, Mathematics, Karlstads universitet, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-1848.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
27

Kim, Kwangmoo. "Topics in the theory of inhomogeneous media composite superconductors and dielectrics /." Columbus, Ohio : Ohio State University, 2007. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1180537980.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
28

Allexandre, Didier. "A Fast Numerical Method for Large-Scale Modeling of Cardiac Tissue and Linear Perturbation Theory for the Study and Control of Cardiac Spiral Wave Breakup." Case Western Reserve University School of Graduate Studies / OhioLINK, 2004. http://rave.ohiolink.edu/etdc/view?acc_num=case1094046834.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
29

Arruda, Alexandre Matos. "A infinitary system of the logic of least fixed-point." Universidade Federal do CearÃ, 2007. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1325.

Testo completo
Abstract (sommario):
FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico<br>A noÃÃo de menor ponto-fixo de um operador à amplamente aplicada na ciÃncia da computaÃÃo como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensÃes da LÃgica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lÃgica de menor ponto-fixo (LFP)2, foram propostas para lidar com problemas relacionados à expressividade de FOL. A LFP captura as classes de complexidade PTIME sobre a classe das estruturas finitas ordenadas. A caracterizaÃÃo descr
Gli stili APA, Harvard, Vancouver, ISO e altri
30

Arruda, Alexandre Matos. "Um sistema infinitário para a lógica de menor ponto fixo." reponame:Repositório Institucional da UFC, 2007. http://www.repositorio.ufc.br/handle/riufc/16927.

Testo completo
Abstract (sommario):
ARRUDA, Alexandre Matos. Um sistema infinitário para a lógica de menor ponto fixo. 2007. 91 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Departamento de Computação, Fortaleza-CE, 2007.<br>Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-20T15:28:27Z No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5)<br>Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-20T15:29:23Z (GMT) No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5)<b
Gli stili APA, Harvard, Vancouver, ISO e altri
31

Bejjani, Nadine. "Wave propagation in multilayered plates : the Bending-Gradient model and the asymptotic expansion method." Thesis, Paris Est, 2019. http://www.theses.fr/2019PESC1025.

Testo completo
Abstract (sommario):
Cette thèse est consacrée à la modélisation de la propagation des ondes planes dans les plaques multicouches infinies, dans le cadre de l'élasticité linéaire. L’objet du travail est de trouver une approximation analytique ou semi-analytique des relations de dispersion des ondes lorsque le rapport de l'épaisseur de la plaque sur la longueur d'onde est petit. Ces relations de dispersion, liant la fréquence angulaire et le nombre d'onde, fournissent des informations clés sur les caractéristiques de propagation des différents modes. On propose dans cette thèse deux modélisations : le modèle du Ben
Gli stili APA, Harvard, Vancouver, ISO e altri
32

Dona, Marco. "Static and dynamic analysis of multi-cracked beams with local and non-local elasticity." Thesis, Loughborough University, 2014. https://dspace.lboro.ac.uk/2134/14893.

Testo completo
Abstract (sommario):
The thesis presents a novel computational method for analysing the static and dynamic behaviour of a multi-damaged beam using local and non-local elasticity theories. Most of the lumped damage beam models proposed to date are based on slender beam theory in classical (local) elasticity and are limited by inaccuracies caused by the implicit assumption of the Euler-Bernoulli beam model and by the spring model itself, which simplifies the real beam behaviour around the crack. In addition, size effects and material heterogeneity cannot be taken into account using the classical elasticity theory du
Gli stili APA, Harvard, Vancouver, ISO e altri
33

Neves, J?lia Barbosa. "Aplica??o do m?todo das diferen?as finitas energ?ticas na modelagem do concreto refor?ado com fibras curtas de a?o sob flex?o." Universidade Estadual de Feira de Santana, 2013. http://localhost:8080/tede/handle/tede/167.

Testo completo
Abstract (sommario):
Submitted by Verena Bastos (verena@uefs.br) on 2015-08-05T21:29:18Z No. of bitstreams: 1 NEVES_JB_2012_R2.pdf: 2142681 bytes, checksum: 2f1f8d4679734685ccd9edf621f7b8c4 (MD5)<br>Made available in DSpace on 2015-08-05T21:29:18Z (GMT). No. of bitstreams: 1 NEVES_JB_2012_R2.pdf: 2142681 bytes, checksum: 2f1f8d4679734685ccd9edf621f7b8c4 (MD5) Previous issue date: 2013-09-24<br>Funda??o de Amparo ? Pesquisa do Estado de S?o Paulo - FAPESP<br>The prediction of the reinforced concrete beams behavior under bending is essential to design these elements. Usually the models do not incorporate the conc
Gli stili APA, Harvard, Vancouver, ISO e altri
34

Neman, Azadeh. "Propriétés combinatoires et modèle-théoriques des groupes." Phd thesis, Université Claude Bernard - Lyon I, 2009. http://tel.archives-ouvertes.fr/tel-00679429.

Testo completo
Abstract (sommario):
Notre travail ici concerne certaines pistes pour des constructions nouveaux groupes, et en particulier de contre-exemples à la conjecture de Cherlin-Zilber. On parvient à trouver une réponse pour la stabilité de groupes CSA existentiellement clos. On exhibe un mot de groupe en deux variables qui a la propriété d'indépendance par rapport à la classe de groupes hyperboliques sans torsion. On en déduit que l'équation correspondante donne la propriété d'indépendance des groupes CSA existentiellement clos, ce qui en particulier implique leur instabilité. En outre, on prouve que les équations, et en
Gli stili APA, Harvard, Vancouver, ISO e altri
35

Gabriel, Naveen. "Automatic Speech Recognition in Somali." Thesis, Linköpings universitet, Statistik och maskininlärning, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-166216.

Testo completo
Abstract (sommario):
The field of speech recognition during the last decade has left the research stage and found its way into the public market, and today, speech recognition software is ubiquitous around us. An automatic speech recognizer understands human speech and represents it as text. Most of the current speech recognition software employs variants of deep neural networks. Before the deep learning era, the hybrid of hidden Markov model and Gaussian mixture model (HMM-GMM) was a popular statistical model to solve speech recognition. In this thesis, automatic speech recognition using HMM-GMM was trained on So
Gli stili APA, Harvard, Vancouver, ISO e altri
36

Steinle, Peter John. "Finite difference methods for the advection equation /." Title page, table of contents and abstract only, 1993. http://web4.library.adelaide.edu.au/theses/09PH/09phs8224.pdf.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
37

Stewart, Michael. "Asymptotic methods for tests of homogeneity for finite mixture models." Connect to full text, 2002. http://hdl.handle.net/2123/855.

Testo completo
Abstract (sommario):
Thesis (Ph. D.)--University of Sydney, 2002.<br>Title from title screen (viewed Apr. 28, 2008). Submitted in fulfilment of the requirements for the degree of Doctor of Philosophy to the School of Mathematics and Statistics, Faculty of Science. Includes bibliography. Also available in print form.
Gli stili APA, Harvard, Vancouver, ISO e altri
38

Jayaram, Vikram. "Reduced dimensionality hyperspectral classification using finite mixture models." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2009. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
39

Shabani, Behnam. "Wave-Associated Seabed Behaviour near Submarine Buried Pipelines." University of Sydney, 2008. http://hdl.handle.net/2123/3532.

Testo completo
Abstract (sommario):
Master of Engineering (Research)<br>Soil surrounding a submarine buried pipeline consolidates as ocean waves propagate over the seabed surface. Conventional models for the analysis of soil behaviour near the pipeline assume a two-dimensional interaction problem between waves, the seabed soil, and the structure. In other words, it is often considered that water waves travel normal to the orientation of pipeline. However, the real ocean environment is three-dimensional and waves approach the structure from various directions. It is therefore the key objective of the present research to study the
Gli stili APA, Harvard, Vancouver, ISO e altri
40

Mahlasela, Zuko. "Finite fuzzy sets, keychains and their applications." Thesis, Rhodes University, 2009. http://hdl.handle.net/10962/d1005220.

Testo completo
Abstract (sommario):
The idea of keychains, an (n+1)-tuple of non-increasing real numbers in the unit interval always including 1, naturally arises in study of finite fuzzy set theory. They are a useful concept in modeling ideas of uncertainty especially those that arise in Economics, Social Sciences, Statistics and other subjects. In this thesis we define and study some basic properties of keychains with reference to Partially Ordered Sets, Lattices, Chains and Finite Fuzzy Sets. We then examine the role of keychains and their lattice diagrams in representing uncertainties that arise in such problems as in prefer
Gli stili APA, Harvard, Vancouver, ISO e altri
41

Hoyos, Gomez Nancy Milena. "Finite sample properties of the maximum likelihood estimator in continuous time models." Thesis, University of Essex, 2017. http://repository.essex.ac.uk/18736/.

Testo completo
Abstract (sommario):
This dissertation consists of three papers on finite sample properties of the maximum likelihood (ML) estimator of parameters in continuous time dynamic models. In the first chapter, we obtain analytical expressions to approximate the bias and variance of the ML estimator in a univariate model with a known mean. We analyze two cases, when the variable of interest is a stock and when it is a flow. We also study the effect of the initial condition by considering both a fixed and a random initial value. A Monte Carlo study suggests that the performance of the formulae is reasonably good. Analytic
Gli stili APA, Harvard, Vancouver, ISO e altri
42

Hinkelmann, Franziska Babette. "Algebraic theory for discrete models in systems biology." Diss., Virginia Tech, 2011. http://hdl.handle.net/10919/28509.

Testo completo
Abstract (sommario):
This dissertation develops algebraic theory for discrete models in systems biology. Many discrete model types can be translated into the framework of polynomial dynamical systems (PDS), that is, time- and state-discrete dynamical systems over a finite field where the transition function for each variable is given as a polynomial. This allows for using a range of theoretical and computational tools from computer algebra, which results in a powerful computational engine for model construction, parameter estimation, and analysis methods. Formal definitions and theorems for PDS and the concept of
Gli stili APA, Harvard, Vancouver, ISO e altri
43

Lázaro, Fernández Carlos Manuel. "Formulación material y espacial del modelo geometricamente exacto de piezas alargadas." Doctoral thesis, Universitat Politècnica de València, 2008. http://hdl.handle.net/10251/1872.

Testo completo
Abstract (sommario):
El análisis de la respuesta mecánica de piezas alargadas que experimentan grandes desplazamientos y rotaciones constituye un campo en el que se han producido avances significativos en las tres últimas décadas, tanto desde el punto de vista de la formulación de modelos físicos como de la búsqueda de soluciones numéricas. El ámbito de aplicación de este tipo de modelos se separa quizás del abanico de problemas de los que tradicionalmente se ha ocupado la ingeniería civil, aproximándose más a situaciones propias de otras disciplinas, como la aeronáutica, la robótica o la biomecánica. Dentro de l
Gli stili APA, Harvard, Vancouver, ISO e altri
44

Baker, Peter John. "Applied Bayesian modelling in genetics." Thesis, Queensland University of Technology, 2001.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
45

Bevan, Graeme Rhys. "A practical investigation into the measurement of forces on the stator teeth of electrical machines." Thesis, Cape Peninsula University of Technology, 2013. http://hdl.handle.net/20.500.11838/1079.

Testo completo
Abstract (sommario):
Submitted to the Department of Electrical Engineering in Fulfilment of the Requirements for the Magister Technologiae in Electrical Engineering at the CAPE PENINSULA UNIVERSITY OF TECHNOLOGY SUPERVISOR: E. VOSS NOVEMBER 2013<br>Radial and peripheral displacement of stator teeth in electrical machines is known to be the cause of undesired vibration which leads to noise. This thesis serves to investigate the possibility of physically measuring the radial displacement of stator teeth caused by electromagnetic forces which, to the author’s knowledge, has not yet been achieved. A simplified practic
Gli stili APA, Harvard, Vancouver, ISO e altri
46

Hart, Derrick N. "Finite Field Models of Roth's Theorem in One and Two Dimensions." Thesis, Georgia Institute of Technology, 2006. http://hdl.handle.net/1853/11516.

Testo completo
Abstract (sommario):
Recent work on many problems in additive combinatorics, such as Roth's Theorem, has shown the usefulness of first studying the problem in a finite field environment. Using the techniques of Bourgain to give a result in other settings such as general abelian groups, the author gives a walk through, including proof, of Roth's theorem in both the one dimensional and two dimensional cases (it would be more accurate to refer to the two dimensional case as Shkredov's Theorem). In the one dimensional case the argument is at its base Meshulam's but the structure will be essentially Green's. Let Ϝⁿ [su
Gli stili APA, Harvard, Vancouver, ISO e altri
47

Laubner, Bastian. "The structure of graphs and new logics for the characterization of Polynomial Time." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011. http://dx.doi.org/10.18452/16335.

Testo completo
Abstract (sommario):
Diese Arbeit leistet Beiträge zu drei Gebieten der deskriptiven Komplexitätstheorie. Zunächst adaptieren wir einen repräsentationsinvarianten Graphkanonisierungsalgorithmus mit einfach exponentieller Laufzeit von Corneil und Goldberg (1984) und folgern, dass die Logik "Choiceless Polynomial Time with Counting" auf Strukturen, deren Relationen höchstens Stelligkeit 2 haben, gerade die Polynomialzeit-Eigenschaften (PTIME) von Fragmenten logarithmischer Größe charakterisiert. Der zweite Beitrag untersucht die deskriptive Komplexität von PTIME-Berechnungen auf eingeschränkten Graphklassen. Wir
Gli stili APA, Harvard, Vancouver, ISO e altri
48

Bischoff, Manfred. "Theorie und Numerik einer dreidimensionalen Schalenformulierung." [S.l.] : Universität Stuttgart , Fakultät Bauingenieur- und Vermessungswesen, 1999. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB8536741.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
49

Pontaza, Juan Pablo. "Least-squares variational principles and the finite element method: theory, formulations, and models for solid and fluid mechanics." Diss., Texas A&M University, 2003. http://hdl.handle.net/1969.1/288.

Testo completo
Abstract (sommario):
We consider the application of least-squares variational principles and the finite element method to the numerical solution of boundary value problems arising in the fields of solidand fluidmechanics.For manyof these problems least-squares principles offer many theoretical and computational advantages in the implementation of the corresponding finite element model that are not present in the traditional weak form Galerkin finite element model.Most notably, the use of least-squares principles leads to a variational unconstrained minimization problem where stability conditions such as inf-sup co
Gli stili APA, Harvard, Vancouver, ISO e altri
50

Andersson, Per-Åke. "Computation of Thermal Development in Injection Mould Filling, based on the Distance Model." Licentiate thesis, Linköping University, Linköping University, Optimization, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5733.

Testo completo
Abstract (sommario):
<p>The heat transfer in the filling phase of injection moulding is studied, based on Gunnar Aronsson’s distance model for flow expansion ([Aronsson], 1996).</p><p>The choice of a thermoplastic materials model is motivated by general physical properties, admitting temperature and pressure dependence. Two-phase, per-phase-incompressible, power-law fluids are considered. The shear rate expression takes into account pseudo-radial flow from a point inlet.</p><p>Instead of using a finite element (FEM) solver for the momentum equations a general analytical viscosity expression is used, adjusted to cu
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi di altri tipi di fonti sul tema "Finite model theory":
Articoli di riviste Libri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia