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
 

2010 | Journal Article | IST-REx-ID: 3073
Dhonukshe P, Huang F, Galván Ampudia C, et al. Plasma membrane-bound AGC3 kinases phosphorylate PIN auxin carriers at TPRXS(N/S) motifs to direct apical PIN recycling. Development. 2010;137(19):3245-3255. doi:10.1242/dev.052456
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 1042
Danzl J, Mark M, Haller E, Gustavsson M, Hart R, Nägerl H. Production of a quantum gas of rovibronic ground-state molecules in an optical lattice. In: World Scientific Publishing; 2010:256-269. doi:10.1142/9789814282345_0024
View | DOI
 

2010 | Journal Article | IST-REx-ID: 1047   OA
Haller E, Hart R, Mark M, Danzl J, Reichsöllner L, Nägerl H. Inducing transport in a dissipation-free lattice with super bloch oscillations. Physical Review Letters. 2010;104(20). doi:10.1103/PhysRevLett.104.200403
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1465   OA
Hausel T. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 2010;181(1):21-37. doi:10.1007/s00222-010-0241-3
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2071
Mank J, Vicoso B, Berlin S, Charlesworth B. Effective population size and the Faster-X effect: Empirical results and their interpretation. Evolution. 2010;64(3):663-674. doi:10.1111/j.1558-5646.2009.00853.x
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2095   OA
Beeler T, Bickel B, Beardsley P, Sumner B, Groß M. High-quality single-shot capture of facial geometry. ACM Transactions on Graphics. 2010;29(4). doi:10.1145/1778765.1778777
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2196   OA
Lemeshko M, Friedrich B. Fine-tuning molecular energy levels by nonresonant laser pulses. Journal of Physical Chemistry A. 2010;114(36):9848-9854. doi:10.1021/jp1032299
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 2324   OA
Frank R, Seiringer R. Sharp fractional Hardy inequalities in half-spaces. In: Around the Research of Vladimir Maz’ya I. Vol 11. Springer; 2010:161-167. doi:10.1007/978-1-4419-1341-8_6
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2507
Parajuli L, Fukazawa Y, Watanabe M, Shigemoto R. Subcellular distribution of α1G subunit of T-type calcium channel in the mouse dorsal lateral geniculate nucleus. Journal of Comparative Neurology. 2010;518(21):4362-4374. doi:10.1002/cne.22461
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2761
Erdös L, Ramírez J, Schlein B, Yau H. Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation. Electronic Journal of Probability. 2010;15(18):526-603. doi:10.1214/EJP.v15-768
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2704
Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate. Annals of Mathematics. 2010;172(1):291-370. doi:10.4007/annals.2010.172.291
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3062
Hazak O, Bloch D, Poraty L, et al. A Rho scaffold integrates the secretory system with feedback mechanisms in regulation of auxin distribution. PLoS Biology. 2010;8(1). doi:10.1371/journal.pbio.1000282
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3067
Jelínková A, Malínská K, Simon S, et al. Probing plant membranes with FM dyes: Tracking dragging or blocking? Plant Journal. 2010;61(5):883-892. doi:10.1111/j.1365-313X.2009.04102.x
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3074
Ge L, Peer W, Robert S, et al. Arabidopsis ROOT UVB SENSITIVE2 WEAK AUXIN RESPONSE1 is required for polar auxin transport. Plant Cell. 2010;22(6):1749-1761. doi:10.1105/tpc.110.074195
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3079
Wabnik KT, Kleine Vehn J, Balla J, et al. Emergence of tissue polarization from synergy of intracellular and extracellular auxin signaling. Molecular Systems Biology. 2010;6. doi:10.1038/msb.2010.103
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3081
Naramoto S, Kleine Vehn J, Robert S, et al. ADP ribosylation factor machinery mediates endocytosis in plant cells. PNAS. 2010;107(50):21890-21895. doi:10.1073/pnas.1016260107
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3202
Kolmogorov V. A faster algorithm for computing the principal sequence of partitions of a graph. Algorithmica. 2010;56(4):394-412. doi:10.1007/s00453-008-9177-z
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3233
Håstad J, Pass R, Wikström D, Pietrzak KZ. An efficient parallel repetition theorem. In: Vol 5978. Springer; 2010:1-18. doi:10.1007/978-3-642-11799-2_1
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3303   OA
Weissman D, Feldman M, Fisher D. The rate of fitness-valley crossing in sexual populations. Genetics. 2010;186(4):1389-1410. doi:10.1534/genetics.110.123240
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3308   OA
Sturmfels B, Uhler C. Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry. Annals of the Institute of Statistical Mathematics. 2010;62(4):603-638. doi:10.1007/s10463-010-0295-4
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719   OA
Feret J, Henzinger TA, Koeppl H, Petrov T. Lumpability abstractions of rule-based systems. In: Vol 40. Open Publishing Association; 2010:142-161.
View | Files available | arXiv
 

2010 | Journal Article | IST-REx-ID: 3738
Walczak A, Tkacik G, Bialek W. Optimizing information flow in small genetic networks. II. Feed-forward interactions. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2010;81(4). doi:10.1103/PhysRevE.81.041905
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3776   OA
Barton NH. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1552):2559-2569. doi:10.1098/rstb.2010.0106
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3783
Palero F, González Candelas F, Pascual M. Microsatelight – Pipeline to expedite microsatellite analysis. Journal of Heredity. 2010;102(2):247-249. doi:10.1093/jhered/esq111
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3788
Klopper A, Krens G, Grill S, Heisenberg C-PJ. Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. 2010;33(2):99-103. doi:10.1140/epje/i2010-10642-y
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3790   OA
Diz Muñoz A, Krieg M, Bergert M, et al. Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. 2010;8(11). doi:10.1371/journal.pbio.1000544
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 3795   OA
Edelsbrunner H, Morozov D, Patel A. The stability of the apparent contour of an orientable 2-manifold. In: Topological Data Analysis and Visualization: Theory, Algorithms and Applications. Springer; 2010:27-42. doi:10.1007/978-3-642-15014-2_3
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3430   OA
Tkacik G. Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. In: Elsevier; 2010.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3442
O’Neill J, Pleydell Bouverie B, Dupret D, Csicsvari JL. Play it again: reactivation of waking experience and memory. Trends in Neurosciences. 2010;33(5):220-229. doi:10.1016/j.tins.2010.01.006
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 3459
Fakler B, Jonas PM. Grundlagen zellulärer Erregbarkeit. In: Schmidt R, Heckmann M, Lang F, eds. Physiologie Des Menschen. Springer; 2010.
View
 

2010 | Conference Paper | IST-REx-ID: 3682
Tang K, Tappen M, Sukthankar R, Lampert C. Optimizing one-shot recognition with micro-set learning. In: IEEE; 2010:3027-3034. doi:10.1109/CVPR.2010.5540053
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3834   OA
Wolf V, Goel R, Mateescu M, Henzinger TA. Solving the chemical master equation using sliding windows. BMC Systems Biology. 2010;4(42):1-19. doi:10.1186/1752-0509-4-42
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839   OA
Henzinger TA, Hottelier T, Kovács L, Voronkov A. Invariant and type inference for matrices. In: Vol 5944. Springer; 2010:163-179. doi:10.1007/978-3-642-11319-2_14
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3702
Kober J, Mülling K, Krömer O, Lampert C, Schölkopf B, Peters J. Movement templates for learning of hitting and batting. In: IEEE; 2010:853-858. doi:10.1109/ROBOT.2010.5509672
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3853   OA
Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. Mean-payoff automaton expressions. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:269-283. doi:10.1007/978-3-642-15375-4_19
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3858
Chatterjee K, Doyen L. The complexity of partial-observation parity games. In: Fermüller C, Voronkov A, eds. Vol 6397. Springer; 2010:1-14. doi:10.1007/978-3-642-16242-8_1
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3860   OA
Chatterjee K, Doyen L, Henzinger TA, Raskin J. Generalized mean-payoff and energy games. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:505-516. doi:10.4230/LIPIcs.FSTTCS.2010.505
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee K, De Alfaro L, Raman V, Sánchez C. Analyzing the impact of change in multi-threaded programs. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:293-307. doi:10.1007/978-3-642-12029-9_21
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3904   OA
Ugelvig LV, Kronauer D, Schrempf A, Heinze J, Cremer S. Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. 2010;277(1695):2821-2828. doi:10.1098/rspb.2010.0644
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3959
Schumann K, Lämmermann T, Bruckner M, et al. Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells. Immunity. 2010;32(5):703-713. doi:10.1016/j.immuni.2010.04.017
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3961
Renkawitz J, Sixt MK. Mechanisms of force generation and force transmission during interstitial leukocyte migration. EMBO Reports. 2010;11(10):744-750. doi:10.1038/embor.2010.147
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4243   OA
Barton NH, Etheridge A, Véber A. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 2010;15(7):162-216. doi:10.1214/EJP.v15-741
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382   OA
Guerraoui R, Henzinger TA, Kapalka M, Singh V. Transactions in the jungle. In: ACM; 2010:263-272. doi:10.1145/1810479.1810529
View | Files available | DOI
 

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

2010 | Journal Article | IST-REx-ID: 6198
Zhou L, Li F, Xu H, et al. Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. 2010;16(12):1439-1443. doi:10.1038/nm.2245
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 872
Kondrashov F, Kondrashov A. 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. 2010;365(1544):1169-1176. doi:10.1098/rstb.2009.0286
View | DOI
 

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

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

2010 | Journal Article | IST-REx-ID: 1466   OA
Hausel T, Letellier E, Rodríguez Villegas F. Topology of character varieties and representations of quivers. Comptes Rendus Mathematique. 2010;348(3-4):131-135. doi:10.1016/j.crma.2010.01.025
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1752   OA
Katsaros G, Spathis P, Stoffel M, et al. Hybrid superconductor-semiconductor devices made from self-assembled SiGe nanocrystals on silicon. Nature Nanotechnology. 2010;5(6):458-464. doi:10.1038/nnano.2010.84
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed