Results 31 to 40 of about 166,162,676 (139)
This review examines thermo‐ and photocatalytic routes for converting CO2 to ethanol and analyzes how metal alloying, promoters, supports, surface structure, and semiconductor design govern catalyst activity, selectivity, and stability. It integrates mechanistic insights from experimental and theoretical studies and identifies the main challenges and ...
Bryan Rocano‐Merchan +7 more
wiley +1 more source
Retroreflecting curves in nonstandard analysis [PDF]
We present a direct construction of retroreflecting curves by means of Nonstandard Analysis. We construct non self-intersecting curves which are of class C(1), except for a hyper-finite set of values, such that the probability of a particle being ...
Neves, V, Plakhov, A, Almeida, R
core
Transfer Principles in Nonstandard Intuitionistic Arithmetic
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory.
Jeffrey Helzner (5372678) +1 more
core +1 more source
Emu (Dromaius novaehollandiae) diet is driven by the gradient of C3 and C4 plant availability
Abstract Intraspecific variation in diet is often influenced by geographic location, resource availability, trophic position, or foraging specialization and can result in environmental changes exerting heterogeneous effects across the species' distribution.
Julia Ryeland, Kate J. Brandis
wiley +1 more source
Tendon‐sheath mechanisms are widely used in various robotic systems for remote position transmission, including aerospace vehicles, flexible rescue robots, dexterous robotic hands, exoskeleton robots, soft wearable devices, industrial robots, and flexible surgical robots.
Jiaqi Li, Qian Gao
wiley +1 more source
Determinacy on the edge of second‐order arithmetic, I
Abstract This is the first of two articles on the strength of m$m{}$‐Σ30$\bm{\Sigma }^0_3{}$‐determinacy for m∈N$m\in \mathbb {N}$, the strongest theories of determinacy contained in Hilbert's second‐order arithmetic (Z2)$(Z_2)$. In this article, we refute two natural conjectures on the strength of these principles in terms of inductive definability ...
J. P. Aguilera, P. D. Welch
wiley +1 more source
The motive of the Hilbert scheme of points in all dimensions
Abstract We prove a closed formula for the generating series Zd(t)$\mathsf {Z}_d(t)$ of the motives [Hilbd(An)0]$[\operatorname{Hilb}^d({\mathbb {A}}^n)_0]$ in K0(VarC)$K_0(\operatorname{Var}_{{\mathbb {C}}})$ of punctual Hilbert schemes, summing over n$n$, for fixed d>0$d>0$.
Michele Graffeo +3 more
wiley +1 more source
Ultrafast Adhesion/Friction Bidirectionally Switchable Control by Vibration
Bioinspired gradient smooth architectures enable vibration‐switchable adhesion/friction with 62.02 kPa adhesion strength, 131.57 kPa shear strength, tilt angles ≥ 3°, roughness ≥ Ra 0.8 µm, 400 Hz antivibration robustness, and dual‐mode control. The synergy of geometry optimization and vibration modulation tuning bridges multidomain adaptability and ...
Jian Chen +10 more
wiley +1 more source
The study presents a prototype novel workflow that utilizes artificial intelligence for the digitization of natural history collections, which would fit within a robotic‐integrated system. The work focuses on a collaborative‐robot (cobot) inspired workflow to digitize one of the largest collections housed at the Natural History Museum UK: pinned ...
Naifeng Zhang +4 more
wiley +1 more source
Model‐Based Semantics: Doing Without Meaning Constitution
Abstract This paper introduces a model‐based account of meaning, arguing that meaning properties reside in models rather than in the external world. Building on this view, it explores how such an instrumentalist framework can engage critically with various concerns raised by Wittgenstein, Quine, and Kripke[nstein]—each of whom voiced scepticism toward ...
Pietro Salis
wiley +1 more source

