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.

3241 Publications


2017 | Journal Article | IST-REx-ID: 712 | OA
Fischer, Julian L. “Weak–Strong Uniqueness of Solutions to Entropy Dissipating Reaction–Diffusion Equations.” Nonlinear Analysis: Theory, Methods and Applications, vol. 159, Elsevier, 2017, pp. 181–207, doi:10.1016/j.na.2017.03.001.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 713 | OA
Andergassen, Daniel, et al. “Mapping the Mouse Allelome Reveals Tissue Specific Regulation of Allelic Expression.” ELife, vol. 6, e25125, eLife Sciences Publications, 2017, doi:10.7554/eLife.25125.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 714 | OA
Brailoiu, Gabriela, et al. “HIV Tat Excites D1 Receptor-like Expressing Neurons from Rat Nucleus Accumbens.” Drug and Alcohol Dependence, vol. 178, Elsevier, 2017, pp. 7–14, doi:10.1016/j.drugalcdep.2017.04.015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1294 | OA
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences, vol. 84, Elsevier, 2017, pp. 144–70, doi:10.1016/j.jcss.2016.09.009.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1336 | OA
Paixao, Tiago, et al. “Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica, vol. 78, no. 2, Springer, 2017, pp. 681–713, doi:10.1007/s00453-016-0212-1.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1337 | OA
Ajanki, Oskari H., et al. “Universality for General Wigner-Type Matrices.” Probability Theory and Related Fields, vol. 169, no. 3–4, Springer, 2017, pp. 667–727, doi:10.1007/s00440-016-0740-2.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design, vol. 50, no. 2–3, Springer, 2017, pp. 97–139, doi:10.1007/s10703-016-0256-5.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
Giacobbe, Mirco, et al. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica, vol. 54, no. 8, Springer, 2017, pp. 765–87, doi:10.1007/s00236-016-0278-x.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1367 | OA
Manteaux, Pierre, et al. “Adaptive Physically Based Models in Computer Graphics.” Computer Graphics Forum, vol. 36, no. 6, Wiley-Blackwell, 2017, pp. 312–37, doi:10.1111/cgf.12941.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2, Elsevier, 2017, pp. 230–53, doi:10.1016/j.nahs.2016.04.006.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1433
Bauer, Ulrich, et al. “Phat - Persistent Homology Algorithms Toolbox.” Journal of Symbolic Computation, vol. 78, Academic Press, 2017, pp. 76–90, doi:10.1016/j.jsc.2016.03.008.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.” Probability Theory and Related Fields, vol. 167, no. 3–4, Springer, 2017, pp. 673–776, doi:10.1007/s00440-015-0692-y.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1000 | OA
Kolesnikov, Alexander, and Christoph Lampert. PixelCNN Models with Auxiliary Variables for Natural Image Modeling. Vol. 70, Omnipress, 2017, pp. 1905–14.
View | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov, Ruslan, et al. CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature. Vol. 36, no. 4, 64, ACM, 2017, doi:10.1145/3072959.3073709.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1002 | OA
Zhang, Ran, et al. Functionality-Aware Retargeting of Mechanisms to 3D Shapes. Vol. 36, no. 4, 81, ACM, 2017, doi:10.1145/3072959.3073710.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1003 | OA
Avni, Guy, et al. An Abstraction-Refinement Methodology for Reasoning about Network Games. AAAI Press, 2017, pp. 70–76, doi:10.24963/ijcai.2017/11.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1004 | OA
Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.” Current Opinion in Genetics & Development, vol. 45, Elsevier, 2017, pp. 82–89, doi:10.1016/j.gde.2017.03.010.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1006 | OA
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: 1007 | OA
Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.” Automatica, vol. 81C, IFAC, the International Federation of Automatic Control, 2017, pp. 46–55, doi:10.1016/j.automatica.2017.03.030.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee, Krishnendu, et al. “Optimizing Expectation with Guarantees in POMDPs.” Proceedings of the 31st AAAI Conference on Artificial Intelligence, vol. 5, AAAI Press, 2017, pp. 3725–32.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1010 | OA
Alt, Johannes, et al. “Local Law for Random Gram Matrices.” Electronic Journal of Probability, vol. 22, 25, Institute of Mathematical Statistics, 2017, doi:10.1214/17-EJP42.
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313, doi:10.1007/978-3-662-54434-1_11.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1013 | OA
Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” Physics, vol. 10, no. 32, American Physical Society, 2017, doi:10.1103/Physics.10.32.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1015 | OA
Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional Ultracold Fermi Gases.” Scientific Reports, vol. 7, 45702, Nature Publishing Group, 2017, doi:10.1038/srep45702.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1016
Breuss, Martin, et al. “Uner Tan Syndrome Caused by a Homozygous TUBB2B Mutation Affecting Microtubule Stability.” Human Molecular Genetics, vol. 26, no. 2, Oxford University Press, 2017, pp. 258–69, doi:10.1093/hmg/ddw383.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1017 | OA
Breuss, Martin, et al. “Tubulins and Brain Development: The Origins of Functional Specification.” Molecular and Cellular Neuroscience, vol. 84, Academic Press, 2017, pp. 58–67, doi:10.1016/j.mcn.2017.03.002.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1018
Dobisova, Tereza, et al. “Light Regulated Expression of Sensor Histidine Kinase CKI1 Controls Cytokinin Related Development.” Plant Physiology, vol. 174, no. 1, American Society of Plant Biologists, 2017, pp. 387–404, doi:10.1104/pp.16.01964.
View | 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 | DOI
 

2017 | Journal Article | IST-REx-ID: 1020 | OA
Caixeiro, Soraya, et al. “Disordered Cellulose Based Nanostructures for Enhanced Light Scattering.” ACS Applied Materials and Interfaces, vol. 9, no. 9, American Chemical Society, 2017, pp. 7885–90, doi:10.1021/acsami.6b15986.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1021 | OA
Lopez Alonso, Jose M., and Marc Avila. “Boundary Layer Turbulence in Experiments on Quasi Keplerian Flows.” Journal of Fluid Mechanics, vol. 817, Cambridge University Press, 2017, pp. 21–34, doi:10.1017/jfm.2017.109.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1022 | OA
Pranav, Pratyush, et al. “The Topology of the Cosmic Web in Terms of Persistent Betti Numbers.” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 4, Oxford University Press, 2017, pp. 4281–310, doi:10.1093/mnras/stw2862.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1023 | OA
Nemish, Yuriy. “Local Law for the Product of Independent Non-Hermitian Random Matrices with Independent Entries.” Electronic Journal of Probability, vol. 22, 22, Institute of Mathematical Statistics, 2017, doi:10.1214/17-EJP38.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1025
Heisenberg, Carl-Philipp J. “Cell Biology: Stretched Divisions.” Nature, vol. 543, no. 7643, Nature Publishing Group, 2017, pp. 43–44, doi:10.1038/nature21502.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1026
Agus, Viviana, and Harald L. Janovjak. “Optogenetic Methods in Drug Screening: Technologies and Applications.” Current Opinion in Biotechnology, vol. 48, Elsevier, 2017, pp. 8–14, doi:10.1016/j.copbio.2017.02.006.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1028 | OA
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: 1030 | OA
Villányi, Márton. “Ein Freies Bibliothekssystem Für Wissenschaftliche Bibliotheken – Werkstattbericht Der IST Austria Library.” Informationspraxis, vol. 3, no. 1, Univ.-Bibliothek Heidelberg, 2017, doi:10.11588/ip.2017.1.35227.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1063 | OA
Uecker, Hildegard. “Evolutionary Rescue in Randomly Mating, Selfing, and Clonal Populations.” Evolution, vol. 71, no. 4, Wiley-Blackwell, 2017, pp. 845–58, doi:10.1111/evo.13191.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee, Krishnendu, and Georg F. Osang. “Pushdown Reachability with Constant Treewidth.” Information Processing Letters, vol. 122, Elsevier, 2017, pp. 25–29, doi:10.1016/j.ipl.2017.02.003.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1066
Chatterjee, Krishnendu, et al. “Quantitative Fair Simulation Games.” Information and Computation, vol. 254, no. 2, Elsevier, 2017, pp. 143–66, doi:10.1016/j.ic.2016.10.006.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1067 | OA
Morita, Hitoshi, et al. “The Physical Basis of Coordinated Tissue Spreading in Zebrafish Gastrulation.” Developmental Cell, vol. 40, no. 4, Cell Press, 2017, pp. 354–66, doi:10.1016/j.devcel.2017.01.010.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1072 | OA
Bauer, Ulrich, and Herbert Edelsbrunner. “The Morse Theory of Čech and Delaunay Complexes.” Transactions of the American Mathematical Society, vol. 369, no. 5, American Mathematical Society, 2017, pp. 3741–62.
View | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 1073 | OA
Čadek, Martin, et al. “Algorithmic Solvability of the Lifting Extension Problem.” Discrete & Computational Geometry, vol. 54, no. 4, Springer, 2017, pp. 915–65, doi:10.1007/s00454-016-9855-6.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1074 | OA
Ringbauer, Harald, et al. “Inferring Recent Demography from Isolation by Distance of Long Shared Sequence Blocks.” Genetics, vol. 205, no. 3, Genetics Society of America, 2017, pp. 1335–51, doi:10.1534/genetics.116.196220.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 1076 | OA
Klaiber, Michael, et al. “Strong-Field Ionization via a High-Order Coulomb-Corrected Strong-Field Approximation.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 95, no. 2, 023403, American Physical Society, 2017, doi:10.1103/PhysRevA.95.023403.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1077 | OA
Fernandes Redondo, Rodrigo A., et al. “Evolutionary Interplay between Structure, Energy and Epistasis in the Coat Protein of the FX174 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 | Journal Article | IST-REx-ID: 1078 | OA
von Wangenheim, Daniel, et al. “Light Sheet Fluorescence Microscopy of Plant Roots Growing on the Surface of a Gel.” Journal of Visualized Experiments JoVE, vol. 2017, no. 119, e55044, Journal of Visualized Experiments, 2017, doi:10.3791/55044.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1079 | OA
Nam, Phan, and Hanne Van Den Bosch. “Nonexistence in Thomas Fermi-Dirac-von Weizsäcker Theory with Small Nuclear Charges.” Mathematical Physics, Analysis and Geometry, vol. 20, no. 2, 6, Springer, 2017, doi:10.1007/s11040-017-9238-0.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1080 | OA
Reiter, Johannes, et al. “Reconstructing Metastatic Seeding Patterns of Human Cancers.” Nature Communications, vol. 8, 14114, Nature Publishing Group, 2017, doi:10.1038/ncomms14114.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1084
Fang, Chong, et al. “Insulation and Wiring Specificity of BceR like Response Regulators and Their Target Promoters in Bacillus Subtilis.” Molecular Microbiology, vol. 104, no. 1, Wiley-Blackwell, 2017, pp. 16–31, doi:10.1111/mmi.13597.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1085 | OA
Wright, Alison, et al. “Convergent Recombination Suppression Suggests Role of Sexual Selection in Guppy Sex Chromosome Formation.” Nature Communications, vol. 8, 14251, Nature Publishing Group, 2017, doi:10.1038/ncomms14251.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1086 | OA
Di Giglio, Maria, et al. “Development of a Human Vasopressin V1a-Receptor Antagonist from an Evolutionary-Related Insect Neuropeptide.” Scientific Reports, vol. 7, Nature Publishing Group, 2017, p. 41002, doi:10.1038/srep41002.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1087 | OA
Song, Baofang, et al. “Speed and Structure of Turbulent Fronts in Pipe Flow.” Journal of Fluid Mechanics, vol. 813, Cambridge University Press, 2017, pp. 1045–59, doi:10.1017/jfm.2017.14.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1089 | OA
Fallat, Shaun, et al. “Total Positivity in Markov Structures.” Annals of Statistics, vol. 45, no. 3, Institute of Mathematical Statistics, 2017, pp. 1152–84, doi:10.1214/16-AOS1478.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1104 | OA
Deny, Stephane, et al. “Multiplexed Computations in Retinal Ganglion Cells of a Single Type.” Nature Communications, vol. 8, no. 1, 1964, Nature Publishing Group, 2017, doi:10.1038/s41467-017-02159-y.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1108 | OA
Zimin, Alexander, and Christoph Lampert. Learning Theory for Conditional Risk Minimization. Vol. 54, JMLR, Inc. and Microtome Publishing, 2017, pp. 213–22.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1109 | OA
Shepperson, Benjamin, et al. “Laser-Induced Rotation of Iodine Molecules in Helium Nanodroplets: Revivals and Breaking-Free.” Physical Review Letters, vol. 118, no. 20, 203203, American Physical Society, 2017, doi:10.1103/PhysRevLett.118.203203.
View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 1110 | OA
Kuhn, Benjamin, et al. “Flavonol-Induced Changes in PIN2 Polarity and Auxin Transport in the Arabidopsis Thaliana Rol1-2 Mutant Require Phosphatase Activity.” Scientific Reports, vol. 7, 41906, Nature Publishing Group, 2017, doi:10.1038/srep41906.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1111 | OA
Heredia, Jorge, et al. “Selection Limits to Adaptive Walks on Correlated Landscapes.” Genetics, vol. 205, no. 2, Genetics Society of America, 2017, pp. 803–25, doi:10.1534/genetics.116.189340.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 1112
Paixao, Tiago, and Jorge Pérez Heredia. “An Application of Stochastic Differential Equations to Evolutionary Algorithms.” Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11, doi:10.1145/3040718.3040729.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1113 | OA
Fulek, Radoslav, et al. “Hanani-Tutte for Radial Planarity.” Journal of Graph Algorithms and Applications, vol. 21, no. 1, Brown University, 2017, pp. 135–54, doi:10.7155/jgaa.00408.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 1114 | OA
Fink, Johannes M., et al. “Observation of the Photon Blockade Breakdown Phase Transition.” Physical Review X, vol. 7, no. 1, 011012, American Physical Society, 2017, doi:10.1103/PhysRevX.7.011012.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1116 | OA
Avni, Guy, et al. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. Vol. 10206, Springer, 2017, pp. 169–87, doi:10.1007/978-3-662-54580-5_10.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1117 | OA
Chen, Chong, et al. “Synaptotagmin 2 Is the Fast Ca2+ Sensor at a Central Inhibitory Synapse.” Cell Reports, vol. 18, no. 3, Cell Press, 2017, pp. 723–36, doi:10.1016/j.celrep.2016.12.067.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1118 | OA
Gan, Jian, et al. “Phase-Locked Inhibition, but Not Excitation, Underlies Hippocampal Ripple Oscillations in Awake Mice in Vivo.” Neuron, vol. 93, no. 2, Elsevier, 2017, pp. 308–14, doi:10.1016/j.neuron.2016.12.018.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1119 | OA
Lemeshko, Mikhail. “Quasiparticle Approach to Molecules Interacting with Quantum Solvents.” Physical Review Letters, vol. 118, no. 9, 095301, American Physical Society, 2017, doi:10.1103/PhysRevLett.118.095301.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1120 | OA
Li, Xiang, et al. “Angular Self-Localization of Impurities Rotating in a Bosonic Bath.” Physical Review A, vol. 95, no. 3, 033608, American Physical Society, 2017, doi:10.1103/PhysRevA.95.033608.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1132 | OA
O’Neill, Joseph, et al. “Superficial Layers of the Medial Entorhinal Cortex Replay Independently of the Hippocampus.” Science, vol. 355, no. 6321, American Association for the Advancement of Science, 2017, pp. 184–88, doi:10.1126/science.aag2787.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1133 | OA
Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anomalous Screening of Quantum Impurities by a Neutral Environment.” Physical Review Letters, vol. 118, no. 8, 085302, American Physical Society, 2017, doi:10.1103/PhysRevLett.118.085302.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
Erdös, László, and Dominik J. Schröder. “Fluctuations of Functions of Wigner Matrices.” Electronic Communications in Probability, vol. 21, 86, Institute of Mathematical Statistics, 2017, doi:10.1214/16-ECP38.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1146
Sun, Wuping, et al. “Comparison of the Effects of Nicotinic Acid and Nicotinamide Degradation on Plasma Betaine and Choline Levels.” Clinical Nutrition, vol. 36, no. 4, Churchill Livingstone, 2017, pp. 1136–42, doi:10.1016/j.clnu.2016.07.016.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1152 | OA
Gajda-Zagorska, Ewa P., et al. “A Multi Objective Memetic Inverse Solver Reinforced by Local Optimization Methods.” Journal of Computational Science, vol. 18, Elsevier, 2017, pp. 85–94, doi:10.1016/j.jocs.2016.06.007.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Daca, Przemyslaw. Statistical and Logical Methods for Property Checking. IST Austria, 2017, doi:10.15479/AT:ISTA:TH_730.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1159 | OA
Steenackers, Ward, et al. “Cis-Cinnamic Acid Is a Novel Natural Auxin Efflux Inhibitor That Promotes Lateral Root Formation.” Plant Physiology, vol. 173, no. 1, American Society of Plant Biologists, 2017, pp. 552–65, doi:10.1104/pp.16.00943.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1160 | OA
Altmeyer, Sebastian, et al. “Dynamics of Ferrofluidic Flow in the Taylor-Couette System with a Small Aspect Ratio.” Scientific Reports, vol. 7, 40012, Nature Publishing Group, 2017, doi:10.1038/srep40012.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1161
Müller, Jan, and Michael K. Sixt. “Cell Migration: Making the Waves.” Current Biology, vol. 27, no. 1, Cell Press, 2017, pp. R24–25, doi:10.1016/j.cub.2016.11.035.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1162 | OA
Spałek, Jozef, et al. “Universal Properties of High Temperature Superconductors from Real Space Pairing T-J-U Model and Its Quantitative Comparison with Experiment.” Physical Review B - Condensed Matter and Materials Physics, vol. 95, no. 2, 024506, American Physical Society, 2017, doi:10.1103/PhysRevB.95.024506.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1163
Wysokiński, Marcin, and Jan Kaczmarczyk. “Unconventional Superconductivity in Generalized Hubbard Model Role of Electron–Hole Symmetry Breaking Terms.” Journal of Physics: Condensed Matter, vol. 29, no. 8, 085604, IOP Publishing Ltd., 2017, doi:10.1088/1361-648X/aa532f.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1168 | OA
Perrone, Elisa, et al. “D Inf s Optimality in Copula Models.” Statistical Methods and Applications, vol. 26, no. 3, Springer, 2017, pp. 403–18, doi:10.1007/s10260-016-0375-6.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1169 | OA
Novak, Sebastian, and Richard Kollár. “Spatial Gene Frequency Waves under Genotype Dependent Dispersal.” Genetics, vol. 205, no. 1, Genetics Society of America, 2017, pp. 367–74, doi:10.1534/genetics.116.193946.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1173 | OA
Edelsbrunner, Herbert, et al. “The Voronoi Functional Is Maximized by the Delaunay Triangulation in the Plane.” Combinatorica, vol. 37, no. 5, Springer, 2017, pp. 887–910, doi:10.1007/s00493-016-3308-y.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1174 | OA
Skórski, Maciej. Lower Bounds on Key Derivation for Square-Friendly Applications. Vol. 66, 57, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.STACS.2017.57.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1175 | OA
Alwen, Joel F., et al. Cumulative Space in Black-White Pebbling and Resolution. Edited by Christos Papadimitriou, vol. 67, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21, doi:10.4230/LIPIcs.ITCS.2017.38.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1176 | OA
Alwen, Joel F., and Jeremiah Blocki. Towards Practical Attacks on Argon2i and Balloon Hashing. 7961977, IEEE, 2017, doi:10.1109/EuroSP.2017.47.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1180 | OA
Akopyan, Arseniy, et al. “Algebraic Vertices of Non-Convex Polyhedra.” Advances in Mathematics, vol. 308, Academic Press, 2017, pp. 627–44, doi:10.1016/j.aim.2016.12.026.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1187 | OA
Kiltz, Eike, et al. “Efficient Authentication from Hard Learning Problems.” Journal of Cryptology, vol. 30, no. 4, Springer, 2017, pp. 1238–75, doi:10.1007/s00145-016-9247-3.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1191 | OA
Kollár, Richard, and Sebastian Novak. “Existence of Traveling Waves for the Generalized F–KPP Equation.” Bulletin of Mathematical Biology, vol. 79, no. 3, Springer, 2017, pp. 525–59, doi:10.1007/s11538-016-0244-3.
View | DOI | Download Preprint (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1192 | OA
Kazda, Alexandr, et al. Even Delta-Matroids and the Complexity of Planar Boolean CSPs. SIAM, 2017, pp. 307–26, doi:10.1137/1.9781611974782.20.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee, Krishnendu, et al. Stochastic Invariants for Probabilistic Termination. Vol. 52, no. 1, ACM, 2017, pp. 145–60, doi:10.1145/3009837.3009873.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1196
Henzinger, Thomas A., and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.” Nonlinear Analysis: Hybrid Systems, vol. 23, Elsevier, 2017, pp. 166–90, doi:10.1016/j.nahs.2016.09.001.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1198 | OA
Moser, Thomas, and Robert Seiringer. “Triviality of a Model of Particles with Point Interactions in the Thermodynamic Limit.” Letters in Mathematical Physics, vol. 107, no. 3, Springer, 2017, pp. 533–52, doi:10.1007/s11005-016-0915-x.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1207 | OA
Bao, Zhigang, et al. “Local Law of Addition of Random Matrices on Optimal Scale.” Communications in Mathematical Physics, vol. 349, no. 3, Springer, 2017, pp. 947–90, doi:10.1007/s00220-016-2805-6.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1208 | OA
Zwiernik, Piotr, et al. “Maximum Likelihood Estimation for Linear Gaussian Covariance Models.” Journal of the Royal Statistical Society. Series B: Statistical Methodology, vol. 79, no. 4, Wiley-Blackwell, 2017, pp. 1269–92, doi:10.1111/rssb.12217.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1211 | OA
Budanur, Nazmi B., and Predrag Cvitanović. “Unstable Manifolds of Relative Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky System.” Journal of Statistical Physics, vol. 167, no. 3–4, Springer, 2017, pp. 636–55, doi:10.1007/s10955-016-1672-z.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
Sauerzopf, Ulrich, et al. “Are Reprogrammed Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.” European Journal of Neuroscience, vol. 45, no. 1, Wiley-Blackwell, 2017, pp. 45–57, doi:10.1111/ejn.13418.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 909 | OA
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 | Journal Article | IST-REx-ID: 910 | OA
Novak, Sebastian, and Nicholas H. Barton. “When Does Frequency-Independent Selection Maintain Genetic Variation?” Genetics, vol. 207, no. 2, Genetics Society of America, 2017, pp. 653–68, doi:10.1534/genetics.117.300129.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 911 | OA
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 | Journal Article | IST-REx-ID: 912 | OA
Deuchert, Andreas. “A Lower Bound for the BCS Functional with Boundary Conditions at Infinity.” Journal of Mathematical Physics, vol. 58, no. 8, 081901, AIP, 2017, doi:10.1063/1.4996580.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 914 | OA
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 | Conference Paper | IST-REx-ID: 915 | OA
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
 

Filters and Search Terms

extern<>1

Search

Filter Publications