Technion - Israel Institute of Technology

Filter
Conference contribution

Search results

  • 2024

    Abstract Thinking of Beginning Electrical Engineering and Computer Science Students

    Gero, A., Hadish, M. A. & Kvatinsky, S., 2024, Towards a Hybrid, Flexible and Socially Engaged Higher Education - Proceedings of the 26th International Conference on Interactive Collaborative Learning ICL 2023. Auer, M. E., Cukierman, U. R., Vendrell Vidal, E. & Tovar Caro, E. (eds.). p. 323-328 6 p. (Lecture Notes in Networks and Systems; vol. 901 LNNS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Abstract thinking of engineering students in high-school and higher education

    Gero, A., Mar 2024, Proceedings of the 18th International Technology, Education and Development Conference. p. 570-574 5 p. (INTED2024 Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A Dataset for Metaphor Detection in Early Medieval Hebrew Poetry

    Toker, M., Mishali, O., Münz-Manor, O., Kimelfeld, B. & Belinkov, Y., 2024, EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference. Graham, Y., Purver, M. & Purver, M. (eds.). p. 443-453 11 p. (EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • AEC Digital Twin Data - Why Structure Matters

    Borrmann, A., Schlenger, J., Bus, N. & Sacks, R., 2024, Advances in Information Technology in Civil and Building Engineering - Proceedings of ICCCBE 2022 - Volume 1. Skatulla, S. & Beushausen, H. (eds.). p. 651-669 19 p. (Lecture Notes in Civil Engineering; vol. 357).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Automatic and Incremental Repair for Speculative Information Leaks

    Bard, J., Jacobs, S. & Vizel, Y., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). p. 291-313 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Automatic Parametric Generation of Simulation Models from Project Information in Digital Twin Construction

    Yeung, T., Martinez, J., Sharoni, L. O., Leao, J. & Sacks, R., 2024, Advances in Information Technology in Civil and Building Engineering - Proceedings of ICCCBE 2022 - Volume 1. Skatulla, S. & Beushausen, H. (eds.). p. 633-650 18 p. (Lecture Notes in Civil Engineering; vol. 357).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Bitwise Logic Using Phase Change Memory Devices Based on the Pinatubo Architecture

    Aflalo, N., Yalon, E. & Kvatinsky, S., 2024, Proceedings - 37th International Conference on VLSI Design, VLSID 2024 - held concurrently with 23rd International Conference on Embedded Systems, ES 2024. p. 583-586 4 p. (Proceedings of the IEEE International Conference on VLSI Design).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Bounded and Linear Quadratic Optimal Low-Thrust Collision Avoidance in Circular Orbits

    Itzhaki, T. & Shaferman, V., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Bounds on Worst-Case Responsiveness for Agreement Algorithms

    Attiya, H. & Welch, J. L., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • CLID: Controlled-Length Image Descriptions with Limited Data

    Hirsch, E. & Tal, A., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 5519-5529 11 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • CLIPAG: Towards Generator-Free Text-to-Image Generation

    Ganz, R. & Elad, M., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 3831-3841 11 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Complete Neural Networks for Complete Euclidean Graphs

    Hordan, S., Amir, T., Gortler, S. J. & Dym, N., 25 Mar 2024, Technical Tracks 14. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 11 ed. p. 12482-12490 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Counting Polyominoes, Revisited

    Barequet, G. & Ben-Shachar, G., 2024, 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2024. p. 133-143 11 p. (Proceedings of the Workshop on Algorithm Engineering and Experiments).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Determinization of Integral Discounted-Sum Automata is Decidable

    Almagor, S. & Dafni, N., 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (eds.). p. 191-211 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14574 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Dimension-Minimality and Primality of Counter Nets

    Almagor, S., Avni, G., Sinclair-Banks, H. & Yeshurun, A., 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (eds.). p. 229-249 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Direct Access for Answers to Conjunctive Queries with Aggregation

    Eldar, I., Carmeli, N. & Kimelfeld, B., Mar 2024, 27th International Conference on Database Theory, ICDT 2024. Cormode, G. & Shekelyan, M. (eds.). 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 290).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Diverse Imagenet Models Transfer Better

    Nayman, N., Golbert, A., Noy, A. & Zelnik-Manor, L., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 1903-1914 12 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Engineering Students’ Misconceptions About Electronic Circuits: Faculty Members’ Viewpoint

    Gero, A. & Zoabi, W., 2024, Towards a Hybrid, Flexible and Socially Engaged Higher Education - Proceedings of the 26th International Conference on Interactive Collaborative Learning ICL 2023. Auer, M. E., Cukierman, U. R., Vendrell Vidal, E. & Tovar Caro, E. (eds.). p. 317-322 6 p. (Lecture Notes in Networks and Systems; vol. 901 LNNS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Evaluating Model Performance Through a User-Centric Explainable Framework for Probabilistic Load Forecasting Models

    Robin, R., Heistrene, L., Belikov, J., Baimel, D. & Levron, Y., 2024, 2024 3rd International Conference on Power, Control and Computing Technologies, ICPC2T 2024. p. 427-432 6 p. (2024 3rd International Conference on Power, Control and Computing Technologies, ICPC2T 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Extensions and Limits of the Specker-Blatter Theorem

    Fischer, E. & Makowsky, J. A., Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • FuseCap: Leveraging Large Language Models for Enriched Fused Image Captions

    Rotstein, N., Bensaïd, D., Brody, S., Ganz, R. & Kimmel, R., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 5677-5688 12 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Hyperproperty Verification as CHC Satisfiability

    Itzhaky, S., Shoham, S. & Vizel, Y., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). p. 212-241 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14577 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Improved Lower Bound for Estimating the Number of Defective Items

    Bshouty, N. H., 2024, Combinatorial Optimization and Applications - 16th International Conference, COCOA 2023, Proceedings. Wu, W. & Guo, J. (eds.). p. 303-315 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14461 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Is Rome (Italy) Undergoing Passive Ecological Gentrification Processes?

    Pilogallo, A. & Broitman, D., 2024, Innovation in Urban and Regional Planning - Proceedings of INPUT 2023 - Volume 2. Marucci, A., Zullo, F., Fiorini, L. & Saganeiti, L. (eds.). p. 326-336 11 p. (Lecture Notes in Civil Engineering; vol. 463 LNCE).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • k-NNN: Nearest Neighbors of Neighbors for Anomaly Detection

    Nizan, O. & Tal, A., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision Workshops, WACVW 2024. p. 1005-1014 10 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision Workshops, WACVW 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Model-Guided Synthesis for LTL over Finite Traces

    Xiao, S., Li, Y., Huang, X., Xu, Y., Li, J., Pu, G., Strichman, O. & Vardi, M. Y., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). p. 186-207 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14499 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit

    Attiya, H. & Welch, J. L., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Nanosecond Pulsed Plasma Discharge in High-speed Flow

    Shen, S., Tybora, W. & Lefkowitz, J., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Nested Diffusion Processes for Anytime Image Generation

    Elata, N., Kawar, B., Michaeli, T. & Elad, M., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 4995-5004 10 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Nova: Safe Off-Heap Memory Allocation and Reclamation

    Fakhoury, R., Braginsky, A., Keidar, I. & Zuriel, Y., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • On Detecting Some Defective Items in Group Testing

    Bshouty, N. H. & Haddad-Zaknoon, C. A., 2024, Computing and Combinatorics - 29th International Conference, COCOON 2023, Proceedings. Wu, W. & Tong, G. (eds.). p. 244-271 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14422 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Optimal Linear Quadratic Powered Descent With An Optimally Selected Intermediate Point

    Nataf, O. & Shaferman, V., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Optimal Low-Thrust Docking with a Constrained Approach Direction Using Two Intermediate Points

    Nahum, O. & Shaferman, V., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • POSTER: RELAX: Durable Data Structures with Swift Recovery

    Zur, A., Cohen, N., Friedman, M. & Petrank, E., 2 Mar 2024, PPoPP 2024 - Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming. p. 475-477 3 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Probable Approximate Coordination

    Livshits, A. & Moses, Y., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Proving Unsatisfiability with Hitting Formulas

    Filmus, Y., Hirsch, E. A., Riazanov, A., Smal, A. & Vinyals, M., Jan 2024, 15th Innovations in Theoretical Computer Science Conference, ITCS 2024. Guruswami, V. (ed.). 48. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 287).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Recoverable and Detectable Self-Implementations of Swap

    Lehman, T. L., Attiya, H. & Hendler, D., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reinforcement Learning Based Decentralized Weapon-Target Assignment and Guidance

    Merkulov, G., Iceland, E., Michaeli, S., Riechkind, Y., Gal, O., Barel, A. & Shima, T., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Sketching the Path to Efficiency: Lightweight Learned Cache Replacement

    Shahout, R. & Friedman, R., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 34. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Skyline Operators for Document Spanners

    Amarilli, A., Kimelfeld, B., Labbé, S. & Mengel, S., Mar 2024, 27th International Conference on Database Theory, ICDT 2024. Cormode, G. & Shekelyan, M. (eds.). 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 290).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Strategic ML: How to Learn with Data That 'Behaves'

    Rosenfeld, N., 4 Mar 2024, WSDM 2024 - Proceedings of the 17th ACM International Conference on Web Search and Data Mining. p. 1128-1131 4 p. (WSDM 2024 - Proceedings of the 17th ACM International Conference on Web Search and Data Mining).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Stress Relief in WAAM SS316L Flow-Formed Tube

    Goviazin, G. G., Rittel, D. & Shirizly, A., 2024, Proceedings of the 14th International Conference on the Technology of Plasticity - Current Trends in the Technology of Plasticity - ICTP 2023 - Volume 1. Mocellin, K., Bouchard, P-O., Bigot, R. & Balan, T. (eds.). p. 784-790 7 p. (Lecture Notes in Mechanical Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Survivable Payment Channel Networks

    Podiatchev, Y., Orda, A. & Rottenstreich, O., 2024, 2024 16th International Conference on COMmunication Systems and NETworkS, COMSNETS 2024. p. 479-487 9 p. (2024 16th International Conference on COMmunication Systems and NETworkS, COMSNETS 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The Importance of Parameters in Database Queries

    Grohe, M., Kimelfeld, B., Lindner, P. & Standke, C., Mar 2024, 27th International Conference on Database Theory, ICDT 2024. Cormode, G. & Shekelyan, M. (eds.). 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 290).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The Synchronization Power of Auditable Registers

    Attiya, H., Pozzo, A. D., Milani, A., Pavloff, U. & Rapetti, A., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Verification of Neural Networks’ Local Differential Classification Privacy

    Reshef, R., Kabaha, A., Seleznova, O. & Drachsler-Cohen, D., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). p. 98-123 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2023

    Academic Motivation of Sophomore and Junior Electrical Engineering Students

    Gero, A. & Catz, B., 2023, 2023 46th ICT and Electronics Convention, MIPRO 2023 - Proceedings. Cisic, D., Vrcek, N., Koricic, M., Gradisnik, V., Skala, K., Car, Z., Cicin-Sain, M., Babic, S., Sruk, V., Skvorc, D., Jovic, A., Gros, S., Vrdoljak, B., Tijan, E., Katulic, T., Petrovic, J., Grbac, T. G. & Bozicevic, L. (eds.). p. 1595-1598 4 p. (2023 46th ICT and Electronics Convention, MIPRO 2023 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Accelerating Relational Database Analytical Processing with Bulk-Bitwise Processing-in-Memory

    Perach, B., Ronen, R. & Kvatinsky, S., 2023, 21st IEEE Interregional NEWCAS Conference, NEWCAS 2023 - Proceedings. (21st IEEE Interregional NEWCAS Conference, NEWCAS 2023 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Accelerometry-Guided Inter-Beat-Interval Assessment from Wrist Photoplethysmography

    Charlton, P. H., Behar, J. A., Goda, M. A., Mant, J. & Kyriacou, P. A., 2023, Computing in Cardiology, CinC 2023. (Computing in Cardiology).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • A CONCURRENT DESIGN PARADIGM FOR INTERDISCIPLINARY DESIGN COLLABORATION: INSIGHTS FROM A FOCUS GROUP STUDY

    Chen, S., Yeung, T., Pilke, E., Sacks, R. & Nyberg, K., 2023, Proceedings of the 2023 European Conference on Computing in Construction and the 40th International CIB W78 Conference. Kassem, M., Tagliabue, L. C., Amor, R., Sreckovic, M. & Chassiakos, A. (eds.). (Proceedings of the European Conference on Computing in Construction).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access