Chen, Chong, et al. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.”10.1177/1759091415575845__ASN Neuro, vol. 7, no. 2, SAGE Publications, 2015, doi:10.1177/1759091415575845.
LibreCat: https://research-explorer.ista.ac.at/record/1834
DOI: 10.1177/1759091415575845

Erbar, Matthias, et al. “Discrete Ricci Curvature Bounds for Bernoulli-Laplace and Random Transposition Models.”10.5802/afst.1464__Annales de La Faculté Des Sciences de Toulouse, vol. 24, no. 4, Faculté des sciences de Toulouse, 2015, pp. 781–800, doi:10.5802/afst.1464.
LibreCat: https://research-explorer.ista.ac.at/record/1635
DOI: 10.5802/afst.1464
arXiv: 1409.8605

Kick, B., et al. “Efficient Production of Single-Stranded Phage DNA as Scaffolds for DNA Origami.”10.1021/acs.nanolett.5b01461__Nano Letters, vol. 15, no. 7, ACS Publications, 2015, pp. 4672–76, doi:10.1021/acs.nanolett.5b01461.
LibreCat: https://research-explorer.ista.ac.at/record/14303
DOI: 10.1021/acs.nanolett.5b01461
PMID: 26028443

Brázdil, Tomás, et al. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Vol. 9206, Springer, 2015, pp. 158–77, doi:10.1007/978-3-319-21690-4_10.
LibreCat: https://research-explorer.ista.ac.at/record/1603
DOI: 10.1007/978-3-319-21690-4_10

Fellner, Andreas. Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Institute of Science and Technology Austria, 2015, doi:10.15479/AT:ISTA:28.
LibreCat: https://research-explorer.ista.ac.at/record/5549
DOI: 10.15479/AT:ISTA:28

Goaoc, Xavier, et al. Bounding Helly Numbers via Betti Numbers. Vol. 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 507–21, doi:10.4230/LIPIcs.SOCG.2015.507.
LibreCat: https://research-explorer.ista.ac.at/record/1512
DOI: 10.4230/LIPIcs.SOCG.2015.507

Browning, Timothy D., and Sean Prendiville. “Improvements in Birch’s Theorem on Forms in Many Variables.”10.1515/crelle-2014-0122__Journal Fur Die Reine Und Angewandte Mathematik, vol. 2017, no. 731, Walter de Gruyter, pp. 203–34, doi:10.1515/crelle-2014-0122.
LibreCat: https://research-explorer.ista.ac.at/record/271
DOI: 10.1515/crelle-2014-0122
arXiv: 1402.4489

Dziembowski, Stefan, et al. “Proofs of Space.”10.1007/978-3-662-48000-7_29__35th Annual Cryptology Conference, vol. 9216, Springer, 2015, pp. 585–605, doi:10.1007/978-3-662-48000-7_29.
LibreCat: https://research-explorer.ista.ac.at/record/1675
DOI: 10.1007/978-3-662-48000-7_29

Michael, Alicia K., et al. “Cancer/Testis Antigen PAS Silences the Circadian Clock.”10.1016/j.molcel.2015.03.031__Molecular Cell, vol. 58, no. 5, Elsevier, 2015, pp. 743–54, doi:10.1016/j.molcel.2015.03.031.
LibreCat: https://research-explorer.ista.ac.at/record/15160
DOI: 10.1016/j.molcel.2015.03.031

Michael, Alicia K., et al. “Cytosolic BMAL1 Moonlights as a Translation Factor.”10.1016/j.tibs.2015.07.006__Trends in Biochemical Sciences, vol. 40, no. 9, Elsevier, 2015, pp. 489–90, doi:10.1016/j.tibs.2015.07.006.
LibreCat: https://research-explorer.ista.ac.at/record/15159
DOI: 10.1016/j.tibs.2015.07.006

Chevereau, Guillaume, et al. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.”10.1371/journal.pbio.1002299__PLoS Biology, vol. 13, no. 11, e1002299, Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.
LibreCat: https://research-explorer.ista.ac.at/record/1619
DOI: 10.1371/journal.pbio.1002299

Sari, Anela, et al. “Crucial Role of Nonspecific Interactions in Amyloid Nucleation.”10.1073/pnas.1410159111__Proceedings of the National Academy of Sciences, vol. 111, no. 50, National Academy of Sciences, 2014, pp. 17869–74, doi:10.1073/pnas.1410159111.
LibreCat: https://research-explorer.ista.ac.at/record/10382
DOI: 10.1073/pnas.1410159111
PMID: 25453085
arXiv: 1412.0897

Mallory, S. A., et al. “Anomalous Thermomechanical Properties of a Self-Propelled Colloidal Fluid.”10.1103/physreve.89.052303__Physical Review E, vol. 89, no. 5, 052303, American Physical Society, 2014, doi:10.1103/physreve.89.052303.
LibreCat: https://research-explorer.ista.ac.at/record/10383
DOI: 10.1103/physreve.89.052303
PMID: 25353796
arXiv: 1310.0826

Jensen, Nickels, et al. “Coordinate-Targeted and Coordinate-Stochastic Super-Resolution Microscopy with the Reversibly Switchable Fluorescent Protein Dreiklang.”10.1002/cphc.201301034__ChemPhysChem, vol. 15, no. 4, Wiley-Blackwell, 2014, pp. 756–62, doi:10.1002/cphc.201301034.
LibreCat: https://research-explorer.ista.ac.at/record/1058
DOI: 10.1002/cphc.201301034

Hashimoto, Masakazu, et al. “Molecular and Cellular Mechanisms of Development Underlying Congenital Diseases.”10.1111/cga.12039__Congenital Anomalies, vol. 54, no. 1, Wiley, 2014, pp. 1–7, doi:10.1111/cga.12039.
LibreCat: https://research-explorer.ista.ac.at/record/10815
DOI: 10.1111/cga.12039
PMID: 24666178

Zaeímalová, Eva, et al., editors. Auxin and Its Role in Plant Development. 1st ed., Springer Nature, 2014, doi:10.1007/978-3-7091-1526-8.
LibreCat: https://research-explorer.ista.ac.at/record/10811
DOI: 10.1007/978-3-7091-1526-8

Aminof, Benjamin, et al. “Parameterized Model Checking of Token-Passing Systems.”10.1007/978-3-642-54013-4_15__Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 262–81, doi:10.1007/978-3-642-54013-4_15.
LibreCat: https://research-explorer.ista.ac.at/record/10884
DOI: 10.1007/978-3-642-54013-4_15
arXiv: 1311.4425

Kasten, Jens, et al. “Toward the Extraction of Saddle Periodic Orbits.”10.1007/978-3-319-04099-8_4__Topological Methods in Data Analysis and Visualization III , edited by Peer-Timo Bremer et al., vol. 1, Springer, 2014, pp. 55–69, doi:10.1007/978-3-319-04099-8_4.
LibreCat: https://research-explorer.ista.ac.at/record/10893
DOI: 10.1007/978-3-319-04099-8_4

Buchwalter, Abigail, and Martin Hetzer. “Nuclear Pores Set the Speed Limit for Mitosis.”10.1016/j.cell.2014.02.004__Cell, vol. 156, no. 5, Elsevier, 2014, pp. 868–69, doi:10.1016/j.cell.2014.02.004.
LibreCat: https://research-explorer.ista.ac.at/record/11080
DOI: 10.1016/j.cell.2014.02.004
PMID: 24581486

Buchwalter, Abigail L., et al. “Nu Is Required for Cell Differentiation and Exhibits Transcription-Dependent Dynamics.”10.1091/mbc.e14-04-0865__Molecular Biology of the Cell, vol. 25, no. 16, American Society for Cell Biology, 2014, pp. 2472–84, doi:10.1091/mbc.e14-04-0865.
LibreCat: https://research-explorer.ista.ac.at/record/11082
DOI: 10.1091/mbc.e14-04-0865

Hatch, Emily, and Martin Hetzer. “Breaching the Nuclear Envelope in Development and Disease.”10.1083/jcb.201402003__Journal of Cell Biology, vol. 205, no. 2, Rockefeller University Press, 2014, pp. 133–41, doi:10.1083/jcb.201402003.
LibreCat: https://research-explorer.ista.ac.at/record/11081
DOI: 10.1083/jcb.201402003
PMID: 24751535

Matthee, Jorryt J., et al. “A 10 De Lyman ;1 Survey at Z=8.8 with Spectroscopic Follow-up: Strong Constraints on the Luminosity Function and Implications for Other Surveys.”10.1093/mnras/stu392__Monthly Notices of the Royal Astronomical Society, vol. 440, no. 3, Oxford University Press, 2014, pp. 2375–87, doi:10.1093/mnras/stu392.
LibreCat: https://research-explorer.ista.ac.at/record/11583
DOI: 10.1093/mnras/stu392
arXiv: 1402.6697

Stott, John P., et al. “A Relationship between Specific Star Formation Rate and Metallicity Gradient within z c 1 Galaxies from KMOS-HiZELS.”10.1093/mnras/stu1343__Monthly Notices of the Royal Astronomical Society, vol. 443, no. 3, Oxford University Press, 2014, pp. 2695–704, doi:10.1093/mnras/stu1343.
LibreCat: https://research-explorer.ista.ac.at/record/11582
DOI: 10.1093/mnras/stu1343
arXiv: 1407.1047

Pokharel, Mani, et al. “Magnetic Properties of Hot-Pressed FeSb2.”10.1109/TMAG.2013.2292607__IEEE Transactions on Magnetics, vol. 50, no. 5, 6675864, Institute of Electrical and Electronics Engineers, 2014, doi:10.1109/TMAG.2013.2292607.
LibreCat: https://research-explorer.ista.ac.at/record/11750
DOI: 10.1109/TMAG.2013.2292607

Charikar, Moses, et al. “Online Bipartite Matching with Decomposable Weights.”10.1007/978-3-662-44777-2_22__22nd Annual European Symposium on Algorithms, vol. 8737, Springer Nature, 2014, pp. 260–71, doi:10.1007/978-3-662-44777-2_22.
LibreCat: https://research-explorer.ista.ac.at/record/11789
DOI: 10.1007/978-3-662-44777-2_22
arXiv: 1409.2139

Cigler, Ludbk, et al. “Limiting Price Discrimination When Selling Products with Positive Network Externalities.”10.1007/978-3-319-13129-0_4__10th International Conference of Web and Internet Economics, vol. 8877, Springer Nature, 2014, pp. 44–57, doi:10.1007/978-3-319-13129-0_4.
LibreCat: https://research-explorer.ista.ac.at/record/11790
DOI: 10.1007/978-3-319-13129-0_4

Altshuler, Ernesto, et al. “Settling into Dry Granular Media in Different Gravities.”10.1002/2014GL059229__Geophysical Research Letters, vol. 41, no. 9, Wiley-Blackwell, 2014, pp. 3032–37, doi:10.1002/2014GL059229.
LibreCat: https://research-explorer.ista.ac.at/record/118
DOI: 10.1002/2014GL059229

Henzinger, Monika H., et al. “Decremental Single-Source Shortest Paths on Undirected Graphs in near-Linear Total Update Time.”10.1109/focs.2014.24__55th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2014, pp. 146–55, doi:10.1109/focs.2014.24.
LibreCat: https://research-explorer.ista.ac.at/record/11855
DOI: 10.1109/focs.2014.24
arXiv: 1402.0054

Henzinger, Monika H., et al. “Sublinear-Time Decremental Algorithms for Single-Source Reachability and Shortest Paths on Directed Graphs.”10.1145/2591796.2591869__46th Annual ACM Symposium on Theory of Computing, 674–683, Association for Computing Machinery, 2014, doi:10.1145/2591796.2591869.
LibreCat: https://research-explorer.ista.ac.at/record/11870
DOI: 10.1145/2591796.2591869
arXiv: 1504.07959

Henzinger, Monika H., et al. “A Subquadratic-Time Algorithm for Decremental Single-Source Shortest Paths.”10.1137/1.9781611973402.79__25th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 1053–72, doi:10.1137/1.9781611973402.79.
LibreCat: https://research-explorer.ista.ac.at/record/11876
DOI: 10.1137/1.9781611973402.79

Bhattacharya, Sayan, et al. “Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching.”10.1137/1.9781611973730.54__26th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 785–804, doi:10.1137/1.9781611973730.54.
LibreCat: https://research-explorer.ista.ac.at/record/11875
DOI: 10.1137/1.9781611973730.54
arXiv: 1412.1318

Waitukaitis, Scott R., et al. “Size-Dependent Same-Material Tribocharging in Insulating Grains.”10.1103/PhysRevLett.112.218001__APS Physics, Physical Review Letters, vol. 112, no. 21, 218001, American Physical Society, 2014, doi:10.1103/PhysRevLett.112.218001.
LibreCat: https://research-explorer.ista.ac.at/record/119
DOI: 10.1103/PhysRevLett.112.218001
arXiv: 1309.2578

Hofbauer, Harald F., et al. “Regulation of Gene Expression through a Transcriptional Repressor That Senses Acyl-Chain Length in Membrane Phospholipids.”10.1016/j.devcel.2014.04.025__Developmental Cell, vol. 29, no. 6, Elsevier, 2014, pp. 9-739, doi:10.1016/j.devcel.2014.04.025.
LibreCat: https://research-explorer.ista.ac.at/record/11968
DOI: 10.1016/j.devcel.2014.04.025
PMID: 24960695

Moghaddam, Mojtaba Mirhosseini, et al. “Immobilized Iron Oxide Nanoparticles as Stable and Reusable Catalysts for Hydrazine-Mediated Nitro Reductions in Continuous Flow.”10.1002/cssc.201402455__ChemSusChem, vol. 7, no. 11, Wiley, 2014, pp. 3122–31, doi:10.1002/cssc.201402455.
LibreCat: https://research-explorer.ista.ac.at/record/11967
DOI: 10.1002/cssc.201402455
PMID: 25209099

Pieber, Bartholomäus, et al. “Flash Carboxylation: Fast Lithiation–Carboxylation Sequence at Room Temperature in Continuous Flow.”10.1039/c4ra01442a__RSC Advances, vol. 4, no. 26, 13430, Royal Society of Chemistry, 2014, doi:10.1039/c4ra01442a.
LibreCat: https://research-explorer.ista.ac.at/record/11987
DOI: 10.1039/c4ra01442a

Fischer, Julian L. “Infinite Speed of Support Propagation for the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift-Diffusion Models.”10.1007/s00030-013-0235-0__Nonlinear Differential Equations and Applications, vol. 21, no. 1, Birkhäuser, 2014, pp. 27–50, doi:10.1007/s00030-013-0235-0.
LibreCat: https://research-explorer.ista.ac.at/record/1309
DOI: 10.1007/s00030-013-0235-0

Fischer, Julian L. “Upper Bounds on Waiting Times for the Thin-Film Equation: The Case of Weak Slippage.”10.1007/s00205-013-0690-0__Archive for Rational Mechanics and Analysis, vol. 211, no. 3, Springer, 2014, pp. 771–818, doi:10.1007/s00205-013-0690-0.
LibreCat: https://research-explorer.ista.ac.at/record/1312
DOI: 10.1007/s00205-013-0690-0

Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.”10.1016/j.tcs.2014.06.031__Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.
LibreCat: https://research-explorer.ista.ac.at/record/1375
DOI: 10.1016/j.tcs.2014.06.031
arXiv: 1307.4473

Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.
LibreCat: https://research-explorer.ista.ac.at/record/1392
DOI: 10.1007/978-3-642-54013-4_10

Gordon, Andrew, et al. “Probabilistic Programming.”10.1145/2593882.2593900__Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–81, doi:10.1145/2593882.2593900.
LibreCat: https://research-explorer.ista.ac.at/record/1393
DOI: 10.1145/2593882.2593900

Stock, Miriam. Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1404

Bräunlich, Gerhard, et al. “On the BCS Gap Equation for Superfluid Fermionic Gases.”10.1142/9789814618144_0007__Proceedings of the QMat Conference, World Scientific Publishing, 2014, pp. 127–37, doi:10.1142/9789814618144_0007.
LibreCat: https://research-explorer.ista.ac.at/record/1516
DOI: 10.1142/9789814618144_0007
arXiv: 1403.2563

Guerrero, Paul, et al. “Edit Propagation Using Geometric Relationship Functions.”10.1145/2591010__ACM Transactions on Graphics, vol. 33, no. 2, 15, ACM, 2014, doi:10.1145/2591010.
LibreCat: https://research-explorer.ista.ac.at/record/1629
DOI: 10.1145/2591010

Fulek, Radoslav, et al. “Clustered Planarity Testing Revisited.”10.1007/978-3-662-45803-7_36__International Symposium on Graph Drawing, vol. 8871, Springer Nature, 2014, pp. 428–36, doi:10.1007/978-3-662-45803-7_36.
LibreCat: https://research-explorer.ista.ac.at/record/10793
DOI: 10.1007/978-3-662-45803-7_36
arXiv: 1305.4519

Fuchsbauer, Georg. “Constrained Verifiable Random Functions .”10.1007/978-3-319-10879-7_7__SCN 2014, edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp. 95–114, doi:10.1007/978-3-319-10879-7_7.
LibreCat: https://research-explorer.ista.ac.at/record/1643
DOI: 10.1007/978-3-319-10879-7_7

Gupta, Ashutosh, et al. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.”10.4204/EPTCS.169.5__Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 169, Open Publishing, 2014, pp. 31–38, doi:10.4204/EPTCS.169.5.
LibreCat: https://research-explorer.ista.ac.at/record/1702
DOI: 10.4204/EPTCS.169.5

Savin, Cristina, and Sophie Denève. Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks. Vol. 3, no. January, Neural Information Processing Systems, 2014, pp. 2024–32.
LibreCat: https://research-explorer.ista.ac.at/record/1708

Mongillo, Massimo, et al. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.”10.1103/PhysRevX.3.041025__Physical Review X, vol. 3, no. 4, American Physical Society, 2014, doi:10.1103/PhysRevX.3.041025.
LibreCat: https://research-explorer.ista.ac.at/record/1761
DOI: 10.1103/PhysRevX.3.041025

Baek, Seungtae, et al. “Off-Target Effect of Doublecortin Family ShRNA on Neuronal Migration Associated with Endogenous MicroRNA Dysregulation.”10.1016/j.neuron.2014.04.036__Neuron, vol. 82, no. 6, Elsevier, 2014, pp. 1255–62, doi:10.1016/j.neuron.2014.04.036.
LibreCat: https://research-explorer.ista.ac.at/record/1791
DOI: 10.1016/j.neuron.2014.04.036

Baster, Pawel, and Jií Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.”10.1007/978-3-7091-1526-8_8__Auxin and Its Role in Plant Development, edited by Eva Zaeímalová et al., Springer, 2014, pp. 143–70, doi:10.1007/978-3-7091-1526-8_8.
LibreCat: https://research-explorer.ista.ac.at/record/1806
DOI: 10.1007/978-3-7091-1526-8_8

Huber, Stefan, et al. “Topology-Preserving Watermarking of Vector Graphics.”10.1142/S0218195914500034__International Journal of Computational Geometry and Applications, vol. 24, no. 1, World Scientific Publishing, 2014, pp. 61–86, doi:10.1142/S0218195914500034.
LibreCat: https://research-explorer.ista.ac.at/record/1816
DOI: 10.1142/S0218195914500034

Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.”10.1063/1.4881536__Journal of Mathematical Physics, vol. 55, no. 7, 1.4881536, American Institute of Physics, 2014, doi:10.1063/1.4881536.
LibreCat: https://research-explorer.ista.ac.at/record/1821
DOI: 10.1063/1.4881536

Jaksi, Vojkan, et al. “Introduction.”10.1063/1.4884877__Journal of Mathematical Physics, vol. 55, no. 7, 075101, American Institute of Physics, 2014, doi:10.1063/1.4884877.
LibreCat: https://research-explorer.ista.ac.at/record/1822
DOI: 10.1063/1.4884877

Muelling, Katharina, et al. “Movement Templates for Learning of Hitting and Batting.”10.1007/978-3-319-03194-1_3__Learning Motor Skills, edited by Jens Kober and Jan Peters, vol. 97, Springer, 2014, pp. 69–82, doi:10.1007/978-3-319-03194-1_3.
LibreCat: https://research-explorer.ista.ac.at/record/1829
DOI: 10.1007/978-3-319-03194-1_3

Risso, Valeria, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.”10.1093/molbev/msu312__Molecular Biology and Evolution, vol. 32, no. 2, Oxford University Press, 2014, pp. 440–55, doi:10.1093/molbev/msu312.
LibreCat: https://research-explorer.ista.ac.at/record/1844
DOI: 10.1093/molbev/msu312

Cibulka, Josef, et al. “On the Geometric Ramsey Number of Outerplanar Graphs.”10.1007/s00454-014-9646-x__Discrete &; Computational Geometry, vol. 53, no. 1, Springer, 2014, pp. 64–79, doi:10.1007/s00454-014-9646-x.
LibreCat: https://research-explorer.ista.ac.at/record/1842
DOI: 10.1007/s00454-014-9646-x

Guerrero, Paul, et al. “Partial Shape Matching Using Transformation Parameter Similarity.”10.1111/cgf.12509__Computer Graphics Forum, vol. 34, no. 1, Wiley, 2014, pp. 239–52, doi:10.1111/cgf.12509.
LibreCat: https://research-explorer.ista.ac.at/record/1854
DOI: 10.1111/cgf.12509

Sassi, Massimiliano, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.”10.1016/j.cub.2014.08.036__Current Biology, vol. 24, no. 19, Cell Press, 2014, pp. 2335–42, doi:10.1016/j.cub.2014.08.036.
LibreCat: https://research-explorer.ista.ac.at/record/1852
DOI: 10.1016/j.cub.2014.08.036

Jha, Susmit, et al. Game Theoretic Secure Localization in Wireless Sensor Networks. IEEE, 2014, pp. 85–90, doi:10.1109/IOT.2014.7030120.
LibreCat: https://research-explorer.ista.ac.at/record/1853
DOI: 10.1109/IOT.2014.7030120

Chen, Xu, et al. “Inhibition of Cell Expansion by Rapid AB-Mediated Auxin Effect on Microtubules.”10.1038/nature13889__Nature, vol. 516, no. 729, Nature Publishing Group, 2014, pp. 90–93, doi:10.1038/nature13889.
LibreCat: https://research-explorer.ista.ac.at/record/1862
DOI: 10.1038/nature13889
PMID: 25409144

Hofferek, Georg, and Ashutosh Gupta. “Suraq - a Controller Synthesis Tool Using Uninterpreted Functions.”10.1007/978-3-319-13338-6_6__HVC 2014, edited by Eran Yahav, vol. 8855, Springer, 2014, pp. 68–74, doi:10.1007/978-3-319-13338-6_6.
LibreCat: https://research-explorer.ista.ac.at/record/1869
DOI: 10.1007/978-3-319-13338-6_6

Gupta, Ashutosh, et al. “Extensional Crisis and Proving Identity.”10.1007/978-3-319-11936-6_14__ATVA 2014, edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 185–200, doi:10.1007/978-3-319-11936-6_14.
LibreCat: https://research-explorer.ista.ac.at/record/1872
DOI: 10.1007/978-3-319-11936-6_14

Henzinger, Thomas A., et al. “Lipschitz Robustness of Finite-State Transducers.”10.4230/LIPIcs.FSTTCS.2014.431__Leibniz International Proceedings in Informatics, LIPIcs, vol. 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–43, doi:10.4230/LIPIcs.FSTTCS.2014.431.
LibreCat: https://research-explorer.ista.ac.at/record/1870
DOI: 10.4230/LIPIcs.FSTTCS.2014.431

Samanta, Roopsha, et al. Cost-Aware Automatic Program Repair. Edited by Markus Müller-Olm and Helmut Seidl, vol. 8723, Springer, 2014, pp. 268–84, doi:10.1007/978-3-319-10936-7_17.
LibreCat: https://research-explorer.ista.ac.at/record/1875
DOI: 10.1007/978-3-319-10936-7_17

Dolbilin, Nikolai, et al. “Functionals on Triangulations of Delaunay Sets.”10.17323/1609-4514-2014-14-3-491-504__Moscow Mathematical Journal, vol. 14, no. 3, Independent University of Moscow, 2014, pp. 491–504, doi:10.17323/1609-4514-2014-14-3-491-504.
LibreCat: https://research-explorer.ista.ac.at/record/1876
DOI: 10.17323/1609-4514-2014-14-3-491-504
arXiv: 1211.7053

Sixt, Michael K., and Kari Vaahtomeri. “Physiology: Relax and Come In.”10.1038/514441a__Nature, vol. 514, no. 7523, Springer Nature, 2014, pp. 441–42, doi:10.1038/514441a.
LibreCat: https://research-explorer.ista.ac.at/record/1877
DOI: 10.1038/514441a

Hermundstad, Ann, et al. “Variance Predicts Salience in Central Sensory Processing.”10.7554/eLife.03722__ELife, no. November, e03722, eLife Sciences Publications, 2014, doi:10.7554/eLife.03722.
LibreCat: https://research-explorer.ista.ac.at/record/1886
DOI: 10.7554/eLife.03722

Körner, Christof, et al. “Sequential Effects in Continued Visual Search: Using Fixation-Related Potentials to Compare Distractor Processing before and after Target Detection.”10.1111/psyp.12062__Psychophysiology, vol. 51, no. 4, Wiley-Blackwell, 2014, pp. 385–95, doi:10.1111/psyp.12062.
LibreCat: https://research-explorer.ista.ac.at/record/1890
DOI: 10.1111/psyp.12062

Ocana, Sabine, et al. “Y-Linked Mendelian Inheritance of Giant and Dwarf Male Morphs in Shell-Brooding Cichlids.”10.1098/rspb.2014.0253__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 20140253, The Royal Society, 2014, doi:10.1098/rspb.2014.0253.
LibreCat: https://research-explorer.ista.ac.at/record/1892
DOI: 10.1098/rspb.2014.0253
PMID: 25232141

Chwastyk, Mateusz, et al. “Theoretical Tests of the Mechanical Protection Strategy in Protein Nanomechanics.”10.1002/prot.24436__Proteins: Structure, Function and Bioinformatics, vol. 82, no. 5, Wiley-Blackwell, 2014, pp. 717–26, doi:10.1002/prot.24436.
LibreCat: https://research-explorer.ista.ac.at/record/1891
DOI: 10.1002/prot.24436

Landau, Dan, et al. “Novel Putative Driver Gene Mutations in Chronic Lymphocytic Leukemia (CLL): Results from a Combined Analysis of Whole Exome Sequencing of 262 Primary CLL Aamples.” Blood, vol. 124, no. 21, American Society of Hematology, 2014, pp. 1952–1952.
LibreCat: https://research-explorer.ista.ac.at/record/1884

Bräunlich, Gerhard, et al. “Translation-Invariant Quasi-Free States for Fermionic Systems and the BCS Approximation.”10.1142/S0129055X14500123__Reviews in Mathematical Physics, vol. 26, no. 7, 1450012, World Scientific Publishing, 2014, doi:10.1142/S0129055X14500123.
LibreCat: https://research-explorer.ista.ac.at/record/1889
DOI: 10.1142/S0129055X14500123
arXiv: 1305.5135

Grabowska, Anna, et al. “Functional and Bioinformatics Analysis of Two Campylobacter Jejuni Homologs of the Thiol-Disulfide Oxidoreductase, DsbA.”10.1371/journal.pone.0106247__PLoS One, vol. 9, no. 9, e106247, Public Library of Science, 2014, doi:10.1371/journal.pone.0106247.
LibreCat: https://research-explorer.ista.ac.at/record/1894
DOI: 10.1371/journal.pone.0106247

Edamura, Mitsuhiro, et al. “Functional Deficiency of MHC Class i Enhances LTP and Abolishes LTD in the Nucleus Accumbens of Mice.”10.1371/journal.pone.0107099__PLoS One, vol. 9, no. 9, e107099, Public Library of Science, 2014, doi:10.1371/journal.pone.0107099.
LibreCat: https://research-explorer.ista.ac.at/record/1895
DOI: 10.1371/journal.pone.0107099

Marhavá, Petra, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.”10.1073/pnas.1324264111__PNAS, vol. 111, no. 7, National Academy of Sciences, 2014, pp. 2818–23, doi:10.1073/pnas.1324264111.
LibreCat: https://research-explorer.ista.ac.at/record/1893
DOI: 10.1073/pnas.1324264111

Kollár, Richard, et al. “Mathematical Model of Alternative Mechanism of Telomere Length Maintenance.”10.1103/PhysRevE.89.032701__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 3, 032701, American Institute of Physics, 2014, doi:10.1103/PhysRevE.89.032701.
LibreCat: https://research-explorer.ista.ac.at/record/1896
DOI: 10.1103/PhysRevE.89.032701

Naramoto, Satoshi, et al. “Insights into the Localization and Function of the Membrane Trafficking Regulator GNOM ARF-GEF at the Golgi Apparatus in Arabidopsis.”10.1105/tpc.114.125880__Plant Cell, vol. 26, no. 7, American Society of Plant Biologists, 2014, pp. 3062–76, doi:10.1105/tpc.114.125880.
LibreCat: https://research-explorer.ista.ac.at/record/1897
DOI: 10.1105/tpc.114.125880

Williams, Scott, et al. “Par3-MInsc and G;110.1038/ncb3001__Cooperate to Promote Oriented Epidermal Cell Divisions through LGN.”10.1038/ncb3001__Nature Cell Biology, vol. 16, no. 8, Nature Publishing Group, 2014, pp. 758–69, doi:10.1038/ncb3001.
LibreCat: https://research-explorer.ista.ac.at/record/1899
DOI: 10.1038/ncb3001
PMID: 25016959

Ritzau Jost, Andreas, et al. “Ultrafast Action Potentials Mediate Kilohertz Signaling at a Central Synapse.”10.1016/j.neuron.2014.08.036__Neuron, vol. 84, no. 1, Elsevier, 2014, pp. 152–63, doi:10.1016/j.neuron.2014.08.036.
LibreCat: https://research-explorer.ista.ac.at/record/1898
DOI: 10.1016/j.neuron.2014.08.036

Arikan, Murat, et al. “Large-Scale Point-Cloud Visualization through Localized Textured Surface Reconstruction.”10.1109/TVCG.2014.2312011__IEEE Transactions on Visualization and Computer Graphics, vol. 20, no. 9, IEEE, 2014, pp. 1280–92, doi:10.1109/TVCG.2014.2312011.
LibreCat: https://research-explorer.ista.ac.at/record/1906
DOI: 10.1109/TVCG.2014.2312011

Tobler, Michael, et al. “Selection from Parasites Favours Immunogenetic Diversity but Not Divergence among Locally Adapted Host Populations.”10.1111/jeb.12370__Journal of Evolutionary Biology, vol. 27, no. 5, Wiley, 2014, pp. 960–74, doi:10.1111/jeb.12370.
LibreCat: https://research-explorer.ista.ac.at/record/1905
DOI: 10.1111/jeb.12370
PMID: 24725091

Hall, Barry, et al. “Growth Rates Made Easy.”10.1093/molbev/mst187__Molecular Biology and Evolution, vol. 31, no. 1, Oxford University Press, 2014, pp. 232–38, doi:10.1093/molbev/mst187.
LibreCat: https://research-explorer.ista.ac.at/record/1902
DOI: 10.1093/molbev/mst187
PMID: 24170494

Tian, Huiyu, et al. “WO-IA Feedback Circuit-Mediated Cellular Auxin Response Is Crucial for the Patterning of Root Stem Cell Niches in Arabidopsis.”10.1093/mp/sst118__Molecular Plant, vol. 7, no. 2, Oxford University Press, 2014, pp. 277–89, doi:10.1093/mp/sst118.
LibreCat: https://research-explorer.ista.ac.at/record/1901
DOI: 10.1093/mp/sst118

Frank, Rupert, et al. “Strichartz Inequality for Orthonormal Functions.”10.4171/JEMS/467__Journal of the European Mathematical Society, vol. 16, no. 7, European Mathematical Society, 2014, pp. 1507–26, doi:10.4171/JEMS/467.
LibreCat: https://research-explorer.ista.ac.at/record/1904
DOI: 10.4171/JEMS/467

Behrndt, Martin, and Carl-Philipp J. Heisenberg. “Lateral Junction Dynamics Lead the Way Out.”10.1038/ncb2913__Nature Cell Biology, vol. 16, no. 2, Nature Publishing Group, 2014, pp. 127–29, doi:10.1038/ncb2913.
LibreCat: https://research-explorer.ista.ac.at/record/1900
DOI: 10.1038/ncb2913

Ezard, Thomas, et al. “The Fitness Costs of Adaptation via Phenotypic Plasticity and Maternal Effects.”10.1111/1365-2435.12207__Functional Ecology, vol. 28, no. 3, Wiley-Blackwell, 2014, pp. 693–701, doi:10.1111/1365-2435.12207.
LibreCat: https://research-explorer.ista.ac.at/record/1909
DOI: 10.1111/1365-2435.12207

Konradi, Sabine, et al. “Langerhans Cell Maturation Is Accompanied by Induction of N-Cadherin and the Transcriptional Regulators of Epithelial-Mesenchymal Transition ZE/2.”10.1002/eji.201343681__European Journal of Immunology, vol. 44, no. 2, Wiley-Blackwell, 2014, pp. 553–60, doi:10.1002/eji.201343681.
LibreCat: https://research-explorer.ista.ac.at/record/1910
DOI: 10.1002/eji.201343681

Demay, Grégory, et al. “Optimality of Non-Adaptive Strategies: The Case of Parallel Games.”10.1109/ISIT.2014.6875125__IEEE International Symposium on Information Theory, 6875125, IEEE, 2014, doi:10.1109/ISIT.2014.6875125.
LibreCat: https://research-explorer.ista.ac.at/record/1907
DOI: 10.1109/ISIT.2014.6875125

Weissman, Daniel, and Oskar Hallatschek. “The Rate of Adaptation in Large Sexual Populations with Linear Chromosomes.”10.1534/genetics.113.160705__Genetics, vol. 196, no. 4, Genetics Society of America, 2014, pp. 1167–83, doi:10.1534/genetics.113.160705.
LibreCat: https://research-explorer.ista.ac.at/record/1908
DOI: 10.1534/genetics.113.160705

Engström, Alexander, and Patrik Noren. “Tverberg’s Theorem and Graph Coloring.”10.1007/s00454-013-9556-3__Discrete &; Computational Geometry, vol. 51, no. 1, Springer, 2014, pp. 207–20, doi:10.1007/s00454-013-9556-3.
LibreCat: https://research-explorer.ista.ac.at/record/1911
DOI: 10.1007/s00454-013-9556-3

Novarino, Gaia, et al. “Exome Sequencing Links Corticospinal Motor Neuron Disease to Common Neurodegenerative Disorders.”10.1126/science.1247363__Science, vol. 343, no. 6170, American Association for the Advancement of Science, 2014, pp. 506–11, doi:10.1126/science.1247363.
LibreCat: https://research-explorer.ista.ac.at/record/1916
DOI: 10.1126/science.1247363
PMID: 24482476

Xu, Tongda, et al. “Cell Surface AB-TMK Auxin Sensing Complex Activates ROP GTPase Signaling.”10.1126/science.1245125__Science, vol. 343, no. 6174, American Association for the Advancement of Science, 2014, pp. 1025–28, doi:10.1126/science.1245125.
LibreCat: https://research-explorer.ista.ac.at/record/1917
DOI: 10.1126/science.1245125
PMID: 24578577

Wang, Wen, et al. “Distinct Cerebellar Engrams in Short-Term and Long-Term Motor Learning.”10.1073/pnas.1315541111__PNAS, vol. 111, no. 1, National Academy of Sciences, 2014, pp. 8–93, doi:10.1073/pnas.1315541111.
LibreCat: https://research-explorer.ista.ac.at/record/1920
DOI: 10.1073/pnas.1315541111

Chen, Xu, and Jií Friml. “Rho-GTPase-Regulated Vesicle Trafficking in Plant Cell Polarity.”10.1042/BST20130269__Biochemical Society Transactions, vol. 42, no. 1, Portland Press, 2014, pp. 212–18, doi:10.1042/BST20130269.
LibreCat: https://research-explorer.ista.ac.at/record/1915
DOI: 10.1042/BST20130269
PMID: 24450654

Aziz, Wajeeha, et al. “Distinct Kinetics of Synaptic Structural Plasticity, Memory Formation, and Memory Decay in Massed and Spaced Learning.”10.1073/pnas.1303317110__PNAS, vol. 111, no. 1, National Academy of Sciences, 2014, pp. 4–202, doi:10.1073/pnas.1303317110.
LibreCat: https://research-explorer.ista.ac.at/record/1919
DOI: 10.1073/pnas.1303317110

Bellazzini, Jacopo, et al. “Existence of Ground States for Negative Ions at the Binding Threshold.”10.1142/S0129055X13500219__Reviews in Mathematical Physics, vol. 26, no. 1, 1350021, World Scientific Publishing, 2014, doi:10.1142/S0129055X13500219.
LibreCat: https://research-explorer.ista.ac.at/record/1918
DOI: 10.1142/S0129055X13500219

Sauer, Michael, and Jií Friml. “Plant Biology: Gatekeepers of the Road to Protein Perdition.”10.1016/j.cub.2013.11.019__Current Biology, vol. 24, no. 1, Cell Press, 2014, pp. –29, doi:10.1016/j.cub.2013.11.019.
LibreCat: https://research-explorer.ista.ac.at/record/1914
DOI: 10.1016/j.cub.2013.11.019

Lamprecht, Constanze, et al. “A Single-Molecule Approach to Explore Binding Uptake and Transport of Cancer Cell Targeting Nanotubes.”10.1088/0957-4484/25/12/125704__Nanotechnology, vol. 25, no. 12, 125704, IOP Publishing, 2014, doi:10.1088/0957-4484/25/12/125704.
LibreCat: https://research-explorer.ista.ac.at/record/1925
DOI: 10.1088/0957-4484/25/12/125704

Berthoumieux, Hélène, et al. “Active Elastic Thin Shell Theory for Cellular Deformations.”10.1088/1367-2630/16/6/065005__New Journal of Physics, vol. 16, 065005, IOP Publishing Ltd., 2014, doi:10.1088/1367-2630/16/6/065005.
LibreCat: https://research-explorer.ista.ac.at/record/1923
DOI: 10.1088/1367-2630/16/6/065005

Tejos, Ricardo, et al. “Bipolar Plasma Membrane Distribution of Phosphoinositides and Their Requirement for Auxin-Mediated Cell Polarity and Patterning in Arabidopsis.”10.1105/tpc.114.126185__Plant Cell, vol. 26, no. 5, American Society of Plant Biologists, 2014, pp. 2114–28, doi:10.1105/tpc.114.126185.
LibreCat: https://research-explorer.ista.ac.at/record/1921
DOI: 10.1105/tpc.114.126185