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.

289 Publications


2010 | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee K, Henzinger TA. 2010. Probabilistic Automata on infinite words: decidability and undecidability results. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 6252, 1–16.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Qualitative analysis of partially-observable Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 258–269.
[Submitted Version] View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 5940
Juhás G, Kazlov I, Juhásová A. 2010.Instance Deadlock: A Mystery behind Frozen Programs. In: Applications and Theory of Petri Nets. , 1–17.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 598 | OA
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. 2010. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 17(6), 753–760.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 6142 | OA
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. 2010. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 5(11), e13922.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Book Chapter | IST-REx-ID: 619
Zacharasiewicz W, Kirsch F. 2010.“This is a fundamentalist town”: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House. In: Social and cultural interaction and literary landscapes in the Canadian West : impressions of an exploratory field trip and academic interaction in the Canadian West : Rapports interculturels et paysages littéraires dans l’Ouest canadien. , 173–179.
View
 

2010 | Journal Article | IST-REx-ID: 6198
Zhou L, Li F, Xu H, Luo C, Wu H, Zhu M, Lu W, Ji X, Zhou Q, Zhu D. 2010. Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. 16(12), 1439–1443.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 6320 | OA
Bretèche R de la, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010(646), 1–44.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7079
Drymiotis FR, Drye TB, Wang Y, He J, Rhodes D, Modic KA, Cawthorne S, Zhang QR. 2010. Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. 107(3), 033519.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 7318
Giordani V, Freunberger SA, Bruce PG, Tarascon J-M, Larcher D. 2010. H2O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells. Electrochemical and Solid-State Letters. 13(12), A180.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 754
Alistarh D-A, Attiya H, Gilbert S, Giurgiu A, Guerraoui R. 2010. Fast randomized test-and-set and renaming. DISC: Distributed Computing, LNCS, vol. 6343 LNCS, 94–108.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 755
Alistarh D-A, Gilbert S, Guerraoui R, Zadimoghaddam M. 2010. How efficient can gossip be? (On the cost of resilient information exchange). ICALP: International Colloquium on Automota, Languages and Programming, LNCS, vol. 6199 LNCS, 115–126.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 756
Alistarh D-A, Gilbert S, Guerraoui R, Milošević Ž, Newport C. 2010. Securing every bit: Authenticated broadcast in radio networks. SPAA: Symposium on Parallelism in Algorithms and Architectures, 50–59.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 758
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2010. Brief announcement: New bounds for partially synchronous set agreement. DISC: Distributed Computing, LNCS, vol. 6343 LNCS, 404–405.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 89
Wright I, Higginbotham AP, Baker S, Donnelly T. 2010. Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. 2(8), 2360–2364.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 891
Innan H, Kondrashov F. 2010. The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. 11(2), 97–108.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9012 | OA
Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. 104(13), 138302.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9013 | OA
Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. 105(8), 088304.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 901
Breen M, Kondrashov F. 2010. Mitochondrial pathogenic mutations are population-specific. Biology Direct. 5.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9145
Canuto VM, Howard AM, Cheng Y, Muller CJ, Leboissetier A, Jayne SR. 2010. Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. 34(3–4), 70–91.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman PA, Muller CJ. 2010. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 5(2), 025207.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 920
Angelini T, Hannezo EB, Trepat X, Fredberg J, Weitz D. 2010. Cell migration driven by cooperative substrate deformation patterns. Physical Review Letters. 104(16).
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9485 | OA
Zemach A, Kim MY, Silva P, Rodrigues JA, Dotson B, Brooks MD, Zilberman D. 2010. Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. 107(43), 18729–18734.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 9489 | OA
Zemach A, Zilberman D. 2010. Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. 20(17), R780–R785.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 8473
Corazza A, Rennella E, Schanda P, Mimmi MC, Cutuil T, Raimondi S, Giorgetti S, Fogolari F, Viglino P, Frydman L, Gal M, Bellotti V, Brutscher B, Esposito G. 2010. Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein β2-Microglobulin revealed by real-time two-dimensional NMR. Journal of Biological Chemistry. 285(8), 5827–5835.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 8472
Schanda P, Meier BH, Ernst M. 2010. Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. 132(45), 15957–15967.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 8507
Kaloshin V, ZHANG K, ZHENG Y. 2010. Almost dense orbit on energy surface. XVIth International Congress on Mathematical Physics. International Congress on Mathematical Physics, 314–322.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 8506
Hunt BR, Kaloshin V. 2010.Prevalence. In: Handbook of Dynamical Systems. vol. 3, 43–87.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 857
Povolotskaya I, Kondrashov F. 2010. Sequence space and the ongoing expansion of the protein universe. Nature. 465(7300), 922–926.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 862
Meer M, Kondrashov A, Artzy Randrup Y, Kondrashov F. 2010. Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. 464(7286), 279–282.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 872
Kondrashov F, Kondrashov A. 2010. Measurements of spontaneous rates of mutations in the recent past and the near future. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1544), 1169–1176.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 884
Kondrashov A, Povolotskaya I, Ivankov D, Kondrashov F. 2010. Rate of sequence divergence under constant selection. Biology Direct. 5.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9452
Zemach A, McDaniel IE, Silva P, Zilberman D. 2010. Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. 328(5980), 916–919.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. 2010. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 8(7), e1000429.
[Published Version] View | Files available | DOI
 

2010 | Research Data Reference | IST-REx-ID: 9764
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. 2010. Heterosis and the drift load, Public Library of Science, 10.1371/journal.pbio.1000429.s003.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 12199
Feng X, Dickinson HG. 2010. Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. 137(14), 2409–2416.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 12200
Feng X, Dickinson HG. 2010. Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. 38(2), 571–576.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13410
Coskun A, Wesson PJ, Klajn R, Trabolsi A, Fang L, Olson MA, Dey SK, Grzybowski BA, Stoddart JF. 2010. Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. 132(12), 4310–4320.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13409 | OA
Klajn R. 2010. Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. 82(12), 2247–2279.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 13412
Klajn R, Stoddart JF, Grzybowski BA. 2010. Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. 39(6), 2203–2237.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13411
Klajn R, Browne KP, Soh S, Grzybowski BA. 2010. Nanoparticles that “remember” temperature. Small. 6(13), 1385–1387.
View | DOI | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Chatterjee K, Majumdar R. 2010. Discounting in games across time scales. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 22–29.
[Published Version] View | Files available | DOI | arXiv
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke H. 2010.   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
View
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3785
Palero F, Abello P, Macpherson E, Matthee C, Pascual M. 2010. Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata). Journal of Crustacean Biology. 30(4), 658–663.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 7703
Sweeney LB, Luo L. 2010. ‘Fore brain: A hint of the ancestral cortex. Cell. 142(5), 679–681.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 14983
Schlögl A, Vidaurre C, Müller K-R. 2010.Adaptive Methods in BCI Research - An Introductory Tutorial. In: Brain-Computer Interfaces. The Frontiers Collection, , 331–355.
View | DOI
 

Filters and Search Terms

year=2010

Search

Filter Publications