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

249 Publications


2010 | Journal Article | IST-REx-ID: 1046
Gustavsson M, Haller E, Mark M, et al. Interference of interacting matter waves. New Journal of Physics. 2010;12. doi:10.1088/1367-2630/12/6/065029
View | DOI
 

2010 | Journal Article | IST-REx-ID: 1301
Schnell B, Jösch MA, Förstner F, et al. Processing of horizontal optic flow in three visual interneurons of the Drosophila brain. Journal of Neurophysiology. 2010;103(3):1646-1657. doi:10.1152/jn.00950.2009
View | DOI
 

2010 | Journal Article | IST-REx-ID: 1774   OA
Bianchetti R, Filipp S, Baur M, et al. Control and tomography of a three level superconducting artificial atom. Physical Review Letters. 2010;105(22). doi:10.1103/PhysRevLett.105.223601
View | DOI | Download (ext.)
 

2010 | Thesis | IST-REx-ID: 2075
Bickel B. Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces. Vol 499. Unknown; 2010. doi:dx.doi.org/10.3929/ethz-a-006354908
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2195   OA
Lemeshko M, Jambrina P, De Miranda M, Friedrich B. Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions. Journal of Chemical Physics. 2010;132(16). doi:10.1063/1.3386530
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2506
Furuya S, Furuya K, Shigemoto R, Sokabe M. Localization of NK1 receptors and roles of substance-P in subepithelial fibroblasts of rat intestinal villi. Cell and Tissue Research. 2010;342(2):243-259. doi:10.1007/s00441-010-1056-7
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2392   OA
Frank R, Lieb É, Seiringer R, Thomas L. Bipolaron and N-polaron binding energies. Physical Review Letters. 2010;104(21). doi:10.1103/PhysRevLett.104.210402
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 2309
Stauber T, Novarino G, Jentsch T. The CLC family of chloride channels and transporters. In: Physiology and Pathology of Chloride Transporters and Channels in the Nervous System. Elsevier; 2010:209-231. doi:10.1016/B978-0-12-374373-2.00012-1
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2311
Rickheit G, Wartosch L, Schaffer S, et al. Role of ClC-5 in renal endocytosis is unique among ClC exchangers and does not require PY-motif-dependent ubiquitylation. Journal of Biological Chemistry. 2010;285(23):17595-17603. doi:10.1074/jbc.M110.115600
View | DOI
 

2010 | Journal Article | IST-REx-ID: 232   OA
De La Bretèche R, Browning T. Le problème des diviseurs pour des formes binaires de degré 4. Journal fur die Reine und Angewandte Mathematik. 2010;(646):1-44. doi:10.1515/CRELLE.2010.064
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2323   OA
Seiringer R. Hot topics on cold gases. In: World Scientific Publishing; 2010:231-245. doi:10.1142/9789814304634_0013
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2873
Krouk G, Lacombe B, Bielach A, et al. Nitrate-regulated auxin transport by NRT1.1 defines a mechanism for nutrient sensing in plants. Developmental Cell. 2010;18(6):927-937. doi:10.1016/j.devcel.2010.05.008
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3066
Łangowski Ł, Růžička K, Naramoto S, Kleine Vehn J, Friml J. Trafficking to the outer polar domain defines the root soil interface. Current Biology. 2010;20(10):904-908. doi:10.1016/j.cub.2010.03.059
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 2979   OA
Almeida J, Bangerter E, Barbosa M, Krenn S, Sadeghi A, Schneider T. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. In: Gritzalis D, Preneel B, Theoharidou M, eds. Vol 6345. Springer; 2010:151-167. doi:10.1007/978-3-642-15497-3
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 3078
Sauer M, Friml J. Immunolocalization of proteins in plants . In: Hennig L, Köhler C, eds. Plant Developmental Biology. Vol 655. Humana Press; 2010:253-263. doi:10.1007/978-1-60761-765-5_17
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3080
Kleine Vehn J, Ding Z, Jones A, Tasaka M, Morita M, Friml J. Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells. PNAS. 2010;107(51):22344-22349. doi:10.1073/pnas.1013145107
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3201
Vicente S, Kolmogorov V, Rother C. Cosegmentation revisited: Models and optimization. In: Vol 6312. Springer; 2010:465-479. doi:10.1007/978-3-642-15552-9_34
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3237
Kiltz E, Pietrzak KZ. Leakage resilient ElGamal encryption. In: Vol 6477. Springer; 2010:595-612. doi:10.1007/978-3-642-17373-8_34
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3294
Iyengar A, Chakraborty Tuhin S, Goswami S, Wu C, Siddiqi O. Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila. PNAS. 2010;107(21):9855-9860. doi:10.1073/pnas.1003856107
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3749   OA
Park H, Guet CC, Emonet T, Cluzel P. Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay. Current Microbiology. 2010;62(3):764-769. doi:10.1007/s00284-010-9778-z
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3782
Chen C, Freedman D. Topology noise removal for curve  and surface evolution. In: Conference Proceedings MCV 2010. Vol 6533. Springer; 2010:31-42. doi:10.1007/978-3-642-18421-5_4
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3787   OA
Palero F, Hall S, Clark P, Johnston D, Mackenzie Dodds J, Thatje S. DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. 2010;74(3):465-470. doi:10.3989/scimar.2010.74n3465
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3794
Lampert C, Krömer O. Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning. In: Vol 6312. Springer; 2010:566-579. doi:10.1007/978-3-642-15552-9_41
View | DOI | Download (ext.)
 

2010 | Book Review | IST-REx-ID: 3403
Pleydell Bouverie B, Csicsvari JL. Rate remapping: When the code goes beyond space (preview). Neuron. 2010;68(6):1015-1016. doi:10.1016/j.neuron.2010.12.011
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3441
Dupret D, O’Neill J, Pleydell Bouverie B, Csicsvari JL. The reorganization and reactivation of hippocampal maps predict spatial memory performance. Nature Neuroscience. 2010;13(8):995-1002. doi:10.1038/nn.2599
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3592
Carvalho L, Heisenberg C. Imaging zebrafish embryos by two-photon excitation time-lapse microscopy. Methods in Molecular Biology. 2010;546(Part 5):273-287. doi:10.1007/978-1-60327-977-2_17
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3686
Nowozin S, Lampert C. Global interactions in random field models: A potential function ensuring connectedness. SIAM Journal on Imaging Sciences. 2010;3(4 (Special Section on Optimization in Imaging Sciences)):1048-1074. doi:10.1137/090752614
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3713
Lampert C. An efficient divide-and-conquer cascade for nonlinear object detection. In: IEEE; 2010:1022-1029. doi:10.1109/CVPR.2010.5540107
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3718
Guzmán J, Schmidt H, Franke H, et al. P2Y1 receptors inhibit long-term depression in the prefrontal cortex. Neuropharmacology. 2010;59(6):406-415. doi:10.1016/j.neuropharm.2010.05.013
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3833
Jonas PM, Hefft S. GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova). The European Journal of Neuroscience. 2010;31(7):1194-1195. doi:10.1111/j.1460-9568.2010.07189.x
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838   OA
Henzinger TA, Mateescu M, Mikeev L, Wolf V. Hybrid numerical solution of the chemical master equation. In: Springer; 2010:55-65. doi:10.1145/1839764.1839772
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3840
Henzinger TA. From boolean to quantitative notions of correctness. In: Vol 45. ACM; 2010:157-158. doi:10.1145/1706299.1706319
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3852   OA
Chatterjee K, Majumdar R. Discounting in games across time scales. In: Vol 25. EPTCS; 2010:22-29. doi:10.4204/EPTCS.25.6
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3845   OA
Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. Aligators for arrays. In: Vol 6397. Springer; 2010:348-356. doi:10.1007/978-3-642-16242-8_25
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3958
Mohan H, Krumbholz M, Sharma R, et al. Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells. Brain Pathology. 2010;20(5):966-975. doi:10.1111/j.1750-3639.2010.00399.x
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3960   OA
Weber M, Sixt MK. MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. 2010;29(17):2861-2863. doi:10.1038/emboj.2010.183
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 4134
Bridle J, Polechova J, Kawata M, Butlin R. Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. 2010;13(4):485-494. doi:10.1111/j.1461-0248.2010.01442.x
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh V. Runtime verification for software transactional memories. In: Sokolsky O, Rosu G, Tilmann N, et al., eds. Vol 6418. Springer; 2010:421-435. doi:10.1007/978-3-642-16612-9_32
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4379   OA
Jones K, Konrad V, Nickovic D. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 2010;36(2):114-130. doi:10.1007/s10703-009-0085-x
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4381   OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71 
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489   OA
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? . In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee K, Henzinger TA. Probabilistic Automata on infinite words: decidability and undecidability results. In: Vol 6252. Springer; 2010:1-16. doi:10.1007/978-3-642-15643-4_1
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391   OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001
View | Files available | DOI
 

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

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

2010 | Conference Paper | IST-REx-ID: 756
Alistarh D, Gilbert S, Guerraoui R, Milošević Ž, Newport C. Securing every bit: Authenticated broadcast in radio networks. In: ACM; 2010:50-59. doi:10.1145/1810479.1810489
View | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 3864
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments. In: Vol 6174. Springer; 2010:380-395. doi:10.1007/978-3-642-14295-6_34
View | Files available | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4393
Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:10.1007/978-3-642-15375-4_18
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389
Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003
View | Files available | DOI
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed