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.
570 Publications
2016 |
Published |
Conference Paper |
IST-REx-ID: 1068 |
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. Conditionally optimal algorithms for generalized Büchi Games. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.25
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 1069 |
Chonev VK, Ouaknine J, Worrell J. On the skolem problem for continuous linear dynamical systems. In: Vol 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.100
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 1070 |
Chatterjee K, Doyen L. Computation tree logic for synchronization properties. In: Vol 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.98
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 1071 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. In: Vol 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.ESA.2016.28
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 10746 |
Polshyn H, Naibert T, Chua V, Budakian R. Study of vortex states and dynamics in mesoscopic superconducting samples with MFM. In: APS March Meeting 2016. Vol 61. American Physical Society; 2016.
[Published Version]
View
| Download Published Version (ext.)
2016 |
Published |
Conference Paper |
IST-REx-ID: 10747 |
Naibert T, Polshyn H, Wolin B, et al. Stochastic resonance magnetic force microscopy imaging of Josephson arrays. In: APS March Meeting 2016. Vol 61. American Physical Society; 2016.
[Published Version]
View
| Download Published Version (ext.)
2016 |
Published |
Journal Article |
IST-REx-ID: 1081 |
Łangowski Ł, Wabnik KT, Li H, et al. Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. 2016;2. doi:10.1038/celldisc.2016.18
[Published Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 10810 |
Rubel P, Pani D, Schlögl A, et al. SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography. In: 2016 Computing in Cardiology Conference. Vol 43. Computing in Cardiology; 2016:309-312. doi:10.22489/cinc.2016.090-500
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |
Published |
Journal Article |
IST-REx-ID: 7599 |
Tang Y, Zhao C-Y, Tan S, Xue H-W. Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078. PLOS Genetics. 2016;12(8). doi:10.1371/journal.pgen.1006252
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 7734
Peyrot WJ, Robinson MR, Penninx BWJH, Wray NR. Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits. JAMA Psychiatry. 2016;73(11):1189-1195. doi:10.1001/jamapsychiatry.2016.2566
View
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 7736
Chen G-B, Lee SH, Zhu Z-X, Benyamin B, Robinson MR. EigenGWAS: Finding loci under selection through genome-wide association studies of eigenvectors in structured populations. Heredity. 2016;117:51-61. doi:10.1038/hdy.2016.25
View
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 7737 |
Zhu Z, Zhang F, Hu H, et al. Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets. Nature Genetics. 2016;48(5):481-487. doi:10.1038/ng.3538
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |
Published |
Journal Article |
IST-REx-ID: 7760
Goodrich CP, Liu AJ, Sethna JP. Scaling ansatz for the jamming transition. Proceedings of the National Academy of Sciences. 2016;113(35):9745-9750. doi:10.1073/pnas.1601858113
View
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 7761
Graves AL, Nashed S, Padgett E, Goodrich CP, Liu AJ, Sethna JP. Pinning susceptibility: The effect of dilute, quenched disorder on jamming. Physical Review Letters. 2016;116(23). doi:10.1103/physrevlett.116.235501
View
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 7762
Rieser JM, Goodrich CP, Liu AJ, Durian DJ. Divergence of Voronoi cell anisotropy vector: A threshold-free characterization of local structure in amorphous materials. Physical Review Letters. 2016;116(8). doi:10.1103/physrevlett.116.088001
View
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 7763
Lombardini R, Acevedo R, Kuczala A, Keys KP, Goodrich CP, Johnson BR. Higher-order wavelet reconstruction/differentiation filters and Gibbs phenomena. Journal of Computational Physics. 2016;305:244-262. doi:10.1016/j.jcp.2015.10.035
View
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 7764
Sussman DM, Goodrich CP, Liu AJ. Spatial structure of states of self stress in jammed systems. Soft Matter. 2016;12(17):3982-3990. doi:10.1039/c6sm00094k
View
| Files available
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 785
Haider S, Hasenplaugh W, Alistarh D-A. Lease/Release: Architectural support for scaling contended data structures. In: Vol 12-16-March-2016. ACM; 2016. doi:10.1145/2851141.2851155
View
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 786 |
Alistarh D-A, Censor Hillel K, Shavit N. Are lock free concurrent algorithms practically wait free . Journal of the ACM. 2016;63(4). doi:10.1145/2903136
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |
Published |
Journal Article |
IST-REx-ID: 8020 |
Barron HC, Vogels TP, Emir UE, et al. Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories. Neuron. 2016;90(1):191-203. doi:10.1016/j.neuron.2016.02.031
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC