Добірка наукової літератури з теми "Finite model theory"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Finite model theory".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Finite model theory"
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаДисертації з теми "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/.
Повний текст джерела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.
Повний текст джерела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/.
Повний текст джерела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.
Повний текст джерелаHayashi, Masahito. "Asymptotic estimation theory for a finite dimensional pure state model." 京都大学 (Kyoto University), 1999. http://hdl.handle.net/2433/181932.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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
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.
Повний текст джерела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.
Повний текст джерела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 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.
Книги з теми "Finite model theory"
Ebbinghaus, Heinz-Dieter. Finite model theory. 2nd ed. Berlin: Springer, 1999.
Знайти повний текст джерелаEbbinghaus, Heinz-Dieter. Finite model theory. Berlin: Springer, 1995.
Знайти повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаEsparza, Javier. Finite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Знайти повний текст джерелаLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Знайти повний текст джерелаFinite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Знайти повний текст джерела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.
Повний текст джерелаLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1.
Повний текст джерелаBorovik, Alexandre. Groups of finite Morley rank. Oxford: Clarendon Press, 1994.
Знайти повний текст джерелаЧастини книг з теми "Finite model theory"
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаТези доповідей конференцій з теми "Finite model theory"
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаЗвіти організацій з теми "Finite model theory"
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела