Results 31 to 40 of about 31,702 (236)

Semantics out of context: nominal absolute denotations for first-order logic and computation

, 2016
Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core   +1 more source

A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws

Advanced Intelligent Discovery, EarlyView.
The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows, G. Zhang, S. Anand, Z. Chen, J. Lin, A. Desai, S. Martiniani, F. Caravelli   +7 more
wiley   +1 more source

Parametric Analysis of Spiking Neurons in 16 nm Fin Field‐Effect Transistor Technology

Advanced Intelligent Discovery, EarlyView.
Energy efficient computing has driven a shift toward brain‐inspired neuromorphic hardware. This study explores the design of three distinct silicon neuron topologies implemented in 16 nm fin field‐Effect transistor technology. While the Axon‐Hillock design achieves gigahertz throughput, its functional fragility persists. The Morris–Lecar model captures
Logan Larsh, Raiyan Siddique, Sarah S. Sharif, Yaser Mike Banad   +3 more
wiley   +1 more source

On Completeness of Groups of Diffeomorphisms [PDF]

, 2016
We study completeness properties of the Sobolev diffeomorphism groups $\mathcal D^s(M)$ endowed with strong right-invariant Riemannian metrics when the underlying manifold $M$ is $\mathbb R^d$ or compact without boundary. The main result is that for $s >
Bruveris, Martins, Vialard, François-Xavier   +1 more
core   +3 more sources

MTCA‐Net: Multi‐Task Cascade Analysis Network for Real‐Time Sperm Quality Analysis

Advanced Intelligent Systems, EarlyView.
This article proposes MTCA‐Net, a multi‐task cascaded analysis network for real‐time sperm quality assessment in intracytoplasmic sperm injection. The framework integrates detection, tracking, and segmentation modules to jointly analyze sperm morphology and motility.
Jiajin Li, Wenwen Sun, Jun He, Xinyu Fan, Xuecheng Ge, Fengya Lu, Yadan Wang, Yi Wang, Zhiguo Zhang, Qibing Wu, Jinhua Zhou   +10 more
wiley   +1 more source

On Completeness of Groups of Diffeomorphisms [PDF]

, 2014
We study completeness properties of the Sobolev diffeomorphism groups $\mathcal D^s(M)$ endowed with strong right-invariant Riemannian metrics when the underlying manifold $M$ is $\mathbb R^d$ or compact without boundary. The main result is that for $s >
Bruveris, M, Vialard, FX
core   +1 more source

Disentangling Aleatoric and Epistemic Uncertainty in Physics‐Informed Neural Networks: Application to Insulation Material Degradation Prognostics

Advanced Intelligent Systems, EarlyView.
Physics‐Informed Neural Networks (PINNs) provide a framework for integrating physical laws with data. However, their application to Prognostics and Health Management (PHM) remains constrained by the limited uncertainty quantification (UQ) capabilities.
Ibai Ramirez, Jokin Alcibar, Joel Pino, Mikel Sanz, Jose I. Aizpurua   +4 more
wiley   +1 more source

Shapley Additive Explanation for Local Class Differentiation: Local Explainability for Class Differentiation in Classification Models

Advanced Intelligent Systems, EarlyView.
An instance‐level, model‐agnostic explanation of class differentiation is introduced through SHAP‐LCD, linking probability shifts to feature‐wise Shapley contributions. The method operates on tabular and image data and is released in a fully reproducible implementation, offering a transparent way to examine, at each instance, why predictive models ...
Roxana M. Romero Luna, Hugo A. Ordoñez Erazo, Carlos A. Cobos Lozada   +2 more
wiley   +1 more source

Driver Behavior Modeling with Subjective Risk‐Driven Inverse Reinforcement Learning

Advanced Intelligent Systems, EarlyView.
A subjective risk‐driven inverse reinforcement learning framework is proposed to model driver decision‐making. It infers drivers' risk perception and risk tolerance from driving data. A learnable risk threshold is used to regulate decisions, enabling interpretable and human‐like driving behavior decisions.
Yang Liang, Zichao Wang, Zhiwei He, Qingquan Wei, Yong Zuo, Linzhen Nie, Zhishuai Yin   +6 more
wiley   +1 more source

Global bounds for the cubic nonlinear Schr\"odinger equation (NLS) in one space dimension [PDF]

, 2014
This article is concerned with the small data problem for the cubic nonlinear Schr\"odinger equation (NLS) in one space dimension, and short range modifications of it.
Ifrim, Mihaela, Tataru, Daniel
core