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.




2990 Publications

2014 | Conference Paper | IST-REx-ID: 2045 | OA
Dachman Soled, Dana, et al. “Enhanced Chosen-Ciphertext Security and Applications.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk, vol. 8383, Springer, 2014, pp. 329–44, doi:10.1007/978-3-642-54631-0_19.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2046 | OA
Bellare, Mihir, and Georg Fuchsbauer. “Policy-Based Signatures.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk, vol. 8383, Springer, 2014, pp. 520–37, doi:10.1007/978-3-642-54631-0_30.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2047 | OA
Yu, Fei, et al. “Differentially-Private Logistic Regression for Detecting Multiple-SNP Association in GWAS Databases.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Josep Domingo Ferrer, vol. 8744, Springer, 2014, pp. 170–84, doi:10.1007/978-3-319-11257-2_14.
View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 2050 | OA
Kühnen, Jakob, et al. “Experimental Investigation of Transitional Flow in a Toroidal Pipe.” Journal of Fluid Mechanics, vol. 738, Cambridge University Press, 2014, pp. 463–91, doi:10.1017/jfm.2013.603.
View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Conference Paper | IST-REx-ID: 2052
Aminof, Benjamin, et al. “Parameterized Model Checking of Rendezvous Systems.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, vol. 8704, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 109–24, doi:10.1007/978-3-662-44584-6_9.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2053 | OA
Hermanns, Holger, et al. “Probabilistic Bisimulation: Naturally on Distributions.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, vol. 8704, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–65, doi:10.1007/978-3-662-44584-6_18.
View | DOI | Download Submitted Version (ext.)
 
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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2057 | OA
Morvant, Emilie, et al. “Majority Vote of Diverse Classifiers for Late Fusion.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8621, Springer, 2014, pp. 153–62, doi:10.1007/978-3-662-44415-3_16.
View | DOI | Download Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 2059 | OA
Dubas, Ewa, et al. “The Influence of Heat Stress on Auxin Distribution in Transgenic B Napus Microspores and Microspore Derived Embryos.” Protoplasma, vol. 251, no. 5, Springer, 2014, pp. 1077–87, doi:10.1007/s00709-014-0616-1.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2061
Mazur, Ewa, et al. “Cellular Events during Interfascicular Cambium Ontogenesis in Inflorescence Stems of Arabidopsis.” Protoplasma, vol. 251, no. 5, Springer, 2014, pp. 1125–39, doi:10.1007/s00709-014-0620-5.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2062 | OA
Hu, Hua, et al. “Fast-Spiking Parvalbumin^+ GABAergic Interneurons: From Cellular Design to Microcircuit Function.” Science, vol. 345, no. 6196, 1255263, American Association for the Advancement of Science, 2014, doi:10.1126/science.1255263.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2029 | OA
Correggi, Michele, et al. “Validity of Spin-Wave Theory for the Quantum Heisenberg Model.” EPL, vol. 108, no. 2, 20003, IOP Publishing Ltd., 2014, doi:10.1209/0295-5075/108/20003.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2031 | OA
Arai, itaru, and Peter M. Jonas. “Nanodomain Coupling Explains Ca^2+ Independence of Transmitter Release Time Course at a Fast Central Synapse.” ELife, vol. 3, eLife Sciences Publications, 2014, doi:10.7554/eLife.04057.
View | Files available | DOI
 
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 | Conference Paper | IST-REx-ID: 2033 | OA
Hernandez Lobato, Daniel, et al. “Mind the Nuisance: Gaussian Process Classification Using Privileged Noise.” Advances in Neural Information Processing Systems, vol. 1, no. January, Neural Information Processing Systems, 2014, pp. 837–45.
View | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2036 | OA
Lagator, Mato, et al. “Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 20141679, Royal Society, The, 2014, doi:10.1098/rspb.2014.1679.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2023 | OA
Novak, Sebastian. “Habitat Heterogeneities versus Spatial Type Frequency Variances as Driving Forces of Dispersal Evolution.” Ecology and Evolution, vol. 4, no. 24, Wiley-Blackwell, 2014, pp. 4589–97, doi:10.1002/ece3.1289.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2024 | OA
Toshima, Junko, et al. “Bifurcation of the Endocytic Pathway into Rab5-Dependent and -Independent Transport to the Vacuole.” Nature Communications, vol. 5, 3498, Nature Publishing Group, 2014, doi:10.1038/ncomms4498.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2026
Komárková, Zuzana, and Jan Kretinsky. “Rabinizer 3: Safraless Translation of Ltl to Small Deterministic Automata.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 235–41, doi:10.1007/978-3-319-11936-6_17.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2027 | OA
Brázdil, Tomáš, et al. “Verification of Markov Decision Processes Using Learning Algorithms.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, vol. 8837, Society of Industrial and Applied Mathematics, 2014, pp. 98–114, doi:10.1007/978-3-319-11936-6_8.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2064 | OA
Rubio, Maía, et al. “Target- and Input-Dependent Organization of AMPA and NMDA Receptors in Synaptic Connections of the Cochlear Nucleus.” Journal of Comparative Neurology, vol. 522, no. 18, Wiley-Blackwell, 2014, pp. 4023–42, doi:10.1002/cne.23654.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2086 | OA
Wolf, Stephan, et al. “So near and yet so Far: Harmonic Radar Reveals Reduced Homing Ability of Nosema Infected Honeybees.” PLoS One, vol. 9, no. 8, e103989, Public Library of Science, 2014, doi:10.1371/journal.pone.0103989.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2083 | OA
Lagator, Mato, et al. “Role of Sex and Migration in Adaptation to Sink Environments.” Evolution, vol. 68, no. 8, Wiley, 2014, pp. 2296–305, doi:10.1111/evo.12440.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2153 | OA
Bauer, Ulrich, and Michael Lesnick. “Induced Matchings of Barcodes and the Algebraic Stability of Persistence.” Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–64, doi:10.1145/2582112.2582168.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2154 | OA
Matoušek, Jiří, and Uli Wagner. “On Gromov’s Method of Selecting Heavily Covered Points.” Discrete & Computational Geometry, vol. 52, no. 1, Springer, 2014, pp. 1–33, doi:10.1007/s00454-014-9584-7.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2155 | OA
Bauer, Ulrich, and Herbert Edelsbrunner. “The Morse Theory of Čech and Delaunay Filtrations.” Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–90, doi:10.1145/2582112.2582167.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2156 | OA
Bauer, Ulrich, et al. “Measuring Distance between Reeb Graphs.” Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–73, doi:10.1145/2582112.2582169.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2159 | OA
Mabillard, Isaac, and Uli Wagner. “Eliminating Tverberg Points, I. An Analogue of the Whitney Trick.” Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–80, doi:10.1145/2582112.2582134.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2160 | OA
Pentina, Anastasia, and Christoph Lampert. A PAC-Bayesian Bound for Lifelong Learning. Edited by Eric Xing and Tony Jebara, vol. 32, Omnipress, 2014, pp. 991–99.
View | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2161
Westhus, Claudia, et al. “Increased Grooming after Repeated Brood Care Provides Sanitary Benefits in a Clonal Ant.” Behavioral Ecology and Sociobiology, vol. 68, no. 10, Springer, 2014, pp. 1701–10, doi:10.1007/s00265-014-1778-8.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2158 | OA
Majumdar, Ritankar, et al. “New Paradigms in the Establishment and Maintenance of Gradients during Directed Cell Migration.” Current Opinion in Cell Biology, vol. 30, no. 1, Elsevier, 2014, pp. 33–40, doi:10.1016/j.ceb.2014.05.010.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2168 | OA
Kelleher, Jerome, et al. “Coalescent Simulation in Continuous Space: Algorithms for Large Neighbourhood Size.” Theoretical Population Biology, vol. 95, Academic Press, 2014, pp. 13–23, doi:10.1016/j.tpb.2014.05.001.
View | Files available | DOI
 
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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2170 | OA
Hearn, Jack, et al. “Likelihood-Based Inference of Population History from Low-Coverage de Novo Genome Assemblies.” Molecular Ecology, vol. 23, no. 1, Wiley-Blackwell, 2014, pp. 198–211, doi:10.1111/mec.12578.
View | Files available | DOI
 
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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2172
Sydorov, Vladyslav, et al. “Deep Fisher Kernels – End to End Learning of the Fisher Kernel GMM Parameters.” Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2014, pp. 1402–09, doi:10.1109/CVPR.2014.182.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2173 | OA
Khamis, Sameh, and Christoph Lampert. “CoConut: Co-Classification with Output Space Regularization.” Proceedings of the British Machine Vision Conference 2014, BMVA Press, 2014.
View | Files available
 
2014 | Journal Article | IST-REx-ID: 2174 | OA
De Vladar, Harold, and Nicholas H. Barton. “Stability and Response of Polygenic Traits to Stabilizing Selection and Mutation.” Genetics, vol. 197, no. 2, Genetics Society of America, 2014, pp. 749–67, doi:10.1534/genetics.113.159111.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2175 | OA
Postiglione, Maria P., and Simon Hippenmeyer. “Monitoring Neurogenesis in the Cerebral Cortex: An Update.” Future Neurology, vol. 9, no. 3, Future Medicine Ltd., 2014, pp. 323–40, doi:10.2217/fnl.14.18.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2176
Studer, Daniel, et al. “Capture of Activity-Induced Ultrastructural Changes at Synapses by High-Pressure Freezing of Brain Tissue.” Nature Protocols, vol. 9, no. 6, Nature Publishing Group, 2014, pp. 1480–95, doi:10.1038/nprot.2014.099.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2177
Edelsbrunner, Herbert, and Salman Parsa. “On the Computational Complexity of Betti Numbers Reductions from Matrix Rank.” Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2014, pp. 152–60, doi:10.1137/1.9781611973402.11.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2178 | OA
Haws, David, et al. “Markov Degree of the Three-State Toric Homogeneous Markov Chain Model.” Beitrage Zur Algebra Und Geometrie, vol. 55, no. 1, Springer, 2014, pp. 161–88, doi:10.1007/s13366-013-0178-y.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2179 | OA
Ajanki, Oskari H., et al. “Local Semicircle Law with Imprimitive Variance Matrix.” Electronic Communications in Probability, vol. 19, Institute of Mathematical Statistics, 2014, doi:10.1214/ECP.v19-3121.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2180 | OA
Bellet, Aurélien, et al. “Learning a Priori Constrained Weighted Majority Votes.” Machine Learning, vol. 97, no. 1–2, Springer, 2014, pp. 129–54, doi:10.1007/s10994-014-5462-z.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2184 | OA
Čadek, Martin, et al. “Computing All Maps into a Sphere.” Journal of the ACM, vol. 61, no. 3, 17, ACM, 2014, doi:10.1145/2597629.
View | DOI | Download Preprint (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2185 | OA
Dodis, Yevgeniy, et al. Key Derivation without Entropy Waste. Edited by Phong Nguyen and Elisabeth Oswald, vol. 8441, Springer, 2014, pp. 93–110, doi:10.1007/978-3-642-55220-5_6.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2186 | OA
Chen, Thomas, et al. “On the Well-Posedness and Scattering for the Gross-Pitaevskii Hierarchy via Quantum de Finetti.” Letters in Mathematical Physics, vol. 104, no. 7, Springer, 2014, pp. 871–91, doi:10.1007/s11005-014-0693-2.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2187 | OA
Bloem, Roderick, et al. “Synthesizing Robust Systems.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 193–220, doi:10.1007/s00236-013-0191-5.
View | Files available | DOI
 
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 | Conference Paper | IST-REx-ID: 2189 | OA
Morvant, Emilie. Adaptation de Domaine de Vote de Majorité Par Auto-Étiquetage Non Itératif. Vol. 1, Elsevier, 2014, pp. 49–58.
View | Download Preprint (ext.)
 

Search

Filter Publications