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.




2890 Publications

2014 | Journal Article | IST-REx-ID: 2229 | OA
Vyleta N, Jonas PM. Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science. 2014;343(6171):665-670. doi:10.1126/science.1244811
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2230 | OA
Guzmán J, Schlögl A, Schmidt Hieber C. Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics. 2014;8(FEB). doi:10.3389/fninf.2014.00016
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2231 | OA
Rieckh G, Tkacik G. Noise and information transmission in promoters with multiple internal states. Biophysical Journal. 2014;106(5):1194-1204. doi:10.1016/j.bpj.2014.01.014
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2232 | OA
Song B, Hof B. Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment. 2014;2014(2). doi:10.1088/1742-5468/2014/02/P02001
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2233 | OA
Boker U, Henzinger TA. Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science. 2014;10(1). doi:10.2168/LMCS-10(1:10)2014
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2234 | OA
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. 2014;10(1). doi:10.2168/LMCS-10(1:13)2014
View | Files available | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2235 | OA
Fürst M, Mcmahon D, Osborne J, Paxton R, Brown M. Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature. 2014;506(7488):364-366. doi:10.1038/nature12977
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2236 | OA
Jetchev D, Pietrzak KZ. How to fake auxiliary input. In: Lindell Y, ed. Vol 8349. Springer; 2014:566-590. doi:10.1007/978-3-642-54242-8_24
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2239
Boker U, Henzinger TA, Radhakrishna A. Battery transition systems. In: Vol 49. ACM; 2014:595-606. doi:10.1145/2535838.2535875
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2240
Gadeyne A, Sánchez Rodríguez C, Vanneste S, et al. The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell. 2014;156(4):691-704. doi:10.1016/j.cell.2014.01.039
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2241
Beppu K, Sasaki T, Tanaka K, et al. Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron. 2014;81(2):314-320. doi:10.1016/j.neuron.2013.11.011
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2242
Dueck A, Eichner A, Sixt MK, Meister G. A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation. FEBS Letters. 2014;588(4):632-640. doi:10.1016/j.febslet.2014.01.009
View | DOI
 
2014 | Book Chapter | IST-REx-ID: 2245
Simon S, Skůpa P, Dobrev P, Petrášek J, Zažímalová E, Friml J. Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In: Hicks G, Robert S, eds. Plant Chemical Genomics. Vol 1056. Methods in Molecular Biology. Springer; 2014:255-264. doi:10.1007/978-1-62703-592-7_23
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2246 | OA
Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. Alternating traps in Muller and parity games. Theoretical Computer Science. 2014;521:73-91. doi:10.1016/j.tcs.2013.11.032
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2248
Capek D, Metscher B, Müller G. Thumbs down: A molecular-morphogenetic approach to avian digit homology. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. 2014;322(1):1-12. doi:10.1002/jez.b.22545
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2249 | OA
Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. 2014;77(1):97-107. doi:10.1111/tpj.12373
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2251 | OA
Csicsvari JL, Dupret D. Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2014;369(1635). doi:10.1098/rstb.2012.0528
View | Files available | DOI | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2253 | OA
Bailly A, Wang B, Zwiewka M, et al. Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. 2014;77(1):108-118. doi:10.1111/tpj.12369
View | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2254 | OA
Pernia-Andrade A, Jonas PM. Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. 2014;81(1):140-152. doi:10.1016/j.neuron.2013.09.046
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2255 | OA
Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 2014;50(1):164-177. doi:10.1007/s10851-013-0468-x
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2257 | OA
Tkačik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry M. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 2014;10(1). doi:10.1371/journal.pcbi.1003408
View | Files available | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2261 | OA
Zhu F, Gamboa M, Farruggio A, et al. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. 2014;42(5). doi:10.1093/nar/gkt1290
View | Files available | DOI
 
2014 | Book Chapter | IST-REx-ID: 2265
Hippenmeyer S. Molecular pathways controlling the sequential steps of cortical projection neuron migration. In: Nguyen L, ed. Cellular and Molecular Control of Neuronal Migration. Vol 800. Springer; 2014:1-24. doi:10.1007/978-94-007-7687-6_1
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2275 | OA
Olsson C, Ulen J, Boykov Y, Kolmogorov V. Partial enumeration and curvature regularization. In: IEEE; 2014:2936-2943. doi:10.1109/ICCV.2013.365
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2285 | OA
Hosp J, Strüber M, Yanagawa Y, et al. Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. 2014;23(2):189-203. doi:10.1002/hipo.22214
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 468 | OA
Cimadom A, Ulloa A, Meidl P, et al. Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. 2014;9(9). doi:10.1371/journal.pone.0107518
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 475 | OA
Aminof B, Rubin S. First cycle games. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 146. Open Publishing Association; 2014:83-90. doi:10.4204/EPTCS.146.11
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial time algorithms for energy games with special weight structures. Algorithmica. 2014;70(3):457-492. doi:10.1007/s00453-013-9843-7
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak R, Ezard T, Hoyle R. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 2014;4(15):3139-3145. doi:10.1002/ece3.1150
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional Specifications for IOCO Testing. IST Austria; 2014. doi:10.15479/AT:IST-2014-148-v2-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v2-2
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v3-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger TA, Otop J. Model Measuring for Hybrid Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-171-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger TA, Otop J. From Model Checking to Model Measuring. IST Austria; 2014. doi:10.15479/AT:IST-2014-172-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee K, Doyen L. Games with a Weak Adversary. IST Austria; 2014. doi:10.15479/AT:IST-2014-176-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-187-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee K, Ibsen-Jensen R. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-191-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolution on Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-190-v2-2
View | Files available | DOI
 
2014 | Report | IST-REx-ID: 5422 | OA
Porsche J. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none; 2014.
View | Files available
 
2014 | Technical Report | IST-REx-ID: 5423 | OA
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria; 2014. doi:10.15479/AT:IST-2014-300-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria; 2014. doi:10.15479/AT:IST-2014-305-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria; 2014. doi:10.15479/AT:IST-2014-305-v2-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-314-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative Fair Simulation Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-315-v1-1
View | Files available | DOI
 
2014 | Book Chapter | IST-REx-ID: 6178
Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In: Nelson C, ed. Tissue Morphogenesis. Vol 1189. Methods in Molecular Biology. New York, NY: Springer; 2014:219-235. doi:10.1007/978-1-4939-1164-6_15
View | DOI | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2699 | OA
Erdös L, Bourgade P, Yau H. Universality of general β-ensembles. Duke Mathematical Journal. 2014;163(6):1127-1190. doi:10.1215/00127094-2649752
View | DOI | Download Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 2014;51(3-4):129-163. doi:10.1007/s00236-013-0182-6
View | DOI | Download Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2852
Fischlin M, Lehmann A, Pietrzak KZ. Robust multi-property combiners for hash functions. Journal of Cryptology. 2014;27(3):397-428. doi:10.1007/s00145-013-9148-7
View | Files available | DOI
 

Search

Display / Sort

Citation Style: AMA

Export / Embed