Computer-Science
Pattern Recognition in Collective Cognitive Systems: Hybrid Human-Machine Learning (HHML) By Heterogeneous Ensembles
A New Approach to Component Testing
An Infrastructure to Functionally Test Designs Generated by Compilers Targeting FPGAs
Buffer Insertion for Bridges and Optimal Buffer Sizing for Communication Sub-System of Systems-on-Chip
Exploiting Real-Time FPGA Based Adaptive Systems Technology for Real-Time Sensor Fusion in Next Generation Automotive Safety Systems
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code
Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation
Comparing Pedigree Graphs
Outage Probability for Multi-Cell Processing under Rayleigh Fading
Clique Minors in Cartesian Products of Graphs
NESVM: a Fast Gradient Method for Support Vector Machines
Tree Exploration for Bayesian RL Exploration
A Unified View of Regularized Dual Averaging and Mirror Descent with Implicit Updates
How to obtain efficient GPU kernels: an illustration using FMM & FGT algorithms
The Information Theory of Emotions of Musical Chords
On the minimal penalty for Markov order estimation
Revisiting the Rice Theorem of Cellular Automata
Center-based Clustering under Perturbation Stability
Fixed-Parameter Algorithms for Computing Kemeny Scores - Theory and Practice
Some New Bounds For Cover-Free Families Through Biclique Cover
The adaptive projected subgradient method constrained by families of quasi-nonexpansive mappings and its application to online learning
Guaranteed Cost LQG Control of Uncertain Linear Quantum Stochastic Systems
