Computer Science

Filter
Chapter

Search results

  • 2023

    Modular ADMM-Based Strategies for Optimized Compression, Restoration, and Distributed Representations of Visual Data

    Dar, Y. & Bruckstein, A. M., 1 Jan 2023, Handbook of Mathematical Models and Algorithms in Computer Vision and Imaging: Mathematical Imaging and Vision. p. 175-207 33 p.

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

  • 2022

    Recording silence-accurate annotation of the genetic sequence is required to better understand how synonymous coding affects protein structure and disease

    Rosenberg, A., Bronstein, A. M. & Marx, A., 8 Aug 2022, Single Nucleotide Polymorphisms: Human Variation and a Coming Revolution in Biology and Medicine. p. 37-47 11 p.

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

  • 2021

    Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities: Techniques, Challenges, Opportunities: (Invited Paper)

    Itzhaky, S., Peleg, H., Polikarpova, N., Rowe, R. N. S. & Sergey, I., 1 Jan 2021, COMPUTER AIDED VERIFICATION (CAV 2021), PT I. Silva, A. & Leino, K. R. (eds.). Vol. 12759. p. 110-134 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).

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

    Open Access
    2 Scopus citations

  • Modular ADMM-Based Strategies for Optimized Compression, Restoration, and Distributed Representations of Visual Data

    Dar, Y. & Bruckstein, A. M., 2021, Handbook of Mathematical Models and Algorithms in Computer Vision and Imaging. p. 1-33 33 p.

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

  • New Bounds on the Half-Duplex Communication Complexity

    Dementiev, Y., Ignatiev, A., Sidelnik, V., Smal, A. & Ushakov, M., 2021, SOFSEM 2021: Theory and Practice of Computer Science. 16 p.

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

    2 Scopus citations

  • On the Number of Compositions of Two Polycubes

    Asinowski, A., Barequet, G., Ben-Shachar, G., Osegueda, M. C. & Rote, G., 2021, Trends in Mathematics. p. 71-77 7 p. (Trends in Mathematics; vol. 14).

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

    1 Scopus citations

  • Prior-Independent Auctions

    Talgam-Cohen, I., 2021, Beyond the Worst-Case Analysis of Algorithms. Roughgarden, T. (ed.). p. 586–605

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

  • 2020

    On geometric invariants, learning, and recognition of shapes and forms

    Pai, G., Joseph-Rivlin, M., Kimmel, R. & Sochen, N., 3 Apr 2020, Handbook of Variational Methods for Nonlinear Geometric Data. p. 443-461 19 p.

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

  • RGBD-fusion: Depth refinement for diffuse and specular objects

    Or-El, R., Richardson, E., Sela, M., Hershkovitz, R., Wetzler, A., Rosman, G., Bruckstein, A. M. & Kimmel, R., 2020, Advances in Computer Vision and Pattern Recognition. p. 73-113 41 p. (Advances in Computer Vision and Pattern Recognition).

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

    1 Scopus citations
  • 2019

    Computable invariants for curves and surfaces

    Halimi, O., Raviv, D., Aflalo, Y. & Kimmel, R., 2019, Processing, Analyzing and Learning of Images, Shapes, and Forms: Part 2. p. 273-314 42 p. (Handbook of Numerical Analysis; vol. 20).

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

    3 Scopus citations

  • Cryptographic Sensing

    Ishai, Y., Kushilevitz, E., Ostrovsky, R., Sahai, A. & Eyal, K., 2019, ADVANCES IN CRYPTOLOGY - CRYPTO 2019, PT III. Micciancio, D. & Boldyreva, A. (eds.). Vol. 11694. p. 583-604 22 p. (Lecture Notes in Computer Science).

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

    2 Scopus citations

  • Efficient Pseudorandom Correlation Generators: Silent OT Extension and More: Silent OT Extension and More

    Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P., 2019, ADVANCES IN CRYPTOLOGY - CRYPTO 2019, PT III. Micciancio, D. & Boldyreva, A. (eds.). Vol. 11694. p. 489-518 30 p. (Lecture Notes in Computer Science).

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

    61 Scopus citations

  • Interpolating Strong Induction

    Krishnan, H. G. V., Vizel, Y., Ganesh, V. & Gurfinkel, A., 2019, COMPUTER AIDED VERIFICATION, CAV 2019, PT II. Dillig, I. & Tasiran, S. (eds.). Vol. 11562. p. 367-385 19 p. (Lecture Notes in Computer Science).

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

    Open Access
    8 Scopus citations

  • Online Submodular Maximization: Beating 1/2 Made Simple

    Buchbinder, N., Feldman, M., Filmus, Y. & Garg, M., 2019, INTEGER PROGRAMMING AND COMBINATORIAL OPTIMIZATION, IPCO 2019. Lodi, A. & Nagarajan, V. (eds.). Vol. 11480. p. 101-114 14 p. (Lecture Notes in Computer Science).

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

    4 Scopus citations

  • Operator-based representations of discrete tangent vector fields

    Ben-Chen, M. & Azencot, O., 2019, Processing, Analyzing and Learning of Images, Shapes, and Forms: Part 2. p. 117-147 31 p. (Handbook of Numerical Analysis; vol. 20).

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

    1 Scopus citations

  • Reusable Non-Interactive Secure Computation

    Chase, M., Dodis, Y., Ishai, Y., Kraschewski, D., Liu, T., Ostrovsky, R. & Vaikuntanathan, V., 2019, ADVANCES IN CRYPTOLOGY - CRYPTO 2019, PT III. Micciancio, D. & Boldyreva, A. (eds.). Vol. 11694. p. 462-488 27 p. (Lecture Notes in Computer Science).

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

    15 Scopus citations

  • Shared Memory and the Bakery Algorithm

    Attiya, H. & Welch, J. L., 2019, Concurrency: The Works of Leslie Lamport. New York, NY, USA, p. 27–46

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

  • Trapdoor Hash Functions and Their Applications

    Dottling, N., Garg, S., Ishai, Y., Malavolta, G., Mour, T., Ostrovsky, R. & Döttling, N., 2019, ADVANCES IN CRYPTOLOGY - CRYPTO 2019, PT III. Micciancio, D. & Boldyreva, A. (eds.). Vol. 11694. p. 3-32 30 p. (Lecture Notes in Computer Science).

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

    38 Scopus citations

  • Unconditionally Secure Computation Against Low-Complexity Leakage

    Bogdanov, A., Ishai, Y. & Srinivasan, A., 2019, ADVANCES IN CRYPTOLOGY - CRYPTO 2019, PT II. Boldyreva, A. & Micciancio, D. (eds.). Vol. 11693. p. 387-416 30 p. (Lecture Notes in Computer Science).

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

    7 Scopus citations

  • Zero-Knowledge Proofs on Secret-Shared Data via Fully Linear PCPs

    Boneh, D., Boyle, E., Corrigan-Gibbs, H., Gilboa, N. & Ishai, Y., 2019, ADVANCES IN CRYPTOLOGY - CRYPTO 2019, PT III. Micciancio, D. & Boldyreva, A. (eds.). Vol. 11694. p. 67-97 31 p. (Lecture Notes in Computer Science).

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

    36 Scopus citations
  • 2018

    Collaborative Patrolling Swarms in Stochastically Expanding Environments

    Altshuler, Y., Pentland, A. & Bruckstein, A. M., 2018, SWARMS AND NETWORK INTELLIGENCE IN SEARCH. Vol. 729. p. 155-185 31 p. (Studies in Computational Intelligence).

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

    1 Scopus citations

  • Compressed Learning for Image Classification: A Deep Neural Network Approach

    Zisselman, E., Adler, A. & Elad, M., 2018, Processing, Analyzing and Learning of Images, Shapes, and Forms: Part 1. Kimmel, R. & Tai, X-C. (eds.). p. 3-17 15 p. (Handbook of Numerical Analysis; vol. 19).

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

    33 Scopus citations

  • Computing Convex-Straight-Skeleton Voronoi Diagrams for Segments and Convex Polygons

    Barequet, G., De, M. & Goodrich, M. T., 2018, COMPUTING AND COMBINATORICS (COCOON 2018). Zhu, D. & Wang, L. (eds.). Vol. 10976. p. 130-142 13 p. (Lecture Notes in Computer Science).

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

    2 Scopus citations

  • Cooperative "Swarm Cleaning" of Stationary Domains

    Altshuler, Y., Pentland, A. & Bruckstein, A. M., 2018, SWARMS AND NETWORK INTELLIGENCE IN SEARCH. Vol. 729. p. 15-49 35 p. (Studies in Computational Intelligence).

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

    6 Scopus citations

  • Introduction to Swarm Search

    Altshuler, Y., Pentland, A. & Bruckstein, A. M., 2018, SWARMS AND NETWORK INTELLIGENCE IN SEARCH. Vol. 729. p. 1-14 14 p. (Studies in Computational Intelligence).

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

    8 Scopus citations

  • Limits of Practical Sublinear Secure Computation

    Boyle, E., Ishai, Y. & Polychroniadou, A., 2018, ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT III. Shacham, H. & Boldyreva, A. (eds.). Vol. 10993. p. 302-332 31 p. (Lecture Notes in Computer Science).

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

    2 Scopus citations

  • On the Local Leakage Resilience of Linear Secret Sharing Schemes

    Benhamouda, F., Degwekar, A., Ishai, Y. & Rabin, T., 2018, ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT I. Boldyreva, A. & Shacham, H. (eds.). Vol. 10991. p. 531-561 31 p. (Lecture Notes in Computer Science).

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

    28 Scopus citations

  • Optimal Dynamic Coverage Infrastructure for Large-Scale Fleets of Reconnaissance UAVs

    Altshuler, Y., Pentland, A. & Bruckstein, A. M., 2018, SWARMS AND NETWORK INTELLIGENCE IN SEARCH. Vol. 729. p. 207-238 32 p. (Studies in Computational Intelligence).

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

    11 Scopus citations

  • Private Circuits: A Modular Approach: A modular approach

    Ananth, P., Ishai, Y. & Sahai, A., 2018, ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT III. Shacham, H. & Boldyreva, A. (eds.). Vol. 10993. p. 427-455 29 p. (Lecture Notes in Computer Science).

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

    21 Scopus citations

  • Properties of Minimal-Perimeter Polyominoes

    Barequet, G. & Ben-Shachar, G., 2018, COMPUTING AND COMBINATORICS (COCOON 2018). Zhu, D. & Wang, L. (eds.). Vol. 10976. p. 120-129 10 p. (Lecture Notes in Computer Science).

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

    4 Scopus citations

  • Quasi-Optimal SNARGs via Linear Multi-Prover Interactive Proofs

    Boneh, D., Ishai, Y., Sahai, A. & Wu, D. J., 2018, ADVANCES IN CRYPTOLOGY - EUROCRYPT 2018, PT III. Nielsen, J. B. & Rijmen, V. (eds.). Vol. 10822. p. 222-255 34 p. (Lecture Notes in Computer Science).

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

    17 Scopus citations

  • Swarms and Network Intelligence in Search

    Altshuler, Y., Pentland, A. & Bruckstein, AM., 2018, SWARMS AND NETWORK INTELLIGENCE IN SEARCH. Vol. 729. p. 1-238 (Studies in Computational Intelligence).

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

  • Swarms and Network Intelligence in Search Preface

    Altshuler, Y., Pentland, A. & Bruckstein, A. M., 2018, SWARMS AND NETWORK INTELLIGENCE IN SEARCH. Vol. 729. p. V-VI (Studies in Computational Intelligence).

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

  • Swarm Search of Expanding Regions in Grids: Lower Bounds: Lower bounds

    Altshuler, Y., Pentland, A. & Bruckstein, A. M., 2018, SWARMS AND NETWORK INTELLIGENCE IN SEARCH. Vol. 729. p. 51-89 39 p. (Studies in Computational Intelligence).

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

  • Swarm Search of Expanding Regions in Grids: Upper Bounds: Upper bounds

    Altshuler, Y., Pentland, A. & Bruckstein, A. M., 2018, SWARMS AND NETWORK INTELLIGENCE IN SEARCH. Vol. 729. p. 91-127 37 p. (Studies in Computational Intelligence).

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

  • The Cooperative Hunters - Efficient and Scalable Drones Swarm for Multiple Targets Detection

    Altshuler, Y., Pentland, A. & Bruckstein, A. M., 2018, SWARMS AND NETWORK INTELLIGENCE IN SEARCH. Vol. 729. p. 187-205 19 p. (Studies in Computational Intelligence).

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

    4 Scopus citations

  • The Search Complexity of Collaborative Swarms in Expanding Z(2) Grid Regions

    Altshuler, Y., Pentland, A. & Bruckstein, A. M., 2018, SWARMS AND NETWORK INTELLIGENCE IN SEARCH. Vol. 729. p. 129-153 25 p. (Studies in Computational Intelligence).

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

  • 2017

    Access efficient Bloom Filters with TinySet

    Einziger, G. & Friedman, R., 1 Feb 2017, Advances in Computer Communications and Networks From Green, Mobile, Pervasive Networking to Big Data Computing. p. 495-524 30 p.

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

  • Access Efficient Bloom Filters with TinySet

    Einziger, G. & Friedman, R., 2017, ADVANCES IN COMPUTER COMMUNICATIONS AND NETWORKS: FROM GREEN, MOBILE, PERVASIVE NETWORKING TO BIG DATA COMPUTING. p. 495-523 (River Publishers Series in Communications).

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

  • Ad Hoc PSM Protocols: Secure Computation Without Coordination: Secure computation without coordination

    Beimel, A., Ishai, Y., Kushilevitz, E. & Eyal, K., 2017, ADVANCES IN CRYPTOLOGY - EUROCRYPT 2017, PT III. Coron, J-S. & Nielsen, J. B. (eds.). Vol. 10212. p. 580-608 29 p. (Lecture Notes in Computer Science).

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

    6 Scopus citations

  • Group-Based Secure Computation: Optimizing Rounds, Communication, and Computation: Optimizing rounds, communication, and computation

    Boyle, E., Gilboa, N. & Ishai, Y., 2017, ADVANCES IN CRYPTOLOGY - EUROCRYPT 2017, PT II. Nielsen, J. B. & Coron, J-S. (eds.). Vol. 10211. p. 163-193 31 p. (Lecture Notes in Computer Science).

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

    48 Scopus citations

  • Lattice-Based SNARGs and Their Application to More Efficient Obfuscation

    Boneh, D., Ishai, Y., Sahai, A. & Wu, D. J., 2017, ADVANCES IN CRYPTOLOGY - EUROCRYPT 2017, PT III. Coron, J-S. & Nielsen, J. B. (eds.). Vol. 10212. p. 247-277 31 p. (Lecture Notes in Computer Science).

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

    35 Scopus citations

  • Non-Interactive Multiparty Computation Without Correlated Randomness

    Halevi, S., Ishai, Y., Jain, A., Komargodski, I., Sahai, A. & Yogev, E., 2017, ADVANCES IN CRYPTOLOGY - ASIACRYPT 2017, PT III. Takagi, T. & Peyrin, T. (eds.). Vol. 10626. p. 181-211 31 p. (Lecture Notes in Computer Science).

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

    21 Scopus citations

  • On the global-local dichotomy in sparsity modeling

    Batenkov, D., Romano, Y. & Elad, M., 2017, Applied and Numerical Harmonic Analysis. 9783319698014 ed. p. 1-53 53 p. (Applied and Numerical Harmonic Analysis; no. 9783319698014).

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

    Open Access
    8 Scopus citations

  • Polyominoes

    Barequet, G., Golomb, S. W. & Klarner, D. A., 1 Jan 2017, Handbook of Discrete and Computational Geometry, Third Edition. p. 359-380 22 p.

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

    Open Access
    5 Scopus citations

  • Secure Arithmetic Computation with Constant Computational Overhead

    Applebaum, B., Damgard, I., Ishai, Y., Nielsen, M., Zichron, L. & Damgård, I., 2017, ADVANCES IN CRYPTOLOGY - CRYPTO 2017, PT I. Shacham, H. & Katz, J. (eds.). Vol. 10401. p. 223-254 32 p. (Lecture Notes in Computer Science).

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

    37 Scopus citations

  • Super-resolution with probabilistic motion estimation

    Protter, M. & Elad, M., 1 Jan 2017, Super-Resolution Imaging. p. 97-121 25 p.

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

    Open Access
    1 Scopus citations

  • The Price of Low Communication in Secure Multi-party Computation

    Garay, J., Ishai, Y., Ostrovsky, R. & Zikas, V., 2017, ADVANCES IN CRYPTOLOGY - CRYPTO 2017, PT I. Shacham, H. & Katz, J. (eds.). Vol. 10401. p. 420-446 27 p. (Lecture Notes in Computer Science).

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

    17 Scopus citations

  • Two-Message Witness Indistinguishability and Secure Computation in the Plain Model from New Assumptions

    Badrinarayanan, S., Garg, S., Ishai, Y., Sahai, A. & Wadia, A., 2017, ADVANCES IN CRYPTOLOGY - ASIACRYPT 2017, PT III. Takagi, T. & Peyrin, T. (eds.). Vol. 10626. p. 275-303 29 p. (Lecture Notes in Computer Science).

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

    25 Scopus citations
  • 2016

    Analysis and synthesis with "big code"

    Yahav, E., 19 Apr 2016, Dependable Software Systems Engineering. Vol. 45. p. 244-282 39 p.

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