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: ResearchConference contribution

Millimeter waves
Acoustic waves
Steerable antennas
Rubidium
Correlators

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: ResearchConference contribution

Hashing
Directly proportional
Password
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 (Accepted/In press) International Conference on Virtual Rehabilitation 2017.

Research output: ResearchConference 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: ResearchConference contribution

Flow simulation
Turbulent flow
Viscosity
Pressure gradient
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: ResearchConference contribution

Millimeter waves
Simulators
Communication
Cellular radio systems
Antenna arrays

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: ResearchConference 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: ResearchConference contribution

Caching
Scheduler
Cache
Costs
Line

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: ResearchConference contribution

Convex Program
Welfare
Duality
Market
Social welfare

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: ResearchConference 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: ResearchConference contribution

Extracting more intra-transaction parallelism with work stealing for OLTP workloads

Zhou, X., Wang, Z., Chen, R., Chen, H. & Li, J. Sep 2 2017 Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017. Association for Computing Machinery, Inc, 3124748

Research output: ResearchConference contribution

Throughput
Processing

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: ResearchConference 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: ResearchConference contribution

Random Oracle
Crack
Concretes
Cracks
Auxiliary Information

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: ResearchConference 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: ResearchConference 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: ResearchConference contribution

Machine Translation
learning
time
Efficacy
Translating

Malware Fingerprinting under Uncertainty

Ghosh, K., Casey, W., Morales, J. A. & Mishra, B. Jul 20 2017 Proceedings - 4th IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2017 and 3rd IEEE International Conference of Scalable and Smart Cloud, SSC 2017. Institute of Electrical and Electronics Engineers Inc., p. 276-286 11 p. 7987210

Research output: ResearchConference contribution

Malware
Uncertainty
Classifiers
Formal verification
Binary images

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: ResearchConference contribution

Directional Antenna
Millimeter Wave
Diffraction
Model
Human

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: ResearchConference contribution

Compressed sensing
Channel estimation
Millimeter waves
Glossaries
Beamforming

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: ResearchConference contribution

Autocorrelation
Millimeter waves
Statistics
Directional patterns (antenna)
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: ResearchConference contribution

Toolkit
Machine Translation
Train
Usability
present

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: ResearchConference 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: ResearchConference 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: ResearchConference contribution

Acoustic waves

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: ResearchConference contribution

Program Analysis
Memory Model
Data storage equipment
Data Structures
Scalability

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: ResearchConference contribution

Indexing
Preprocessing
Query
Processing
Big data

Pretzel: Email encryption and provider-supplied functions are compatible

Gupta, T., Fingler, H., Alvisi, L. & Walfish, M. Aug 7 2017 SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 169-182 14 p.

Research output: ResearchConference contribution

Electronic mail
Cryptography
privacy
costs
evaluation

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: ResearchConference contribution

Hardness
Polynomials

Query-efficient imitation learning for end-to-end simulated driving

Zhang, J. & Cho, K. 2017 31st AAAI Conference on Artificial Intelligence, AAAI 2017. AAAI press, p. 2891-2897 7 p.

Research output: ResearchConference contribution

Facings
Supervised learning
Curricula
Railroad cars
Simulators

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: ResearchConference contribution

Structured inference networks for nonlinear state space models

Krishnan, R. G., Shalit, U. & Sontag, D. 2017 31st AAAI Conference on Artificial Intelligence, AAAI 2017. AAAI press, p. 2101-2109 9 p.

Research output: ResearchConference contribution

Learning algorithms
Recurrent neural networks
Scalability
Deep neural networks

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: ResearchConference contribution

Millimeter waves
Communication
Radio communication
Telecommunication
Base stations

The fake vs real goods problem: Microscopy and machine learning to the rescue

Sharma, A., Srinivasan, V., Kanchan, V. & Subramanian, L. Aug 13 2017 KDD 2017 - Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, Vol. Part F129685, p. 2011-2019 9 p.

Research output: ResearchConference contribution

Mobile devices
Learning algorithms
Learning systems
Microscopic examination
Leather

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: ResearchConference contribution

Decomposition
Group theory
Geometry
Functional analysis
Harmonic analysis

The minrank of random graphs

Golovnev, A., Regev, O. & Weinstein, O. Aug 1 2017 Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 20th International Workshop, APPROX 2017 and 21st International Workshop, RANDOM 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 81, 46

Research output: ResearchConference contribution

Networks (circuits)
Network coding
Boolean functions
Directed graphs

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: ResearchConference contribution

Communication
Relocation
Block codes

Universum prescription: Regularization using unlabeled data

Zhang, X. & LeCun, Y. 2017 31st AAAI Conference on Artificial Intelligence, AAAI 2017. AAAI press, p. 2907-2913 7 p.

Research output: ResearchConference contribution

Labels
Supervised learning
Sampling
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: ResearchConference contribution

Millimeter Wave
Fading
Antenna
Model
Fading (radio)

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: ResearchConference 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: ResearchConference contribution

Segmentation
Machine Translation
segmentation
language
Machine Translation System

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: ResearchConference contribution

Students
programming
Robot programming
Technical presentations
Computer science

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: ResearchConference 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: ResearchConference 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: ResearchConference contribution

Cardinality Constraints
Decision Procedures
Finite Set
Reasoning
Surface mount technology

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: ResearchConference 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: ResearchConference contribution

Path Loss
Prediction
Model
Macros
Anchors

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: ResearchConference contribution

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: ResearchConference 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: ResearchConference 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: ResearchConference contribution

Linear equations