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

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

תוצאות חיפוש

  • 2008

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

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

  • Approximating minimum-power k-connectivity

    Nutov, Z., 2008, Ad-hoc, Mobile and Wireless Networks - 7th International Conference, ADHOC-NOW 2008, Proceedings. עמוד 86-93 8 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5198 LNCS).

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

    גישה חופשית
  • Approximating steiner networks with node weights

    Nutov, Z., 2008, LATIN 2008: Theoretical Informatics - 8th Latin American Symposium, Proceedings. עמוד 411-422 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 4957 LNCS).

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

    גישה חופשית
  • 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).

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