מדעי המחשב

2011

On the hardness of approximating the network coding capacity

Langberg, M. & Sprintson, A., فبراير 2011, في: IEEE Transactions on Information Theory. 57, 2, صفحة 1008-1014 7 صفحة, 5695129.

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

Perspectives on Research in Aspect-Oriented Programming and Modularity

Lorenz, D. H., 1 مارس 2011.

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

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

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

Proceedings of the First AOSD 2011 Workshop on Modularity in Systems Software (MISS'11)

Adams, B. (محرر), Haupt, M. (محرر), Lorenz, D. (محرر) & Wohlstadter, E. (محرر), 1 مارس 2011, Association for Computing Machinery.

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

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

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

איך למצוא מוטציות בערמה של גנים

שנטל, נ., 2011, في: עדכן: האוניברסיטה הפתוחה. 53, صفحة 21-24 4 صفحة

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

2010

An antibody profile of systemic lupus erythematosus detected by antigen microarray

Fattal, I., Shental, N., Mevorach, D., Anaya, J. M., Livneh, A., Langevitz, P., Zandman-Goddard, G., Pauzner, R., Lerner, M., Blank, M., Hincapie, M. E., Gafter, U., Naparstek, Y., Shoenfeld, Y., Domany, E. & Cohen, I. R., يوليو 2010, في: Immunology. 130, 3, صفحة 337-343 7 صفحة

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

دخول حر

Approximating maximum subgraphs without short cycles

Kortsarz, G., Langberg, M. & Nutov, Z., 2010, في: SIAM Journal on Discrete Mathematics. 24, 1, صفحة 255-269 15 صفحة

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

Approximating minimum cost connectivity problems

Kortsarz, G. & Nutov, Z., 2010, في: Dagstuhl Seminar Proceedings. 9511

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

Approximating minimum power covers of intersecting families and directed edge-connectivity problems

Nutov, Z., 6 يونيو 2010, في: Theoretical Computer Science. 411, 26-28, صفحة 2502-2512 11 صفحة

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

دخول حر

Approximating minimum-power k-connectivity

Nutov, Z., 2010, في: Ad-Hoc and Sensor Wireless Networks. 9, 1-2, صفحة 129-137 9 صفحة

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

Approximating steiner networks with node-weights

Nutov, Z., 2010, في: SIAM Journal on Computing. 39, 7, صفحة 3001-3022 22 صفحة

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

دخول حر

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

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

Clustering lines in high-dimensional space: Classification of incomplete data

Gao, J., Langberg, M. & Schulman, L. J., نوفمبر 2010, في: ACM Transactions on Algorithms. 7, 1, 8.

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

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

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

Computer science teacher preparation is critical

Gal-Ezer, J. & Stephenson, C., مارس 2010, ACM Inroads, 1, 1, صفحة 61-66 6 صفحة.

نتاج البحث: منشورات بمستوى مهني › مقالة

Covering a laminar family by leaf to leaf links

Maduel, Y. & Nutov, Z., 6 يوليو 2010, في: Discrete Applied Mathematics. 158, 13, صفحة 1424-1432 9 صفحة

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

دخول حر

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

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

دخول حر

Didactics of introduction to computer science in high school

Armoni, M., Benaya, T., Ginat, D. & Zur, E., 2010, Teaching Fundamental Concepts of Informatics - 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Proceedings. صفحة 36-48 13 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 5941 LNCS).

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

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

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

Efficient anonymizations with enhanced utility

Goldberger, J. & Tassa, T., أغسطس 2010, في: Transactions on Data Privacy. 3, 2, صفحة 149-175 27 صفحة

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

Fault tolerant spanners for general graphs

Chechik, S., Langberg, M., Peleg, D. & Roditty, L., 2010, في: SIAM Journal on Computing. 39, 7, صفحة 3403-3423 21 صفحة

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

دخول حر

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

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

Goals and practices in maintaining information systems security

Erlich, Z. & Zviran, M., 2010, في: International Journal of Information Security and Privacy. 4, 3, صفحة 40-50 11 صفحة

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

How to establish a computer science teacher preparation program at your university? - The ECSTPP Workshop

Hazzan, O., Gal-Ezer, J. & Ragonis, N., مارس 2010, ACM Inroads, 1, 1, صفحة 35-39 5 صفحة.

نتاج البحث: منشورات بمستوى مهني › مقالة

Identification of rare alleles and their carriers using compressed se(que)nsing

Shental, N., Amir, A. & Zuk, O., أكتوبر 2010, في: Nucleic Acids Research. 38, 19, صفحة e179

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

دخول حر

Improved bounds on Bell numbers and on moments of sums of random variables‏

Berend, D. & Tassa, T., 2010, في: Probability and Mathematical Statistics. 30, 2, صفحة 185-205 20 صفحة

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

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

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

Ink the Blot Language

Hen-Tov, A., Lorenz, D. H. & Schachter, L., 1 أبريل 2010.

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

IOI Israel - Team selection, training, and statistics

Zur, E., Benaya, T. & Ginat, D., 2010, في: Olympiads in Informatics. 4, صفحة 151-157 7 صفحة

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

Maximum gradient embeddings and monotone clustering

Mendel, M. & Naor, A., سبتمبر 2010, في: Combinatorica. 30, 5, صفحة 581-615 35 صفحة

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

دخول حر

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

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

دخول حر

On minimum power connectivity problems

Lando, Y. & Nutov, Z., يونيو 2010, في: Journal of Discrete Algorithms. 8, 2, صفحة 164-173 10 صفحة

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

دخول حر

Perscope Aspects: Decoupling Aspect Instantiation Interface and Implementation

Lorenz, D. H. & Trakhtenberg, V., 1 أبريل 2010.

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

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

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

Sealed rupture of abdominal aortic aneurysms: CT features in 6 patients and a review of the literature

Apter, S., Rimon, U., Konen, E., Erlich, Z., Guranda, L., Amitai, M., Portnoy, O., Gayer, G. & Hertz, M., فبراير 2010, في: Abdominal Imaging. 35, 1, صفحة 99-105 7 صفحة

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

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

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

מדעי המחשב

نتاج البحث

نتائج البحث