Research Output per year

## Research Output

## Knowledge representation

Davis, E., 2015,*The international encyclopedia of the social and behavioral sciences.*2 ed. Oxford: Elsevier Science Publishers, Vol. 13. p. 98-104

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Soft subdivision search and motion planning, II: Axiomatics (plenary talk)

Yap, C., 2015,*9th International Frontiers of Algorithmics Workshop (FAW). Guilin, China. August 3-5, 2015.*Springer, (Lecture notes in computer science; vol. 9130).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Pi is in logspace

Yap, C., 2013,*People, problems, proofs: Essays from Goedel's lost letter 2010.*Lipton, RJ. & Reagan, KW. (eds.). Springer, Chapter 31

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Deep learning and Boltzmann machines

Cho, K., Raiko, T. & Ilin, A., 2012,*The Biennial Report of our Adaptive Informatics Research Centre (2010–2011).*Aalto University

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Expand minds, not the NYU campus

Davis, E., Deer, P. & Miller, MC., 2012,*While we were sleeping: NYU and the destruction of New York.*Miller, MC. (ed.). McNally-Jackson

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Focus on personalized molecular based medicine

Mishra, B., Van der Ploeg, L. H. T., Eitner, C., Burrows, J., Tombler, T., Poponin, V., Knauer, D., Ichetovkin, I., Pinnola, R., Endress, G. & Soon-Shiong, P., 2012,*Biomakers in oncology.*Lenz, MD, H-J. (ed.). New York: Springer Verlag

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Malaria: The painful faces ask, can we not cure?

Mishra, B., 2012,*The rising indian.*

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Qualitative reasoning and spatio-temporal continuity

Davis, E., 2012,*Qualitative and spatio-temporal representation and reasoning: Trends and future directions.*Hazarika, S. (ed.). IGI Global

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## unknown

Shasha, D., 2012,*Graph data management: Techniques and applications.*Sakr, S. & Pardede, E. (eds.). IGI Global

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Eighty years of* R *(3, *k*)...and counting!

Spencer, J., 2011, *Ramsey theory: Yesterday, today and tomorrow.*Soifer, A. (ed.). Birkhauser, p. 27-38

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Introduction to dual composition for inference

Sontag, D., Globerson, A. & Jaakkola, T., 2011,*Optimization for machine learning.*Sra, S., Nowozin, S. & Wright, SJ. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## L'analyseur statique ASTREE (in French)

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A. & Rival, X., 2011,*Utilisations industrielles des techniques formelles: Interpretation abstraite.*Boulanger, J-L. (ed.). Lavoisier, p. 67-114 (Collection IC2, Editions Hermes).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Learning binary projections for large scale image search

Grauman, K. & Fergus, R., 2011,*Computer vision.*Cipolla, R., Battiato, S. & Farinella, G. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Sarve santu niramaya: Computational biology's promises for India

Mishra, B., 2011,*Homi bhabha and the computer revolution.*Shyamasundar, R. K. & Pai, M. A. (eds.). Oxford: Oxford University Press, p. 295-315

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## A scalable introduction to formal verification of computer systems by abstract interpretation

Cousot, P. & Cousot, R., 2010,*Logics and languages for reliability and security.*Esparza, J., Spanfelner, B. & Grumberg, O. (eds.). IOS Press, p. 1-29 (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 25).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Concealment and its applications to authenticated encryption

Dodis, Y., 2010,*Practical signcryption.*Dent, A. & Zheng, Y. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## On the complexity of lattice problems with polynominal approximation factors

Regev, O., 2010,*The LLL algorithm.*Nguyen, P. Q. & Vallee, B. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Inapproximability results for computational problems on lattices

Khot, S., 2009,*The LLL algorithm: Survey and applications.*Springer

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Lattice-based cryptography

Micciancio, D. & Regev, O., 2009,*Post-quantum cryptography.*Bernstein, D. J. & Buchmann, J. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## The Joint Conference of ASCM 2009 and MACIS 2009

Suzuki, M. (ed.), Hong, H. (ed.), Yap, C. (ed.) & al., (ed.), Dec 2009,*COE Lecture Note: Proceedings, 9th Asian Symposium on Computer Mathematics and 3rd International Conference on Mathematical Aspects of Computer and Info.*Japan: Faculty of Mathematics, Kyushu University, Vol. 22.

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Forward-secure hierarchical IBE with applications to broadcast encryption schemes

Dodis, Y., Yao, D., Fazio, N. & Lysyanskaya, A., 2008,*Identity-based cryptography.*Joye, M. & Neven, G. (eds.). IOS Press, (Cryptology and Information Security Series).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Genomics via optical mapping I: 0-1 laws for single molecules

Mishra, B. & Anantharaman, T. S., 2008,*Advances in computational biology.*Yancopoulous, S. (ed.).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Offshoring in the U.S. telecommunications industry

Rappaport, T., 2008,*The offshoring of engineering: Facts, unknowns, and potential implications.*Washington, D.C: The National Academies Press, p. 213-218

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Physical reasoning

Davis, E., 2008,*The handbook of knowledge representation.*van Harmelen, F., Lifschitz, V. & Porter, B. (eds.). Elsevier, Vol. Oxford. p. 597-620 Chapter 14

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Robust geometric computation

Yap, C. & Sharma, V., 2008,*Encyclopedia of algorithms.*Kao, M. (ed.). Springer, p. 788-790

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## The maturation of the probalistic method

Spencer, J., 2008,*Building bridges.*Grötschel, M. & Katona, G. (eds.). Springer, p. 515-524 (Bolyai Society Mathematical Studies 19).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Amortized bounds for root isolation via Sturm sequences

Du, Z., Sharma, V. & Yap, C., 2007,*Symbolic-numeric computation, trends in mathematics: Proceedings of the International Workshop on Symbolic-Numeric Computation. Xi'an, China. July 19-21, 2005.*Wang, D. & Zhi, L. (eds.). Basel: Birkhauser Verlag AG, p. 113-130

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Logic and random structures

Spencer, J., 2007,*Finite model theory and its applications.*Springer, p. 231-255

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Scaling learning algorithms towards AI

Bengio, Y. & Lecun, Y., 2007,*Large-scale kernel machines.*Bottou, L., Chapelle, O., DeCoste, D. & Weston, J. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## A sparse object category model for efficient learning and complete recognition

Fergus, R., Perona, P. & Zisserman, A., 2006,*Toward category-level object recognition.*Ponce, J., Herbert, M., Schmid, C. & Zisserman, A. (eds.). Springer, (1470).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## A tutorial on energy-based learning

Lecun, Y., Chopra, S., Hadsell, R., Ranzato, M. A. & Huang, F. J., 2006,*Predicting structured data.*Bakir, G., Hofman, T., Scholkopt, B., Smola, A. & Taskar, B. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Decidability of collision between a helical motion and an algebraic motion

Choi, S., Pae, S., Park, H. & Yap, C., 2006,*7th Conference on Real Numbers and Computers (RNC 7) LORIA, Nancy, France. July 10-12, 2006.*Hanrot, H. & Zimmerman, P. (eds.). p. 69-82

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Multiple biological model classification: From system biology to synthetic biology

Mishra, B. & Antoniotti, M., 2006,*Transactions on computational systems biology.*Springer Verlag

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Object class recognition by unsupervised scale-invariant learning

Fergus, R., Perona, P. & Zisserman, A., 2006,*Cognitive vision systems.*Nagel, H. H. (ed.). Springer LNCS, p. 3948

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Uniform complexity of approximating hypergeometric functions with absolute error

Du, Z. & Yap, C., 2006,*Proceedings of the 7th Asian Symposium on Computer Math (ASCM 2005) Korea Institute for Advanced Study, Seoul. Dec. 8 - 10, 2005.*Pae, S. & Park, H. (eds.). p. 246-249

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## AnticlustAl: Multiple sequence alignment by antipole clustering data mining

Di Pietro, C., Ferro, A., Pigola, G., Pulvirenti, A., Purrello, M. & Shasha, D., 2005,*Data mining in bioinformatics.*p. 43-57

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## A survey of subdivision-based tools for surface modeling

Boier-Martin, I., Zorin, D. & Bernardini, F., 2005,*AMS/DIMACS volume on computer-aided design and manufacturing.*Vol. 67. p. 1-28

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Stability of hybrid systems and related questions from systems biology

Mishra, B. & Piazza, C., 2005,*Advances in control, communications networks, and tranportation systems.*Abed, E. H. (ed.). Birkhauser Boston, (In honor of Professor Pravin Varaiya on his 65th birthday)(Systems and control: foundations and applications series).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Computational real algebraic geometry

Mishra, B., 2004,*CRC handbook of discrete and computational geometry.*Goodman, J. E. & O'Rourke, J. (eds.). 2 ed. Boca Raton, Florida: CRC Press, p. 740-764 (CRC Series, Discrete and Combinatoral Mathematics).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Models of genome evolution

Mishra, B. & Zhou, Y., 2004,*Modeling in molecular biology.*Ciobanu, G. & Rozenberg, G. (eds.). Springer Verlag, p. 287-304 (Natural Computing Series, Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## On guaranteed accuracy computation

Yap, C., 2004,*Geometric computation.*Chen, F. & Wang, D. (eds.). Singapore: World Scientific Publishing, p. 322-373 Chapter 12

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Robust geometric computation

Yap, C., 2004,*Handbook of discrete and computational geometry.*2 ed. Boca Raton, FL: Chapman & Hall/CRC, p. 927-952 Chapter 41

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Scheduling overloaded real-time systems with comparative/worst case guarantees

Koren, G. & Shasha, D., 2004,*Handbook of scheduling: Algorithms, models, and performance analysis.*Leung, J. Y. T. (ed.). Chapman Hall/CRC Publishers

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## The biplanar crossing number of the random graph

Spencer, J., 2004,*Towards a theory of geometric graphs.*Pach, J. (ed.). AMS, p. 269-272 (Contemporary Mathematics 342).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Towards robust geometric computation (invited white paper)

Yap, C. & Melhorn, K., 2004,*Computer science: Reflections on/from the field: CSTB-NSF Conference on Fundamentals of Computer Science. Washington, DC. July 25-26, 2001.*Washington, DC: The National Academies Press, Appendix

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Tuning database design for high performance

Shasha, D. & Bonnet, P., 2004,*CRC handbook of computer science and engineering.*Tucker, A. (ed.).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Information extraction

Grishman, R., 2003,*The Oxford handbook of computational linguistics.*Mitkov, R. (ed.). Oxford University Press, Chapter 30

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## New results on the distribution of distances determined by a point set

Spencer, J., Makai, E. & Pach, J., 2002,*Paul Erdős and his mathematics : II. J. Bolyai Mathematical Society. Budapest, 2002.*Halasz, G., Lovasz, L., Simonovits, M. & Sos, VT. (eds.). Berlin: Springer, p. 499-511 (Bolyai Society Mathematical Studies; vol. XI).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Random graphs, sets and tournaments

Spencer, J., 2002,*Paul Erdős and his mathematics.*Halasz, G., Lovasz, L., Simonovits, M. & Sos, VT. (eds.). Berlin: Springer, Vol. 2. p. 637-648 (Bolyai Society Mathematical Studies; vol. XI).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

## Two numerical methods for optimizing matrix stability

Overton, M., Burke, J. V. & Lewis, A. S., 2002,*Linear algebra and its applications.*Vol. 351-352. p. 117-145

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)