Results 11 to 20 of about 249,549 (273)
On the Structure and Realization of Real-Time Coding and Estimation Over Noiseless Channel
IEEE Access, 2021 This paper presents the optimal structural analysis and realization scheme of real-time coding and estimation for linear discrete-time system over rate-constrained noiseless channel.
Junyong Chen
doaj +1 more source
IEEE Access, 2021 The field of robotics has grown a lot over the years due to the increasing necessity of industrial production and the search for quality of industrialized products.
Darielson A. De Souza +9 more
doaj +1 more source
Characterizing Polynomial Time Computability of Rational and Real Functions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 Recursive analysis was introduced by A. Turing [1936], A. Grzegorczyk [1955], and D. Lacombe [1955]. It is based on a discrete mechanical framework that can be used to model computation over the real numbers.
Walid Gomaa
doaj +1 more source
The Question of the Boundaries of Computer Science
Seminare, 2022 A thesis defining the boundaries of computer science is first formulated in relation to a certain work of Stuart Shapiro. It is argued that these boundaries are determined by the properties of the mind in the real world.
Janusz Mączka, Adam Olszewski
doaj +1 more source
Mathematics, 2022 By means of a proper orthogonal decomposition (POD) to cut down the dimensionality of unknown finite element (FE) solution coefficient vectors in the Crank–Nicolson (CN) mixed FE (CNMFE) method for two-dimensional (2D) unsteady Stokes equations in regard
Zhendong Luo
doaj +1 more source
Buildings, 2022 Real-time and online screening techniques for single load effect signal monitoring are one of the key issues in smart structure monitoring. In this paper, an online signal sifting framework called online recursive empirical mode decomposition (EMD) is ...
Danhui Dan +3 more
doaj +1 more source
Foundation of Computer (Algebra) ANALYSIS Systems: Semantics, Logic, Programming, Verification [PDF]
, 2021 We propose a semantics of operating on real numbers that is sound, Turing-complete, and practical. It modifies the intuitive but super-recursive Blum-Shub-Smale model (formalizing Computer ALGEBRA Systems), to coincide in power with the realistic but ...
Brauße, Franz +9 more
core +2 more sources
Sensors, 2023 This paper investigates one way to reduce the computational burden of continuous-time model predictive control (MPC) laws by representing the input/output signals and related models using B-spline functions.
Boris Rohaľ-Ilkiv +2 more
doaj +1 more source
Automatic Modular Abstractions for Template Numerical Constraints [PDF]
Logical Methods in Computer Science, 2010 We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on rational, real or floating-point variables and containing linear ...
David Monniaux
doaj +1 more source
Survey on Hierarchical Clustering for Machine Learning [PDF]
Jisuanji kexue, 2023 Clustering analysis plays a key role in machine learning,data mining and biological DNA information.Clustering algorithms can be categorized into flat clustering and hierarchical clustering.Flat clustering mostly divides the data set into K parallel ...
WANG Shaojiang, LIU Jia, ZHENG Feng, PAN Yicheng
doaj +1 more source