: TRIOT: Faster iteration over multidimensional arrays in C++11.
: Improved Non-Malleable Extractors, Non-Malleable Codes and Independent Source Extractors.
: Computational complexity of solving polynomial differential equations over unbounded domains with non-rational coefficients.
: A Linear Algebraic Approach to Datalog Evaluation.
, Benoît Delahaye
, Loïg Jezequel
, Nicolas Markey
, Jirí Srba
: Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS
220, 2016 [contents]
: Automatic 3D Point Set Reconstruction from Stereo Laparoscopic Images using Deep Neural Networks.
: An exact, cache-localized algorithm for the sub-quadratic convolution of hypercubes.
, Jiashi Feng
: Hyperparameter Transfer Learning through Surrogate Alignment for Efficient Deep Neural Network Training.
: Comments on the parallelization efficiency of the Sunway TaihuLight supercomputer.
: Denoising and compression in wavelet domain via projection onto approximation coefficients.
: New wavelet-based superresolution algorithm for speckle reduction in SAR images.
: Denoising based on wavelets and deblurring via self-organizing map for Synthetic Aperture Radar images.
: Fuzzy thresholding in wavelet domain for speckle reduction in Synthetic Aperture Radar images.
: Left-corner Methods for Syntactic Modeling with Universal Structural Constraints.
: Accelerated Kaczmarz Algorithms using History Information.
Nikolas J. Hemion
: Discovering Latent States for Model Learning: Applying Sensorimotor Contingencies Theory and Predictive Processing to Model Context.
, Mostafa Rachik
: The $ε$-capacity of a gain matrix and tolerable disturbances: Discrete-time perturbed linear systems.
: Some observations on the optimization of a parallel SHAKE function using Sakura.
: Supervised Classification of RADARSAT-2 Polarimetric Data for Different Land Features.
: A Methodology to Generate Virtual Patient Repositories.
: Skipping Selected Steps of DWT Computation in Lossless JPEG 2000 for Improved Bitrates.
: Efficient Multiple Incremental and Decremental Ridge Support Vector Machines for Big Streams.
: Energy-Economic Multiple Incremental/Decremental Kernel Ridge Regression for Green Clouds.
: Parametric, Probabilistic, Timed Resource Discovery System. 53-62
: Time-Domain N-continuous GFDM.