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.
9078 Publications
2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. Permissiveness in transactional memories. In: Vol 5218. Springer; 2008:305-319. doi:10.1007/978-3-540-87779-0_21
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. Completeness and nondeterminism in model checking transactional memories. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:21-35. doi:10.1007/978-3-540-85361-9_6
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4397
Beyer D, Zufferey D, Majumdar R. CSIsat: Interpolation for LA+EUF. In: Springer; 2008:304-308.
View
2008 | Conference Paper | IST-REx-ID: 4400
Aviv A, Cerny P, Clark S, et al. Security Evaluation of ES&S Voting Machines and Election Management System. In: USENIX; 2008. doi:1545
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4409 | 
Prabhu V. Games for the verification of timed systems. 2008:1-137.
View
| Download None (ext.)
2008 | Thesis | IST-REx-ID: 4415
Matic S. Compositionality in deterministic real-time embedded systems. 2008:1-148.
View
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 | 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: 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 | 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: 581
Hosten O, Kwiat P. Observation of the spin hall effect of light via weak measurements. Science. 2008;319(5864):787-790. doi:10.1126/science.1152697
View
| DOI
2008 | Conference Paper | IST-REx-ID: 584
Hosten O, Kwiat P. Spin hall effect of light via weak measurements: Sharp and smooth index variations. In: Optica Publishing Group; 2008.
View
| Download None (ext.)
2008 | Journal Article | IST-REx-ID: 6146 |
Bretscher AJ, Busch KE, de Bono M. A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 2008;105(23):8044-8049. doi:10.1073/pnas.0707607105
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 6148
Kammenga JE, Phillips PC, de Bono M, Doroszuk A. Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. 2008;24(4):178-185. doi:10.1016/j.tig.2008.01.001
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 6149
Olofsson B, de Bono M. Sleep: dozy worms and sleepy flies. Current Biology. 2008;18(5):R204-R206. doi:10.1016/j.cub.2008.01.002
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 7321
Freunberger SA, Schneider IA, Sui P-C, Wokaun A, Djilali N, Büchi FN. Cell interaction phenomena in polymer electrolyte fuel cell stacks. Journal of The Electrochemical Society. 2008;155(7). doi:10.1149/1.2913095
View
| DOI
2008 | Journal Article | IST-REx-ID: 7320
Flückiger R, Freunberger SA, Kramer D, Wokaun A, Scherer GG, Büchi FN. Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC. Electrochimica Acta. 2008;54(2):551-559. doi:10.1016/j.electacta.2008.07.034
View
| DOI
2008 | Journal Article | IST-REx-ID: 7322
Kramer D, Freunberger SA, Flückiger R, et al. Electrochemical diffusimetry of fuel cell gas diffusion layers. Journal of Electroanalytical Chemistry. 2008;612(1):63-77. doi:10.1016/j.jelechem.2007.09.014
View
| DOI
2008 | Conference Paper | IST-REx-ID: 7425
Santis M, Freunberger SA, Papra M, Büchi FN. Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks. In: 3rd International Conference on Fuel Cell Science, Engineering and Technology. ASMEDC; 2008:763-765. doi:10.1115/fuelcell2005-74116
View
| DOI
2008 | Conference Paper | IST-REx-ID: 753
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. How to solve consensus in the smallest window of synchrony. In: Vol 5218 LNCS. Springer; 2008:32-46. doi:10.1007/978-3-540-87779-0_3
View
| DOI
2008 | Journal Article | IST-REx-ID: 7752
Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. Environmental heterogeneity generates fluctuating selection on a secondary sexual trait. Current Biology. 2008;18(10):751-757. doi:10.1016/j.cub.2008.04.059
View
| DOI
2008 | Journal Article | IST-REx-ID: 844
Schmidt S, Gerasimova A, Kondrashov F, Adzuhbei I, Kondrashov A, Sunyaev S. Hypermutable non-synonymous sites are under stronger negative selection. PLoS Genetics. 2008;4(11). doi:10.1371/journal.pgen.1000281
View
| DOI
2008 | Journal Article | IST-REx-ID: 8481
Bersch B, Favier A, Schanda P, et al. Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge. Journal of Molecular Biology. 2008;380(2):386-403. doi:10.1016/j.jmb.2008.05.017
View
| DOI
2008 | Journal Article | IST-REx-ID: 8480
Schanda P, Brutscher B, Konrat R, Tollinger M. Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy. Journal of Molecular Biology. 2008;380(4):726-741. doi:10.1016/j.jmb.2008.05.040
View
| DOI
2008 | Journal Article | IST-REx-ID: 8482
Kern T, Schanda P, Brutscher B. Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load. Journal of Magnetic Resonance. 2008;190(2):333-338. doi:10.1016/j.jmr.2007.11.015
View
| DOI
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: 965 |
Morozov A, Serbyn M. Nonlinear algebra and Bogoliubov’s recursion. Theoretical and Mathematical Physics. 2008;154(2):270-293. doi:10.1007/s11232-008-0026-7
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 8510
Kaloshin V, Levi M. An example of Arnold diffusion for near-integrable Hamiltonians. Bulletin of the American Mathematical Society. 2008;45(3):409-427. doi:10.1090/s0273-0979-08-01211-1
View
| DOI
2008 | Journal Article | IST-REx-ID: 8509
Kaloshin V, Levi M. Geometry of Arnold diffusion. SIAM Review. 2008;50(4):702-720. doi:10.1137/070703235
View
| DOI
2008 | Journal Article | IST-REx-ID: 895
Donaldson Z, Kondrashov F, Putnam A, et al. Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene. BMC Evolutionary Biology. 2008;8(1). doi:10.1186/1471-2148-8-180
View
| DOI
2008 | Journal Article | IST-REx-ID: 907
Assis R, Kondrashov A, Koonin E, Kondrashov F. Nested genes and increasing organizational complexity of metazoan genomes. Trends in Genetics. 2008;24(10):475-478. doi:10.1016/j.tig.2008.08.003
View
| DOI
2008 | Journal Article | IST-REx-ID: 9457 |
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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 13423
Klajn R, Gray TP, Wesson PJ, et al. Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates. Advanced Functional Materials. 2008;18(18):2763-2769. doi:10.1002/adfm.200800293
View
| DOI
2008 | Journal Article | IST-REx-ID: 13422
Wei Y, Klajn R, Pinchuk AO, Grzybowski BA. Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers.” Small. 2008;4(10):1635-1639. doi:10.1002/smll.200800511
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. Genetics Research. 2008;89(5-6):475-477. doi:10.1017/S0016672308009683
View
| DOI
2007 | Journal Article | IST-REx-ID: 1035 |
Mark M, Ferlaino F, Knoop S, et al. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 2007;76(4). doi:10.1103/PhysRevA.76.042514
View
| DOI
| Download None (ext.)
2007 | Journal Article | IST-REx-ID: 11116 |
Franz C, Walczak R, Yavuz S, et al. MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly. EMBO reports. 2007;8(2):165-172. doi:10.1038/sj.embor.7400889
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 11115
Anderson DJ, Hetzer M. Nuclear envelope formation by chromatin-mediated reorganization of the endoplasmic reticulum. Nature Cell Biology. 2007;9(10):1160-1166. doi:10.1038/ncb1636
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 11884
Henzinger MH. Search technologies for the internet. Science. 2007;317(5837):468-471. doi:10.1126/science.1126557
View
| DOI
| PubMed | Europe PMC
2007 | Conference Paper | IST-REx-ID: 11924
Henzinger MH. Combinatorial algorithms for web search engines: three success stories. In: 18th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial & Applied Mathematics; 2007:1022-1026.
View
2007 | Journal Article | IST-REx-ID: 128 |
Carr A, Serchest Y, Waitukaitis SR, Perreault J, Lonij V, Cronin A. Cover slip external cavity diode laser. Review of Scientific Instruments. 2007;78(10). doi:10.1063/1.2801006
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 1297
Raghu S, Jösch MA, Borst A, Reiff D. Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites. Journal of Comparative Neurology. 2007;502(4):598-610. doi:10.1002/cne.21319
View
| DOI
2007 | Book Chapter | IST-REx-ID: 167 |
Browning TD, Heath Brown R. Simultaneous equal sums of three powers. In: Zannier U, ed. Diophantine Geometry. Vol 4. Edizioni della Normale; 2007:93-100.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 1750
Katsaros G, Stoffel M, Rastelli A, Schmidt O, Kern K, Tersoff J. Three-dimensional isocompositional profiles of buried SiGeSi (001) islands. Applied Physics Letters. 2007;91(1). doi:10.1063/1.2752730
View
| DOI
2007 | Journal Article | IST-REx-ID: 1762 |
Leek P, Fink JM, Blais A, et al. Observation of Berry’s phase in a solid-state qubit. Science. 2007;318(5858):1889-1892. doi:10.1126/science.1149858
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 1797
Viney T, Bálint K, Hillier D, et al. Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing. Current Biology. 2007;17(11):981-988. doi:10.1016/j.cub.2007.04.058
View
| DOI
2007 | Journal Article | IST-REx-ID: 1965
Baranova E, Holt P, Sazanov LA. Projection structure of the membrane domain of Escherichia coli respiratory Complex I at 8 Å resolution. Journal of Molecular Biology. 2007;366(1):140-154. doi:10.1016/j.jmb.2006.11.026
View
| DOI
2007 | Journal Article | IST-REx-ID: 1969
Baranova E, Morgan D, Sazanov LA. Single particle analysis confirms distal location of subunits NuoL and NuoM in Escherichia coli complex I. Journal of Structural Biology. 2007;159(2 SPEC. ISS.):238-242. doi:10.1016/j.jsb.2007.01.009
View
| DOI
2007 | Journal Article | IST-REx-ID: 1964
Sazanov LA. Respiratory complex I: Mechanistic and structural insights provided by the crystal structure of the hydrophilic domain. Biochemistry. 2007;46(9):2275-2288. doi:10.1021/bi602508x
View
| DOI
2007 | Conference Paper | IST-REx-ID: 2091 |
Bickel B, Botsch M, Angst R, et al. Multi scale capture of facial geometry and motion. In: ACM; 2007. doi:doi:10.1145/1275808.1276419
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2093 |
Bickel B, Botsch M, Angst R, et al. Multi scale capture of facial geometry and motion. ACM Transactions on Graphics. 2007;26(3). doi:10.1145/1276377.1276419
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2092
Pietroni N, Otaduy M, Bickel B, Ganovelli F, Groß M. Texturing internal surfaces from a few cross-sections. Computer Graphics Forum. 2007;26(3):637-644. doi:10.1111/j.1467-8659.2007.01087.x
View
| DOI
2007 | Journal Article | IST-REx-ID: 2118 |
Maas J, Van Neerven J. On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions. Archiv der Mathematik. 2007;89(3):226-236. doi:10.1007/s00013-007-2082-x
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2135
Lemeshko M, Nazarenko E, Gonchar A., et al. EXAFS studies of the local atomic structure of the lead-free piezoelectric ceramics KxNa1−xNbO3 over the temperature range 10–1023K. Physical Review B - Condensed Matter and Materials Physics. 2007;76. doi:http://dx.doi.org/10.1103/PhysRevB.76.134106
View
| DOI
2007 | Journal Article | IST-REx-ID: 2143
Lemeshko M, Nazarenko E, Gonchar A, et al. Phase transitions in lead-free piezoelectric ceramics: Study of local atomic structure. EPL. 2007;77(2). doi:10.1209/0295-5075/77/26003
View
| DOI
2007 | Journal Article | IST-REx-ID: 2145
Lemeshko M, Nazarenko E, Gonchar A, et al. EXAFS studies of the local atomic structure of the lead free piezoelectric ceramics Kx Na1-x Nb O3 over the temperature range 10-1023 K. Physical Review B - Condensed Matter and Materials Physics. 2007;76(13). doi:10.1103/PhysRevB.76.134106
View
| DOI
2007 | Journal Article | IST-REx-ID: 219
De La Bretèche R, Browning TD, Derenthal U. On Manin’s conjecture for a certain singular cubic surface. Annales Scientifiques de l’Ecole Normale Superieure. 2007;40(1):1-50. doi:10.1016/j.ansens.2006.12.002
View
| DOI
2007 | Journal Article | IST-REx-ID: 220
Browning TD. Counting rational points on cubic hypersurfaces. Mathematika. 2007;54(1-2):93-112. doi:10.1112/S0025579300000243
View
| DOI
2007 | Journal Article | IST-REx-ID: 221 |
De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. 2007;55(1):51-80. doi:10.1307/mmj/1177681985
[Published Version]
View
| Files available
| DOI
| arXiv
2007 | Journal Article | IST-REx-ID: 222 |
De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 2007;143(3):579-605. doi:10.1017/S0305004107000205
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 223 |
Browning TD. Density of integer solutions to diagonal quadratic forms. Monatshefte fur Mathematik. 2007;152(1):13-38. doi:10.1007/s00605-007-0457-5
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2367 |
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: 2372 |
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: 2370 |
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: 2375 |
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: 2373 |
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: 2371 |
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: 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: 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: 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: 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 | 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 | 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 | 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 | Book Chapter | IST-REx-ID: 2705 |
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: 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: 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: 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: 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: 3019
Blakeslee J, Bandyopadhyay A, Ok R, et al. Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. 2007;19(1):131-147. doi:10.1105/tpc.106.040782
View
| DOI
2007 | Journal Article | IST-REx-ID: 3023
Dhonukshe P, Šamaj J, Baluška F, Friml J. A unifying new model of cytokinesis for the dividing plant and animal cells. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 2007;29(4):371-381. doi:10.1002/bies.20559
View
| DOI
| PubMed | Europe PMC