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.




3854 Publications

2016 | Journal Article | IST-REx-ID: 1612 | OA
Kazda, A. (2016). CSP for binary conservative relational structures. Algebra Universalis. Springer. https://doi.org/10.1007/s00012-015-0358-8
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski, J., Gan, J., Jonas, P. M., & Pernia-Andrade, A. (2016). Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. John Wiley and Sons Inc. https://doi.org/10.1002/hipo.22550
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1617 | OA
Pausinger, F., & Steinerberger, S. (2016). On the discrepancy of jittered sampling. Journal of Complexity. Academic Press. https://doi.org/10.1016/j.jco.2015.11.003
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1620 | OA
Frank, R., Hainzl, C., Seiringer, R., & Solovej, J. (2016). The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-015-2526-2
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1622 | OA
Lundholm, D., Nam, P., & Portmann, F. (2016). Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-015-0923-5
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1631 | OA
Kelleher, J., Etheridge, A., Véber, A., & Barton, N. H. (2016). Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/j.tpb.2015.10.008
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1641 | OA
Zemová, R., Zwiewka, M., Bielach, A., Robert, H., & Friml, J. (2016). A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. Springer. https://doi.org/10.1007/s00344-015-9553-2
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto, T., Pietrzak, K. Z., Waters, B., & Wichs, D. (2016). New realizations of somewhere statistically binding hashing and positional accumulators (Vol. 9452, pp. 121–145). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer. https://doi.org/10.1007/978-3-662-48797-6_6
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1662 | OA
Edelsbrunner, H., & Pausinger, F. (2016). Approximation and convergence of the intrinsic volume. Advances in Mathematics. Academic Press. https://doi.org/10.1016/j.aim.2015.10.004
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T., Ladan, H., … Wehrle, M. (2016). Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-015-0393-y
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1707
Pielorz, J., & Lampert, C. (2016). Optimal geospatial allocation of volunteers for crisis management. Presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France: IEEE. https://doi.org/10.1109/ICT-DM.2015.7402041
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1794 | OA
Kolmogorov, V., & Takhanov, R. (2016). Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. Springer. https://doi.org/10.1007/s00453-015-0017-7
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1833 | OA
Klimova, A., & Rudas, T. (2016). On the closure of relational models. Journal of Multivariate Analysis. Elsevier. https://doi.org/10.1016/j.jmva.2015.10.005
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee, J., & Schnelli, K. (2016). Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-014-0610-8
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1177 | OA
Kamath Hosdurg, C., & Chatterjee, S. (2016). A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. Algorithmica. Springer. https://doi.org/10.1007/s00453-015-9997-6
View | DOI | Download Submitted Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1179 | OA
Pietrzak, K. Z., & Maciej, S. (2016). Pseudoentropy: Lower-bounds for chain rules and transformations (Vol. 9985, pp. 183–203). Presented at the TCC: Theory of Cryptography Conference, Beijing, China: Springer. https://doi.org/10.1007/978-3-662-53641-4_8
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1181
Dwyer, N., Chen, B., Chou, S., Hippenmeyer, S., Nguyen, L., & Ghashghaei, T. (2016). Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.2359-16.2016
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1182 | OA
Chatterjee, K., Ibsen-Jensen, R., & Tkadlec, J. (2016). Robust draws in balanced knockout tournaments (Vol. 2016–January, pp. 172–179). Presented at the IJCAI: International Joint Conference on Artificial Intelligence, New York, NY, USA: AAAI Press.
View | Files available | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1184 | OA
Metzler, S., Heinze, J., & Schrempf, A. (2016). Mating and longevity in ant males. Ecology and Evolution. Wiley-Blackwell. https://doi.org/10.1002/ece3.2474
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1185
Cucinotta, M., Manrique, S., Guazzotti, A., Quadrelli, N., Mendes, M., Benková, E., & Colombo, L. (2016). Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development. Development. Company of Biologists. https://doi.org/10.1242/dev.143545
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1186 | OA
Gutierrez-Fernandez, J., Saleh, M., Alcorlo, M., Gómez Mejóa, A., Pantoja Uceda, D., Treviño, M., … Hermoso, J. (2016). Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep38094
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1188 | OA
De Martino, D., & Masoero, D. (2016). Asymptotic analysis of noisy fitness maximization, applied to metabolism & growth. Journal of Statistical Mechanics: Theory and Experiment. IOPscience. https://doi.org/10.1088/1742-5468/aa4e8f
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov, V. (2016). Commutativity in the algorithmic Lovasz local lemma. In Proceedings - Annual IEEE Symposium on Foundations of Computer Science (Vol. 2016–December). New Brunswick, NJ, USA : IEEE. 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, S., Barton, N. H., & Schlötterer, C. (2016). Reconstruction of haplotype-blocks selected during experimental evolution. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msw210
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1197 | OA
Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkačik, G., & Berry, M. (2016). Error-robust modes of the retinal population code. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005148
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1200 | OA
Hilbe, C., & Traulsen, A. (2016). 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. https://doi.org/10.1016/j.plrev.2016.10.004
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1201
Renkawitz, J., & Sixt, M. K. (2016). Formin’ a nuclear protection. Cell. Cell Press. https://doi.org/10.1016/j.cell.2016.11.024
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1202 | OA
Milutinovic, B., Peuß, R., Ferro, K., & Kurtz, J. (2016). Immune priming in arthropods: an update focusing on the red flour beetle. Zoology . Elsevier. https://doi.org/10.1016/j.zool.2016.03.006
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1203 | OA
Hu, F., Rishishwar, L., Sivadas, A., Mitchell, G., King, J., Murphy, T., … Wang, X. (2016). 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. https://doi.org/10.1128/JCM.01511-16
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1204 | OA
Amir, A., Lemeshko, M., & Tokieda, T. (2016). Surprises in numerical expressions of physical constants. American Mathematical Monthly. Mathematical Association of America. 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, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J., & Sha, L. (2016). Safety assured formal model driven design of the multifunction vehicle bus controller (Vol. 9995, pp. 757–763). Presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus: Springer. https://doi.org/10.1007/978-3-319-48989-6_47
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1206 | OA
Redchenko, E., & Lemeshko, M. (2016). Libration of strongly oriented polar molecules inside a superfluid. ChemPhysChem. Wiley-Blackwell. https://doi.org/10.1002/cphc.201601042
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1209 | OA
Letts, J. A., Degliesposti, G., Fiedorczuk, K., Skehel, M., & Sazanov, L. A. (2016). 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. https://doi.org/10.1074/jbc.M116.735142
View | DOI | Download Submitted Version (ext.)
 
2016 | Book Chapter | IST-REx-ID: 1210
Zhu, Q., Žádníková, P., Smet, D., Van Der Straeten, D., & Benková, E. (2016). Real time analysis of the apical hook development. In Plant Hormones (Vol. 1497, pp. 1–8). Humana Press. https://doi.org/10.1007/978-1-4939-6469-7_1
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1212 | OA
Rakusová, H., Abbas, M., Han, H., Song, S., Robert, H., & Friml, J. (2016). Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2016.08.067
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1214
Martius, G. S., Hostettler, R., Knoll, A., & Der, R. (2016). Compliant control for soft robots: Emergent behavior of a tendon driven anthropomorphic arm (Vol. 2016–November). Presented at the IEEE RSJ International Conference on Intelligent Robots and Systems IROS , Daejeon, Korea: IEEE. https://doi.org/10.1109/IROS.2016.7759138
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1216 | OA
Kasten, J., Reininghaus, J., Hotz, I., Hege, H., Noack, B., Daviller, G., & Morzyński, M. (2016). Acceleration feature points of unsteady shear flows. Archives of Mechanics. Polish Academy of Sciences Publishing House.
View | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1217
Sreeramkumar, V., Hons, M., Punzón, C., Stein, J., Sancho, D., Fresno Forcelledo, M., & Cuesta, N. (2016). Efficient T-cell priming and activation requires signaling through prostaglandin E2 (EP) receptors. Immunology and Cell Biology. Nature Publishing Group. https://doi.org/10.1038/icb.2015.62
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1218 | OA
Angermayr, A., Van Alphen, P., Hasdemir, D., Kramer, G., Iqbal, M., Van Grondelle, W., … Hellingwerf, K. (2016). 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. https://doi.org/10.1128/AEM.00256-16
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1219 | OA
Lee, J., Schnelli, K., Stetler, B., & Yau, H. (2016). Bulk universality for deformed wigner matrices. Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/15-AOP1023
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1220 | OA
Mikić, G., Stoll, A., Bevirt, J., Grah, R., & Moore, M. (2016). Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency (pp. 1–19). Presented at the AIAA: Aviation Technology, Integration, and Operations Conference, Washington, D.C., USA: AIAA. https://doi.org/10.2514/6.2016-3764
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1221 | OA
Michalko, J., Glanc, M., Perrot Rechenmann, C., & Friml, J. (2016). Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein. F1000 Research . F1000 Research. https://doi.org/10.12688/f1000research.7654.1
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1222 | OA
Musin, O., & Nikitenko, A. (2016). Optimal packings of congruent circles on a square flat torus. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-015-9742-6
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1223 | OA
Froese, R., Lee, D., Sadel, C., Spitzer, W., & Stolz, G. (2016). Localization for transversally periodic random potentials on binary trees. Journal of Spectral Theory. European Mathematical Society. https://doi.org/10.4171/JST/132
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1224
Teitel, Z., Pickup, M., Field, D., & Barrett, S. (2016). The dynamics of resource allocation and costs of reproduction in a sexually dimorphic, wind-pollinated dioecious plant. Plant Biology. Wiley-Blackwell. https://doi.org/10.1111/plb.12336
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1225 | OA
Fuchsbauer, G., Hanser, C., Kamath Hosdurg, C., & Slamanig, D. (2016). Practical round-optimal blind signatures in the standard model from weaker assumptions (Vol. 9841, pp. 391–408). Presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy: Springer. 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, K., Letts, J. A., Degliesposti, G., Kaszuba, K., Skehel, M., & Sazanov, L. A. (2016). Atomic structure of the entire mammalian mitochondrial complex i. Nature. Nature Publishing Group. https://doi.org/10.1038/nature19794
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 1227 | OA
Kong, H., Bartocci, E., Bogomolov, S., Grosu, R., Henzinger, T. A., Jiang, Y., & Schilling, C. (2016). Discrete abstraction of multiaffine systems (Vol. 9957, pp. 128–144). Presented at the HSB: Hybrid Systems Biology, Grenoble, France: Springer. https://doi.org/10.1007/978-3-319-47151-8_9
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah, H. M., Fuchsbauer, G., & Pietrzak, K. Z. (2016). Offline witness encryption (Vol. 9696, pp. 285–303). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer. https://doi.org/10.1007/978-3-319-39555-5_16
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1230 | OA
Daca, P., Gupta, A., & Henzinger, T. A. (2016). Abstraction-driven concolic testing (Vol. 9583, pp. 328–347). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_16
View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications