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.

9084 Publications


2013 | Journal Article | IST-REx-ID: 13406
Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 2013;25(3):422-426. doi:10.1002/adma.201201734
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2914 | OA
Stephens G, Mora T, Tkačik G, Bialek W. Statistical thermodynamics of natural images. Physical Review Letters. 2013;110(1). doi:10.1103/PhysRevLett.110.018701
[Published Version] View | Files available | DOI | arXiv
 

2013 | Book Chapter | IST-REx-ID: 10900
Weber M, Sixt MK. Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations. In: Cardona A, Ubogu E, eds. Chemokines. Vol 1013. MIMB. Totowa, NJ: Humana Press; 2013:215-226. doi:10.1007/978-1-62703-426-5_14
View | DOI | PubMed | Europe PMC
 

2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi:10.1007/978-3-642-39799-8_11
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 10902
Chatterjee K, Chaubal S, Rubin S. How to travel between languages. In: 7th International Conference on Language and Automata Theory and Applications. Vol 7810. LNCS. Berlin, Heidelberg: Springer Nature; 2013:214-225. doi:10.1007/978-3-642-37064-9_20
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 10897
Edelsbrunner H. Persistent homology in image processing. In: Graph-Based Representations in Pattern Recognition. Vol 7877. LNCS. Berlin, Heidelberg: Springer Nature; 2013:182-183. doi:10.1007/978-3-642-38221-5_19
View | DOI
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Thesis | IST-REx-ID: 1406
Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. 2013.
View
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky B, Reiter J, Chatterjee K, Nowak M. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 2013;8(12). doi:10.1371/journal.pone.0080814
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2858 | OA
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 2013;6(1):34-45. doi:10.1111/eva.12020
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816 | OA
Božić I, Reiter J, Allen B, et al. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2013;2. doi:10.7554/eLife.00747
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter J, Božić I, Chatterjee K, Nowak M. TTP: Tool for tumor progression. In: Proceedings of 25th Int. Conf. on Computer Aided Verification. Vol 8044. Lecture Notes in Computer Science. Springer; 2013:101-106. doi:10.1007/978-3-642-39799-8_6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis for concurrency by semantics-preserving transformations. In: Vol 8044. Springer; 2013:951-967. doi:10.1007/978-3-642-39799-8_68
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2926
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 2013;23(1):76-82. doi:10.1016/j.cub.2012.11.034
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. In: 28th Annual ACM/IEEE Symposium. IEEE; 2013:331-340. doi:10.1109/LICS.2013.39
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee K, Kößler A, Schmid U. Automated analysis of real-time scheduling using graph games. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. ACM; 2013:163-172. doi:10.1145/2461328.2461356
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2272 | OA
Takhanov R, Kolmogorov V. Inference algorithms for pattern-based CRFs on sequence data. In: ICML’13 Proceedings of the 30th International Conference on International. Vol 28. ML Research Press; 2013:145-153.
[Submitted Version] View | Files available | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. 2013;8(10). doi:10.4161/psb.25688
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt D, Bergmiller T, Kümmerli R. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 2013;280(1759). doi:10.1098/rspb.2012.3035
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Research Data Reference | IST-REx-ID: 9751 | OA
Refardt D, Bergmiller T, Kümmerli R. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. 2013. doi:10.5061/dryad.b1q2n
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 7785
Joo WJ, Sweeney LB, Liang L, Luo L. Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. 2013;78(4):673-686. doi:10.1016/j.neuron.2013.03.022
View | DOI
 

2013 | Report | IST-REx-ID: 2274 | OA
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of Space. IST Austria; 2013.
[Published Version] View | Files available
 

2013 | Journal Article | IST-REx-ID: 15162
Woehrmann MH, Bray WM, Durbin JK, et al. Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. 2013;9(11). doi:10.1039/c3mb70245f
View | DOI
 

2012 | Journal Article | IST-REx-ID: 10387 | OA
Šarić A, Cacciuto A. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 2012;109(18). doi:10.1103/physrevlett.109.188101
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 10388 | OA
Šarić A, Cacciuto A. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 2012;108(11). doi:10.1103/physrevlett.108.118101
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 1055
Erne B, Graff M, Klemm W, Danzl JG, Leschber G. Bulla in the lung. The Lancet. 2012;380(9849). doi:10.1016/S0140-6736(12)60690-4
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1056 | OA
Mark M, Haller E, Lauber K, et al. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 2012;108(21). doi:10.1103/PhysRevLett.108.215302
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 10750 | OA
Polshyn H, Budakian R. Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. In: APS March Meeting 2012. Vol 57. American Physical Society; 2012.
[Published Version] View | Download Published Version (ext.)
 

2012 | Book Chapter | IST-REx-ID: 10896
zur Nedden S, Doney AS, Frenguelli BG. The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Masino S, Boison D, eds. Adenosine. 1st ed. New York: Springer; 2012:109-129. doi:10.1007/978-1-4614-3903-5_6
View | DOI
 

2012 | Journal Article | IST-REx-ID: 11089
Gomez-Cavazos JS, Hetzer M. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 2012;24(6):775-783. doi:10.1016/j.ceb.2012.08.008
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11091
Vargas JD, Hatch EM, Anderson DJ, Hetzer M. Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. 2012;3(1):88-100. doi:10.4161/nucl.18954
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11093 | OA
D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 2012;22(2):446-458. doi:10.1016/j.devcel.2011.11.021
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11092
Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. Extremely long-lived nuclear pore proteins in the rat brain. Science. 2012;335(6071):942-942. doi:10.1126/science.1217421
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11090 | OA
Hatch EM, Hetzer M. RNP export by nuclear envelope budding. Cell. 2012;149(4):733-735. doi:10.1016/j.cell.2012.04.018
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 113
Waitukaitis SR, Jaeger H. Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. 2012;487(7406):205-209. doi:10.1038/nature11187
View | DOI
 

2012 | Journal Article | IST-REx-ID: 114 | OA
Waitukaitis SR, Jaeger H. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 2012;29(1E):1E31-1E33.
[Published Version] View | Files available
 

2012 | Conference Paper | IST-REx-ID: 11656
Dütting P, Henzinger MH, Weber I. Maximizing revenue from strategic recommendations under decaying trust. In: Proceedings of the 21st ACM International Conference on Information and Knowledge Management. Association for Computing Machinery; 2012:2268-2286. doi:10.1145/2396761.2398621
View | DOI
 

2012 | Journal Article | IST-REx-ID: 11751
Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 2012;47(15):5729-5734. doi:10.1007/s10853-012-6463-6
[Preprint] View | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 11794 | OA
Dütting P, Henzinger MH, Starnberger M. Auctions with heterogeneous items and budget limits. In: 8th International Workshop on Internet and Network Economics. Vol 7695. Springer Nature; 2012:44–57. doi:10.1007/978-3-642-35311-6_4
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi R, Henzinger MH, Leonardi S, Starnberger M. On multiple keyword sponsored search auctions with budgets. In: 39th International Colloquium on Automata, Languages, and Programming. Vol 7392. Springer Nature; 2012:1–12. doi:10.1007/978-3-642-31585-5_1
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 11964
Pieber B, Cantillo D, Kappe CO. Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. 2012;18(16):5047-5055. doi:10.1002/chem.201103748
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11963
Kumar GS, Pieber B, Reddy KR, Kappe CO. Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. 2012;18(20):6124-6128. doi:10.1002/chem.201200815
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 12644 | OA
Ragettli S, Pellicciotti F. Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. 2012;48(3). doi:10.1029/2011wr010559
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12646 | OA
Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. 2012;32(1):39-50. doi:10.1659/mrd-journal-d-11-00092.1
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12647 | OA
Immerzeel WW, Pellicciotti F, Shrestha AB. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 2012;32(1):30-38. doi:10.1659/mrd-journal-d-11-00097.1
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12648 | OA
Reid TD, Carenzo M, Pellicciotti F, Brock BW. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 2012;117(D18). doi:10.1029/2012jd017795
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 2012;175(3):1329-1407. doi:10.4007/annals.2012.175.3.7
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
Hausel T, Pauly C. Prym varieties of spectral covers. Geometry and Topology. 2012;16(3):1609-1638. doi:10.2140/gt.2012.16.1609
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 171 | OA
Browning TD, Baier S. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2012;2013(680):1-65. doi:https://doi.org/10.1515/crelle.2012.039
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1725
Kicheva A, Cohen M, Briscoe J. Developmental pattern formation: Insights from physics and biology. Science. 2012;338(6104):210-212. doi:10.1126/science.1225182
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1757 | OA
Zhang J, Katsaros G, Montalenti F, et al. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 2012;109(8). doi:10.1103/PhysRevLett.109.085502
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1758 | OA
Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 2012;109(18). doi:10.1103/PhysRevLett.109.186802
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1756 | OA
Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. 2012;12(6):3074-3079. doi:10.1021/nl300930m
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1783 | OA
Mlynek J, Abdumalikov A, Fink JM, et al. Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 2012;86(5). doi:10.1103/PhysRevA.86.053838
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1782 | OA
Pechal M, Berger S, Abdumalikov A, et al. Geometric phase and nonadiabatic effects in an electronic harmonic oscillator. Physical Review Letters. 2012;108(17). doi:10.1103/PhysRevLett.108.170401
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1784
Eichler C, Lang C, Fink JM, Govenius J, Filipp S, Wallraff A. Observation of entanglement between itinerant microwave photons and a superconducting qubit. Physical Review Letters. 2012;109(24). doi:10.1103/PhysRevLett.109.240501
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1801
Siegert S, Cabuy E, Scherf B, et al. Transcriptional code and disease map for adult retinal cell types. Nature Neuroscience. 2012;15(3):487-495. doi:10.1038/nn.3032
View | DOI
 

2012 | Book Review | IST-REx-ID: 1976
Efremov R, Sazanov LA. The coupling mechanism of respiratory complex i - A structural and evolutionary perspective. Biochimica et Biophysica Acta - Bioenergetics. 2012;1817(10):1785-1795. doi:10.1016/j.bbabio.2012.02.015
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1972
Efremov R, Sazanov LA. Structure of Escherichia coli OmpF porin from lipidic mesophase. Journal of Structural Biology. 2012;178(3):311-318. doi:10.1016/j.jsb.2012.03.005
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1987
Schweizer J, Loose M, Bonny M, Kruse K, Mönch I, Schwille P. Geometry sensing by self-organized protein patterns. PNAS. 2012;109(38):15283-15288. doi:10.1073/pnas.1206953109
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2048 | OA
Faust S, Pietrzak KZ, Schipper J. Practical leakage-resilient symmetric cryptography. In: Conference Proceedings CHES 2012. Vol 7428. Springer; 2012:213-232. doi:10.1007/978-3-642-33027-8_13
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2049 | OA
Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. Lapin: An efficient authentication protocol based on ring-LPN. In: Conference Proceedings FSE 2012. Vol 7549. Springer; 2012:346-365. doi:10.1007/978-3-642-34047-5_20
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2073
Zhou Q, Zhu H, Huang Q, et al. Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans. BMC Genomics. 2012;13(1). doi:10.1186/1471-2164-13-109
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2079
Hildebrand K, Bickel B, Alexa M. crdbrd: Shape fabrication by sliding planar slices. Computer Graphics Forum. 2012;31(2pt3):583-592. doi:10.1111/j.1467-8659.2012.03037.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2103
Beeler T, Bickel B, Noris G, et al. Coupled 3D reconstruction of sparse facial hair and skin. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185613
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2101
Bac̈Her M, Bickel B, James D, Pfister H. Fabricating articulated characters from skinned meshes. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185543
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2102
Bickel B, Kaufmann P, Skouras M, et al. Physical face cloning. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185614
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2106
Miguel E, Bradley D, Thomaszewski B, et al. Data-driven estimation of cloth simulation models. In: Vol 31. Wiley-Blackwell; 2012:519-528. doi:10.1111/j.1467-8659.2012.03031.x
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2104
Otaduy M, Bickel B, Bradley D, Wang H. Data-driven simulation methods in computer graphics: Cloth, tissue and faces. In: ACM; 2012. doi:10.1145/2343483.2343495
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2105
Skouras M, Thomaszewski B, Bickel B, Groß M. Computational design of rubber balloons. In: Vol 31. Wiley-Blackwell; 2012:835-844. doi:10.1111/j.1467-8659.2012.03064.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2125 | OA
Hairer M, Maas J. A spatial version of the Itô-Stratonovich correction. Annals of Probability. 2012;40(4):1675-1714. doi:10.1214/11-AOP662
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2127 | OA
Erbar M, Maas J. Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis. 2012;206(3):997-1038. doi:10.1007/s00205-012-0554-z
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2128 | OA
Maas J, Van Neerven J, Portal P. Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure. Arkiv för Matematik. 2012;50(2):379-395. doi:10.1007/s11512-010-0143-z
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2203 | OA
Lemeshko M, Friedrich B. Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other. Molecular Physics. 2012;110(15-16):1873-1881. doi:10.1080/00268976.2012.689868
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2201 | OA
Lemeshko M, Krems R, Weimer H. Nonadiabatic preparation of spin crystals with ultracold polar molecules. Physical Review Letters. 2012;109(3). doi:10.1103/PhysRevLett.109.035301
View | Files available | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 2202 | OA
Alyabyshev S, Lemeshko M, Krems R. Sensitive imaging of electromagnetic fields with paramagnetic polar molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 2012;86(1). doi:10.1103/PhysRevA.86.013409
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2263 | OA
Liang H, Hippenmeyer S, Ghashghaei H. A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology open. 2012;1(12):1200-1203. doi:10.1242/bio.20122287
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2267 | OA
Preiner R, Jeschke S, Wimmer M. Auto splats: Dynamic point cloud visualization on the GPU. In: Eurographics Association; 2012:139-148. doi:10.2312/EGPGV/EGPGV12/139-148
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2262
Tasic B, Miyamichi K, Hippenmeyer S, et al. Extensions of MADM (Mosaic Analysis with Double Markers) in Mice . PLoS One. 2012;7(3). doi:10.1371/journal.pone.0033332
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2268 | OA
Auzinger T, Guthe M, Jeschke S. Analytic anti-aliasing of linear functions on polytopes. In: Vol 31. Wiley-Blackwell; 2012:335-344. doi:http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2302
Henzinger TA, Mateescu M. The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. 2012;10(2):310-322. doi:10.1109/TCBB.2012.91
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2313
Dixon Salazar T, Silhavy J, Udpa N, Schroth J, Bielas S, Schaffer A, Olvera J, Bafna V, Zaki M, Abdel Salam G, Mansour L, Selim L, Abdel Hadi S, Marzouki N, Ben Omran T, Al Saana N, Sönmez F, Celep F, Azam M, Hill K, Collazo A, Fenstermaker A, Novarino G, Akizu N, Garimella K, Sougnez C, Russ C, Gabriel S, Gleeson J. 2012. Exome sequencing can improve diagnosis and alter patient management. Science Translational Medicine. 4(138).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2314
Novarino G, El Fishawy P, Kayserili H, Meguid N, Scott E, Schroth J, Silhavy J, Kara M, Khalil R, Ben Omran T, Ercan Sencicek A, Hashish A, Sanders S, Gupta A, Hashem H, Matern D, Gabriel S, Sweetman L, Rahimi Y, Harris R, State M, Gleeson J. 2012. Mutations in BCKD-kinase lead to a potentially treatable form of autism with epilepsy. Science. 338(6105), 394–397.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer R. Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. 2012;2(3):321-328. doi:10.4171/JST/31
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2317 | OA
Frank R, Hainzl C, Seiringer R, Solovej J. Microscopic derivation of the Ginzburg-Landau model. In: World Scientific Publishing; 2012:575-583. doi:10.1142/9789814449243_0060
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2316 | OA
Frank R, Lieb É, Seiringer R, Thomas L. Ground state properties of multi-polaron systems. In: World Scientific Publishing; 2012:477-485. doi:10.1142/9789814449243_0045
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 237
De La Bretèche R, Browning TD, Peyre E. On Manin’s conjecture for a family of Châtelet surfaces. Annals of Mathematics. 2012;175(1):297-343. doi:10.4007/annals.2012.175.1.8
View | DOI
 

2012 | Journal Article | IST-REx-ID: 238
Baier S, Browning TD. Inhomogeneous quadratic congruences. Functiones et Approximatio, Commentarii Mathematici. 2012;47(2):267-286. doi:10.7169/facm/2012.47.2.9
View | DOI
 

2012 | Book Chapter | IST-REx-ID: 2399
Seiringer R. Cold quantum gases and bose einstein condensation. In: Rivasseau V, Seiringer R, Solovej J, Spencer T, eds. Quantum Many Body Systems. Vol 2051. Springer; 2012:55-92. doi:10.1007/978-3-642-29511-9_2
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2394
Freiji A, Hainzl C, Seiringer R. The gap equation for spin-polarized fermions. Journal of Mathematical Physics. 2012;53(1). doi:10.1063/1.3670747
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2395 | OA
Frank R, Hainzl C, Seiringer R, Solovej J. Microscopic derivation of Ginzburg-Landau theory. Journal of the American Mathematical Society. 2012;25(3):667-713. doi:10.1090/S0894-0347-2012-00735-8
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2396 | OA
Landon B, Seiringer R. The scattering length at positive temperature. Letters in Mathematical Physics. 2012;100(3):237-243. doi:10.1007/s11005-012-0566-5
View | DOI | Download (ext.)
 

2012 | Book Review | IST-REx-ID: 2398 | OA
Jakšić V, Ogata Y, Pillet C, Seiringer R. Quantum hypothesis testing and non-equilibrium statistical mechanics. Reviews in Mathematical Physics. 2012;24(6). doi:10.1142/S0129055X12300026
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2397 | OA
Hainzl C, Seiringer R. Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs. Letters in Mathematical Physics. 2012;100(2):119-138. doi:10.1007/s11005-011-0535-4
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 240
Browning TD, Valckenborgh KV. Sums of three squareful numbers. Experimental Mathematics. 2012;21(2):204-211. doi:10.1080/10586458.2011.605733
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2400 | OA
Frank R, Lieb É, Seiringer R. Binding of polarons and atoms at threshold. Communications in Mathematical Physics. 2012;313(2):405-424. doi:10.1007/s00220-012-1436-9
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2403 | OA
Seiringer R, Yngvason J, Zagrebnov V. Disordered Bose-Einstein condensates with interaction in one dimension. Journal of Statistical Mechanics Theory and Experiment. 2012;2012(11). doi:10.1088/1742-5468/2012/11/P11007
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2402 | OA
Frank R, Seiringer R. Lieb-Thirring inequality for a model of particles with point interactions. Journal of Mathematical Physics. 2012;53(9). doi:10.1063/1.3697416
View | DOI | Download (ext.)
 

Search

Filter Publications