Results 41 to 50 of about 26,685 (258)
Characterizing Polynomial Time Computability of Rational and Real Functions [PDF]
Recursive analysis was introduced by A. Turing [1936], A. Grzegorczyk [1955], and D. Lacombe [1955]. It is based on a discrete mechanical framework that can be used to model computation over the real numbers.
Walid Gomaa
doaj +1 more source
Systematic Exploration of 3D Concrete Printing Parameters for Conformal Printing on Sloped Surfaces
A conformal slicing algorithm is developed for robotic 3D concrete printing (3DCP) on sloped surfaces as a first step toward printing slab‐on‐grade foundations on uneven terrain. Systematic experiments quantify the effects of nozzle speed, extrusion rate, and toolpath direction on filament dimension and stability.
Paniz Farrokhsiar +2 more
wiley +1 more source
Unary primitive recursive functions [PDF]
AbstractIn this article, we study some new characterizations of primitive recursive functions based on restricted forms of primitive recursion, improving the pioneering work of R. M. Robinson and M. D. Gladstone. We reduce certain recursion schemes (mixed/pure iteration without parameters) and we characterize one-argument primitive recursive functions ...
openaire +3 more sources
Solid Harmonic Wavelet Bispectrum for Image Analysis
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown +3 more
wiley +1 more source
Recursive Combination Has Adaptability in Diversifiability of Production and Material Culture
It has been suggested that hierarchically structured symbols, a remarkable feature of human language, are produced via the operation of recursive combination.
Genta Toya, Takashi Hashimoto
doaj +1 more source
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source
The Euler numbers and recursive properties of Dirichlet L-functions
The aim of this paper is using an elementary method and the properties of the Bernoulli polynomials to establish a close relationship between the Euler numbers of the second kind En∗ $E_{n}^{*}$ and the Dirichlet L-function L(s,χ) $L(s,\chi )$.
Yiwei Hou, Shimeng Shen
doaj +1 more source
By overcoming the fixed‐path limitations of conventional machine learning, a heterogeneous graph neural network fundamentally reconstructs material data representation. Integrating variable processing sequences with intrinsic elemental features, this framework enables exploratory optimization across high‐dimensional spaces.
Jie Yin +12 more
wiley +1 more source
In his paper "Finitism" (1981), W.W. Tait maintains that the chief difficulty for everyone who wishes to understand Hilbert's conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural ...
Matthias Schirn, Karl-Georg Niebergall
doaj +1 more source
An integrated transfer learning framework integrates CALPHAD simulations, diffusion‐multiple experiments, and literature data to predict long‐term microstructural stability and short‐term mechanical properties of Ni‐based powder metallurgy superalloys. Based on these model predictions, a high‐performance, low‐density alloy, USTB‐PM750, is designed from
Zixin Li +8 more
wiley +1 more source

