Please note that ISTA 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.

4966 Publications


2017 | Published | Journal Article | IST-REx-ID: 1367 | OA
Manteaux, P., Wojtan, C., Narain, R., Redon, S., Faure, F., & Cani, M. (2017). Adaptive physically based models in computer graphics. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12941
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2016.04.006
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 14205 | OA
Locatello, F., Khanna, R., Tschannen, M., & Jaggi, M. (2017). A unified optimization view on generalized matching pursuit and Frank-Wolfe. In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics (Vol. 54, pp. 860–868). Fort Lauderdale, FL, United States: ML Research Press.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 14206 | OA
Locatello, F., Tschannen, M., Rätsch, G., & Jaggi, M. (2017). Greedy algorithms for cone constrained optimization with convergence guarantees. In Advances in Neural Information Processing Systems. Long Beach, CA, United States.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 909 | OA
Akopyan, A., & Vysotsky, V. (2017). On the lengths of curves passing through boundary points of a planar convex shape. The American Mathematical Monthly. Mathematical Association of America. https://doi.org/10.4169/amer.math.monthly.124.7.588
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 910 | OA
Novak, S., & Barton, N. H. (2017). When does frequency-independent selection maintain genetic variation? Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.117.300129
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 911 | OA
Royer, A., Kolesnikov, A., & Lampert, C. (2017). Probabilistic image colorization (p. 85.1-85.12). Presented at the BMVC: British Machine Vision Conference, London, United Kingdom: BMVA Press. https://doi.org/10.5244/c.31.85
[Published Version] View | Files available | DOI | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 912 | OA
Deuchert, A. (2017). A lower bound for the BCS functional with boundary conditions at infinity. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/1.4996580
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 914 | OA
Giehr, J., Grasse, A. V., Cremer, S., Heinze, J., & Schrempf, A. (2017). Ant queens increase their reproductive efforts after pathogen infection. Royal Society Open Science. Royal Society, The. https://doi.org/10.1098/rsos.170547
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 915 | OA
Swoboda, P., & Andres, B. (2017). A message passing algorithm for the minimum cost multicut problem (Vol. 2017, pp. 4990–4999). Presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States: IEEE. https://doi.org/10.1109/CVPR.2017.530
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 916 | OA
Swoboda, P., Rother, C., Abu Alhaija, C., Kainmueller, D., & Savchynskyy, B. (2017). A study of lagrangean decompositions and dual ascent solvers for graph matching (Vol. 2017, pp. 7062–7071). Presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States: IEEE. https://doi.org/10.1109/CVPR.2017.747
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 917 | OA
Swoboda, P., Kuske, J., & Savchynskyy, B. (2017). A dual ascent framework for Lagrangean decomposition of combinatorial problems (Vol. 2017, pp. 4950–4960). Presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States: IEEE. https://doi.org/10.1109/CVPR.2017.526
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Thesis | PhD | IST-REx-ID: 938 | OA
Adamowski, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_842
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 939 | OA
Midya, B., & Konotop, V. (2017). Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.119.033905
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 941
Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 376–379). Santa Barbara, CA, United States: ACM. https://doi.org/10.1145/3092703.3098225
View | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 942
Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). S3: Syntax- and semantic-guided repair synthesis via programming by examples (Vol. F130154, pp. 593–604). Presented at the FSE: Foundations of Software Engineering, Paderborn, Germany: ACM. https://doi.org/10.1145/3106237.3106309
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 943 | OA
Zagórski, M. P., Tabata, Y., Brandenberg, N., Lutolf, M., Tkačik, G., Bollenbach, T., … Kicheva, A. (2017). Decoding of position in the developing neural tube from antiparallel morphogen gradients. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aam5887
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 944
Beattie, R. J., Postiglione, M. P., Burnett, L., Laukoter, S., Streicher, C., Pauler, F., … Hippenmeyer, S. (2017). Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells. Neuron. Cell Press. https://doi.org/10.1016/j.neuron.2017.04.012
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 9445 | OA
Lyons, D. B., & Zilberman, D. (2017). DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.30674
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 945 | OA
Huylmans, A. K., Macon, A., & Vicoso, B. (2017). Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msx190
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed