Results 11 to 20 of about 5,378 (99)
GPU-Accelerated BWT Construction for Large Collection of Short Reads [PDF]
, 2014 Advances in DNA sequencing technology have stimulated the development of algorithms and tools for processing very large collections of short strings (reads). Short-read alignment and assembly are among the most well-studied problems.
Lam, Tak-Wah, Liu, Chi-Man, Luo, Ruibang
core
A Framework for Structuring Learning Assessment in a Massively Multiplayer Online Educational Game: Experiment Centered Design [PDF]
, 2014 Educational games offer an opportunity to engage and inspire students to take interest in science, technology, engineering, and mathematical (STEM) subjects.
Clarke-Midura, Jody +2 more
core +1 more source
Generating and Searching Families of FFT Algorithms [PDF]
, 2011 A fundamental question of longstanding theoretical interest is to prove the lowest exact count of real additions and multiplications required to compute a power-of-two discrete Fourier transform (DFT).
Haynal, Heidi, Haynal, Steve
core
Computer Architectures to Close the Loop in Real-time Optimization [PDF]
, 2015 © 2015 IEEE.Many modern control, automation, signal processing and machine learning applications rely on solving a sequence of optimization problems, which are updated with measurements of a real system that evolves in time.
Constantinides, GA +4 more
core +1 more source
A Memory Bandwidth-Efficient Hybrid Radix Sort on GPUs
, 2017 Sorting is at the core of many database operations, such as index creation, sort-merge joins, and user-requested output sorting. As GPUs are emerging as a promising platform to accelerate various operations, sorting on GPUs becomes a viable endeavour ...
Cisco +8 more
core +1 more source
For the Jubilee of Vladimir Mikhailovich Chernov [PDF]
, 2019 On April 25, 2019, Vladimir Chernov celebrated his 70th birthday, Doctor of Physics and Mathematics, Chief Researcher at the Laboratory of Mathematical Methods of Image Processing of the Image Processing Systems Institute of the Russian Academy of ...
Labunets, V. G., Smetanin, Y. G.
core
Workshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005) [PDF]
, 2013 Oxford, UK, 26 August ...
Gottliebsen, Hanne +3 more
core
Stochastic Memristive Devices for Computing and Neuromorphic Applications
, 2013 Nanoscale resistive switching devices (memristive devices or memristors) have been studied for a number of applications ranging from non-volatile memory, logic to neuromorphic systems.
Choi, Shinhyun +4 more
core +1 more source
A Generic Approach to Searching for Jacobians
, 2007 We consider the problem of finding cryptographically suitable Jacobians. By applying a probabilistic generic algorithm to compute the zeta functions of low genus curves drawn from an arbitrary family, we can search for Jacobians containing a large ...
Sutherland, Andrew V.
core +3 more sources
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction [PDF]
, 2013 In this paper, we present an automated technique SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction, which uses a combination of Nelder-Mead optimization based testing, and induction from examples to automatically synthesize ...
Jha, Susmit, Seshia, Sanjit A.
core