Results 11 to 20 of about 51,667 (267)
Fractal symbolic analysis [PDF]
Proceedings of the 15th international conference on Supercomputing, 2001 Modern compilers restructure programs to improve their efficiency. Dependence analysis is the most widely used technique for proving the correctness of such transformations, but it suffers from the limitation that it considers only the memory locations read and written by a statement without considering what is being computed by that ...
Mateev, Nikolay +2 more
openaire +2 more sources
Symbolic object code analysis [PDF]
International Journal on Software Tools for Technology Transfer, 2010 Current software model checkers quickly reach their limits when being applied to verifying pointer safety properties in source code that includes function pointers and inlined assembly. This paper introduces an alternative technique for checking pointer safety violations, called Symbolic Object Code Analysis (SOCA), which is based on bounded symbolic ...
Mühlberg, Jan Tobias, Lüttgen, Gerald
openaire +4 more sources
Selection of Embedding Dimension and Delay Time in Phase Space Reconstruction via Symbolic Dynamics
Entropy, 2021 The modeling and prediction of chaotic time series require proper reconstruction of the state space from the available data in order to successfully estimate invariant properties of the embedded attractor.
Mariano Matilla-García +3 more
doaj +1 more source
Time Series Complexities and Their Relationship to Forecasting Performance
Entropy, 2020 Entropy is a key concept in the characterization of uncertainty for any given signal, and its extensions such as Spectral Entropy and Permutation Entropy. They have been used to measure the complexity of time series.
Mirna Ponce-Flores +4 more
doaj +1 more source
Entropy, 2021 Time series analysis comprises a wide repertoire of methods for extracting information from data sets. Despite great advances in time series analysis, identifying and quantifying the strength of nonlinear temporal correlations remain a challenge. We have
Bruno R. R. Boaretto +5 more
doaj +1 more source
Spurious Seasonality Detection: A Non-Parametric Test Proposal
Econometrics, 2018 This paper offers a general and comprehensive definition of the day-of-the-week effect. Using symbolic dynamics, we develop a unique test based on ordinal patterns in order to detect it.
Aurelio F. Bariviera +2 more
doaj +1 more source
Lcapy: symbolic linear circuit analysis with Python [PDF]
PeerJ Computer Science, 2022 Lcapy is an open-source Python package for solving linear circuits symbolically. It uses a superposition of DC analysis, AC (phasor) analysis, transient (Laplace) analysis, and noise analysis.
Michael Hayes
doaj +2 more sources
Nihon Kikai Gakkai ronbunshu, 2022 In this paper, a novel dynamical decoupled design of a two-dof differential belt-driven parallel robot is proposed. Equation of motion of the robot, including the inside mechanical properties of pulleys and sliders, are derived by the symbolic multibody ...
Takashi HARADA
doaj +1 more source
Identifying the Most Relevant Lag with Runs
Entropy, 2015 In this paper, we propose a nonparametric statistical tool to identify the most relevant lag in the model description of a time series. It is also shown that it can be used for model identification.
Úrsula Faura +3 more
doaj +1 more source
Symbolic Pole/Zero Analysis [PDF]
, 2012 Capítulo 11.-- El pdf es la versión post-print. Extraction of pole/zero expressions as a function of circuit parameters has traditionally been an essential tool for designers. In this Chapter, the main specific techniques for symbolic pole/zero extraction are described and their pros and cons are discussed.
Fernández, Francisco V. +3 more
openaire +2 more sources