Nina Narodytska
Nina Narodytska
VMware Research
Email verificata su vmware.com - Home page
Titolo
Citata da
Citata da
Anno
Simple black-box adversarial perturbations for deep networks
N Narodytska, SP Kasiviswanathan
arXiv preprint arXiv:1612.06299, 2016
164*2016
Maximum satisfiability using core-guided MaxSAT resolution
N Narodytska, F Bacchus
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
1082014
Complexity of and algorithms for Borda manipulation
J Davies, G Katsirelos, N Narodytska, T Walsh
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
872011
Circuit complexity and decompositions of global constraints
C Bessiere, G Katsirelos, N Narodytska, T Walsh
Twenty-First International Joint Conference on Artificial Intelligence, 2009
662009
Verifying properties of binarized deep neural networks
N Narodytska, S Kasiviswanathan, L Ryzhyk, M Sagiv, T Walsh
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
652018
Encodings of the Sequence Constraint
S Brand, N Narodytska, CG Quimper, P Stuckey, T Walsh
International conference on principles and practice of constraint …, 2007
632007
Flow-based propagators for the SEQUENCE and related global constraints
M Maher, N Narodytska, CG Quimper, T Walsh
International conference on principles and practice of constraint …, 2008
532008
Constraint acquisition via partial queries
C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ...
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
522013
Strategic behavior when allocating indivisible goods sequentially
T Kalinowski, N Narodytska, T Walsh, L Xia
Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
442013
Decompositions of all different, global cardinality and related constraints
C Bessiere, G Katsirelos, N Narodytska, CG Quimper, T Walsh
Twenty-First International Joint Conference on Artificial Intelligence, 2009
442009
A social welfare optimal sequential allocation procedure
T Kalinowski, N Narodytska, T Walsh
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
392013
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems.
N Narodytska, T Walsh
IJCAI, 149-154, 2007
392007
Automated verification of neural networks: Advances, challenges and perspectives
F Leofante, N Narodytska, L Pulina, A Tacchella
arXiv preprint arXiv:1805.09938, 2018
332018
The computational impact of partial votes on strategic voting
N Narodytska, T Walsh
arXiv preprint arXiv:1405.7714, 2014
312014
On the complexity and completeness of static constraints for breaking row and column symmetry
G Katsirelos, N Narodytska, T Walsh
International Conference on Principles and Practice of Constraint …, 2010
292010
Configuration
C Sinz, A Haag, N Narodytska, T Walsh, E Gelle, M Sabin, U Junker, ...
IEEE Intelligent Systems 22 (1), 78-90, 2007
282007
Manipulation of Nanson's and Baldwin's rules
N Narodytska, T Walsh, L Xia
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
272011
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules
J Davies, G Katsirelos, N Narodytska, T Walsh, L Xia
Artificial Intelligence 217, 20-42, 2014
262014
Controlling elections by replacing candidates or votes
A Loreggia, N Narodytska, F Rossi, KB Venable, T Walsh
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
252015
Decomposition of the NValue Constraint
C Bessiere, G Katsirelos, N Narodytska, CG Quimper, T Walsh
International Conference on Principles and Practice of Constraint …, 2010
232010
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20