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.




3102 Publications

2016 | Journal Article | IST-REx-ID: 1264 | OA
Sancho Andrés G, Soriano Ortega E, Gao C, et al. Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier. Plant Physiology. 2016;171(3):1965-1982. doi:10.1104/pp.16.00373
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1265
Elsayad K, Werner S, Gallemi M, et al. Mapping the subcellular mechanical properties of live cells in tissues with fluorescence emission-Brillouin imaging. Science Signaling. 2016;9(435). doi:10.1126/scisignal.aaf6326
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1266 | OA
Chalk MJ, Gutkin B, Denève S. Neural oscillations as a signature of efficient coding in the presence of synaptic delays. eLife. 2016;5(2016JULY). doi:10.7554/eLife.13824
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1267 | OA
Frank R, Killip R, Nam P. Nonexistence of large nuclei in the liquid drop model. Letters in Mathematical Physics. 2016;106(8):1033-1036. doi:10.1007/s11005-016-0860-8
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1268
Milutinovic B, Kurtz J. Immune memory in invertebrates. Seminars in Immunology. 2016;28(4):328-342. doi:10.1016/j.smim.2016.05.004
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1269 | OA
Benková E. Plant hormones in interactions with the environment. Plant Molecular Biology. 2016;91(6):597. doi:10.1007/s11103-016-0501-8
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 948
Monk T, Savin C, Lücke J. Neurons equipped with intrinsic plasticity learn stimulus intensity statistics. In: Vol 29. Neural Information Processing Systems; 2016:4285-4293.
View | Download None (ext.)
 
2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach T. Automatic synthesis of synchronisation primitives for concurrent programs. 2016.
View | Files available | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1432 | OA
Mishra RK, Kim S, Guzmán J, Jonas PM. Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks. Nature Communications. 2016;7. doi:10.1038/ncomms11552
View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1396 | OA
Mishra RK. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. 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: 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: 1121 | OA
Acar H. Selective barriers to horizontal gene transfer. 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1131 | OA
Tugrul M. Evolution of transcriptional regulatory sequences. 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: 1124 | OA
Morri M. Optical functionalization of human class A orphan G-protein coupled receptors. 2016.
View | Files available
 
2016 | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1321 | OA
Leithner AF, Eichner A, Müller J, et al. Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. 2016;18:1253-1259. doi:10.1038/ncb3426
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1100 | OA
Sako K, Pradhan S, Barone V, et al. Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. 2016;16(3):866-877. doi:10.1016/j.celrep.2016.06.036
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. In: Vol 20-22. ACM; 2016:733-747. doi:10.1145/2837614.2837624
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee K, Fu H, Goharshady AK. Termination analysis of probabilistic programs through Positivstellensatz’s. In: Vol 9779. Springer; 2016:3-22. doi:10.1007/978-3-319-41528-4_1
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2271 | OA
Kolmogorov V, Thapper J, Živný S. The power of linear programming for general-valued CSPs. SIAM Journal on Computing. 2015;44(1):1-36. doi:10.1137/130945648
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 802
Engel J, Schmalhorst PS, Kruger A, Muller C, Buettner F, Routier F. Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis. Glycobiology. 2015;25(12):1423-1430. doi:10.1093/glycob/cwv059
View | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1686
Kiermaier E, Sixt MK. Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection. Science. 2015;349(6252):1055-1056. doi:10.1126/science.aad0867
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1687 | OA
Sarris M, Sixt MK. Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology. 2015;36(10):93-102. doi:10.1016/j.ceb.2015.08.001
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1688 | OA
Karasev R, Kynčl J, Paták P, Patakova Z, Tancer M. Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete & Computational Geometry. 2015;54(3):610-636. doi:10.1007/s00454-015-9720-z
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:259-268. doi:10.1145/2728606.2728608
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1690
Bak S, Bogomolov S, Johnson T. HYST: A source transformation and translation tool for hybrid automaton models. In: Springer; 2015:128-133. doi:10.1145/2728606.2728630
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová M, Chmelik M, Leahy K, et al. Temporal logic motion planning using POMDPs with parity objectives: Case study paper. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:233-238. doi:10.1145/2728606.2728617
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1692
Frehse G, Bogomolov S, Greitschus M, Strump T, Podelski A. Eliminating spurious transitions in reachability with support functions. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:149-158. doi:10.1145/2728606.2728622
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1693 | OA
Amaro P, Franke B, Krauth J, et al. Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. 2015;92(2). doi:10.1103/PhysRevA.92.022514
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1694
Chatterjee K, Prabhu V. Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control. 2015;60(9):2291-2306. doi:10.1109/TAC.2015.2404612
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1695 | OA
Kaczmarczyk J, Schickling T, Bünemann J. Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics. 2015;252(9):2059-2071. doi:10.1002/pssb.201552082
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1696 | OA
Wysokiński M, Kaczmarczyk J, Spałek J. Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B. 2015;92(12). doi:10.1103/PhysRevB.92.125135
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1697 | OA
Marre O, Botella Soler V, Simmons K, Mora T, Tkačik G, Berry M. High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology. 2015;11(7). doi:10.1371/journal.pcbi.1004304
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1698 | OA
Velner Y, Chatterjee K, Doyen L, Henzinger TA, Rabinovich A, Raskin J. The complexity of multi-mean-payoff and multi-energy games. Information and Computation. 2015;241(4):177-196. doi:10.1016/j.ic.2015.03.001
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1699 | OA
Uecker H, Setter D, Hermisson J. Adaptive gene introgression after secondary contact. Journal of Mathematical Biology. 2015;70(7):1523-1580. doi:10.1007/s00285-014-0802-y
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1700 | OA
Van Loon E, Katsnelson M, Lemeshko M. Ultralong-range order in the Fermi-Hubbard model with long-range interactions. Physical Review B. 2015;92(8). doi:10.1103/PhysRevB.92.081106
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1701 | OA
Tkačik G, Mora T, Marre O, et al. Thermodynamics and signatures of criticality in a network of neurons. PNAS. 2015;112(37):11508-11513. doi:10.1073/pnas.1514188112
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1703
Broadhurst L, Fifield G, Vanzella B, Pickup M. An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas. Australian Journal of Botany. 2015;63(5):455-466. doi:10.1071/BT15023
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1704 | OA
Deuchert A, Hainzl C, Seiringer R. Note on a family of monotone quantum relative entropies. Letters in Mathematical Physics. 2015;105(10):1449-1466. doi:10.1007/s11005-015-0787-5
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1706 | OA
Pentina A, Ben David S. Multi-task and lifelong learning of kernels. In: Vol 9355. Springer; 2015:194-208. doi:10.1007/978-3-319-24486-0_13
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1709 | OA
Reiter J, Kanodia A, Gupta R, Nowak M, Chatterjee K. Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. 2015;282(1812). doi:10.1098/rspb.2015.1041
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1710 | OA
Akopyan A, Plakhov A. Minimal resistance of curves under the single impact assumption. Society for Industrial and Applied Mathematics. 2015;47(4):2754-2769. doi:10.1137/140993843
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1712 | OA
Ratheesh A, Belyaeva V, Siekhaus DE. Drosophila immune cell migration and adhesion during embryonic development and larval immune responses. Current Opinion in Cell Biology. 2015;36(10):71-79. doi:10.1016/j.ceb.2015.07.003
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee K, Pavlogiannis A, Kößler A, Schmid U. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In: Real-Time Systems Symposium. Vol 2015. IEEE; 2015:118-127. doi:10.1109/RTSS.2014.9
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1730 | OA
Colin De Verdière É, Hubard A, de Mesmay AN. Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete & Computational Geometry. 2015;53(3):587-620. doi:10.1007/s00454-015-9679-9
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free. Information and Computation. 2015;245(12):3-16. doi:10.1016/j.ic.2015.06.003
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1732 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. In: IEEE; 2015:325-330. doi:10.1109/ICRA.2015.7139019
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1734
Klehm O, Rousselle F, Papas M, et al. Recent advances in facial appearance capture. Computer Graphics Forum. 2015;34(2):709-733. doi:10.1111/cgf.12594
View | DOI | Download None (ext.)
 

Filters and Search Terms

type<>research_data

Search

Filter Publications