המחלקה למתמטיקה ולמדעי המחשב

  • !!Postal address

    إسرائيل

التصفية
منشور من مؤتمر

نتائج البحث

  • 2015

    Separation of Powers in the Cloud: Where Applications and Users Become Peers

    Lorenz, D. H. & Rosenan, B., أكتوبر 2015, Onward! 2015 - Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2015. Steele, G. L. & Murphy, G. C. (المحررون). Association for Computing Machinery, Inc, صفحة 76-89 14 صفحة (Onward! 2015 - Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2015).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Viral transcript alignment

    Sadeh, G., Wolf, L., Hassner, T., Dershowitz, N. & Ben-Ezra, D. S., 20 نوفمبر 2015, 13th IAPR International Conference on Document Analysis and Recognition, ICDAR 2015 - Conference Proceedings. IEEE Computer Society, صفحة 711-715 5 صفحة 7333854. (Proceedings of the International Conference on Document Analysis and Recognition, ICDAR; المجلد 2015-November).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Wide baseline stereo matching with convex bounded distortion constraints

    Galun, M., Amir, T., Hassner, T., Basri, R. & Lipman, Y., 17 فبراير 2015, 2015 International Conference on Computer Vision, ICCV 2015. Institute of Electrical and Electronics Engineers Inc., صفحة 2228-2236 9 صفحة 7410614. (Proceedings of the IEEE International Conference on Computer Vision; المجلد 2015 International Conference on Computer Vision, ICCV 2015).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر
  • 2014

    A piggyback representation for action recognition

    Wolf, L., Hanani, Y. & Hassner, T., 24 سبتمبر 2014, Proceedings - 2014 IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2014. IEEE Computer Society, صفحة 520-525 6 صفحة 6910030. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • A privacy-preserving algorithm for distributed constraint optimization

    Grinshpoun, T. & Tassa, T., 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), صفحة 909-916 8 صفحة (13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014; المجلد 2).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Conclusions from comparing genetic algorithms for U-shaped assembly line balancing

    Meltser, A., Cohen, Y. & Avigal, M., 2014, IIE Annual Conference and Expo 2014. Institute of Industrial Engineers, صفحة 524-528 5 صفحة (IIE Annual Conference and Expo 2014).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Distributed computing building blocks for rational agents

    Afek, Y., Ginzberg, Y., Landau Feibish, S. & Sulamy, M., 2014, PODC 2014 - Proceedings of the 2014 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, صفحة 406-415 10 صفحة (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Efficient and enhanced solutions for content sharing in DRM systems

    Davidson, M., Gudes, E. & Tassa, T., 2014, Data and Applications Security and Privacy XXVIII - 28th Annual IFIP WG 11.3 Working Conference, DBSec 2014, Proceedings. Springer Verlag, صفحة 373-381 9 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 8566 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Expanders with respect to hadamard spaces and random graphs

    Mendel, M. & Naor, A., 2014, ITCS 2014 - Proceedings of the 2014 Conference on Innovations in Theoretical Computer Science. Association for Computing Machinery, صفحة 353-358 6 صفحة (ITCS 2014 - Proceedings of the 2014 Conference on Innovations in Theoretical Computer Science).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Improved approximation algorithm for steiner κ-Forest with nearly uniform weights

    Dinitz, M., Kortsarz, G. & Nutov, Z., 1 سبتمبر 2014, Leibniz International Proceedings in Informatics, LIPIcs. Jansen, K., Rolim, J. D. P., Devanur, N. R. & Moore, C. (المحررون). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, صفحة 115-127 13 صفحة (Leibniz International Proceedings in Informatics, LIPIcs; المجلد 28).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • On fixed cost k-flow problems

    Hajiaghayi, M., Khandekar, R., Kortsarz, G. & Nutov, Z., 2014, Approximation and Online Algorithms - 11th International Workshop, WAOA 2013, Revised Selected Papers. Springer Verlag, صفحة 49-60 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 8447 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Privacy preserving estimation of social influence

    Tassa, T. & Bonchi, F., 2014, Advances in Database Technology - EDBT 2014: 17th International Conference on Extending Database Technology, Proceedings. Leroy, V., Christophides, V., Christophides, V., Idreos, S., Kementsietsidis, A., Garofalakis, M. & Amer-Yahia, S. (المحررون). OpenProceedings.org, University of Konstanz, University Library, صفحة 559-570 12 صفحة (Advances in Database Technology - EDBT 2014: 17th International Conference on Extending Database Technology, Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Towards Characterizing the Deterministic Combinatorial Constrained Efficient Space

    Gonen, R. & Lerner, A., مايو 2014, The Fair Allocation in Multiagent Systems (FAMAS) workshop.

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Versionable, Branchable, and Mergeable Application State

    Lorenz, D. H. & Rosenan, B., أكتوبر 2014, Onward! 2014 - Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2014. Association for Computing Machinery, صفحة 29-42 14 صفحة (Onward! 2014 - Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2014).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 2013

    Accurate profiling of microbial communities from massively parallel sequencing using convex optimization

    Zuk, O., Amir, A., Zeisel, A., Shamir, O. & Shental, N., 2013, String Processing and Information Retrieval - 20th International Symposium, SPIRE 2013, Proceedings. Springer Verlag, صفحة 279-297 19 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 8214 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • A critical review of action recognition benchmarks

    Hassner, T., 2013, Proceedings - 2013 IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2013. صفحة 245-250 6 صفحة 6595882. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • An equivalence between network coding and index coding

    Effros, M., El Rouayheb, S. & Langberg, M., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 967-971 5 صفحة 6620370. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • A node-capacitated okamura-seymour theorem

    Lee, J. R., Mendel, M. & Moharrami, M., 2013, STOC 2013 - Proceedings of the 2013 ACM Symposium on Theory of Computing. صفحة 495-504 10 صفحة (Proceedings of the Annual ACM Symposium on Theory of Computing).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Automated signature extraction for high volume attacks

    Afek, Y., Bremler-Barr, A. & Landau Feibish, S., 2013, ANCS 2013 - Proceedings of the 9th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. IEEE Computer Society, صفحة 147-156 10 صفحة 6665197. (ANCS 2013 - Proceedings of the 9th ACM/IEEE Symposium on Architectures for Networking and Communications Systems).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Automating the transformation from a prototype to a method of assembly

    Cohen, Y., Singer, G., Golan, M. & Goren-Bar, D., 2013, Innovations and Advances in Computer, Information, Systems Sciences, and Engineering. صفحة 99-106 8 صفحة (Lecture Notes in Electrical Engineering; المجلد 152 LNEE).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Examining at a Distance - how does it work?

    Gal-Ezer, J., Vilner, T. & Zur, E., 2013, European Distance and e-Learning Network Annual Conference (EDEN 2013) : The Joy of Learning – Enhancing Learning Experience, Improving Learning Quality. صفحة 429-435

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • H-wise independence

    Haviv, I. & Langberg, M., 2013, ITCS 2013 - Proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science. صفحة 541-551 11 صفحة (ITCS 2013 - Proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Information-theoretic study of voting systems

    Yaakobi, E., Langberg, M. & Bruck, J., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 1087-1091 5 صفحة 6620394. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Joint rewriting and error correction in write-once memories

    Jiang, A. A., Li, Y., Gad, E. E., Langberg, M. & Bruck, J., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 1067-1071 5 صفحة 6620390. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Local graph coloring and index coding

    Shanmugam, K., Dimakis, A. G. & Langberg, M., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 1152-1156 5 صفحة 6620407. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • On a capacity equivalence between network and index coding and the edge removal problem

    Wong, M. F., Langberg, M. & Effros, M., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 972-976 5 صفحة 6620371. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • On capacity planning for multi-stage multi model production lines with parallel machines

    Cohen, Y., 2013, 7th IFAC Conference on Manufacturing Modelling, Management, and Control, MIM 2013 - Proceedings. 9 طبعة IFAC Secretariat, صفحة 851-856 6 صفحة (IFAC Proceedings Volumes (IFAC-PapersOnline); المجلد 46, رقم 9).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • On secure network coding with uniform wiretap sets

    Huang, W., Ho, T., Langberg, M. & Kliewer, J., 2013, 2013 International Symposium on Network Coding, NetCod 2013. 6570814. (2013 International Symposium on Network Coding, NetCod 2013).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • On syntactic anonymity and differential privacy

    Clifton, C. & Tassa, T., 2013, 2013 IEEE 29th International Conference on Data Engineering Workshops, ICDEW 2013. صفحة 88-93 6 صفحة 6547433. (Proceedings - International Conference on Data Engineering).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Outer bounds and a functional study of the edge removal problem

    Lee, E. J., Langberg, M. & Effros, M., 2013, 2013 IEEE Information Theory Workshop, ITW 2013. 6691271. (2013 IEEE Information Theory Workshop, ITW 2013).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Routing for security in networks with adversarial nodes

    Che, P. H., Chen, M., Ho, T., Jaggi, S. & Langberg, M., 2013, 2013 International Symposium on Network Coding, NetCod 2013. 6570834. (2013 International Symposium on Network Coding, NetCod 2013).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Sequence reconstruction for Grassmann graphs and permutations

    Yaakobi, E., Schwartz, M., Langberg, M. & Bruck, J., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 874-878 5 صفحة 6620351. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Simple Rectilinear Polygons are Perfect under Rectangular Vision

    Arkin, E., Biro, M., Filtser, O., Katz, M. J., Mitchell, J. S. B. & Schmidt, C., 2013, 23rd Fall Workshop on Computational Geometry 2013.

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Source code management for projectional editing

    Lorenz, D. & Rosenan, B., 2013, SPLASH 2013 - Proceedings of the 2013 Companion Publication for Conference on Systems, Programming, and Applications: Software for Humanity. Association for Computing Machinery, صفحة 83-84 2 صفحة (SPLASH 2013 - Proceedings of the 2013 Companion Publication for Conference on Systems, Programming, and Applications: Software for Humanity).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Transforming computer science in schools

    Stephenson, C., Gal-Ezer, J., Humphreys, S. & King, J., 2013, ITiCSE 2013 - Proceedings of the ACM Conference on Innovation and Technology in Computer Science Education. صفحة 309-310 2 صفحة (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Viewing real-world faces in 3D

    Hassner, T., 2013, Proceedings - 2013 IEEE International Conference on Computer Vision, ICCV 2013. Institute of Electrical and Electronics Engineers Inc., صفحة 3607-3614 8 صفحة 6751560. (Proceedings of the IEEE International Conference on Computer Vision).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • What (else) should CS educators know? - Revisited

    Gal-Ezer, J. & Zur, E., 2013, WiPSCE 2013 - 8th Workshop in Primary and Secondary Computing Education, Proceedings. Association for Computing Machinery, صفحة 83-86 4 صفحة (ACM International Conference Proceeding Series).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Zero vs. ε error in interference channels

    Levi, I., Vilenchik, D., Langberg, M. & Effros, M., 2013, 2013 IEEE Information Theory Workshop, ITW 2013. 6691281. (2013 IEEE Information Theory Workshop, ITW 2013).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر
  • 2012

    A characterization of the number of subsequences obtained via the deletion channel

    Liron, Y. & Langberg, M., 2012, 2012 IEEE International Symposium on Information Theory Proceedings, ISIT 2012. صفحة 503-507 5 صفحة 6284240. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • A Debug Interface for Debugging Multiple Domain Specific Aspect Languages

    Apter, Y., Lorenz, D. & Mishali, O., مارس 2012, Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development (AOSD '12). Potsdam, Germany: Association for Computing Machinery, صفحة 47-58 12 صفحة (AOSD'12 - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Approximating minimum power edge-multi-covers

    Cohen, N. & Nutov, Z., 2012, Computer Science - Theory and Applications - 7th International Computer Science Symposium in Russia, CSR 2012, Proceedings. صفحة 64-75 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7353 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Approximating subset k-connectivity problems

    Nutov, Z., 2012, Approximation and Online Algorithms - 9th International Workshop, WAOA 2011, Revised Selected Papers. صفحة 9-20 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7164 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Coded cooperative data exchange problem for general topologies

    Gonen, M. & Langberg, M., 2012, 2012 IEEE International Symposium on Information Theory Proceedings, ISIT 2012. صفحة 2606-2610 5 صفحة 6283990. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Column generation approach for planning the operation of reconfigurable production line segments with bideractional conveyance system

    Cohen, Y. & Delorme, X., 2012, Proceedings - INCOM'12, 14th IFAC Symposium on Information Control Problems in Manufacturing. PART 1 طبعة IFAC Secretariat, صفحة 432-437 6 صفحة (IFAC Proceedings Volumes (IFAC-PapersOnline); المجلد 14, رقم PART 1).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Crosscutting Revision Control System

    Ifrah, S. & Lorenz, D., يونيو 2012, Proceedings of the 34th International Conference on Software Engineering (ICSE'12). IEEE Computer Society, صفحة 321-330 10 صفحة 6227182. (Proceedings - International Conference on Software Engineering).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Degree-constrained node-connectivity

    Nutov, Z., 2012, LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Proceedings. صفحة 582-593 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7256 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Grand challenges in primary and secondary computing education

    Gal-Ezer, J., 2012, Proceedings - 7th Workshop in Primary and Secondary Computing Education, WiPSCE 2012. صفحة 1-2 2 صفحة (ACM International Conference Proceeding Series).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Improved upper bounds on the capacity of binary channels with causal adversaries

    Dey, B. K., Jaggi, S., Langberg, M. & Sarwate, A. D., 2012, 2012 IEEE International Symposium on Information Theory Proceedings, ISIT 2012. صفحة 681-685 5 صفحة 6284300. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • Integrating video components in CS1

    Vilner, T., Zur, E. & Sagi, R., 2012, SIGCSE'12 - Proceedings of the 43rd ACM Technical Symposium on Computer Science Education. صفحة 123-128 6 صفحة (SIGCSE'12 - Proceedings of the 43rd ACM Technical Symposium on Computer Science Education).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Israel: The regional competition and teacher involvement

    Zur, E., Benaya, T., Becker, O. & Ginat, D., 2012, Olympiads in Informatics - Selected Papers of the International Conference Joint with the 24th International Olympiad in Informatics, IOI 2012. Vilnius University, صفحة 218-225 8 صفحة (Olympiads in Informatics; المجلد 6).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء