Results 41 to 50 of about 2,566,078 (299)
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation [PDF]
, 2010 One of the applications of supercompilation is proving properties of programs. We focus in this paper on a specific task: proving term equivalence for a higher-order lazy functional language. The “classical” way to prove equivalence of two terms t1 and t2 is to write an equality function equals and to simplify the term (equals t1 t2).
Ilya G. Klyuchnikov, Sergei A. Romanenko
openaire +1 more source
Transionospheric Microwave Propagation: Higher-Order Effects up to 100 GHz [PDF]
, 2017 Ionospheric refraction is considered as one of the major accuracy limiting factors in microwave space-based geodetic techniques such as the Global Positioning System (GPS), Satellite Laser Ranging (SLR), very-long-baseline interferometry (VLBI), Doppler ...
Jens Berdermann +5 more
core +1 more source
Oscillation and nonoscillation of two terms linear and half-linear equations of higher order
Electronic Journal of Qualitative Theory of Differential Equations, 2010 In this paper we investigate the properties of nonoscillation for the equation $$(-1)^{n}(\rho(t)|y^{(n)}|^{p-2}y^{(n)})^{(n)}-v(t)|y|^{p-2}y=0,$$ where ...
Ryskul. Oinarov, S. Y. Rakhimova
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
Critical Combinations of Higher-Order Terms in Einstein-Maxwell Theory and Compactification
Advances in High Energy Physics, 2015 We discuss the role of a particular combination of higher derivative terms in higher dimensional theories, particularly in the background of spontaneous compactification. Two classes of theories are proposed in this paper.
Nahomi Kan, Kiyoshi Shiraishi
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Fertility preservation (FP) is increasingly integrated into the care of pediatric patients exposed to gonadotoxic therapy or conditioning for hematopoietic stem cell transplantation (HSCT), yet perioperative data in infants and toddlers remain scarce.
Kerstin Saalabian +13 more
wiley +1 more source
Higher derivative extension of 6D chiral gauged supergravity [PDF]
, 2012 Six-dimensional (1, 0) supersymmetric gauged Einstein-Maxwell supergravity is extended by the inclusion of a supersymmetric Riemann tensor squared invariant. Both the original model as well as the Riemann tensor squared invariant are formulated off-shell
Bergshoeff, Eric, +11 more
core +1 more source
Generalized XY Models with Arbitrary Number of Phase Transitions
EntropyWe propose spin models that can display an arbitrary number of phase transitions. The models are based on the standard XY model, which is generalized by including higher-order nematic terms with exponentially increasing order and linearly increasing ...
Milan Žukovič
doaj +1 more source
A Logical Framework with Higher-Order Rational (Circular) Terms
, 2023 AbstractLogical frameworks provide natural and direct ways of specifying and reasoning within deductive systems. The logical framework LF and subsequent developments focus on finitary proof systems, making the formalization of circular proof systems in such logical frameworks a cumbersome and awkward task.
Zhibo Chen 0009, Frank Pfenning
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Cerebellar ataxia after pediatric brain tumor treatment can cause persistent gait, balance, and speech impairment, yet no established rehabilitation strategy exists. Somato‐cognitive coordination therapy (SCCT) is a virtual reality–guided intervention designed to promote sensorimotor integration through visually constrained reaching
Masanobu Takeuchi +10 more
wiley +1 more source