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.
12243 Publications
2012 |
Published |
Report |
IST-REx-ID: 5398 |
Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
[Published Version]
View
| Files available
2012 |
Published |
Conference Paper |
IST-REx-ID: 5745 |
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” 10th International Symposium on Automated Technology for Verification and Analysis, vol. 7561, Springer Nature, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.
[Submitted Version]
View
| Files available
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 5839 |
Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets.” Procedia Technology, vol. 4, Elsevier, 2012, pp. 820–24, doi:10.1016/j.protcy.2012.05.134.
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 596 |
Bernecky, Carrie, and Dylan Taatjes. “Activator-Mediator Binding Stabilizes RNA Polymerase II Orientation within the Human Mediator-RNA Polymerase II-TFIIF Assembly.” Journal of Molecular Biology, vol. 417, no. 5, Elsevier, 2012, pp. 387–94, doi:10.1016/j.jmb.2012.02.014.
View
| DOI
| Download None (ext.)
2012 |
Published |
Journal Article |
IST-REx-ID: 6136 |
Busch, Karl Emanuel, et al. “Tonic Signaling from O2 Sensors Sets Neural Circuit Activity and Behavioral State.” Nature Neuroscience, vol. 15, no. 4, Springer Nature, 2012, pp. 581–91, doi:10.1038/nn.3061.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 1987
Schweizer, Jakob, et al. “Geometry Sensing by Self-Organized Protein Patterns.” PNAS, vol. 109, no. 38, National Academy of Sciences, 2012, pp. 15283–88, doi:10.1073/pnas.1206953109.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2073
Zhou, Qi, et al. “Deciphering Neo-Sex and B Chromosome Evolution by the Draft Genome of Drosophila Albomicans.” BMC Genomics, vol. 13, no. 1, BioMed Central, 2012, doi:10.1186/1471-2164-13-109.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2079
Hildebrand, Kristian, et al. “Crdbrd: Shape Fabrication by Sliding Planar Slices.” Computer Graphics Forum, vol. 31, no. 2pt3, Wiley-Blackwell, 2012, pp. 583–92, doi:10.1111/j.1467-8659.2012.03037.x.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 10387 |
Šarić, Anđela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.” Physical Review Letters, vol. 109, no. 18, 188101, American Physical Society, 2012, doi:10.1103/physrevlett.109.188101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 10388 |
Šarić, Anđela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.” Physical Review Letters, vol. 108, no. 11, 118101, American Physical Society, 2012, doi:10.1103/physrevlett.108.118101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 1055
Erne, Barbara, et al. “Bulla in the Lung.” The Lancet, vol. 380, no. 9849, Elsevier, 2012, doi:10.1016/S0140-6736(12)60690-4.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 1056 |
Mark, Manfred, et al. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.” Physical Review Letters, vol. 108, no. 21, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.215302.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Conference Paper |
IST-REx-ID: 10750 |
Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry Study of Multiply Connected BSCCO Arrays near Tc.” APS March Meeting 2012, vol. 57, no. 1, X21.00008, American Physical Society, 2012.
[Published Version]
View
| Download Published Version (ext.)
2012 |
Published |
Conference Paper |
IST-REx-ID: 762
Alistarh, Dan-Adrian, et al. On the Cost of Composing Shared-Memory Algorithms. ACM, 2012, pp. 298–307, doi:10.1145/2312005.2312057.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 763
Alistarh, Dan-Adrian, et al. Early Deciding Synchronous Renaming in O(Log f) Rounds or Less. Vol. 7355 LNCS, Springer, 2012, pp. 195–206, doi:10.1007/978-3-642-31104-8_17.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 764
Alistarh, Dan-Adrian, et al. “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.” Algorithmica (New York), vol. 62, no. 1–2, Springer, 2012, pp. 595–629, doi:10.1007/s00453-011-9581-7.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 766
Alistarh, Dan-Adrian, et al. How to Allocate Tasks Asynchronously. IEEE, 2012, pp. 331–40, doi:10.1109/FOCS.2012.41.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 767
Alistarh, Dan-Adrian, et al. “Generating Fast Indulgent Algorithms.” Theory of Computing Systems, vol. 51, no. 4, Elsevier, 2012, pp. 404–24, doi:10.1007/s00224-012-9407-2.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 7748
Robinson, Matthew Richard, et al. “Environment-Dependent Selection on Mate Choice in a Natural Population of Birds.” Ecology Letters, vol. 15, no. 6, Wiley, 2012, pp. 611–18, doi:10.1111/j.1461-0248.2012.01780.x.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 7749
Robinson, Matthew Richard, et al. “Senescence and Age-Specific Trade-Offs between Reproduction and Survival in Female Asian Elephants.” Ecology Letters, vol. 15, no. 3, Wiley, 2012, pp. 260–66, doi:10.1111/j.1461-0248.2011.01735.x.
View
| DOI