Results 21 to 30 of about 280,972 (285)
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
Advancing Software Development for a Multiprocessor System-on-Chip [PDF]
Journal of Systemics, Cybernetics and Informatics, 2007 A low-level language is the right tool to develop applications for some embedded systems. Notwithstanding, a high-level language provides a proper environment to develop the programming tools.
Stephen Bique
doaj
An approach of generating and matched filtering of modulated radar signals using the FPGA [PDF]
Scientific Technical Review, 2018 The process of generating and matched filtering of three types of modulated radar signals in baseband, using the FPGA Zedboard, is described in this paper. Binary phase sequence, linear frequency modulated (LFM) sequence and Costas sequence was generated
Antonijević Goran +3 more
doaj
The Design Of The Ultrasonic Nondestructive Testing System Based On The EMAT
MATEC Web of Conferences, 2016 This paper introduces a kind of based on the electromagnetic acoustic transducer (EMAT) metal pipeline detection system, fusion of two dimensional orientation, shape unique technological innovation, implementation of various metal pipe wall corrosion ...
Cheng Huan Xin +3 more
doaj +1 more source
A component-based model and language for wireless sensor network applications [PDF]
, 2008 Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, these users are expected to produce low-level software for a concurrent ...
Balasubramaniam, Dharini +3 more
core +1 more source
A Factor Graph Approach to Automated Design of Bayesian Signal Processing Algorithms [PDF]
, 2018 The benefits of automating design cycles for Bayesian inference-based algorithms are becoming increasingly recognized by the machine learning community.
Cox, Marco +2 more
core +3 more sources
Implementation of a visual raise hand function in PowerPoint
GMS Journal for Medical Education, 2021 Objective: Replacing face-to-face lessons by remote teaching due to COVID-19 led to a markedly reduced interaction between students and lecturers.
Volf, Ivo
doaj +1 more source