מדעי המחשב

نتائج البحث

  • 2007

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

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

    دخول حر

  • Non-determinism: An abstract concept in computer science studies

    Armoni, M. & Gal-Ezer, J., ديسمبر 2007, في: Computer Science Education. 17, 4, صفحة 243-262 20 صفحة

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

  • On (t, k)-shredders in k-connected graphs

    Nutov, Z. & Tsugaki, M., أبريل 2007, في: Ars Combinatoria. 83, صفحة 213-219 7 صفحة

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

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

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

    دخول حر

  • On shredders and vertex connectivity augmentation

    Liberman, G. & Nutov, Z., مارس 2007, في: Journal of Discrete Algorithms. 5, 1, صفحة 91-101 11 صفحة

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

    دخول حر

  • Open source software: Strengths and weaknesses

    Erlich, Z. & Aviv, R., 2007, Handbook of Research on Open Source Software: Technological, Economic, and Social Perspectives. IGI Global, صفحة 184-196 13 صفحة

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

  • Packing directed cycles efficiently

    Nutov, Z. & Yuster, R., 15 يناير 2007, في: Discrete Applied Mathematics. 155, 2, صفحة 82-91 10 صفحة

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

    دخول حر

  • Power optimization for connectivity problems

    Hajiaghayi, M. T., Kortsarz, G., Mirrokni, V. S. & Nutov, Z., يونيو 2007, في: Mathematical Programming. 110, 1, صفحة 195-208 14 صفحة

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

    دخول حر

  • Proceedings of the AOSD 2007 Workshop on Open and Dynamic Aspect Languages (ODAL'07)

    Brichau, J. (محرر), Chiba, S. (محرر), Volder, K. D. (محرر), Haupt, M. (محرر), Hirschfeld, R. (محرر), Lorenz, D. H. (محرر), Masuhara, H. (محرر) & Tanter, E. (محرر), 1 مارس 2007, Vancouver, British Columbia, Canada: Association for Computing Machinery.

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

  • Ramsey partitions and proximity data structures

    Mendel, M. & Naor, A., 2007, في: Journal of the European Mathematical Society. 9, 2, صفحة 253-275 23 صفحة

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

    دخول حر

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

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

  • Reaching Out to CS Teachers: Certification via Distance Learning

    Gal-Ezer, J. & Zur, E., 2007, في: Mathematics and Computer Education. 41, 3

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

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

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

  • Scaled enflo type is equivalent to rademacher type

    Mendel, M. & Naor, A., يونيو 2007, في: Bulletin of the London Mathematical Society. 39, 3, صفحة 493-498 6 صفحة

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

    دخول حر

  • 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

    A (1-1/e)-approximation algorithm for the generalized assignment problem

    Nutov, Z., Beniaminy, I. & Yuster, R., مايو 2006, في: Operations Research Letters. 34, 3, صفحة 283-288 6 صفحة

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

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

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

    دخول حر

  • Approximating rooted connectivity augmentation problems

    Nutov, Z., أبريل 2006, في: Algorithmica. 44, 3, صفحة 213-231 19 صفحة

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

  • A Simpler Analysis of Burrows-Wheeler Based Compression.

    Lewenstein, M., Valiente, G., Kaplan, H., Landau, S. & Verbin, E., 2006, Combinatorial Pattern Matching . Springer Verlag, صفحة 282 - 293 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4009 LNCS).

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

  • A Unique high-school curricula for informatics for grammar schools in Israel

    Gal-Ezer, J. & Habiballa, H., 2006, في: MFI - Matematika-Fyzika-Informatika . 16, 2, صفحة 104-113

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

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

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

  • Fast construction of nets in low-dimensional metrics and their applications

    Har-Peled, S. & Mendel, M., 2006, في: SIAM Journal on Computing. 35, 5, صفحة 1148-1184 37 صفحة

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

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

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

  • Improved efficiency for revocation schemes via Newton interpolation

    Kogan, N. & Tassa, T., 2006, في: ACM Transactions on Information and System Security. 9, 4, صفحة 461-486 26 صفحة

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

    دخول حر

  • Introducing Non-Determinism

    Armoni, M. & Gal-Ezer, J., 2006, في: Journal of Computers in Mathematics and Science Teaching. 25, 4, صفحة 325-359

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

  • Introducing nondeterminism.

    Armoni, M. & Gal-Ezer, J., 1 يناير 2006, في: Journal of Computers in Mathematics and Science Teaching. 25, 4, صفحة 325-359 35 صفحة

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

  • Metric cotype

    Mendel, M. & Naor, A., 2006, صفحة 79-88. 10 صفحة.

    نتاج البحث: نتاج بحثي من مؤتمر › محاضرة › مراجعة النظراء

    دخول حر

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

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

  • Optimal preemptive scheduling for general target functions

    Epstein, L. & Tassa, T., فبراير 2006, في: Journal of Computer and System Sciences. 72, 1, صفحة 132-162 31 صفحة

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

    دخول حر

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

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

  • Proceedings of the AOSD 2006 Workshop on Open and Dynamic Aspect Languages (ODAL'06)

    Brichau, J. (محرر), Chiba, S. (محرر), Volder, K. D. (محرر), Haupt, M. (محرر), Hirschfeld, R. (محرر), Lorenz, D. H. (محرر), Masuhara, H. (محرر) & Tanter, E. (محرر), 1 مارس 2006, Bonn, Germany: Association for Computing Machinery.

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

  • Proceedings of the AOSD 2006 Workshop on Open Aspect Languages (AOL'06)

    Brichau, J. (محرر), Chiba, S. (محرر), Lorenz, D. H. (محرر), Tanter, É. (محرر) & Volder, K. D. (محرر), 21 مارس 2006

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

  • Proceedings of the Fifth AOSD 2006 Workshop on Aspects, Components, and Patterns for Infrastructure Software: Technical Report CS-2006-01

    Coady, Y. (محرر), Lorenz, D. H. (محرر), Spinczyk, O. (محرر) & Wohlstadter, E. (محرر), 20 مارس 2006, Charlottesville, VA: University of Virginia.

    نتاج البحث: كتاب / تقرير › تقرير

  • 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 computer science

    Armoni, M., Gal-Ezer, J. & Hazzan, O., ديسمبر 2006, في: Computer Science Education. 16, 4, صفحة 281-301 21 صفحة

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

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

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

  • Some applications of ball's extension theorem

    Mendel, M. & Naor, A., سبتمبر 2006, في: Proceedings of the American Mathematical Society. 134, 9, صفحة 2577-2584 8 صفحة

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

    دخول حر

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

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

    دخول حر

  • Vector assignment schemes for asymmetric settings

    Epstein, L. & Tassa, T., مارس 2006, في: Acta Informatica. 42, 6-7, صفحة 501-514 14 صفحة

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

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

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