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.

8920 Publications


2017 | Published | Conference Paper | IST-REx-ID: 432 | OA
Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. 2017. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research. ICML: International  Conference  on  Machine Learning, PMLR Press, vol. 70, 4035–4043.
[Submitted Version] View | Files available
 

2017 | Published | Journal Article | IST-REx-ID: 443 | OA
Hardie R, Van Dam E, Cowley M, Han T, Balaban S, Pajic M, Pinese M, Iconomou M, Shearer R, Mckenna J, Miller D, Waddell N, Pearson J, Grimmond S, Sazanov LA, Biankin A, Villas Boas S, Hoy A, Turner N, Saunders D. 2017. Mitochondrial mutations and metabolic adaptation in pancreatic cancer. Cancer & Metabolism. 5(2).
[Published Version] View | Files available | DOI
 

2017 | Published | Book Chapter | IST-REx-ID: 444
Sazanov LA. 2017.Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions. In: Mechanisms of primary energy transduction in biology . , 25–59.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 445 | OA
Serbyn M, Abanin D. 2017. Loschmidt echo in many body localized phases. Physical Review B - Condensed Matter and Materials Physics. 96(1).
View | DOI | Download (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 447 | OA
Ferrari P, Nejjar P. 2017. Fluctuations of the competition interface in presence of shocks. Revista Latino-Americana de Probabilidade e Estatística. 9, 299–325.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 452
Bächer M, Bickel B, Whiting E, Sorkine Hornung O. 2017. Spin it: Optimizing moment of inertia for spinnable objects. Communications of the ACM. 60(8), 92–99.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 453 | OA
Fallesen T, Roostalu J, Düllberg CF, Pruessner G, Surrey T. 2017. Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal. 113(9), 2055–2067.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 261
Browning TD, Vinogradov I. 2016. Effective ratner theorem for SL (2, R) ⋉R2 and gaps in √n modulo 1. Journal of the London Mathematical Society. 94(1), 61–84.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 262 | OA
Browning TD, Newton R. 2016. The proportion of failures of the Hasse norm principle. Mathematika. 62(2), 337–347.
View | DOI | Download (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 263 | OA
De La Bretèche R, Browning TD, Salberger P. 2016. Counting rational points on the Cayley ruled cubic. European Journal of Mathematics. 2(1), 55–72.
View | DOI | Download (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 264 | OA
Bright M, Browning TD, Loughran D. 2016. Failures of weak approximation in families. Compositio Mathematica. 152(7), 1435–1475.
View | DOI | Download (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. 2016. Conditionally optimal algorithms for generalized Büchi Games. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58, 25.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1069 | OA
Chonev VK, Ouaknine J, Worrell J. 2016. On the skolem problem for continuous linear dynamical systems. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55, 100.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee K, Doyen L. 2016. Computation tree logic for synchronization properties. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55, 98.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2016. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. ESA: European Symposium on Algorithms, LIPIcs, vol. 57, 28.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 10746 | OA
Polshyn H, Naibert T, Chua V, Budakian R. 2016. Study of vortex states and dynamics in mesoscopic superconducting samples with MFM. APS March Meeting 2016. APS: American Physical Society, Bulletin of the American Physical Society, vol. 61, E25.00007.
[Published Version] View | Download Published Version (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 10747 | OA
Naibert T, Polshyn H, Wolin B, Durkin M, Garrido Menacho R, Shem IM, Chua V, Hughes T, Mason N, Budakian R. 2016. Stochastic resonance magnetic force microscopy imaging of Josephson arrays. APS March Meeting 2016. APS: American Physical Society, Bulletin of the American Physical Society, vol. 61, H25.00006.
[Published Version] View | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1081 | OA
Łangowski Ł, Wabnik KT, Li H, Vanneste S, Naramoto S, Tanaka H, Friml J. 2016. Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. 2, 16018.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 10810 | OA
Rubel P, Pani D, Schlögl A, Fayn J, Badilini F, Macfarlane P, Varri A. 2016. SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography. 2016 Computing in Cardiology Conference. CinC: Computing in Cardiology vol. 43, 309–312.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1082 | OA
Chalk MJ, Marre O, Tkačik G. 2016. Relevant sparse codes with variational information bottleneck. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 1965–1973.
[Preprint] View | Files available | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed