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.




3481 Publications

2015 | Journal Article | IST-REx-ID: 1856 | OA
Chatterjee, Krishnendu, et al. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM, vol. 62, no. 1, 9, ACM, 2015, doi:10.1145/2699430.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1857 | OA
Pentina, Anastasia, et al. Curriculum Learning of Multiple Tasks. IEEE, 2015, pp. 5492–500, doi:10.1109/CVPR.2015.7299188.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1858 | OA
Lampert, Christoph. Predicting the Future Behavior of a Time-Varying Probability Distribution. IEEE, 2015, pp. 942–50, doi:10.1109/CVPR.2015.7298696.
View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1859 | OA
Shah, Neel, et al. A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly Max-Oracle. IEEE, 2015, pp. 2737–45, doi:10.1109/CVPR.2015.7298890.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1860 | OA
Royer, Amélie, and Christoph Lampert. Classifier Adaptation at Prediction Time. IEEE, 2015, pp. 1401–09, doi:10.1109/CVPR.2015.7298746.
View | DOI | Download Submitted Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1861
Ruess, Jakob, and John Lygeros. “Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks.” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2, 8, ACM, 2015, doi:10.1145/2688906.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1864 | OA
Erdös, László, and Antti Knowles. “The Altshuler–Shklovskii Formulas for Random Band Matrices II: The General Case.” Annales Henri Poincare, vol. 16, no. 3, Springer, 2015, pp. 709–99, doi:10.1007/s00023-014-0333-5.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1865
Robert, Hélène, et al. “Plant Embryogenesis Requires AUX/LAX-Mediated Auxin Influx.” Development, vol. 142, no. 4, Company of Biologists, 2015, pp. 702–11, doi:10.1242/dev.115832.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1866
Henzinger, Thomas A., and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.” Communications of the ACM, vol. 58, no. 2, ACM, 2015, pp. 86–86, doi:10.1145/2701001.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1867
Hühner, Jens, et al. “Quantification of Riboflavin, Flavin Mononucleotide, and Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced Fluorescence Detection.” Electrophoresis, vol. 36, no. 4, Wiley, 2015, pp. 518–25, doi:10.1002/elps.201400451.
View | DOI
 

Search

Filter Publications