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.

7642 Publications


2016 | Journal Article | IST-REx-ID: 602
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, and P. Cramer, “Structure of transcribing mammalian RNA polymerase II,” Nature, vol. 529, no. 7587. Nature Publishing Group, pp. 551–554, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7068 | OA
P. J. W. Moll et al., “Magnetic torque anomaly in the quantum limit of Weyl semimetals,” Nature Communications, vol. 7. Springer Nature, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7069
M. K. Chan et al., “Single reconstructed Fermi surface pocket in an underdoped single-layer cuprate superconductor,” Nature Communications, vol. 7. Springer Nature, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7141
C. Rolando et al., “Multipotency of adult hippocampal NSCs in vivo is restricted by Drosha/NFIB,” Cell Stem Cell, vol. 19, no. 5. Elsevier, pp. 653–662, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7279 | OA
E. Mourad et al., “Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors,” Nature Materials, vol. 16, no. 4. Springer Nature, pp. 446–453, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 7293
R. Thimmappa, M. Chattanahalli Devendrachari, S. Shafi, S. A. Freunberger, and M. Ottakam Thotiyl, “Proton conducting hollow graphene oxide cylinder as molecular fuel barrier for tubular H2-air fuel cell,” International Journal of Hydrogen Energy, vol. 41, no. 47. Elsevier, pp. 22305–22315, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7294
A. M. Escamilla-Pérez et al., “Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel,” Journal of Sol-Gel Science and Technology, vol. 79, no. 2. Springer Nature, pp. 270–278, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7295
E. Mourad et al., “Biredox ionic liquids: Electrochemical investigation and impact of ion size on electron transfer,” Electrochimica Acta, vol. 206, no. 7. Elsevier, pp. 513–523, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7296
T. Volck et al., “Method for determination of the internal short resistance and heat evolution at different mechanical loads of a Lithium ion battery cell based on dummy pouch cells,” Batteries, vol. 2, no. 2. MDPI AG, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7297 | OA
S. A. Freunberger, “Batteries: Charging ahead rationally,” Nature Energy, vol. 1, no. 6. Springer Nature, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7298
M. Plaimer et al., “Evaluating the trade-off between mechanical and electrochemical performance of separators for lithium-ion batteries: Methodology and application,” Journal of Power Sources, vol. 306, no. 2. Elsevier, pp. 702–710, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7599 | OA
Y. Tang, C.-Y. Zhao, S. Tan, and H.-W. Xue, “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, vol. 12, no. 8. Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7734
W. J. Peyrot, M. R. Robinson, B. W. J. H. Penninx, and N. R. Wray, “Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits,” JAMA Psychiatry, vol. 73, no. 11. American Medical Association, pp. 1189–1195, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7736
G.-B. Chen, S. H. Lee, Z.-X. Zhu, B. Benyamin, and M. R. Robinson, “EigenGWAS: Finding loci under selection through genome-wide association studies of eigenvectors in structured populations,” Heredity, vol. 117. Springer Nature, pp. 51–61, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7737 | OA
Z. Zhu et al., “Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets,” Nature Genetics, vol. 48, no. 5. Springer Nature, pp. 481–487, 2016.
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 7760
C. P. Goodrich, A. J. Liu, and J. P. Sethna, “Scaling ansatz for the jamming transition,” Proceedings of the National Academy of Sciences, vol. 113, no. 35. Proceedings of the National Academy of Sciences, pp. 9745–9750, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7761
A. L. Graves, S. Nashed, E. Padgett, C. P. Goodrich, A. J. Liu, and J. P. Sethna, “Pinning susceptibility: The effect of dilute, quenched disorder on jamming,” Physical Review Letters, vol. 116, no. 23. American Physical Society, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7762
J. M. Rieser, C. P. Goodrich, A. J. Liu, and D. J. Durian, “Divergence of Voronoi cell anisotropy vector: A threshold-free characterization of local structure in amorphous materials,” Physical Review Letters, vol. 116, no. 8. American Physical Society, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7763
R. Lombardini, R. Acevedo, A. Kuczala, K. P. Keys, C. P. Goodrich, and B. R. Johnson, “Higher-order wavelet reconstruction/differentiation filters and Gibbs phenomena,” Journal of Computational Physics, vol. 305. Elsevier, pp. 244–262, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7764
D. M. Sussman, C. P. Goodrich, and A. J. Liu, “Spatial structure of states of self stress in jammed systems,” Soft Matter, vol. 12, no. 17. Royal Society of Chemistry, pp. 3982–3990, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1057
J. G. Danzl et al., “Coordinate-targeted fluorescence nanoscopy with multiple off states,” Nature Photonics, vol. 10, no. 2. Nature Publishing Group, pp. 122–128, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1059
A. Butkevich et al., “Fluorescent rhodamines and fluorogenic carbopyronines for super-resolution STED microscopy in living cells,” Angewandte Chemie - International Edition, vol. 55, no. 10. Wiley-Blackwell, pp. 3290–3294, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1060
S. Sidenstein, E. D’Este, M. Böhm, J. G. Danzl, V. Belov, and S. Hell, “Multicolour multilevel STED nanoscopy of actin/spectrin organization at synapses,” Scientific Reports, vol. 6. Nature Publishing Group, pp. 1–8, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs,” presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 10746 | OA
H. Polshyn, T. Naibert, V. Chua, and R. Budakian, “Study of vortex states and dynamics in mesoscopic superconducting samples with MFM,” in APS March Meeting 2016, Baltimore, MD, United States, 2016, vol. 61, no. 2.
View | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 10747 | OA
T. Naibert et al., “Stochastic resonance magnetic force microscopy imaging of Josephson arrays,” in APS March Meeting 2016, Baltimore, MD, United States, 2016, vol. 61, no. 2.
View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Ł. Łangowski et al., “Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells,” Cell Discovery, vol. 2. Nature Publishing Group, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 10810 | OA
P. Rubel et al., “SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography,” in 2016 Computing in Cardiology Conference, Vancouver, Canada, 2016, vol. 43, pp. 309–312.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
M. J. Chalk, O. Marre, and G. Tkačik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1083
S. Booker et al., “KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons,” Cerebral Cortex, vol. 27, no. 3. Oxford University Press, pp. 2318–2334, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1088
C. Uhler and G. V. Shivashankar, “Geometric control and modeling of genome reprogramming,” BioArchitecture, vol. 6, no. 4. Taylor & Francis, pp. 76–84, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.
View | Files available | DOI
 

2016 | Book Chapter | IST-REx-ID: 1094
H. Harada and R. Shigemoto, “Immunogold protein localization on grid-glued freeze-fracture replicas,” in High-Resolution Imaging of Cellular Proteins, vol. 1474, Springer, 2016, pp. 203–216.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1096
C. Schwayer, M. K. Sikora, J. Slovakova, R. Kardos, and C.-P. J. Heisenberg, “Actin rings of power,” Developmental Cell, vol. 37, no. 6. Cell Press, pp. 493–506, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
A. Pentina and R. Urner, “Lifelong learning with weighted majority votes,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 3619–3627.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
L. Malomo, N. Pietroni, B. Bickel, and P. Cignoni, “FlexMolds: Automatic design of flexible shells for molding,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1101
J. Mitchell et al., “Rangefinder: A semisynthetic FRET sensor design algorithm,” ACS SENSORS, vol. 1, no. 11. ACS, pp. 1286–1290, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
A. Kolesnikov and C. Lampert, “Improving weakly-supervised object localization by micro-annotation,” in Proceedings of the British Machine Vision Conference 2016, York, United Kingdom, 2016, vol. 2016–September, p. 92.1-92.12.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, and R. Ray, “Parallel reachability analysis for hybrid systems,” presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India , 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1105
C. Savin and G. Tkačik, “Estimating nonlinear neural response functions using GP priors and Kronecker methods,” presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain, 2016, vol. 29, pp. 3610–3618.
View | Download None (ext.)
 

2016 | Thesis | IST-REx-ID: 1121 | OA
H. Acar, “Selective barriers to horizontal gene transfer,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1122 | OA
M. Bojsen-Hansen, “Tracking, correcting and absorbing water surface waves,” IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1123 | OA
I. Mabillard, “Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1124 | OA
M. Morri, “Optical functionalization of human class A orphan G-protein coupled receptors,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1125 | OA
S. Novak, “Evolutionary proccesses in variable emvironments,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1126 | OA
A. Pentina, “Theoretical foundations of multi-task lifelong learning,” IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
G. Rieckh, “Studying the complexities of transcriptional regulation,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1129 | OA
J. Schwarz, “Quantitative analysis of haptotactic cell migration,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1130 | OA
T. Tarrach, “Automatic synthesis of synchronisation primitives for concurrent programs,” IST Austria, 2016.
View | Files available | DOI | Download Published Version (ext.)
 

2016 | Thesis | IST-REx-ID: 1131 | OA
M. Tugrul, “Evolution of transcriptional regulatory sequences,” IST Austria, 2016.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1134
P. Duggirala et al., “Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP,” in 2016 IEEE Conference on Control Applications, Buenos Aires, Argentina , 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1135 | OA
G. Avni, S. Guha, and G. Rodríguez Navas, “Synthesizing time triggered schedules for switched networks with faulty links,” in Proceedings of the 13th International Conference on Embedded Software , Pittsburgh, PA, USA, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
P. Manteaux, U. Vimont, C. J. Wojtan, D. Rohmer, and M. Cani, “Space-time sculpting of liquid animation,” in Proceedings of the 9th International Conference on Motion in Games , San Francisco, CA, USA, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Quantitative automata under probabilistic semantics,” in Proceedings of the 31st Annual ACM/IEEE Symposium, New York, NY, USA, 2016, pp. 76–85.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1139
C. F. Düllberg, N. Cade, and T. Surrey, “Microtubule aging probed by microfluidics assisted tubulin washout,” Molecular Biology and Evolution, vol. 27, no. 22. Oxford University Press, pp. 3563–3573, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1141
R. Łazarz, M. Idzik, K. Gądek, and E. P. Gajda-Zagorska, “Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization,” Journal of Computational Science, vol. 17, no. 1. Elsevier, pp. 249–260, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1142 | OA
Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 17(12), 1361–1372.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143 | OA
P. Nam, N. Rougerie, and R. Seiringer, “Ground states of large bosonic systems: The gross Pitaevskii limit revisited,” Analysis and PDE, vol. 9, no. 2. Mathematical Sciences Publishers, pp. 459–485, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, and J. Friml, “Enquiry into the topology of plasma membrane localized PIN auxin transport components,” Molecular Plant, vol. 9, no. 11. Cell Press, pp. 1504–1519, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1147 | OA
J. Balla et al., “Auxin flow mediated competition between axillary buds to restore apical dominance,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1148
C. Schilling, S. Bogomolov, T. A. Henzinger, A. Podelski, and J. Ruess, “Adaptive moment closure for parameter inference of biochemical reaction networks,” Biosystems, vol. 149. Elsevier, pp. 15–25, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1149
T. Miyaji, P. Pilarczyk, M. Gameiro, H. Kokubu, and K. Mischaikow, “A study of rigorous ODE integrators for multi scale set oriented computations,” Applied Numerical Mathematics, vol. 107. Elsevier, pp. 34–47, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1150
J. Renkawitz and M. K. Sixt, “A Radical Break Restraining Neutrophil Migration,” Developmental Cell, vol. 38, no. 5. Cell Press, pp. 448–450, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1151 | OA
S. Simonini et al., “A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis,” Genes and Development, vol. 30, no. 20. Cold Spring Harbor Laboratory Press, pp. 2286–2296, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1153 | OA
P. Žádníková et al., “A model of differential growth guided apical hook formation in plants,” Plant Cell, vol. 28, no. 10. American Society of Plant Biologists, pp. 2464–2477, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1154 | OA
J. Schwarz et al., “A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1156
T. Hibi and L. T. Solus, “Facets of the r-stable (n, k)-hypersimplex,” Annals of Combinatorics, vol. 20, no. 4. Springer, pp. 815–829, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1157 | OA
J. Lee and K. Schnelli, “Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population,” Annals of Applied Probability, vol. 26, no. 6. Institute of Mathematical Statistics, pp. 3786–3839, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158 | OA
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, and N. Bierne, “Shedding light on the grey zone of speciation along a continuum of genomic divergence,” PLoS Biology, vol. 14, no. 12. Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity II,” presented at the GD: Graph Drawing and Network Visualization, Athens, Greece, 2016, vol. 9801, pp. 468–481.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
R. Fulek, “C-planarity of embedded cyclic c-graphs,” presented at the GD: Graph Drawing and Network Visualization, Athens, Greece, 2016, vol. 9801, pp. 94–106.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1166
K. Chatterjee, M. Chmelik, and J. Davies, “A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps,” in Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, AZ, USA, 2016, vol. 2016, pp. 3225–3232.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1167 | OA
M. P. Zagórski, Z. Burda, and B. Wacław, “Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks,” PLoS Computational Biology, vol. 12, no. 12. Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1170
M. Lang and J. Stelling, “Modular parameter identification of biomolecular networks,” SIAM Journal on Scientific Computing, vol. 38, no. 6. Society for Industrial and Applied Mathematics , pp. B988–B1008, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1171
G. Tkačik, “Understanding regulatory networks requires more than computing a multitude of graph statistics: Comment on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function" by O. C. Martin et al.,” Physics of Life Reviews, vol. 17. Elsevier, pp. 166–167, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1172 | OA
H. Sachdeva, M. Barma, and M. Rao, “Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1545 | OA
P. Nam, M. M. Napiórkowski, and J. Solovej, “Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations,” Journal of Functional Analysis, vol. 270, no. 11. Academic Press, pp. 4340–4368, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1552 | OA
Q. Qi, M. Toll Riera, K. Heilbron, G. Preston, and R. C. Maclean, “The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1822. Royal Society, The, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1592
M. Abe, G. Fuchsbauer, J. Groth, K. Haralambiev, and M. Ohkubo, “Structure preserving signatures and commitments to group elements,” Journal of Cryptology, vol. 29, no. 2. Springer, pp. 363–421, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1597
J. Schwarz and M. K. Sixt, “Quantitative analysis of dendritic cell haptotaxis,” Methods in Enzymology, vol. 570. Elsevier, pp. 567–581, 2016.
View | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1599 | OA
E. Kiermaier et al., “Polysialylation controls dendritic cell trafficking by regulating chemokine recognition,” Science, vol. 351, no. 6269. American Association for the Advancement of Science, pp. 186–190, 2016.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1608 | OA
C. Sadel, “Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel,” Annales Henri Poincare, vol. 17, no. 7. Birkhäuser, pp. 1631–1675, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1612 | OA
A. Kazda, “CSP for binary conservative relational structures,” Algebra Universalis, vol. 75, no. 1. Springer, pp. 75–84, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1613 | OA
A. Mungenast, S. Siegert, and L. Tsai, “Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells,” Molecular and Cellular Neuroscience, vol. 73. Academic Press, pp. 13–31, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1616 | OA
J. Kowalski, J. Gan, P. M. Jonas, and A. Pernia-Andrade, “Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats,” Hippocampus, vol. 26, no. 5. John Wiley and Sons Inc., pp. 668–682, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1617 | OA
F. Pausinger and S. Steinerberger, “On the discrepancy of jittered sampling,” Journal of Complexity, vol. 33. Academic Press, pp. 199–216, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1620 | OA
R. Frank, C. Hainzl, R. Seiringer, and J. Solovej, “The external field dependence of the BCS critical temperature,” Communications in Mathematical Physics, vol. 342, no. 1. Springer, pp. 189–216, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1622 | OA
D. Lundholm, P. Nam, and F. Portmann, “Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems,” Archive for Rational Mechanics and Analysis, vol. 219, no. 3. Springer, pp. 1343–1382, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
J. Kelleher, A. Etheridge, A. Véber, and N. H. Barton, “Spread of pedigree versus genetic ancestry in spatially distributed populations,” Theoretical Population Biology, vol. 108. Academic Press, pp. 1–12, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1641 | OA
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, and J. Friml, “A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana,” Journal of Plant Growth Regulation, vol. 35, no. 2. Springer, pp. 465–476, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
T. Okamoto, K. Z. Pietrzak, B. Waters, and D. Wichs, “New realizations of somewhere statistically binding hashing and positional accumulators,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand, 2016, vol. 9452, pp. 121–145.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1662 | OA
H. Edelsbrunner and F. Pausinger, “Approximation and convergence of the intrinsic volume,” Advances in Mathematics, vol. 287. Academic Press, pp. 674–703, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
S. Bogomolov et al., “Guided search for hybrid systems based on coarse-grained space abstractions,” International Journal on Software Tools for Technology Transfer, vol. 18, no. 4. Springer, pp. 449–467, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1707
J. Pielorz and C. Lampert, “Optimal geospatial allocation of volunteers for crisis management,” presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France, 2016.
View | DOI
 

Search

Filter Publications