Results 41 to 50 of about 249,549 (273)
Alexandria Engineering Journal, 2021 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
A microscopic formulation of dynamical spin injection in ferromagnetic-nonmagnetic heterostructures
, 2017 We develop a microscopic formulation of dynamical spin injection in heterostructure comprising nonmagnetic metals in contact with ferromagnets. The spin pumping current is expressed in terms of Green's function of the nonmagnetic metal attached to the ...
Ahmadi, Amin, Mucciolo, Eduardo R.
core +1 more source
On Signifiable Computability: Part I: Signification of Real Numbers, Sequences, and Types
MathematicsSignifiable 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
MathematicsThis 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
Modeling time-varying brain networks with a self-tuning optimized Kalman filter.
PLoS Computational Biology, 2020 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
IEEE Access, 2019 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
The Complexity of Real Recursive Functions [PDF]
, 2002 We explore recursion theory on the reals, the analog counterpart of recursive function theory. In recursion theory on the reals, the discrete operations of standard recursion theory are replaced by operations on continuous functions, such as composition and various forms of differential equations.
openaire +1 more source
Variations on the Theme of Conning in Mathematical Economics [PDF]
, 2007 The mathematization of economics is almost exclusively in terms of the mathematics of real analysis which, in turn, is founded on set theory (and the axiom of choice) and orthodox mathematical logic.
Velupillai, Kumaraswamy
core +1 more source
Real-Time Multi-Target Localization from Unmanned Aerial Vehicles
Sensors, 2016 In order to improve the reconnaissance efficiency of unmanned aerial vehicle (UAV) electro-optical stabilized imaging systems, a real-time multi-target localization scheme based on an UAV electro-optical stabilized imaging system is proposed.
Xuan Wang, Jinghong Liu, Qianfei Zhou
doaj +1 more source
Cosmic Acceleration from Causal Backreaction with Recursive Nonlinearities
, 2012 We revisit the causal backreaction paradigm, in which the need for Dark Energy is eliminated via the generation of an apparent cosmic acceleration from the causal flow of inhomogeneity information coming in towards each observer from distant structure ...
BRETT BOCHNER +3 more
core +1 more source