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.

3381 Publications


2014 | Conference Paper | IST-REx-ID: 1702 | OA
Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.” In Electronic Proceedings in Theoretical Computer Science, EPTCS, 169:31–38. Open Publishing, 2014. https://doi.org/10.4204/EPTCS.169.5.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1733 | OA
Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.” Theoretical Computer Science. Elsevier, 2014. https://doi.org/10.1016/j.tcs.2014.08.019.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761 | OA
Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Silvano De Franceschi, Pascal Gentile, Riccardo Rurali, and Xavier Cartoixà. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.” Physical Review X. American Physical Society, 2014. https://doi.org/10.1103/PhysRevX.3.041025.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1816 | OA
Huber, Stefan, Martin Held, Peter Meerwald, and Roland Kwitt. “Topology-Preserving Watermarking of Vector Graphics.” International Journal of Computational Geometry and Applications. World Scientific Publishing, 2014. https://doi.org/10.1142/S0218195914500034.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1821 | OA
Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.” Journal of Mathematical Physics. American Institute of Physics, 2014. https://doi.org/10.1063/1.4881536.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842 | OA
Cibulka, Josef, Pu Gao, Marek Krcál, Tomáš Valla, and Pavel Valtr. “On the Geometric Ramsey Number of Outerplanar Graphs.” Discrete & Computational Geometry. Springer, 2014. https://doi.org/10.1007/s00454-014-9646-x.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1844 | OA
Risso, Valeria, Fadia Manssour Triedo, Asuncion Delgado Delgado, Rocio Arco, Alicia Barroso Deljesús, Álvaro Inglés Prieto, Raquel Godoy Ruiz, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.” Molecular Biology and Evolution. Oxford University Press, 2014. https://doi.org/10.1093/molbev/msu312.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1852 | OA
Sassi, Massimiliano, Olivier Ali, Frédéric Boudon, Gladys Cloarec, Ursula Abad, Coralie Cellier, Xu Chen, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.” Current Biology. Cell Press, 2014. https://doi.org/10.1016/j.cub.2014.08.036.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1854 | OA
Guerrero, Paul, Thomas Auzinger, Michael Wimmer, and Stefan Jeschke. “Partial Shape Matching Using Transformation Parameter Similarity.” Computer Graphics Forum. Wiley, 2014. https://doi.org/10.1111/cgf.12509.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1862 | OA
Chen, Xu, Laurie Grandont, Hongjiang Li, Robert Hauschild, Sébastien Paque, Anas Abuzeineh, Hana Rakusová, Eva Benková, Catherine Perrot Rechenmann, and Jiří Friml. “Inhibition of Cell Expansion by Rapid ABP1-Mediated Auxin Effect on Microtubules.” Nature. Nature Publishing Group, 2014. https://doi.org/10.1038/nature13889.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Finite-State Transducers.” In Leibniz International Proceedings in Informatics, LIPIcs, 29:431–43. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1872 | OA
Gupta, Ashutosh, Laura Kovács, Bernhard Kragl, and Andrei Voronkov. “Extensional Crisis and Proving Identity.” In ATVA 2014, edited by Franck Cassez and Jean-François Raskin, 8837:185–200. Springer, 2014. https://doi.org/10.1007/978-3-319-11936-6_14.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
Samanta, Roopsha, Oswaldo Olivo, and Emerson Allen. “Cost-Aware Automatic Program Repair.” edited by Markus Müller-Olm and Helmut Seidl, 8723:268–84. Springer, 2014. https://doi.org/10.1007/978-3-319-10936-7_17.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
Dolbilin, Nikolai, Herbert Edelsbrunner, Alexey Glazyrin, and Oleg Musin. “Functionals on Triangulations of Delaunay Sets.” Moscow Mathematical Journal. Independent University of Moscow, 2014.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
Hermundstad, Ann, John Briguglio, Mary Conte, Jonathan Victor, Vijay Balasubramanian, and Gašper Tkačik. “Variance Predicts Salience in Central Sensory Processing.” ELife. eLife Sciences Publications, 2014. https://doi.org/10.7554/eLife.03722.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1889 | OA
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “Translation-Invariant Quasi-Free States for Fermionic Systems and the BCS Approximation.” Reviews in Mathematical Physics. World Scientific Publishing, 2014. https://doi.org/10.1142/S0129055X14500123.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890 | OA
Körner, Christof, Verena Braunstein, Matthias Stangl, Alois Schlögl, Christa Neuper, and Anja Ischebeck. “Sequential Effects in Continued Visual Search: Using Fixation-Related Potentials to Compare Distractor Processing before and after Target Detection.” Psychophysiology. Wiley-Blackwell, 2014. https://doi.org/10.1111/psyp.12062.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1892 | OA
Ocana, Sabine, Patrick Meidl, Danielle Bonfils, and Michael Taborsky. “Y-Linked Mendelian Inheritance of Giant and Dwarf Male Morphs in Shell-Brooding Cichlids.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2014. https://doi.org/10.1098/rspb.2014.0253.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893 | OA
Marhavá, Petra, Sibylle Hirsch, Elena Feraru, Ricardo Tejos, Ringo Van Wijk, Tom Viaene, Mareike Heilmann, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.” PNAS. National Academy of Sciences, 2014. https://doi.org/10.1073/pnas.1324264111.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1894 | OA
Grabowska, Anna, Ewa Wywiał, Stanislaw Dunin Horkawicz, Anna Łasica, Marc Wösten, Anna A Nagy-Staron, Renata Godlewska, et al. “Functional and Bioinformatics Analysis of Two Campylobacter Jejuni Homologs of the Thiol-Disulfide Oxidoreductase, DsbA.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0106247.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895 | OA
Edamura, Mitsuhiro, Gen Murakami, Hongrui Meng, Makoto Itakura, Ryuichi Shigemoto, Atsuo Fukuda, and Daiichiro Nakahara. “Functional Deficiency of MHC Class i Enhances LTP and Abolishes LTD in the Nucleus Accumbens of Mice.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0107099.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1896 | OA
Kollár, Richard, Katarína Bod’ová, Jozef Nosek, and Ľubomír Tomáška. “Mathematical Model of Alternative Mechanism of Telomere Length Maintenance.” Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2014. https://doi.org/10.1103/PhysRevE.89.032701.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897 | OA
Naramoto, Satoshi, Marisa Otegui, Natsumaro Kutsuna, Riet De Rycke, Tomoko Dainobu, Michael Karampelias, Masaru Fujimoto, et al. “Insights into the Localization and Function of the Membrane Trafficking Regulator GNOM ARF-GEF at the Golgi Apparatus in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2014. https://doi.org/10.1105/tpc.114.125880.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1899 | OA
Williams, Scott, Lyndsay Ratliff, Maria P Postiglione, Juergen Knoblich, and Elaine Fuchs. “Par3-MInsc and Gα I3 Cooperate to Promote Oriented Epidermal Cell Divisions through LGN.” Nature Cell Biology. Nature Publishing Group, 2014. https://doi.org/10.1038/ncb3001.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1904 | OA
Frank, Rupert, Mathieu Lewin, Élliott Lieb, and Robert Seiringer. “Strichartz Inequality for Orthonormal Functions.” Journal of the European Mathematical Society. European Mathematical Society, 2014. https://doi.org/10.4171/JEMS/467.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1906 | OA
Arikan, Murat, Reinhold Preiner, Claus Scheiblauer, Stefan Jeschke, and Michael Wimmer. “Large-Scale Point-Cloud Visualization through Localized Textured Surface Reconstruction.” IEEE Transactions on Visualization and Computer Graphics. IEEE, 2014. https://doi.org/10.1109/TVCG.2014.2312011.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1907 | OA
Demay, Grégory, Peter Gazi, Ueli Maurer, and Björn Tackmann. “Optimality of Non-Adaptive Strategies: The Case of Parallel Games.” In IEEE International Symposium on Information Theory. IEEE, 2014. https://doi.org/10.1109/ISIT.2014.6875125.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1908 | OA
Weissman, Daniel, and Oskar Hallatschek. “The Rate of Adaptation in Large Sexual Populations with Linear Chromosomes.” Genetics. Genetics Society of America, 2014. https://doi.org/10.1534/genetics.113.160705.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1909 | OA
Ezard, Thomas, Roshan Prizak, and Rebecca Hoyle. “The Fitness Costs of Adaptation via Phenotypic Plasticity and Maternal Effects.” Functional Ecology. Wiley-Blackwell, 2014. https://doi.org/10.1111/1365-2435.12207.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1912 | OA
Compagnon, Julien, Vanessa Barone, Srivarsha Rajshekar, Rita Kottmeier, Kornelija Pranjic-Ferscha, Martin Behrndt, and Carl-Philipp J Heisenberg. “The Notochord Breaks Bilateral Symmetry by Controlling Cell Shapes in the Zebrafish Laterality Organ.” Developmental Cell. Cell Press, 2014. https://doi.org/10.1016/j.devcel.2014.11.003.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1916 | OA
Novarino G, Fenstermaker A, Zaki M, Hofree M, Silhavy J, Heiberg A, Abdellateef M, Rosti B, Scott E, Mansour L, Masri A, Kayserili H, Al Aama J, Abdel Salam G, Karminejad A, Kara M, Kara B, Bozorgmehri B, Ben Omran T, Mojahedi F, Mahmoud I, Bouslam N, Bouhouche A, Benomar A, Hanein S, Raymond L, Forlani S, Mascaro M, Selim L, Shehata N, Al Allawi N, Bindu P, Azam M, Günel M, Caglayan A, Bilgüvar K, Tolun A, Issa M, Schroth J, Spencer E, Rosti R, Akizu N, Vaux K, Johansen A, Koh A, Megahed H, Dürr A, Brice A, Stévanin G, Gabriel S, Ideker T, Gleeson J. 2014. Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. 343(6170), 506–511.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1917 | OA
Xu, Tongda, Ning Dai, Jisheng Chen, Shingo Nagawa, Min Cao, Hongjiang Li, Zimin Zhou, et al. “Cell Surface ABP1-TMK Auxin Sensing Complex Activates ROP GTPase Signaling.” Science. American Association for the Advancement of Science, 2014. https://doi.org/10.1126/science.1245125.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1918 | OA
Bellazzini, Jacopo, Rupert Frank, Élliott Lieb, and Robert Seiringer. “Existence of Ground States for Negative Ions at the Binding Threshold.” Reviews in Mathematical Physics. World Scientific Publishing, 2014. https://doi.org/10.1142/S0129055X13500219.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1919 | OA
Aziz, Wajeeha, Wen Wang, Sebnem Kesaf, Alsayed Mohamed, Yugo Fukazawa, and Ryuichi Shigemoto. “Distinct Kinetics of Synaptic Structural Plasticity, Memory Formation, and Memory Decay in Massed and Spaced Learning.” PNAS. National Academy of Sciences, 2014. https://doi.org/10.1073/pnas.1303317110.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920 | OA
Wang, Wen, Kazuhiko Nakadate, Miwako Masugi Tokita, Fumihiro Shutoh, Wajeeha Aziz, Etsuko Tarusawa, Andrea Lörincz, et al. “Distinct Cerebellar Engrams in Short-Term and Long-Term Motor Learning.” PNAS. National Academy of Sciences, 2014. https://doi.org/10.1073/pnas.1315541111.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1921 | OA
Tejos, Ricardo, Michael Sauer, Steffen Vanneste, MiriamPalacios Palacios-Gomez, Hongjiang Li, Mareike Heilmann, Ringo Van Wijk, et al. “Bipolar Plasma Membrane Distribution of Phosphoinositides and Their Requirement for Auxin-Mediated Cell Polarity and Patterning in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2014. https://doi.org/10.1105/tpc.114.126185.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1923 | OA
Berthoumieux, Hélène, Jean-Léon Maître, Carl-Philipp J Heisenberg, Ewa Paluch, Frank Julicher, and Guillaume Salbreux. “Active Elastic Thin Shell Theory for Cellular Deformations.” New Journal of Physics. IOP Publishing Ltd., 2014. https://doi.org/10.1088/1367-2630/16/6/065005.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1925 | OA
Lamprecht, Constanze, Birgit Plochberger, Verena Ruprecht, Stefan Wieser, Christian Rankl, Elena Heister, Barbara Unterauer, et al. “A Single-Molecule Approach to Explore Binding Uptake and Transport of Cancer Cell Targeting Nanotubes.” Nanotechnology. IOP Publishing, 2014. https://doi.org/10.1088/0957-4484/25/12/125704.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1926 | OA
Sadel, Christian. “Absolutely Continuous Spectrum for Random Schrödinger Operators on the Fibonacci and Similar Tree-Strips.” Mathematical Physics, Analysis and Geometry. Springer, 2014. https://doi.org/10.1007/s11040-014-9163-4.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 1927 | OA
Fuchsbauer, Georg, Momchil Konstantinov, Krzysztof Z Pietrzak, and Vanishree Rao. “Adaptive Security of Constrained PRFs,” 8874:173–92. Springer, 2014. https://doi.org/10.1145/2591796.2591825.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1931 | OA
Savin, Cristina, and Jochen Triesch. “Emergence of Task-Dependent Representations in Working Memory Circuits.” Frontiers in Computational Neuroscience. Frontiers Research Foundation, 2014. https://doi.org/10.3389/fncom.2014.00057.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1932 | OA
Trotter, Meredith, Daniel Weissman, Grant Peterson, Kayla Peck, and Joanna Masel. “Cryptic Genetic Variation Can Make "Irreducible Complexity" a Common Mode of Adaptation in Sexual Populations.” Evolution. Wiley-Blackwell, 2014. https://doi.org/10.1111/evo.12517.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1935 | OA
Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Formation of Stripes and Slabs near the Ferromagnetic Transition.” Communications in Mathematical Physics. Springer, 2014. https://doi.org/10.1007/s00220-014-1923-2.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1936 | OA
Arbilly, Michal, Daniel Weissman, Marcus Feldman, and Uri Grodzinski. “An Arms Race between Producers and Scroungers Can Drive the Evolution of Social Cognition.” Behavioral Ecology. Oxford University Press, 2014. https://doi.org/10.1093/beheco/aru002.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937 | OA
Bourgade, Paul, László Erdös, and Horngtzer Yau. “Edge Universality of Beta Ensembles.” Communications in Mathematical Physics. Springer, 2014. https://doi.org/10.1007/s00220-014-2120-z.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1995 | OA
Fratini, Filippo, Eduardo Mascarenhas, Laleh Safari, Jean Poizat, Daniel Valente, Alexia Auffèves, Dario Gerace, and Marcelo Santos. “Fabry-Perot Interferometer with Quantum Mirrors: Nonlinear Light Transport and Rectification.” Physical Review Letters. American Physical Society, 2014. https://doi.org/10.1103/PhysRevLett.113.243601.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1996 | OA
Hazak, Ora, Uri Obolski, Tomas Prat, Jiří Friml, Lilach Hadany, and Shaul Yalovsky. “Bimodal Regulation of ICR1 Levels Generates Self-Organizing Auxin Distribution.” PNAS. National Academy of Sciences, 2014. https://doi.org/10.1073/pnas.1413918111.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2002 | OA
Kim, Sooyun. “Action Potential Modulation in CA1 Pyramidal Neuron Axons Facilitates OLM Interneuron Activation in Recurrent Inhibitory Microcircuits of Rat Hippocampus.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0113124.
View | Files available | DOI
 

2014 | Other Publication | IST-REx-ID: 2007 | OA
Klimova, Anna, and Tamás Rudas. GIPFrm: Generalized Iterative Proportional Fitting for Relational Models. The Comprehensive R Archive Network, 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2011 | OA
Yu, Fei, Stephen Fienberg, Alexandra Slaković, and Caroline Uhler. “Scalable Privacy-Preserving Data Sharing Methodology for Genome-Wide Association Studies.” Journal of Biomedical Informatics. Elsevier, 2014. https://doi.org/10.1016/j.jbi.2014.01.008.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications