Results 41 to 50 of about 26,685 (258)

Characterizing Polynomial Time Computability of Rational and Real Functions [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2009
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

open access: yesAdvanced Robotics Research, EarlyView.
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]

open access: yesJournal of Symbolic Logic, 2008
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

open access: yesAdvanced Science, EarlyView.
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

open access: yesFrontiers in Psychology, 2018
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

open access: yesAdvanced Science, EarlyView.
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

open access: yesAdvances in Difference Equations, 2018
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

Unifying Composition and Process Design: A Heterogeneous Graph Neural Network for Discovering High‐Performance Cu Alloys

open access: yesAdvanced Science, EarlyView.
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

What Finitism Could Not Be

open access: yesCrítica, 2019
 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

High‐Throughput Data Generation and Transfer Learning Enabled Microstructure‐Property Integrated Design of Nickel‐Based Powder Metallurgy Superalloy

open access: yesAdvanced Science, EarlyView.
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

Home - About - Disclaimer - Privacy