, Anurag Mittal
: Sketch-based Image Retrieval from Millions of Images under Rotation, Translation and Scale Variations.
Mohammed M. Abdelsamea
: Regional Active Contours based on Variational level sets and Machine Learning for Image Segmentation.
: Computing the minimum distance of nonbinary LDPC codes using block Korkin-Zolotarev method.
: Some problems of Graph Based Codes for Belief Propagation decoding.
: A survey on measuring indirect discrimination in machine learning.
: Optimized Mission Planning for Planetary Exploration Rovers.
: Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance.
: LM-CMA: an Alternative to L-BFGS for Large Scale Black-box Optimization.
: Parameterized Integer Quadratic Programming: Variables and Coefficients.
: An introduction to the NMPC-Graph as general schema for causal modelling of nonlinear, multivariate, dynamic, and recursive systems with focus on time-series prediction.
: A Construction of Binary Linear Codes from Boolean Functions.
: Spatial Semantic Scan: Detecting Subtle, Spatially Localized Events in Text Streams.
Arthur G. Ryman
: Z Specification for the W3C Editor's Draft Core SHACL Semantics.
Dmitry N. Kozlov
: Structure theory of flip graphs with applications to Weak Symmetry Breaking.
, Pinyan Lu
: Uniqueness, Spatial Mixing, and Approximation for Ferromagnetic 2-Spin Systems.
: Exposing the Hidden Web: An Analysis of Third-Party HTTP Requests on 1 Million Websites.
, Ufuk Topcu
: Strategy Synthesis for Stochastic Rabin Games with Discounted Reward.
, Yuan Zhou
: Parameterized Algorithms for Constraint Satisfaction Problems Above Average with Global Cardinality Constraints.
, Ludo Waltman
: Large-Scale Analysis of the Accuracy of the Journal Classification Systems of Web of Science and Scopus.
: Coherent Detection of Turbo-Coded OFDM Signals Transmitted through Frequency Selective Rayleigh Fading Channels with Receiver Diversity and Increased Throughput.
: Basis Collapse for Holographic Algorithms Over All Domain Sizes.
, Yu Cheng
, Bo Tang
: Well-Supported versus Approximate Nash Equilibria: Query Complexity of Large Games.
: A Pareto Optimal D* Search Algorithm for Multiobjective Path Planning.
, Grzegorz Korcyl
: Designing dedicated data compression for physics experiments within FPGA already used for data acquisition.
Brijnesh J. Jain
: Properties of the Sample Mean in Graph Spaces and the Majorize-Minimize-Mean Algorithm.
: Lowering the learning curve for declarative programming: a Python API for the IDP system.
: Undirected Cat-and-Mouse is P-complete.