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.

147 Publications


2005 | Journal Article | IST-REx-ID: 2655
Wu Y, Kawakami R, Shinohara Y, et al. Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ε1/NR2A knock-out mice. Journal of Neuroscience. 2005;25(40):9213-9226. doi:10.1523/JNEUROSCI.2134-05.2005
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2653
Hagiwara A, Fukazawa Y, Deguchi Tawarada M, Ohtsuka T, Shigemoto R. Differential distribution of release-related proteins in the hippocampal CA3 area as revealed by freeze-fracture replica labeling. Journal of Comparative Neurology. 2005;489(2):195-216. doi:10.1002/cne.20633
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2656
Feng Y, Li Y, Wang W, et al. Morphological evidence for GABA/glycine-cocontaining terminals in synaptic contact with neurokinin-1 receptor-expressing neurons in the sacral dorsal commissural nucleus of the rat. Neuroscience Letters. 2005;388(3):144-148. doi:10.1016/j.neulet.2005.06.068
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2744
Eng D, Erdös L. The linear Boltzmann equation as the low density limit of a random Schrödinger equation. Reviews in Mathematical Physics. 2005;17(6):669-743. doi:10.1142/S0129055X0500242X
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2743
Erdös L, Hasler D, Solovej J. Existence of the D0-D4 bound state: A detailed proof. Annales Henri Poincare. 2005;6(2):247-267. doi:10.1007/s00023-005-0205-0
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2788
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. Turbulence regeneration in pipe flow at moderate reynolds numbers. Physical Review Letters. 2005;95(21). doi:10.1103/PhysRevLett.95.214502
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2790
Hof B, Juel A, Mullin T. Magnetohydrodynamic damping of oscillations in low-Prandtl-number convection. Journal of Fluid Mechanics. 2005;545:193-201. doi:10.1017/S0022112005006762
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2789
Hof B. Transition to turbulence in pipe flow. Fluid Mechanics and its Applications. 2005;77:221-231. doi:10.1007/1-4020-4049-0_12
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2867 | OA
Weijers D, Benková E, Jäger K, et al. Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators. EMBO Journal. 2005;24(10):1874-1885. doi:10.1038/sj.emboj.7600659
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
Carneiro J, Paixao T, Milutinovic D, et al. Immunological self tolerance: Lessons from mathematical modeling. Journal of Computational and Applied Mathematics. 2005;184(1):77-100. doi:10.1016/j.cam.2004.10.025
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers D, Sauer M, Meurette O, et al. Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. 2005;17(9):2517-2526. doi:10.1105/tpc.105.034637
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe P, Kleine Vehn J, Friml J. Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first? Protoplasma. 2005;226(1-2):67-73. doi:10.1007/s00709-005-0104-8
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek T, Zažímalová E, Ruthardt N, et al. Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. 2005;435(7046):1251-1256. doi:10.1038/nature03633
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten A, Vanneste S, Wiśniewska J, et al. Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. 2005;132(20):4521-4531. doi:10.1242/dev.02027
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis Y, Oliveira R, Pietrzak KZ. On the generic insecurity of the full domain hash. In: Vol 3621. Springer; 2005:449-466. doi:10.1007/11535218_27
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak KZ. Composition does not imply adaptive security. In: Vol 3621. Springer; 2005:55-65. doi:10.1007/11535218_4
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare M, Pietrzak KZ, Rogaway P. Improved security analyses for CBC MACs. In: Vol 3621. Springer; 2005:527-545. doi:10.1007/11535218_32
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Bollenbach MT, Kruse K, Pantazis P, González Gaitán M, Jülicher F. Robust formation of morphogen gradients. Physical Review Letters. 2005;94(1). doi:10.1103/PhysRevLett.94.018103
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Journal Article | IST-REx-ID: 3443
Klausberger T, Marton L, O’Neill J, et al. Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations. Journal of Neuroscience. 2005;25(42):9782-9793. doi:10.1523/JNEUROSCI.3269-05.2005
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3557
Edelsbrunner H. Surface tiling with differential topology. In: ACM; 2005:9-11. doi:http://dx.doi.org/10.2312/SGP/SGP05/009-011
View | DOI | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen M, Heisenberg C-PJ. Cleavage and gastrulation in zebrafish embryos. In: Encyclopedia of Life Sciences. Wiley-Blackwell; 2005. doi:10.1038/npg.els.0001072
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega I, Heisenberg C-PJ. Cell migration during zebrafish gastrulation. In: Wedlich D, ed. Cell Migration in Development and Disease. Wiley-VCH; 2005:71-105. doi:10.1002/3527604669
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega I, Heisenberg C-PJ. A stern view of gastrulation. Nature Cell Biology. 2005;7(1):19-19. doi:10.1038/ncb0105-19
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3689
Ulges A, Lampert C, Breuel T. Document image dewarping using robust estimation of curled text lines. In: Vol 2. IEEE; 2005:1001-1005. doi: 10.1109/ICDAR.2005.90
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3684
Lampert C, Braun T, Ulges A, Keysers D, Breuel T. Oblivious document capture and real-time retrieval. In: CBDAR; 2005:79-86.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3720
Guzmán J, Gerevich Z, Hengstler J, Illes P, Kleemann W. P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex. Synapse. 2005;57(4):235-238. doi:10.1002/syn.20177
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3753
Le T, Harlepp S, Guet CC, et al. Real-time RNA profiling within a single bacterium. PNAS. 2005;102(26):9160-9164. doi:10.1073/pnas.0503311102
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Shi L, Yu Y, Wojtan C, Chenney S. Controllable motion synthesis in a gaseous medium. The Visual Computer. 2005;21(7):474-487. doi:10.1007/s00371-005-0296-0
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
Hefft S, Jonas PM. Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review). Nature Neuroscience. 2005;8(10):1319-1328. doi:10.1038/nn1542
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee K, Dasgupta P, Chakrabarti P. Complexity of compositional model checking of computation tree logic on simple structures. In: Vol 3326. Springer; 2005:89-102. doi:10.1007/978-3-540-30536-1_13
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee K. Two-player nonzero-sum ω-regular games. In: Vol 3653. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:413-427. doi:10.1007/11539452_32
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
Schrempf A, Heinze J, Cremer S. Sexual cooperation: mating increases longevity in ant queens. Current Biology. 2005;15(3):267-270. doi:10.1016/j.cub.2005.01.036
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3915
De Menten L, Cremer S, Heinze J, Aron S. Primary sex ratio adjustment by ant queens in response to local mate competition. Animal Behaviour. 2005;69(5):1031-1035. doi:10.1016/j.anbehav.2004.09.005
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development. 2005;122(Supplement 1):S112-S113. doi:10.1016/j.mod.2005.06.010
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski A, Wies T. Boolean Heaps. In: Springer; 2005:267-282. doi:1550
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer S, Vrieseling E, Sigrist M, et al. A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. 2005;3(5):0878-0890. doi:10.1371/journal.pbio.0030159
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal A, Sokolova O, Robins D, et al. Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 2005;12(1):26-31. doi:10.1038/nsmb870
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother C, Kumar S, Kolmogorov V, Blake A. Digital tapestry. In: Vol 1. IEEE; 2005:589-596. doi:10.1109/CVPR.2005.130
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. Bi-layer segmentation of binocular stereo video. In: IEEE; 2005:1186-1186. doi:10.1109/CVPR.2005.90
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. Bi-layer segmentation of binocular stereo video. In: Vol 2. IEEE; 2005:407-414. doi:10.1109/CVPR.2005.91
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov V, Boykov Y. What metrics can be approximated by geo cuts or global optimization of length area and flux. In: Vol 1. IEEE; 2005:564-571. doi:10.1109/ICCV.2005.252
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov V, Wainwright M. On the optimality of tree reweighted max product message passing. In: AUAI Press; 2005:316-323.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn M, Janovjak HL, Hubain M, Mueller D. Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. 2005;218(2):125-132. doi:10.1111/j.1365-2818.2005.01478.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak HL, Sapra T, Mueller D. Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. 2005;88(5):37-39. doi:10.1529/biophysj.105.059774
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak HL, Struckmeier J, Mueller D. Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. 2005;34(1):91-96. doi:10.1007/s00249-004-0430-3
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback JP. Posterior mapping and posterior predictive distributions. In: Nielsen R, ed. Statistical Methods in Molecular Evolution. Springer; 2005:439-462. doi:10.1007/0-387-27733-1
View | DOI
 

2005 | Patent | IST-REx-ID: 3509 | OA
Williams S, Edelsbrunner H, Fu P. Methods, apparatus and computer program products for modeling three-dimensional colored objects. 2005.
[Published Version] View | Download Published Version (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Attali D, Cohen Steiner D, Edelsbrunner H. Extraction and simplification of iso-surfaces in tandem. In: ACM; 2005:139-148.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner H, Koehl P. The geometry of biomolecular solvation. In: Combinatorial and Computational Geometry. Vol 52. Cambridge University Press; 2005:243-275.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3612
Davison A, Chiba S, Barton NH, Clarke B. Speciation and gene flow between snails of opposing chirality. PLoS Biology. 2005;3(9). doi:10.1371/journal.pbio.0030282
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
Nürnberger B, Barton NH, Kruuk L, Vines T. Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity. 2005;94(2):247-257. doi:10.1038/sj.hdy.6800607
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
Gardner M, Fowler K, Barton NH, Patridge L. Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics. 2005;169(3):1553-1571. doi:10.1534/genetics.104.032367
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3691
Lampert C. Boundary regularity of admissible operators. Publicacions Matemàtiques. 2005;49(1):179-195. doi:10.5565/PUBLMAT_49105_08
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak HL, Mueller D, Humphris A. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 2005;88(2):1423-1431. doi:10.1529/biophysj.104.052746
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim N, Atwal G, Tkačik G, Bialek W. Information-based clustering. PNAS. 2005;102(51):18297-18302. doi:10.1073/pnas.0507432102
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Slonim N, Atwal G, Tkačik G, Bialek W. Estimating mutual information and multi-information in large networks. ArXiv. 2005:1-11.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3808
Engel D, Jonas PM. Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron. 2005;45(3):405-417. doi:10.1016/j.neuron.2004.12.048
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria. In: Vol 3657. Springer; 2005:141-161. doi:10.1007/11561163_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3902
Cremer S, Boomsma J. The drawback of mobility: invasive species in a globalised world. In: Elsevier; 2005.
View | Download None (ext.)
 

2005 | Journal Article | IST-REx-ID: 3933
Sixt MK, Kanazawa N, Selg M, et al. The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity. 2005;22(1):19-29. doi:10.1016/j.immuni.2004.11.013
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Sohn J, Parks J, Buhrman G, et al. Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry. 2005;44(50):16563-16573. doi:10.1021/bi0516879
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Wang Y, Agarwal P, Brown P, Edelsbrunner H, Rudolph J. Coarse and reliable geometric alignment for protein docking. In: World Scientific Publishing; 2005:64-75. doi:10.1142/9789812702456_0007
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Ulrich F, Krieg M, Schötz E, et al. Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. 2005;9(4):555-564. doi:10.1016/j.devcel.2005.08.011
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
Barton NH, Polechova J. The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. 2005;18(5):1186-1190. doi:10.1111/j.1420-9101.2005.00943.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Puech P, Taubenberger A, Ulrich F, Krieg M, Mueller D, Heisenberg C-PJ. Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. 2005;118(18):4199-4206. doi:10.1242/​jcs.02547
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Montero J, Carvalho L, Wilsch Bräuninger M, Kilian B, Mustafa C, Heisenberg C-PJ. Shield formation at the onset of zebrafish gastrulation. Development. 2005;132(6):1187-1198. doi:10.1242/dev.01667
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova J, Barton NH. Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. 2005;59(6):1194-1210. doi:10.1111/j.0014-3820.2005.tb01771.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton NH, Otto S. Evolution of recombination due to random drift. Genetics. 2005;169(4):2353-2370. doi:10.1534/genetics.104.032821
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson T, Barton NH. Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2005;360(1459):1411-1425. doi:10.1098/rstb.2005.1667
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4404
Alur R, Cerny P, Madhusudan P, Nam W. Synthesis of interface specifications for Java classes. In: ACM; 2005:98-109. doi:1542
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic S, Henzinger TA. Trading end-to-end latency for composability. In: IEEE; 2005:99-110. doi:10.1109/RTSS.2005.43
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch C, Sanvido M, Henzinger TA. A programmable microkernel for real-time systems. In: ACM; 2005:35-45. doi:10.1145/1064979.1064986
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger TA, Majumdar R, Raskin J. A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). 2005;6(1):1-32. doi:10.1145/1042038.1042039
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger TA, Majumdar R, Prabhu V. Quantifying similarities between timed systems. In: Vol 3829. Springer; 2005:226-241. doi:10.1007/11603009_18
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger TA, Jhala R, Majumdar R. Permissive interfaces. In: ACM; 2005:31-40. doi:10.1145/1081706.1081713
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger TA, Kirsch C, Matic S. Composable code generation for distributed Giotto. In: ACM; 2005:21-30. doi:10.1145/1065910.1065914
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen L, Henzinger TA, Raskin J. Automatic rectangular refinement of affine hybrid systems. In: Vol 3829. Springer; 2005:144-161. doi:DOI: 10.1007/11603009_13
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. Semiperfect-information games. In: Vol 3821. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:1-18. doi:10.1007/11590156_1
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of stochastic Rabin and Streett games. In: Vol 3580. Springer; 2005:878-890. doi:10.1007/11523468_71
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. Mean-payoff parity games. In: IEEE; 2005:178-187. doi:10.1109/LICS.2005.26
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. Verifying quantitative properties using bound functions. In: Vol 3725. Springer; 2005:50-64. doi:10.1007/11560548_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. Counterexample-guided planning. In: AUAI Press; 2005:104-111.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. Checking memory safety with BLAST. In: Vol 3442. Springer; 2005:2-18. doi:10.1007/978-3-540-31984-9_2
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. Web service interfaces. In: ACM; 2005:148-159. doi:10.1145/1060745.1060770
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi:10.1016/j.tcs.2005.07.033
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. Interface-based design. In: Vol 195. Springer; 2005:83-104. doi:10.1007/1-4020-3532-2_3
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation. In: Vol 1. IEEE; 2005:365-367. doi: 10.1109/QELS.2005.1548783
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
de Bono M, Villu Maricq A. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 2005;28:451-501. doi:10.1146/annurev.neuro.27.070203.144259
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 2005;15(10):905-917. doi:10.1016/j.cub.2005.04.017
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels TP, Abbott LF. Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. 2005;25(46):10786-10795. doi:10.1523/jneurosci.3508-05.2005
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
Vogels TP, Rajan K, Abbott LF. Neural network dynamics. Annual Review of Neuroscience. 2005;28(1):357-376. doi:10.1146/annurev.neuro.28.061604.135637
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 9491 | OA
Tran RK, Henikoff JG, Zilberman D, Ditt RF, Jacobsen SE, Henikoff S. DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes. Current Biology. 2005;15(2):154-159. doi:10.1016/j.cub.2005.01.008
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 9514 | OA
Tran RK, Zilberman D, de Bustos C, et al. Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. 2005;6(11). doi:10.1186/gb-2005-6-11-r90
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
Yampolsky L, Kondrashov F, Kondrashov A. Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. 2005;14(21):3191-3201. doi:10.1093/hmg/ddi350
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda P, Kupče Ē, Brutscher B. SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds. Journal of Biomolecular NMR. 2005;33(4):199-211. doi:10.1007/s10858-005-4425-x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
Schanda P, Brutscher B. Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds. Journal of the American Chemical Society. 2005;127(22):8014-8015. doi:10.1021/ja051306e
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
Bourgain J, Kaloshin V. On diffusion in high-dimensional Hamiltonian systems. Journal of Functional Analysis. 2005;229(1):1-61. doi:10.1016/j.jfa.2004.09.006
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
Kondrashov F. The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution. Biofizika. 2005;50(3):389-395.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
Kondrashov F. In search of the limits of evolution. Nature Genetics. 2005;37(1):9-10. doi:10.1038/ng0105-9
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications