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.
7059 Publications
2017 |Published| Conference Paper | IST-REx-ID: 711 |
Chatterjee K, Henzinger TA, Otop J. Bidirectional nested weighted automata. In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.CONCUR.2017.5
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 712 |
Fischer JL. Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications. 2017;159:181-207. doi:10.1016/j.na.2017.03.001
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 714 |
Brailoiu G, Deliu E, Barr J, et al. HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. 2017;178:7-14. doi:10.1016/j.drugalcdep.2017.04.015
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 715
Novarino G. More excitation for Rett syndrome. Science Translational Medicine. 2017;9(405). doi:10.1126/scitranslmed.aao4218
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 716 |
Chatterjee K, Velner Y. The complexity of mean-payoff pushdown games. Journal of the ACM. 2017;64(5):34. doi:10.1145/3121408
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 717 |
Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. 2017;88:236-259. doi:10.1016/j.jcss.2017.04.005
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2017 |Published| Journal Article | IST-REx-ID: 719
Chatterjee K, Ehlers R. Special issue: Synthesis and SYNT 2014. Acta Informatica. 2017;54(6):543-544. doi:10.1007/s00236-017-0299-0
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 720 |
Humplik J, Tkačik G. Probabilistic models for neural populations that naturally capture global coupling and criticality. PLoS Computational Biology. 2017;13(9). doi:10.1371/journal.pcbi.1005763
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 721 |
Ajanki OH, Krüger TH, Erdös L. Singularities of solutions to quadratic vector equations on the complex upper half plane. Communications on Pure and Applied Mathematics. 2017;70(9):1672-1705. doi:10.1002/cpa.21639
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 722 |
Morris E, Griffiths M, Golebiowska A, et al. Shaping 3D root system architecture. Current Biology. 2017;27(17):R919-R930. doi:10.1016/j.cub.2017.06.043
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 725 |
Harpaz R, Tkačik G, Schneidman E. Discrete modes of social information processing predict individual behavior of fish in a group. PNAS. 2017;114(38):10149-10154. doi:10.1073/pnas.1703817114
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 724 |
Hetterich D, Serbyn M, Domínguez F, Pollmann F, Trauzettel B. Noninteracting central site model localization and logarithmic entanglement growth. Physical Review B. 2017;96(10). doi:10.1103/PhysRevB.96.104203
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 731
Novarino G. The science of love in ASD and ADHD. Science Translational Medicine. 2017;9(411). doi:10.1126/scitranslmed.aap8168
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 7360 |
Smole A, Lainšček D, Bezeljak U, Horvat S, Jerala R. A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation. Molecular Therapy. 2017;25(1):102-119. doi:10.1016/j.ymthe.2016.10.005
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 |Published| Book Chapter | IST-REx-ID: 748
Wenzl B. “...beyond the invisible barrier at Portage and Main”: Liminality in John Marlyn’s Under the Ribs of Death. In: Brandt S, ed. In-Between - Liminal Spaces in Canadian Literature and Culture. Peter Lang GmbH; 2017:91-100. doi:10.3726/b11899
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 750
Pielorz J, Prandtstetter M, Straub M, Lampert C. Optimal geospatial volunteer allocation needs realistic distances. In: 2017 IEEE International Conference on Big Data. IEEE; 2017:3760-3763. doi:10.1109/BigData.2017.8258375
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 788 |
Alistarh D-A, Dudek B, Kosowski A, Soloveichik D, Uznański P. Robust detection in leak-prone population protocols. In: Vol 10467 LNCS. Springer; 2017:155-171. doi:10.1007/978-3-319-66799-7_11
View
| DOI
| Download None (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 787 |
Alistarh D-A, Aspnes J, Eisenstat D, Rivest R, Gelashvili R. Time-space trade-offs in population protocols. In: SIAM; 2017:2560-2579. doi:doi.org/10.1137/1.9781611974782.169
View
| DOI
| Download None (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 789
Alistarh D-A, Leiserson W, Matveev A, Shavit N. Forkscan: Conservative memory reclamation for modern operating systems. In: ACM; 2017:483-498. doi:10.1145/3064176.3064214
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 790
Kara K, Alistarh D-A, Alonso G, Mutlu O, Zhang C. FPGA-accelerated dense linear machine learning: A precision-convergence trade-off. In: IEEE; 2017:160-167. doi:10.1109/FCCM.2017.39
View
| DOI