Items where Year is 2014

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: A | B | C | D | E | G | H | J | K | L | M | N | P | R | S | T | W | Z | Č
Number of items: 75.


Ajanki, Oskari and Erdős, László and Krüger, Torben (2014) Local semicircle law with imprimitive variance matrix. Electronic Communications in Probability, 19. Article No. 33. ISSN 1083-589X

Aminof, Benjamin and Rubin, Sasha (2014) First cycle games. In: SR: Strategic Reasoning, April 5 - 6, 2014, Grenoble, France.

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 (2014) Optimal Cost Almost-sure Reachability in POMDPs. Technical Report. IST Austria. (Submitted)

Arai, Itaru and Jonas, Peter (2014) Nanodomain coupling explains Ca2+ independence of transmitter release time course at a fast central synapse. eLife, 3. Article No. e04057. ISSN 2050-084X

Arikan, Murat and Preiner, Reinhold and Scheiblauer, Claus and Jeschke, Stefan and Wimmer, Michael (2014) Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics, 20 (9). pp. 1280-1292. ISSN 1077-2626


Berthoumieux, Hélène and Maître, Jean-Léon and Heisenberg, Carl-Philipp and Paluch, Ewa K and Julicher, Frank and Salbreux, Guillaume (2014) Active elastic thin shell theory for cellular deformations. New Journal of Physics, 16. ISSN 13672630

Bloemendal, Alex and Erdős, László and Knowles, Antti and Yau, Horng-Tzer and Yin, Jun (2014) Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability, 19. Article No. 33. ISSN 1083-6489

Boker, Udi and Chatterjee, Krishnendu and Henzinger, Thomas A and Kupferman, Orna (2014) Temporal Specifications with Accumulative Values. ACM Transactions on Computational Logic (TOCL), 15 (4). Article No. 27.

Boker, Udi and Henzinger, Thomas A (2014) Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science, 10 (1). Article No. 1. ISSN 1860-5974

Brázdil, Tomáš and Brožek, Václav and Chatterjee, Krishnendu and Forejt, Vojtěch and Kučera, Antonín (2014) Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science, 10 (1). Article No. 13. ISSN 1860-5974


Chatterjee, Krishnendu and Alexander, Koessler and Pavlogiannis, Andreas and Schmid, Ulrich (2014) A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. Technical Report. IST Austria.

Chatterjee, Krishnendu and Chmelík, Martin and Gupta, Raghav and Kanodia, Ayush (2014) Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. Technical Report. IST Austria.

Chatterjee, Krishnendu and Daca, Przemyslaw and Chmelík, Martin (2014) CEGAR for Qualitative Analysis of Probabilistic Systems. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent (2014) Games with a Weak Adversary. Technical Report. IST Austria.

Chatterjee, Krishnendu and Henzinger, Thomas A and Otop, Jan and Velner, Yaron (2014) Quantitative Fair Simulation Gamest. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus (2014) The Value 1 Problem for Concurrent Mean-payoff Games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Nowak, Martin A (2014) The Complexity of Evolution on Graphs. Technical Report. IST Austria. (Submitted)

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas (2014) Improved algorithms for reachability and shortest path on low tree-width graphs. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas (2014) Optimal Tree-decomposition Balancing and Reachability on Low Treewidth Graphs. Technical Report. IST Austria.

Chatterjee, Krishnendu and Pavlogiannis, Andreas and Adlam, Ben and Nowak, Martin A (2014) The time scale of evolutionary innovation. PLoS Computational Biology, 10 (9). Article No. e1003818. ISSN 1553-7358

Chatterjee, Krishnendu and Pavlogiannis, Andreas and Adlam, Ben and Nowak, Martin A (2014) The time scale of evolutionary trajectories. PLoS Computational Biology, 10 (9). Article Nr. e1003818. ISSN 1553-7358

Cimadom, Arno and Ulloa, Angel and Meidl, Patrick and Zöttl, Markus and Zöttl, Elisabet and Fessl, Birgit and Nemeth, Erwin and Dvorak, Michael and Cunninghame, Francesca and Tebbich, Sabine (2014) Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches. PLoS One, 9 (9). : Article number: 0107518 . ISSN 1932-6203

Csicsvári, József and Dupret, David (2014) Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London, Series B : Biological Sciences , 369 (1635). Article No. 20120528 . ISSN 0962-8436


Daca, Przemyslaw and Henzinger, Thomas A and Krenn, Willibald and Ničković, Dejan (2014) Compositional Specifications for IOCO Testing: Technical Report. Technical Report. IST Austria.

Dodis, Yevgeniy and Pietrzak, Krzysztof and Wichs, Daniel (2014) Key derivation without entropy waste. In: EUROCRYPT: Theory and Applications of Cryptographic Techniques, April 11-15, 2014, Copenhagen, Denmark.

Dragoi, Cezara and Henzinger, Thomas A and Widder, Josef and Veith, Helmut and Zufferey, Damien (2014) A Logic-based Framework for Verifying Consensus Algorithms. Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, 8318. pp. 161-181. ISSN 978-3-642-54013-4

Dubas, Ewa and Moravčíková, Jana and Libantová, Jana and Matušíková, Ildikó and Benková, Eva and Zur, Iwona A. and Krzewska, Monika (2014) The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos. Protoplasma, 251 (5). pp. 1077-1087. ISSN 1615-6102


Edamura, Mitsuhiro and Murakami, Gen and Meng, Hongrui and Itakura, Makoto and Shigemoto, Ryuichi and Fukuda, Atsuo and Nakahara, Daiichiro (2014) Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS ONE, 9 (9). Article No. e107099. ISSN 19326203

Edelsbrunner, Herbert and Jabłoński, Grzegorz and Mrozek, Marian (2014) The persistent homology of a self-map. Foundations of Computational Mathematics, 15 (5). pp. 1213-1244. ISSN 1615-3383

Edelsbrunner, Herbert and Pausinger, Florian (2014) Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision, 50 (1). pp. 164-177. ISSN 1573-7683

Ezard, Thomas Hg G and Prizak, Roshan and Hoyle, Rebecca B (2014) The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology, 28 (3). pp. 693-701. ISSN 02698463


Gao, Peng and Postiglione, Maria Pia and Krieger, Teresa G and Hernandez, Luisirene and Wang, Chao and Han, Zhi and Streicher, Carmen and Papusheva, Ekaterina and Insolera, Ryan and Chugh, Kritika and Kodish, Oren and Huang, Kun and Simons, Benjamin D and Luo, Liqun and Hippenmeyer, Simon and Shi, Song-Hai (2014) Deterministic progenitor behavior and unitary production of neurons in the neocortex. Cell, 159 (4). pp. 775-778. ISSN 0092-8674

Gaži, Peter and Pietrzak, Krzysztof and Rybar, Michal (2014) The exact PRF-security of NMAC and HMAC. In: CRYPTO: International Cryptology Conference, August 17-21, 2014, Santa Barbara, CA, USA.

Grabowska, Anna D and Wywiał, Ewa and Dunin-Horkawicz, Stanislaw and Łasica, Anna Maria and Wösten, Marc M S M and Nagy-Staron, Anna and Godlewska, Renata A and Bocian-Ostrzycka, Katarzyna and Pieńkowska, Katarzyna and Łaniewski, Paweł and Bujnicki, Janusz M and Van Putten, Jos P M and Jagusztyn-Krynicka, Elzbieta K (2014) Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS ONE, 9 (9). Article No. e106247. ISSN 19326203

Guerrero, Paul and Jeschke, Stefan and Wimmer, Michael and Wonka, Peter (2014) Edit propagation using geometric relationship functions. ACM Transactions on Graphics, 33 (2). Article number 15 . ISSN 1557-7368

Gupta, Ashutosh K and Kovács, Laura I and Kragl, Bernhard and Voronkov, Andrei V (2014) Extensional crisis and proving identity. In: ATVA: Automated Technology for Verification and Analysis, 3-7 Nov 2014, Sydney, NSW, Australia.

Guzman, Segundo J and Schlögl, Alois and Schmidt-Hieber, Christoph (2014) Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics, 8. ISSN 1662-5196


Hearn, Jack and Stone, Graham N and Bunnefeld, Lynsey and Nicholls, James A and Barton, Nicholas H and Lohse, Konrad (2014) Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology, 23 (1). pp. 962-1083. ISSN 0962-1083

Henzinger, Thomas A and Otop, Jan (2014) From Model Checking to Model Measuring. In: CONCUR: Concurrency Theor, August 27-30, 2013 , Buenos Aires, Argentina .

Henzinger, Thomas A and Otop, Jan (2014) Model Measuring for Hybrid Systems. Technical Report. IST Austria.

Henzinger, Thomas A and Otop, Jan and Samanta, Roopsha (2014) Lipschitz robustness of finite-state transducers. In: FSTTCS:Foundation of Software Technology and Theoretical Computer Science , December 15-17, 2014, New Delhi, India.

Hermundstad, Ann M and Briguglio, John J and Conte, Mary M and Victor, Jonathan D and Balasubramanian, Vijay and Tkačik, Gašper (2014) Variance predicts salience in central sensory processing. eLife, 3. Article No. e03722. ISSN 2050-084X

Hosp, Jonas A and Strüber, Michael and Yanagawa, Yuchio and Obata, Kunihiko and Vida, Imre and Jonas, Peter and Bartos, Marlene (2014) Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus, 23 (2). pp. 189-203. ISSN 1098-1063

Hu, Hua and Gan, Jian and Jonas, Peter (2014) Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function. Science, 345 (6196 ). Article number: 1255263 . ISSN 0036-8075

Huber, Stefan G and Held, Martin and Meerwald, Peter and Kwitt, Roland (2014) Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications, 24 (1). pp. 61-86. ISSN 1793-6357

Huszár, Kristóf and Rolínek, Michael (2014) Playful Math – An Introduction to Mathematical Games. [Teaching Resource]


Jetchev, Dimitar P and Pietrzak, Krzysztof (2014) How to fake auxiliary input. In: TCC: Theory of Cryptography Conference, February 24-26, 2014, San Diego, CA, USA.

Jonas, Peter and Lisman, John E (2014) Structure, function and plasticity of hippocampal dentate gyrus microcircuits. Frontiers in Neural Circuits, 8. ISSN 1662-5110


Kania, Urszula and Fendrych, Matyas and Friml, Jiří (2014) Polar delivery in plants; commonalities and differences to animal epithelial cells. Open Biology, 4. Article No. 140017. ISSN 2046-2441

Kelleher, Jerome and Etheridge, Alison M and Barton, Nicholas H (2014) Coalescent simulation in continuous space: Algorithms for large neighbourhood size. Theoretical Population Biology, 95. pp. 13-23. ISSN 1096-0325

Khamis, Sameh and Lampert, Christoph H (2014) CoConut: Co-classification with output space regularization. In: BMVC: British Machine Vision Conference, September 1-5, 2014, Nottingham, UK.

Kim, Sooyun (2014) Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus. PLoS One, 9 (11). Article No. e113124. ISSN 1932-6203

Kuchibhatla, Durga B and Sherman, Westley A and Chung, Betty Y and Cook, Shelley and Schneider, Georg and Eisenhaber, Birgit and Karlin, David G (2014) Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently "orphan" viral proteins. Journal of Virology, 88 (1). pp. 10-20. ISSN 1098-5514

Kupczok, Anne and Bollback, Jonathan P (2014) Motif depletion in bacteriophages infecting hosts with CRISPR systems. BMC Genomics, 15 (663). ISSN 1471-2164

Körner, Christof and Braunstein, Verena and Stangl, Matthias and Schlögl, Alois and Neuper, Christa and Ischebeck, Anja K (2014) Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology, 51 (4). pp. 385-395. ISSN 00485772


Lovrics, Anna and Gao, Yu and Juhász, Bianka and Bock, István and Byrne, Helen M and Dinnyés, András and Kovács, Krisztián A (2014) Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One, 9 (11). Article No. e111430. ISSN 1932-6203


Mabillard, Isaac and Wagner, Uli (2014) Eliminating Tverberg points, I. An analogue of the Whitney trick. In: SoCG: Symposium on Computational Geometry, June 8-11, 2014, Kyoto, Japan .


Novak, Sebastian (2014) Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution, 4 (24). pp. 4589-4597. ISSN 2045-7758


Pernía-Andrade, Alejandro J and Jonas, Peter (2014) Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron, 81 (1). pp. 140-152. ISSN 0896-6273

Porsche, Jana (2014) Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. Documentation. none. (Unpublished)

Postiglione, Maria P and Hippenmeyer, Simon (2014) Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology, 9 (3). pp. 323-340. ISSN 17486971

Prizak, Roshan and Ezard, Thomas Hg G and Hoyle, Rebecca B (2014) Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution, 4 (15). pp. 3139-3145. ISSN 2045-7758


Raveendran, Karthik and Wojtan, Chris and Thürey, Nils and Türk, Greg C (2014) Blending liquids. In: SIGGRAPH: International Conference and Exhibition on Computer Graphics and Interactive Techniques, Ausgust 10-14, 2014, Vancouver, Canada.

Risso, Valeria A and Manssour-Triedo, Fadia and Delgado-Delgado, Asuncion and Arco, Rocio and Barroso-DelJesus, Alicia and Ingles-Prieto, Alvaro and Godoy-Ruiz, Raquel and Gavira, Jose and Gaucher, Eric A and Ibarra-Molero, Beatriz and Sanchez-Ruiz, Jose M (2014) Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution, 32 (2). pp. 440-455. ISSN 1537-1719


Samanta, Roopsha and Olivo, Oswaldo and Emerson, E. Allen (2014) Cost-Aware Automatic Program Repair. In: Static Analysis Symposium, 11-13 Sep 2014, Munich, Germany.

Seiringer, Robert (2014) Bose gases: Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics, 55 (7). Article number: 1.4881536 . ISSN 1089-7658

Stoler-Barak, Liat and Moussion, Christine and Shezen, Elias and Hatzav, Miki and Sixt, Michael and Alon, Ronen (2014) Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One, 9 (1). Article No. e85699. ISSN 1932-6203


Tanaka, Hirokazu and Nodzyński, Tomasz and Kitakura, Saeko and Feraru, Mugurel I and Sasabe, Michiko and Ishikawa, Tomomi and Kleine-Vehn, Jürgen and Kakimoto, Tatsuo and Friml, Jiří (2014) BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology, 55 (4). pp. 737-749. ISSN 1471-9053

Tkačik, Gašper and Ghosh, Anandamohan and Schneidman, Elad and Segev, Ronen (2014) Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One, 9 (1). Article No. e85841. ISSN 1932-6203

Tkačik, Gašper and Marre, Olivier and Amodei, Dario and Schneidman, Elad and Bialek, William and Berry, Michael J (2014) Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology, 10 (1). Article No. e1003408. ISSN 1553-7358

Toshima, Junko Y and Nishinoaki, Show and Sato, Yoshifumi and Yamamoto, Wataru and Furukawa, Daiki and Siekhaus, Daria E and Sawaguchi, Akira and Toshimaa, Jiro (2014) Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole. Nature Communications, 5. Article number: 3498 . ISSN 2041-1723


Wenzl, Bernhard (2014) An American in Allied-occupied Austria: John Dos Passos Reports on Postwar Vienna. In: Austria and America: Cross‐Cultural Encounters 1933‐1955, January 24‐25, 2014, Stefan Zweig Centre, Salzburg.

Wolf, Stephan and McMahon, Dino P and Lim, Ka S and Pull, Christopher D and Clark, Suzanne J and Paxton, Robert J and Osborne, Juliet L (2014) So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees. PLoS One, 9 (8). Article No. e103989. ISSN 1932-6203


Zhu, Fangfang and Gamboa, Matthew and Farruggio, Alfonso P and Hippenmeyer, Simon and Tasic, Bosiljka and Schüle, Birgitt and Chen-Tsai, Yanru and Calos, Michele P (2014) DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research, 42 (5). Article number: e34 . ISSN 0305-1048


Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun and Ryzhyk, Leonid and Tarrach, Thorsten (2014) Regression-free Synthesis for Concurrency. Computer Aided Verification, 8559. pp. 568-584. ISSN 978-3-319-08866-2

This list was generated on Tue Apr 24 01:00:05 2018 CEST.