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.
4179 Publications
2017 | Journal Article | IST-REx-ID: 561 | 
Pleska, Maros, and Calin C. Guet. “Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.” Biology Letters, vol. 13, no. 12, 20170646, The Royal Society, 2017, doi:10.1098/rsbl.2017.0646.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Research Data Reference | IST-REx-ID: 9847 |
Pleska, Maros, and Calin C. Guet. Supplementary Materials and Methods; Full Data Set from Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification. The Royal Society, 2017, doi:10.6084/m9.figshare.5633917.v1.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9845
Nikolic, Nela, et al. Mathematical Model. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s017.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9849
Lukacisinova, Marta, et al. Modelling and Simulation Details. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s001.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9850
Lukacisinova, Marta, et al. Extensions of the Model. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s002.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9846
Nikolic, Nela, et al. Supplementary Methods. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s016.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 914 |
Giehr, Julia, et al. “Ant Queens Increase Their Reproductive Efforts after Pathogen Infection.” Royal Society Open Science, vol. 4, no. 7, 170547, Royal Society, The, 2017, doi:10.1098/rsos.170547.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 680 |
Chalk, Matthew J., et al. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.” PLoS Computational Biology, vol. 13, no. 6, e1005582, Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005582.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9853 |
Giehr, Julia, et al. Raw Data from Ant Queens Increase Their Reproductive Efforts after Pathogen Infection. The Royal Society, 2017, doi:10.6084/m9.figshare.5117788.v1.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9856
Schmidt, Tom, et al. Supporting Information Concerning Additional Likelihood Analyses and Results. Public Library of Science, 2017, doi:10.1371/journal.pbio.2001894.s014.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9851
Lukacisinova, Marta, et al. Heuristic Prediction for Multiple Stresses. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s003.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9852
Lukacisinova, Marta, et al. Resistance Frequencies for Different Combination Strategies. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s004.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9855
Chalk, Matthew J., et al. Supplementary Appendix. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005582.s001.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1077 |
Fernandes Redondo, Rodrigo A., et al. “Evolutionary Interplay between Structure, Energy and Epistasis in the Coat Protein of the ΦX174 Phage Family.” Journal of the Royal Society Interface, vol. 14, no. 126, 20160139, Royal Society of London, 2017, doi:10.1098/rsif.2016.0139.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 989
Maas, Jan, et al. Transport Based Image Morphing with Intensity Modulation. Edited by François Lauze et al., vol. 10302, Springer, 2017, pp. 563–77, doi:10.1007/978-3-319-58771-4_45.
View
| DOI
2017 | Journal Article | IST-REx-ID: 990 |
Sachdeva, Himani, and Nicholas H. Barton. “Divergence and Evolution of Assortative Mating in a Polygenic Trait Model of Speciation with Gene Flow.” Evolution; International Journal of Organic Evolution, vol. 71, no. 6, Wiley-Blackwell, 2017, pp. 1478–93, doi:10.1111/evo.13252.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 991
Chen, Chong, and Peter M. Jonas. “Synaptotagmins: That’s Why so Many.” Neuron, vol. 94, no. 4, Elsevier, 2017, pp. 694–96, doi:10.1016/j.neuron.2017.05.011.
View
| DOI
2017 | Thesis | IST-REx-ID: 992 |
Rolinek, Michal. Complexity of Constraint Satisfaction. IST Austria, 2017, doi:10.15479/AT:ISTA:th_815.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 993 |
Levina (Martius), Anna, and Viola Priesemann. “Subsampling Scaling.” Nature Communications, vol. 8, 15140, Nature Publishing Group, 2017, doi:10.1038/ncomms15140.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 995 |
Bighin, Giacomo, and Mikhail Lemeshko. “Diagrammatic Approach to Orbital Quantum Impurities Interacting with a Many-Particle Environment.” Physical Review B - Condensed Matter and Materials Physics, vol. 96, no. 8, 085410, American Physical Society, 2017, doi:10.1103/PhysRevB.96.085410.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 996 |
Shepperson, Benjamin, et al. “Strongly Aligned Molecules inside Helium Droplets in the Near-Adiabatic Regime.” The Journal of Chemical Physics, vol. 147, no. 1, 013946, AIP, 2017, doi:10.1063/1.4983703.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 909 |
Akopyan, Arseniy, and Vladislav Vysotsky. “On the Lengths of Curves Passing through Boundary Points of a Planar Convex Shape.” The American Mathematical Monthly, vol. 124, no. 7, Mathematical Association of America, 2017, pp. 588–96, doi:10.4169/amer.math.monthly.124.7.588.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 911 |
Royer, Amélie, et al. Probabilistic Image Colorization. BMVA Press, 2017, p. 85.1-85.12, doi:10.5244/c.31.85.
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 915 |
Swoboda, Paul, and Bjoern Andres. A Message Passing Algorithm for the Minimum Cost Multicut Problem. Vol. 2017, IEEE, 2017, pp. 4990–99, doi:10.1109/CVPR.2017.530.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 917 |
Swoboda, Paul, et al. A Dual Ascent Framework for Lagrangean Decomposition of Combinatorial Problems. Vol. 2017, IEEE, 2017, pp. 4950–60, doi:10.1109/CVPR.2017.526.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 938 |
Adamowski, Maciek. Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana . IST Austria, 2017, doi:10.15479/AT:ISTA:th_842.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 939 |
Midya, Bikashkali, and Vladimir Konotop. “Waveguides with Absorbing Boundaries: Nonlinearity Controlled by an Exceptional Point and Solitons.” Physical Review Letters, vol. 119, no. 3, 033905, American Physical Society, 2017, doi:10.1103/PhysRevLett.119.033905.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 941
Le, Xuan, et al. “JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder.” Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–79, doi:10.1145/3092703.3098225.
View
| DOI
2017 | Journal Article | IST-REx-ID: 943 |
Zagórski, Marcin P., et al. “Decoding of Position in the Developing Neural Tube from Antiparallel Morphogen Gradients.” Science, vol. 356, no. 6345, American Association for the Advancement of Science, 2017, pp. 1379–83, doi:10.1126/science.aam5887.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 947 |
De Martino, Daniele, et al. “Quantifying the Entropic Cost of Cellular Growth Control.” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 96, no. 1, 010401, American Institute of Physics, 2017, doi:10.1103/PhysRevE.96.010401.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 950 |
Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.21.
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 9506 |
Zilberman, Daniel. “An Evolutionary Case for Functional Gene Body Methylation in Plants and Animals.” Genome Biology, vol. 18, no. 1, 87, Springer Nature, 2017, doi:10.1186/s13059-017-1230-2.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 953 |
Charlesworth, Deborah, et al. “The Sources of Adaptive Evolution.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 284, no. 1855, 20162864, Royal Society, The, 2017, doi:10.1098/rspb.2016.2864.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 955 |
Friedlander, Tamar, et al. “Evolution of New Regulatory Functions on Biophysically Realistic Fitness Landscapes.” Nature Communications, vol. 8, no. 1, 216, Nature Publishing Group, 2017, doi:10.1038/s41467-017-00238-8.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 956 |
Carlen, Eric, and Jan Maas. “Gradient Flow and Entropy Inequalities for Quantum Markov Semigroups with Detailed Balance.” Journal of Functional Analysis, vol. 273, no. 5, Academic Press, 2017, pp. 1810–69, doi:10.1016/j.jfa.2017.05.003.
View
| DOI
| Download Submitted Version (ext.)
2017 | Book Chapter | IST-REx-ID: 958
Mitchell, Joshua, et al. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.” Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 89–99, doi:10.1007/978-1-4939-6940-1_6.
View
| DOI
2017 | Conference Paper | IST-REx-ID: 962
Trinh, Minh, et al. Model Counting for Recursively-Defined Strings. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 399–418, doi:10.1007/978-3-319-63390-9_21.
View
| DOI
2017 | Research Data Reference | IST-REx-ID: 9707 |
Riccio, Paul, et al. Data from: Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis. Dryad, 2017, doi:10.5061/dryad.pk16b.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9842 |
Etheridge, Alison, and Nicholas H. Barton. Data for: Establishment in a New Habitat by Polygenic Adaptation. Mendeley Data, 2017, doi:10.17632/nw68fxzjpm.1.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic, Nela, et al. Source Data for Figures and Tables. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s018.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 951 |
Schmidt, Tom, et al. “Local Introduction and Heterogeneous Spatial Spread of Dengue-Suppressing Wolbachia through an Urban Population of Aedes Aegypti.” PLoS Biology, vol. 15, no. 5, e2001894, Public Library of Science, 2017, doi:10.1371/journal.pbio.2001894.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1006 |
Greenwood, Jenny, et al. “Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae.” BMC Genomics, vol. 18, no. 1, BioMed Central, 2017, p. 329, doi:10.1186/s12864-017-3705-7.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1019
Argyridou, Eliza, et al. “X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster.” Heredity, vol. 119, no. 1, Nature Publishing Group, 2017, pp. 27–34, doi:10.1038/hdy.2017.12.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9861 |
Argyridou, Eliza, et al. Data from: X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster. Dryad, 2017, doi:10.5061/dryad.02f6r.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9859 |
Greenwood, Jenny, et al. Additional File 1: Table S1. of Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae. Springer Nature, 2017, doi:10.6084/m9.figshare.c.3756974_d1.v1.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9860 |
Greenwood, Jenny, et al. Additional File 5: Table S3. of Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae. Springer Nature, 2017, doi:10.6084/m9.figshare.c.3756974_d5.v1.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9858
Schmidt, Tom, et al. Excel File with Data on Mosquito Densities, Wolbachia Infection Status and Housing Characteristics. Public Library of Science, 2017, doi:10.1371/journal.pbio.2001894.s016.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9857
Schmidt, Tom, et al. Supporting Information Concerning Observed WMel Frequencies and Analyses of Habitat Variables. Public Library of Science , 2017, doi:10.1371/journal.pbio.2001894.s015.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 988 |
Nanda, Gaurav, et al. “Current-Phase Relation of Ballistic Graphene Josephson Junctions.” Nano Letters, vol. 17, no. 6, American Chemical Society, 2017, pp. 3396–401, doi:10.1021/acs.nanolett.7b00097.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 994 |
Cherepanov, Igor, and Mikhail Lemeshko. “Fingerprints of Angulon Instabilities in the Spectra of Matrix-Isolated Molecules.” Physical Review Materials, vol. 1, no. 3, American Physical Society, 2017, doi:10.1103/PhysRevMaterials.1.035602.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 997 |
Yakaboylu, Enderalp, et al. “Emergence of Non-Abelian Magnetic Monopoles in a Quantum Impurity Problem.” APS Physics, Physical Review Letters, vol. 119, no. 23, 235301, American Physiological Society, 2017, doi:10.1103/PhysRevLett.119.235301.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 998 |
Rebuffi, Sylvestre Alvise, et al. ICaRL: Incremental Classifier and Representation Learning. Vol. 2017, IEEE, 2017, pp. 5533–42, doi:10.1109/CVPR.2017.587.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 999 |
Pentina, Anastasia, and Christoph Lampert. Multi-Task Learning with Labeled and Unlabeled Tasks. Vol. 70, Omnipress, 2017, pp. 2807–16.
View
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1029 |
Lukacisin, Martin, et al. “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” PLoS One, vol. 12, no. 3, e0174066, Public Library of Science, 2017, doi:10.1371/journal.pone.0174066.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 682 |
Ukai, Hikari, et al. “PirB Regulates Asymmetries in Hippocampal Circuitry.” PLoS One, vol. 12, no. 6, e0179377, Public Library of Science, 2017, doi:10.1371/journal.pone.0179377.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 664
Assen, Frank P., and Michael K. Sixt. “The Dynamic Cytokine Niche.” Immunity, vol. 46, no. 4, Cell Press, 2017, pp. 519–20, doi:10.1016/j.immuni.2017.04.006.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 696 |
Lukacisinova, Marta, et al. “Stress Induced Mutagenesis: Stress Diversity Facilitates the Persistence of Mutator Genes.” PLoS Computational Biology, vol. 13, no. 7, e1005609, Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1027 |
Lukacisinova, Marta, and Mark Tobias Bollenbach. “Toward a Quantitative Understanding of Antibiotic Resistance Evolution.” Current Opinion in Biotechnology, vol. 46, Elsevier, 2017, pp. 90–97, doi:10.1016/j.copbio.2017.02.013.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1024 |
Hurny, Andrej, and Eva Benková. “Methodological Advances in Auxin and Cytokinin Biology.” Auxins and Cytokinins in Plant Biology, vol. 1569, Springer, 2017, pp. 1–29, doi:10.1007/978-1-4939-6831-2_1.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1028 |
Kainrath, Stephanie, et al. “Green-Light-Induced Inactivation of Receptor Signaling Using Cobalamin-Binding Domains.” Angewandte Chemie - International Edition, vol. 56, no. 16, Wiley-Blackwell, 2017, pp. 4608–11, doi:10.1002/anie.201611998.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 676 |
Krens, Gabriel, et al. “Interstitial Fluid Osmolarity Modulates the Action of Differential Tissue Surface Tension in Progenitor Cell Segregation during Gastrulation.” Development, vol. 144, no. 10, Company of Biologists, 2017, pp. 1798–806, doi:10.1242/dev.144964.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 704 |
Steinrück, Magdalena, and Calin C. Guet. “Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.” ELife, vol. 6, e25100, eLife Sciences Publications, 2017, doi:10.7554/eLife.25100.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 661 |
Smutny, Michael, et al. “Friction Forces Position the Neural Anlage.” Nature Cell Biology, vol. 19, Nature Publishing Group, 2017, pp. 306–17, doi:10.1038/ncb3492.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 735
Barone, Vanessa, et al. “An Effective Feedback Loop between Cell-Cell Contact Duration and Morphogen Signaling Determines Cell Fate.” Developmental Cell, vol. 43, no. 2, Cell Press, 2017, pp. 198–211, doi:10.1016/j.devcel.2017.09.014.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 639 |
Chatterjee, Krishnendu, et al. Non-Polynomial Worst Case Analysis of Recursive Programs. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 41–63, doi:10.1007/978-3-319-63390-9_3.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 949 |
Chatterjee, Krishnendu, et al. JTDec: A Tool for Tree Decompositions in Soot. Edited by Deepak D’Souza, vol. 10482, Springer, 2017, pp. 59–66, doi:10.1007/978-3-319-68167-2_4.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 960 |
Hansen, Andi H., et al. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.” Frontiers in Cellular Neuroscience, vol. 11, 176, Frontiers Research Foundation, 2017, doi:10.3389/fncel.2017.00176.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1008
Gnügge, Robert, et al. “An Orthogonal Permease–Inducer–Repressor Feedback Loop Shows Bistability.” ACS Synthetic Biology, vol. 5, no. 10, American Chemical Society, 2016, pp. 1098–107, doi:10.1021/acssynbio.6b00013.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1068 |
Chatterjee, Krishnendu, et al. Conditionally Optimal Algorithms for Generalized Büchi Games. Vol. 58, 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.25.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1069 |
Chonev, Ventsislav K., et al. On the Skolem Problem for Continuous Linear Dynamical Systems. Vol. 55, 100, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.100.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1070 |
Chatterjee, Krishnendu, and Laurent Doyen. Computation Tree Logic for Synchronization Properties. Vol. 55, 98, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.98.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1081 |
Łangowski, Łukasz, et al. “Cellular Mechanisms for Cargo Delivery and Polarity Maintenance at Different Polar Domains in Plant Cells.” Cell Discovery, vol. 2, 16018, Nature Publishing Group, 2016, doi:10.1038/celldisc.2016.18.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 10810 |
Rubel, Paul, et al. “SCP-ECG V3.0: An Enhanced Standard Communication Protocol for Computer-Assisted Electrocardiography.” 2016 Computing in Cardiology Conference, vol. 43, Computing in Cardiology, 2016, pp. 309–12, doi:10.22489/cinc.2016.090-500.
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1082 |
Chalk, Matthew J., et al. Relevant Sparse Codes with Variational Information Bottleneck. Vol. 29, Neural Information Processing Systems, 2016, pp. 1965–73.
View
| Files available
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1083
Booker, Sam, et al. “KCTD12 Auxiliary Proteins Modulate Kinetics of GABAB Receptor-Mediated Inhibition in Cholecystokinin-Containing Interneurons.” Cerebral Cortex, vol. 27, no. 3, Oxford University Press, 2016, pp. 2318–34, doi:10.1093/cercor/bhw090.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1090 |
Chatterjee, Krishnendu, et al. Nested Weighted Limit-Average Automata of Bounded Width. Vol. 58, 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.24.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1095 |
Haas, Andreas, et al. “Local Linearizability for Concurrent Container-Type Data Structures.” Leibniz International Proceedings in Informatics, vol. 59, 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.6.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1097 |
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 |
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 | Book Chapter | IST-REx-ID: 1094
Harada, Harumi, and Ryuichi Shigemoto. “Immunogold Protein Localization on Grid-Glued Freeze-Fracture Replicas.” High-Resolution Imaging of Cellular Proteins, vol. 1474, Springer, 2016, pp. 203–16, doi:10.1007/978-1-4939-6352-2_12.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1099 |
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 | Conference Paper | IST-REx-ID: 1102 |
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 | 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: 1103 |
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 | Conference Paper | IST-REx-ID: 1115 |
Rueda, Alfredo, et al. Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO₃ WGM-Resonator. 7788479, IEEE, 2016, doi:10.1364/CLEO_SI.2016.SF2G.3.
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Thesis | IST-REx-ID: 1121 |
Acar, Hande. Selective Barriers to Horizontal Gene Transfer. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1126 |
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: 1124 |
Morri, Maurizio. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1129 |
Schwarz, Jan. Quantitative Analysis of Haptotactic Cell Migration. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1128 |
Rieckh, Georg. Studying the Complexities of Transcriptional Regulation. IST Austria, 2016.
View
| Files available
2016 | Conference Paper | IST-REx-ID: 1135 |
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: 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: 1136 |
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 |
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 |
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 | Conference Paper | IST-REx-ID: 1140 |
Chatterjee, Krishnendu, et al. “Model and Objective Separation with Conditional Lower Bounds: Disjunction Is Harder than Conjunction.” Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206, doi:10.1145/2933575.2935304.
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1142 |
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: 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: 1143 |
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.)