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.

3014 Publications


2016 | Conference Paper | IST-REx-ID: 1369 | OA
Kolesnikov, Alexander, and Christoph Lampert. Seed, Expand and Constrain: Three Principles for Weakly-Supervised Image Segmentation. Vol. 9908, Springer, 2016, pp. 695–711, doi:10.1007/978-3-319-46493-0_42.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1370 | OA
Barzanjeh, Shabir, and David Vitali. “Phonon Josephson Junction with Nanomechanical Resonators.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3, 033846, American Physical Society, 2016, doi:10.1103/PhysRevA.93.033846.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1372 | OA
Pernisová, Markéta, et al. “Cytokinins Influence Root Gravitropism via Differential Regulation of Auxin Transporter Expression and Localization in Arabidopsis.” New Phytologist, vol. 212, no. 2, Wiley-Blackwell, 2016, pp. 497–509, doi:10.1111/nph.14049.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1373 | OA
Martin, Olivier, and Marcin P. Zagórski. “Network Architectures and Operating Principles. Reply to Comments on "Drivers of Structural Features in Gene Regulatory Networks: From Biophysical Constraints to Biological Function"” Physics of Life Reviews, vol. 17, Elsevier, 2016, pp. 168–71, doi:10.1016/j.plrev.2016.06.006.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1377 | OA
Kolmogorov, Vladimir, et al. “Total Variation on a Tree.” SIAM Journal on Imaging Sciences, vol. 9, no. 2, Society for Industrial and Applied Mathematics , 2016, pp. 605–36, doi:10.1137/15M1010257.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1378 | OA
Dotterrer, Dominic, et al. On Expansion and Topological Overlap. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10, doi:10.4230/LIPIcs.SoCG.2016.35.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
Burton, Benjamin, et al. Finding Non-Orientable Surfaces in 3-Manifolds. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15, doi:10.4230/LIPIcs.SoCG.2016.24.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1380 | OA
Chonev, Ventsislav K., et al. “On the Complexity of the Orbit Problem.” Journal of the ACM, vol. 63, no. 3, 23, ACM, 2016, doi:10.1145/2857050.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1381 | OA
Mabillard, Isaac, and Uli Wagner. Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the r-Metastable Range. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12, doi:10.4230/LIPIcs.SoCG.2016.51.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, Krishnendu, et al. Termination Analysis of Probabilistic Programs through Positivstellensatz’s. Vol. 9779, Springer, 2016, pp. 3–22, doi:10.1007/978-3-319-41528-4_1.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1389 | OA
Chonev, Ventsislav K., et al. “On Recurrent Reachability for Continuous Linear Dynamical Systems.” LICS ’16, IEEE, 2016, pp. 515–24, doi:10.1145/2933575.2934548.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
Daca, Przemyslaw, et al. Array Folds Logic. Vol. 9780, Springer, 2016, pp. 230–48, doi:10.1007/978-3-319-41540-6_13.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1394 | OA
De Martino, Daniele, et al. “Growth against Entropy in Bacterial Metabolism: The Phenotypic Trade-off behind Empirical Growth Rate Distributions in E. Coli.” Physical Biology, vol. 13, no. 3, 036005, IOP Publishing Ltd., 2016, doi:10.1088/1478-3975/13/3/036005.
View | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1398 | OA
Ellis, Thomas. The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone. IST Austria, 2016, doi:10.15479/AT:ISTA:TH_526 .
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1408 | OA
Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups.” Discrete & Computational Geometry, vol. 56, no. 1, Springer, 2016, pp. 126–64, doi:10.1007/s00454-016-9794-2.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1409 | OA
Abbott, Richard, et al. “Genomics of Hybridization and Its Evolutionary Consequences.” Molecular Ecology, vol. 25, no. 11, Wiley-Blackwell, 2016, pp. 2325–32, doi:10.1111/mec.13685.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1410 | OA
Ugalde, José, et al. “Phosphatidylinositol 4-Phosphate 5-Kinases 1 and 2 Are Involved in the Regulation of Vacuole Morphology during Arabidopsis Thaliana Pollen Development.” Plant Science, vol. 250, Elsevier, 2016, pp. 10–19, doi:10.1016/j.plantsci.2016.05.014.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1411 | OA
Matoušek, Jiří, et al. “Untangling Two Systems of Noncrossing Curves.” Israel Journal of Mathematics, vol. 212, no. 1, Springer, 2016, pp. 37–79, doi:10.1007/s11856-016-1294-9.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1412 | OA
Goldade, Ryan, et al. “A Practical Method for High-Resolution Embedded Liquid Surfaces.” Computer Graphics Forum, vol. 35, no. 2, Wiley-Blackwell, 2016, pp. 233–42, doi:10.1111/cgf.12826.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1415 | OA
Ferstl, Florian, et al. “Narrow Band FLIP for Liquid Simulations.” Computer Graphics Forum, vol. 35, no. 2, Wiley-Blackwell, 2016, pp. 225–32, doi:10.1111/cgf.12825.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1416 | OA
Van Loon, Erik, et al. “Interaction-Driven Lifshitz Transition with Dipolar Fermions in Optical Lattices.” Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 19, 195145, American Physical Society, 2016, doi:10.1103/PhysRevB.93.195145.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1417 | OA
Simon, Sibu, et al. “PIN6 Auxin Transporter at Endoplasmic Reticulum and Plasma Membrane Mediates Auxin Homeostasis and Organogenesis in Arabidopsis.” New Phytologist, vol. 211, no. 1, Wiley-Blackwell, 2016, pp. 65–74, doi:10.1111/nph.14019.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1420 | OA
Bod’ová, Katarína, et al. “A General Approximation for the Dynamics of Quantitative Traits.” Genetics, vol. 202, no. 4, Genetics Society of America, 2016, pp. 1523–48, doi:10.1534/genetics.115.184127.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1422 | OA
Frank, Rupert, et al. “Incompatibility of Time-Dependent Bogoliubov–de-Gennes and Ginzburg–Landau Equations.” Letters in Mathematical Physics, vol. 106, no. 7, Springer, 2016, pp. 913–23, doi:10.1007/s11005-016-0847-5.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1423 | OA
Baek, Seung, et al. “Comparing Reactive and Memory-One Strategies of Direct Reciprocity.” Scientific Reports, vol. 6, 25676, Nature Publishing Group, 2016, doi:10.1038/srep25676.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1426 | OA
Chakra, Maria, et al. “Coevolutionary Interactions between Farmers and Mafia Induce Host Acceptance of Avian Brood Parasites.” Royal Society Open Science, vol. 3, no. 5, 160036, Royal Society, The, 2016, doi:10.1098/rsos.160036.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1427 | OA
Lagator, Mato, et al. “Epistatic Interactions in the Arabinose Cis-Regulatory Element.” Molecular Biology and Evolution, vol. 33, no. 3, Oxford University Press, 2016, pp. 761–69, doi:10.1093/molbev/msv269.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1428 | OA
Könenberg, Martin, et al. “Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential.” Journal of Physics: Conference Series, vol. 691, no. 1, 012016, IOP Publishing Ltd., 2016, doi:10.1088/1742-6596/691/1/012016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1429 | OA
Husko, Chad, et al. “Free-Carrier-Induced Soliton Fission Unveiled by in Situ Measurements in Nanophotonic Waveguides.” Nature Communications, vol. 7, 11332 (2016), Nature Publishing Group, 2016, doi:10.1038/ncomms11332.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1431 | OA
Tartally, András, et al. “Host Plant Use Drives Genetic Differentiation in Syntopic Populations of Maculinea Alcon.” PeerJ, vol. 2016, no. 3, 1865, PeerJ, 2016, doi:10.7717/peerj.1865.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1432 | OA
Mishra, Rajiv Kumar, et al. “Symmetric Spike Timing-Dependent Plasticity at CA3–CA3 Synapses Optimizes Storage and Recall in Autoassociative Networks.” Nature Communications, vol. 7, 11552, Nature Publishing Group, 2016, doi:10.1038/ncomms11552.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1434 | OA
Bao, Zhigang, et al. “Local Stability of the Free Additive Convolution.” Journal of Functional Analysis, vol. 271, no. 3, Academic Press, 2016, pp. 672–719, doi:10.1016/j.jfa.2016.04.006.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1435 | OA
Guzmán, José, and Zoltan Gerevich. “P2Y Receptors in Synaptic Transmission and Plasticity: Therapeutic Potential in Cognitive Dysfunction.” Neural Plasticity, vol. 2016, 1207393, Hindawi Publishing Corporation, 2016, doi:10.1155/2016/1207393.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1436 | OA
Bach, Volker, et al. “Kinetic Energy Estimates for the Accuracy of the Time-Dependent Hartree-Fock Approximation with Coulomb Interaction.” Journal de Mathématiques Pures et Appliquées, vol. 105, no. 1, Elsevier, 2016, pp. 1–30, doi:10.1016/j.matpur.2015.09.003.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Vol. 20–22, ACM, 2016, pp. 733–47, doi:10.1145/2837614.2837624.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee, Krishnendu, et al. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. Vol. 20–22, ACM, 2016, pp. 327–42, doi:10.1145/2837614.2837639.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1439 | OA
Dragoi, Cezara, et al. PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms. Vol. 20–22, ACM, 2016, pp. 400–15, doi:10.1145/2837614.2837650.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
Gschaider-Reichhart, Eva, et al. “A Phytochrome Sensory Domain Permits Receptor Activation by Red Light.” Angewandte Chemie - International Edition, vol. 55, no. 21, Wiley, 2016, pp. 6339–42, doi:10.1002/anie.201601736.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1446 | OA
Calatrava Moreno, Maria, et al. “On the Uncertainty of Interdisciplinarity Measurements Due to Incomplete Bibliographic Data.” Scientometrics, vol. 107, no. 1, Springer, 2016, pp. 213–32, doi:10.1007/s11192-016-1842-4.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
Fathi, Max, and Jan Maas. “Entropic Ricci Curvature Bounds for Discrete Interacting Systems.” The Annals of Applied Probability, vol. 26, no. 3, Institute of Mathematical Statistics, 2016, pp. 1774–806, doi:10.1214/15-AAP1133.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1475 | OA
Toshima, Junko, et al. “Yeast Eps15-like Endocytic Protein Pan1p Regulates the Interaction between Endocytic Vesicles, Endosomes and the Actin Cytoskeleton.” ELife, vol. 5, no. February 2016, e10276, eLife Sciences Publications, 2016, doi:10.7554/eLife.10276.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1476 | OA
Toshima, Junko, et al. “Srv2/CAP Is Required for Polarized Actin Cable Assembly and Patch Internalization during Clathrin-Mediated Endocytosis.” Journal of Cell Science, vol. 129, no. 2, Company of Biologists, 2016, pp. 367–79, doi:10.1242/jcs.176651.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee, Krishnendu, et al. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 878–911, doi:10.1016/j.jcss.2016.02.009.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
Seiringer, Robert, and Simone Warzel. “Decay of Correlations and Absence of Superfluidity in the Disordered Tonks-Girardeau Gas.” New Journal of Physics, vol. 18, no. 3, 035002, IOP Publishing Ltd., 2016, doi:10.1088/1367-2630/18/3/035002.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn, Stephan, et al. “A Counterexample to the Chain Rule for Conditional HILL Entropy.” Computational Complexity, vol. 25, no. 3, Springer, 2016, pp. 567–605, doi:10.1007/s00037-015-0120-9.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
Michałek, Mateusz, et al. “Exponential Varieties.” Proceedings of the London Mathematical Society, vol. 112, no. 1, Oxford University Press, 2016, pp. 27–56, doi:10.1112/plms/pdv066.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1482 | OA
Adibi, Milad, et al. “Centering the Organizing Center in the Arabidopsis Thaliana Shoot Apical Meristem by a Combination of Cytokinin Signaling and Self-Organization.” PLoS One, vol. 11, no. 2, e0147830, Public Library of Science, 2016, doi:10.1371/journal.pone.0147830.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1484 | OA
Chen, Xu, et al. “Environmental and Endogenous Control of Cortical Microtubule Orientation.” Trends in Cell Biology, vol. 26, no. 6, Cell Press, 2016, pp. 409–19, doi:10.1016/j.tcb.2016.02.003.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1485 | OA
De Martino, Daniele. “Genome-Scale Estimate of the Metabolic Turnover of E. Coli from the Energy Balance Analysis.” Physical Biology, vol. 13, no. 1, 016003, IOP Publishing Ltd., 2016, doi:10.1088/1478-3975/13/1/016003.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1486 | OA
Hainzl, Christian, and Robert Seiringer. “The Bardeen–Cooper–Schrieffer Functional of Superconductivity and Its Mathematical Properties.” Journal of Mathematical Physics, vol. 57, no. 2, 021101, American Institute of Physics, 2016, doi:10.1063/1.4941723.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1487 | OA
Grion, Natalia, et al. “Coherence between Rat Sensorimotor System and Hippocampus Is Enhanced during Tactile Discrimination.” PLoS Biology, vol. 14, no. 2, e1002384, Public Library of Science, 2016, doi:10.1371/journal.pbio.1002384.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
Riccio, Paul, et al. “Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.” PLoS Biology, vol. 14, no. 2, e1002382, Public Library of Science, 2016, doi:10.1371/journal.pbio.1002382.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489 | OA
Ajanki, Oskari H., et al. “Local Spectral Statistics of Gaussian Matrices with Correlated Entries.” Journal of Statistical Physics, vol. 163, no. 2, Springer, 2016, pp. 280–302, doi:10.1007/s10955-016-1479-y.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1490 | OA
Russo, Erica, et al. “Intralymphatic CCL21 Promotes Tissue Egress of Dendritic Cells through Afferent Lymphatic Vessels.” Cell Reports, vol. 14, no. 7, Cell Press, 2016, pp. 1723–34, doi:10.1016/j.celrep.2016.01.048.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1491 | OA
Lewin, Mathieu, et al. “The Mean-Field Approximation and the Non-Linear Schrödinger Functional for Trapped Bose Gases.” Transactions of the American Mathematical Society, vol. 368, no. 9, American Mathematical Society, 2016, pp. 6131–57, doi:10.1090/tran/6537.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1492 | OA
Marhavý, Peter, et al. “Targeted Cell Elimination Reveals an Auxin-Guided Biphasic Mode of Lateral Root Initiation.” Genes and Development, vol. 30, no. 4, Cold Spring Harbor Laboratory Press, 2016, pp. 471–83, doi:10.1101/gad.276964.115.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1493 | OA
Petrat, Sören P., and Peter Pickl. “A New Method and a New Scaling for Deriving Fermionic Mean-Field Dynamics.” Mathematical Physics, Analysis and Geometry, vol. 19, no. 1, 3, Springer, 2016, doi:10.1007/s11040-016-9204-2.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1496 | OA
Amaro, Pedro, et al. “Relativistic Evaluation of the Two-Photon Decay of the Metastable 1s22s2p3P0 State in Berylliumlike Ions with an Effective-Potential Model.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3, 032502, American Physical Society, 2016, doi:10.1103/PhysRevA.93.032502.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1518 | OA
Lohse, Konrad, et al. “Efficient Strategies for Calculating Blockwise Likelihoods under the Coalescent.” Genetics, vol. 202, no. 2, Genetics Society of America, 2016, pp. 775–86, doi:10.1534/genetics.115.183814.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov, Serhii. “The Classification of Certain Linked 3-Manifolds in 6-Space.” Moscow Mathematical Journal, vol. 16, no. 1, Independent University of Moscow, 2016, pp. 1–25.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1523 | OA
Gundert, Anna, and Uli Wagner. “On Topological Minors in Random Simplicial Complexes.” Proceedings of the American Mathematical Society, vol. 144, no. 4, American Mathematical Society, 2016, pp. 1815–28, doi:10.1090/proc/12824.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1524 | OA
Beica, Andreea, et al. Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. Vol. 9271, Springer, 2016, pp. 173–91, doi:10.1007/978-3-319-26916-0_10.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger, Thomas A., et al. Lipschitz Robustness of Timed I/O Systems. Vol. 9583, Springer, 2016, pp. 250–67, doi:10.1007/978-3-662-49122-5_12.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 26–48, doi:10.1016/j.artint.2016.01.007.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 100 | OA
Aasen, David, et al. “Milestones toward Majorana-Based Quantum Computing.” Physical Review X, vol. 6, no. 3, 031016, American Physical Society, 2016, doi:10.1103/PhysRevX.6.031016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 101 | OA
Albrecht, S. M., et al. “Exponential Protection of Zero Modes in Majorana Islands.” Nature, vol. 531, no. 7593, Nature Publishing Group, 2016, pp. 206–09, doi:10.1038/nature17162.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 102 | OA
Mishmash, Ryan, et al. “Approaching a Topological Phase Transition in Majorana Nanowires.” Physical Review B, vol. 93, no. 24, 245404, American Physical Society, 2016, doi:10.1103/PhysRevB.93.245404.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
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 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee, Krishnendu, et al. Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs. Vol. 57, 28, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ESA.2016.28.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Ł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: 1082 | OA
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 | Conference Paper | IST-REx-ID: 1090 | OA
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: 1093 | OA
Daca, Przemyslaw, et al. Linear Distances between Markov Chains. Vol. 59, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.20.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
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 | 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: 1100 | OA
Sako, Keisuke, et al. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.” Cell Reports, vol. 16, no. 3, Cell Press, 2016, pp. 866–77, doi:10.1016/j.celrep.2016.06.036.
View | Files available | 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: 1115 | OA
Rueda, Alfredo, et al. Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO Inf 3 Inf 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: 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: 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 | 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 | Journal Article | IST-REx-ID: 1137 | OA
Salzer, Elisabeth, et al. “RASGRP1 Deficiency Causes Immunodeficiency with Impaired Cytoskeletal Dynamics.” Nature Immunology, vol. 17, no. 12, Nature Publishing Group, 2016, pp. 1352–60, doi:10.1038/ni.3575.
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 | Conference Paper | IST-REx-ID: 1140 | OA
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.)
 

2016 | Journal Article | IST-REx-ID: 1142 | OA
Martins, Rui, et al. “Heme Drives Hemolysis-Induced Susceptibility to Infection via Disruption of Phagocyte Functions.” Nature Immunology, vol. 17, no. 12, Nature Publishing Group, 2016, pp. 1361–72, doi:10.1038/ni.3590.
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: 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.)
 

Filters and Search Terms

oa=1

Search

Filter Publications