Research Output 1966 2019

Filter
Chapter
2019

Proof Verification Technology and Elementary Physics

Davis, E., Jan 1 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

Correctness
Physics
Software
Theorem
2018

Generative models for quantification of DNA modifications

Äijö, T., Bonneau, R. & Lähdesmäki, H., Jan 1 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

Cytosine
DNA
Methylation
Research Design
Statistical Models
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

Real Algebraic Geometry
Theorem proving
Computer aided design
Robotics
Geometric theorem

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

Galton-Watson Tree
Poisson distribution
First-order
Quantifiers
First-order Logic

Modeling and design of peptidomimetics to modulate protein–protein interactions

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Peptidomimetics
Secondary Protein Structure
Tertiary Protein Structure
Software
Databases

Robust geometric computation

Sharma, V. & Yap, C., 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

Geometric Algorithms
Exact Computation
Numerical Computation
Robustness
Software

The restricted isometry property of subsampled fourier matrices

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Isometry
Norm

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. Springer Verlag, Vol. 10114 LNCS. 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

Annotation
Encoder
Model
Integrate
Benchmark
2016

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

Tucker, J., 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

social media
protest

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, Vol. 10040. 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

Named Entity Recognition
Active Learning
Labeling
Labels
Entropy
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

Robot
Real Line
Euclidean space
Ontology
Choose

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

History of Mathematics
Computer Science
Education
Philosophy
Psychology

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

formal logic
value judgement
artificial intelligence
logic
semantics

Millimeter-wave wireless networks: A medium access control perspective

Mao, S. & Rappaport, T., 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

access control
Medium access control
Millimeter waves
millimeter waves
Wireless networks
2014

A brief overview of the NEBULA future internet architecture

Anderson, T., Birman, K., Broberg, R., Caesar, M., Comer, D., Cotton, C., Freedman, M. J., Haeberlen, A., Ives, Z. G., Krishnamurthy, A., Lehr, W., Loo, B. T., Mazières, D., Nicolosi, A., Smith, J. M., Stoica, I., Van Renesse, R., Walfish, M., Weatherspoon, H. & Yoo, C. S., 2014, Computer Communication Review. 3 ed. Association for Computing Machinery, Vol. 44. p. 81-86 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Cloud computing
Internet
Routers

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, p. 157-169 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Electric network analysis
Network Analysis
Rationalization

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

Bonneau, J., 2014, Security Protocols XXII - 22nd International Workshop, Revised Selected Papers. Springer Verlag, Vol. 8809. 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

Public key cryptography
Public Key Cryptography
Electronic money

Fawkescoin a cryptocurrency without public-key cryptography

Bonneau, J. & Miller, A., 2014, Security Protocols XXII - 22nd International Workshop, Revised Selected Papers. Springer Verlag, Vol. 8809. 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

Public key cryptography
Public Key Cryptography
Signature
Transactions
Demonstrate

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

Database Design
Tuning
High Performance
Register Allocation
Arbitrage
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

Differential equations

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

Children

Learning binary hash codes for large-scale image search

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Binary codes
Content based retrieval
Object recognition
Spectrum analysis
Data structures

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

Jacks
Computational geometry
Robotics

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

Differential equations
Dynamical systems

Stability Optimization for Polynomials and Matrices

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Feedback Control
Optimization Problem
Polynomial
Frequency Domain
Optimization

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

Probabilistic Methods
Lower bound
Methodology
Graph in graph theory
Knowledge
2012

Efficient backprop

LeCun, Y., Bottou, L., Orr, G. B. & Müller, K. R., 2012, Neural Networks: Tricks of the Trade. Vol. 7700 LECTURE NO. 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

Neural networks
Neural Nets
Back Propagation
Backpropagation
Optimization Methods

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

Sampling
Experiments

Information Extraction

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

Research output: Chapter in Book/Report/Conference proceedingChapter

event
language analysis
linguistics
dictionary
Information Extraction

Transformation invariance in pattern recognition - Tangent distance and tangent propagation

Simard, P. Y., LeCun, Y., Denker, J. S. & Victorri, B., 2012, Neural Networks: Tricks of the Trade. Vol. 7700 LECTURE NO. 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

Invariance
Tangent line
Pattern Recognition
Pattern recognition
Propagation
2011

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

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Counting

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

Experiments

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, p. 399-419 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Field programmable gate arrays (FPGA)
Filter banks
Supervised learning
Object recognition
Unmanned aerial vehicles (UAV)

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

Semantics
Surface mount technology
Acoustic waves

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

Multiple Testing
Model Checking
Multiple Hypothesis Testing
Causal Inference
Temporal Logic

Storing clocked programs inside DNA: A simplifying framework for nanocomputing

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

Research output: Chapter in Book/Report/Conference proceedingChapter

DNA
Punching
Clocks
Subroutines
Computer programming

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, p. 385-395 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Degree Sequence
Random Graphs
Power Law
Proportion
Directly proportional
2010

Inapproximability results for computational problems on lattices

Khot, S., 2010, Information Security and Cryptography. Springer International Publishing, Vol. 10. 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

Information Extraction

On the complexity of lattice problems with polynomial approximation factors

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Polynomial approximation
Polynomials
Factors
Approximation

Quantum algorithms

Kempe, J. & Vidick, T., Sep 1 2010, Quantum Information, Computation and Cryptography: An Introductory Survey of Theory, Technology and Experiments. Benatti, F. (ed.). p. 309-342 34 p. (Lecture Notes in Physics; vol. 808).

Research output: Chapter in Book/Report/Conference proceedingChapter

quantum computers
Turing machines
quantum mechanics
physics
simulation
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., Jan 1 2009, Adaptive Antennas for Wireless Communications. John Wiley and Sons Inc., p. 452-462 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

code division multiple access
directional antennas
Code division multiple access
antennas
Antennas

Forward-secure hierarchical IBE with applications to broadcast encryption

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Cryptography
Access control
Joining

Overview of spatial channel models for antenna array communication systems

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

Research output: Chapter in Book/Report/Conference proceedingChapter

antenna arrays
Antenna arrays
telecommunication
Communication systems
antennas

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

Systems Biology
Technology
Biological Sciences
Genomics
Computational Biology

Satisfiability modulo theories

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Artificial intelligence
Formal verification

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

Informatics
Systems Biology
biologists
Software
Ions
2008

De Novo Structure Prediction: Methods and Applications

Bonneau, R., Feb 5 2008, Bioinformatics-From Genomes to Therapies. Wiley-VCH Verlag GmbH, Vol. 1. p. 389-418 30 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Mutagenesis

Quantum Algorithms

Kempe, J., Feb 5 2008, Lectures on Quantum Information. Wiley-VCH Verlag GmbH, p. 87-104 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

quantum computers
quantum mechanics