University of Haifa

Filter
Conference contribution

Search results

  • 2008

    Vortex: A new family of one-way hash functions based on AES rounds and carry-less multiplication

    Gueron, S. & Kounavis, M. E., 2008, Information Security - 11th International Conference, ISC 2008, Proceedings. p. 331-340 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5222 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • What is between chordal and weakly chordal graphs?

    Cohen, E., Golumbic, M. C., Lipshteyn, M. & Stern, M., 2008, Graph-Theoretic Concepts in Computer Science - 34th International Workshop, WG 2008, Revised Papers. p. 275-286 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5344 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Writing with Symbols: The Effects on Language and Literacy Abilities of Children with Special Needs

    Almog, O., Reinders-Kafri, S. & Hetzroni, O., Feb 2008, Learning in the Technological Era: Chais Conference on Instructional Technological Research. Raanana: האוניברסיטה הפתוחה, p. 68-73 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • דילמות ואתגרים בחינוך לאזרחות: המקרה של בתי הספר הערביים בישראל

    Translated title of the contribution: Dilemmas and Challenges in Civic Education: The Case of the Arab Schools in IsraelAgbaria, A., 2008, נוער ערבי בישראל: בין סיכוי לסיכון. רכס, א. & רודניצקי, א. (eds.). Tel-Aviv: Tel Aviv University, p. 45-54 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • האתגר החינוכי הרב-תרבותי של הנרטיב המזרחי החדש

    Translated title of the contribution: The Multi-Cultural Educational Challenge of the New Mizrahi NarrativeKIZEL, ARIE., 18 Dec 2008, 60 שנות חינוך בישראל: עבר, הווה עתיד. 1 ed. Jerusalem: קרן ג'ק, ג'וזף ומורטון מנדל-ישראל, p. 159-166 8 p. 3

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • קולנוע מספר על מלחמה: המזרח התיכון וארץ ישראל פוטוגניות מאולצת של מצלמה

    Translated title of the contribution: Cinema of War: : The Middle East and the Holy Land as a Photogenic SceneKozlovsky Golan, Y., 2008, תשעים שנה למלחמת העולם הראשונה בארץ ישראל: שחזור "האיגוף הגדול" והקרב על באר שבע, 31-27 באוקטובר 2007 והכנס השישי על מלחמת העולם הראשונה בארץ ישראל מבאר שבע לשפלת פלשת, מכללה אקדמית "ספיר" 2-1 בנובמבר 2007. חרובי, ר., פימנטל, ע. & שילוני, צ. (eds.). ירושלים: אריאל, p. 90-100 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2009

    Addressing challenges of Ubiquitous User Modeling: Between mediation and semantic integration

    Berkovsky, S., Heckmann, D. & Kuflik, T., 2009, Advances in Ubiquitous User Modelling, Revised Selected Papers. Kuflik, T., Berkovsky, S., Carmagnola, F., Heckmann, D. & Kruger, A. (eds.). p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5830 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Advanced mathematical Knowledge: How is it used in teaching?

    Zazkis, R. & LEIKIN, ROZA., 2009, The Sixth Conference of the European Society for Research in Mathematics Education - CERME-6.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A new derandomization of auctions

    Ben-Zwi, O., Newman, I. & Wolfovitz, G., 2009, Algorithmic Game Theory - Second International Symposium, SAGT 2009, Proceedings. p. 233-237 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5814 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • An exact almost optimal algorithm for target set selection in social networks

    Ben-Zwi, O., Hermelin, D., Lokshtanov, D. & Newman, I., 2009, EC'09 - Proceedings of the 2009 ACM Conference on Electronic Commerce. p. 355-362 8 p. (Proceedings of the ACM Conference on Electronic Commerce).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Architecture in an agile world

    Fraser, S., Hadar, E., Hadar, I., Mancl, D., Miller, G. & Opdyke, B., 2009, OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. p. 841-843 3 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Architecture in an agile world

    Mancl, D., Fraser, S., Opdyke, B., Hadar, E. & Hadar, I., 2009, OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. p. 719-720 2 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Are they equivalent?

    Ayalon, M. & Even, R., Jul 2009, Proceedings of the 33rd Conference of the International Group for the Psychology of Mathematics Education (PME). Tzekaki, M., Kaldrimidou, M. & Sakonidis, H. (eds.). Thessaloniki, Greece: Aristotle University of Thessaloniki University of Macedonia, Vol. 2. p. 81-88 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A tale of two lessons during Lesson Study process

    Robinson, N. & LEIKIN, ROZA., 2009, The Proceedings of the 33rd International Conference for the Psychology of Mathematics Education. Vol. 4. p. 489-496

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A unified algorithm for accelerating edit-distance computation via text-compression

    Hermelin, D., Landau, G. M., Landau, S. & Weimann, O., 2009, STACS 2009 - 26th International Symposium on Theoretical Aspects of Computer Science. p. 529-540 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Binary synthesis with multiple memory banks targeting array references

    Ben Asher, Y. & Rotem, N., 2009, FPL 09: 19th International Conference on Field Programmable Logic and Applications. p. 600-603 4 p. 5272381. (FPL 09: 19th International Conference on Field Programmable Logic and Applications).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Characteristics of proton CT images reconstructed with filtered backprojection and iterative projection algorithms

    Penfold, S. N., Schulte, R. W., Censor, Y., Bashkirov, V. & Rosenfeld, A. B., 2009, 2009 IEEE Nuclear Science Symposium Conference Record, NSS/MIC 2009. p. 4176-4180 5 p. 5402282. (IEEE Nuclear Science Symposium Conference Record).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Collaborative puzzle game: A tabletop interactive game for fostering collaboration in children with Autism Spectrum Disorders (ASD)

    Battocchi, A., Pianesi, F., Tomasini, D., Zancanaro, M., Esposito, G., Venuti, P., Ben Sasson, A., Gal, E. & Weiss, P. L., 2009, ITS 2009 - The ACM International Conference on Interactive Tabletops and Surfaces, Proceedings. p. 197-204 8 p. (ITS 2009 - The ACM International Conference on Interactive Tabletops and Surfaces, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Collaborative puzzle game: Fostering collaboration in children with Autistic Spectrum Disorder (ASD) and with typical development

    Battocchi, A., Pianesi, F., Venuti, P., Ben-Sasson, A., Gal, E. & Weiss, P. L., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 204 1 p. 5174242. (2009 Virtual Rehabilitation International Conference, VR 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Computing the girth of a planar graph in O(n logn) time

    Weimann, O. & Yuster, R., 2009, Automata, Languages and Programming - 36th International Colloquium, ICALP 2009, Proceedings. PART 1 ed. p. 764-773 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5555 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Consensus optimizing both distance sum and radius

    Amir, A., Landau, G. M., Na, J. C., Park, H., Park, K. & Sim, J. S., 2009, String Processing and Information Retrieval - 16th International Symposium, SPIRE 2009, Proceedings. p. 234-242 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5721 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Construct validity of the Virtual Action Planning-SupermarketVAP-S: Comparison between healthy controls and 3 clinical populations

    Josman, N., Klinger, E. & Kizony, R., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 208 1 p. 5174246. (2009 Virtual Rehabilitation International Conference, VR 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • e-Empowerment of young adults with special needs: Behind the computer screen I am not disabled

    Shpigelman, C. N., Weiss, P. L. & Reiter, S., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 65-69 5 p. 5174207. (2009 Virtual Rehabilitation International Conference, VR 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Efficient algorithms on sets of permutations, dominance, and real-weighted APSP

    Yuster, R., 2009, Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery (ACM), p. 950-957 8 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Enhancing knowledge-intensive business processes via knowledge management audit

    Levy, M., Hadar, I. & Aviv, I., 2009, 15th Americas Conference on Information Systems 2009, AMCIS 2009. p. 725-734 10 p. (15th Americas Conference on Information Systems 2009, AMCIS 2009; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Ethnicity and sense of presence in a virtual environment: Arab women - A case in point

    Almog, I., Wallach, H. S. & Safir, M. P., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 78-82 5 p. 5174209. (2009 Virtual Rehabilitation International Conference, VR 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Exemplifying definition: On the field-related character of teachers' content knowledge

    LEIKIN, ROZA. & Zazkis, R., 2009, The Proceedings of the 33rd International Conference for the Psychology of Mathematics Education. Vol. 4. p. 1-8

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Fast RNA structure alignment for crossing input structures

    Backofen, R., Landau, G. M., Möhl, M., Tsur, D. & Weimann, O., 2009, Combinatorial Pattern Matching - 20th Annual Symposium, CPM 2009, Proceedings. p. 236-248 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5577 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Floods of water and lava in the Columbia River Basin: Analogs for Mars

    Keszthelyi, L. P., Baker, V. R., Jaeger, W. L., Gaylord, D. R., Bjornstad, B. N., Greenbaum, N., Self, S., Thordarson, T., Porat, N. & Zreda, M. G., 2009, GSA Field Guides. Geological Society of America, p. 845-874 30 p. (GSA Field Guides; vol. 15).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Formal grammars of early language

    Wintner, S., Lavie, A. & MacWhinney, B., 2009, Languages: From Formal to Natural - Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. p. 204-227 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5533 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Haplotype inference constrained by plausible haplotype data

    Fellows, M. R., Hartman, T., Hermelin, D., Landau, G. M., Rosamond, F. & Rozenberg, L., 2009, Combinatorial Pattern Matching - 20th Annual Symposium, CPM 2009, Proceedings. p. 339-352 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5577 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Hardness and algorithms for rainbow connectivity

    Chakraborty, S., Fischer, E., Matsliah, A. & Yuster, R., 2009, STACS 2009 - 26th International Symposium on Theoretical Aspects of Computer Science. p. 243-254 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Heart-rates of European bee-eaters migrating over southern Israel

    Sapir, N., Nathan, R. & Wikelski, M., 2009, Integrative and Comparative Biology : Proceedings of the 2009 meeting of the Society for Integrative and Comparative Biology. Vol. 49.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Hello stranger! A study of introductory communication structure and social match success

    Raban, D. R., Ricken, S. T., Grandhi, S. A., Laws, N. & Jones, Q., 2009, Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS. 4755402. (Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Hierarchy theorems for property testing

    Goldreich, O., Krivelevich, M., Newman, I. & Rozenberg, E., 2009, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 12th International Workshop, APPROX 2009 and 13th International Workshop, RANDOM 2009, Proceedings. p. 504-519 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5687 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Implementation of the Multiple Errand Test in a NeuroVR-supermarket

    Raspelli, S., Carelli, L., Morganti, F., Riva, G., Weiss, P. L., Kizony, R. & Katz, N., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 210 1 p. 5174248. (2009 Virtual Rehabilitation International Conference, VR 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Intel's new AES instructions for enhanced performance and security

    Gueron, S., 2009, Fast Software Encryption - 16th International Workshop, FSE 2009, Revised Selected Papers. p. 51-66 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5665 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Kinematic features of arm and trunk movements in stroke patients and age-matched healthy controls during reaching in virtual and physical environments

    Liebermann, D. G., Berman, S., Levin, M. F., Weingarden, H. P. & Weiss, P. L., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 179-184 6 p. 05174228. (2009 Virtual Rehabilitation International Conference, VR 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Knowledge-intensive business process audit: The practical aspect

    Aviv, I., Levy, M. & Hadar, I., 2009, Proceedings of I-KNOW 2009 - 9th International Conference on Knowledge Management and Knowledge Technologies and Proceedings of I-SEMANTICS 2009 - 5th International Conference on Semantic Systems. p. 397-404 8 p. (Proceedings of I-KNOW 2009 - 9th International Conference on Knowledge Management and Knowledge Technologies and Proceedings of I-SEMANTICS 2009 - 5th International Conference on Semantic Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Landmarks in Algorithmic Graph Theory: A Personal Retrospective

    Golumbic, M. C., 2009, Graph Theory, Computational Intelligence and Thought - Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday. Lipshteyn, M., Levit, V. E. & McConnell, R. M. (eds.). p. 1-14 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5420 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • LCS approximation via embedding into local non-repetitive strings

    Landau, G. M., Levy, A. & Newman, I., 2009, Combinatorial Pattern Matching - 20th Annual Symposium, CPM 2009, Proceedings. p. 92-105 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5577 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Lessons learned towards a best practices model of virtual reality intervention for individuals with intellectual and developmental disability

    Lotan, M., Yalon-Chamovitz, S. & Weiss, P. L., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 70-77 8 p. 5174208. (2009 Virtual Rehabilitation International Conference, VR 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Lightly supervised transliteration for machine translation

    Kirschenbaum, A. & Wintner, S., 2009, EACL 2009 - 12th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings. Association for Computational Linguistics (ACL), p. 433-441 9 p. (EACL 2009 - 12th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Maimonides' disputed legacy

    Kellner, M., 2009, Traditions of Maimonideanism - Conference Proceedings of the Institute of Jewish Studies, University College London. Fraenkel, C. (ed.). Brill Academic Publishers, p. 245-276 32 p. (IJS Studies in Judaica; vol. 7).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Maximizing the minimum load: The cost of selfishness

    Epstein, L., Kleiman, E. & Van Stee, R., 2009, Internet and Network Economics - 5th International Workshop, WINE 2009, Proceedings. p. 232-243 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5929 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Moving between discourses: From learning-as-acquisition to learning-as-participation

    Sfard, A., 2009, 2009 Physics Education Research Conference, PER. p. 55-58 4 p. (AIP Conference Proceedings; vol. 1179).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Moving beyond single user, local virtual environments for rehabilitation

    Weiss, P. L. & Klinger, E., 2009, Advanced Technologies in Rehabilitation: Empowering Cognitive, Physical, Social and Communicative Skills Through Virtual Reality, Robots, Wearable Systems and Brain-Computer Interfaces. IOS Press, p. 263-276 14 p. (Studies in Health Technology and Informatics; vol. 145).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Multiple proof tasks: Teacher practice and teacher education

    LEIKIN, ROZA., 2009, The proceeding of the 19th ICMI Study conference: Proofs and proving in mathematics education. Vol. 2. p. 31-36

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Multiple solutions to a problem: A tool for assessment of mathematical thinking in geometry

    Levav-Waynberg, A. & LEIKIN, ROZA., 2009, Proceedings of the Sixth Conference of the European Society for Research in Mathematics Education - CERME-6 . p. 776-785

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • No transfer of gains after a single training session within a virtual environment to fundamental tests of stability

    Elion, O., Bahat, Y., Siev-Ner, I., Sela, I., Karni, A. & Weiss, P. L., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 136-139 4 p. 05174220. (2009 Virtual Rehabilitation International Conference, VR 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review