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

מסנן
פרסום בספר כנס

תוצאות חיפוש

  • 2010

    Dynamic model evolution

    Hen-Tov, A., Lorenz, D., Nikolaev, L., Schachter, L., Wirfs-Brock, R. & Yoder, J. W., 2010, PLoP 2010 - 17th Conference on Pattern Languages of Programs, Proceedings. 16. (ACM International Conference Proceeding Series).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • f-Sensitivity distance oracles and routing schemes

    Chechik, S., Langberg, M., Peleg, D. & Roditty, L., 2010, Algorithms, ESA 2010 - 18th Annual European Symposium, Proceedings. PART 1 מהדורה עמוד 84-96 13 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 6346 LNCS, מס' PART 1).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Individual and group seminars and workshops in the Computer Science curriculum

    Benaya, T., Herman, M., Shahak, D. & Zur, E., 2010, ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education. עמוד 53-57 5 עמוד (ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Network codes resilient to jamming and eavesdropping

    Yao, H., Silva, D., Jaggi, S. & Langberg, M., 2010, 2010 IEEE International Symposium on Network Coding, NetCod 2010. עמוד 31-36 6 עמוד 5487669. (2010 IEEE International Symposium on Network Coding, NetCod 2010).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • On a construction for constant-weight gray codes for local rank modulation

    Gad, E. E., Langberg, M., Schwartz, M. & Bruck, J., 2010, 2010 IEEE 26th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2010. עמוד 996 1 עמוד 5661923. (2010 IEEE 26th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2010).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • One-shot capacity of discrete channels

    Costa, R. A., Langberg, M. & Barros, J., 2010, 2010 IEEE International Symposium on Information Theory, ISIT 2010 - Proceedings. עמוד 211-215 5 עמוד 5513244. (IEEE International Symposium on Information Theory - Proceedings).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Prize-collecting Steiner network problems

    Hajiaghayi, M. T., Khandekar, R., Kortsarz, G. & Nutov, Z., 2010, Integer Programming and Combinatorial Optimization - 14th International Conference, IPCO 2010, Proceedings. Springer Verlag, עמוד 71-84 14 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 6080 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Professional associations in K-12 computer science

    Stephenson, C., Gal-Ezer, J., Philipps, M. & Vahrenhold, J., 2010, ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education. עמוד 329-330 2 עמוד (ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Realtime classification for encrypted traffic

    Bar-Yanai, R., Langberg, M., Peleg, D. & Roditty, L., 2010, Experimental Algorithms - 9th International Symposium, SEA 2010, Proceedings. עמוד 373-385 13 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 6049 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Similarity scores based on background samples

    Wolf, L., Hassner, T. & Taigman, Y., 2010, Computer Vision, ACCV 2009 - 9th Asian Conference on Computer Vision, Revised Selected Papers. PART 2 מהדורה עמוד 88-97 10 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5995 LNCS, מס' PART 2).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Software design course for leading CS in-service teachers

    Brandes, O., Vilner, T. & Zur, E., 2010, Teaching Fundamental Concepts of Informatics - 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Proceedings. עמוד 49-60 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5941 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Towards a calculus for non-linear spectral gaps

    Mendel, M. & Naor, A., 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. עמוד 236-255 20 עמוד (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Transition network for automation modeling: A case study

    Cohen, Y., Wang, M. E. & Bidanda, B., 2010, Technological Developments in Networking, Education and Automation. Kluwer Academic Publishers, עמוד 187-192 6 עמוד (Technological Developments in Networking, Education and Automation).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Universal ε-approximators for integrals

    Langberg, M. & Schulman, L. J., 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery (ACM), עמוד 598-607 10 עמוד (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • 2009

    A general framework for approximate nearest subspace search

    Basri, R., Hassner, T. & Zelnik-Manor, L., 2009, 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009. עמוד 109-116 8 עמוד 5457710. (2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • An almost O(log k)-approximation for k-connected subgraphs

    Nutov, Z., 2009, Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery, עמוד 912-921 10 עמוד (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • An interpretive domain specific language workbench

    Hen-Tov, A., Lorenz, D. & Schachter, L., 2009, OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. עמוד 751-752 2 עמוד (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Approximating Fault-Tolerant Group-Steiner problems

    Khandekar, R., Kortsarz, G. & Nutov, Z., 2009, Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009 - 29th Annual Conference, Proceedings. עמוד 263-274 12 עמוד (Leibniz International Proceedings in Informatics, LIPIcs; כרך 4).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Approximating minimum cost connectivity problems via uncrossable bifamilies and spider-cover decompositions

    Nutov, Z., 2009, Proceedings - 50th Annual Symposium on Foundations of Computer Science, FOCS 2009. עמוד 417-426 10 עמוד 5438613. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Approximating node-connectivity augmentation problems

    Nutov, Z., 2009, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 12th International Workshop, APPROX 2009 and 13th International Workshop, RANDOM 2009, Proceedings. עמוד 286-297 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5687 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Approximating some network design problems with node costs

    Kortsarz, G. & Nutov, Z., 2009, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 12th International Workshop, APPROX 2009 and 13th International Workshop, RANDOM 2009, Proceedings. עמוד 231-243 13 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5687 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Binary causal-adversary channels

    Langberg, M., Jaggi, S. & Dey, B. K., 2009, 2009 IEEE International Symposium on Information Theory, ISIT 2009. עמוד 2723-2727 5 עמוד 5205859. (IEEE International Symposium on Information Theory - Proceedings).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Codes against online adversaries

    Dey, B. K., Jaggi, S. & Langberg, M., 2009, 2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009. עמוד 1169-1176 8 עמוד 5394553. (2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Communicating the sum of sources in a 3-sources/3-terminals network

    Langberg, M. & Ramamoorthy, A., 2009, 2009 IEEE International Symposium on Information Theory, ISIT 2009. עמוד 2121-2125 5 עמוד 5205758. (IEEE International Symposium on Information Theory - Proceedings).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Compass enhanced ORRP for wireless sensor networks

    Lerner, A. & Miliavsky, V., 2009, PM2HW2N'09 - Proceedings of the 4th ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks. עמוד 1-8 8 עמוד (PM2HW2N'09 - Proceedings of the 4th ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Compressed sensing approach for high throughput carrier screen

    Erlich, Y., Shental, N., Amir, A. & Zuk, O., 2009, 2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009. עמוד 539-544 6 עמוד 5394904. (2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Computer science issues in high school: Gender and more....

    Gal-Ezer, J., Shahak, D. & Zur, E., 2009, ITiCSE-2009 - Proceedings of the 2009 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education. עמוד 278-282 5 עמוד (Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Data movement in flash memories

    Jiang, A., Langberg, M., Mateescu, R. & Bruck, J., 2009, 2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009. עמוד 1031-1038 8 עמוד 5394879. (2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Efficient anonymizations with enhanced utility

    Goldberger, J. & Tassa, T., 2009, ICDM Workshops 2009 - IEEE International Conference on Data Mining. עמוד 106-113 8 עמוד 5360517. (ICDM Workshops 2009 - IEEE International Conference on Data Mining).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • FairE9: Fair file distribution over mesh-only peer-to-peer

    Zohar, E. & Lerner, A., 2009, GLOBECOM 2009 - 2009 IEEE Global Telecommunications Conference. 5425555. (GLOBECOM - IEEE Global Telecommunications Conference).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Fault-tolerant spanners for general graphs

    Chechik, S., Langberg, M., Peleg, D. & Roditty, L., 2009, STOC'09 - Proceedings of the 2009 ACM International Symposium on Theory of Computing. עמוד 435-444 10 עמוד (Proceedings of the Annual ACM Symposium on Theory of Computing).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Generalized substring compression

    Keller, O., Kopelowitz, T., Landau, S. & Lewenstein, M., 2009, Annual Symposium on Combinatorial Pattern Matching. עמוד 26-38 13 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5577 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Has the paradigm shift in CS1 a harmful effect on data structures courses: A case study

    Gal-Ezer, J., Vilner, T. & Zur, E., 2009, SIGCSE'09 - Proceedings of the 40th ACM Technical Symposium on Computer Science Education. עמוד 126-130 5 עמוד (SIGCSE'09 - Proceedings of the 40th ACM Technical Symposium on Computer Science Education).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Improved approximating algorithms for Directed Steiner Forest

    Feldman, M., Kortsarz, G. & Nutov, Z., 2009, Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms. עמוד 922-931 10 עמוד (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Improved approximation algorithms for maximum lifetime problems in wireless networks

    Nutov, Z. & Segal, M., 2009, Algorithmic Aspects of Wireless Sensor Networks - 5th International Workshop, ALGOSENSORS 2009, Revised Selected Papers. עמוד 41-51 11 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5804 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • ModelTalk: A DSL workbench in action

    Hen-Tov, A., Lorenz, D. & Schachter, L., 2009, OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. עמוד 799 1 עמוד (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Multiple one-shots for utilizing class label information

    Taigman, Y., Wolf, L. & Hassner, T., 2009, British Machine Vision Conference, BMVC 2009 - Proceedings. British Machine Vision Association, BMVA, (British Machine Vision Conference, BMVC 2009 - Proceedings).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • On the multiple unicast network coding conjecture

    Langberg, M. & Médard, M., 2009, 2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009. עמוד 222-227 6 עמוד 5394800. (2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Preparation of high school computer science teachers: The Israeli perspective

    Gal-Ezer, J., Hazzan, O. & Ragonis, N., 2009, SIGCSE'09 - Proceedings of the 40th ACM Technical Symposium on Computer Science Education. עמוד 269-270 2 עמוד (SIGCSE'09 - Proceedings of the 40th ACM Technical Symposium on Computer Science Education).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • The one-shot similarity kernel

    Wolf, L., Hassner, T. & Taigman, Y., 2009, 2009 IEEE 12th International Conference on Computer Vision, ICCV 2009. עמוד 897-902 6 עמוד 5459323. (Proceedings of the IEEE International Conference on Computer Vision).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • The professor on your PC: A virtual CS1 course

    Gal-Ezer, J., Vilner, T. & Zur, E., 2009, ITiCSE-2009 - Proceedings of the 2009 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education. עמוד 191-195 5 עמוד (Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Using sliding frame approach for scheduling large and complex projects

    Sadeh, A., Cohen, Y. & Zwikael, O., 2009, IEEM 2009 - IEEE International Conference on Industrial Engineering and Engineering Management. עמוד 1499-1502 4 עמוד 5373078. (IEEM 2009 - IEEE International Conference on Industrial Engineering and Engineering Management).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • 2008

    Adversarial models and resilient schemes for network coding

    Nutman, L. & Langberg, M., 2008, Proceedings - 2008 IEEE International Symposium on Information Theory, ISIT 2008. עמוד 171-175 5 עמוד 4594970. (IEEE International Symposium on Information Theory - Proceedings).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • A model for high school computer science education: The four key elements that make it

    Hazzan, O., Gal-Ezer, J. & Blum, L., 2008, SIGCSE'08 - Proceedings of the 39th ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, עמוד 281-285 5 עמוד (SIGCSE'08 - Proceedings of the 39th ACM Technical Symposium on Computer Science Education).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • A modeling technique for execution and simulation of discrete automation

    Cohen, Y., Wang, M. E. & Bidanda, B., 2008, Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics. עמוד 273-277 5 עמוד (Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • AMSQM: Adaptive multiple super-page queue management

    Itshak, M. & Wiseman, Y., 2008, 2008 IEEE International Conference on Information Reuse and Integration, IEEE IRI-2008. עמוד 52-57 6 עמוד 4583004. (2008 IEEE International Conference on Information Reuse and Integration, IEEE IRI-2008).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Approximating directed weighted-degree constrained networks

    Nutov, Z., 2008, Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques - 11th International Workshop, APPROX 2008 and 12th International Workshop, RANDOM 2008, Proceedings. עמוד 219-232 14 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5171 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Approximating maximum integral flows in wireless sensor networks via weighted-degree constrained k-flows

    Nutov, Z., 2008, DIALM-POMC'08: Proceedings of the ACM 5th International Workshop on Foundations of Mobile Computing. עמוד 29-33 5 עמוד (DIALM-POMC'08: Proceedings of the ACM 5th International Workshop on Foundations of Mobile Computing).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

    גישה חופשית
  • Approximating maximum subgraphs without short cycles

    Kortsarz, G., Langberg, M. & Nutov, Z., 2008, Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques - 11th International Workshop, APPROX 2008 and 12th International Workshop, RANDOM 2008, Proceedings. עמוד 118-131 14 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5171 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

  • Approximating minimum-power degree and connectivity problems

    Kortsarz, G., Mirrokni, V. S., Nutov, Z. & Tsanko, E., 2008, LATIN 2008: Theoretical Informatics - 8th Latin American Symposium, Proceedings. Springer Verlag, עמוד 423-435 13 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 4957 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים