Results 31 to 40 of about 555,741 (309)
Guided Next Best View for 3D Reconstruction of Large Complex Structures
Remote Sensing, 2019 In this paper, a Next Best View (NBV) approach with a profiling stage and a novel utility function for 3D reconstruction using an Unmanned Aerial Vehicle (UAV) is proposed. The proposed approach performs an initial scan in order to build a rough model of
Randa Almadhoun +4 more
doaj +1 more source
Complete NNLO operator bases in Higgs effective field theory
Journal of High Energy Physics, 2023 For the first time, we list the complete and independent set of operators at the next-to-next-to-leading order (NNLO) in the Higgs effective field theory (HEFT).
Hao Sun, Ming-Lei Xiao, Jiang-Hao Yu
doaj +1 more source
Intensional Models for the Theory of Types [PDF]
, 2006 In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition.
Muskens, Reinhard
core +5 more sources
Elements of set theory and recursive arguments
Atti della Accademia Peloritana dei Pericolanti : Classe di Scienze Fisiche, Matematiche e Naturali, 2021 In this paper we provide a self-contained introduction to some of the basic topics of Mathematical Analysis, comprising natural and unrestricted set theoretic methods.
Giuseppe Devillanova +1 more
doaj +1 more source
Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics [PDF]
Notre Dame Journal of Formal Logic, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
An Application of Screw Theory to the Jerk Analysis of a Two-Degrees-of-Freedom Parallel Wrist
Robotics, 2015 In this work the velocity, acceleration, and jerk analyses of a two-degrees-of-freedom parallel wrist are approached by means of the theory of screws. For the sake of completeness, the finite kinematics of the manipulator is also investigated.
Jaime Gallardo-Alvarado +3 more
doaj +1 more source
Poder soberano y poder disciplinario. La codificación desde una visión foucaultiana
Revista de Estudios Sociales, 2014 This essay presents the context of codification that occurred after the French Revolution, questioning the traditional idea of it as an emanation of sovereign power, following the guidelines of disciplinary society developed by Foucault. For this purpose,
Norberto Hernández Jiménez
doaj +1 more source
Completeness Theorems for Kleene algebra with tests and top [PDF]
Logical Methods in Computer ScienceWe prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of those two classes of models coincide over the signature of Kleene algebra ...
Damien Pous, Jana Wagemaker
doaj +1 more source
Atmosphere, 2023 The pioneering applications of the methods of theoretical physics to the turbulence statistical closure problem are summarised. These are: the direct-interaction approximation (DIA) of Kraichnan, the self-consistent-field theory of Edwards, and the self ...
David McComb
doaj +1 more source
Statistical convergence within octonion metric structures
Dera Natung Government College Research JournalThis paper investigates statistical convergence and completeness within the framework of octonion-valued metric spaces (OVMSs). By equipping the algebra of octonions with a suitable partial order, we extend classical notions of convergence, Cauchy ...
Selim Çetin +2 more
doaj +1 more source