Results 31 to 40 of about 1,734,631 (265)
Combinatorial approach of the category $\Theta_0$ of cubical pasting diagrams [PDF]
Categories and General Algebraic Structures with ApplicationsIn globular higher category theory the small category $\Theta_0$ of finite rooted trees plays an important role: for example the objects of $\Theta_0$ are the arities of the operations inside the free globular $\omega$-operad $\mathbb{B}^0$ of Batanin ...
Camell Kachour
doaj +1 more source
Physics Letters B, 2023 Einsteinian cubic gravity is a higher-order gravitational theory in which the linearized field equations of motion match Einstein's equations on a maximally symmetric background.
Antonio De Felice, Shinji Tsujikawa
doaj +1 more source
npj Clean Water, 2022 Deductive arguments regarding the unexpected stability of nanobubbles in water include the excessive internal pressure of minuscule gas pockets. In this study, the derivation assumptions of the Young–Laplace equation are evaluated closely to discuss the ...
Tuna Yildirim +4 more
doaj +1 more source
A Reduction Ordering for Higher-Order Terms [PDF]
, 1999 We investigate one of the classical problems of the theory of term rewriting, namely termination. We present an ordering for comparing higher-order terms that can be utilized for testing termination and decreasingness of higher-order conditional term rewriting systems.
Avenhaus, Jürgen +2 more
openaire +2 more sources
Complexity Hierarchies and Higher-order Cons-free Term Rewriting [PDF]
Logical Methods in Computer Science, 2017 Constructor rewriting systems are said to be cons-free if, roughly, constructor terms in the right-hand sides of rules are subterms of the left-hand sides; the computational intuition is that rules cannot build new data structures. In programming language research, cons-free languages have been used to characterize hierarchies of computational ...
Kop, Cynthia Louisa Martina +1 more
openaire +5 more sources
European Physical Journal C: Particles and Fields, 2019 The present study is elaborated to investigate the validity of thermodynamical laws in a modified teleparallel gravity based on higher-order derivative terms of torsion scalar.
Saira Waheed, M. Zubair
doaj +1 more source
Al-Jabar, 2021 The higher-order thinking ability of students in Indonesia is still in the low category. This research aims to see the effect of the application of a problem-based learning model on higher-order mathematical thinking skills in terms of student's initial ...
Dion Aris Simanjuntak +2 more
doaj +1 more source
Origin tracking for higher-order term rewriting systems [PDF]
, 1994 Origin Tracking is a technique which, in the framework of first-order term rewriting systems, establishes relations between each subterm t of a normal form and a set of subterms, the origins of t, in the initial term. Origin tracking is based on the notion of residuals.
Arie van Deursen, T. B. Dinesh
openaire +1 more source
A rewriting calculus for cyclic higher-order term graphs [PDF]
Mathematical Structures in Computer Science, 2005 The Rewriting Calculus (ρ-calculus, for short) was introduced at the end of the 1990s and fully integrates term-rewriting and λ-calculus. The rewrite rules, acting as elaborated abstractions, their application and the structured results obtained are first class objects of the calculus.
Bertolissi, Clara +3 more
openaire +6 more sources
A radiative seesaw model with higher order terms under an alternative U(1)B−L
Physics Letters B, 2018 We propose a model based on an alternative U(1)B−L gauge symmetry with 5 dimensional operators in the Lagrangian, and we construct the neutrino masses at one-loop level, and discuss lepton flavor violations, dark matter, and the effective number of ...
Takaaki Nomura, Hiroshi Okada
doaj +1 more source