Computer Science

Filter
Chapter

Search results

  • 2024

    Motif Finding Algorithms: A Performance Comparison

    Martorana, E., Grasso, R., Micale, G., Alaimo, S., Shasha, D., Giugno, R. & Pulvirenti, A., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 250-267 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14070 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2023

    Abstract Interpretation of Graphs

    Cousot, P., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 72-96 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13160 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Life Science Workflow Services (LifeSWS): Motivations and Architecture

    Akbarinia, R., Botella, C., Joly, A., Masseglia, F., Mattoso, M., Ogasawara, E., de Oliveira, D., Pacitti, E., Porto, F., Pradal, C., Shasha, D. & Valduriez, P., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 1-24 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14280 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • On the Gaussian Surface Area of Spectrahedra

    Arunachalam, S., Regev, O. & Yao, P., 2023, Lecture Notes in Mathematics. Springer Science and Business Media Deutschland GmbH, p. 57-65 9 p. (Lecture Notes in Mathematics; vol. 2327).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Specificities of Modeling of Membrane Proteins Using Multi-Template Homology Modeling

    Koehler Leman, J. & Bonneau, R., 2023, Methods in Molecular Biology. Humana Press Inc., p. 141-166 26 p. (Methods in Molecular Biology; vol. 2627).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2022

    Asteroid-Generated Tsunamis: A Review

    Berger, M., 2022, SEMA SIMAI Springer Series. Springer Science and Business Media Deutschland GmbH, p. 3-17 15 p. (SEMA SIMAI Springer Series; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access

  • Asynchronous Correspondences Between Hybrid Trajectory Semantics

    Cousot, P., 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 131-159 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13660 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Tuning database design for high performance

    Bonnet, P. & Shasha, D., May 30 2022, Computing Handbook: Two-Volume Set. CRC Press, p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2021

    Dynamic interval analysis by abstract interpretation

    Cousot, P., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 61-86 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13065 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Random-Order Models

    Gupta, A. & Singla, S., Jan 1 2021, Beyond the Worst-Case Analysis of Algorithms. Cambridge University Press, p. 234-258 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Statistics is easy case studies on real scientific datasets

    Katari, M. S., Tyagi, S. & Shasha, D., Apr 7 2021, Synthesis Lectures on Mathematics and Statistics: Lecture #37. 3 ed. Morgan and Claypool Publishers, p. 1-73 73 p. (Synthesis Lectures on Mathematics and Statistics; vol. 13, no. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The Andoni–Krauthgamer–Razenshteyn Characterization of Sketchable Norms Fails for Sketchable Metrics

    Khot, S. & Naor, A., 2021, Springer Optimization and Its Applications. Springer, p. 185-204 20 p. (Springer Optimization and Its Applications; vol. 168).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
  • 2020

    Artificial intelligence–enabled public health surveillance—from local detection to global epidemic monitoring and control

    Zeng, D., Cao, Z. & Neill, D. B., Jan 1 2020, Artificial Intelligence in Medicine: Technical Basis and Clinical Applications. Elsevier Applied Science, p. 437-453 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Automated Verification of Concurrent Search Structures

    Krishna, S., Patel, N., Shasha, D. & Wies, T., Jun 1 2020, Synthesis Lectures on Computer Science: Lecture #13. 1 ed. Morgan and Claypool Publishers, p. 1-188 188 p. (Synthesis Lectures on Computer Science; vol. 9, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Bounds on Dimension Reduction in the Nuclear Norm

    Regev, O. & Vidick, T., 2020, Lecture Notes in Mathematics. Springer, p. 279-299 21 p. (Lecture Notes in Mathematics; vol. 2266).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Gradient sampling methods for nonsmooth optimization

    Burke, J. V., Curtis, F. E., Lewis, A. S., Overton, M. L. & Simões, L. E. A., Jan 1 2020, Numerical Nonsmooth Optimization: State of the Art Algorithms. Springer International Publishing, p. 201-225 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access

  • Resolution-Exact Planner for Thick Non-Crossing 2-Link Robots

    Yap, C. K., Luo, Z. & Hsu, C. H., 2020, Springer Proceedings in Advanced Robotics. Springer Science and Business Media B.V., p. 576-591 16 p. (Springer Proceedings in Advanced Robotics; vol. 13).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
  • 2019

    Proof Verification Technology and Elementary Physics

    Davis, E., 2019, Fields Institute Communications. Springer New York LLC, p. 81-132 52 p. (Fields Institute Communications; vol. 82).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2018

    Generative models for quantification of DNA modifications

    Äijö, T., Bonneau, R. & Lähdesmäki, H., 2018, Methods in Molecular Biology. Humana Press Inc., p. 37-50 14 p. (Methods in Molecular Biology; vol. 1807).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2017

    Computational and quantitative real algebraic geometry

    Basu, S. & Mishra, B., Jan 1 2017, Handbook of Discrete and Computational Geometry, Third Edition. CRC Press, p. 969-1002 34 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Cut Cells: Meshes and Solvers

    Berger, M., 2017, Handbook of Numerical Analysis. Elsevier B.V., p. 1-22 22 p. (Handbook of Numerical Analysis; vol. 18).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • First order probabilities for Galton-Watson trees

    Podder, M. & Spencer, J., Jan 1 2017, A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. Springer International Publishing, p. 711-734 24 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Improved Learning of Dynamics Models for Control

    Venkatraman, A., Capobianco, R., Pinto, L., Hebert, M., Nardi, D. & Bagnell, J. A., 2017, Springer Proceedings in Advanced Robotics. Springer Science and Business Media B.V., p. 703-713 11 p. (Springer Proceedings in Advanced Robotics; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Modeling and design of peptidomimetics to modulate protein–protein interactions

    Watkins, A. M., Bonneau, R. & Arora, P. S., 2017, Methods in Molecular Biology. Humana Press Inc., p. 291-307 17 p. (Methods in Molecular Biology; vol. 1561).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Robust geometric computation

    Sharma, V. & Yap, C. K., Jan 1 2017, Handbook of Discrete and Computational Geometry, Third Edition. CRC Press, p. 1189-1223 35 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The restricted isometry property of subsampled fourier matrices

    Haviv, I. & Regev, O., 2017, Lecture Notes in Mathematics. Springer Verlag, p. 163-179 17 p. (Lecture Notes in Mathematics; vol. 2169).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Variational convolutional networks for human-centric annotations

    Ke, T. W., Lin, C. W., Liu, T. L. & Geiger, D., 2017, Computer Vision - 13th Asian Conference on Computer Vision, ACCV 2016, Revised Selected Papers. Nishino, K., Lai, S.-H., Lepetit, V. & Sato, Y. (eds.). Springer Verlag, p. 120-135 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10114 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2016

    Bacillus subtilis systems biology: Applications of -omics techniques to the study of endospore formation

    Bate, A. R., Bonneau, R. & Eichenberger, P., Apr 9 2016, The Bacterial Spore: From Molecules to Systems. Wiley, p. 129-144 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Big data, social media, and protest: Foundations for a research agenda

    Tucker, J. A., Nagler, J., MacDuffee, M. M., Barberá, P., Penfold-Brown, D. & Bonneau, R., Mar 7 2016, Computational Social Science: Discovery and Prediction. Cambridge University Press, p. 199-224 26 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Domain adaptation with active learning for named entity recognition

    Sun, H., Grishman, R. & Wang, Y., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 611-622 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10040).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2015

    How should robots think about space?

    Davis, E., Jan 1 2015, Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics. Springer International Publishing, p. 75-99 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Introduction

    Davis, E., Jan 1 2015, Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics. Springer International Publishing, p. 1-7 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Knowledge Representation

    Davis, E., Mar 26 2015, International Encyclopedia of the Social & Behavioral Sciences: Second Edition. Elsevier Inc., p. 98-104 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Millimeter-wave wireless networks: A medium access control perspective

    Mao, S. & Rappaport, T. T. S., Jan 1 2015, Wireless Network Performance Enhancement Via Directional Antennas: Models, Protocols, and Systems. CRC Press, p. 155-168 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Unsupervised deep learning: A short review

    Karhunen, J., Raiko, T. & Cho, K. H., Jan 1 2015, Advances in Independent Component Analysis and Learning Machines. Elsevier, p. 125-142 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2014

    Best–fit thrust network analysis: Rationalization of freeform meshes

    Mele, T. V., Panozzo, D., Sorkine-Hornung, O. & Block, P., Jan 1 2014, Shell Structures for Architecture: Form Finding and Optimization. Taylor and Francis, Vol. 9781315849270. p. 157-169 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Fawkescoin: A cryptocurrency without public-key cryptography (Transcript of Discussion)

    Bonneau, J., 2014, Security Protocols XXII - 22nd International Workshop, Revised Selected Papers. Stajano, F., Matyáš, V., Švenda, P., Anderson, J., Christianson, B. & Malcolm, J. (eds.). Springer Verlag, p. 359-370 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8809).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Fawkescoin a cryptocurrency without public-key cryptography

    Bonneau, J. & Miller, A., 2014, Security Protocols XXII - 22nd International Workshop, Revised Selected Papers. Stajano, F., Matyáš, V., Švenda, P., Anderson, J., Christianson, B. & Malcolm, J. (eds.). Springer Verlag, p. 350-358 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8809).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Tuning database design for high performance

    Bonnet, P. & Shasha, D., Jan 1 2014, Computing Handbook, Third Edition: Information Systems and Information Technology. CRC Press, p. 9-1-9-15

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2013

    A Framework for Qualitative Reasoning About Solid Objects

    Davis, E., Sep 17 2013, Readings in Qualitative Reasoning About Physical Systems. Elsevier Inc., p. 603-609 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access

  • Erdős magic

    Spencer, J., Jan 1 2013, The Mathematics of Paul Erdos I, Second Edition. Springer New York, p. 43-46 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • FSB: A flexible set-balancing strategy for last-level caches

    Zahran, M., Ahsan, B., Hammoud, M., Cho, S. & Melhem, R., Jan 1 2013, Multicore Computing: Algorithms, Architectures, and Applications. CRC Press, p. 45-72 28 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Learning binary hash codes for large-scale image search

    Grauman, K. & Fergus, R., 2013, Machine Learning for Computer Vision. Springer Verlag, p. 49-87 39 p. (Studies in Computational Intelligence; vol. 411).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access

  • Mathematics' mortua manus:Discovering dexterity

    Mishra, B., May 1 2013, From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz. Springer-Verlag London Ltd, Vol. 9781447142829. p. 105-119 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Order of Magnitude Reasoning in Qualitative Differential Equations

    Davis, E., Sep 17 2013, Readings in Qualitative Reasoning About Physical Systems. Elsevier Inc., p. 422-434 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Stability Optimization for Polynomials and Matrices

    Overton, M. L., Dec 31 2013, Nonlinear Physical Systems: Spectral Analysis, Stability and Bifurcations. Wiley-Blackwell, Vol. 9781848214200. p. 351-375 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The erdős existence argument

    Spencer, J., Jan 1 2013, The Mathematics of Paul Erdos I, Second Edition. Springer New York, p. 435-444 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2012

    Efficient backprop

    LeCun, Y. A., Bottou, L., Orr, G. B. & Müller, K. R., 2012, Neural Networks: Tricks of the Trade. Springer Verlag, p. 9-48 40 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7700 LECTURE NO).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Ensemble nyström

    Kumar, S., Mohri, M. & Talwalkar, A., Jan 1 2012, Ensemble Machine Learning: Methods and Applications. Springer US, p. 203-223 21 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Information Extraction

    Grishman, R., Sep 18 2012, The Oxford Handbook of Computational Linguistics. Oxford University Press, Vol. 9780199276349.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter