Bibliografie tematiche / Finite model theory

Indice

  1. Articoli di riviste
  2. Tesi
  3. Libri
  4. Capitoli di libri
  5. Atti di convegni
  6. Rapporti di organizzazioni

Letteratura scientifica selezionata 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:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al 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.

Articoli di riviste sul tema "Finite model theory"

1

Chatzidakis, Zoé. "Model theory of finite fields and pseudo-finite fields." Annals of Pure and Applied Logic 88, no. 2-3 (November 1997): 95–108. http://dx.doi.org/10.1016/s0168-0072(97)00017-1.

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

Lotfallah, Wafik Boulos. "Strong convergence in finite model theory." Journal of Symbolic Logic 67, no. 3 (September 2002): 1083–92. http://dx.doi.org/10.2178/jsl/1190150151.

Testo completo
Abstract (sommario):
AbstractIn [9] we introduced a new framework for asymptotic probabilities, in which a σ-additive measure is defined on the sample space of all sequences of finite models, where the universe of , is {1,2,…,n}. In this framework we investigated the strong 0-1 law for sentences, which states that each sentence either holds in eventually almost surely or fails in eventually almost surely.In this paper we define the strong convergence law for formulas, which carries over the ideas of the strong 0-1 law to formulas with free variables, and roughly states that for each formula ϕ(x), the fraction of t
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Fagin, Ronald. "Finite-model theory - a personal perspective." Theoretical Computer Science 116, no. 1 (August 1993): 3–31. http://dx.doi.org/10.1016/0304-3975(93)90218-i.

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

Djordjević, Marko. "Finite variable logic, stability and finite models." Journal of Symbolic Logic 66, no. 2 (June 2001): 837–58. http://dx.doi.org/10.2307/2695048.

Testo completo
Abstract (sommario):
We will study complete Ln-theories and their models, where Ln is the set of first order formulas in which at most n distinct variables occur. Here, by a complete Ln-theory we mean a theory such that for every Ln-sentence, it or its negation is implied by the theory. Hence, a complete Ln-theory need not necessarily be complete in the usual sense. Our approach is to transfer concepts and methods from stability theory, such as the order property and counting types, to the context of Ln-theories. So, in one sense, we will develop some rudimentary stability theory for a particular class of (possibl
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Dawar, Anuj. "FINITE MODEL THEORY (Perspectives in Mathematical Logic)." Bulletin of the London Mathematical Society 29, no. 4 (July 1997): 504–5. http://dx.doi.org/10.1112/s0024609396222416.

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

Macpherson, Dugald. "Model theory of finite and pseudofinite groups." Archive for Mathematical Logic 57, no. 1-2 (September 19, 2017): 159–84. http://dx.doi.org/10.1007/s00153-017-0584-1.

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

Alfaro, Jorge, Pablo González, and Ricardo Avila. "A finite quantum gravity field theory model." Classical and Quantum Gravity 28, no. 21 (October 12, 2011): 215020. http://dx.doi.org/10.1088/0264-9381/28/21/215020.

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

Eberl, Matthias. "A Model Theory for the Potential Infinite." Reports on Mathematical Logic 57 (November 28, 2022): 3–30. http://dx.doi.org/10.4467/20842589rm.22.001.16658.

Testo completo
Abstract (sommario):
We present the model theoretic concepts that allow mathematics to be developed with the notion of the potential infinite instead of the actual infinite. The potential infinite is understood as a dynamic notion, being an indefinitely extensible finite. The main adoption is the interpretation of the universal quantifier, which has an implicit reection principle. Each universal quantification refers to an indefinitely large, but finite set. The quantified sets may increase, so after a reference by quantification, a further reference typically uses a larger, still finite set. We present the concep
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Rosen, Eric. "Some Aspects of Model Theory and Finite Structures." Bulletin of Symbolic Logic 8, no. 3 (September 2002): 380–403. http://dx.doi.org/10.2178/bsl/1182353894.

Testo completo
Abstract (sommario):
Model theory is concerned mainly, although not exclusively, with infinite structures. In recent years, finite structures have risen to greater prominence, both within the context of mainstream model theory, e.g., in work of Lachlan, Cherlin, Hrushovski, and others, and with the advent of finite model theory, which incorporates elements of classical model theory, combinatorics, and complexity theory. The purpose of this survey is to provide an overview of what might be called the model theory of finite structures. Some topics in finite model theory have strong connections to theoretical compute
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Lotfallah, Wafik Boulos. "Strong 0-1 laws in finite model theory." Journal of Symbolic Logic 65, no. 4 (December 2000): 1686–704. http://dx.doi.org/10.2307/2695069.

Testo completo
Abstract (sommario):
AbstractWe introduce a new framework for asymptotic probabilities of sentences, in which we have a σ-additive measure on the sample space of all sequences A = {} of finite models, where the universe of is {1,2, …, n}. and use this framework to strengthen 0-1 laws for logics.
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Tesi sul tema "Finite model theory"

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
Più fonti

Libri sul tema "Finite model theory"

1

Ebbinghaus, Heinz-Dieter. Finite model theory. 2nd ed. Berlin: Springer, 1999.

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

Ebbinghaus, Heinz-Dieter. Finite model theory. Berlin: Springer, 1995.

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

Ebbinghaus, Heinz-Dieter, and Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-662-03182-7.

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

Ebbinghaus, Heinz-Dieter, and Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-28788-4.

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

Esparza, Javier. Finite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.

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

Libkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

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

Finite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.

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

Esparza, Javier, Christian Michaux, and Charles Steinhorn, eds. Finite and Algorithmic Model Theory. Cambridge: Cambridge University Press, 2009. http://dx.doi.org/10.1017/cbo9780511974960.

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

Libkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1.

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

Borovik, Alexandre. Groups of finite Morley rank. Oxford: Clarendon Press, 1994.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "Finite model theory"

1

Cherlin, Gregory. "Large Finite Structures with Few Types." In Algebraic Model Theory, 53–105. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8923-9_3.

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

Libkin, Leonid. "Finite Variable Logics." In Elements of Finite Model Theory, 211–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1_11.

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

Libkin, Leonid. "Embedded Finite Models." In Elements of Finite Model Theory, 249–73. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1_13.

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

Vianu, Victor. "Databases and finite-model theory." In Descriptive Complexity and Finite Models, 97–148. Providence, Rhode Island: American Mathematical Society, 1997. http://dx.doi.org/10.1090/dimacs/031/04.

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

Wipf, Andreas. "Finite Temperature Schwinger Model." In Statistical Approach to Quantum Field Theory, 435–74. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-83263-6_16.

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

Gelade, Wouter, and Thomas Schwentick. "Automata and finite model theory." In Handbook of Automata Theory, 1071–103. Zuerich, Switzerland: European Mathematical Society Publishing House, 2021. http://dx.doi.org/10.4171/automata-1/29.

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

Libkin, Leonid. "Turing Machines and Finite Models." In Elements of Finite Model Theory, 165–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1_9.

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

Libkin, Leonid. "Other Applications of Finite Model Theory." In Elements of Finite Model Theory, 275–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1_14.

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

Libkin, Leonid. "Introduction." In Elements of Finite Model Theory, 1–11. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1_1.

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

Libkin, Leonid. "Fixed Point Logics and Complexity Classes." In Elements of Finite Model Theory, 177–210. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1_10.

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

Atti di convegni sul tema "Finite model theory"

1

Kolaitis, Phokion G. "Reflections on Finite Model Theory." In 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007). IEEE, 2007. http://dx.doi.org/10.1109/lics.2007.39.

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

Abramsky, Samson, Anuj Dawar, and Pengming Wang. "The pebbling comonad in Finite Model Theory." In 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2017. http://dx.doi.org/10.1109/lics.2017.8005129.

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

Montacute, Yoàv, and Nihil Shah. "The Pebble-Relation Comonad in Finite Model Theory." In LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3531130.3533335.

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

Libkin, Leonid. "The finite model theory toolbox of a database theoretician." In the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1559795.1559807.

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

Atserias, Albert. "A Why-on-Earth Tutorial on Finite Model Theory." In 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011). IEEE, 2011. http://dx.doi.org/10.1109/lics.2011.52.

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

Cozman, Fabio Gagliardi, and Denis Deratani Mauá. "The Finite Model Theory of Bayesian Networks: Descriptive Complexity." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/727.

Testo completo
Abstract (sommario):
We adapt the theory of descriptive complexity to Bayesian networks, to quantify the expressivity of specifications based on predicates and quantifiers. We show that Bayesian network specifications that employ first-order quantification capture the complexity class PP; by allowing quantification over predicates, the resulting Bayesian network specifications capture each class in the hierarchy PP^(NP^...^NP), a result that does not seem to have equivalent in the literature.
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Manzo, Mario, Giuseppe Lamanna, Francesco Di Caprio, Antonio Chiariello, Paul Schatrow, Matthias Waimer, and Nathalie Toso. "A simplified finite element model for crashworthiness investigations." In FRACTURE AND DAMAGE MECHANICS: Theory, Simulation and Experiment. AIP Publishing, 2020. http://dx.doi.org/10.1063/5.0034954.

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

Hong, Song-Nam, and Giuseppe Caire. "Two-unicast two-hop interference network: Finite-field model." In 2013 IEEE Information Theory Workshop (ITW 2013). IEEE, 2013. http://dx.doi.org/10.1109/itw.2013.6691339.

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

Lohmayer, Robert, and Rajamani Narayanan. "Many-flavor Schwinger model at finite chemical potential." In 31st International Symposium on Lattice Field Theory LATTICE 2013. Trieste, Italy: Sissa Medialab, 2014. http://dx.doi.org/10.22323/1.187.0145.

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

Kieronski, Emanuel, and Sebastian Rudolph. "Finite Model Theory of the Triguarded Fragment and Related Logics." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470734.

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

Rapporti di organizzazioni sul tema "Finite model theory"

1

Baader, Franz, and Felix Distel. A finite basis for the set of EL-implications holding in a finite model. Technische Universität Dresden, 2007. http://dx.doi.org/10.25368/2022.160.

Testo completo
Abstract (sommario):
Formal Concept Analysis (FCA) can be used to analyze data given in the form of a formal context. In particular, FCA provides efficient algorithms for computing a minimal basis of the implications holding in the context. In this paper, we extend classical FCA by considering data that are represented by relational structures rather than formal contexts, and by replacing atomic attributes by complex formulae defined in some logic. After generalizing some of the FCA theory to this more general form of contexts, we instantiate the general framework with attributes defined in the Description Logic (
Gli stili APA, Harvard, Vancouver, ISO e altri
2

MacKinnon, R. J., T. M. Sullivan, S. A. Simonson, and C. J. Suen. BLT-EC (Breach, Leach Transport, and Equilibrium Chemistry), a finite-element model for assessing the release of radionuclides from low-level waste disposal units: Background, theory, and model description. Office of Scientific and Technical Information (OSTI), August 1995. http://dx.doi.org/10.2172/108216.

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

Kotelnikov, I. A., and H. L. Berk. Finite Larmor radius flute mode theory with end loss. Office of Scientific and Technical Information (OSTI), August 1993. http://dx.doi.org/10.2172/10184780.

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

Ravazdezh, Faezeh, Julio A. Ramirez, and Ghadir Haikal. Improved Live Load Distribution Factors for Use in Load Rating of Older Slab and T-Beam Reinforced Concrete Bridges. Purdue University, 2021. http://dx.doi.org/10.5703/1288284317303.

Testo completo
Abstract (sommario):
This report describes a methodology for demand estimate through the improvement of load distribution factors in reinforced concrete flat-slab and T-beam bridges. The proposed distribution factors are supported on three-dimensional (3D) Finite Element (FE) analysis tools. The Conventional Load Rating (CLR) method currently in use by INDOT relies on a two-dimensional (2D) analysis based on beam theory. This approach may overestimate bridge demand as the result of neglecting the presence of parapets and sidewalks present in these bridges. The 3D behavior of a bridge and its response could be bett
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Larmat, Carene, Monica Maceira, Robert W. Porritt, David Mitchell Higdon, Charlotte Anne Rowe, and Richard M. Allen. Validation of Western North America Models based on finite-frequency and ray theory imaging methods. Office of Scientific and Technical Information (OSTI), February 2015. http://dx.doi.org/10.2172/1169158.

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

Terzic, Vesna, and William Pasco. Novel Method for Probabilistic Evaluation of the Post-Earthquake Functionality of a Bridge. Mineta Transportation Institute, April 2021. http://dx.doi.org/10.31979/mti.2021.1916.

Testo completo
Abstract (sommario):
While modern overpass bridges are safe against collapse, their functionality will likely be compromised in case of design-level or beyond design-level earthquake, which may generate excessive residual displacements of the bridge deck. Presently, there is no validated, quantitative approach for estimating the operational level of the bridge after an earthquake due to the difficulty of accurately simulating residual displacements. This research develops a novel method for probabilistic evaluation of the post-earthquake functionality state of the bridge; the approach is founded on an explicit eva
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Riveros, Guillermo, Felipe Acosta, Reena Patel, and Wayne Hodo. Computational mechanics of the paddlefish rostrum. Engineer Research and Development Center (U.S.), September 2021. http://dx.doi.org/10.21079/11681/41860.

Testo completo
Abstract (sommario):
Purpose – The rostrum of a paddlefish provides hydrodynamic stability during feeding process in addition to detect the food using receptors that are randomly distributed in the rostrum. The exterior tissue of the rostrum covers the cartilage that surrounds the bones forming interlocking star shaped bones. Design/methodology/approach – The aim of this work is to assess the mechanical behavior of four finite element models varying the type of formulation as follows: linear-reduced integration, linear-full integration, quadratic-reduced integration and quadratic-full integration. Also presented i
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Campbell, R. L. Fluid Film Bearing Dynamic Coefficients and Their Application to Structural Finite Element Models. Fort Belvoir, VA: Defense Technical Information Center, August 2003. http://dx.doi.org/10.21236/ada465781.

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

Lu Wang and T.S. Hahm. Theory of Fine-scale Zonal Flow Generation From Trapped Electron Mode Turbulence. Office of Scientific and Technical Information (OSTI), June 2009. http://dx.doi.org/10.2172/958407.

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

Oliynyk, Kateryna, and Matteo Ciantia. Application of a finite deformation multiplicative plasticity model with non-local hardening to the simulation of CPTu tests in a structured soil. University of Dundee, December 2021. http://dx.doi.org/10.20933/100001230.

Testo completo
Abstract (sommario):
In this paper an isotropic hardening elastoplastic constitutive model for structured soils is applied to the simulation of a standard CPTu test in a saturated soft structured clay. To allow for the extreme deformations experienced by the soil during the penetration process, the model is formulated in a fully geometric non-linear setting, based on: i) the multiplicative decomposition of the deformation gradient into an elastic and a plastic part; and, ii) on the existence of a free energy function to define the elastic behaviour of the soil. The model is equipped with two bonding-related intern
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi estesi di opere sul tema "Finite model theory":
Articoli di riviste Tesi 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