Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4958 Publications


2017 | Published | Conference Paper | IST-REx-ID: 431 | OA
Alistarh, Dan-Adrian, et al. QSGD: Communication-Efficient SGD via Gradient Quantization and Encoding. Vol. 2017, Neural Information Processing Systems Foundation, 2017, pp. 1710–21.
[Submitted Version] View | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 432 | OA
Zhang, Hantian, et al. “ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning.” Proceedings of Machine Learning Research, vol. 70, ML Research Press, 2017, pp. 4035–43.
[Submitted Version] View | Files available
 

2017 | Published | Book Chapter | IST-REx-ID: 444
Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.” Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, Royal Society of Chemistry, 2017, pp. 25–59, doi:10.1039/9781788010405-00025.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 447 | OA
Ferrari, Patrik, and Peter Nejjar. “Fluctuations of the Competition Interface in Presence of Shocks.” Revista Latino-Americana de Probabilidade e Estatística, vol. 9, Instituto Nacional de Matematica Pura e Aplicada, 2017, pp. 299–325, doi:10.30757/ALEA.v14-17.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 453 | OA
Fallesen, Todd, et al. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.” Biophysical Journal, vol. 113, no. 9, Biophysical Society, 2017, pp. 2055–67, doi:10.1016/j.bpj.2017.09.006.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 459 | OA
Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” Rundgespräche Forum Ökologie, vol. 46, Verlag Dr. Friedrich Pfeil, 2017, pp. 105–16.
[Published Version] View | Files available
 

2017 | Published | Journal Article | IST-REx-ID: 463 | OA
Altmeyer, Sebastian, et al. “Transient Behavior between Multi-Cell Flow States in Ferrofluidic Taylor-Couette Flow.” Chaos, vol. 27, no. 11, 113112, AIP Publishing, 2017, doi:10.1063/1.5002771.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 465 | OA
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 466 | OA
Chatterjee, Krishnendu, et al. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” Logical Methods in Computer Science, vol. 13, no. 2, 15, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(2:15)2017.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 467 | OA
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4, 31, ACM, 2017, doi:10.1145/3152769.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 470 | OA
Jeschke, Stefan, and Chris Wojtan. “Water Wave Packets.” ACM Transactions on Graphics, vol. 36, no. 4, 103, ACM, 2017, doi:10.1145/3072959.3073678.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 471 | OA
Daca, Przemyslaw, et al. “Faster Statistical Model Checking for Unbounded Temporal Properties.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 2, 12, ACM, 2017, doi:10.1145/3060139.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 481 | OA
Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.” International Journal of Computational Geometry and Applications, vol. 26, no. 3–4, World Scientific Publishing, 2017, pp. 211–29, doi:10.1142/S0218195916600050.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 483 | OA
Bourgade, Paul, et al. “Universality for a Class of Random Band Matrices.” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 739–800, doi:10.4310/ATMP.2017.v21.n3.a5.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 484 | OA
Nam, Phan, and Marcin M. Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 683–738, doi:10.4310/ATMP.2017.v21.n3.a4.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 485
Rueda Sanchez, Alfredo R., et al. “Single Sideband Microwave to Optical Photon Conversion-an-Electro-Optic-Realization.” Optics InfoBase Conference Papers, vol. F54, NM3A.1, Optica  Publishing Group, 2017, doi:10.1364/NLO.2017.NM3A.1.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 486 | OA
Elek, Oskar, et al. “Scattering-Aware Texture Reproduction for 3D Printing.” ACM Transactions on Graphics, vol. 36, no. 6, 241, ACM, 2017, doi:10.1145/3130800.3130890.
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 487
Baig, Ghufran, et al. “Towards Unlicensed Cellular Networks in TV White Spaces.” Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14, doi:10.1145/3143361.3143367.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 512 | OA
Pavlogiannis, Andreas, et al. “Amplification on Undirected Population Structures: Comets Beat Stars.” Scientific Reports, vol. 7, no. 1, 82, Nature Publishing Group, 2017, doi:10.1038/s41598-017-00107-w.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 513 | OA
Klotz, Lukasz, et al. “Couette-Poiseuille Flow Experiment with Zero Mean Advection Velocity: Subcritical Transition to Turbulence.” Physical Review Fluids, vol. 2, no. 4, 043904, American Physical Society, 2017, doi:10.1103/PhysRevFluids.2.043904.
[Preprint] View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed