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.

6749 Publications


2008 | Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. Valigator: A verification tool with bound and invariant generation. In: Vol 5330. Springer; 2008:333-342. doi:10.1007/978-3-540-89439-1_24
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger TA. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 2008;366(1881):3727-3736. doi:10.1098/rsta.2008.0141
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta A, Henzinger TA, Majumdar R, Rybalchenko A, Xu R. Proving non-termination. In: ACM; 2008:147-158. doi:10.1145/1328438.1328459
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal A. A hierarchical coordination language for reliable real-time tasks. 2008:1-210.
View
 

2008 | Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. Bounded asynchrony: Concurrency for modeling cell-cell interactions. In: Vol 5054. Springer; 2008:17-32. doi:10.1007/978-3-540-68413-8_2
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
Doyen L, Henzinger TA, Raskin J. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. 2008;19(3):549-563. doi:10.1142/S0129054108005814
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. Interface theories with component reuse. In: ACM; 2008:79-88. doi:10.1145/1450058.1450070
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 2008;106(1):1-7. doi:10.1016/j.ipl.2007.08.035
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, et al. Logical reliability of interacting real-time tasks. In: IEEE; 2008:909-914. doi:10.1145/1403375.1403595
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 2008;37(2):219-234. doi:10.1007/s00182-007-0110-5
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. Program analysis with dynamic change of precision. In: ACM; 2008:29-38. doi:10.1109/ASE.2008.13
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3030
Růčková E, Friml J, Procházková Schrumpfová P, Fajkus J. Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants. Plant Molecular Biology. 2008;66(6):637-646. doi:10.1007/s11103-008-9295-7
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
Dhonukshe P, Grigoriev I, Fischer R, et al. Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes. PNAS. 2008;105(11):4489-4494. doi:10.1073/pnas.0711414105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
Kleine Vehn J, Dhonukshe P, Sauer M, et al. ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis. Current Biology. 2008;18(7):526-531. doi:10.1016/j.cub.2008.03.021
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3033
Sauer M, Friml J. Visualization of auxin gradients in embryogenesis . In: Suárez M, Bozhkov P, eds. Plant Embryogenesis. Vol 427. Humana Press; 2008:137-144. doi:10.1007/978-1-59745-273-1_11
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3034
Friml J, Sauer M. Plant biology: In their neighbour’s shadow. Nature. 2008;453(7193):298-299. doi:10.1038/453298a
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3035
Sauer M, Friml J. In vitro culture of Arabidopsis embryos . In: Suárez M, Bozhkov P, eds. Plant Embryogenesis. Vol 427. Humana Press; 2008:71-76. doi:10.1007/978-1-59745-273-1_5
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3036
Dubrovsky J, Sauer M, Napsucialy Mendivil S, et al. Auxin acts as a local morphogenetic trigger to specify lateral root founder cells. PNAS. 2008;105(25):8790-8794. doi:10.1073/pnas.0712307105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru E, Friml J. PIN polar targeting. Plant Physiology. 2008;147(4):1553-1559. doi:10.1104/pp.108.121756
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3038
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3039
De Smet I, Vassileva V, De Rybel B, et al. Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root. Science. 2008;322(5901):594-597. doi:10.1126/science.1160158
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3040
Kleine Vehn J, Łangowski Ł, Wiśniewska J, Dhonukshe P, Brewer P, Friml J. Cellular and molecular requirements for polar PIN targeting and transcytosis in plants. Molecular Plant. 2008;1(6):1056-1066. doi:10.1093/mp/ssn062
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3041
Santelia D, Henrichs S, Vincenzetti V, et al. Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses. Journal of Biological Chemistry. 2008;283(45):31218-31226. doi: 10.1074/jbc.M710122200
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3042
Kleine Vehn J, Leitner J, Zwiewka M, et al. Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting. PNAS. 2008;105(46):17812-17817. doi:10.1073/pnas.0808073105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3043
Kleine Vehn J, Friml J. Polar targeting and endocytic recycling in auxin-dependent plant development. Annual Review of Cell and Developmental Biology. 2008;24:447-473. doi:10.1146/annurev.cellbio.24.110707.175254
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3044
Mravec J, Kubeš M, Bielach A, et al. Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development. Development. 2008;135(20):3345-3354. doi:10.1242/dev.021071
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3045
Dhonukshe P, Tanaka H, Goh T, et al. Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions. Nature. 2008;456(7224):962-966. doi:10.1038/nature07409
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3194
Kohli P, Shekhovtsov A, Rother C, Kolmogorov V, Torr P. On partial optimality in multi label MRFs. In: Omnipress; 2008:480-487. doi:10.1145/1390156.1390217
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3195
Vicente S, Kolmogorov V, Rother C. Graph cut based image segmentation with connectivity priors. In: IEEE; 2008. doi:10.1109/CVPR.2008.4587440
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3196
Szeliski R, Zabih R, Scharstein D, et al. A comparative study of energy minimization methods for Markov random fields with smoothness-based priors. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2008;30(6):1068-1080. doi:10.1109/TPAMI.2007.70844
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3198
Torresani L, Kolmogorov V, Rother C. Feature correspondence via graph matching: Models and global optimization. In: Vol 5303. Springer; 2008:596-609. doi:10.1007/978-3-540-88688-4_44
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3224
Dodis Y, Pietrzak KZ, Puniya P. A new mode of operation for block ciphers and length preserving MACs. In: Vol 4965. Springer; 2008:198-219. doi:10.1007/978-3-540-78967-3_12
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3225
Fischlin M, Lehmann A, Pietrzak KZ. Robust multi property combiners for hash functions revisited. In: Vol 5126. Springer; 2008:655-666. doi:10.1007/978-3-540-70583-3_53
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3226
Pietrzak KZ, Sjödin J. Weak pseudorandom functions in minicrypt. In: Vol 5126. Springer; 2008:423-436. doi:10.1007/978-3-540-70583-3_35
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3227
Zubielik P, Nadaczny J, Pietrzak KZ, Lawenda M. Elektrowiz – system of measurement data management. Przeglad Elektrotechniczny. 2008;84(10):239-242.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3228
Pietrzak KZ. Compression from collisions or why CRHF combiners have a long output. In: Vol 5157. Springer; 2008:413-432. doi:10.1007/978-3-540-85174-5_23
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski S, Pietrzak KZ. Leakage resilient cryptography. In: IEEE; 2008:293-302. doi:10.1109/FOCS.2008.56
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3291
Schmalhorst PS, Krappmann S, Vervecken W, et al. Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus. Eukaryotic Cell. 2008;7(8):1268-1277. doi:10.1128/EC.00065-08
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3307 | OA
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3409
Struckmeier J, Wahl R, Leuschner M, et al. Fully automated single-molecule force spectroscopy for screening applications. Nanotechnology. 2008;19(38). doi:10.1088/0957-4484/19/38/384020
View | DOI
 

2008 | Book Review | IST-REx-ID: 3410
Janovjak HL, Sapra T, Kedrov A, Mueller D. From valleys to ridges: Exploring the energy landscape of single membrane proteins. ChemPhysChem. 2008;9(7):954-966. doi:10.1002/cphc.200700662
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3435 | OA
Bollback JP, York T, Nielsen R. Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. 2008;179(1):497-502. doi:10.1534/genetics.107.085019
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3501
Adler BT, Chatterjee K, De Alfaro L, Faella M, Pye I, Raman V. Assigning trust to Wikipedia content. In: ACM; 2008. doi:10.1145/1822258.1822293
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3502
Chatterjee K, De Alfaro L, Pye I. Robust content-driven reputation. In: ACM; 2008:33-42. doi:10.1145/1456377.1456387
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. In: Vol 2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:107-118. doi:10.4230/LIPIcs.FSTTCS.2008.1745
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3516
Huxter J, Senior T, Allen K, Csicsvari JL. Theta phase-specific codes for two-dimensional position, trajectory and heading in the hippocampus. Nature Neuroscience. 2008;11(5):587-594. doi:10.1038/nn.2106
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3520
O’Neill J, Senior T, Allen K, Huxter J, Csicsvari JL. Reactivation of experience-dependent cell assembly patterns in the hippocampus. Nature Neuroscience. 2008;11(2):209-215. doi:10.1038/nn2037
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3530
Fuentealba P, Begum R, Capogna M, et al. Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity. Neuron. 2008;57(6):917-929. doi:10.1016/j.neuron.2008.01.034
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3534
Dupret D, Pleydell Bouverie B, Csicsvari JL. Inhibitory interneurons and network oscillations. PNAS. 2008;105(47):18079-18080. doi:10.1073/pnas.0810064105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3537
Senior T, Huxter J, Allen K, O’Neill J, Csicsvari JL. Gamma oscillatory firing reveals distinct populations of pyramidal cells in the CA1 region of the hippocampus. Journal of Neuroscience. 2008;28(9):2274-2286. doi:10.1523/JNEUROSCI.4669-07.2008
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3544
Mallet N, Pogosyan A, Sharott A, et al. Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex. Journal of Neuroscience. 2008;28(18):4795-4806. doi:10.1523/JNEUROSCI.0123-08.2008
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3577
Biasotti S, Attali D, Boissonnat J, et al. Skeletal structures. In: Shape Analysis and Structuring. Springer; 2008:145-183. doi:10.1007/978-3-540-33265-7_5
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3591
Ulrich F, Heisenberg C-PJ. Probing E-cadherin endocytosis by morpholino-mediated Rab5 knock-down in zebrafish. Methods in Molecular Biology. 2008;440:371-387. doi:10.1007/978-1-59745-178-9_27
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3599
Yang E, Erdogan A, Arslan T, Barton NH. Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor network . In: IEEE; 2008:432-439. doi:10.1109/AHS.2008.60
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3600
Yang E, Barton NH, Arslan T, Erdogan A. Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network. In: Vol 5216. Springer; 2008:249-260. doi:10.1007/978-3-540-85857-7_22
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3605
De Cara M, Barton NH, Kirkpatrick M. A model for the evolution of assortative mating. American Naturalist. 2008;171(5):580-596. doi:10.1086/587062
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3606
Barton NH. The effect of a barrier to gene flow on patterns of geographic variation. Genetical Research. 2008;90(1):139-149. doi:10.1017/S0016672307009081
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3694
Goldstein M, Lampert C, Reif M, Stahl A, Breuel T. Bayes optimal DDoS mitigation by adaptive history-based IP filtering. In: IEEE; 2008:174-179. doi:10.1109/ICN.2008.64
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3698
Blaschko M, Lampert C, Gretton A. Semi-supervised Laplacian regularization of kernel canonical correlation analysis. In: Vol 5211. Springer; 2008:133-145. doi:10.1007/978-3-540-87479-9_27
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3700
Lampert C. Partitioning of image datasets using discriminative context information. In: IEEE; 2008:1-8. doi:10.1109/CVPR.2008.4587448
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3705
Blaschko M, Lampert C. Learning to localize objects with structured output regression. In: Vol 5302. Springer; 2008:2-15. doi:10.1007/978-3-540-88682-2_2
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3706
Lampert C, Blaschko M. Joint kernel support estimation for structured prediction. In: Curran Associates, Inc.; 2008:1-4.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3712
Blaschko M, Lampert C. Correlational spectral clustering. In: IEEE; 2008:1-8. doi:10.1109/CVPR.2008.4587353
View | DOI
 

2008 | Journal Article | IST-REx-ID: 9457 | OA
ZILBERMAN D, Coleman-Derr D, Ballinger T, Henikoff S. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. 2008;456(7218):125-129. doi:10.1038/nature07324
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 9537
ZILBERMAN D. The evolving functions of DNA methylation. Current Opinion in Plant Biology. 2008;11(5):554-559. doi:10.1016/j.pbi.2008.07.004
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 517
Barton NH. Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. Genetical Research. 2008;89(5-6):475-477. doi:10.1017/S0016672308009683
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2367 | OA
Seiringer R. On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. 2007;80(3):285-288. doi:10.1007/s11005-007-0159-x
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2370 | OA
Lieb É, Seiringer R, Yngvason J. Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. 2007;59(3):389-399. doi:10.1016/S0034-4877(07)80074-7
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2371 | OA
Frank R, Lieb É, Seiringer R. Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. 2007;275(2):479-489. doi:10.1007/s00220-007-0307-2
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2372 | OA
Frank R, Lieb É, Seiringer R, Siedentop H. Müller’s exchange-correlation energy in density-matrix-functional theory. Physical Review A - Atomic, Molecular, and Optical Physics. 2007;76(5). doi:10.1103/PhysRevA.76.052517
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2373 | OA
Frank R, Hainzl C, Naboko S, Seiringer R. The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. 2007;17(4):559-567. doi:10.1007/BF02937429
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2375 | OA
Frank R, Lieb É, Seiringer R. Number of bound states of Schrödinger operators with matrix-valued potentials. Letters in Mathematical Physics. 2007;82(2-3):107-116. doi:10.1007/s11005-007-0211-x
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2451
Friml J. Auxin - Universal development signal in plant life. Živa. 2007;1.
View
 

2007 | Journal Article | IST-REx-ID: 2462
Michniewicz M, Brewer P, Friml J. Polar auxin transport and asymmetric auxin distribution. The Arabidopsis Book. 2007;5. doi:10.1199/tab.0108
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2495
Kuramoto E, Fujiyama F, Unzai T, et al. Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum. Journal of Comparative Neurology. 2007;500(5):908-922. doi:10.1002/cne.21216
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2496
Toyono T, Kataoka S, Seta Y, Shigemoto R, Toyoshima K. Expression of group II metabotropic glutamate receptors in rat gustatory papillae. Cell and Tissue Research. 2007;328(1):57-63. doi:10.1007/s00441-006-0351-9
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2665
Tóth K, Wittner L, Urbán Z, et al. Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus. Neuroscience. 2007;144(2):495-508. doi:10.1016/j.neuroscience.2006.09.039
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2666
Luyt K, Slade T, Dorward J, et al. Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. 2007;100(3):822-840. doi:10.1111/j.1471-4159.2006.04255.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2667
Masugi Tokita M, Tarusawa E, Watanabe M, Molnár E, Fujimoto K, Shigemoto R. Number and density of AMPA receptors in individual synapses in the rat cerebellum as revealed by SDS-digested freeze-fracture replica labeling. Journal of Neuroscience. 2007;27(8):2135-2144. doi:10.1523/JNEUROSCI.2861-06.2007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2668
Boyes J, Bolam J, Shigemoto R, Stanford I. Functional presynaptic HCN channels in the rat globus pallidus. European Journal of Neuroscience. 2007;25(7):2081-2092. doi:10.1111/j.1460-9568.2007.05463.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2669
Brewster A, Chen Y, Bender R, Yeh A, Shigemoto R, Baram T. Quantitative analysis and subcellular distribution of mRNA and protein expression of the hyperpolarization-activated cyclic nucleotide-gated channels throughout development in rat hippocampus. Cerebral Cortex. 2007;17(3):702-712. doi:10.1093/cercor/bhk021
View | DOI
 

2007 | Book Review | IST-REx-ID: 2670
Masugi Tokita M, Shigemoto R. High-resolution quantitative visualization of glutamate and GABA receptors at central synapses. Current Opinion in Neurobiology. 2007;17(3):387-393. doi:10.1016/j.conb.2007.04.012
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2671
Bender R, Kirschstein T, Kretz O, et al. Localization of HCN1 channels to presynaptic compartments: Novel plasticity that may contribute to hippocampal maturation. Journal of Neuroscience. 2007;27(17):4697-4706. doi:10.1523/JNEUROSCI.4699-06.2007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2672
Whitaker G, Angoli D, Nazzari H, Shigemoto R, Accili E. HCN2 and HCN4 isoforms self-assemble and co-assemble with equal preference to form functional pacemaker channels. Journal of Biological Chemistry. 2007;282(31):22900-22909. doi:10.1074/jbc.M610978200
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2673
Ladera C, Godino M, Martín R, et al. The coexistence of multiple receptors in a single nerve terminal provides evidence for pre-synaptic integration. Journal of Neurochemistry. 2007;103(6):2314-2326. doi:10.1111/j.1471-4159.2007.04964.x
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 2705 | OA
Erdös L. Recent developments in quantum mechanics with magnetic fields. In: Gesztesy F, Deift P, Galvez P, Perry P, Schlag W, eds. Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday . Vol 76. American Mathematical Society; 2007:401-428.
View | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2748
Erdös L, Schlein B, Yau H. Rigorous derivation of the Gross-Pitaevskii equation. Physical Review Letters. 2007;98(4). doi:10.1103/PhysRevLett.98.040404
View | DOI
 

2007 | Book Review | IST-REx-ID: 2749
Erdös L, Schlein B, Yau H. Derivation of the cubic non linear Schrödinger equation from quantum dynamics of many body systems. Inventiones Mathematicae. 2007;167(3):515-614. doi:10.1007/s00222-006-0022-1
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2750
Erdös L, Salmhofer M, Yau H. Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams. Communications in Mathematical Physics. 2007;271(1):1-53. doi:10.1007/s00220-006-0158-2
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2751
Erdös L, Salmhofer M, Yau H. Quantum diffusion for the Anderson model in the scaling limit. Annales Henri Poincare. 2007;8(4):621-685. doi:10.1007/s00023-006-0318-0
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2752
Erdös L, Salmhofer M. Decay of the Fourier transform of surfaces with vanishing curvature. Mathematische Zeitschrift. 2007;257(2):261-294. doi:10.1007/s00209-007-0125-4
View | DOI
 

2007 | Book Review | IST-REx-ID: 2793
Eckhardt B, Schneider T, Hof B, Westerweel J. Turbulence transition in pipe flow. Annual Review of Fluid Mechanics. 2007;39:447-468. doi:10.1146/annurev.fluid.39.050905.110308
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 2794
Hof B, Tax W, Westerweel J. Lifetime of turbulence in pipe flow. In: Vol 117. Springer; 2007:556-558. doi:10.1007/978-3-540-72604-3_177
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2893
Carneiro J, Leon K, Caramalho Í, et al. When three is not a crowd a Crossregulation Model of the dynamics and repertoire selection of regulatory CD4 T cells. Immunological Reviews. 2007;216(1):48-68. doi:10.1111/j.1600-065X.2007.00487.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2896
Paixao T, Carvalho T, Calado D, Carneiro J. Quantitative insights into stochastic monoallelic expression of cytokine genes. Immunology and Cell Biology. 2007;85(4):315-322. doi:10.1038/sj.icb.7100057
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 2933
Kumar MP, Kolmogorov V, Torr P. An Analysis of Convex Relaxations for MAP Estimation. In: Neural Information Processing Systems; 2007.
View
 

2007 | Journal Article | IST-REx-ID: 8027
Vogels TP, Abbott L. Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. 2007;40(S 1):S73-S77. doi:10.1055/s-2007-992130
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 8483
Schanda P, Forge V, Brutscher B. Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy. Proceedings of the National Academy of Sciences. 2007;104(27):11257-11262. doi:10.1073/pnas.0702069104
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8484
Lescop E, Schanda P, Brutscher B. A set of BEST triple-resonance experiments for time-optimized protein resonance assignment. Journal of Magnetic Resonance. 2007;187(1):163-169. doi:10.1016/j.jmr.2007.04.002
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8485
Schanda P, Lescop E, Falge M, Sounier R, Boisbouvier J, Brutscher B. Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons. Journal of Biomolecular NMR. 2007;38:47-55. doi:10.1007/s10858-006-9138-2
View | DOI
 

Search

Filter Publications