University of Haifa

Filter
Conference contribution

Search results

  • 2009

    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

  • 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

  • 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

  • Parametric packing of selfish items and the subset sum algorithm

    Epstein, L., Kleiman, E. & Mestre, J., 2009, Internet and Network Economics - 5th International Workshop, WINE 2009, Proceedings. p. 67-78 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

  • Path-bicolorable graphs (Extended Abstract)

    Brandstädt, A., Golumbic, M. C., Le, V. B. & Lipshteyn, M., 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. 172-182 11 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

  • Pattern mining in system logs: Opportunities for process improvement

    Mezebovsky, D., Soffer, P. & Shimshoni, I., 2009, Enterprise, Business-Process and Information Systems Modeling - 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Proceedings. Springer Verlag, p. 162-173 12 p. (Lecture Notes in Business Information Processing; vol. 29 LNBIP).

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

  • Place Your Bets! Information Aggregation and Prediction Markets in MBA Courses

    Raban, D. & Geifman, D., 2009, Chais Conference for Research in Learning Technologies. Ra'anana: רעננה : האוניברסיטה הפתוחה, p. 153-158

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

  • PlayCubes: Monitoring constructional ability in children using a tangible user interface and a playful virtual environment

    Jacoby, S., Gutwillig, G., Jacoby, D., Josman, N., Weiss, P. L., Koike, M., Itoh, Y., Kawai, N., Kitamura, Y. & Sharlin, E., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 42-49 8 p. 5174203. (2009 Virtual Rehabilitation International Conference, VR 2009).

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

  • Preemptive online scheduling with reordering

    Dósa, G. & Epstein, L., 2009, Algorithms - ESA 2009 - 17th Annual European Symposium, Proceedings. p. 456-467 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5757 LNCS).

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

  • Probing the behavioral and physiological correlates underlying projection of the body via 3D virtual haptic environments as a basis for developing novel therapeutic interventions

    Raz, L., Weiss, P. L. & Reiner, M., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 201 1 p. 5174239. (2009 Virtual Rehabilitation International Conference, VR 2009).

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

  • Prominent field for shape processing of archaeological artifacts

    Kolomenkin, M., Shimshoni, I. & Tal, A., 2009, 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009. p. 915-922 8 p. 5457604. (2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009).

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

  • Pseudorandom generators and typically-correct derandomization

    Kinne, J., Van Melkebeek, D. & Shaltiel, R., 2009, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 12th International Workshop, APPROX 2009 and 13th International Workshop, RANDOM 2009, Proceedings. p. 574-587 14 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

  • Research Forum - Mathematical gift and promise: Exploring and developing

    Karp, A. & LEIKIN, ROZA., 2009, The Proceedings of the 33rd International Conference for the Psychology of Mathematics Education. Vol. 1. p. 185-206

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

  • Sensory mapping algorithm and enhanced product development

    Makov, U. E., Ben-Assor, M. & Sam Saguy, I., 2009, Proceedings - 2009 International Conference on Computer Engineering and Technology, ICCET 2009. p. 180-184 5 p. 4769583. (Proceedings - 2009 International Conference on Computer Engineering and Technology, ICCET 2009; vol. 2).

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

  • Strong parallel repetition theorem for free projection games

    Barak, B., Rao, A., Raz, R., Rosen, R. & Shaltiel, R., 2009, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 12th International Workshop, APPROX 2009 and 13th International Workshop, RANDOM 2009, Proceedings. p. 352-365 14 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

  • SYnchronous online discussions participation in a group audio conferencing and textual chat as affected by communicator's personality characteristics and discussion topics

    Blau, I. & Barak, A., 2009, CSEDU 2009 - Proceedings of the 1st International Conference on Computer Supported Education. p. 19-24 6 p. (CSEDU 2009 - Proceedings of the 1st International Conference on Computer Supported Education; vol. 1).

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

  • The effect of unrolling and inlining for python bytecode optimizations

    Asher, Y. B. & Rotem, N., 2009, Proceedings of the Israeli Experimental Systems Conference, SYSTOR 2009. p. 14 1 p. (ACM International Conference Proceeding Series).

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

  • The impact of personality traits on the experience of presence

    Samana, R., Wallach, H. S. & Safir, M. P., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 1-7 7 p. 5174197. (2009 Virtual Rehabilitation International Conference, VR 2009).

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

  • The intel AES instructions set and the SHA-3 candidates

    Benadjila, R., Billet, O., Gueron, S. & Robshaw, M. J. B., 2009, Advances in Cryptology - ASIACRYPT 2009 - 15th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. p. 162-178 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5912 LNCS).

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

    Open Access