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

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

תוצאות חיפוש

  • 2012

    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).

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

  • Language-oriented modularity through awesome DSALs: Summary of invited talk

    Lorenz, D. H., 2012, DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages. עמוד 1-2 2 עמוד (DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages).

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

  • Motion interchange patterns for action recognition in unconstrained videos

    Kliper-Gross, O., Gurovich, Y., Hassner, T. & Wolf, L., 2012, Computer Vision, ECCV 2012 - 12th European Conference on Computer Vision, Proceedings. PART 6 מהדורה עמוד 256-269 14 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 7577 LNCS, מס' PART 6).

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

    גישה חופשית
  • On linear index coding for random graphs

    Haviv, I. & Langberg, M., 2012, 2012 IEEE International Symposium on Information Theory Proceedings, ISIT 2012. עמוד 2231-2235 5 עמוד 6283850. (IEEE International Symposium on Information Theory - Proceedings).

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

    גישה חופשית
  • On SIFTs and their scales

    Hassner, T., Mayzels, V. & Zelnik-Manor, L., 2012, 2012 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2012. עמוד 1522-1528 7 עמוד 6247842. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

  • Scheduling of vehicles in transportation networks

    Kowalski, D., Nutov, Z. & Segal, M., 2012, Communication Technologies for Vehicles - 4th International Workshop, Nets4Cars/Nets4Trains 2012, Proceedings. עמוד 124-136 13 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 7266 LNCS).

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

  • Source coding for dependent sources

    Langberg, M. & Effros, M., 2012, 2012 IEEE Information Theory Workshop, ITW 2012. עמוד 70-74 5 עמוד 6404766. (2012 IEEE Information Theory Workshop, ITW 2012).

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

  • SPECTACKLE: Toward a specification-based DSAL composition process

    Lorenz, D. H. & Mishali, O., 2012, DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages. עמוד 9-13 5 עמוד (DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages).

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

  • Steiner forest orientation problems

    Cygan, M., Kortsarz, G. & Nutov, Z., 2012, Algorithms, ESA 2012 - 20th Annual European Symposium, Proceedings. עמוד 361-372 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 7501 LNCS).

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

    גישה חופשית
  • Survivable network activation problems

    Nutov, Z., 2012, LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Proceedings. עמוד 594-605 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 7256 LNCS).

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

  • The new CSTA K - 12 computer science standards

    Cooper, S., Boucher Owens, B., Stephenson, C. & Gal-Ezer, J., 2012, ITiCSE'12 - Proceedings of the ACM Conference on Innovation and Technology in Computer Science Education. עמוד 363-364 2 עמוד (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

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

  • Violent flows: Real-time detection of violent crowd behavior

    Hassner, T., Itcher, Y. & Kliper-Gross, O., 2012, 2012 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2012. עמוד 1-6 6 עמוד 6239348. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops).

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

  • 2011

    A (1 + ln 2)-approximation algorithm for minimum-cost 2-edge-connectivity augmentation of trees with constant radius

    Cohen, N. & Nutov, Z., 2011, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 14th International Workshop, APPROX 2011 and 15th International Workshop, RANDOM 2011, Proceedings. עמוד 147-157 11 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 6845 LNCS).

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

    גישה חופשית
  • Absenteeism as a major cause of bottlenecks in serial production processes

    Cohen, Y., 2011, 21st International Conference on Production Research: Innovation in Product and Production, ICPR 2011 - Conference Proceedings. Krause, T., Spath, D. & Ilg, R. (עורכים). Fraunhofer-Verlag, (21st International Conference on Production Research: Innovation in Product and Production, ICPR 2011 - Conference Proceedings).

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

  • A Case Study of Language Oriented Programming with Cedalion: (Extended Abstract)

    Lorenz, D. H. & Rosenan, B., 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. עמוד 199-200 2 עמוד (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

  • Approximating survivable networks with minimum number of Steiner points

    Kamma, L. & Nutov, Z., 2011, Approximation and Online Algorithms - 8th International Workshop, WAOA 2010, Revised Papers. עמוד 154-165 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 6534 LNCS).

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

    גישה חופשית
  • A route card modeling technique for complex assembly

    Cohen, Y., 2011, 21st International Conference on Production Research: Innovation in Product and Production, ICPR 2011 - Conference Proceedings. Krause, T., Spath, D. & Ilg, R. (עורכים). Fraunhofer-Verlag, (21st International Conference on Production Research: Innovation in Product and Production, ICPR 2011 - Conference Proceedings).

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

  • A study on attitudes and emphases in computer science teacher preparation

    Ragonis, N., Hazzan, O. & Gal-Ezer, J., 2011, SIGCSE'11 - Proceedings of the 42nd ACM Technical Symposium on Computer Science Education. עמוד 559-564 6 עמוד (SIGCSE'11 - Proceedings of the 42nd ACM Technical Symposium on Computer Science Education).

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

  • A unified framework for approximating and clustering data

    Feldman, D. & Langberg, M., 2011, STOC'11 - Proceedings of the 43rd ACM Symposium on Theory of Computing. Association for Computing Machinery, עמוד 569-578 10 עמוד (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    גישה חופשית
  • Beating the Gilbert-Varshamov bound for online channels

    Haviv, I. & Langberg, M., 2011, 2011 IEEE International Symposium on Information Theory Proceedings, ISIT 2011. עמוד 1392-1396 5 עמוד 6033767. (IEEE International Symposium on Information Theory - Proceedings).

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

    גישה חופשית
  • Cedalion: A Language for Language Oriented Programming

    Lorenz, D. H. & Rosenan, B., אוק׳ 2011, OOPSLA'11 - Proceedings of the 26th ACM International Conference on Object Oriented Programming Systems Languages and Applications. 10 מהדורה כרך 46. עמוד 733-752 20 עמוד (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Cedalion 101: "I Want My DSL Now"

    Lorenz, D. H. & Rosenan, B., אוק׳ 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. עמוד 29-30 2 עמוד (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

  • Code reuse with language oriented programming

    Lorenz, D. & Rosenan, B., 1 יוני 2011, Proceedings of the 12th International Conference on Software Reuse (ICSR12). Springer Verlag, כרך 6727. עמוד 167-182 16 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 6727 LNCS).

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

  • Criteria for writing exams which reflect the K12 CS foundations study material

    Averbuch, H., Benaya, T. & Zur, E., 2011, Informatics in Schools: Contributing to 21st Century Education - 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2011, Proceedings. עמוד 225-235 11 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 7013 LNCS).

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

  • Dynamic Hook points

    Acherkan, E., Hen-Tov, A., Lorenz, D. H., Schachter, L., Wirfs-Brock, R. & Yoder, J. W., 5 אוק׳ 2011, AsianPLoP 2011 - 2nd Asian Conference on Pattern Languages of Programs, Proceedings. Association for Computing Machinery, a1. (ACM International Conference Proceeding Series; כרך 2011-October).

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

  • Estimation of a normal process variance from measurements with large round-off errors

    Diamanta, B. K., Ellite, D., Itai, R. & Edna, S., 2011, Recent Advances in Manufacturing Engineering - Proceedings of the 4th International Conference on Manufacturing Engineering, Quality and Production Systems, MEQAPS'11. עמוד 297-302 6 עמוד (International Conference on Manufacturing Engineering, Quality and Production Systems, MEQAPS - Proceedings).

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

  • Face recognition in unconstrained videos with matched background similarity

    Wolf, L., Hassner, T. & Maoz, I., 2011, 2011 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2011. IEEE Computer Society, עמוד 529-534 6 עמוד 5995566. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

  • Finding sparse solutions for the index coding problem

    Chaudhry, M. A. R., Asad, Z., Sprintson, A. & Langberg, M., 2011, 2011 IEEE Global Telecommunications Conference, GLOBECOM 2011. 6134497. (GLOBECOM - IEEE Global Telecommunications Conference).

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

  • Generalized Gray codes for local rank modulation

    En Gad, E., Langberg, M., Schwartz, M. & Bruck, J., 2011, 2011 IEEE International Symposium on Information Theory Proceedings, ISIT 2011. עמוד 874-878 5 עמוד 6034262. (IEEE International Symposium on Information Theory - Proceedings).

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

    גישה חופשית
  • Hyper-spectral and thermal images for evaluating nitrogen and water status in potato fields

    Cohen, Y., Alchanati, V., Rud, R., Rozen, C., Levi, O., Cohen, S. & Mhabari, Z., 2011, proceeding of the 8th European Conference on Precision Agriculture (ECPA): ECPA 2011. עמוד 99-108 10 עמוד

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

  • Identity obfuscation in graphs through the information theoretic lens

    Bonchi, F., Gionis, A. & Tassa, T., 2011, 2011 IEEE 27th International Conference on Data Engineering, ICDE 2011. עמוד 924-935 12 עמוד 5767905. (Proceedings - International Conference on Data Engineering).

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

  • Index coding with outerplanar side information

    Berliner, Y. & Langberg, M., 2011, 2011 IEEE International Symposium on Information Theory Proceedings, ISIT 2011. עמוד 806-810 5 עמוד 6034247. (IEEE International Symposium on Information Theory - Proceedings).

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

  • Integrating greenfoot into CS1 - A case study

    Vilner, T., Zur, E. & Tavor, S., 2011, ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. עמוד 350 1 עמוד (ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science).

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

  • Multimodal remote sensing for enhancing detection of spatial variability in agricultural fields

    Alchanatis, V., Cohen, A., Cohen, Y., Levi, O. & Naor, A., 2011, Spatial2 Conference: Spatial Data Methods for Environmental and Ecological Processes. Cafarelli, B. (עורך). Bergamo, עמוד 1-4 4 עמוד

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

  • Network coding: Is zero error always possible?

    Langberg, M. & Effros, M., 2011, 2011 49th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2011. עמוד 1478-1485 8 עמוד 6120342. (2011 49th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2011).

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

    גישה חופשית
  • Network-design with degree constraints

    Khandekar, R., Kortsarz, G. & Nutov, Z., 2011, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 14th International Workshop, APPROX 2011 and 15th International Workshop, RANDOM 2011, Proceedings. עמוד 289-301 13 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 6845 LNCS).

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

  • One shot similarity metric learning for action recognition

    Kliper-Gross, O., Hassner, T. & Wolf, L., 2011, Similarity-Based Pattern Recognition - First International Workshop, SIMBAD 2011, Proceedings. עמוד 31-45 15 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 7005 LNCS).

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

    גישה חופשית
  • On the complementary Index Coding problem

    Chaudhry, M. A. R., Asad, Z., Sprintson, A. & Langberg, M., 2011, 2011 IEEE International Symposium on Information Theory Proceedings, ISIT 2011. עמוד 244-248 5 עמוד 6034005. (IEEE International Symposium on Information Theory - Proceedings).

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

  • Pluggable aspect instantiation models

    Lorenz, D. & Trakhtenberg, V., 2011, Proceedings of the 10th International Symposium on Software Composition (SC'11). Springer Verlag, כרך 6708. עמוד 84-99 16 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 6708 LNCS).

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

  • The ink language meta-metamodel for adaptive object-model frameworks

    Acherkan, E., Hen-Tov, A., Lorenz, D. & Schachter, L., 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. עמוד 181-182 2 עמוד (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

  • Toward debugging programs written in multiple domain specific aspect languages

    Apter, Y., Lorenz, D. & Mishali, O., 1 מרץ 2011, Proceedings of the 6th Annual Workshop on Domain-Specific Aspect Languages, DSAL 2011. Association for Computing Machinery, עמוד 5-8 4 עמוד (Aspect-Oriented Software Development).

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

  • Using greenfoot in teaching inheritance in CS1

    Vilner, T., Zur, E. & Tavor, S., 2011, ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. עמוד 342 1 עמוד (ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science).

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

  • 2010

    A survey of computer science teacher preparation programs in Israel tells us: Computer science deserves a designated high school teacher preparation!

    Ragonis, N., Hazzan, O. & Gal-Ezer, J., 2010, SIGCSE'10 - Proceedings of the 41st ACM Technical Symposium on Computer Science Education. עמוד 401-405 5 עמוד (SIGCSE'10 - Proceedings of the 41st ACM Technical Symposium on Computer Science Education).

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

  • Automatic translation of a process level Petri-net to a ladder diagram

    Cohen, Y., Wang, M. E. & Bidanda, B., 2010, Advanced Techniques in Computing Sciences and Software Engineering. Springer Publishing Company, עמוד 25-29 5 עמוד (Advanced Techniques in Computing Sciences and Software Engineering).

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

  • Coding against delayed adversaries

    Dey, B. K., Jaggi, S., Langberg, M. & Sarwate, A. D., 2010, 2010 IEEE International Symposium on Information Theory, ISIT 2010 - Proceedings. עמוד 285-289 5 עמוד 5513325. (IEEE International Symposium on Information Theory - Proceedings).

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

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

    Langberg, M. & Ramamoorthy, A., 2010, 2010 IEEE International Symposium on Information Theory, ISIT 2010 - Proceedings. עמוד 1853-1857 5 עמוד 5513422. (IEEE International Symposium on Information Theory - Proceedings).

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

    גישה חופשית
  • Compressed sensing-based pooling experiments using next generation sequencing

    Shental, N., Amir, A. & Zuk, O., 2010, 2010 Information Theory and Applications Workshop, ITA 2010 - Conference Proceedings. עמוד 446-447 2 עמוד 5454087. (2010 Information Theory and Applications Workshop, ITA 2010 - Conference Proceedings).

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

  • Data movement and aggregation in flash memories

    Jiang, A., Langberg, M., Mateescu, R. & Bruck, J., 2010, 2010 IEEE International Symposium on Information Theory, ISIT 2010 - Proceedings. עמוד 1918-1922 5 עמוד 5513391. (IEEE International Symposium on Information Theory - Proceedings).

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

    גישה חופשית