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.

6386 Publications


2016 | Journal Article | IST-REx-ID: 1620 | OA
Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “The External Field Dependence of the BCS Critical Temperature.” Communications in Mathematical Physics. Springer, 2016. https://doi.org/10.1007/s00220-015-2526-2.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1622 | OA
Lundholm, Douglas, Phan Nam, and Fabian Portmann. “Fractional Hardy–Lieb–Thirring and Related Inequalities for Interacting Systems.” Archive for Rational Mechanics and Analysis. Springer, 2016. https://doi.org/10.1007/s00205-015-0923-5.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
Kelleher, Jerome, Alison Etheridge, Amandine Véber, and Nicholas H Barton. “Spread of Pedigree versus Genetic Ancestry in Spatially Distributed Populations.” Theoretical Population Biology. Academic Press, 2016. https://doi.org/10.1016/j.tpb.2015.10.008.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1641 | OA
Zemová, Radka, Marta Zwiewka, Agnieszka Bielach, Hélène Robert, and Jiří Friml. “A Forward Genetic Screen for New Regulators of Auxin Mediated Degradation of Auxin Transport Proteins in Arabidopsis Thaliana.” Journal of Plant Growth Regulation. Springer, 2016. https://doi.org/10.1007/s00344-015-9553-2.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto, Tatsuaki, Krzysztof Z Pietrzak, Brent Waters, and Daniel Wichs. “New Realizations of Somewhere Statistically Binding Hashing and Positional Accumulators,” 9452:121–45. Springer, 2016. https://doi.org/10.1007/978-3-662-48797-6_6.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1662 | OA
Edelsbrunner, Herbert, and Florian Pausinger. “Approximation and Convergence of the Intrinsic Volume.” Advances in Mathematics. Academic Press, 2016. https://doi.org/10.1016/j.aim.2015.10.004.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 100 | OA
Aasen, David, Michael Hell, Ryan Mishmash, Andrew P Higginbotham, Jeroen Danon, Martin Leijnse, Thomas Jespersen, et al. “Milestones toward Majorana-Based Quantum Computing.” Physical Review X. American Physical Society, 2016. https://doi.org/10.1103/PhysRevX.6.031016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1008
Gnügge, Robert, Lekshmi Dharmarajan, Moritz Lang, and Jörg Stelling. “An Orthogonal Permease–Inducer–Repressor Feedback Loop Shows Bistability.” ACS Synthetic Biology. American Chemical Society, 2016. https://doi.org/10.1021/acssynbio.6b00013.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 101 | OA
Albrecht, S M, Andrew P Higginbotham, Thomas Jespersen, Morten Madsen, Ferdinand Kuemmeth, Jesper Nygård, Peter Krogstrup, and Charles Marcus. “Exponential Protection of Zero Modes in Majorana Islands.” Nature. Nature Publishing Group, 2016. https://doi.org/10.1038/nature17162.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 102 | OA
Mishmash, Ryan, David Aasen, Andrew P Higginbotham, and Jason Alicea. “Approaching a Topological Phase Transition in Majorana Nanowires.” Physical Review B. American Physical Society, 2016. https://doi.org/10.1103/PhysRevB.93.245404.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1057
Danzl, Johann G, Sven Sidenstein, Carola Gregor, Nicolai Urban, Peter Ilgen, Stefan Jakobs, and Stefan Hell. “Coordinate-Targeted Fluorescence Nanoscopy with Multiple off States.” Nature Photonics. Nature Publishing Group, 2016. https://doi.org/10.1038/nphoton.2015.266.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1059
Butkevich, Alexey, Gyuzel Mitronova, Sven Sidenstein, Jessica Klocke, Dirk Kamin, Dirk Meineke, Elisa D’Este, et al. “Fluorescent Rhodamines and Fluorogenic Carbopyronines for Super-Resolution STED Microscopy in Living Cells.” Angewandte Chemie - International Edition. Wiley-Blackwell, 2016. https://doi.org/10.1002/anie.201511018.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1060
Sidenstein, Sven, Elisa D’Este, Marvin Böhm, Johann G Danzl, Vladimir Belov, and Stefan Hell. “Multicolour Multilevel STED Nanoscopy of Actin/Spectrin Organization at Synapses.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep26725.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Veronika Loitzenbauer. “Conditionally Optimal Algorithms for Generalized Büchi Games,” Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.MFCS.2016.25.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Skolem Problem for Continuous Linear Dynamical Systems,” Vol. 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ICALP.2016.100.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Computation Tree Logic for Synchronization Properties,” Vol. 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ICALP.2016.98.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs,” Vol. 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ESA.2016.28.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Łangowski, Łukasz, Krzysztof T Wabnik, Hongjiang Li, Steffen Vanneste, Satoshi Naramoto, Hirokazu Tanaka, and Jiří Friml. “Cellular Mechanisms for Cargo Delivery and Polarity Maintenance at Different Polar Domains in Plant Cells.” Cell Discovery. Nature Publishing Group, 2016. https://doi.org/10.1038/celldisc.2016.18.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk, Matthew J, Olivier Marre, and Gašper Tkačik. “Relevant Sparse Codes with Variational Information Bottleneck,” 29:1965–73. Neural Information Processing Systems, 2016.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1083
Booker, Sam, Daniel Althof, Anna Gross, Desiree Loreth, Johanna Müller, Andreas Unger, Bernd Fakler, et al. “KCTD12 Auxiliary Proteins Modulate Kinetics of GABAB Receptor-Mediated Inhibition in Cholecystokinin-Containing Interneurons.” Cerebral Cortex. Oxford University Press, 2016. https://doi.org/10.1093/cercor/bhw090.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1088
Uhler, Caroline, and G V Shivashankar. “Geometric Control and Modeling of Genome Reprogramming.” BioArchitecture. Taylor & Francis, 2016. https://doi.org/10.1080/19490992.2016.1201620.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Limit-Average Automata of Bounded Width,” Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.MFCS.2016.24.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Linear Distances between Markov Chains,” Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.20.
View | Files available | DOI
 

2016 | Book Chapter | IST-REx-ID: 1094
Harada, Harumi, and Ryuichi Shigemoto. “Immunogold Protein Localization on Grid-Glued Freeze-Fracture Replicas.” In High-Resolution Imaging of Cellular Proteins, 1474:203–16. Springer, 2016. https://doi.org/10.1007/978-1-4939-6352-2_12.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
Haas, Andreas, Thomas A Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, and Helmut Veith. “Local Linearizability for Concurrent Container-Type Data Structures.” In Leibniz International Proceedings in Informatics, Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1096
Schwayer, Cornelia, Mateusz K Sikora, Jana Slovakova, Roland Kardos, and Carl-Philipp J Heisenberg. “Actin Rings of Power.” Developmental Cell. Cell Press, 2016. https://doi.org/10.1016/j.devcel.2016.05.024.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
Du, Tao, Adriana Schulz, Bo Zhu, Bernd Bickel, and Wojciech Matusik. “Computational Multicopter Design,” Vol. 35. ACM, 2016. https://doi.org/10.1145/2980179.2982427.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
Pentina, Anastasia, and Ruth Urner. “Lifelong Learning with Weighted Majority Votes,” 29:3619–27. Neural Information Processing Systems, 2016.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo, Luigi, Nico Pietroni, Bernd Bickel, and Paolo Cignoni. “FlexMolds: Automatic Design of Flexible Shells for Molding,” Vol. 35. ACM, 2016. https://doi.org/10.1145/2980179.2982397.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1101
Mitchell, Joshua, Jason Whitfield, William Zhang, Christian Henneberger, Harald L Janovjak, Megan O’Mara, and Colin Jackson. “Rangefinder: A Semisynthetic FRET Sensor Design Algorithm.” ACS SENSORS. ACS, 2016. https://doi.org/10.1021/acssensors.6b00576.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov, Alexander, and Christoph Lampert. “Improving Weakly-Supervised Object Localization by Micro-Annotation.” In Proceedings of the British Machine Vision Conference 2016, 2016–September:92.1-92.12. BMVA Press, 2016. https://doi.org/10.5244/C.30.92.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung, Amit, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, and Rajarshi Ray. “Parallel Reachability Analysis for Hybrid Systems.” IEEE, 2016. https://doi.org/10.1109/MEMCOD.2016.7797741.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1105
Savin, Cristina, and Gašper Tkačik. “Estimating Nonlinear Neural Response Functions Using GP Priors and Kronecker Methods,” 29:3610–18. Neural Information Processing Systems, 2016.
View | Download None (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Georg Schunk, Dimitry Strekalov, et al. “Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO Inf 3 Inf WGM-Resonator.” IEEE, 2016. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen, Morten. “Tracking, Correcting and Absorbing Water Surface Waves.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:th_640.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina, Anastasia. “Theoretical Foundations of Multi-Task Lifelong Learning.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:TH_776.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Rieckh, Georg. “Studying the Complexities of Transcriptional Regulation.” IST Austria, 2016.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, Parasara, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis C2E2 HyST and TuLiP.” In 2016 IEEE Conference on Control Applications. IEEE, 2016. https://doi.org/10.1109/CCA.2016.7587948.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni, Guy, Shibashis Guha, and Guillermo Rodríguez Navas. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” In Proceedings of the 13th International Conference on Embedded Software . ACM, 2016. https://doi.org/10.1145/2968478.2968499.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux, Pierre, Ulysse Vimont, Christopher J Wojtan, Damien Rohmer, and Marie Cani. “Space-Time Sculpting of Liquid Animation.” In Proceedings of the 9th International Conference on Motion in Games . ACM, 2016. https://doi.org/10.1145/2994258.2994261.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative Automata under Probabilistic Semantics.” In Proceedings of the 31st Annual ACM/IEEE Symposium, 76–85. IEEE, 2016. https://doi.org/10.1145/2933575.2933588.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1139
Düllberg, Christian F, Nicholas Cade, and Thomas Surrey. “Microtubule Aging Probed by Microfluidics Assisted Tubulin Washout.” Molecular Biology and Evolution. Oxford University Press, 2016. https://doi.org/10.1091/mbc.E16-07-0548.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee, Krishnendu, Wolfgang Dvoák, Monika Henzinger, and Veronika Loitzenbauer. “Model and Objective Separation with Conditional Lower Bounds Disjunction Is Harder than Conjunction.” In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 197–206. IEEE, 2016. https://doi.org/10.1145/2933575.2935304.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1141
Łazarz, Radosław, Michał Idzik, Konrad Gądek, and Ewa P Gajda-Zagorska. “Hierarchic Genetic Strategy with Maturing as a Generic Tool for Multiobjective Optimization.” Journal of Computational Science. Elsevier, 2016. https://doi.org/10.1016/j.jocs.2016.03.004.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1142 | OA
Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 17(12), 1361–1372.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143 | OA
Nam, Phan, Nicolas Rougerie, and Robert Seiringer. “Ground States of Large Bosonic Systems: The Gross Pitaevskii Limit Revisited.” Analysis and PDE. Mathematical Sciences Publishers, 2016. https://doi.org/10.2140/apde.2016.9.459.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński, Tomasz, Steffen Vanneste, Marta Zwiewka, Markéta Pernisová, Jan Hejátko, and Jiří Friml. “Enquiry into the Topology of Plasma Membrane Localized PIN Auxin Transport Components.” Molecular Plant. Cell Press, 2016. https://doi.org/10.1016/j.molp.2016.08.010.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1147 | OA
Balla, Jozef, Zuzana Medved’Ová, Petr Kalousek, Natálie Matiješčuková, Jiří Friml, Vilém Reinöhl, and Stanislav Procházka. “Auxin Flow Mediated Competition between Axillary Buds to Restore Apical Dominance.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep35955.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1148
Schilling, Christian, Sergiy Bogomolov, Thomas A Henzinger, Andreas Podelski, and Jakob Ruess. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.” Biosystems. Elsevier, 2016. https://doi.org/10.1016/j.biosystems.2016.07.005.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1149
Miyaji, Tomoyuki, Pawel Pilarczyk, Marcio Gameiro, Hiroshi Kokubu, and Konstantin Mischaikow. “A Study of Rigorous ODE Integrators for Multi Scale Set Oriented Computations.” Applied Numerical Mathematics. Elsevier, 2016. https://doi.org/10.1016/j.apnum.2016.04.005.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1150
Renkawitz, Jörg, and Michael K Sixt. “A Radical Break Restraining Neutrophil Migration.” Developmental Cell. Cell Press, 2016. https://doi.org/10.1016/j.devcel.2016.08.017.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1151 | OA
Simonini, Sara, Joyita Deb, Laila Moubayidin, Pauline Stephenson, Manoj Valluru, Alejandra Freire Rios, Karim Sorefan, Dolf Weijers, Jiří Friml, and Lars Östergaard. “A Noncanonical Auxin Sensing Mechanism Is Required for Organ Morphogenesis in Arabidopsis.” Genes and Development. Cold Spring Harbor Laboratory Press, 2016. https://doi.org/10.1101/gad.285361.116.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1153 | OA
Žádníková, Petra, Krzysztof T Wabnik, Anas Abuzeineh, Marçal Gallemí, Dominique Van Der Straeten, Richard Smith, Dirk Inze, Jiří Friml, Przemysław Prusinkiewicz, and Eva Benková. “A Model of Differential Growth Guided Apical Hook Formation in Plants.” Plant Cell. American Society of Plant Biologists, 2016. https://doi.org/10.1105/tpc.15.00569.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1154 | OA
Schwarz, Jan, Veronika Bierbaum, Jack Merrin, Tino Frank, Robert Hauschild, Mark Tobias Bollenbach, Savaş Tay, Michael K Sixt, and Matthias Mehling. “A Microfluidic Device for Measuring Cell Migration towards Substrate Bound and Soluble Chemokine Gradients.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep36440.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1156
Hibi, Takayugi, and Liam T Solus. “Facets of the R-Stable (n, k)-Hypersimplex.” Annals of Combinatorics. Springer, 2016. https://doi.org/10.1007/s00026-016-0325-x.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1157 | OA
Lee, Ji, and Kevin Schnelli. “Tracy-Widom Distribution for the Largest Eigenvalue of Real Sample Covariance Matrices with General Population.” Annals of Applied Probability. Institute of Mathematical Statistics, 2016. https://doi.org/10.1214/16-AAP1193.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158 | OA
Roux, Camille, Christelle Fraisse, Jonathan Romiguier, Youann Anciaux, Nicolas Galtier, and Nicolas Bierne. “Shedding Light on the Grey Zone of Speciation along a Continuum of Genomic Divergence.” PLoS Biology. Public Library of Science, 2016. https://doi.org/10.1371/journal.pbio.2000234.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity II,” 9801:468–81. Springer, 2016. https://doi.org/10.1007/978-3-319-50106-2_36.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
Fulek, Radoslav. “C-Planarity of Embedded Cyclic c-Graphs,” 9801:94–106. Springer, 2016. https://doi.org/10.1007/978-3-319-50106-2_8.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee, Krishnendu, Martin Chmelik, and Jessica Davies. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016:3225–32. AAAI Press, 2016.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1167 | OA
Zagórski, Marcin P, Zdzisław Burda, and Bartłomiej Wacław. “Beyond the Hypercube Evolutionary Accessibility of Fitness Landscapes with Realistic Mutational Networks.” PLoS Computational Biology. Public Library of Science, 2016. https://doi.org/10.1371/journal.pcbi.1005218.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1170
Lang, Moritz, and Jörg Stelling. “Modular Parameter Identification of Biomolecular Networks.” SIAM Journal on Scientific Computing. Society for Industrial and Applied Mathematics , 2016. https://doi.org/10.1137/15M103306X.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1171
Tkačik, Gašper. “Understanding Regulatory Networks Requires More than Computing a Multitude of Graph Statistics: Comment on "Drivers of Structural Features in Gene Regulatory Networks: From Biophysical Constraints to Biological Function" by O. C. Martin et Al.” Physics of Life Reviews. Elsevier, 2016. https://doi.org/10.1016/j.plrev.2016.06.005.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1172 | OA
Sachdeva, Himani, Mustansir Barma, and Madan Rao. “Nonequilibrium Description of de Novo Biogenesis and Transport through Golgi-like Cisternae.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep38840.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1177 | OA
Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” Algorithmica. Springer, 2016. https://doi.org/10.1007/s00453-015-9997-6.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1179 | OA
Pietrzak, Krzysztof Z, and Skorski Maciej. “Pseudoentropy: Lower-Bounds for Chain Rules and Transformations,” 9985:183–203. Springer, 2016. https://doi.org/10.1007/978-3-662-53641-4_8.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1181
Dwyer, Noelle, Bin Chen, Shen Chou, Simon Hippenmeyer, Laurent Nguyen, and Troy Ghashghaei. “Neural Stem Cells to Cerebral Cortex: Emerging Mechanisms Regulating Progenitor Behavior and Productivity.” Journal of Neuroscience. Society for Neuroscience, 2016. https://doi.org/10.1523/JNEUROSCI.2359-16.2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1182 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Josef Tkadlec. “Robust Draws in Balanced Knockout Tournaments,” 2016–January:172–79. AAAI Press, 2016.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1184 | OA
Metzler, Sina, Jürgen Heinze, and Alexandra Schrempf. “Mating and Longevity in Ant Males.” Ecology and Evolution. Wiley-Blackwell, 2016. https://doi.org/10.1002/ece3.2474.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1185
Cucinotta, Mara, Silvia Manrique, Andrea Guazzotti, Nadia Quadrelli, Marta Mendes, Eva Benková, and Lucia Colombo. “Cytokinin Response Factors Integrate Auxin and Cytokinin Pathways for Female Reproductive Organ Development.” Development. Company of Biologists, 2016. https://doi.org/10.1242/dev.143545.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1186 | OA
Gutierrez-Fernandez, Javier, Malek Saleh, Martín Alcorlo, Alejandro Gómez Mejóa, David Pantoja Uceda, Miguel Treviño, Franziska Vob, et al. “Modular Architecture and Unique Teichoic Acid Recognition Features of Choline-Binding Protein L CbpL Contributing to Pneumococcal Pathogenesis.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep38094.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1188 | OA
De Martino, Daniele, and Davide Masoero. “Asymptotic Analysis of Noisy Fitness Maximization, Applied to Metabolism & Growth.” Journal of Statistical Mechanics: Theory and Experiment. IOPscience, 2016. https://doi.org/10.1088/1742-5468/aa4e8f.
View | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1189 | OA
Jochum, Clemens. “Dissipative Few-Body Quantum Systems.” Technical University Vienna, 2016.
View | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.” In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, Vol. 2016–December. IEEE, 2016. https://doi.org/10.1109/FOCS.2016.88.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1195 | OA
Franssen, Susan, Nicholas H Barton, and Christian Schlötterer. “Reconstruction of Haplotype-Blocks Selected during Experimental Evolution.” Molecular Biology and Evolution. Oxford University Press, 2016. https://doi.org/10.1093/molbev/msw210.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1197 | OA
Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gašper Tkačik, and Michael Berry. “Error-Robust Modes of the Retinal Population Code.” PLoS Computational Biology. Public Library of Science, 2016. https://doi.org/10.1371/journal.pcbi.1005148.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1200 | OA
Hilbe, Christian, and Arne Traulsen. “Only the Combination of Mathematics and Agent Based Simulations Can Leverage the Full Potential of Evolutionary Modeling: Comment on ‘Evolutionary Game Theory Using Agent-Based Methods’ by C. Adami, J. Schossau and A. Hintze.” Physics of Life Reviews. Elsevier, 2016. https://doi.org/10.1016/j.plrev.2016.10.004.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1201
Renkawitz, Jörg, and Michael K Sixt. “Formin’ a Nuclear Protection.” Cell. Cell Press, 2016. https://doi.org/10.1016/j.cell.2016.11.024.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1202 | OA
Milutinovic, Barbara, Robert Peuß, Kevin Ferro, and Joachim Kurtz. “Immune Priming in Arthropods: An Update Focusing on the Red Flour Beetle.” Zoology . Elsevier, 2016. https://doi.org/10.1016/j.zool.2016.03.006.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1203 | OA
Hu, Fang, Lavanya Rishishwar, Ambily Sivadas, Gabriel Mitchell, Jordan King, Timothy Murphy, Janet Gilsdorf, Leonard Mayer, and Xin Wang. “Comparative Genomic Analysis of Haemophilus Haemolyticus and Nontypeable Haemophilus Influenzae and a New Testing Scheme for Their Discrimination.” Journal of Clinical Microbiology. American Society for Microbiology, 2016. https://doi.org/10.1128/JCM.01511-16.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1204 | OA
Amir, Ariel, Mikhail Lemeshko, and Tadashi Tokieda. “Surprises in Numerical Expressions of Physical Constants.” American Mathematical Monthly. Mathematical Association of America, 2016. https://doi.org/10.4169/amer.math.monthly.123.6.609.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1205 | OA
Jiang, Yu, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller,” 9995:757–63. Springer, 2016. https://doi.org/10.1007/978-3-319-48989-6_47.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1206 | OA
Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented Polar Molecules inside a Superfluid.” ChemPhysChem. Wiley-Blackwell, 2016. https://doi.org/10.1002/cphc.201601042.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1209 | OA
Letts, James A, Gianluca Degliesposti, Karol Fiedorczuk, Mark Skehel, and Leonid A Sazanov. “Purification of Ovine Respiratory Complex i Results in a Highly Active and Stable Preparation.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2016. https://doi.org/10.1074/jbc.M116.735142.
View | DOI | Download Submitted Version (ext.)
 

2016 | Book Chapter | IST-REx-ID: 1210
Zhu, Qiang, Petra Žádníková, Dajo Smet, Dominique Van Der Straeten, and Eva Benková. “Real Time Analysis of the Apical Hook Development.” In Plant Hormones, 1497:1–8. Humana Press, 2016. https://doi.org/10.1007/978-1-4939-6469-7_1.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1212 | OA
Rakusová, Hana, Mohamad Abbas, Huibin Han, Siyuan Song, Hélène Robert, and Jiří Friml. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” Current Biology. Cell Press, 2016. https://doi.org/10.1016/j.cub.2016.08.067.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1214
Martius, Georg S, Raphael Hostettler, Alois Knoll, and Ralf Der. “Compliant Control for Soft Robots: Emergent Behavior of a Tendon Driven Anthropomorphic Arm,” Vol. 2016–November. IEEE, 2016. https://doi.org/10.1109/IROS.2016.7759138.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1216 | OA
Kasten, Jens, Jan Reininghaus, Ingrid Hotz, Hans Hege, Bernd Noack, Guillaume Daviller, and Marek Morzyński. “Acceleration Feature Points of Unsteady Shear Flows.” Archives of Mechanics. Polish Academy of Sciences Publishing House, 2016.
View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1217
Sreeramkumar, Vinatha, Miroslav Hons, Carmen Punzón, Jens Stein, David Sancho, Manuel Fresno Forcelledo, and Natalia Cuesta. “Efficient T-Cell Priming and Activation Requires Signaling through Prostaglandin E2 (EP) Receptors.” Immunology and Cell Biology. Nature Publishing Group, 2016. https://doi.org/10.1038/icb.2015.62.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1218 | OA
Angermayr, Andreas, Pascal Van Alphen, Dicle Hasdemir, Gertjan Kramer, Muzamal Iqbal, Wilmar Van Grondelle, Huub Hoefsloot, Younghae Choi, and Klaas Hellingwerf. “Culturing Synechocystis Sp. Strain Pcc 6803 with N2 and CO2 in a Diel Regime Reveals Multiphase Glycogen Dynamics with Low Maintenance Costs.” Applied and Environmental Microbiology. American Society for Microbiology, 2016. https://doi.org/10.1128/AEM.00256-16.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1219 | OA
Lee, Jioon, Kevin Schnelli, Ben Stetler, and Horngtzer Yau. “Bulk Universality for Deformed Wigner Matrices.” Annals of Probability. Institute of Mathematical Statistics, 2016. https://doi.org/10.1214/15-AOP1023.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 122 | OA
Waitukaitis, Scott R, and Martin Van Hecke. “Origami Building Blocks: Generic and Special Four-Vertices.” Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. American Physiological Society, 2016. https://doi.org/10.1103/PhysRevE.93.023003.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1220 | OA
Mikić, Gregor, Alex Stoll, Joe Bevirt, Rok Grah, and Mark Moore. “Fuselage Boundary Layer Ingestion Propulsion Applied to a Thin Haul Commuter Aircraft for Optimal Efficiency,” 1–19. AIAA, 2016. https://doi.org/10.2514/6.2016-3764.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1221 | OA
Michalko, Jaroslav, Matous Glanc, Catherine Perrot Rechenmann, and Jiří Friml. “Strong Morphological Defects in Conditional Arabidopsis Abp1 Knock-down Mutants Generated in Absence of Functional ABP1 Protein.” F1000 Research . F1000 Research Ltd. , 2016. https://doi.org/10.12688/f1000research.7654.1.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1222 | OA
Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” Discrete & Computational Geometry. Springer, 2016. https://doi.org/10.1007/s00454-015-9742-6.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1223 | OA
Froese, Richard, Darrick Lee, Christian Sadel, Wolfgang Spitzer, and Günter Stolz. “Localization for Transversally Periodic Random Potentials on Binary Trees.” Journal of Spectral Theory. European Mathematical Society, 2016. https://doi.org/10.4171/JST/132.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1224
Teitel, Zachary, Melinda Pickup, David Field, and Spencer Barrett. “The Dynamics of Resource Allocation and Costs of Reproduction in a Sexually Dimorphic, Wind-Pollinated Dioecious Plant.” Plant Biology. Wiley-Blackwell, 2016. https://doi.org/10.1111/plb.12336.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1225 | OA
Fuchsbauer, Georg, Christian Hanser, Chethan Kamath Hosdurg, and Daniel Slamanig. “Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions,” 9841:391–408. Springer, 2016. https://doi.org/10.1007/978-3-319-44618-9_21.
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1226 | OA
Fiedorczuk, Karol, James A Letts, Gianluca Degliesposti, Karol Kaszuba, Mark Skehel, and Leonid A Sazanov. “Atomic Structure of the Entire Mammalian Mitochondrial Complex I.” Nature. Nature Publishing Group, 2016. https://doi.org/10.1038/nature19794.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications