Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2401 Publications

2019 | Journal Article | IST-REx-ID: 6088
Traxl A, Mairinger S, Filip T, et al. Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib. Molecular Pharmaceutics. 2019;16(3):1282-1293. doi:10.1021/acs.molpharmaceut.8b01217
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6069   OA
Mayzel J, Steinberg V, Varshney A. Stokes flow analogous to viscous electron current in graphene. Nature Communications. 2019;10:937. doi:10.1038/s41467-019-08916-5
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6228   OA
Scarselli D, Kühnen J, Hof B. Relaminarising pipe flow by wall movement. Journal of Fluid Mechanics. 2019;867:934-948. doi:10.1017/jfm.2019.191
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6230   OA
Barton NH, Hermisson J, Nordborg M. Why structure matters. eLife. 2019;8:e45380. doi:10.7554/eLife.45380
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6189   OA
Agrawal N, Choueiri GH, Hof B. Transition to turbulence in particle laden flows. Physical Review Letters. 2019;122(11):114502. doi:10.1103/PhysRevLett.122.114502
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6191   OA
Recho P, Hallou A, Hannezo EB. Theory of mechanochemical patterning in biphasic biological tissues. Proceedings of the National Academy of Sciences of the United States of America. 2019;116(12):5344-5349. doi:10.1073/pnas.1813255116
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6259
Cao M, Chen R, Li P, et al. TMK1-mediated auxin signalling regulates differential growth of the apical hook. Nature. 2019;568:240-243. doi:10.1038/s41586-019-1069-7
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6261   OA
Wang Y, Gong Z, Friml J, Zhang J. Nitrate modulates the differentiation of root distal stem cells. Plant Physiology. 2019;180(1):22-25. doi:10.1104/pp.18.01305
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6451   OA
Amberg N, Sotiropoulou PA, Heller G, et al. EGFR controls hair shaft differentiation in a p53-independent manner. iScience. 2019;15:243-256. doi:10.1016/j.isci.2019.04.018
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6470
Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 2019. doi:10.1113/JP277681
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6297
Davies HS, Baranova NS, El Amri N, et al. An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments. Matrix Biology. doi:10.1016/j.matbio.2018.12.002
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6343
Schur FK. Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. Current Opinion in Structural Biology. 2019;58(10):1-9. doi:10.1016/j.sbi.2019.03.018
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6418   OA
Huylmans AK, Toups MA, Macon A, Gammerdinger WJ, Vicoso B. Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome. Genome biology and evolution. 2019;11(4):1033-1044. doi:10.1093/gbe/evz053
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6413
Song B, Plana C, Lopez Alonso JM, Avila M. Phase-field simulation of core-annular pipe flow. International Journal of Multiphase Flow. 2019;117:14-24. doi:10.1016/j.ijmultiphaseflow.2019.04.027
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6552
Cremer S. Social immunity in insects. Current Biology. 2019;29(11):R458-R463. doi:10.1016/j.cub.2019.03.035
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6564   OA
Tichy A-M, Gerrard EJ, Legrand JMD, Hobbs RM, Janovjak HL. Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions. Journal of Molecular Biology. 2019. doi:10.1016/j.jmb.2019.05.033
View | DOI | Download (ext.)
 
2019 | Conference Paper | IST-REx-ID: 6569   OA
Bui Thi Mai P, Lampert C. Towards understanding knowledge distillation. In: Proceedings of the 36th International Conference on Machine Learning. Vol 97. PMLR; 2019:5142-5151.
View | Files available
 
2019 | Conference Paper | IST-REx-ID: 6590   OA
Konstantinov NH, Lampert C. Robust learning from untrusted sources. In: Proceedings of the 36th International Conference on Machine Learning.
View | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6608   OA
Edelsbrunner H, Ölsböck K. Holes and dependences in an ordered complex. Computer Aided Geometric Design. 2019;73:1-15. doi:10.1016/j.cagd.2019.06.003
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 65
Dareiotis K, Gerencser M, Gess B. Entropy solutions for stochastic porous media equations. Journal of Differential Equations. 2019;266(6):3732-3763. doi:10.1016/j.jde.2018.09.012
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6521   OA
Maes ME, Colombo G, Schulz R, Siegert S. Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters. 2019;707. doi:10.1016/j.neulet.2019.134310
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6634   OA
Akopyan A, Hubard A, Karasev R. Lower and upper bounds for the waists of different spaces. Topological Methods in Nonlinear Analysis. 2019;53(2):457-490. doi:10.12775/TMNA.2019.008
View | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6646
Khatoniar M, Yama N, Ghazaryan A, Guddala S, Ghaemi P, Menon V. Room temperature control of valley coherence in bilayer WS2 exciton polaritons. In: CLEO: Applications and Technology. OSA; 2019. doi:10.1364/cleo_at.2019.jtu2a.52
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6658
Raices J, Otto P, Vibranovski M. Haploid selection drives new gene male germline expression. Genome Research. 2019;29(7):1115-1122. doi:10.1101/gr.238824.118
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6677
Choudhuri AR, Hubáček P, Kamath Hosdurg C, Pietrzak KZ, Rosen A, Rothblum GN. Finding a Nash equilibrium is no easier than breaking Fiat-Shamir. In: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing  - STOC 2019. ACM Press; 2019:1103-1114. doi:10.1145/3313276.3316400
View | DOI
 
2019 | Journal Article | IST-REx-ID: 8
Trébuchet G, Cattenoz PB, Zsámboki J, et al. The Repo homeodomain transcription factor suppresses hematopoiesis in Drosophila and preserves the glial fate. Journal of Neuroscience. 2019;39(2):238-255. doi:10.1523/JNEUROSCI.1059-18.2018
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6759   OA
Jelínek V, Töpfer M. On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. 2019;26(3):P3.17.
View | Files available | arXiv
 
2019 | Journal Article | IST-REx-ID: 6761
Avni G, Henzinger TA, Kupferman O. Dynamic resource allocation games. Theoretical Computer Science. doi:10.1016/j.tcs.2019.06.031
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6627   OA
Adamowski M, Li L, Friml J. Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling. International Journal of Molecular Sciences. 2019;20(13):3337. doi:10.3390/ijms20133337
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 6780   OA
Huang M, Fu H, Chatterjee K, Goharshady AK. Modular verification for almost-sure termination of probabilistic programs. In: Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications . ACM.
View | Files available | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6824
Gärtner FR, Massberg S. Patrolling the vascular borders: Platelets in immunity to infection and cancer. Nature Reviews Immunology. 2019. doi:10.1038/s41577-019-0202-z
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6831   OA
Puixeu Sala G, Pickup M, Field D, Barrett SCH. Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics. New Phytologist. 2019. doi:10.1111/nph.16050
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6778   OA
Zhang Y, Xiao G, Wang X, Zhang X, Friml J. Evolution of fast root gravitropism in seed plants. Nature Communications. 2019;10:3480. doi:10.1038/s41467-019-11471-8
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6836
Hauser OP, Hilbe C, Chatterjee K, Nowak MA. Social dilemmas among unequals. Nature. 2019;572(7770):524-527. doi:10.1038/s41586-019-1488-5
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6843   OA
Gehér GP, Titkos T, Virosztek D. On isometric embeddings of Wasserstein spaces – the discrete case. Journal of Mathematical Analysis and Applications. 480(2). doi:10.1016/j.jmaa.2019.123435
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6855   OA
Sella G, Barton NH. Thinking about the evolution of complex traits in the era of genome-wide association studies. Annual Review of Genomics and Human Genetics. 2019;20:461-493. doi:10.1146/annurev-genom-083115-022316
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6848
Kampjut D, Sazanov LA. Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. 2019. doi:10.1038/s41586-019-1519-2
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6867   OA
Fenu M, Bettermann T, Vogl C, et al. A novel magnet-based scratch method for standardisation of wound-healing assays. Scientific Reports. 2019;9(1):12625. doi:10.1038/s41598-019-48930-7
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 5857
Fulek R, Pach J. Thrackles: An improved upper bound. Discrete Applied Mathematics. 2019;259(4):266-231. doi:10.1016/j.dam.2018.12.025
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6348   OA
Rueda Sanchez AR, Sedlmeir F, Kumari M, Leuchs G, Schwefel HGL. Resonant electro-optic frequency comb. Nature. 2019;568(7752):378-381. doi:10.1038/s41586-019-1110-x
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Thesis | IST-REx-ID: 6071
Prizak R. Coevolution of Transcription Factors and Their Binding Sites in Sequence Space. IST Austria; 2019. doi:10.15479/at:ista:th6071
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6906   OA
Boccato C, Brennecke C, Cenatiempo S, Schlein B. Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime. Communications in Mathematical Physics. 2019. doi:10.1007/s00220-019-03555-9
View | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6886   OA
Aghajohari M, Avni G, Henzinger TA. Determinacy in discrete-bidding infinite-duration games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:20. doi:10.4230/LIPICS.CONCUR.2019.20
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6898   OA
Sigalova OM, Chaplin AV, Bochkareva O, et al. Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. BMC Genomics. 2019;20(1):710. doi:10.1186/s12864-019-6059-5
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6920
Artner C, Benková E. Ethylene and cytokinin - partners in root growth regulation. Molecular Plant. doi:10.1016/j.molp.2019.09.003
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6918
Goharshady AK, Mohammadi F. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 2019;193:106665. doi:10.1016/j.ress.2019.106665
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6660   OA
Sumin D, Weyrich T, Rittig T, et al. Geometry-aware scattering compensation for 3D printing. ACM Transactions on Graphics. 2019;38(4):111. doi:10.1145/3306346.3322992
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6944   OA
Sun R, Lampert C. KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications. International Journal of Computer Vision. 2019. doi:10.1007/s11263-019-01232-x
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6482
Sun R, Lampert C. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. In: Vol 11269. Springer Nature; 2019:244-259. doi:10.1007/978-3-030-12939-2_18
View | Files available | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 11   OA
Leopold NK, Pickl P. Mean-field limits of particles in interaction with quantised radiation fields. In: Vol 270. Springer; 2018:185-214. doi:10.1007/978-3-030-01602-9_9
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 136   OA
Suri B, Tithof J, Grigoriev R, Schatz M. Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow. Physical Review E. 2018;98(2). doi:10.1103/PhysRevE.98.023105
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 143   OA
Brázdil T, Chatterjee K, Kučera A, Novotny P, Velan D, Zuleger F. Efficient algorithms for asymptotic bounds on termination time in VASS. In: Vol F138033. IEEE; 2018:185-194. doi:10.1145/3209108.3209191
View | DOI | Download (ext.)
 
2018 | Conference Paper | IST-REx-ID: 155   OA
Xuereb A, Aquilina M, Barzanjeh S. Routing thermal noise through quantum networks. In: Andrews DL, Ostendorf A, Bain AJ, Nunzi JM, eds. Vol 10672. SPIE; 2018. doi:10.1117/12.2309928
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 162   OA
Kaucka M, Petersen J, Tesarova M, et al. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 2018;7. doi:10.7554/eLife.34465
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 181   OA
Erdös L, Krüger TH, Renfrew DT. Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis. 2018;50(3):3271-3290. doi:10.1137/17M1143125
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 186   OA
Fulek R, Kynčl J. The ℤ2-Genus of Kuratowski minors. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:401-4014. doi:10.4230/LIPIcs.SoCG.2018.40
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 198   OA
Ibsen-Jensen R, Tkadlec J, Chatterjee K, Nowak M. Language acquisition with communication between learners. Journal of the Royal Society Interface. 2018;15(140). doi:10.1098/rsif.2018.0073
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 193   OA
Alwen JF, Gazi P, Kamath Hosdurg C, et al. On the memory hardness of data independent password hashing functions. In: Proceedings of the 2018 on Asia Conference on Computer and Communication Security. ACM; 2018:51-65. doi:10.1145/3196494.3196534
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 275   OA
Brown M, Johnson L, Leone D, et al. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 2018;217(6):2205-2221. doi:10.1083/jcb.201612051
View | Files available | DOI | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 28
Contreras X, Hippenmeyer S. Incorrect trafficking route leads to autism. Brain a journal of neurology. 2018;141(9):2542-2544. doi:10.1093/brain/awy218
View | DOI
 
2018 | Journal Article | IST-REx-ID: 282   OA
Sachdeva H, Barton NH. Introgression of a block of genome under infinitesimal selection. Genetics. 2018;209(4):1279-1303. doi:10.1534/genetics.118.301018
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 287   OA
Salari V, Barzanjeh S, Cifra M, et al. Electromagnetic fields and optomechanics In cancer diagnostics and treatment. Frontiers in Bioscience - Landmark. 2018;23(8):1391-1406. doi:10.2741/4651
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 294   OA
Fratini F, Safari L, Amaro P, Santos J. Two-photon processes based on quantum commutators. Physical Review A - Atomic, Molecular, and Optical Physics. 2018;97(4). doi:10.1103/PhysRevA.97.043842
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 302   OA
Cohen B, Pietrzak KZ. Simple proofs of sequential work. In: Vol 10821. Springer; 2018:451-467. doi:10.1007/978-3-319-78375-8_15
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 307   OA
Redchenko E, Makarov A, Yudson V. Nanoscopy of pairs of atoms by fluorescence in a magnetic field. Physical Review A - Atomic, Molecular, and Optical Physics. 2018;97(4). doi:10.1103/PhysRevA.97.043812
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 299   OA
Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In: Beyer D, Huisman M, eds. Vol 10806. Springer; 2018:303-319. doi:10.1007/978-3-319-89963-3_18
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 319   OA
Gerencser M, Hairer M. Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. 2018. doi:10.1007/s00440-018-0841-1
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 321
Darrell T, Lampert C, Sebe N, Wu Y, Yan Y. Guest editors’ introduction to the special section on learning with Shared information for computer vision and multimedia analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2018;40(5):1029-1031. doi:10.1109/TPAMI.2018.2804998
View | DOI
 
2018 | Journal Article | IST-REx-ID: 326   OA
Sawada K, Kawakami R, Shigemoto R, Nemoto T. Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices. European Journal of Neuroscience. 2018;47(9):1033-1042. doi:10.1111/ejn.13901
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 35   OA
Chatterjee K, Dvorák W, Henzinger M, Svozil A. Algorithms and conditional lower bounds for planning problems. In: 28th International Conference on Automated Planning and Scheduling . AAAI Press; 2018.
View | Download (ext.) | arXiv
 
2018 | Book Chapter | IST-REx-ID: 408
Trinh H, Verstraeten I, Geelen D. In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. In: Root Development . Vol 1761. Springer; 2018:95-102. doi:10.1007/978-1-4939-7747-5_7
View | DOI
 
2018 | Journal Article | IST-REx-ID: 410   OA
Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-23247-z
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 42   OA
Cucinotta M, Manrique S, Cuesta C, Benková E, Novák O, Colombo L. Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis. Journal of Experimental Botany. 2018;69(21):5169-5176. doi:10.1093/jxb/ery281
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 422   OA
Kühnen J, Scarselli D, Schaner M, Hof B. Relaminarization by steady modification of the streamwise velocity profile in a pipe. Flow Turbulence and Combustion. 2018;100(4):919-942. doi:10.1007/s10494-018-9896-4
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 415   OA
Rzadkowski W, Lemeshko M. Effect of a magnetic field on molecule–solvent angular momentum transfer . The Journal of Chemical Physics. 2018;148(10). doi: 10.1063/1.5017591
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 427   OA
Amaro P, Loureiro U, Safari L, et al. Quantum interference in laser spectroscopy of highly charged lithiumlike ions. Physical Review A - Atomic, Molecular, and Optical Physics. 2018;97(2). doi:10.1103/PhysRevA.97.022510
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 434
Jiang Y, Liu H, Song H, et al. Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. 2018;19(10):3320-3333. doi:10.1109/TITS.2017.2778077
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 441   OA
Kalinin N, Shkolnikov M. Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. 2018. doi:10.1007/s40879-018-0218-0
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 446   OA
Frank R, Phan Thanh N, Van Den Bosch H. The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory. Communications on Pure and Applied Mathematics. 2018;71(3):577-614. doi:10.1002/cpa.21717
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 458   OA
Akopyan A, Bobenko A. Incircular nets and confocal conics. Transactions of the American Mathematical Society. 2018;370(4):2825-2854. doi:10.1090/tran/7292
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 47
Abualia R, Benková E, Lacombe B. Transporters and mechanisms of hormone transport in arabidopsis. Advances in Botanical Research. 2018;87:115-138. doi:10.1016/bs.abr.2018.09.007
View | DOI
 
2018 | Journal Article | IST-REx-ID: 530   OA
Edelsbrunner H, Iglesias Ham M. Multiple covers with balls I: Inclusion–exclusion. Computational Geometry: Theory and Applications. 2018;68:119-133. doi:10.1016/j.comgeo.2017.06.014
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 54
Nunes Pinheiro DC, Bellaïche Y. Mechanical force-driven adherents junction remodeling and epithelial dynamics. Developmental Cell. 2018;47(1):3-19. doi:10.1016/j.devcel.2018.09.014
View | DOI
 
2018 | Journal Article | IST-REx-ID: 554   OA
Napiórkowski MM, Reuvers R, Solovej J. The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics. 2018;360(1):347-403. doi:10.1007/s00220-017-3064-x
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 5788   OA
Avni G, Henzinger TA, Ibsen-Jensen R. Infinite-duration poorman-bidding games. In: Vol 11316. Springer; 2018:21-36. doi:10.1007/978-3-030-04612-5_2
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 5790   OA
Chaplick S, Fulek R, Klavík P. Extending partial representations of circle graphs. Journal of Graph Theory. 2018. doi:10.1002/jgt.22436
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 5858   OA
Hross S, Theis FJ, Sixt MK, Hasenauer J. Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. 2018;15(149). doi:10.1098/rsif.2018.0600
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 5860   OA
Corominas-Murtra B, Seoane LF, Solé R. Zipf’s Law, unbounded complexity and open-ended evolution. Journal of the Royal Society Interface. 2018;15(149). doi:10.1098/rsif.2018.0395
View | DOI | Download (ext.) | arXiv
 
2018 | Book Chapter | IST-REx-ID: 59
Bloem R, Chatterjee K, Jobstmann B. Graph games and reactive synthesis. In: Henzinger TA, Clarke EM, Veith H, Bloem R, eds. Handbook of Modeling Checking. 1st ed. Springer; 2018:921-962. doi:10.1007/978-3-319-10575-8_27
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 5959
Bakhirkin A, Ferrere T, Henzinger TA, Nickovicl D. Keynote: The first-order logic of signals. In: 2018 International Conference on Embedded Software (EMSOFT). IEEE; 2018:1-10. doi:10.1109/emsoft.2018.8537203
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 5961
Alistarh D-A. A brief tutorial on distributed and concurrent machine learning. In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18. ACM Press; 2018:487-488. doi:10.1145/3212734.3212798
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 5966   OA
Alistarh D-A, Haider SK, Kübler R, Nadiradze G. The transactional conflict problem. In: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18. ACM Press; 2018:383-392. doi:10.1145/3210377.3210406
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 5978
Haller S, Swoboda P, Savchynskyy B. Exact MAP-inference by confining combinatorial search with LP relaxation. In: Proceedings of the 32st AAAI Conference on Artificial Intelligence. AAAI; 2018:6581-6588.
View
 
2018 | Journal Article | IST-REx-ID: 6010   OA
Garrido-Charad F, Vega Zuniga TA, Gutiérrez-Ibáñez C, et al. “Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network. Proceedings of the National Academy of Sciences. 2018;115(32):E7615-E7623. doi:10.1073/pnas.1804517115
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 5992   OA
Dolati S, Kage F, Mueller J, et al. On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility. Molecular Biology of the Cell. 2018;29(22):2674-2686. doi:10.1091/mbc.e18-02-0082
View | Files available | DOI | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 612   OA
Luján R, Aguado C, Ciruela F, et al. Differential association of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure and Function. 2018;223(3):1565-1587. doi:10.1007/s00429-017-1568-y
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 617   OA
Kutzer M, Kurtz J, Armitage S. Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance. Journal of Evolutionary Biology. 2018;31(1):159-171. doi:10.1111/jeb.13211
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2018 | Research Data | IST-REx-ID: 5757
Fraisse C. Supplementary Files for “Pleiotropy Modulates the Efficacy of Selection in Drosophila Melanogaster.” IST Austria; 2018. doi:10.15479/at:ista:/5757
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 6558   OA
Alistarh D-A, Allen-Zhu Z, Li J. Byzantine Stochastic Gradient Descent. In: Bengio S, Wallach H, Larochelle H, Grauman K, Cesa-Bianchi N, Garnett R, eds. Advances in Neural Information Processing Systems. Vol Volume 2018. Neural Information Processing Systems Foundation; 2018:4613-4623.
View | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 6589   OA
Alistarh D-A, Hoefler T, Johansson M, Konstantinov NH, Khirirat S, Renggli C. The convergence of sparsified gradient methods. In: Advances in Neural Information Processing Systems 31. Vol Volume 2018. Neural information processing systems; 2018:5973-5983.
View | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed