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.

7266 Publications


2016 | Journal Article | IST-REx-ID: 7293
Thimmappa R, Chattanahalli Devendrachari M, Shafi S, Freunberger SA, Ottakam Thotiyl M. Proton conducting hollow graphene oxide cylinder as molecular fuel barrier for tubular H2-air fuel cell. International Journal of Hydrogen Energy. 2016;41(47):22305-22315. doi:10.1016/j.ijhydene.2016.08.057
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7294
Escamilla-Pérez AM, Louvain N, Kaschowitz M, 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. 2016;79(2):270-278. doi:10.1007/s10971-016-4037-9
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7295
Mourad E, Coustan L, Freunberger SA, et al. Biredox ionic liquids: Electrochemical investigation and impact of ion size on electron transfer. Electrochimica Acta. 2016;206(7):513-523. doi:10.1016/j.electacta.2016.02.211
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7296
Volck T, Sinz W, Gstrein G, 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. 2016;2(2). doi:10.3390/batteries2020008
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7297 | OA
Freunberger SA. Batteries: Charging ahead rationally. Nature Energy. 2016;1(6). doi:10.1038/nenergy.2016.74
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7298
Plaimer M, Breitfuß C, Sinz W, et al. Evaluating the trade-off between mechanical and electrochemical performance of separators for lithium-ion batteries: Methodology and application. Journal of Power Sources. 2016;306(2):702-710. doi:10.1016/j.jpowsour.2015.12.047
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7599 | OA
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
View | Files available | DOI
 

2016 | 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 | 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 | Journal Article | IST-REx-ID: 7737 | OA
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
View | DOI | Download Published Version (ext.)
 

2016 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 1057
Danzl JG, Sidenstein S, Gregor C, et al. Coordinate-targeted fluorescence nanoscopy with multiple off states. Nature Photonics. 2016;10(2):122-128. doi:10.1038/nphoton.2015.266
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1059
Butkevich A, Mitronova G, Sidenstein S, et al. Fluorescent rhodamines and fluorogenic carbopyronines for super-resolution STED microscopy in living cells. Angewandte Chemie - International Edition. 2016;55(10):3290-3294. doi:10.1002/anie.201511018
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1060
Sidenstein S, D’Este E, Böhm M, Danzl JG, Belov V, Hell S. Multicolour multilevel STED nanoscopy of actin/spectrin organization at synapses. Scientific Reports. 2016;6:1-8. doi:10.1038/srep26725
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
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
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev VK, Ouaknine J, Worrell J. On the skolem problem for continuous linear dynamical systems. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.100
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee K, Doyen L. Computation tree logic for synchronization properties. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.98
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
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 fur Informatik; 2016. doi:10.4230/LIPIcs.ESA.2016.28
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 10746 | OA
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.
View | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 10747 | OA
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.
View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Ł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
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 10810 | OA
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
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk MJ, Marre O, Tkačik G. Relevant sparse codes with variational information bottleneck. In: Vol 29. Neural Information Processing Systems; 2016:1965-1973.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1083
Booker S, Althof D, Gross A, et al. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 2016;27(3):2318-2334. doi:10.1093/cercor/bhw090
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1088
Uhler C, Shivashankar GV. Geometric control and modeling of genome reprogramming. BioArchitecture. 2016;6(4):76-84. doi:10.1080/19490992.2016.1201620
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.24
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. Linear distances between Markov chains. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.20
View | Files available | DOI
 

2016 | Book Chapter | IST-REx-ID: 1094
Harada H, Shigemoto R. Immunogold protein localization on grid-glued freeze-fracture replicas. In: High-Resolution Imaging of Cellular Proteins. Vol 1474. Springer; 2016:203-216. doi:10.1007/978-1-4939-6352-2_12
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
Haas A, Henzinger TA, Holzer A, et al. Local linearizability for concurrent container-type data structures. In: Leibniz International Proceedings in Informatics. Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.6
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1096
Schwayer C, Sikora MK, Slovakova J, Kardos R, Heisenberg C-PJ. Actin rings of power. Developmental Cell. 2016;37(6):493-506. doi:10.1016/j.devcel.2016.05.024
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
Du T, Schulz A, Zhu B, Bickel B, Matusik W. Computational multicopter design. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982427
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
Pentina A, Urner R. Lifelong learning with weighted majority votes. In: Vol 29. Neural Information Processing Systems; 2016:3619-3627.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo L, Pietroni N, Bickel B, Cignoni P. FlexMolds: Automatic design of flexible shells for molding. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982397
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1101
Mitchell J, Whitfield J, Zhang W, et al. Rangefinder: A semisynthetic FRET sensor design algorithm. ACS SENSORS. 2016;1(11):1286-1290. doi:10.1021/acssensors.6b00576
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov A, Lampert C. Improving weakly-supervised object localization by micro-annotation. In: Proceedings of the British Machine Vision Conference 2016. Vol 2016-September. BMVA Press; 2016:92.1-92.12. doi:10.5244/C.30.92
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. Parallel reachability analysis for hybrid systems. In: IEEE; 2016. doi:10.1109/MEMCOD.2016.7797741
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1105
Savin C, Tkačik G. Estimating nonlinear neural response functions using GP priors and Kronecker methods. In: Vol 29. Neural Information Processing Systems; 2016:3610-3618.
View | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 11069 | OA
Hatch EM, HETZER MW. Nuclear envelope rupture is induced by actin-based nucleus confinement. Journal of Cell Biology. 2016;215(1):27-36. doi:10.1083/jcb.201603053
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 11070 | OA
Ibarra A, Benner C, Tyagi S, Cool J, HETZER MW. Nucleoporin-mediated regulation of cell identity genes. Genes & Development. 2016;30(20):2253-2258. doi:10.1101/gad.287417.116
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 11071 | OA
Franks TM, Benner C, Narvaiza I, et al. Evolution of a transcriptional regulator from a transmembrane nucleoporin. Genes & Development. 2016;30(10):1155-1171. doi:10.1101/gad.280941.116
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 11072 | OA
van de Ven RAH, de Groot JS, Park D, et al. p120-catenin prevents multinucleation through control of MKLP1-dependent RhoA activity during cytokinesis. Nature Communications. 2016;7. doi:10.1038/ncomms13874
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda A, Sedlmeir F, Collodo M, et al. Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator. In: IEEE; 2016. doi:10.1364/CLEO_SI.2016.SF2G.3
View | Files available | DOI | Download Preprint (ext.)
 

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

2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen M. Tracking, correcting and absorbing water surface waves. 2016. doi:10.15479/AT:ISTA:th_640
View | Files available | DOI
 

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

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

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

2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina A. Theoretical foundations of multi-task lifelong learning. 2016. doi:10.15479/AT:ISTA:TH_776
View | Files available | DOI
 

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

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

2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach T. Automatic synthesis of synchronisation primitives for concurrent programs. 2016. doi:10.15479/at:ista:1130
View | Files available | DOI | Download Published Version (ext.)
 

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

2016 | Conference Paper | IST-REx-ID: 1134
Duggirala P, Fan C, Potok M, et al. Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In: 2016 IEEE Conference on Control Applications. IEEE; 2016. doi:10.1109/CCA.2016.7587948
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni G, Guha S, Rodríguez Navas G. Synthesizing time triggered schedules for switched networks with faulty links. In: Proceedings of the 13th International Conference on Embedded Software . ACM; 2016. doi:10.1145/2968478.2968499
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux P, Vimont U, Wojtan CJ, Rohmer D, Cani M. Space-time sculpting of liquid animation. In: Proceedings of the 9th International Conference on Motion in Games . ACM; 2016. doi:10.1145/2994258.2994261
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
Chatterjee K, Henzinger TA, Otop J. Quantitative automata under probabilistic semantics. In: Proceedings of the 31st Annual ACM/IEEE Symposium. IEEE; 2016:76-85. doi:10.1145/2933575.2933588
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1139
Düllberg CF, Cade N, Surrey T. Microtubule aging probed by microfluidics assisted tubulin washout. Molecular Biology and Evolution. 2016;27(22):3563-3573. doi:10.1091/mbc.E16-07-0548
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1141
Łazarz R, Idzik M, Gądek K, Gajda-Zagorska EP. Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization. Journal of Computational Science. 2016;17(1):249-260. doi:10.1016/j.jocs.2016.03.004
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
Nam P, Rougerie N, Seiringer R. Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. 2016;9(2):459-485. doi:10.2140/apde.2016.9.459
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński T, Vanneste S, Zwiewka M, Pernisová M, Hejátko J, Friml J. Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. 2016;9(11):1504-1519. doi:10.1016/j.molp.2016.08.010
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1147 | OA
Balla J, Medved’Ová Z, Kalousek P, et al. Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. 2016;6. doi:10.1038/srep35955
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1148
Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. 2016;149:15-25. doi:10.1016/j.biosystems.2016.07.005
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1149
Miyaji T, Pilarczyk P, Gameiro M, Kokubu H, Mischaikow K. A study of rigorous ODE integrators for multi scale set oriented computations. Applied Numerical Mathematics. 2016;107:34-47. doi:10.1016/j.apnum.2016.04.005
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1150
Renkawitz J, Sixt MK. A Radical Break Restraining Neutrophil Migration. Developmental Cell. 2016;38(5):448-450. doi:10.1016/j.devcel.2016.08.017
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1151 | OA
Simonini S, Deb J, Moubayidin L, et al. A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. 2016;30(20):2286-2296. doi:10.1101/gad.285361.116
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1153 | OA
Žádníková P, Wabnik KT, Abuzeineh A, et al. A model of differential growth guided apical hook formation in plants. Plant Cell. 2016;28(10):2464-2477. doi:10.1105/tpc.15.00569
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1154 | OA
Schwarz J, Bierbaum V, Merrin J, et al. A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. 2016;6. doi:10.1038/srep36440
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1156
Hibi T, Solus LT. Facets of the r-stable (n, k)-hypersimplex. Annals of Combinatorics. 2016;20(4):815-829. doi:10.1007/s00026-016-0325-x
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1157 | OA
Lee J, Schnelli K. Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. 2016;26(6):3786-3839. doi:10.1214/16-AAP1193
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158 | OA
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. 2016;14(12). doi:10.1371/journal.pbio.2000234
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity II. In: Vol 9801. Springer; 2016:468-481. doi:10.1007/978-3-319-50106-2_36
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
Fulek R. C-planarity of embedded cyclic c-graphs. In: Vol 9801. Springer; 2016:94-106. doi:10.1007/978-3-319-50106-2_8
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. Vol 2016. AAAI Press; 2016:3225-3232.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1167 | OA
Zagórski MP, Burda Z, Wacław B. Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. 2016;12(12). doi:10.1371/journal.pcbi.1005218
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1170
Lang M, Stelling J. Modular parameter identification of biomolecular networks. SIAM Journal on Scientific Computing. 2016;38(6):B988-B1008. doi:10.1137/15M103306X
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1171
Tkačik G. 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. 2016;17:166-167. doi:10.1016/j.plrev.2016.06.005
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1172 | OA
Sachdeva H, Barma M, Rao M. Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. Scientific Reports. 2016;6. doi:10.1038/srep38840
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1545 | OA
Nam P, Napiórkowski MM, Solovej J. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 2016;270(11):4340-4368. doi:10.1016/j.jfa.2015.12.007
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1552 | OA
Qi Q, Toll Riera M, Heilbron K, Preston G, Maclean RC. 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. 2016;283(1822). doi:10.1098/rspb.2015.2452
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1592
Abe M, Fuchsbauer G, Groth J, Haralambiev K, Ohkubo M. Structure preserving signatures and commitments to group elements. Journal of Cryptology. 2016;29(2):363-421. doi:10.1007/s00145-014-9196-7
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1597
Schwarz J, Sixt MK. Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. 2016;570:567-581. doi:10.1016/bs.mie.2015.11.004
View | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1599 | OA
Kiermaier E, Moussion C, Veldkamp C, et al. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 2016;351(6269):186-190. doi:10.1126/science.aad0512
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1608 | OA
Sadel C. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 2016;17(7):1631-1675. doi:10.1007/s00023-015-0456-3
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1612 | OA
Kazda A. CSP for binary conservative relational structures. Algebra Universalis. 2016;75(1):75-84. doi:10.1007/s00012-015-0358-8
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1613 | OA
Mungenast A, Siegert S, Tsai L. Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells. Molecular and Cellular Neuroscience. 2016;73:13-31. doi:doi:10.1016/j.mcn.2015.11.010
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 2016;26(5):668-682. doi:10.1002/hipo.22550
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1617 | OA
Pausinger F, Steinerberger S. On the discrepancy of jittered sampling. Journal of Complexity. 2016;33:199-216. doi:10.1016/j.jco.2015.11.003
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1620 | OA
Frank R, Hainzl C, Seiringer R, Solovej J. The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. 2016;342(1):189-216. doi:10.1007/s00220-015-2526-2
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1622 | OA
Lundholm D, Nam P, Portmann F. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 2016;219(3):1343-1382. doi:10.1007/s00205-015-0923-5
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
Kelleher J, Etheridge A, Véber A, Barton NH. Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. 2016;108:1-12. doi:10.1016/j.tpb.2015.10.008
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1641 | OA
Zemová R, Zwiewka M, Bielach A, Robert H, Friml J. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. 2016;35(2):465-476. doi:10.1007/s00344-015-9553-2
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto T, Pietrzak KZ, Waters B, Wichs D. New realizations of somewhere statistically binding hashing and positional accumulators. In: Vol 9452. Springer; 2016:121-145. doi:10.1007/978-3-662-48797-6_6
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1662 | OA
Edelsbrunner H, Pausinger F. Approximation and convergence of the intrinsic volume. Advances in Mathematics. 2016;287:674-703. doi:10.1016/j.aim.2015.10.004
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov S, Donzé A, Frehse G, et al. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 2016;18(4):449-467. doi:10.1007/s10009-015-0393-y
View | Files available | DOI
 

Search

Filter Publications