Results 31 to 40 of about 109,181 (158)
Reverse Mathematics and parameter-free Transfer
, 2018 Recently, conservative extensions of Peano and Heyting arithmetic in the spirit of Nelson's axiomatic approach to Nonstandard Analysis, have been proposed.
Berg, Benno van den, Sanders, Sam
core +1 more source
Conditional Generative Modeling for Enhanced Credit Risk Management in Supply Chain Finance
Naval Research Logistics (NRL), EarlyView.ABSTRACT The rapid expansion of cross‐border e‐commerce (CBEC) has created significant opportunities for small‐ and medium‐sized sellers, yet financing remains a critical challenge due to their limited credit histories. Third‐party logistics (3PL)‐led supply chain finance (SCF) has emerged as a promising solution, leveraging in‐transit inventory as ...
Qingkai Zhang, L. Jeff Hong, Houmin Yan
wiley +1 more source
Computability and analysis: the legacy of Alan Turing
, 2009 We discuss the legacy of Alan Turing and his impact on computability and analysis.Comment: 49 ...
Avigad, Jeremy, Brattka, Vasco
core +2 more sources
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT In this work, a new event‐triggered adaptive first‐order sliding mode control method is proposed for nonlinear systems with constant time delays, modeled by interval type‐2 Takagi–Sugeno (T–S) fuzzy systems. To handle matched disturbances with unknown upper bounds, a non‐overestimating adaptation strategy for the control coefficient is ...
Rodrigo Possidonio Noronha +1 more
wiley +1 more source
Micro‐transitions and work identity: The case of academic entrepreneurs
Strategic Entrepreneurship Journal, EarlyView.Abstract Research Summary This paper examines how academic entrepreneurs—scientists who found research‐based startups while remaining in academia—construct and sustain their professional identities amid frequent transitions between academic and entrepreneurial roles.
Marouane Bousfiha, Henrik Berglund
wiley +1 more source
Formalizing Abstract Algebra in Constructive Set Theory [PDF]
, 2003 We present a machine-checked formalization of elementary abstract algebra in constructive set theory. Our formalization uses an approach where we start by specifying the group axioms as a collection of inference rules, defining a logic for groups.
Hickey, Jason, Yu, Xin
core
Beyond the next step: A multi‐criteria generative validation framework for step selection functions
Methods in Ecology and Evolution, EarlyView.Abstract Step‐selection functions (SSFs), typically fitted using step‐selection analysis (SSA) or integrated step‐selection analysis (iSSA) are widely used to infer habitat selection and movement kernels from high‐frequency telemetry data, but most standard validation tools focus on one‐step‐ahead prediction and do not guarantee that fitted models ...
Aurélien Nicosia
wiley +1 more source
Accounting &Finance, EarlyView.Abstract This study explores the practical impact of blockchain technology (BCT), which contrasts strongly with literature that has predominantly hypothesised BCT's potential to disrupt accounting practice. We interviewed 44 practitioners and academics with knowledge of BCT across 13 countries and industries.
Musbaudeen Titilope Oladejo +3 more
wiley +1 more source
Computer Graphics Forum, EarlyView.Abstract We introduce mixed super‐circles, a position‐curvature formulation of the original dynamic 2D super‐helix model. Compared to the latter, purely curvature‐based model – the so‐called chained formulation –, the mixed formulation that we propose here drastically reduces the algorithmic complexity of the solving scheme – from quadratic to quasi ...
Emile Hohnadel +2 more
wiley +1 more source
Varieties of Mathematics in Economics- A Partial View [PDF]
Real analysis, founded on the Zermelo-Fraenkel axioms, buttressed by the axiom of choice, is the dominant variety of mathematics utilized in the formalization of economic theory.
K. Vela Velupillai, Shu G. Wang
core