Results 31 to 40 of about 4,523,229 (316)
We extend the flattening transformation, which turns nested into flat data parallelism, to the full higher-order case, including lambda abstractions and data parallel arrays of functions. Our central observation is that flattening needs to transform the closures used to represent functional values.
Roman Leshchinskiy +2 more
openaire +1 more source
Even though higher-order calculi for automated theorem proving are rather old, tableau calculi have not been investigated yet. This paper presents two free variable tableau calculi for higher-order logic that use higher-order unification as the key inference procedure.
openaire +1 more source
A number of writers have supposed that for the full specification of belief, higher order probabilities are required. Some have even supposed that there may be an unending sequence of higher order probabilities of probabilities of probabilities....
openaire +3 more sources
Higher order hyperexpansivity and higher order hypercontractivity
<abstract><p>As a natural extension of the concept of $ (m, p) $-hyperexpansive and $ (m, p) $-hypercontractive of a single operator, we introduce and study the concepts of $ (m, p) $-hyperexpansivity and $ (m, p) $-hypercontractivity for $ d $-tuple of commuting operators acting on Banach spaces.
openaire +2 more sources
ABSTRACT Background Osteosarcoma (OS) and Ewing sarcoma (EWS) are the most common primary bone cancers in children, but acute thrombosis is poorly characterized in this population. Our study evaluated the rates of venous thromboembolism (VTE) and associated risk factors in pediatric patients with bone sarcomas treated over a 10‐year period encompassing
Sarah Kappa +8 more
wiley +1 more source
Application of Power Spectrum, Cepstrum, Higher Order Spectrum and Neural Network Analyses for Induction Motor Fault Diagnosis [PDF]
The power spectrum is defined as the square of the magnitude of the Fourier transform (FT) of a signal. The advantage of FT analysis is that it allows the decomposition of a signal into individual periodic frequency components and establishes the ...
Liang, B. +4 more
core +1 more source
The typical architectural concepts of popular processor families, their features, advantages and disadvantages are considered. Examples of structures of known processors are given.
Maksim S. Gnutov +2 more
doaj +1 more source
Oscillatory behavior of higher order nonlinear difference equations
The authors present some new oscillation criteria for higher order nonlinear difference equations with nonnegative real coefficients of the form Both of the cases n even and n odd are considered. They give examples to illustrate their results.
Said R. Grace, John R. Graef
doaj +1 more source
ABSTRACT Background Wilms tumor (WT) treatment imposes a significant time burden on patients and their families. Time toxicity is a patient‐centered metric that quantifies the burden of healthcare interaction. We sought to define time toxicity in the first year after diagnosis of WT and hypothesized that it would increase as tumor stage and treatment ...
Caleb Q. Ashbrook +6 more
wiley +1 more source
Higher-order topology yields intriguing multidimensional topological phenomena, while Weyl semimetals have unconventional properties such as chiral anomaly. However, so far, Weyl physics remain disconnected with higher-order topology. Here, we report the
Zhi-Kang Lin (14359182) +4 more
core +1 more source

