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.
591 Publications
2017 |
Published |
Journal Article |
IST-REx-ID: 9588 |
Bandeira AS, Ferber A, Kwan MA. Resilience for the Littlewood–Offord problem. Advances in Mathematics. 2017;319:292-312. doi:10.1016/j.aim.2017.08.031
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 9589 |
Greenhill C, Isaev M, Kwan MA, McKay BD. The average number of spanning trees in sparse graphs with given degrees. European Journal of Combinatorics. 2017;63:6-25. doi:10.1016/j.ejc.2017.02.003
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 959 |
De Martino D. Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics. Physical Review E Statistical Nonlinear and Soft Matter Physics . 2017;95(6):062419. doi:10.1103/PhysRevE.95.062419
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 9590 |
Krivelevich M, Kwan MA, Sudakov B. Bounded-degree spanning trees in randomly perturbed graphs. SIAM Journal on Discrete Mathematics. 2017;31(1):155-171. doi:10.1137/15m1032910
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 960 |
Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. 2017;11. doi:10.3389/fncel.2017.00176
[Published Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Thesis | PhD |
IST-REx-ID: 961 |
Barone V. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. 2017. doi:10.15479/AT:ISTA:th_825
[Published Version]
View
| Files available
| DOI
2017 |
Published |
Conference Paper |
IST-REx-ID: 962
Trinh M, Chu DH, Jaffar J. Model counting for recursively-defined strings. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:399-418. doi:10.1007/978-3-319-63390-9_21
View
| DOI
| WoS
2017 |
Published |
Conference Paper |
IST-REx-ID: 963 |
Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.37
[Published Version]
View
| Files available
| DOI
2017 |
Published |
Journal Article |
IST-REx-ID: 9660 |
Cheng B, Tribello GA, Ceriotti M. The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit. The Journal of Chemical Physics. 2017;147(10). doi:10.1063/1.4997180
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 9661 |
Cheng B, Ceriotti M. Bridging the gap between atomistic and macroscopic models of homogeneous nucleation. The Journal of Chemical Physics. 2017;146(3). doi:10.1063/1.4973883
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2017 |
Published |
Conference Paper |
IST-REx-ID: 1000 |
Kolesnikov A, Lampert C. PixelCNN models with auxiliary variables for natural image modeling. In: 34th International Conference on Machine Learning. Vol 70. JMLR; 2017:1905-1914.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |
Published |
Conference Paper |
IST-REx-ID: 1001 |
Guseinov R, Miguel E, Bickel B. CurveUps: Shaping objects from flat plates with tension-actuated curvature. In: Vol 36. ACM; 2017. doi:10.1145/3072959.3073709
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Conference Paper |
IST-REx-ID: 1002 |
Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. Functionality-aware retargeting of mechanisms to 3D shapes. In: Vol 36. ACM; 2017. doi:10.1145/3072959.3073710
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Conference Paper |
IST-REx-ID: 1003 |
Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning about network games. In: AAAI Press; 2017:70-76. doi:10.24963/ijcai.2017/11
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1004 |
Ötvös K, Benková E. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. 2017;45:82-89. doi:10.1016/j.gde.2017.03.010
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 |
Published |
Journal Article |
IST-REx-ID: 1006 |
Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 2017;18(1):329. doi:10.1186/s12864-017-3705-7
[Published Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1007 |
Lang M, Sontag E. Zeros of nonlinear systems with input invariances. Automatica. 2017;81C:46-55. doi:10.1016/j.automatica.2017.03.030
[Published Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Conference Paper |
IST-REx-ID: 1009 |
Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. Optimizing expectation with guarantees in POMDPs. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence. Vol 5. AAAI Press; 2017:3725-3732.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1010 |
Alt J, Erdös L, Krüger TH. Local law for random Gram matrices. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP42
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2017 |
Published |
Conference Paper |
IST-REx-ID: 1011 |
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS