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.

4171 Publications


2017 | Conference Paper | IST-REx-ID: 549 | OA
Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” Electronic Proceedings in Theoretical Computer Science, vol. 259, Open Publishing Association, 2017, pp. 31–38, doi:10.4204/EPTCS.259.3.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
Pentina, Anastasia, and Christoph Lampert. Multi-Task Learning with Labeled and Unlabeled Tasks. Vol. 70, ML Research Press, 2017, pp. 2807–16.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 459 | OA
Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” Rundgespräche Forum Ökologie, vol. 46, Verlag Dr. Friedrich Pfeil, 2017, pp. 105–16.
[Published Version] View | Files available
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
Zhang, Hantian, et al. “ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning.” Proceedings of Machine Learning Research, vol. 70, ML Research Press, 2017, pp. 4035–43.
[Submitted Version] View | Files available
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” Proceedings of the 31st Conference On Learning Theory, vol. 75, ML Research Press, 2017, pp. 228–49.
[Published Version] View | Files available | arXiv
 

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, Verein Informationspraxis , 2017, doi:10.11588/ip.2017.1.35227.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 12193 | OA
Walker, James, et al. “Sexual-Lineage-Specific DNA Methylation Regulates Meiosis in Arabidopsis.” Nature Genetics, vol. 50, no. 1, Nature Research, 2017, pp. 130–37, doi:10.1038/s41588-017-0008-5.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Book Chapter | IST-REx-ID: 545 | OA
Mazur, Ewa, and Jiří Friml. “Vascular Tissue Development and Regeneration in the Model Plant Arabidopsis.” Plant Engineering, edited by Snježana Jurić, InTech, 2017, pp. 113–40, doi:10.5772/intechopen.69712.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 621 | OA
Beattie, Robert J., and Simon Hippenmeyer. “Mechanisms of Radial Glia Progenitor Cell Lineage Progression.” FEBS Letters, vol. 591, no. 24, Wiley-Blackwell, 2017, pp. 3993–4008, doi:10.1002/1873-3468.12906.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Research Data | IST-REx-ID: 5562 | OA
Marre, Olivier, et al. Multi-Electrode Array Recording from Salamander Retinal Ganglion Cells. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:61.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5561 | OA
Kainmueller, Dagmar, et al. Graph Matching Problems for Annotating C. Elegans. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:57.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5563 | OA
Lukacisin, Martin. MATLAB Analysis Code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:64.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839 | OA
Hahn, David. Brittle Fracture Simulation with Boundary Elements for Computer Graphics. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_855.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 614 | OA
Fraisse, Christelle, et al. “The Deep Conservation of the Lepidoptera Z Chromosome Suggests a Non Canonical Origin of the W.” Nature Communications, vol. 8, no. 1, 1486, Nature Publishing Group, 2017, doi:10.1038/s41467-017-01663-5.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Research Data | IST-REx-ID: 5564 | OA
Steinrück, Magdalena, and Calin C. Guet. Fastq Files for “Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.” Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:65.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5568 | OA
Hahn, David. Source Codes: Brittle Fracture Simulation with Boundary Elements for Computer Graphics. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:73.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 7163 | OA
Fraisse, Christelle. Supplementary Files for “The Deep Conservation of the Lepidoptera Z Chromosome Suggests a Non Canonical Origin of the W.” Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:7163.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5570 | OA
Hauschild, Robert. Forward Migration Indexes. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:75.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5567 | OA
Leithner, Alexander F. Immunological Synapse DC-Tcells. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:71.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications