Gotowa bibliografia na temat „Finite model theory”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Finite model theory”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Finite model theory"
Chatzidakis, Zoé. "Model theory of finite fields and pseudo-finite fields". Annals of Pure and Applied Logic 88, nr 2-3 (listopad 1997): 95–108. http://dx.doi.org/10.1016/s0168-0072(97)00017-1.
Pełny tekst źródłaLotfallah, Wafik Boulos. "Strong convergence in finite model theory". Journal of Symbolic Logic 67, nr 3 (wrzesień 2002): 1083–92. http://dx.doi.org/10.2178/jsl/1190150151.
Pełny tekst źródłaFagin, Ronald. "Finite-model theory - a personal perspective". Theoretical Computer Science 116, nr 1 (sierpień 1993): 3–31. http://dx.doi.org/10.1016/0304-3975(93)90218-i.
Pełny tekst źródłaDjordjević, Marko. "Finite variable logic, stability and finite models". Journal of Symbolic Logic 66, nr 2 (czerwiec 2001): 837–58. http://dx.doi.org/10.2307/2695048.
Pełny tekst źródłaDawar, Anuj. "FINITE MODEL THEORY (Perspectives in Mathematical Logic)". Bulletin of the London Mathematical Society 29, nr 4 (lipiec 1997): 504–5. http://dx.doi.org/10.1112/s0024609396222416.
Pełny tekst źródłaMacpherson, Dugald. "Model theory of finite and pseudofinite groups". Archive for Mathematical Logic 57, nr 1-2 (19.09.2017): 159–84. http://dx.doi.org/10.1007/s00153-017-0584-1.
Pełny tekst źródłaAlfaro, Jorge, Pablo González i Ricardo Avila. "A finite quantum gravity field theory model". Classical and Quantum Gravity 28, nr 21 (12.10.2011): 215020. http://dx.doi.org/10.1088/0264-9381/28/21/215020.
Pełny tekst źródłaEberl, Matthias. "A Model Theory for the Potential Infinite". Reports on Mathematical Logic 57 (28.11.2022): 3–30. http://dx.doi.org/10.4467/20842589rm.22.001.16658.
Pełny tekst źródłaRosen, Eric. "Some Aspects of Model Theory and Finite Structures". Bulletin of Symbolic Logic 8, nr 3 (wrzesień 2002): 380–403. http://dx.doi.org/10.2178/bsl/1182353894.
Pełny tekst źródłaLotfallah, Wafik Boulos. "Strong 0-1 laws in finite model theory". Journal of Symbolic Logic 65, nr 4 (grudzień 2000): 1686–704. http://dx.doi.org/10.2307/2695069.
Pełny tekst źródłaRozprawy doktorskie na temat "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/.
Pełny tekst źródłaBlock, 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.
Pełny tekst źródłaGate, James Simon. "Applications of finite model theory : optimisation problems, hybrid modal logics and games". Thesis, Durham University, 2013. http://etheses.dur.ac.uk/7015/.
Pełny tekst źródłaRyten, 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.
Pełny tekst źródłaHayashi, Masahito. "Asymptotic estimation theory for a finite dimensional pure state model". 京都大学 (Kyoto University), 1999. http://hdl.handle.net/2433/181932.
Pełny tekst źródłaMorgan, 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.
Pełny tekst źródłaLin, 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.
Pełny tekst źródłaBhattacharyya, 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.
Pełny tekst źródłaTitle 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.
Pełny tekst źródłaGroenewald, 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.
Pełny tekst źródłaENGLISH 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.
Książki na temat "Finite model theory"
Ebbinghaus, Heinz-Dieter. Finite model theory. Wyd. 2. Berlin: Springer, 1999.
Znajdź pełny tekst źródłaEbbinghaus, Heinz-Dieter. Finite model theory. Berlin: Springer, 1995.
Znajdź pełny tekst źródłaEbbinghaus, Heinz-Dieter, i Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-662-03182-7.
Pełny tekst źródłaEbbinghaus, Heinz-Dieter, i Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-28788-4.
Pełny tekst źródłaEsparza, Javier. Finite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Znajdź pełny tekst źródłaLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Znajdź pełny tekst źródłaFinite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Znajdź pełny tekst źródłaEsparza, Javier, Christian Michaux i Charles Steinhorn, red. Finite and Algorithmic Model Theory. Cambridge: Cambridge University Press, 2009. http://dx.doi.org/10.1017/cbo9780511974960.
Pełny tekst źródłaLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1.
Pełny tekst źródłaBorovik, Alexandre. Groups of finite Morley rank. Oxford: Clarendon Press, 1994.
Znajdź pełny tekst źródłaCzęści książek na temat "Finite model theory"
Cherlin, Gregory. "Large Finite Structures with Few Types". W Algebraic Model Theory, 53–105. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8923-9_3.
Pełny tekst źródłaLibkin, Leonid. "Finite Variable Logics". W 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.
Pełny tekst źródłaLibkin, Leonid. "Embedded Finite Models". W 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.
Pełny tekst źródłaVianu, Victor. "Databases and finite-model theory". W Descriptive Complexity and Finite Models, 97–148. Providence, Rhode Island: American Mathematical Society, 1997. http://dx.doi.org/10.1090/dimacs/031/04.
Pełny tekst źródłaWipf, Andreas. "Finite Temperature Schwinger Model". W 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.
Pełny tekst źródłaGelade, Wouter, i Thomas Schwentick. "Automata and finite model theory". W Handbook of Automata Theory, 1071–103. Zuerich, Switzerland: European Mathematical Society Publishing House, 2021. http://dx.doi.org/10.4171/automata-1/29.
Pełny tekst źródłaLibkin, Leonid. "Turing Machines and Finite Models". W 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.
Pełny tekst źródłaLibkin, Leonid. "Other Applications of Finite Model Theory". W 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.
Pełny tekst źródłaLibkin, Leonid. "Introduction". W 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.
Pełny tekst źródłaLibkin, Leonid. "Fixed Point Logics and Complexity Classes". W 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.
Pełny tekst źródłaStreszczenia konferencji na temat "Finite model theory"
Kolaitis, Phokion G. "Reflections on Finite Model Theory". W 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007). IEEE, 2007. http://dx.doi.org/10.1109/lics.2007.39.
Pełny tekst źródłaAbramsky, Samson, Anuj Dawar i Pengming Wang. "The pebbling comonad in Finite Model Theory". W 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2017. http://dx.doi.org/10.1109/lics.2017.8005129.
Pełny tekst źródłaMontacute, Yoàv, i Nihil Shah. "The Pebble-Relation Comonad in Finite Model Theory". W 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.
Pełny tekst źródłaLibkin, Leonid. "The finite model theory toolbox of a database theoretician". W the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1559795.1559807.
Pełny tekst źródłaAtserias, Albert. "A Why-on-Earth Tutorial on Finite Model Theory". W 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011). IEEE, 2011. http://dx.doi.org/10.1109/lics.2011.52.
Pełny tekst źródłaCozman, Fabio Gagliardi, i Denis Deratani Mauá. "The Finite Model Theory of Bayesian Networks: Descriptive Complexity". W 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.
Pełny tekst źródłaManzo, Mario, Giuseppe Lamanna, Francesco Di Caprio, Antonio Chiariello, Paul Schatrow, Matthias Waimer i Nathalie Toso. "A simplified finite element model for crashworthiness investigations". W FRACTURE AND DAMAGE MECHANICS: Theory, Simulation and Experiment. AIP Publishing, 2020. http://dx.doi.org/10.1063/5.0034954.
Pełny tekst źródłaHong, Song-Nam, i Giuseppe Caire. "Two-unicast two-hop interference network: Finite-field model". W 2013 IEEE Information Theory Workshop (ITW 2013). IEEE, 2013. http://dx.doi.org/10.1109/itw.2013.6691339.
Pełny tekst źródłaLohmayer, Robert, i Rajamani Narayanan. "Many-flavor Schwinger model at finite chemical potential". W 31st International Symposium on Lattice Field Theory LATTICE 2013. Trieste, Italy: Sissa Medialab, 2014. http://dx.doi.org/10.22323/1.187.0145.
Pełny tekst źródłaKieronski, Emanuel, i Sebastian Rudolph. "Finite Model Theory of the Triguarded Fragment and Related Logics". W 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470734.
Pełny tekst źródłaRaporty organizacyjne na temat "Finite model theory"
Baader, Franz, i 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.
Pełny tekst źródłaMacKinnon, R. J., T. M. Sullivan, S. A. Simonson i 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), sierpień 1995. http://dx.doi.org/10.2172/108216.
Pełny tekst źródłaKotelnikov, I. A., i H. L. Berk. Finite Larmor radius flute mode theory with end loss. Office of Scientific and Technical Information (OSTI), sierpień 1993. http://dx.doi.org/10.2172/10184780.
Pełny tekst źródłaRavazdezh, Faezeh, Julio A. Ramirez i 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.
Pełny tekst źródłaLarmat, Carene, Monica Maceira, Robert W. Porritt, David Mitchell Higdon, Charlotte Anne Rowe i 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), luty 2015. http://dx.doi.org/10.2172/1169158.
Pełny tekst źródłaTerzic, Vesna, i William Pasco. Novel Method for Probabilistic Evaluation of the Post-Earthquake Functionality of a Bridge. Mineta Transportation Institute, kwiecień 2021. http://dx.doi.org/10.31979/mti.2021.1916.
Pełny tekst źródłaRiveros, Guillermo, Felipe Acosta, Reena Patel i Wayne Hodo. Computational mechanics of the paddlefish rostrum. Engineer Research and Development Center (U.S.), wrzesień 2021. http://dx.doi.org/10.21079/11681/41860.
Pełny tekst źródłaCampbell, R. L. Fluid Film Bearing Dynamic Coefficients and Their Application to Structural Finite Element Models. Fort Belvoir, VA: Defense Technical Information Center, sierpień 2003. http://dx.doi.org/10.21236/ada465781.
Pełny tekst źródłaLu Wang and T.S. Hahm. Theory of Fine-scale Zonal Flow Generation From Trapped Electron Mode Turbulence. Office of Scientific and Technical Information (OSTI), czerwiec 2009. http://dx.doi.org/10.2172/958407.
Pełny tekst źródłaOliynyk, Kateryna, i 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, grudzień 2021. http://dx.doi.org/10.20933/100001230.
Pełny tekst źródła