Results 91 to 100 of about 53,013 (201)
Objects and subtyping in the λΠ-calculus modulo
, 2015 We present a shallow embedding of the Object Calculus of Abadi and Cardelli in the λΠ-calculus modulo, an extension of the λΠ-calculus in which conversion is considered modulo a rewrite system.
Dubois, Catherine, Cauderlier, Raphaël
core
Insect Conservation and Diversity, EarlyView.Constant visitation rates across the flowering season masked major shifts in plant and flower visitor interaction structure, specialization, species roles and trait‐driven patterns shaping interaction intensity. Plants and flower visitors changed ecological roles over time, with native flower visitors playing key roles in maintaining network cohesion ...
Alba Costa +3 more
wiley +1 more source
A genetic algorithm for scheduling an automated machine cell with tool and pallet–fixture setups
International Transactions in Operational Research, EarlyView.Abstract This paper solves the scheduling problem of identical parallel machines with tooling and pallet–fixture constraints in a high‐mix, low‐volume, high‐complexity manufacturing environment. The machines are connected through an automated material handling device and in‐between buffer places that allow for autonomous production.
Koen Herps +3 more
wiley +1 more source
Marchenko–Pastur Laws for Daniell Smoothed Periodograms
Journal of Time Series Analysis, EarlyView.ABSTRACT Given a sample X0,…,Xn−1$$ {X}_0,\dots, {X}_{n-1} $$ from a d$$ d $$‐dimensional stationary time series (Xt)t∈ℤ$$ {\left({X}_t\right)}_{t\in \mathbb{Z}} $$, the most commonly used estimator for the spectral density matrix F(θ)$$ F\left(\theta \right) $$ at a given frequency θ∈[0,2π)$$ \theta \in \left[0,2\pi \right) $$ is the Daniell smoothed ...
Ben Deitmar
wiley +1 more source
Modulo-NPDM: A Modulo-Based Multicarrier Modulation Framework for PAPR Reduction
IEEE Open Journal of the Communications SocietyThis paper proposes modulo-Nested Periodic-subspace Division Multiplexing (mNPDM), a modulo-based multicarrier framework for reducing the Peak-to-Average Power Ratio (PAPR) in uplink transmissions.
Shaik Basheeruddin Shah +3 more
doaj +1 more source
Sistema multiplataforma de gestión de datos para visión por computadora
Programación Matemática y Software, 2022 En este artículo se presenta el desarrollo de un sistema multiplataforma de gestión de datos para aplicación de visión por computadora. Se presenta la arquitectura del sistema, los componentes y los resultados del sistema en operación.
Irma Delia Rojas-Cuevas +4 more
doaj
Measure‐valued processes for energy markets
Mathematical Finance, Volume 35, Issue 2, Page 520-566, April 2025.Abstract We introduce a framework that allows to employ (non‐negative) measure‐valued processes for energy market modeling, in particular for electricity and gas futures. Interpreting the process' spatial structure as time to maturity, we show how the Heath–Jarrow–Morton approach can be translated to this framework, thus guaranteeing arbitrage free ...
Christa Cuchiero +3 more
wiley +1 more source
Risk Measure Duality Without Structure
Mathematical Finance, EarlyView.ABSTRACT We study risk measures on vector spaces of random variables which a priori have little structure, such as spaces lacking law invariance or a lattice structure. Ensuring the existence of a tractable dual representation (one which does not contain non‐sigma‐additive measures) is one of the main problems in risk measure theory, and we address it ...
Vasily Melnikov
wiley +1 more source
Teleosemantics for neural word embeddings
Mind &Language, EarlyView.This paper applies a consumer‐based teleosemantic framework to give a detailed analysis of a particular algorithm for generating word embeddings. In the process, it addresses several of the challenges facing teleosemantic approaches to artificial neural networks.
Fintan Mallory
wiley +1 more source
Mind &Language, EarlyView.When is it proper or acceptable for a speaker to presuppose a proposition in the course of performing a speech act? Taking Stalnaker's common ground model as my background, I argue that this is best framed as a matter of the conversational permissibility of the speaker's presupposition, and that we should not construe this permissibility in terms of ...
Sanford C. Goldberg
wiley +1 more source