University of Haifa

Filter
Conference contribution

Search results

  • 2009

    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

  • A Utility for Estimating the Relative Contributions of Wiki Authors

    Arazy, O. & Stroulia, E., 2009, Proceedings of the 3rd International Conference on Weblogs and Social Media (ICWSM’09). 4 p.

    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

    Open Access
  • 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

  • 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

  • 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 Accountability and Learning in Dispute Resolution Through Technology

    Rabinovich Einy, O., 2009, 2009 International Workshop on ADR/ODRs. 6 p.

    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

    Open Access
  • 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

    Open Access
  • 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

    Open Access
  • 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

  • Integrating User Modeling Server with User Modeling Mediator on a personal Device

    Kuflik, T. & Poteriaykina, K., 2009, Proceedings of UbiqUM2009, the 7th International Workshop on Ubiquitous User Modelling. p. 11-15

    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

  • La construcción hospitalaria en el siglo XIII

    Bronstein, J., 2009, As Ordens Militares e as Ordens de Cavalaria entre o Ocidente e o Oriente. I. C. F. F. (ed.). Camara Municipal de Palmela

    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

  • Middle and high school student thinking about effects of sample size: An in and out of school perspective

    Rubel, L., 2009, Proceedings of the 31st annual meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education. Swars, S. L., Stinson, D. & Lemons-Smith, S. (eds.). Atlanta, GA: University of Georgia, p. 636-643 8 p.

    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

  • Offering proof ideas in algebra lesson in different classes taught by the same teacher and by different teachers

    Ayalon, M. & Even, R., 2009, Proceedings of the VI Congress of the European Society for Research in Mathematics Education. Durand-Guerrier, V., Soury-Lavergne, S. & Arzarello, F. (eds.). Lyon, France, p. 430-439 10 p.

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

  • On cartesian trees and range minimum queries

    Demaine, E. D., Landau, G. M. & Weimann, O., 2009, Automata, Languages and Programming - 36th International Colloquium, ICALP 2009, Proceedings. PART 1 ed. p. 341-353 13 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

    Open Access
  • On edge detection on surfaces

    Kolomenkin, M., Shimshoni, I. & Tal, A., 2009, 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops 2009. IEEE Computer Society, p. 2767-2774 8 p. 5206517. (2009 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2009).

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

  • On equilibria for ADM minimization games

    Epstein, L. & Levin, A., 2009, Algorithmic Game Theory - Second International Symposium, SAGT 2009, Proceedings. p. 347-358 12 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

  • On the (Im)possibility of arthur-merlin witness hiding protocols

    Haitner, I., Rosen, A. & Shaltiel, R., 2009, Theory of Cryptography - 6th Theory of Cryptography Conference, TCC 2009, Proceedings. p. 220-237 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5444 LNCS).

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

    Open Access
  • On the impossibility of detecting Virtual Machine monitors

    Gueron, S. & Seifert, J. P., 2009, Emerging Challenges for Security, Privacy and Trust - 24th IFIP TC 11 International Information Security Conference, SEC 2009, Proceedings. Gritzalis, D. & Lopez, J. (eds.). Springer New York LLC, p. 143-151 9 p. (IFIP Advances in Information and Communication Technology; vol. 297).

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

    Open Access
  • On the surprisingly prolonged developmental trajectory of (central) auditory processing

    BANAI, KAREN., 2009, Proceedings of the 9th Congress of the European Federation of Audiological Societies. 3 p.

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

  • Organización internacional de la orden del Hospital. Algunas reflexiones sobre la contribución de los prioratos ibéricos a la orden en Tierra Santa

    Bronstein, J., 2009, La orden de San Juan entre el Mediterráneo y la Mancha: II Congreso Internacional de historia de la orden militar de San Juan. F. R. G. & J. M. G. (eds.). Alcázar de San Juan, p. 39-52

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