Please note that IST 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.

3297 Publications


2020 | Journal Article | IST-REx-ID: 8127 | OA
Gonçalves PJ, Lueckmann J-M, Deistler M, et al. Training deep neural density estimators to identify mechanistic models of neural dynamics. eLife. 2020;9. doi:10.7554/eLife.56261
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8130 | OA
Bossmann L. Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons. Archive for Rational Mechanics and Analysis. 2020;238(11):541-606. doi:10.1007/s00205-020-01548-w
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8131 | OA
Basilico B, Morandell J, Novarino G. Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics and Development. 2020;65(12):126-137. doi:10.1016/j.gde.2020.06.004
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8133 | OA
Hillary RF, Trejo-Banos D, Kousathanas A, et al. Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults. Genome Medicine. 2020;12(1). doi:10.1186/s13073-020-00754-1
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8134 | OA
Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. II. Upper bound. Journal of Mathematical Physics. 2020;61(6). doi:10.1063/5.0005950
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8135 | OA
Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. In: Topological Data Analysis. Vol 15. Springer Nature; 2020:181-218. doi:10.1007/978-3-030-43408-3_8
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8138 | OA
Zhang J, Mazur E, Balla J, et al. Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization. Nature Communications. 2020;11(1):3508. doi:10.1038/s41467-020-17252-y
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8142 | OA
Montesinos López JC, Abuzeineh A, Kopf A, et al. Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage. The Embo Journal. 2020;39(17). doi:10.15252/embj.2019104238
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Grah R. Gene regulation across scales – how biophysical constraints shape evolution. 2020. doi:10.15479/AT:ISTA:8155
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. Topological methods in geometry and discrete mathematics. 2020. doi:10.15479/AT:ISTA:8156
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8162 | OA
Laukoter S, Pauler F, Beattie RJ, et al. Cell-type specificity of genomic imprinting in cerebral cortex. Neuron. 2020;107(6):1160-1179.e9. doi:10.1016/j.neuron.2020.06.031
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8163 | OA
Vegter G, Wintraecken M. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 2020;57(2):193-199. doi:10.1556/012.2020.57.2.1454
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8167 | OA
Stankowski S, Westram AM, Zagrodzka ZB, et al. The evolution of strong reproductive isolation between sympatric intertidal snails. Philosophical Transactions of the Royal Society Series B: Biological Sciences. 2020;375(1806). doi:10.1098/rstb.2019.0545
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers. Philosophical Transactions of the Royal Society Series B: Biological sciences. 2020;375(1806). doi:10.1098/rstb.2019.0528
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8170 | OA
Chatterley AS, Christiansen L, Schouder CA, et al. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. 2020;125(1). doi:10.1103/PhysRevLett.125.013001
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8181 | OA
Hauschild R. Amplified centrosomes in dendritic cells promote immune cell effector functions. 2020. doi:10.15479/AT:ISTA:8181
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson PM, Tsiminaki V, Lampert C. Leveraging 2D data to learn textured 3D mesh generation. In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVF; 2020:7498-7507.
View | Files available | Download Submitted Version (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu Y, Dong Q-L, Liu L-L, Yao J-C. New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering. 2020. doi:10.1007/s11081-020-09544-5
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 2020;9. doi:10.21468/scipostphys.9.1.015
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 2020;20(7):5201-5206. doi:10.1021/acs.nanolett.0c01466
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8225 | OA
Köhler VK, Crescioli S, Singer J, et al. Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165693
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8226 | OA
Gotovina J, Bianchini R, Singer J, et al. Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. Allergy. 2020. doi:10.1111/all.14299
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8248 | OA
Boissonnat J-D, Dyer R, Ghosh A, Lieutier A, Wintraecken M. Local conditions for triangulating submanifolds of Euclidean space. Discrete and Computational Geometry. 2020. doi:10.1007/s00454-020-00233-9
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8250 | OA
Kavcic B, Tkačik G, Bollenbach MT. Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. 2020;11. doi:10.1038/s41467-020-17734-z
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8253 | OA
Zenke F, Vogels TP. The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks. bioRxiv. 2020.
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8261 | OA
Zhang X, Schlögl A, Jonas PM. Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. 2020;107(6):1212-1225. doi:10.1016/j.neuron.2020.07.006
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8268 | OA
Gurel NM, Kara K, Stojanov A, et al. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. 2020;68:4268-4282. doi:10.1109/TSP.2020.3010355
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: International Conference on Computer Aided Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen H, Lai L, Li L, et al. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165727
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8284 | OA
Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 2020;9. doi:10.7554/eLife.59407
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 2020;125(4). doi:10.1103/PhysRevLett.125.043202
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8286 | OA
Alistarh D-A, Nadiradze G, Sabour A. Dynamic averaging load balancing on cycles. In: 47th International Colloquium on Automata, Languages, and Programming. Vol 168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.ICALP.2020.7
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: Proceedings of the International Conference on Embedded Software.
View | Files available | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8294 | OA
Hauschild R. RGtracker. 2020. doi:10.15479/AT:ISTA:8294
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8307 | OA
Stewart A, Kokoris Kogias E. GRANDPA: A Byzantine finality gadget. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8308 | OA
Brighi P, Abanin DA, Serbyn M. Stability of mobility edges in disordered interacting systems. Physical Review B. 2020;102(6). doi:10.1103/physrevb.102.060202
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8318 | OA
Gutierrez-Fernandez J, Kaszuba K, Minhas GS, et al. Key role of quinone in the mechanism of respiratory complex I. Nature Communications. 2020;11(1). doi:10.1038/s41467-020-17957-0
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8319 | OA
Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. 2020;102(1). doi:10.1103/PhysRevA.102.012224
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty S, Dziembowski S, Nielsen JB. Reverse firewalls for actively secure MPCs. In: Advances in Cryptology – CRYPTO 2020. Vol 12171. Springer Nature; 2020:732-762. doi:10.1007/978-3-030-56880-1_26
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8323 | OA
Pach J. A farewell to Ricky Pollack. Discrete and Computational Geometry. 2020;64:571-574. doi:10.1007/s00454-020-00237-5
View | DOI | Download None (ext.)
 

2020 | Journal Article | IST-REx-ID: 8325 | OA
Kalinin N, Shkolnikov M. Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics. 2020;378(9):1649-1675. doi:10.1007/s00220-020-03828-8
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
Schlemmer W, Nothdurft P, Petzold A, et al. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. 2020;59(51):22943-22946. doi:10.1002/anie.202008253
View | DOI | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova K, Montesinos López JC, Šamajová O, et al. Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. 2020;11. doi:10.1038/s41467-020-17949-0
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi I, Novák O, Gelová Z, et al. Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. 2020;11. doi:10.1038/s41467-020-17700-9
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan A, Bobenko AI, Schief WK, Techter J. On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry. 2020. doi:10.1007/s00454-020-00240-w
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8339 | OA
Genise N, Micciancio D, Peikert C, Walter M. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In: 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. Vol 12110. Springer Nature; 2020:623-651. doi:10.1007/978-3-030-45374-9_21
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking neural networks through multiplicative synapses. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8358 | OA
Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:10.15479/AT:ISTA:8358
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8361 | OA
Varzi A, Thanner K, Scipioni R, et al. Current status and future perspectives of lithium metal batteries. Journal of Power Sources. 2020;480(12). doi:10.1016/j.jpowsour.2020.228803
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:10.15479/AT:ISTA:8366
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8375 | OA
Guseinov R. Supplementary data for “Computational design of curved thin shells: from glass façades to programmable matter.” 2020. doi:10.15479/AT:ISTA:8375
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8382 | OA
Baig MA, Hendler D, Milani A, Travers C. Long-lived snapshots with polylogarithmic amortized step complexity. In: Proceedings of the 39th Symposium on Principles of Distributed Computing. ACM; 2020:31-40. doi:10.1145/3382734.3406005
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8384 | OA
Ishida S, Synak P, Narita F, Hachisuka T, Wojtan CJ. A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392405
View | Files available | DOI | Download Submitted Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8385 | OA
Sperl G, Narain R, Wojtan CJ. Homogenized yarn-level cloth. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392412
View | Files available | DOI | Download Submitted Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8386 | OA
Zhang R. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. 2020. doi:10.15479/AT:ISTA:8386
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8390 | OA
Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:10.15479/AT:ISTA:8390
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8402 | OA
Rampelt H, Sucec I, Bersch B, et al. The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. 2020;18. doi:10.1186/s12915-019-0733-6
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8403 | OA
Sučec I, Wang Y, Dakhlaoui O, et al. Structural basis of client specificity in mitochondrial membrane-protein chaperones. bioRxiv. doi:10.1101/2020.06.08.140772
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8404 | OA
Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv. doi:10.1101/2020.03.13.990150
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8429 | OA
Patxot M, Trejo Banos D, Kousathanas A, et al. Probabilistic inference of the genetic architecture of functional enrichment of complex traits. medRxiv. 2020. doi:10.1101/2020.09.04.20188433
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8529 | OA
Arnold GM, Wulf M, Barzanjeh S, et al. Converting microwave and telecom photons with a silicon photonic nanomechanical interface. Nature Communications. 2020;11. doi:10.1038/s41467-020-18269-z
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. 2020;21(18). doi:10.3390/ijms21186737
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Simplified game of life: Algorithms and complexity. In: 45th International Symposium on Mathematical Foundations of Computer Science. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.MFCS.2020.22
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker IR, Kupferman O, Mazzocchi N. Unary prime languages. In: 45th International Symposium on Mathematical Foundations of Computer Science. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.MFCS.2020.51
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8535 | OA
Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan CJ. Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392466
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8536 | OA
Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. Simplified successive cancellation decoding of polar codes has sublinear latency. In: IEEE International Symposium on Information Theory - Proceedings. Vol 2020-June. IEEE; 2020. doi:10.1109/ISIT44484.2020.9174141
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8538 | OA
Akopyan A, Schwartz R, Tabachnikov S. Billiards in ellipses revisited. European Journal of Mathematics. 2020. doi:10.1007/s40879-020-00426-9
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8539 | OA
Su C, Zhao G, Zhong C. On the K-theory stable bases of the springer resolution. Annales Scientifiques de l’Ecole Normale Superieure. 2020;53(3):663-671. doi:10.24033/asens.2431
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 8545 | OA
Contreras X, Davaatseren A, Amberg N, et al. A genome-wide library of MADM mice for single-cell genetic mosaic analysis. bioRxiv. 2020. doi:10.1101/2020.06.05.136192
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8557 | OA
Belyaeva V, Wachner S, Gridchyn I, et al. Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv. doi:10.1101/2020.09.18.301481
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8562 | OA
Gavriil K, Guseinov R, Perez Rodriguez J, et al. Computational design of cold bent glass façades. ACM Transactions on Graphics. 2020;39(6). doi:10.1145/3414685.3417843
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8568 | OA
Prehal C, Fitzek H, Kothleitner G, et al. Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. 2020;11. doi:10.1038/s41467-020-18610-6
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:49-75. doi:10.29007/zkf6
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8572 | OA
Althoff M, Bak S, Bao Z, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:16-48. doi:10.29007/7dt2
View | DOI | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8574 | OA
Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8579 | OA
Andrei A, Öztürk Y, Khalfaoui-Hassani B, et al. Cu homeostasis in bacteria: The ins and outs. Membranes. 2020;10(9). doi:10.3390/membranes10090242
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8586 | OA
Fäßler F, Zens B, Hauschild R, Schur FK. 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. 2020;212(3). doi:10.1016/j.jsb.2020.107633
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8587 | OA
Li X, Yakaboylu E, Bighin G, Schmidt R, Lemeshko M, Deuchert A. Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. 2020;152(16). doi:10.1063/1.5144759
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8588 | OA
Hubert C, Cohen K, Ghazaryan A, Lemeshko M, Rapaport R, Santos PV. Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids. Physical Review B. 2020;102(4). doi:10.1103/physrevb.102.045307
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8592 | OA
Tian A, Kang B, Li B, Qiu B, Jiang W, Shao F, Gao Q, Liu R, Cai C, Jing R, Wang W, Chen P, Liang Q, Bao L, Man J, Wang Y, Shi Y, Li J, Yang M, Wang L, Zhang J, Hippenmeyer S, Zhu J, Bian X, Wang Y, Liu C. 2020. Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting. Advanced Science. 7(21), 2001724.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8597 | OA
Merrin J. Differences in power law growth over time and indicators of COVID-19 pandemic progression worldwide. Physical Biology. 2020;17(6). doi:10.1088/1478-3975/abb2db
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8599 | OA
Avni G, Henzinger TA. A survey of bidding games on graphs. In: 31st International Conference on Concurrency Theory. Vol 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.CONCUR.2020.2
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8600 | OA
Chatterjee K, Henzinger TA, Otop J. Multi-dimensional long-run average problems for vector addition systems with states. In: 31st International Conference on Concurrency Theory. Vol 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.CONCUR.2020.23
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8601 | OA
Cipolloni G, Erdös L, Schröder DJ. Edge universality for non-Hermitian random matrices. Probability Theory and Related Fields. 2020. doi:10.1007/s00440-020-01003-7
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8607 | OA
Liu D, Kumar R, LAN C, et al. Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif. Plant Cell. 2020;32(11):3598-3612. doi:10.1105/tpc.20.00384
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8616 | OA
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv, 10.1101/2020.09.15.262782.
View | DOI | Download Preprint (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger TA, Sarac NE. Monitorability under assumptions. In: Runtime Verification. Vol 12399. Springer Nature; 2020:3-18. doi:10.1007/978-3-030-60508-7_1
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8634 | OA
Suri B, Kageorge L, Grigoriev RO, Schatz MF. Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits. Physical Review Letters. 2020;125(6). doi:10.1103/physrevlett.125.064501
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8643 | OA
Deichler A, Carrasco D, Lopez-Jury L, et al. A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents. Scientific Reports. 2020;10. doi:10.1038/s41598-020-72848-0
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8644 | OA
Rzadkowski W, Defenu N, Chiacchiera S, Trombettoni A, Bighin G. Detecting composite orders in layered models via machine learning. New Journal of Physics. 2020;22(9). doi:10.1088/1367-2630/abae44
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8645 | OA
Esteban LA, Lonishin LR, Bobrovskiy DM, et al. HypercubeME: Two hundred million combinatorially complete datasets from a single experiment. Bioinformatics. 2020;36(6):1960-1962. doi:10.1093/bioinformatics/btz841
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8652 | OA
Ghazaryan A, Lemeshko M, Volosniev A. Filtering spins by scattering from a lattice of point magnets. Communications Physics. 2020;3. doi:10.1038/s42005-020-00445-8
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8669 | OA
Sznurkowska MK, Hannezo EB, Azzarelli R, et al. Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. 2020;11. doi:10.1038/s41467-020-18837-3
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8670 | OA
Zhang H. Equality conditions of data processing inequality for α-z Rényi relative entropies. Journal of Mathematical Physics. 2020;61(10). doi:10.1063/5.0022787
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8671 | OA
Shakiba A, Goharshady AK, Hooshmandasl MR, Alambardar Meybodi M. A note on belief structures and s-approximation spaces. Iranian Journal of Mathematical Sciences and Informatics. 2020;15(2):117-128. doi:10.29252/ijmsi.15.2.117
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8672 | OA
Chaigne A, Labouesse C, White IJ, et al. Abscission couples cell division to embryonic stem cell fate. Developmental Cell. 2020;55(2):195-208. doi:10.1016/j.devcel.2020.09.001
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications