Literatura académica sobre el tema "Finite model theory"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Finite model theory".
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.
Artículos de revistas sobre el tema "Finite model theory"
Chatzidakis, Zoé. "Model theory of finite fields and pseudo-finite fields". Annals of Pure and Applied Logic 88, n.º 2-3 (noviembre de 1997): 95–108. http://dx.doi.org/10.1016/s0168-0072(97)00017-1.
Texto completoLotfallah, Wafik Boulos. "Strong convergence in finite model theory". Journal of Symbolic Logic 67, n.º 3 (septiembre de 2002): 1083–92. http://dx.doi.org/10.2178/jsl/1190150151.
Texto completoFagin, Ronald. "Finite-model theory - a personal perspective". Theoretical Computer Science 116, n.º 1 (agosto de 1993): 3–31. http://dx.doi.org/10.1016/0304-3975(93)90218-i.
Texto completoDjordjević, Marko. "Finite variable logic, stability and finite models". Journal of Symbolic Logic 66, n.º 2 (junio de 2001): 837–58. http://dx.doi.org/10.2307/2695048.
Texto completoDawar, Anuj. "FINITE MODEL THEORY (Perspectives in Mathematical Logic)". Bulletin of the London Mathematical Society 29, n.º 4 (julio de 1997): 504–5. http://dx.doi.org/10.1112/s0024609396222416.
Texto completoMacpherson, Dugald. "Model theory of finite and pseudofinite groups". Archive for Mathematical Logic 57, n.º 1-2 (19 de septiembre de 2017): 159–84. http://dx.doi.org/10.1007/s00153-017-0584-1.
Texto completoAlfaro, Jorge, Pablo González y Ricardo Avila. "A finite quantum gravity field theory model". Classical and Quantum Gravity 28, n.º 21 (12 de octubre de 2011): 215020. http://dx.doi.org/10.1088/0264-9381/28/21/215020.
Texto completoEberl, Matthias. "A Model Theory for the Potential Infinite". Reports on Mathematical Logic 57 (28 de noviembre de 2022): 3–30. http://dx.doi.org/10.4467/20842589rm.22.001.16658.
Texto completoRosen, Eric. "Some Aspects of Model Theory and Finite Structures". Bulletin of Symbolic Logic 8, n.º 3 (septiembre de 2002): 380–403. http://dx.doi.org/10.2178/bsl/1182353894.
Texto completoLotfallah, Wafik Boulos. "Strong 0-1 laws in finite model theory". Journal of Symbolic Logic 65, n.º 4 (diciembre de 2000): 1686–704. http://dx.doi.org/10.2307/2695069.
Texto completoTesis sobre el tema "Finite model theory"
Bello, Aguirre Ricardo Isaac. "Model theory of finite and pseudofinite rings". Thesis, University of Leeds, 2016. http://etheses.whiterose.ac.uk/15771/.
Texto completoBlock, 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.
Texto completoGate, James Simon. "Applications of finite model theory : optimisation problems, hybrid modal logics and games". Thesis, Durham University, 2013. http://etheses.dur.ac.uk/7015/.
Texto completoRyten, 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.
Texto completoHayashi, Masahito. "Asymptotic estimation theory for a finite dimensional pure state model". 京都大学 (Kyoto University), 1999. http://hdl.handle.net/2433/181932.
Texto completoMorgan, 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.
Texto completoLin, 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.
Texto completoBhattacharyya, 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.
Texto completoTitle 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
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.
Texto completoGroenewald, 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.
Texto completoENGLISH 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 nite nucleon size. To investigate the consequences of this description, the equations of motion and energy-momentum tensor for the non-commutative Walecka model are derived. We also derived an expression for the total energy of the system, as a function of the non-commutative parameter, in a spatially non-uniform matter approximation. The non-commutative parameter, as a variable dependent on the dynamics of the system, remains to be solved self-consistently.
AFRIKAANSE OPSOMMING: Die eindige grootte van nukleone moet 'n belangrike rol speel in die beskrywing van ho e-digtheid kern materie soos gevind in astro- siese voorwerpe. Tog sien ons dat die Walecka model, wat in die algemeen gebruik word om hierdie stelsels te beskryf, die nukleone as punt deeltjies hanteer. Ons redeneer dus dat 'n nie-kommutatiewe weergawe van die Walecka model 'n konsistente en gepaste raamwerk is om die e ekte van eindige nukleon grootte te beskryf. In hierdie raamwerk speel die lengte-skaal wat ingevoer word deur die nie-kommutatiewe parameter die rol van eindige grootte vir nukleone. Om die gevolge van hierdie beskrywing te ondersoek, word die vergelykings van beweging en die energie-momentum tensor afgelei vir die nie-kommutatiewe Walecka model. Ons het ook 'n uitdrukking vir die totale energie van die stelsel, as 'n funksie van die niekommutatiewe parameter, afgelei in 'n ruimtelik nie-uniforme materie benadering. Die niekommutatiewe parameter, as 'n veranderlike afhanklik van die dinamika van die stelsel, bly steeds om self-konsistent opgelos te word.
Libros sobre el tema "Finite model theory"
Ebbinghaus, Heinz-Dieter. Finite model theory. 2a ed. Berlin: Springer, 1999.
Buscar texto completoEbbinghaus, Heinz-Dieter. Finite model theory. Berlin: Springer, 1995.
Buscar texto completoEbbinghaus, Heinz-Dieter y Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-662-03182-7.
Texto completoEbbinghaus, Heinz-Dieter y Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-28788-4.
Texto completoEsparza, Javier. Finite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Buscar texto completoLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Buscar texto completoFinite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Buscar texto completoEsparza, Javier, Christian Michaux y Charles Steinhorn, eds. Finite and Algorithmic Model Theory. Cambridge: Cambridge University Press, 2009. http://dx.doi.org/10.1017/cbo9780511974960.
Texto completoLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1.
Texto completoBorovik, Alexandre. Groups of finite Morley rank. Oxford: Clarendon Press, 1994.
Buscar texto completoCapítulos de libros sobre el tema "Finite model theory"
Cherlin, Gregory. "Large Finite Structures with Few Types". En Algebraic Model Theory, 53–105. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8923-9_3.
Texto completoLibkin, Leonid. "Finite Variable Logics". En 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.
Texto completoLibkin, Leonid. "Embedded Finite Models". En 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.
Texto completoVianu, Victor. "Databases and finite-model theory". En Descriptive Complexity and Finite Models, 97–148. Providence, Rhode Island: American Mathematical Society, 1997. http://dx.doi.org/10.1090/dimacs/031/04.
Texto completoWipf, Andreas. "Finite Temperature Schwinger Model". En 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.
Texto completoGelade, Wouter y Thomas Schwentick. "Automata and finite model theory". En Handbook of Automata Theory, 1071–103. Zuerich, Switzerland: European Mathematical Society Publishing House, 2021. http://dx.doi.org/10.4171/automata-1/29.
Texto completoLibkin, Leonid. "Turing Machines and Finite Models". En 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.
Texto completoLibkin, Leonid. "Other Applications of Finite Model Theory". En 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.
Texto completoLibkin, Leonid. "Introduction". En 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.
Texto completoLibkin, Leonid. "Fixed Point Logics and Complexity Classes". En 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.
Texto completoActas de conferencias sobre el tema "Finite model theory"
Kolaitis, Phokion G. "Reflections on Finite Model Theory". En 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007). IEEE, 2007. http://dx.doi.org/10.1109/lics.2007.39.
Texto completoAbramsky, Samson, Anuj Dawar y Pengming Wang. "The pebbling comonad in Finite Model Theory". En 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2017. http://dx.doi.org/10.1109/lics.2017.8005129.
Texto completoMontacute, Yoàv y Nihil Shah. "The Pebble-Relation Comonad in Finite Model Theory". En 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.
Texto completoLibkin, Leonid. "The finite model theory toolbox of a database theoretician". En the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1559795.1559807.
Texto completoAtserias, Albert. "A Why-on-Earth Tutorial on Finite Model Theory". En 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011). IEEE, 2011. http://dx.doi.org/10.1109/lics.2011.52.
Texto completoCozman, Fabio Gagliardi y Denis Deratani Mauá. "The Finite Model Theory of Bayesian Networks: Descriptive Complexity". En 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.
Texto completoManzo, Mario, Giuseppe Lamanna, Francesco Di Caprio, Antonio Chiariello, Paul Schatrow, Matthias Waimer y Nathalie Toso. "A simplified finite element model for crashworthiness investigations". En FRACTURE AND DAMAGE MECHANICS: Theory, Simulation and Experiment. AIP Publishing, 2020. http://dx.doi.org/10.1063/5.0034954.
Texto completoHong, Song-Nam y Giuseppe Caire. "Two-unicast two-hop interference network: Finite-field model". En 2013 IEEE Information Theory Workshop (ITW 2013). IEEE, 2013. http://dx.doi.org/10.1109/itw.2013.6691339.
Texto completoLohmayer, Robert y Rajamani Narayanan. "Many-flavor Schwinger model at finite chemical potential". En 31st International Symposium on Lattice Field Theory LATTICE 2013. Trieste, Italy: Sissa Medialab, 2014. http://dx.doi.org/10.22323/1.187.0145.
Texto completoKieronski, Emanuel y Sebastian Rudolph. "Finite Model Theory of the Triguarded Fragment and Related Logics". En 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470734.
Texto completoInformes sobre el tema "Finite model theory"
Baader, Franz y 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.
Texto completoMacKinnon, R. J., T. M. Sullivan, S. A. Simonson y 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), agosto de 1995. http://dx.doi.org/10.2172/108216.
Texto completoKotelnikov, I. A. y H. L. Berk. Finite Larmor radius flute mode theory with end loss. Office of Scientific and Technical Information (OSTI), agosto de 1993. http://dx.doi.org/10.2172/10184780.
Texto completoRavazdezh, Faezeh, Julio A. Ramirez y 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.
Texto completoLarmat, Carene, Monica Maceira, Robert W. Porritt, David Mitchell Higdon, Charlotte Anne Rowe y 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), febrero de 2015. http://dx.doi.org/10.2172/1169158.
Texto completoTerzic, Vesna y William Pasco. Novel Method for Probabilistic Evaluation of the Post-Earthquake Functionality of a Bridge. Mineta Transportation Institute, abril de 2021. http://dx.doi.org/10.31979/mti.2021.1916.
Texto completoRiveros, Guillermo, Felipe Acosta, Reena Patel y Wayne Hodo. Computational mechanics of the paddlefish rostrum. Engineer Research and Development Center (U.S.), septiembre de 2021. http://dx.doi.org/10.21079/11681/41860.
Texto completoCampbell, R. L. Fluid Film Bearing Dynamic Coefficients and Their Application to Structural Finite Element Models. Fort Belvoir, VA: Defense Technical Information Center, agosto de 2003. http://dx.doi.org/10.21236/ada465781.
Texto completoLu Wang and T.S. Hahm. Theory of Fine-scale Zonal Flow Generation From Trapped Electron Mode Turbulence. Office of Scientific and Technical Information (OSTI), junio de 2009. http://dx.doi.org/10.2172/958407.
Texto completoOliynyk, Kateryna y 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, diciembre de 2021. http://dx.doi.org/10.20933/100001230.
Texto completo