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.
11357 Publications
2007 |
Published |
Conference Paper |
IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 11929
Henzinger M. Finding near-duplicate web pages: A large-scale evaluation of algorithms. In: 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery; 2006:284-291. doi:10.1145/1148170.1148222
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2657
Luján R, Shigemoto R. Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience. 2006;23(6):1479-1490. doi:10.1111/j.1460-9568.2006.04669.x
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2659
Inamura M, Itakura M, Okamoto H, et al. Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research. 2006;55(1):45-53. doi:10.1016/j.neures.2006.01.004
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2660
Shaban H, Humeau Y, Herry C, et al. Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience. 2006;9(8):1028-1035. doi:10.1038/nn1732
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2661
Vigot R, Barbieri S, Bräuner Osborne H, et al. Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron. 2006;50(4):589-601. doi:10.1016/j.neuron.2006.04.014
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2662
Kulik Á, Vida I, Fukazawa Y, et al. Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. 2006;26(16):4289-4297. doi:10.1523/JNEUROSCI.4178-05.2006
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2663
Kodama T, Itsukaichi Nishida Y, Fukazawa Y, et al. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 2006;24(11):2993-3007. doi:10.1111/j.1460-9568.2006.05191.x
View
| DOI
2006 |
Published |
Book Review |
IST-REx-ID: 2664
Ferraguti F, Shigemoto R. Metabotropic glutamate receptors. Cell and Tissue Research. 2006;326(2):483-504. doi:10.1007/s00441-006-0266-5
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2745
Elgart A, Erdös L, Schlein B, Yau H. Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. 2006;179(2):265-283. doi:10.1007/s00205-005-0388-z
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 2746
Erdös L, Salmhofer M, Yau H. Towards the quantum Brownian motion. In: Vol 690. World Scientific Publishing; 2006:233-257. doi:10.1007/3-540-34273-7_18
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2747
Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. 2006;59(12):1659-1741. doi:10.1002/cpa.20123
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2791
Hof B, Westerweel J, Schneider T, Eckhardt B. Finite lifetime of turbulence in shear flows. Nature. 2006;443(7107):59-62. doi:10.1038/nature05089
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2792
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. Observation of nonlinear travelling waves in turbulent pipe flow. Fluid Mechanics and its Applications. 2006;78:109-114. doi:10.1007/1-4020-4159-4_11
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2894
Calado D, Paixao T, Holmberg D, Haury M. Stochastic Monoallelic Expression of IL 10 in T Cells. Journal of Immunology. 2006;177(8):5358-5364. doi:10.4049/jimmunol.177.8.5358
View
| DOI
2006 |
Published |
Book Chapter |
IST-REx-ID: 2921
Kolmogorov V, Zabih R. Graph cut algorithms for binocular stereo with occlusions. In: Handbook of Mathematical Models in Computer Vision. Springer; 2006:423-427. doi:10.1007/0-387-28831-7_26
View
| DOI
2006 |
Published |
Book Chapter |
IST-REx-ID: 3002
Sauer M, Friml J. In vitro culture of Arabidopsis embryos. In: Mujib A, Šamaj J, eds. Somatic Embryogenesis. Vol 2. Springer; 2006:343-354. doi:10.1007/7089_020
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 3005
Friml J, Benfey P, Benková E, et al. Apical-basal polarity: Why plant cells don’t stand on their heads. Trends in Plant Science. 2006;11(1):12-14. doi:10.1016/j.tplants.2005.11.010
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 3006
Dhonukshe P, Baluška F, Schlicht M, et al. Endocytosis of cell surface material mediates cell plate formation during plant cytokinesis. Developmental Cell. 2006;10(1):137-150. doi:10.1016/j.devcel.2005.11.015
View
| DOI