Ben-Gurion University of the Negev

∙ Be'er Sheva , Israel ∙ 0 followers

Ben Gurion University of the Negev offers degrees in both undergraduate and graduate level curriculum. The University offers courses in health sciences, social sciences, humanities, natural sciences, engineering, and management and business.

PoPS: Policy Pruning and Shrinking for Deep Reinforcement Learning

The recent success of deep neural networks (DNNs) for function approxima...
01/14/2020 ∙ by Dor Livne, et al. ∙ 11 ∙ share

read it
Verifying Robustness of Gradient Boosted Models

Gradient boosted models are a fundamental machine learning technique. Ro...
06/26/2019 ∙ by Gil Einziger, et al. ∙ 10 ∙ share

read it
Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks

The MAPF problem is the fundamental problem of planning paths for multip...
06/19/2019 ∙ by Roni Stern, et al. ∙ 5 ∙ share

read it
Multi-Agent Path Finding with Deadlines

We formalize Multi-Agent Path Finding with Deadlines (MAPF-DL). The obje...
06/11/2018 ∙ by Hang Ma, et al. ∙ 4 ∙ share

read it
Generic Black-Box End-to-End Attack Against State of the Art API Call Based Malware Classifiers

In this paper, we present a black-box attack against API call based mach...
07/19/2017 ∙ by Ishai Rosenberg, et al. ∙ 0 ∙ share

read it
Contextual Object Detection with a Few Relevant Neighbors

A natural way to improve the detection of objects is to consider the con...
11/15/2017 ∙ by Ehud Barnea, et al. ∙ 0 ∙ share

read it
On the Utility of Context (or the Lack Thereof) for Object Detection

The recurring context in which objects appear holds valuable information...
11/15/2017 ∙ by Ehud Barnea, et al. ∙ 0 ∙ share

read it
Curve Reconstruction via the Global Statistics of Natural Curves

Reconstructing the missing parts of a curve has been the subject of much...
11/08/2017 ∙ by Ehud Barnea, et al. ∙ 0 ∙ share

read it
A Planning Approach to Monitoring Behavior of Computer Programs

We describe a novel approach to monitoring high level behaviors using co...
09/11/2017 ∙ by Alexandre Cukier, et al. ∙ 0 ∙ share

read it
Modifying Optimal SAT-based Approach to Multi-agent Path-finding Problem to Suboptimal Variants

In multi-agent path finding (MAPF) the task is to find non-conflicting p...
07/02/2017 ∙ by Pavel Surynek, et al. ∙ 0 ∙ share

read it
Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version)

In Markov Decision Processes (MDPs), the reward obtained in a state depe...
06/25/2017 ∙ by Ronen Brafman, et al. ∙ 0 ∙ share

read it
Gradual Learning of Deep Recurrent Neural Networks

Deep Recurrent Neural Networks (RNNs) achieve state-of-the-art results i...
08/29/2017 ∙ by Ziv Aharoni, et al. ∙ 0 ∙ share

read it
Mixing time estimation in reversible Markov chains from a single sample path

The spectral gap γ of a finite, ergodic, and reversible Markov chain is ...
08/24/2017 ∙ by Daniel Hsu, et al. ∙ 0 ∙ share

read it
Detection of Unauthorized IoT Devices Using Machine Learning Techniques

Security experts have demonstrated numerous risks imposed by Internet of...
09/14/2017 ∙ by Yair Meidan, et al. ∙ 0 ∙ share

read it
Solving DCOPs with Distributed Large Neighborhood Search

The field of Distributed Constraint Optimization has gained momentum in ...
02/22/2017 ∙ by Ferdinando Fioretto, et al. ∙ 0 ∙ share

read it
Lifted Message Passing for the Generalized Belief Propagation

We introduce the lifted Generalized Belief Propagation (GBP) message pas...
10/05/2016 ∙ by Udi Apsel, et al. ∙ 0 ∙ share

read it
Estimating the Probability of Meeting a Deadline in Hierarchical Plans

Given a hierarchical plan (or schedule) with uncertain task times, we pr...
03/04/2015 ∙ by Liat Cohen, et al. ∙ 0 ∙ share

read it
Handwritten Signature Verification Using Hand-Worn Devices

Online signature verification technologies, such as those available in b...
12/19/2016 ∙ by Ben Nassi, et al. ∙ 0 ∙ share

read it
Rational Deployment of Multiple Heuristics in IDA*

Recent advances in metareasoning for search has shown its usefulness in ...
11/24/2014 ∙ by David Tolpin, et al. ∙ 0 ∙ share

read it
Towards Rational Deployment of Multiple Heuristics in A*

The obvious way to use several admissible heuristics in A* is to take th...
05/22/2013 ∙ by David Tolpin, et al. ∙ 0 ∙ share

read it
Deep Learning for Saliency Prediction in Natural Video

The purpose of this paper is the detection of salient areas in natural v...
04/27/2016 ∙ by Souad Chaabouni, et al. ∙ 0 ∙ share

read it
Active Regression by Stratification

We propose a new active learning algorithm for parametric linear regress...
10/22/2014 ∙ by Sivan Sabato, et al. ∙ 0 ∙ share

read it
VOI-aware MCTS

UCT, a state-of-the art algorithm for Monte Carlo tree search (MCTS) in ...
07/24/2012 ∙ by David Tolpin, et al. ∙ 0 ∙ share

read it
MCTS Based on Simple Regret

UCT, a state-of-the art algorithm for Monte Carlo tree search (MCTS) in ...
07/23/2012 ∙ by David Tolpin, et al. ∙ 0 ∙ share

read it
A Bayes consistent 1-NN classifier

We show that a simple modification of the 1-nearest neighbor classifier ...
07/01/2014 ∙ by Aryeh Kontorovich, et al. ∙ 0 ∙ share

read it
A General Theory of Additive State Space Abstractions

Informally, a set of abstractions of a state space S is additive if the ...
10/31/2011 ∙ by Fan Yang, et al. ∙ 0 ∙ share

read it
Predictive PAC Learning and Process Decompositions

We informally call a stochastic process learnable if it admits a general...
09/19/2013 ∙ by Cosma Rohilla Shalizi, et al. ∙ 0 ∙ share

read it
Rational Deployment of CSP Heuristics

Heuristics are crucial tools in decreasing search effort in varied field...
04/11/2011 ∙ by David Tolpin, et al. ∙ 0 ∙ share

read it
Efficient Classification for Metric Data

Recent advances in large-margin classification of data residing in gener...
06/11/2013 ∙ by Lee-Ad Gottlieb, et al. ∙ 0 ∙ share

read it
Adaptive Metric Dimensionality Reduction

We study adaptive data-dependent dimensionality reduction in the context...
02/12/2013 ∙ by Lee-Ad Gottlieb, et al. ∙ 0 ∙ share

read it
A Syntactic Approach to Domain-Specific Automatic Question Generation

Factoid questions are questions that require short fact-based answers. A...
12/28/2017 ∙ by Guy Danon, et al. ∙ 0 ∙ share

read it
Language Models with Pre-Trained (GloVe) Word Embeddings

In this work we implement a training of a Language Model (LM), using Rec...
10/12/2016 ∙ by Victor Makarenkov, et al. ∙ 0 ∙ share

read it
Incorporating Reality into Social Choice

When voting on a proposal one in fact chooses between two alternatives: ...
10/27/2017 ∙ by Ehud Shapiro, et al. ∙ 0 ∙ share

read it
A multigrid solver to the Helmholtz equation with a point source based on travel time and amplitude

The Helmholtz equation arises when modeling wave propagation in the freq...
12/17/2017 ∙ by Eran Treister, et al. ∙ 0 ∙ share

read it
Data Aggregation Over Multiple Access Wireless Sensors Network

Data collection in Wireless Sensor Networks (WSN) draws significant atte...
12/08/2017 ∙ by Alejandro Cohen, et al. ∙ 0 ∙ share

read it
Feedback Capacity and Coding for the (0,k)-RLL Input-Constrained BEC

The input-constrained binary erasure channel (BEC) with strictly causal ...
12/07/2017 ∙ by Ori Peled, et al. ∙ 0 ∙ share

read it
The Parameterized Complexity of Centrality Improvement in Networks

The centrality of a vertex v in a network intuitively captures how impor...
10/04/2017 ∙ by Clemens Hoffmann, et al. ∙ 0 ∙ share

read it
A Parameterized View on Multi-Layer Cluster Editing

In classical Cluster Editing we seek to transform a given graph into a d...
09/26/2017 ∙ by Jiehua Chen, et al. ∙ 0 ∙ share

read it
Network Optimization on Partitioned Pairs of Points

Given n pairs of points, S = {{p_1, q_1}, {p_2, q_2}, ..., {p_n, q_n}}, ...
10/02/2017 ∙ by Esther M. Arkin, et al. ∙ 0 ∙ share

read it
What Can Spatiotemporal Characteristics of Movements in RAMIS Tell Us?

Quantitative characterization of surgical movements can improve the qual...
10/16/2017 ∙ by Yarden Sharon, et al. ∙ 0 ∙ share

read it
A Condorcet-Consistent Participatory Budgeting Algorithm

The budget is the key means for effecting policy in democracies, yet its...
09/18/2017 ∙ by Ehud Shapiro, et al. ∙ 0 ∙ share

read it
New Algorithms for Minimizing the Weighted Number of Tardy Jobs On a Single Machine

In this paper we study the classical single machine scheduling problem w...
09/18/2017 ∙ by Danny Hermelin, et al. ∙ 0 ∙ share

read it
A Survey on Geographically Distributed Big-Data Processing using MapReduce

Hadoop and Spark are widely used distributed processing frameworks for l...
07/06/2017 ∙ by Shlomi Dolev, et al. ∙ 0 ∙ share

read it
Wiretap and Gelfand-Pinsker Channels Analogy and its Applications

A framework of analogy between wiretap channels (WTCs) and state-depende...
12/29/2017 ∙ by Ziv Goldfeld, et al. ∙ 0 ∙ share

read it
Seasonal Goods and Spoiled Milk: Pricing for a Limited Shelf-Life

We examine the case of items with a limited shelf-life where storing an ...
01/07/2018 ∙ by Atiyeh Ashari Ghomi, et al. ∙ 0 ∙ share

read it
Game of Drones - Detecting Streamed POI from Encrypted FPV Channel

Drones have created a new threat to people's privacy. We are now in an e...
01/09/2018 ∙ by Ben Nassi, et al. ∙ 0 ∙ share

read it
Asymptotically Optimal Scheduling Algorithm for Compute-and-Forward

Consider a Compute and Forward (CF) relay network with L users and a sin...
01/10/2018 ∙ by Ori Shmuel, et al. ∙ 0 ∙ share

read it
Asymptotically Optimal Scheduling for Compute-and-Forward

Consider a Compute and Forward (CF) relay network with L users and a sin...
01/10/2018 ∙ by Ori Shmuel, et al. ∙ 0 ∙ share

read it
Fault-Tolerant Hotelling Games

The n-player Hotelling game calls for each player to choose a point on t...
01/15/2018 ∙ by Chen Avin, et al. ∙ 0 ∙ share

read it
Secure Adaptive Group Testing

Group Testing (GT) addresses the problem of identifying a small subset o...
01/15/2018 ∙ by Alejandro Cohen, et al. ∙ 0 ∙ share

read it

Ben-Gurion University of the Negev

Featured Researchers