Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3962 Publications

2016 | Journal Article | IST-REx-ID: 1096
Schwayer, Cornelia, et al. “Actin Rings of Power.” Developmental Cell, vol. 37, no. 6, Cell Press, 2016, pp. 493–506, doi:10.1016/j.devcel.2016.05.024.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1097 | OA
Du, Tao, et al. Computational Multicopter Design. Vol. 35, no. 6, 227, ACM, 2016, doi: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. Vol. 29, Neural Information Processing Systems, 2016, pp. 3619–27.
View | Files available
 
2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo, Luigi, et al. FlexMolds: Automatic Design of Flexible Shells for Molding. Vol. 35, no. 6, 223, ACM, 2016, doi:10.1145/2980179.2982397.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1101
Mitchell, Joshua, et al. “Rangefinder: A Semisynthetic FRET Sensor Design Algorithm.” ACS SENSORS, vol. 1, no. 11, ACS, 2016, pp. 1286–90, doi: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.” Proceedings of the British Machine Vision Conference 2016, vol. 2016–September, BMVA Press, 2016, p. 92.1-92.12, doi:10.5244/C.30.92.
View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung, Amit, et al. Parallel Reachability Analysis for Hybrid Systems. 7797741, IEEE, 2016, doi: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. Vol. 29, Neural Information Processing Systems, 2016, pp. 3610–18.
View | Download None (ext.)
 
2016 | Thesis | IST-REx-ID: 1121 | OA
Acar, Hande. Selective Barriers to Horizontal Gene Transfer. IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen, Morten. Tracking, Correcting and Absorbing Water Surface Waves. IST Austria, 2016, doi:10.15479/AT:ISTA:th_640.
View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1123 | OA
Mabillard, Isaac. Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture. IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1124 | OA
Morri, Maurizio. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1125 | OA
Novak, Sebastian. Evolutionary Proccesses in Variable Emvironments. IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina, Anastasia. Theoretical Foundations of Multi-Task Lifelong Learning. IST Austria, 2016, doi: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 | Thesis | IST-REx-ID: 1129 | OA
Schwarz, Jan. Quantitative Analysis of Haptotactic Cell Migration. IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach, Thorsten. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. IST Austria, 2016, doi:10.15479/at:ista:1130.
View | Files available | DOI | Download Published Version (ext.)
 
2016 | Thesis | IST-REx-ID: 1131 | OA
Tugrul, Murat. Evolution of Transcriptional Regulatory Sequences. IST Austria, 2016.
View | Files available
 
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, Parasara, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis C2E2 HyST and TuLiP.” 2016 IEEE Conference on Control Applications, 7587948, IEEE, 2016, doi:10.1109/CCA.2016.7587948.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni, Guy, et al. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” Proceedings of the 13th International Conference on Embedded Software , 26, ACM, 2016, doi:10.1145/2968478.2968499.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux, Pierre, et al. “Space-Time Sculpting of Liquid Animation.” Proceedings of the 9th International Conference on Motion in Games , 2994261, ACM, 2016, doi: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, et al. “Quantitative Automata under Probabilistic Semantics.” Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85, doi:10.1145/2933575.2933588.
View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1141
Łazarz, Radosław, et al. “Hierarchic Genetic Strategy with Maturing as a Generic Tool for Multiobjective Optimization.” Journal of Computational Science, vol. 17, no. 1, Elsevier, 2016, pp. 249–60, doi: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, et al. “Ground States of Large Bosonic Systems: The Gross Pitaevskii Limit Revisited.” Analysis and PDE, vol. 9, no. 2, Mathematical Sciences Publishers, 2016, pp. 459–85, doi:10.2140/apde.2016.9.459.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński, Tomasz, et al. “Enquiry into the Topology of Plasma Membrane Localized PIN Auxin Transport Components.” Molecular Plant, vol. 9, no. 11, Cell Press, 2016, pp. 1504–19, doi:10.1016/j.molp.2016.08.010.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1147 | OA
Balla, Jozef, et al. “Auxin Flow Mediated Competition between Axillary Buds to Restore Apical Dominance.” Scientific Reports, vol. 6, 35955, Nature Publishing Group, 2016, doi:10.1038/srep35955.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1148
Schilling, Christian, et al. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.” Biosystems, vol. 149, Elsevier, 2016, pp. 15–25, doi:10.1016/j.biosystems.2016.07.005.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1149
Miyaji, Tomoyuki, et al. “A Study of Rigorous ODE Integrators for Multi Scale Set Oriented Computations.” Applied Numerical Mathematics, vol. 107, Elsevier, 2016, pp. 34–47, doi: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, vol. 38, no. 5, Cell Press, 2016, pp. 448–50, doi:10.1016/j.devcel.2016.08.017.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1151 | OA
Simonini, Sara, et al. “A Noncanonical Auxin Sensing Mechanism Is Required for Organ Morphogenesis in Arabidopsis.” Genes and Development, vol. 30, no. 20, Cold Spring Harbor Laboratory Press, 2016, pp. 2286–96, doi:10.1101/gad.285361.116.
View | Files available | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1153 | OA
Žádníková, Petra, et al. “A Model of Differential Growth Guided Apical Hook Formation in Plants.” Plant Cell, vol. 28, no. 10, American Society of Plant Biologists, 2016, pp. 2464–77, doi:10.1105/tpc.15.00569.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1154 | OA
Schwarz, Jan, et al. “A Microfluidic Device for Measuring Cell Migration towards Substrate Bound and Soluble Chemokine Gradients.” Scientific Reports, vol. 6, 36440, Nature Publishing Group, 2016, doi:10.1038/srep36440.
View | Files available | 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, vol. 26, no. 6, Institute of Mathematical Statistics, 2016, pp. 3786–839, doi:10.1214/16-AAP1193.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1158 | OA
Roux, Camille, et al. “Shedding Light on the Grey Zone of Speciation along a Continuum of Genomic Divergence.” PLoS Biology, vol. 14, no. 12, e2000234, Public Library of Science, 2016, doi:10.1371/journal.pbio.2000234.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1164 | OA
Fulek, Radoslav, et al. Hanani-Tutte for Radial Planarity II. Vol. 9801, Springer, 2016, pp. 468–81, doi: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. Vol. 9801, Springer, 2016, pp. 94–106, doi:10.1007/978-3-319-50106-2_8.
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee, Krishnendu, et al. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, vol. 2016, AAAI Press, 2016, pp. 3225–32.
View | Files available
 
2016 | Journal Article | IST-REx-ID: 1167 | OA
Zagórski, Marcin P., et al. “Beyond the Hypercube Evolutionary Accessibility of Fitness Landscapes with Realistic Mutational Networks.” PLoS Computational Biology, vol. 12, no. 12, e1005218, Public Library of Science, 2016, doi: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, vol. 38, no. 6, Society for Industrial and Applied Mathematics , 2016, pp. B988–1008, doi: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, vol. 17, Elsevier, 2016, pp. 166–67, doi:10.1016/j.plrev.2016.06.005.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1172 | OA
Sachdeva, Himani, et al. “Nonequilibrium Description of de Novo Biogenesis and Transport through Golgi-like Cisternae.” Scientific Reports, vol. 6, 38840, Nature Publishing Group, 2016, doi:10.1038/srep38840.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1545 | OA
Nam, Phan, et al. “Diagonalization of Bosonic Quadratic Hamiltonians by Bogoliubov Transformations.” Journal of Functional Analysis, vol. 270, no. 11, Academic Press, 2016, pp. 4340–68, doi:10.1016/j.jfa.2015.12.007.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1552 | OA
Qi, Qin, et al. “The Genomic Basis of Adaptation to the Fitness Cost of Rifampicin Resistance in Pseudomonas Aeruginosa.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1822, 20152452, Royal Society, The, 2016, doi:10.1098/rspb.2015.2452.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1592
Abe, Masayuki, et al. “Structure Preserving Signatures and Commitments to Group Elements.” Journal of Cryptology, vol. 29, no. 2, Springer, 2016, pp. 363–421, doi:10.1007/s00145-014-9196-7.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1597
Schwarz, Jan, and Michael K. Sixt. “Quantitative Analysis of Dendritic Cell Haptotaxis.” Methods in Enzymology, vol. 570, Elsevier, 2016, pp. 567–81, doi:10.1016/bs.mie.2015.11.004.
View | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1599 | OA
Kiermaier, Eva, et al. “Polysialylation Controls Dendritic Cell Trafficking by Regulating Chemokine Recognition.” Science, vol. 351, no. 6269, American Association for the Advancement of Science, 2016, pp. 186–90, doi:10.1126/science.aad0512.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1608 | OA
Sadel, Christian. “Anderson Transition at 2 Dimensional Growth Rate on Antitrees and Spectral Theory for Operators with One Propagating Channel.” Annales Henri Poincare, vol. 17, no. 7, Birkhäuser, 2016, pp. 1631–75, doi:10.1007/s00023-015-0456-3.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1612 | OA
Kazda, Alexandr. “CSP for Binary Conservative Relational Structures.” Algebra Universalis, vol. 75, no. 1, Springer, 2016, pp. 75–84, doi:10.1007/s00012-015-0358-8.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski, Janina, et al. “Intrinsic Membrane Properties Determine Hippocampal Differential Firing Pattern in Vivo in Anesthetized Rats.” Hippocampus, vol. 26, no. 5, John Wiley and Sons Inc., 2016, pp. 668–82, doi:10.1002/hipo.22550.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1617 | OA
Pausinger, Florian, and Stefan Steinerberger. “On the Discrepancy of Jittered Sampling.” Journal of Complexity, vol. 33, Academic Press, 2016, pp. 199–216, doi:10.1016/j.jco.2015.11.003.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1620 | OA
Frank, Rupert, et al. “The External Field Dependence of the BCS Critical Temperature.” Communications in Mathematical Physics, vol. 342, no. 1, Springer, 2016, pp. 189–216, doi:10.1007/s00220-015-2526-2.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1622 | OA
Lundholm, Douglas, et al. “Fractional Hardy–Lieb–Thirring and Related Inequalities for Interacting Systems.” Archive for Rational Mechanics and Analysis, vol. 219, no. 3, Springer, 2016, pp. 1343–82, doi:10.1007/s00205-015-0923-5.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1631 | OA
Kelleher, Jerome, et al. “Spread of Pedigree versus Genetic Ancestry in Spatially Distributed Populations.” Theoretical Population Biology, vol. 108, Academic Press, 2016, pp. 1–12, doi:10.1016/j.tpb.2015.10.008.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1641 | OA
Zemová, Radka, et al. “A Forward Genetic Screen for New Regulators of Auxin Mediated Degradation of Auxin Transport Proteins in Arabidopsis Thaliana.” Journal of Plant Growth Regulation, vol. 35, no. 2, Springer, 2016, pp. 465–76, doi:10.1007/s00344-015-9553-2.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto, Tatsuaki, et al. New Realizations of Somewhere Statistically Binding Hashing and Positional Accumulators. Vol. 9452, Springer, 2016, pp. 121–45, doi: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, vol. 287, Academic Press, 2016, pp. 674–703, doi:10.1016/j.aim.2015.10.004.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov, Sergiy, et al. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.” International Journal on Software Tools for Technology Transfer, vol. 18, no. 4, Springer, 2016, pp. 449–67, doi:10.1007/s10009-015-0393-y.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1707
Pielorz, Jasmin, and Christoph Lampert. Optimal Geospatial Allocation of Volunteers for Crisis Management. 7402041, IEEE, 2016, doi:10.1109/ICT-DM.2015.7402041.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1794 | OA
Kolmogorov, Vladimir, and Rustem Takhanov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” Algorithmica, vol. 76, no. 1, Springer, 2016, pp. 17–46, doi:10.1007/s00453-015-0017-7.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1833 | OA
Klimova, Anna, and Tamás Rudas. “On the Closure of Relational Models.” Journal of Multivariate Analysis, vol. 143, Elsevier, 2016, pp. 440–52, doi:10.1016/j.jmva.2015.10.005.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee, Jioon, and Kevin Schnelli. “Extremal Eigenvalues and Eigenvectors of Deformed Wigner Matrices.” Probability Theory and Related Fields, vol. 164, no. 1–2, Springer, 2016, pp. 165–241, doi:10.1007/s00440-014-0610-8.
View | DOI | Download Preprint (ext.)
 
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, vol. 74, no. 4, Springer, 2016, pp. 1321–62, doi: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. Vol. 9985, Springer, 2016, pp. 183–203, doi:10.1007/978-3-662-53641-4_8.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1181
Dwyer, Noelle, et al. “Neural Stem Cells to Cerebral Cortex: Emerging Mechanisms Regulating Progenitor Behavior and Productivity.” Journal of Neuroscience, vol. 36, no. 45, Society for Neuroscience, 2016, pp. 11394–401, doi:10.1523/JNEUROSCI.2359-16.2016.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1182 | OA
Chatterjee, Krishnendu, et al. Robust Draws in Balanced Knockout Tournaments. Vol. 2016–January, AAAI Press, 2016, pp. 172–79.
View | Files available | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1184 | OA
Metzler, Sina, et al. “Mating and Longevity in Ant Males.” Ecology and Evolution, vol. 6, no. 24, Wiley-Blackwell, 2016, pp. 8903–06, doi:10.1002/ece3.2474.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1185
Cucinotta, Mara, et al. “Cytokinin Response Factors Integrate Auxin and Cytokinin Pathways for Female Reproductive Organ Development.” Development, vol. 143, no. 23, Company of Biologists, 2016, pp. 4419–24, doi:10.1242/dev.143545.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1186 | OA
Gutierrez-Fernandez, Javier, et al. “Modular Architecture and Unique Teichoic Acid Recognition Features of Choline-Binding Protein L CbpL Contributing to Pneumococcal Pathogenesis.” Scientific Reports, vol. 6, 38094, Nature Publishing Group, 2016, doi: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, vol. 2016, no. 12, 123502, IOPscience, 2016, doi:10.1088/1742-5468/aa4e8f.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.” Proceedings - Annual IEEE Symposium on Foundations of Computer Science, vol. 2016–December, 7782993, IEEE, 2016, doi:10.1109/FOCS.2016.88.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1195 | OA
Franssen, Susan, et al. “Reconstruction of Haplotype-Blocks Selected during Experimental Evolution.” Molecular Biology and Evolution, vol. 34, no. 1, Oxford University Press, 2016, pp. 174–84, doi:10.1093/molbev/msw210.
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, vol. 19, Elsevier, 2016, pp. 29–31, doi: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, vol. 167, no. 6, Cell Press, 2016, pp. 1448–49, doi:10.1016/j.cell.2016.11.024.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1202 | OA
Milutinovic, Barbara, et al. “Immune Priming in Arthropods: An Update Focusing on the Red Flour Beetle.” Zoology , vol. 119, no. 4, Elsevier, 2016, pp. 254–61, doi:10.1016/j.zool.2016.03.006.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1203 | OA
Hu, Fang, et al. “Comparative Genomic Analysis of Haemophilus Haemolyticus and Nontypeable Haemophilus Influenzae and a New Testing Scheme for Their Discrimination.” Journal of Clinical Microbiology, vol. 54, no. 12, American Society for Microbiology, 2016, pp. 3010–17, doi:10.1128/JCM.01511-16.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1204 | OA
Amir, Ariel, et al. “Surprises in Numerical Expressions of Physical Constants.” American Mathematical Monthly, vol. 123, no. 6, Mathematical Association of America, 2016, pp. 609–12, doi:10.4169/amer.math.monthly.123.6.609.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1205 | OA
Jiang, Yu, et al. Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller. Vol. 9995, Springer, 2016, pp. 757–63, doi: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, vol. 17, no. 22, Wiley-Blackwell, 2016, pp. 3649–54, doi:10.1002/cphc.201601042.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1209 | OA
Letts, James A., et al. “Purification of Ovine Respiratory Complex i Results in a Highly Active and Stable Preparation.” Journal of Biological Chemistry, vol. 291, no. 47, American Society for Biochemistry and Molecular Biology, 2016, pp. 24657–75, doi:10.1074/jbc.M116.735142.
View | DOI | Download Submitted Version (ext.)
 
2016 | Book Chapter | IST-REx-ID: 1210
Zhu, Qiang, et al. “Real Time Analysis of the Apical Hook Development.” Plant Hormones, vol. 1497, Humana Press, 2016, pp. 1–8, doi:10.1007/978-1-4939-6469-7_1.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1212 | OA
Rakusová, Hana, et al. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” Current Biology, vol. 26, no. 22, Cell Press, 2016, pp. 3026–32, doi:10.1016/j.cub.2016.08.067.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1214
Martius, Georg S., et al. Compliant Control for Soft Robots: Emergent Behavior of a Tendon Driven Anthropomorphic Arm. Vol. 2016–November, 7759138, IEEE, 2016, doi:10.1109/IROS.2016.7759138.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1216 | OA
Kasten, Jens, et al. “Acceleration Feature Points of Unsteady Shear Flows.” Archives of Mechanics, vol. 68, no. 1, Polish Academy of Sciences Publishing House, 2016, pp. 55–80.
View | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1217
Sreeramkumar, Vinatha, et al. “Efficient T-Cell Priming and Activation Requires Signaling through Prostaglandin E2 (EP) Receptors.” Immunology and Cell Biology, vol. 94, no. 1, Nature Publishing Group, 2016, pp. 39–51, doi:10.1038/icb.2015.62.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1218 | OA
Angermayr, Andreas, et al. “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, vol. 82, no. 14, American Society for Microbiology, 2016, pp. 4180–89, doi:10.1128/AEM.00256-16.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1219 | OA
Lee, Jioon, et al. “Bulk Universality for Deformed Wigner Matrices.” Annals of Probability, vol. 44, no. 3, Institute of Mathematical Statistics, 2016, pp. 2349–425, doi:10.1214/15-AOP1023.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1220 | OA
Mikić, Gregor, et al. Fuselage Boundary Layer Ingestion Propulsion Applied to a Thin Haul Commuter Aircraft for Optimal Efficiency. AIAA, 2016, pp. 1–19, doi:10.2514/6.2016-3764.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1221 | OA
Michalko, Jaroslav, et al. “Strong Morphological Defects in Conditional Arabidopsis Abp1 Knock-down Mutants Generated in Absence of Functional ABP1 Protein.” F1000 Research , vol. 5, 86, F1000 Research, 2016, doi: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, vol. 55, no. 1, Springer, 2016, pp. 1–20, doi:10.1007/s00454-015-9742-6.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1223 | OA
Froese, Richard, et al. “Localization for Transversally Periodic Random Potentials on Binary Trees.” Journal of Spectral Theory, vol. 6, no. 3, European Mathematical Society, 2016, pp. 557–600, doi:10.4171/JST/132.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1224
Teitel, Zachary, et al. “The Dynamics of Resource Allocation and Costs of Reproduction in a Sexually Dimorphic, Wind-Pollinated Dioecious Plant.” Plant Biology, vol. 18, no. 1, Wiley-Blackwell, 2016, pp. 98–103, doi:10.1111/plb.12336.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1225 | OA
Fuchsbauer, Georg, et al. Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions. Vol. 9841, Springer, 2016, pp. 391–408, doi: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, et al. “Atomic Structure of the Entire Mammalian Mitochondrial Complex I.” Nature, vol. 538, no. 7625, Nature Publishing Group, 2016, pp. 406–10, doi:10.1038/nature19794.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 1227 | OA
Kong, Hui, et al. Discrete Abstraction of Multiaffine Systems. Vol. 9957, Springer, 2016, pp. 128–44, doi:10.1007/978-3-319-47151-8_9.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah, Hamza M., et al. Offline Witness Encryption. Vol. 9696, Springer, 2016, pp. 285–303, doi:10.1007/978-3-319-39555-5_16.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1230 | OA
Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1231 | OA
Alwen, Joel F., et al. On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model. Vol. 9666, Springer, 2016, pp. 358–87, doi:10.1007/978-3-662-49896-5_13.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1232
Letts, James A., et al. “The Architecture of Respiratory Supercomplexes.” Nature, vol. 537, no. 7622, Nature Publishing Group, 2016, pp. 644–48, doi:10.1038/nature19774.
View | DOI
 

Search

Filter Publications