Results 11 to 20 of about 292,517 (272)
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming [PDF]
, 2019 Functional reactive programming (FRP) is a paradigm for programming with signals and events, allowing the user to describe reactive programs on a high level of abstraction. For this to make sense, an FRP language must ensure that all programs are causal,
Bahr, Patrick +2 more
core +1 more source
The Securities and Exchange Commission and Accounting Principles [PDF]
, 1965 In this thesis we address the problem of optimal code generation for irregular architectures such as Digital Signal Processors (DSPs). Code generation consists mainly of three interrelated optimization tasks: instruction selection (with resource ...
Pines, J. Arnold
core +3 more sources
Implementation of Discrete Fourier Transform And Orthogonal Discrete Wavelet Transform In Python
JISR on Computing, 2016 This paper presents implementation of Discrete Fourier Transform and Orthogonal Discrete Wavelet Transform in Python computer programming language. The Fourier Transform is a fundamental signal processing tool whereas the Wavelet Transform is a powerful
Tariq Javid Ali +4 more
doaj +1 more source
Hiding digital image watermarking in a sound signal using Wavelet Transform and Singular Value Decomposition [PDF]
Al-Rafidain Journal of Computer Sciences and Mathematics, 2013 The outgrowing of multimedia applications in communications network brought about an increasing need to provide qualified methods to protect these media and secure communication. These methods include encryption and information hiding.
Alyaa Abdul Majeed Haleem, AlAA Zakaria
doaj +1 more source
A Module Language for Typing SIGNAL Programs by Contracts [PDF]
, 2010 Chapter 5, on "A Module Language for Typing SIGNAL Programs by Contracts", brings up the polychronous model of computation to present a means to modularly and compositionally support assumption-guarantee reasoning in that framework. Contract-based design has become a popular reasoning concept in which contracts are used to negotiate the correctness of ...
Glouche, Yann +3 more
openaire +1 more source
AN EEG MOBILE DEVICE AS A GAME CONTROLLER
TASK Quarterly, 2021 In this work the real-time control of computer games was explored by a single electrode mobile electroencephalography (EEG) device with a Bluetooth interface.
ALEKSANDER DAWID, PAWEŁ BUCHWALD
doaj +1 more source
Coinductive Streams in Monoidal Categories [PDF]
Logical Methods in Computer ScienceWe introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric monoidal categories. In the same way that streams provide semantics to dataflow
Elena Di Lavore +2 more
doaj +1 more source
Systems, 2023 Existing offset optimization methods for signalized intersections are mainly focused on regular traffic flow, which cannot accommodate cars and public transit (e.g., Bus Rapid Transit (BRT)) simultaneously. This study proposes a delay prediction model to
Wei Wu, Xiaoyu Luo, Baiying Shi
doaj +1 more source
BMC Genomics, 2017 Background A genomic signal track is a set of genomic intervals associated with values of various types, such as measurements from high-throughput experiments.
Xinjie Zhu +9 more
doaj +1 more source
Procedure Proposal for Minimising the Dynamic Error of Second-Order Sensors
Sensors, 2022 This paper proposes the procedure for minimising the dynamic error in the time and frequency domains, based on the example of a second-order sensor.
Krzysztof Tomczyk +2 more
doaj +1 more source