University of Haifa

Filter
Conference contribution

Search results

  • 2009

    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

    Open Access
  • A practical method for transforming free-text eligibility criteria into computable criteria

    Tu, S. W., Peleg, M., Carini, S., Bobak, M., Rubin, D. & Sim, I., 2009, Proceedings of the American Medical Informatics Association (AMIA) Annual Symposium. p. 655-659

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

  • A Project of Imperial Importance”: Palampur Fair and the Kangra Tea Enterprise, 1867-79

    Moran, A., 2009, Mountains, Monasteries and Mosques: Recent Research on Ladakh and the Western Himalaya: Proceedings of the 13th International Association for Ladakh Studies., J. B. & , E. D. R. F. (eds.). Rome: Fabrizio Serra Editore, p. 117-130

    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

  • 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, R., 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., 20 May 2009, Proceedings of the 3rd International Conference on Weblogs and Social Media (ICWSM’09). AAAI Press, p. 171-174 4 p. (Proceedings of the 3rd International AAAI Conference on Weblogs and Social Media, ICWSM 2009).

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

    Open Access
  • 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 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, R. & 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

  • 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, R., 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, R., 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

  • 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