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.

2472 Publications


2015 | Conference Paper | IST-REx-ID: 1499   OA
Kretinsky, Jan, et al. Polynomial Time Decidability of Weighted Synchronization under Partial Observability. Vol. 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–54, doi:10.4230/LIPIcs.CONCUR.2015.142.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1689   OA
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–68, doi:10.1145/2728606.2728608.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1855   OA
Mcmahon, Dino, et al. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.” Journal of Animal Ecology, vol. 84, no. 3, Wiley, 2015, pp. 615–24, doi:10.1111/1365-2656.12345.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1812   OA
Lahrz, Martin, et al. “Exotic Roton Excitations in Quadrupolar Bose–Einstein Condensates .” New Journal of Physics, vol. 17, no. 4, IOP Publishing Ltd., 2015, p. 045005, doi:10.1088/1367-2630/17/4/045005.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1709   OA
Reiter, Johannes, et al. “Biological Auctions with Multiple Rewards.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812, Royal Society, 2015, doi:10.1098/rspb.2015.1041.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1665   OA
Landau, Dan, et al. “Mutations Driving CLL and Their Evolution in Progression and Relapse.” Nature, vol. 526, no. 7574, Nature Publishing Group, 2015, pp. 525–30, doi:10.1038/nature15395.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1848   OA
Schwamb, Bettina, et al. “FAM96A Is a Novel Pro-Apoptotic Tumor Suppressor in Gastrointestinal Stromal Tumors.” International Journal of Cancer, vol. 137, no. 6, Wiley, 2015, pp. 1318–29, doi:10.1002/ijc.29498.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1672   OA
Alwen, Joel F., et al. Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting. Vol. 9216, Springer, 2015, pp. 763–80, doi:10.1007/978-3-662-48000-7_37.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1870   OA
Henzinger, Thomas A., et al. “Lipschitz Robustness of Finite-State Transducers.” Leibniz International Proceedings in Informatics, LIPIcs, vol. 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–43, doi:10.4230/LIPIcs.FSTTCS.2014.431.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875   OA
Samanta, Roopsha, et al. Cost-Aware Automatic Program Repair. Edited by Markus Müller-Olm and Helmut Seidl, vol. 8723, Springer, 2014, pp. 268–84, doi:10.1007/978-3-319-10936-7_17.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1894   OA
Grabowska, Anna, et al. “Functional and Bioinformatics Analysis of Two Campylobacter Jejuni Homologs of the Thiol-Disulfide Oxidoreductase, DsbA.” PLoS One, vol. 9, no. 9, e106247, Public Library of Science, 2014, doi:10.1371/journal.pone.0106247.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1995   OA
Fratini, Filippo, et al. “Fabry-Perot Interferometer with Quantum Mirrors: Nonlinear Light Transport and Rectification.” Physical Review Letters, vol. 113, no. 24, 243601, American Physical Society, 2014, doi:10.1103/PhysRevLett.113.243601.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1919   OA
Aziz, Wajeeha, et al. “Distinct Kinetics of Synaptic Structural Plasticity, Memory Formation, and Memory Decay in Massed and Spaced Learning.” PNAS, vol. 111, no. 1, National Academy of Sciences, 2014, pp. E194–202, doi:10.1073/pnas.1303317110.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1921   OA
Tejos, Ricardo, et al. “Bipolar Plasma Membrane Distribution of Phosphoinositides and Their Requirement for Auxin-Mediated Cell Polarity and Patterning in Arabidopsis.” Plant Cell, vol. 26, no. 5, American Society of Plant Biologists, 2014, pp. 2114–28, doi:10.1105/tpc.114.126185.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2013   OA
Lin, Shaowei, et al. “Hypersurfaces and Their Singularities in Partial Correlation Testing.” Foundations of Computational Mathematics, vol. 14, no. 5, Springer, 2014, pp. 1079–116, doi:10.1007/s10208-014-9205-0.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1844   OA
Risso, Valeria, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.” Molecular Biology and Evolution, vol. 32, no. 2, Oxford University Press, 2014, pp. 440–55, doi:10.1093/molbev/msu312.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1907   OA
Demay, Grégory, et al. “Optimality of Non-Adaptive Strategies: The Case of Parallel Games.” IEEE International Symposium on Information Theory, 6875125, IEEE, 2014, doi:10.1109/ISIT.2014.6875125.
View | DOI | Download (ext.)
 

2014 | Book Chapter | IST-REx-ID: 2044   OA
Bauer, Ulrich, et al. “Clear and Compress: Computing Persistent Homology in Chunks.” Topological Methods in Data Analysis and Visualization III, edited by Peer-Timo Bremer et al., Springer, 2014, pp. 103–17, doi:10.1007/978-3-319-04099-8_7.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2051   OA
Marchand, Mario, et al. Multilabel Structured Output Learning with Random Spanning Trees of Max-Margin Markov Networks. Neural Information Processing Systems, 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2032   OA
Inglés Prieto, Álvaro, et al. “The Optogenetic Promise for Oncology: Episode I.” Molecular and Cellular Oncology, vol. 1, no. 4, e964045, Taylor & Francis, 2014, doi:10.4161/23723548.2014.964045.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2056   OA
Ganguly, Arnab, et al. “Markov Chain Aggregation and Its Applications to Combinatorial Reaction Networks.” Journal of Mathematical Biology, vol. 69, no. 3, Springer, 2014, pp. 767–97, doi:10.1007/s00285-013-0738-7.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2133   OA
Carlen, Eric, and Jan Maas. “An Analog of the 2-Wasserstein Metric in Non-Commutative Probability under Which the Fermionic Fokker-Planck Equation Is Gradient Flow for the Entropy.” Communications in Mathematical Physics, vol. 331, no. 3, Springer, 2014, pp. 887–926, doi:10.1007/s00220-014-2124-8.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2140   OA
Otterbach, Johannes, and Mikhail Lemeshko. “Dissipative Preparation of Spatial Order in Rydberg-Dressed Bose-Einstein Condensates.” Physical Review Letters, vol. 113, no. 7, 070401, American Physical Society, 2014, doi:10.1103/PhysRevLett.113.070401.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2169   OA
Barton, Nicholas H., et al. “Diverse Forms of Selection in Evolution and Computer Science.” PNAS, vol. 111, no. 29, National Academy of Sciences, 2014, pp. 10398–99, doi:10.1073/pnas.1410107111.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2171   OA
Kolesnikov, Alexander, et al. “Closed-Form Approximate CRF Training for Scalable Image Segmentation.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by David Fleet et al., vol. 8691, no. PART 3, Springer, 2014, pp. 550–65, doi:10.1007/978-3-319-10578-9_36.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2183   OA
Botella Soler, Vicente, and Paul Glendinning. “Hierarchy and Polysynchrony in an Adaptive Network .” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 6, 062809, American Institute of Physics, 2014, doi:10.1103/PhysRevE.89.062809 .
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2188   OA
Kania, Urszula, et al. “Polar Delivery in Plants; Commonalities and Differences to Animal Epithelial Cells.” Open Biology, vol. 4, no. APRIL, 140017, Royal Society, 2014, doi:10.1098/rsob.140017.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2208   OA
Lahrz, Martin, et al. “Detecting Quadrupole Interactions in Ultracold Fermi Gases.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 89, no. 4, 043616, American Physical Society, 2014, doi:10.1103/PhysRevA.89.043616.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2246   OA
Grinshpun, Andrey, et al. “Alternating Traps in Muller and Parity Games.” Theoretical Computer Science, vol. 521, Elsevier, 2014, pp. 73–91, doi:10.1016/j.tcs.2013.11.032.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 3263   OA
Tkacik, Gasper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” PLoS One, vol. 9, no. 1, e85841, Public Library of Science, 2014, doi:10.1371/journal.pone.0085841.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 775   OA
Alistarh, Dan, et al. The Levelarray: A Fast, Practical Long-Lived Renaming Algorithm. IEEE, 2014, pp. 348–57, doi:10.1109/ICDCS.2014.43.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 97   OA
Higginbotham, Andrew P., et al. “Antilocalization of Coulomb Blockade in a Ge/Si Nanowire.” APS Physics, Physical Review Letters, vol. 112, no. 21, 216806, American Physical Society, 2014, doi:10.1103/PhysRevLett.112.216806.
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 977   OA
Serbyn, Maksym, et al. “Interferometric Probes of Many-Body Localization.” Physical Review Letters, vol. 113, no. 14, American Physical Society, 2014, doi:10.1103/PhysRevLett.113.147204.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1375   OA
Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2234   OA
Brázdil, Tomáš, et al. “Markov Decision Processes with Multiple Long-Run Average Objectives.” Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi:10.2168/LMCS-10(1:13)2014.
View | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2190   OA
Esparza, Javier, and Jan Kretinsky. From LTL to Deterministic Automata: A Safraless Compositional Approach. Vol. 8559, Springer, 2014, pp. 192–208, doi:10.1007/978-3-319-08867-9_13.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 535   OA
Chatterjee, Krishnendu, et al. “Polynomial Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2905   OA
Edelsbrunner, Herbert, and Dmitriy Morozovy. Persistent Homology: Theory and Practice. European Mathematical Society Publishing House, 2014, pp. 31–50, doi:10.4171/120-1/3.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1926   OA
Sadel, Christian. “Absolutely Continuous Spectrum for Random Schrödinger Operators on the Fibonacci and Similar Tree-Strips.” Mathematical Physics, Analysis and Geometry, vol. 17, no. 3–4, Springer, 2014, pp. 409–40, doi:10.1007/s11040-014-9163-4.
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1899   OA
Williams, Scott, et al. “Par3-MInsc and Gα I3 Cooperate to Promote Oriented Epidermal Cell Divisions through LGN.” Nature Cell Biology, vol. 16, no. 8, Nature Publishing Group, 2014, pp. 758–69, doi:10.1038/ncb3001.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2253   OA
Bailly, Aurélien, et al. “Expression of TWISTED DWARF1 Lacking Its In-Plane Membrane Anchor Leads to Increased Cell Elongation and Hypermorphic Growth.” Plant Journal, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 108–18, doi:10.1111/tpj.12369.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1629   OA
Guerrero, Paul, et al. “Edit Propagation Using Geometric Relationship Functions.” ACM Transactions on Graphics, vol. 33, no. 2, 15, ACM, 2014, doi:10.1145/2591010.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643   OA
Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” SCN 2014, edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp. 95–114, doi:10.1007/978-3-319-10879-7_7.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1876   OA
Dolbilin, Nikolai, et al. “Functionals on Triangulations of Delaunay Sets.” Moscow Mathematical Journal, vol. 14, no. 3, Independent University of Moscow, 2014, pp. 491–504.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890   OA
Körner, Christof, et al. “Sequential Effects in Continued Visual Search: Using Fixation-Related Potentials to Compare Distractor Processing before and after Target Detection.” Psychophysiology, vol. 51, no. 4, Wiley-Blackwell, 2014, pp. 385–95, doi:10.1111/psyp.12062.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895   OA
Edamura, Mitsuhiro, et al. “Functional Deficiency of MHC Class i Enhances LTP and Abolishes LTD in the Nucleus Accumbens of Mice.” PLoS One, vol. 9, no. 9, e107099, Public Library of Science, 2014, doi:10.1371/journal.pone.0107099.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1908   OA
Weissman, Daniel, and Oskar Hallatschek. “The Rate of Adaptation in Large Sexual Populations with Linear Chromosomes.” Genetics, vol. 196, no. 4, Genetics Society of America, 2014, pp. 1167–83, doi:10.1534/genetics.113.160705.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1852   OA
Sassi, Massimiliano, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.” Current Biology, vol. 24, no. 19, Cell Press, 2014, pp. 2335–42, doi:10.1016/j.cub.2014.08.036.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1821   OA
Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.” Journal of Mathematical Physics, vol. 55, no. 7, 1.4881536, American Institute of Physics, 2014, doi:10.1063/1.4881536.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1996   OA
Hazak, Ora, et al. “Bimodal Regulation of ICR1 Levels Generates Self-Organizing Auxin Distribution.” PNAS, vol. 111, no. 50, National Academy of Sciences, 2014, pp. E5471–79, doi:10.1073/pnas.1413918111.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed