Research Output

Filter
Chapter
2020

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

2016

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

2012

Efficient backprop

LeCun, Y. A., Bottou, L., Orr, G. B. & Müller, K. R., 2012, Neural Networks: Tricks of the Trade. Montavon, G., Muller, K-R., Orr, G. B. & Muller, K-R. (eds.). 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 proceedingChapter

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 proceedingChapter

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 proceedingChapter

Transformation invariance in pattern recognition - Tangent distance and tangent propagation

Simard, P. Y., Lecun, Y. A., Denker, J. S. & Victorri, B., 2012, Neural Networks: Tricks of the Trade. Montavon, G., Muller, K-R., Orr, G. B. & Muller, K-R. (eds.). p. 235-269 35 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 proceedingChapter

2011

Eighty years of Ramsey R(3, k) … and counting!

Spencer, J., 2011, Progress in Mathematics. Springer Basel, p. 27-39 13 p. (Progress in Mathematics; vol. 285).

Research output: Chapter in Book/Report/Conference proceedingChapter

Exploring the coming repositories of reproducible experiments: Challenges and opportunities

Freire, J., Bonnet, P. & Shasha, D., Aug 2011, Proceedings of the VLDB Endowment. 12 ed. Vol. 4. p. 1494-1497 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Large-scale FPGA-based convolutional networks

Farabet, C., LeCun, Y., Kavukcuoglu, K., Martini, B., Akselrod, P., Talay, S. & Culurciello, E., Jan 1 2011, Scaling up Machine Learning: Parallel and Distributed Approaches. Cambridge University Press, Vol. 9780521192248. p. 399-419 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Logical abstract domains and interpretations

Cousot, P., Cousot, R. & Mauborgne, L., 2011, The Future of Software Engineering. Springer Berlin Heidelberg, p. 48-71 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Multiple testing of causal hypotheses

Kleinberg, S. & Mishra, B., Sep 22 2011, Causality in the Sciences. Oxford University Press

Research output: Chapter in Book/Report/Conference proceedingChapter

Storing clocked programs inside DNA: A simplifying framework for nanocomputing

Chang, J. P. & Shasha, D. E., Apr 21 2011, Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing. p. 1-73 73 p. (Synthesis Lectures on Computer Science; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapter

The degree sequence of a scale-free random graph process

Bollobás, B., Riordan, O., Spencer, J. & Tusnády, G., Oct 23 2011, The Structure and Dynamics of Networks. Princeton University Press, Vol. 9781400841356. p. 385-395 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2010

Inapproximability results for computational problems on lattices

Khot, S., 2010, Information Security and Cryptography. Springer International Publishing, p. 453-473 21 p. (Information Security and Cryptography; vol. 10).

Research output: Chapter in Book/Report/Conference proceedingChapter

Information Extraction

Grishman, R., Jun 29 2010, The Handbook of Computational Linguistics and Natural Language Processing. Wiley-Blackwell, p. 515-530 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

On the complexity of lattice problems with polynomial approximation factors

Regev, O., 2010, Information Security and Cryptography. Springer International Publishing, p. 475-496 22 p. (Information Security and Cryptography; vol. 10).

Research output: Chapter in Book/Report/Conference proceedingChapter

2009

Adaptive Cartesian Methods for Modeling Airborne Dispersion

Wissink, A., Kosovic, B., Berger, M., Chand, K. & Chow, F. K., Dec 9 2009, Advanced Computational Infrastructures for Parallel and Distributed Adaptive Applications. John Wiley & Sons, Inc., p. 79-104 26 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Analytical results for capacity improvements in CDMA

Liberti, J. C. & Rappaport, T. S., Jan 1 2009, Adaptive Antennas for Wireless Communications. Wiley-IEEE Press, p. 452-462 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Forward-secure hierarchical IBE with applications to broadcast encryption

Yao, D., Fazio, N., Dodis, Y. & Lysyanskaya, A., 2009, Identity-Based Cryptography. IOS Press, p. 100-118 19 p. (Cryptology and Information Security Series; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingChapter

Overview of spatial channel models for antenna array communication systems

Ertel, R. B., Caroieri, P., Sowerby, K. W., Rappaport, T. S. & Reed, J. H., Jan 1 2009, Adaptive Antennas for Wireless Communications. Wiley-IEEE Press, p. 20-32 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Prokaryotic Systems Biology

Kacmarczyk, T., Waltman, P. & Bonneau, R., Aug 18 2009, Plant Systems Biology. Blackwell Publishing Ltd, Vol. 35. p. 67-136 70 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Satisfiability modulo theories

Barrett, C., Sebastiani, R., Seshia, S. A. & Tinelli, C., 2009, Handbook of Satisfiability. 1 ed. IOS Press, p. 825-885 61 p. (Frontiers in Artificial Intelligence and Applications; vol. 185, no. 1).

Research output: Chapter in Book/Report/Conference proceedingChapter

Software Tools for Systems Biology: Visualizing the Outcomes of N Experiments on M Entities

Poultney, C. & Shasha, D., Aug 18 2009, Plant Systems Biology. Blackwell Publishing Ltd, Vol. 35. p. 167-195 29 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2008

A Machine Learning Framework for Spoken-Dialog Classification

Cortes, C., Haffner, P. & Mohri, M., 2008, Springer Handbooks. Springer, p. 585-596 12 p. (Springer Handbooks).

Research output: Chapter in Book/Report/Conference proceedingChapter