Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Naveh, Yehuda"'
Autor:
Azses, Daniel, Haenel, Rafael, Naveh, Yehuda, Raussendorf, Robert, Sela, Eran, Torre, Emanuele G. Dalla
Publikováno v:
Phys. Rev. Lett. 125, 120502 (2020)
Identifying topological properties is a major challenge because, by definition, topological states do not have a local order parameter. While a generic solution to this challenge is not available yet, a broad class of topological states, namely symme
Externí odkaz:
http://arxiv.org/abs/2002.04620
Autor:
Naveh, Yehuda, Rimon, Michal, Jaeger, Itai, Katz, Yoav, Vinov, Michael, Marcu, Eitan s, Shurek, Gil
Publikováno v:
AI Magazine; Vol 28, No 3: Fall 2007; 13
We report on random stimuli generation for hardware verification at IBM as a major applica-tion of various artificial intelligence technologies, including knowledge representation, expert systems, and constraint satisfaction. For more than a decade w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn07384602::4a8a6a985174d1133722cc03d11b6126
http://aaai.org/ojs/index.php/aimagazine/article/view/2052
http://aaai.org/ojs/index.php/aimagazine/article/view/2052
Publikováno v:
Proceedings of the 19th ACM SIGKDD International Conference Knowledge Discovery & Data Mining; 8/11/2013, p1159-1167, 9p
Publikováno v:
Proceedings of the 21st International Conference on Pattern Recognition (ICPR2012); 1/ 1/2012, p3590-3593, 4p
Publikováno v:
IEEE Transactions on Applied Superconductivity. Mar2001 Part 1 of 3, Vol. 11 Issue 1, p1056. 5p. 1 Diagram, 3 Graphs.
Autor:
Naveh, Yehuda
Publikováno v:
Theory & Applications of Satisfiability Testing - Sat 2010; 2010, p1-7, 7p
Autor:
Naveh, Yehuda
Publikováno v:
Integration of AI & OR Techniques in Constraint Programming for Combinatorial Optimization Problems (9783540681540); 2008, p349-354, 6p
Publikováno v:
2007 IEEE International Conference on Service Operations & Logistics & Informatics; 2007, p1-6, 6p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Van Hentenryck, Pascal, Wolsey, Laurence, Sabato, Sivan, Naveh, Yehuda
Publikováno v:
Integration of AI & OR Techniques in Constraint Programming for Combinatorial Optimization Problems (9783540723967); 2007, p244-259, 16p