Results 21 to 30 of about 272,458 (83)
New Properties on Degenerate Bell Polynomials
Complexity, Volume 2021, Issue 1, 2021., 2021 The aim of this paper is to study the degenerate Bell numbers and polynomials which are degenerate versions of the Bell numbers and polynomials. We derive some new identities and properties of those numbers and polynomials that are associated with the degenerate Stirling numbers of both kinds.
Taekyun Kim +5 more
wiley +1 more source
The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus
, 2023 International audienceThe algebraic λ-calculus is an extension of the ordinary λ-calculus with linear combinations of terms. We establish that two ordinary λ-terms are equivalent in the algebraic λ-calculus iff they are β-equal.
Kerinec, Axel, Auclair, Lionel, Vaux
core +2 more sources
Reasonable Space for the $λ$-Calculus, Logarithmically [PDF]
, 2022 Can the $λ$-calculus be considered a reasonable computational model? Can we use it for measuring the time $\textit{and}$ space consumption of algorithms? While the literature contains positive answers about time, much less is known about space.
Lago, Ugo Dal +7 more
core +1 more source
The polarized λ-calculus [PDF]
, 2017 A natural deduction system isomorphic to the focused sequent calculus for polarized intuitionistic logic is proposed. The system comes with a language of proof-terms, named polarized λ-calculus, whose reduction rules express simultaneously a ...
Espírito Santo, José +1 more
core +1 more source
Umbral Calculus and the Frobenius-Euler Polynomials [PDF]
, 2013 We study some properties of umbral calculus related to the Appell sequence.
Dae San Kim, Sang-Hun Lee, Taekyun Kim
core +1 more source
Foraging plasticity and physiological adaptations enable hummingbirds to subsist on dilute nectars
Functional Ecology, Volume 40, Issue 5, Page 1475-1490, May 2026.Read the free Plain Language Summary for this article on the Journal blog. Abstract Hummingbirds frequently feed on small volumes (<30 μL) of sucrose‐rich nectars. Climate change is expected to affect both the abundance and the concentrations of accumulated nectar.
Rosalee L. Elting +5 more
wiley +1 more source
From a concurrent λ-calculus to the π-calculus
, 1995 We explore the (dynamic) semantics of a simply typed λ-calculus enriched withparallel composition, dynamic channel generation, and input-output communication primitives.
Leth, Lone +5 more
core +1 more source
Space Weather, Volume 24, Issue 4, April 2026.Abstract The total solar eclipse on 8 April 2024 provided a unique opportunity to investigate the three‐dimensional (3‐D) ionospheric response under enhanced solar activity over North America. In this study, we processed high‐density GNSS observations from ∼1,700 stations to derive vertical total electron content and applied a multi‐term sinusoidal ...
Wenbin Liang +3 more
wiley +1 more source
, 2002 The aim of this paper is to discuss the design of an explicitly typed λ-calculus corresponding to the Intersection Type Assignment System (IT), which assigns intersection types to the untyped λ-calculus. Two different proposals are given.
Simona Ronchi Della Rocca
core +1 more source
Diabetes‐Related Distress in Spanish Adults: Clinical, Sociodemographic and Psychosocial Correlates
Diabetes/Metabolism Research and Reviews, Volume 42, Issue 3, March 2026.ABSTRACT Introduction Diabetes‐related distress refers to the emotional strain experienced by individuals who live with diabetes and face continuous demands of treatment and self‐management. Elevated distress is associated with poor adherence, impaired metabolic control, and diminished quality of life.
Miguel Garrido‐Bueno +3 more
wiley +1 more source