Results 31 to 40 of about 150 (103)
On Signifiable Computability: Part I: Signification of Real Numbers, Sequences, and Types
Signifiable computability aims to separate what is theoretically computable from what is computable through performable processes on computers with finite amounts of memory.
Vladimir A. Kulyukin
doaj +1 more source
Reservoir computing refers to a computational framework based on recurrent neural networks that can process time-series data. In an echo state network (ESN), which is a type of reservoir computing framework, the reservoir consists of a recursive network ...
Hideki Ogawa, Yasutake Takahashi
doaj +1 more source
Beyond Recursive Real Functions
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
This paper investigates the complexity of real functions through proof techniques inspired by formal language theory. Productiveness, which is a stronger form of non-recursive enumerability, is employed to analyze the complexity of various problems ...
Jingnan Xie +2 more
doaj +1 more source
Directional Forgetting for Stable Co-Adaptation in Myoelectric Control
Conventional myoelectric controllers provide a mapping between electromyographic signals and prosthetic functions. However, due to a number of instabilities continuously challenging this process, an initial mapping may require an extended calibration ...
Dennis Yeung +2 more
doaj +1 more source
Ship radiated noise denoising is the basis and premise of underwater acoustic signal processing. To obtain better denoising effect, a new denoising method for ship radiated noise based on Spearman variational mode decomposition (SVMD), spatial-dependence
Hong Yang, Yuanxun Cheng, Guohui Li
doaj +1 more source
Tunable digital filters are required in a broad scope of information technology (IT) areas where a digital filter needs to refresh the frequency response in real time during signal processing operations. When it is necessary to refresh filter’s frequency
Tian-Bo Deng
doaj +1 more source
Modeling time-varying brain networks with a self-tuning optimized Kalman filter.
Brain networks are complex dynamical systems in which directed interactions between different areas evolve at the sub-second scale of sensory, cognitive and motor processes.
D Pascucci, M Rubega, G Plomp
doaj +1 more source
Development Cost Optimization for Multi-Functional Mixed-Criticality Embedded Systems
In some industrial embedded systems, functions with different safety integrity levels (SILs) are integrated into the same hardware platform to share resources, and usually, the schedulability of applications should be met first.
Yehua Wei +3 more
doaj +1 more source
Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions
Inductive inference gives us a theoretical model of concept learning from examples. In this paper, we study refutably and reliably inductive inference of recursive real-valued functions. First we introduce the new criteria RealRefEx for refutable inference and RealRelEx for reliable inference.
Hirowatari, Eiju +3 more
openaire +2 more sources

