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

  • !!Postal address

    إسرائيل

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

نتائج البحث

  • 2008

    ASOSI: Asymmetric Operating System Infrastructure

    Wiseman, Y., 2008, 21st ISCA International Conference on Parallel and Distributed Computing and Communication Systems, PDCCS 2008. Jacob, J. C. & Serpanos, D. (المحررون). International Society for Computers and Their Applications (ISCA), صفحة 193-198 6 صفحة (21st ISCA International Conference on Parallel and Distributed Computing and Communication Systems, PDCCS 2008).

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

  • Comparing Statistical Parametric Mapping of FDG-PET Brain Studies in Patients with and without Lung Cancer-An Inquiry into Tumor-to-Brain Communication

    Golan, H., Kennedy, JA., Israel, O., Frenkel, A., Parmet, Y., Feintuch, A., Levi, O. & Gidron, Y., 2008, EUROPEAN JOURNAL OF NUCLEAR MEDICINE AND MOLECULAR IMAGING. المجلد 35. صفحة S293-S293

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

  • Coordination and communication of cooperative parafoils for humanitarian aid

    Gurfil, P., Feldman, S. & Feldman, M., 2008, Technion Israel Institute of Technology - 48th Israel Annual Conference on Aerospace Sciences 2008. صفحة 379-415 37 صفحة (Technion Israel Institute of Technology - 48th Israel Annual Conference on Aerospace Sciences 2008; المجلد 1).

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

  • Eliminating the threat of kernel stack overflows

    Wiseman, Y., Isaacson, J. & Lubovsky, E., 2008, 2008 IEEE International Conference on Information Reuse and Integration, IEEE IRI-2008. صفحة 116-121 6 صفحة 4583015. (2008 IEEE International Conference on Information Reuse and Integration, IEEE IRI-2008).

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

    دخول حر
  • Inapproximability of survivable networks

    Lando, Y. & Nutov, Z., 2008, Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques - 11th International Workshop, APPROX 2008 and 12th International Workshop, RANDOM 2008, Proceedings. Springer Verlag, صفحة 146-152 7 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 5171 LNCS).

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

    دخول حر
  • K-anonymization revisited

    Gionis, A., Mazza, A. & Tassa, T., 2008, Proceedings of the 2008 IEEE 24th International Conference on Data Engineering, ICDE'08. صفحة 744-753 10 صفحة 4497483. (Proceedings - International Conference on Data Engineering).

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

  • Markov convexity and local rigidity of distorted metrics

    Mendel, M. & Naor, A., 2008, Proceedings of the 24th Annual Symposium on Computational Geometry 2008, SCG'08. صفحة 49-58 10 صفحة (Proceedings of the Annual Symposium on Computational Geometry).

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

    دخول حر
  • ModelTalk: A Framework for Developing Domain Specific Executable Models

    Hen-Tov, A., Lorenz, D. H. & Schachter, L., 1 أكتوبر 2008, Proceedings of the 8th OOPSLA Workshop on Domain-Specific Modeling (DSM'08). Gray, J., Sprinkle, J., Tolvanen, J-P. & Rossi, M. (المحررون). Nashville, TN: Association for Computing Machinery, صفحة 45-51 7 صفحة

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

  • Novel algorithms for the network lifetime problem in wireless settings

    Elkin, M., Lando, Y., Nutov, Z., Segal, M. & Shpungin, H., 2008, Ad-hoc, Mobile and Wireless Networks - 7th International Conference, ADHOC-NOW 2008, Proceedings. صفحة 425-438 14 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 5198 LNCS).

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

  • On the hardness of approximating the network coding capacity

    Langberg, M. & Sprintson, A., 2008, Proceedings - 2008 IEEE International Symposium on Information Theory, ISIT 2008. صفحة 315-319 5 صفحة 4594999. (IEEE International Symposium on Information Theory - Proceedings).

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

  • "Real" Slepian-Wolf codes

    Shenvi, S., Dey, B. K., Jaggi, S. & Langberg, M., 2008, Proceedings - 2008 IEEE International Symposium on Information Theory, ISIT 2008. صفحة 1423-1427 5 صفحة 4595222. (IEEE International Symposium on Information Theory - Proceedings).

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

  • Understanding object oriented programming concepts in an advanced programming course

    Benaya, T. & Zur, E., 2008, Informatics Education - Supporting Computational Thinking - Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008, Proceedings. صفحة 161-170 10 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 5090 LNCS).

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

  • 2007

    Approximating interval scheduling problems with bounded profits

    Beniaminy, I., Nutov, Z. & Ovadia, M., 2007, Algorithms - ESA 2007 - 15th Annual European Symposium, Proceedings. Springer Verlag, صفحة 487-497 11 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4698 LNCS).

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

    دخول حر
  • AWESOME: An aspect co-weaving system for composing multiple aspect-oriented extensions

    Kojarski, S. & Lorenz, D. H., أكتوبر 2007, Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'07). 10 طبعة المجلد 42. صفحة 515-534 20 صفحة (ACM SIGPLAN Notices).

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

  • Brief announcement: Distributed broadcasting and mapping protocols in directed anonymous networks

    Langberg, M., Schwartz, M. & Bruck, J., 2007, PODC'07: Proceedings of the 26th Annual ACM Symposium on Principles of Distributed Computing. صفحة 382-383 2 صفحة (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    دخول حر
  • Chord Rooted Forest Algorithm for Data Grid Search.

    Sagy, G. & Lerner, A., 1 يناير 2007, Proceedings of the 2007 International Conference on Grid Computing & Applications. CSREA Press, صفحة 63-69 7 صفحة

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

  • Distributed shared memory integration

    Geva, M. & Wiseman, Y., 2007, 2007 IEEE International Conference on Information Reuse and Integration, IEEE IRI-2007. صفحة 146-151 6 صفحة 4296612. (2007 IEEE International Conference on Information Reuse and Integration, IEEE IRI-2007).

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

  • Fundamental concepts of CS1: Procedural vs. object oriented paradigm - A case study

    Vilner, T., Zur, E. & Gal-Ezer, J., 2007, ITiCSE 2007: 12th Annual Conference on Innovation and Technology in Computer Science Education - Inclusive Education in Computer Science. صفحة 171-175 5 صفحة (ITiCSE 2007: 12th Annual Conference on Innovation and Technology in Computer Science Education - Inclusive Education in Computer Science).

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

  • k-anonymization with minimal loss of information

    Gionis, A. & Tassa, T., 2007, Algorithms - ESA 2007 - 15th Annual European Symposium, Proceedings. Springer Verlag, صفحة 439-450 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4698 LNCS).

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

  • Maximum gradient embeddings and monotone clustering

    Mendel, M. & Naor, A., 2007, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 10th International Workshop, APPROX 2007 and 11th International Workshop, RANDOM 2007, Proceedings. Springer Verlag, صفحة 242-256 15 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4627 LNCS).

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

    دخول حر
  • Modeling and implementation of agent-based discrete industrial automation

    Cohen, Y., Wang, M. E. & Bidanda, B., 2007, Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications. صفحة 535-540 6 صفحة (Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications).

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

  • On minimum power connectivity problems

    Lando, Y. & Nutov, Z., 2007, Algorithms - ESA 2007 - 15th Annual European Symposium, Proceedings. Springer Verlag, صفحة 87-98 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4698 LNCS).

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

    دخول حر
  • Randomness and clustering of responses in online learning networks

    Aviv, R., Erlich, Z. & Ravid, G., 2007, Proceedings of the Sixth IASTED International Conference on Communications, Internet, and Information Technology, CIIT 2007. صفحة 11-15 5 صفحة (Proceedings of the Sixth IASTED International Conference on Communications, Internet, and Information Technology, CIIT 2007).

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

  • Reduction - An abstract thinking pattern: The case of the computational models course

    Armoni, M. & Gal-Ezer, J., 2007, Proceedings of the Thirty-Seventh SIGCSE Technical Symposium on Computer Science Education. صفحة 389-393 5 صفحة (Proceedings of the Thirty-Seventh SIGCSE Technical Symposium on Computer Science Education).

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

  • Resilient network codes in the presence of eavesdropping Byzantine adversaries

    Jaggi, S. & Langberg, M., 2007, Proceedings - 2007 IEEE International Symposium on Information Theory, ISIT 2007. صفحة 541-545 5 صفحة 4557281. (IEEE International Symposium on Information Theory - Proceedings).

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

  • Resilient network coding in the presence of Byzantine adversaries

    Jaggi, S., Langberg, M., Katti, S., Ho, T., Katabi, D. & Médard, M., 2007, Proceedings - IEEE INFOCOM 2007: 26th IEEE International Conference on Computer Communications. صفحة 616-624 9 صفحة 4215660. (Proceedings - IEEE INFOCOM).

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

    دخول حر
  • Space Complexity in CS1

    Zur, E., Vilner, T. & Gal-Ezer, J., 2007, Proceedings of the Informatics Education Europe II Conference 2007. South-East European Research Center (SEERC)

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

  • Technology in distance teaching of computational models

    Gal-Ezer, J. & Trakhtenbrot, M., 2007, IMSCI 2007 - International Multi-Conference on Society, Cybernetics and Informatics, Proceedings. International Institute of Informatics and Systemics, IIIS, صفحة 54-59 6 صفحة (IMSCI 2007 - International Multi-Conference on Society, Cybernetics and Informatics, Proceedings; المجلد 2).

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

  • To teach is to touch lives forever

    Gal-Ezer, J., 2007, SIGCSE 2007: 38th SIGCSE Technical Symposium on Computer Science Education. صفحة 1 1 صفحة (SIGCSE 2007: 38th SIGCSE Technical Symposium on Computer Science Education).

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

  • Understanding Aspect Interactions, Co-Advising and Foreign Advising

    Lorenz, D. H. & Kojarski, S., 30 يوليو 2007, Proceedings of ECOOP 2007 Second International Workshop on Aspects, Dependencies and Interactions (ADI'07). Berlin: Springer, صفحة 23-28 6 صفحة ( Lecture Notes in Computer Science).

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

  • Understanding threads in an advanced java course

    Benaya, T. & Zur, E., 2007, ITiCSE 2007: 12th Annual Conference on Innovation and Technology in Computer Science Education - Inclusive Education in Computer Science. صفحة 323 1 صفحة (ITiCSE 2007: 12th Annual Conference on Innovation and Technology in Computer Science Education - Inclusive Education in Computer Science).

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

  • 2006

    Algebraic characterization of regular languages: How to cope with all these equivalences?

    Gal-Ezer, J. & Trakhtenbrot, M., 2006, ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. صفحة 325 1 صفحة (ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education; المجلد 2006).

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

  • Approximating minimum power covers of intersecting families and directed connectivity problems

    Nutov, Z., 2006, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 a. Springer Verlag, صفحة 236-247 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4110 LNCS).

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

    دخول حر
  • Evolution of AOP Mental Models

    Lorenz, D. H. & Kojarski, S., 1 مارس 2006, Proceedings of the AOSD 2006 Workshop on Aspects in Teaching (AIT'06). Bonn, Germany: Association for Computing Machinery, (Aspect-Oriented Software Development).

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

  • Feature Interaction in AspectJ/5

    Lorenz, D. H. & Kojarski, S., 1 مارس 2006, Proceedings of the AOSD 2006 Workshop on Software-engineering Properties of Languages for Aspect Technologies (SPLAT'06). Bonn, Germany: Association for Computing Machinery, (Aspect-Oriented Software Development).

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

  • Generating summaries and visualization for large collections of geo-referenced photographs

    Jaffe, A., Naaman, M., Tassa, T. & Davis, M., 2006, Proceedings of the 8th ACM Multimedia International Workshop on Multimedia Information Retrieval, MIR 2006. صفحة 89-98 10 صفحة (Proceedings of the ACM International Multimedia Conference and Exhibition).

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

    دخول حر
  • Generating summaries for large collections of geo-referenced photographs

    Jaffe, A., Naaman, M., Tassa, T. & Davis, M., 2006, Proceedings of the 15th International Conference on World Wide Web. صفحة 853-854 2 صفحة (Proceedings of the 15th International Conference on World Wide Web).

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

  • Multipartite secret sharing by bivariate interpolation

    Tassa, T. & Dyn, N., 2006, Automata, Languages and Programming - 33rd International Colloquium, ICALP 2006, Proceedings. Springer Verlag, صفحة 288-299 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4052 LNCS).

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

  • Once she makes it, she is there: Gender differences in computer science study

    Vilner, T. & Zur, E., 2006, Working Group Reports on ITiCSE on Innovation and Technology in Computer Science Education 2006. صفحة 227-231 5 صفحة (Working Group Reports on ITiCSE on Innovation and Technology in Computer Science Education 2006).

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

  • Once she makes it, she is there: Gender differences in computer science study

    Vilner, T. & Zur, E., 2006, ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. صفحة 227-231 5 صفحة (ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education; المجلد 2006).

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

  • Parallel Composition of Aspect Mechanisms: Design and Evaluation

    Lorenz, D. H. & Kojarski, S., 1 مارس 2006, Proceedings of the AOSD 2006 Workshop on Open and Dynamic Aspect Languages (ODAL'06). Bonn, Germany, (Aspect-Oriented Software Development).

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

  • Ramsey partitions and proximity data structures

    Mendel, M. & Naor, A., 2006, 47th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2006. صفحة 109-118 10 صفحة 4031348. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

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

    دخول حر
  • Reductive thinking in undergraduate CS courses

    Armoni, M., Gal-Ezer, J. & Hazzan, O., 2006, ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. صفحة 133-137 5 صفحة (ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education; المجلد 2006).

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

  • Student participation in a web-based computer science course

    Benaya, T. & Zur, E., 2006, 36th ASEE/IEEE Frontiers in Education Conference, FIE. Institute of Electrical and Electronics Engineers Inc., صفحة 21-26 6 صفحة 4117242. (Proceedings - Frontiers in Education Conference, FIE).

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

  • Tight approximation algorithm for connectivity augmentation problems

    Kortsarz, G. & Nutov, Z., 2006, Automata, Languages and Programming - 33rd International Colloquium, ICALP 2006, Proceedings. Springer Verlag, صفحة 443-452 10 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4051 LNCS).

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

    دخول حر
  • Work in progress: Space complexity in CS1: Difficulties in perceiving the concept

    Vilner, T. & Zur, E., 2006, 36th ASEE/IEEE Frontiers in Education Conference, FIE. 4116986. (Proceedings - Frontiers in Education Conference, FIE).

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

  • 2005

    Advanced programming in Java workshop - Teaching methodology

    Benaya, T. & Zur, E., 2005, ITiCSE 2005: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. صفحة 348 1 صفحة (Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

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

  • A Top--Down Model of an AOP Weaving Process

    Kojarski, S. & Lorenz, D. H., 1 مارس 2005, Proceedings of the AOSD 2005 Workshop on Software-engineering Properties of Languages for Aspect Technologies (SPLAT'05). Chicago, IL, USA: Association for Computing Machinery, (Aspect-Oriented Software Development).

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

  • Challenges in teaching the pumping lemma in automata theory course

    Gal-Ezer, J. & Trakhtenbrot, M., 2005, ITiCSE 2005: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. صفحة 369 1 صفحة (Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

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

  • Characterizing ideal weighted threshold secret sharing

    Beimel, A., Tassa, T. & Weinreb, E., 2005, Theory of Cryptography (TCC 2005). Kilian, J. (محرر). المجلد 3378. صفحة 600-619 20 صفحة (Lecture Notes in Computer Science; المجلد 3378).

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

    دخول حر