Technion - Israel Institute of Technology

Filter
Conference contribution

Search results

  • 2024

    HYPERBOLIC DIFFUSION PROCRUSTES ANALYSIS FOR INTRINSIC REPRESENTATION OF HIERARCHICAL DATA SETS

    Lin, Y. W. E., Kluger, Y. & Talmon, R., 2024, 2024 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2024 - Proceedings. p. 6325-6329 5 p. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

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

  • 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 proceedingConference contributionpeer-review

    Open Access
  • Impinging Wall Curvature Effects on Flow and Screech Tones in Choked Under Expanded Supersonic Jets

    Chandravamsi, H., Chamarthi, A. S. & Frankel, S. H., 4 Jan 2024, AIAA SciTech Forum and Exposition, 2024. 14 p. (AIAA SciTech Forum and Exposition, 2024).

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

  • 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 proceedingConference contributionpeer-review

    Open Access
  • Input-output approach for modeling flow response to actuation in transitional boundary layer

    Frank-Shapir, O. & Gluzman, I., 2024, 63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024. (63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024).

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

  • Integrated Optimal Operation of Water and Power Distribution Systems under Uncertainty: An Adjustable Robust Optimization Approach

    Perelman, G. & Ostfeld, A., 2024, World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024. Handa, S., Montgomery, R. & Sutter, C. (eds.). p. 1339-1352 14 p. (World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024).

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

  • Invertible bloom lookup tables with listing guarantees

    Mizrahi, A., Bar-Lev, D., Yaakobi, E. & Rottenstreich, O., 10 Jun 2024, SIGMETRICS/PERFORMANCE 2024 - Abstracts of the 2024 ACM SIGMETRICS/IFIP PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems. p. 19-20 2 p. (SIGMETRICS/PERFORMANCE 2024 - Abstracts of the 2024 ACM SIGMETRICS/IFIP PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems).

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

    Open Access
  • Investigation of Lift Coefficient Models and Unsteady Phenomenon During Pitching Motion

    Aliskevicius, N. & Stalnov, O., 2024, 63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024. (63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024).

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

  • Investigation of Radial Inward Porous Inert Media combustor for NH3/CH4/H2 Combustion

    Mahesh Nayak, G., Elanjickal, S., Cukurel, B. & Lefkowitz, J., 2024, 63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024. (63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024).

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

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
  • Leakage-Tolerant Circuits

    Ishai, Y. & Song, Y., 2024, Advances in Cryptology – EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Joye, M. & Leander, G. (eds.). p. 196-225 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14654 LNCS).

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

  • Local Borsuk-Ulam, Stability, and Replicability

    Chase, Z., Chornomaz, B., Moran, S. & Yehudayoff, A., 10 Jun 2024, STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing. Mohar, B., Shinkar, I. & O�Donnell, R. (eds.). p. 1769-1780 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
  • MedCycle: Unpaired Medical Report Generation via Cycle-Consistency

    Hirsch, E., Dawidowicz, G. & Tal, A., 2024, Findings of the Association for Computational Linguistics: NAACL 2024 - Findings. Duh, K., Gomez, H. & Bethard, S. (eds.). p. 1929-1944 16 p. (Findings of the Association for Computational Linguistics: NAACL 2024 - Findings).

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

  • MIXED-USE ECO-COMPUTATIONAL DESIGN IN HOT CLIMATES: A TWO-STEP CROSS-CLIMATE PARAMETRIC WORKFLOW

    Sklar, E., Lorberbom, S. & Natanian, J., 2024, Accelerated Design - 29th International Conference on Computer-Aided Architectural Design Research in Asia, CAADRIA 2024. Gardner, N., Herr, C. M., Wang, L., Toshiki, H. & Khan, S. A. (eds.). p. 525-534 10 p. (Proceedings of the International Conference on Computer-Aided Architectural Design Research in Asia; vol. 1).

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

  • Model-Based Mesh Generation for Orthogonal Collocation Transcription

    Taub, I., Shaferman, V. & Ben-Asher, J. Z., 2024, 63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024. (63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024).

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

  • 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 proceedingConference contributionpeer-review

  • Morse Theory for the k-NN Distance Function

    Reani, Y. & Bobrowski, O., Jun 2024, 40th International Symposium on Computational Geometry, SoCG 2024. Mulzer, W. & Phillips, J. M. (eds.). 75. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 293).

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

  • MULTISPECIES BUILDING ENVELOPES: Adopting plant habitat suitability modelling for ecological design decision-making

    Selvan, S. U., Windorfer, L., Calbi, M., Saroglou, S. T., Roc-Cotiello, E., Barath, S. & Grobman, Y. J., 2024, Accelerated Design - 29th International Conference on Computer-Aided Architectural Design Research in Asia, CAADRIA 2024. Gardner, N., Herr, C. M., Wang, L., Toshiki, H. & Khan, S. A. (eds.). p. 535-544 10 p. (Proceedings of the International Conference on Computer-Aided Architectural Design Research in Asia; vol. 1).

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

  • Multitenant In-Network Acceleration with SwitchVM

    Khashab, S., Rashelbach, A. & Silberstein, M., 2024, Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024. p. 691-708 18 p. (Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • Near-Optimal Evasion from Realistic Pursuers Employing Modern Linear Guidance Laws

    Mishley, A. & Shaferman, V., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

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

  • Near-Optimal Fault Tolerance for Efficient Batch Matrix Multiplication via an Additive Combinatorics Lens

    Censor-Hillel, K., Machino, Y. & Soto, P., 2024, Structural Information and Communication Complexity - 31st International Colloquium, SIROCCO 2024, Proceedings. Emek, Y. (ed.). p. 156-173 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14662 LNCS).

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

    Open Access
  • 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 proceedingConference contributionpeer-review

    Open Access
  • Nonlinear Control of an Air-Breathing Hypersonic Vehicle Subject to Scramjet Engine Constrains Abstract submitted to the IACAS 63

    Vaknin, O. & Idan, M., 2024, 63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024. (63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024).

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

  • Non-Linear-Quadratic Optimal Control Problem for a Unicycle: Maximin Solution

    Merkulov, G., Turetsky, V. & Shima, T., 2024, 2024 UKACC 14th International Conference on Control, CONTROL 2024. p. 287-292 6 p. (2024 UKACC 14th International Conference on Control, CONTROL 2024).

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

  • 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 proceedingConference contributionpeer-review

  • Numerical Simulation of Multi-Component Flows with Variable Thermodynamic Properties Towards Supersonic Flow Over a Cavity

    Bokor, S., Chamarthi, A. S. & Frankel, S. H., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
  • On Distributed Computation of the Minimum Triangle Edge Transversal

    Censor-Hillel, K. & Khoury, M., 2024, Structural Information and Communication Complexity - 31st International Colloquium, SIROCCO 2024, Proceedings. Emek, Y. (ed.). p. 336-358 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14662 LNCS).

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

    Open Access
  • On Progress in Exploring Controlled Viscous Limit-Cycle Oscillations in Modified Glauert Airfoil

    Deweese, E., Nguyen, L., Vataker, E., Mackunis, W., Golubev, V., Efrati, R. & Stalnov, O., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

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

    Open Access
  • On the Number of Digons in Arrangements of Pairwise Intersecting Circles

    Ackerman, E., Damásdi, G., Keszegh, B., Pinchasi, R. & Raffay, R., Jun 2024, 40th International Symposium on Computational Geometry, SoCG 2024. Mulzer, W. & Phillips, J. M. (eds.). 3. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 293).

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

  • On Verifying Linear Execution Strategies in Planning Against Nature

    Chrpa, L. & Karpas, E., 30 May 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (eds.). p. 86-94 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; vol. 34).

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

    Open Access
  • Operating Water Distribution Systems for Equitable Access to Clean Water

    Vizanko, B., Shmaya, T., Pankaj Boindala, S., Ostfeld, A. & Berglund, E., 2024, World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024. Handa, S., Montgomery, R. & Sutter, C. (eds.). p. 1229-1235 7 p. (World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024).

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

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • Optimal Target Interception with Time-Varying Acceleration Constraints

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

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

  • OWPF Solutions Using Polyhedral and Conic Relaxations

    Shmaya, T., Pecci, F., Housh, M. & Ostfeld, A., 2024, World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024. Handa, S., Montgomery, R. & Sutter, C. (eds.). p. 1353-1366 14 p. (World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • Reachability-Based Delayed Decision Guidance for Conventional Interceptors

    Shalumov, V., Merkulov, G. & Shima, T., 2024, 63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024. (63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • Resistance Drift Reset State and Read Voltage Dependencies in Phase Change Memory

    Nir-Harwood, R. G., Hochler, M., Yunger, E. & Yalon, E., 2024, IEEE Electron Devices Technology and Manufacturing Conference: Strengthening the Globalization in Semiconductors, EDTM 2024. (IEEE Electron Devices Technology and Manufacturing Conference: Strengthening the Globalization in Semiconductors, EDTM 2024).

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

  • Rigorous Susceptibility-Based Design of Generalized Huygens' Metasurface Radomes

    Shaham, A. & Epstein, A., 2024, 18th European Conference on Antennas and Propagation, EuCAP 2024. (18th European Conference on Antennas and Propagation, EuCAP 2024).

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

  • Robust Booster Disinfection Scheduling Using Incomplete Mixing Water Quality Model(EPANET-IMX)

    Boindala, S. P., Yousefian, R., Duchesne, S. & Ostfeld, A., 2024, World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024. Handa, S., Montgomery, R. & Sutter, C. (eds.). p. 1367-1379 13 p. (World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024).

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

  • Simplified Continuous High Dimensional Belief Space Planning with Adaptive Probabilistic Belief-dependent Constraints

    Zhitnikov, A. & Indelman, V., 2024, 63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024. (63rd Israel Annual Conference on Aerospace Sciences, IACAS 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 proceedingConference contributionpeer-review