Courant Institute

Research Output 1953 2017

Filter
Conference contribution
2017

A flexible wideband millimeter-wave channel sounder with local area and NLOS to LOS transition measurements

Maccartney, G. R., Yan, H., Sun, S. & Rappaport, T. S. Jul 28 2017 2017 IEEE International Conference on Communications, ICC 2017. Institute of Electrical and Electronics Engineers Inc., 7996791

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Millimeter waves
Steerable antennas
Rubidium
Correlators
Digital to analog conversion

A new distribution-sensitive secure sketch and popularity-proportional hashing

Woodage, J., Chatterjee, R., Dodis, Y., Juels, A. & Ristenpart, T. 2017 Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings. Springer Verlag, Vol. 10403 LNCS, p. 682-710 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10403 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Password
Hashing
Directly proportional
Authentication
Hash function

An Oculus Platfrom to Measure Sensory Integration for Postural Control in Patients with Vestibular Dysfunction

Lubetzky, A., Hujsak, B., Kary, E., Darmanin, H. & Perlin, K. 2017 International Conference on Virtual Rehabilitation 2017.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An ODE-based wall model for turbulent flow simulations

Berger, M. J. & Aftosmis, M. J. 2017 AIAA SciTech Forum - 55th AIAA Aerospace Sciences Meeting. American Institute of Aeronautics and Astronautics Inc., AIAA-2017-0528

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Viscosity
Flow simulation
Pressure gradient
Turbulent flow
Boundary value problems

A novel millimeter-wave channel simulator and applications for 5G wireless communications

Sun, S., Maccartney, G. R. & Rappaport, T. S. Jul 28 2017 2017 IEEE International Conference on Communications, ICC 2017. Institute of Electrical and Electronics Engineers Inc., 7996792

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Millimeter waves
Simulators
Cellular radio systems
Antenna arrays
Transmitters

A reverse minkowski theorem

Regev, O. & Stephens-Davidowitz, N. Jun 19 2017 STOC 2017 - Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, Vol. Part F128415, p. 941-953 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bounding cache miss costs of multithreaded computations under general schedulers

Cole, R. & Ramachandran, V. Jul 24 2017 SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Vol. Part F129316, p. 351-362 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Caching
Scheduler
Cache
Costs
Arbitrary

Convex program duality, fisher markets, and nash social welfare

Cole, R., Devanur, N. R., Gkatzelis, V., Jain, K., Mai, T., Vazirani, V. V. & Yazdanbod, S. Jun 20 2017 EC 2017 - Proceedings of the 2017 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 459-460 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Welfare
Social welfare
Integrality
Convex program
Upper bound

Convolutional recurrent neural networks for music classification

Choi, K., Fazekas, G., Sandler, M. & Cho, K. Jun 16 2017 2017 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2392-2396 5 p. 7952585

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Recurrent neural networks
Feature extraction
Neural networks

Entropy-SGD: Biasing Gradient Descent Into Wide Valleys

Chaudhari, P., Choromanska, A., Soatto, S., LeCun, Y., Baldassi, C., Borgs, C., Chayes, J., Sagun, L. & Zecchina, R. 2017 International Conference on Learning Representations (ICLR).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Gradient descent
Entropy

Extracting signals from news streams for disease outbreak prediction

Chakraborty, S. & Subramanian, L. Apr 19 2017 2016 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1300-1304 5 p. 7906051

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Experiments

Fixing cracks in the concrete: Random oracles with auxiliary input, revisited

Dodis, Y., Guo, S. & Katz, J. 2017 Advances in Cryptology – EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Springer Verlag, Vol. 10211 LNCS, p. 473-495 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10211 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Random oracle
Auxiliary information
Function generators
Authentication
Message authentication code

Indoor and outdoor 5G diffraction measurements and models at 10, 20, and 26 GHz

Deng, S., Maccartney, G. R. & Rappaport, T. S. Feb 2 2017 2016 IEEE Global Communications Conference, GLOBECOM 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7841898

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Diffraction
Horn antennas
Millimeter waves
Transmitters
Wireless networks

Indoor office wideband penetration loss measurements at 73 GHz

Ryan, J., Maccartney, G. R. & Rappaport, T. S. Jun 29 2017 2017 IEEE International Conference on Communications Workshops, ICC Workshops 2017. Institute of Electrical and Electronics Engineers Inc., p. 228-233 6 p. 7962662

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Antennas
Millimeter waves
Glass
Horn antennas
Correlators

Learning to translate in real-time with neural machine translation

Gu, J., Neubig, G., Cho, K. & Li, V. O. K. 2017 Long Papers - Continued. Association for Computational Linguistics (ACL), Vol. 1, p. 1053-1062 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

translation
Machine translation
machine
method
time

Millimeter-wave human blockage at 73 GHz with a simple double knife-edge diffraction model and extension for directional antennas

Maccartney, G. R., Deng, S., Sun, S. & Rappaport, T. S. Mar 17 2017 2016 IEEE 84th Vehicular Technology Conference, VTC Fall 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7881087

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model
Millimeter wave
Transmitter
Receiver
Millimeter waves

Millimeter Wave MIMO channel estimation based on adaptive compressed sensing

Sun, S. & Rappaport, T. S. Jun 29 2017 2017 IEEE International Conference on Communications Workshops, ICC Workshops 2017. Institute of Electrical and Electronics Engineers Inc., p. 47-53 7 p. 7962632

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Millimeter waves
Channel estimation
Glossaries
Beamforming
Compressed sensing

Millimeter wave small-scale spatial statistics in an urban microcell scenario

Sun, S., Yan, H., Maccartney, G. R. & Rappaport, T. S. Jul 28 2017 2017 IEEE International Conference on Communications, ICC 2017. Institute of Electrical and Electronics Engineers Inc., 7996408

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Autocorrelation
Millimeter waves
Directional patterns (antenna)
Antennas
Omnidirectional antennas

Nematus: A toolkit for neural machine translation

Sennrich, R., Firat, O., Cho, K., Birch, A., Haddow, B., Hitschler, J., Junczys-Dowmunt, M., Läubli, S., Barone, A. V. M., Mokry, J. & Nǎdejde, M. 2017 15th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2017 - Proceedings of the Software Demonstrations. Association for Computational Linguistics (ACL), p. 65-68 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Toolkit
translation
Machine translation
machine
Usability

Ogre and pythia: An invariance proof method for weak consistency models

Alglave, J. & Cousot, P. Jan 1 2017 POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Association for Computing Machinery, Vol. Part F125683, p. 3-18 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Invariance
Semantics
Specifications

On Directional Neighbor Discovery in mmWave Networks

Wang, Y., Mao, S. & Rappaport, T. S. Jul 13 2017 Proceedings - IEEE 37th International Conference on Distributed Computing Systems, ICDCS 2017. Institute of Electrical and Electronics Engineers Inc., p. 1704-1713 10 p. 7980107

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Millimeter waves
Transmitters

On Independent Sets, 2-to-2 Games, and Grassmann Graphs

Khot, S., Minzer, D. & Safra, M. Jun 19 2017 STOC 2017 - Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, Vol. Part F128415, p. 576-589 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Partitioned memory models for program analysis

Wang, W., Barrett, C. & Wies, T. 2017 Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Springer Verlag, Vol. 10145 LNCS, p. 539-558 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Memory model
Data structures
Scalability
Cell
Software verification

Pre-processing and indexing techniques for constellation queries in big data

Khatibi, A., Porto, F., Rittmeyer, J. G., Ogasawara, E., Valduriez, P. & Shasha, D. 2017 Big Data Analytics and Knowledge Discovery - 19th International Conference, DaWaK 2017, Proceedings. Springer Verlag, Vol. 10440 LNCS, p. 164-172 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10440 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Query
Astronomy
Electric sparks
Telescopes
Spatial distribution

Pseudorandomness of ring-LWE for any ring and modulus

Peikert, C., Regev, O. & Stephens-Davidowitz, N. Jun 19 2017 STOC 2017 - Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, Vol. Part F128415, p. 461-473 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardness
Polynomials

Scalable algorithms for bayesian inference of large-scale models from large-scale data

Ghattas, O., Isaac, T., Petra, N. & Stadler, G. 2017 High Performance Computing for Computational Science: VECPAR 2016 - 12th International Conference, Revised Selected Papers. Springer Verlag, Vol. 10150 LNCS, p. 3-6 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10150 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Study on 3GPP rural macrocell path loss models for millimeter wave wireless communications

Maccartney, G. R. & Rappaport, T. S. Jul 28 2017 2017 IEEE International Conference on Communications, ICC 2017. Institute of Electrical and Electronics Engineers Inc., 7996793

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Millimeter waves
Radio communication
Telecommunication
Base stations
Antennas

The integrality gap of the goemans-linial SDP relaxation for sparsest cut is at least a constant multiple of √logn

Naor, A. & Young, R. Jun 19 2017 STOC 2017 - Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, Vol. Part F128415, p. 564-575 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decomposition
Group theory
Geometry
Functional analysis
Harmonic analysis

Toucan-A Translator for Communication Tolerant MPI Applications

Martin, S. M., Berger, M. J. & Baden, S. B. Jun 30 2017 Proceedings - 2017 IEEE 31st International Parallel and Distributed Processing Symposium, IPDPS 2017. Institute of Electrical and Electronics Engineers Inc., p. 998-1007 10 p. 7967190

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Communication
Relocation
Block codes
2016

28 GHz millimeter-wave ultrawideband small-scale fading models in wireless channels

Samimi, M. K., Maccartney, G. R., Sun, S. & Rappaport, T. S. Jul 5 2016 2016 IEEE 83rd Vehicular Technology Conference, VTC Spring 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-July, 7503970

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Antenna
Antennas
Scenarios
Millimeter waves
Wavelength

5G 3GPP-like channel models for outdoor urban microcellular and macrocellular environments

Haneda, K. , Zhang, J. , Tan, L. , Liu, G. , Zheng, Y. , Asplund, H. , Li, J. , Wang, Y. , Steer, D. , Li, C. , Balercia, T. , Lee, S. , Kim, Y. , Ghosh, A. , Thomas, T. , Nakamura, T. , Kakishima, Y. , Imai, T. , Papadopoulos, H. , Rappaport, T. S. & 11 others Maccartney, G. R., Samimi, M. K., Sun, S., Koymen, O., Hur, S., Park, J., Zhang, C., Mellios, E., Molisch, A. F., Ghassamzadeh, S. S. & Ghosh, A. Jul 5 2016 2016 IEEE 83rd Vehicular Technology Conference, VTC Spring 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-July, 7503971

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Channel model
Model
Scenarios
Path loss
Ray tracing

A character-level decoder without explicit segmentation for neural machine translation

Chung, J., Cho, K. & Bengio, Y. 2016 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Long Papers. Association for Computational Linguistics (ACL), Vol. 3, p. 1693-1703 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

machine
translation
Segmentation
segmentation
Subword

A course on programming and problem solving

Sheth, S., Murphy, C., Ross, K. A. & Shasha, D. Feb 17 2016 SIGCSE 2016 - Proceedings of the 47th ACM Technical Symposium on Computing Science Education. Association for Computing Machinery, Inc, p. 323-328 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Students
Robot programming
Technical presentations
Computer science
Data structures

Adaptive algorithms and data-dependent guarantees for bandit convex optimization

Mohri, M. & Yang, S. 2016 32nd Conference on Uncertainty in Artificial Intelligence 2016, UAI 2016. Association For Uncertainty in Artificial Intelligence (AUAI), p. 815-824 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Convex optimization
Adaptive algorithms

Alphacodes: Usable, secure transactions with untrusted providers using human computable puzzles

Sharma, A., Chandrasekaran, V., Amjad, F., Shasha, D. & Subramanian, L. Nov 18 2016 Proceedings of the 7th Annual Symposium on Computing for Development, ACM DEV-7 2016. Association for Computing Machinery, Inc, a5

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A new decision procedure for finite sets and cardinality constraints in SMT

Bansal, K., Reynolds, A., Barrett, C. & Tinelli, C. 2016 Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Springer Verlag, Vol. 9706, p. 82-98 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Surface mount technology
Data structures

An Ō(n) queries adaptive tester for unateness

Khot, S. & Shinkar, I. Sep 1 2016 Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 19th International Workshop, APPROX 2016 and 20th International Workshop, RANDOM 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 60

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Boolean functions

A prediction study of path loss models from 2-73.5 GHz in an urban-macro environment

Thomas, T. A., Rybakowski, M., Sun, S., Rappaport, T. S., Nguyen, H., Kovacs, I. Z. & Rodriguez, I. Jul 5 2016 2016 IEEE 83rd Vehicular Technology Conference, VTC Spring 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-July, 7504094

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Anchors
Macros
Ray tracing
Physics

BDDC deluxe domain decomposition

Widlund, O. B. & Dohrmann, C. R. 2016 Domain Decomposition Methods in Science and Engineering XXII. Springer Verlag, Vol. 104, p. 93-103 11 p. (Lecture Notes in Computational Science and Engineering; vol. 104)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decomposition

BDDC deluxe for isogeometric analysis

Beirão da Veiga, L., Pavarino, L. F., Scacchi, S., Widlund, O. B. & Zampini, S. 2016 Domain Decomposition Methods in Science and Engineering XXII. Springer Verlag, Vol. 104, p. 15-28 14 p. (Lecture Notes in Computational Science and Engineering; vol. 104)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Binary embeddings with structured hashed projections

Choromanska, A., Choromanski, K., Bojarski, M., Jebara, T., Kumar, S. & Lecun, Y. 2016 33rd International Conference on Machine Learning, ICML 2016. International Machine Learning Society (IMLS), Vol. 1, p. 539-554 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Random variables
Classifiers
Neural networks

Candidate hard unique game

Khot, S. & Moshkovitz, D. Jun 19 2016 STOC 2016 - Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, Vol. 19-21-June-2016, p. 63-76 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Linear equations

Character-Aware neural language models

Kim, Y., Jernite, Y., Sontag, D. & Rush, A. M. 2016 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 2741-2749 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Recurrent neural networks
Semantics
Neural networks
Chemical analysis

Classifying bugs with interpolants

Podelski, A., Schäf, M. & Wies, T. 2016 Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings. Springer Verlag, Vol. 9762, p. 151-168 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9762)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Signature
Interpolants
Java
Interpolate
Benchmark

Complexity analysis of root clustering for a complex polynomial

Becker, R., Sagraloff, M., Sharma, V., Xu, J. & Yap, C. Jul 20 2016 ISSAC 2016 - Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, Vol. 20-22-July-2016, p. 71-78 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Complex polynomials
Complexity analysis
Clustering
Coefficient
Circle method

Conjugate conformal prediction for online binary classification

Kocak, M. A., Erkip, E. & Shasha, D. E. 2016 32nd Conference on Uncertainty in Artificial Intelligence 2016, UAI 2016. Association For Uncertainty in Artificial Intelligence (AUAI), p. 347-356 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning systems
Rain
Experiments

Crowdsourced facial expression mapping using a 3D avatar

Butler, C., Subramanian, L. & Michalowicz, S. May 7 2016 CHI EA 2016: #chi4good - Extended Abstracts, 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, Vol. 07-12-May-2016, p. 2798-2804 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Labels
Muscle
Semantics
Labeling
Chemical activation

Deep End2End Voxel2Voxel Prediction

Tran, D., Bourdev, L., Fergus, R., Torresani, L. & Paluri, M. Dec 16 2016 Proceedings - 29th IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2016. IEEE Computer Society, p. 402-409 8 p. 7789547

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Optical flows
Coloring
Labels
Semantics

Deep learning & convolutional networks

LeCun, Y. May 23 2016 2015 IEEE Hot Chips 27 Symposium, HCS 2015. Institute of Electrical and Electronics Engineers Inc., 7477328

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Intelligent buildings
Hardware

Describing videos by exploiting temporal structure

Yao, L., Torabi, A., Cho, K., Ballas, N., Pal, C., Larochelle, H. & Courville, A. Feb 17 2016 Proceedings - 2015 IEEE International Conference on Computer Vision, ICCV 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 11-18-December-2015, p. 4507-4515 9 p. 7410869

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Recurrent neural networks
Neural networks