Search Results for author:
Found 3 papers, 1 papers with code
Automated Repair of Neural Networks
Our method is able to search for a new, safe NN representation, by modifying only a few of its weight values.
A combination of 'pooling' with a prediction model can reduce by 73% the number of COVID-19 (Corona-virus) tests
We show that combining a prediction model (based on neural networks), with a new method of test pooling (better than the original Dorfman method, and better than double-pooling) called 'Grid', we can reduce the number of Covid-19 tests by 73%.
The impact of Entropy and Solution Density on selected SAT heuristics
In a recent article [Oh'15], Oh examined the impact of various key heuristics (e. g., deletion strategy, restart policy, decay factor, database reduction) in competitive SAT solvers.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
