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.
119 Publications
2003 | Journal Article | IST-REx-ID: 166 | 
Browning, T. D., & Swarbick Jones, M. (2003). Counting rational points on del Pezzo surfaces of degree 5. Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations. Mathematisches Institut der Universität Bonn.
View
| Download None (ext.)
| arXiv
2003 | Journal Article | IST-REx-ID: 1959
Holt, P., Morgan, D., & Sazanov, L. A. (2003). The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M308247200
View
| DOI
2003 | Journal Article | IST-REx-ID: 1960
Sazanov, L. A., Carroll, J., Holt, P., Toime, L., & Fearnley, I. (2003). A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I). Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M208959200
View
| DOI
2003 | Journal Article | IST-REx-ID: 205
Browning, T. D. (2003). Counting rational points on cubic and quartic surfaces. Acta Arithmetica. Instytut Matematyczny. https://doi.org/10.4064/aa108-3-7
View
| DOI
2003 | Journal Article | IST-REx-ID: 206
Browning, T. D. (2003). A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. Unknown. https://doi.org/10.1093/qjmath/54.1.33
View
| DOI
2003 | Journal Article | IST-REx-ID: 207
Browning, T. D. (2003). Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. Cambridge University Press. https://doi.org/10.1017/S0305004102006382
View
| DOI
2003 | Journal Article | IST-REx-ID: 208
Browning, T. D. (2003). Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qjmath/54.1.11
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2337 |
Lieb, É., & Seiringer, R. (2003). Bose-Einstein condensation of dilute gases in traps . In Y. Karpeshina, R. Weikard, & Y. Zeng (Eds.) (Vol. 327, pp. 239–250). Presented at the Differential Equations and Mathematical Physics, American Mathematical Society. https://doi.org/10.1090/conm/327/05818
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2357 |
Lieb, É., Seiringer, R., & Yngvason, J. (2003). Poincaré inequalities in punctured domains. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2003.158.1067
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2354 |
Seiringer, R. (2003). Ground state asymptotics of a dilute, rotating gas. Journal of Physics A: Mathematical and Theoretical. IOP Publishing Ltd. https://doi.org/10.1088/0305-4470/36/37/312
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2358 |
Lieb, É., Seiringer, R., & Yngvason, J. (2003). One-dimensional Bosons in three-dimensional traps. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.91.150401
View
| DOI
| Download (ext.)
2003 | Thesis | IST-REx-ID: 2414
Wagner, U. (2003). On k-Sets and Their Applications. ETH Zurich. https://doi.org/10.3929/ethz-a-004708408
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2424
Giesen, J., & Wagner, U. (2003). Shape dimension and intrinsic metric from samples of manifolds with high co-dimension (pp. 329–337). Presented at the SoCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/777792.777841
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2423
Matoušek, J., & Wagner, U. (2003). New constructions of weak epsilon-nets (pp. 129–135). Presented at the SoCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/777792.777813
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2422
Wagner, U. (2003). On the rectilinear crossing number of complete graphs (pp. 583–588). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2623
Coesmans, M., Sillevis Smitt, P., Linden, D., Shigemoto, R., Hirano, T., Yamakawa, Y., … De Zeeuw, C. (2003). Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. Wiley-Blackwell. https://doi.org/10.1002/ana.10451
View
| DOI
2003 | Journal Article | IST-REx-ID: 2625
Minami, I., Kengaku, M., Smitt, S., Shigemoto, R., & Hirano, T. (2003). Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.2003.02499.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 2626
Kaneda, K., Imanishi, M., Nambu, A., Shigemoto, R., & Takada, M. (2003). Differential expression patterns of mGluR1α in monkey nigral dopamine neurons. Neuroreport. Lippincott, Williams & Wilkins. https://doi.org/10.1097/01.wnr.0000074344.81633.e4
View
| DOI
2003 | Journal Article | IST-REx-ID: 2627
Kawakami, R., Shinohara, Y., Kato, Y., Sugiyama, H., Shigemoto, R., & Ito, I. (2003). Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1082609
View
| DOI
2003 | Journal Article | IST-REx-ID: 2629
Somogyi, P., Dalezios, Y., Luján, R., Roberts, J., Watanabe, M., & Shigemoto, R. (2003). High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.2003.02697.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 2628
Momiyama, A., Silver, R., Häusser, M., Notomi, T., Wu, Y., Shigemoto, R., & Cull Candy, S. (2003). The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2002.033472
View
| DOI
2003 | Journal Article | IST-REx-ID: 2631
Higashida, H., Zhang, J., Mochida, S., Chen, X., Shin, Y., Noda, M., … Yokoyama, S. (2003). Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells. Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/10.1046/j.1471-4159.2003.01751.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 2633
Millán, C., Castro, E., Torres, M., Shigemoto, R., & Sánchez Prieto, J. (2003). Co-expression of metabotropic glutamate receptor 7 and N-type Ca2+ channels in single cerebrocortical nerve terminals of adult rats. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M211471200
View
| DOI
2003 | Journal Article | IST-REx-ID: 2632
Holderith, N., Shigemoto, R., & Nusser, Z. (2003). Cell type-dependent expression of HCN1 in the main olfactory bulb. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.2003.02756.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 2635
Kulik, Á., Vida, I., Luján, R., Haas, C., López Bendito, G., Shigemoto, R., & Frotscher, M. (2003). Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus. Journal of Neuroscience. Society for Neuroscience.
View
2003 | Journal Article | IST-REx-ID: 2634
López Bendito, G., Luján, R., Shigemoto, R., Ganter, P., Paulsen, O., & Molnár, Z. (2003). Blockade of GABAB receptors alters the tangential migration of cortical neurons. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/13.9.932
View
| DOI
2003 | Journal Article | IST-REx-ID: 2630
Toyono, T., Seta, Y., Kataoka, S., Kawano, S., Shigemoto, R., & Toyoshima, K. (2003). Expression of metabotropic glutamate receptor group I in rat gustatory papillae. Cell and Tissue Research. Springer. https://doi.org/10.1007/s00441-003-0740-2
View
| DOI
2003 | Journal Article | IST-REx-ID: 2637
Bell, K., De Kort, G. J., Steggerda, S., Shigemoto, R., Ribeiro Da Silva, A., & Cuello, A. (2003). Structural involvement of the glutamatergic presynaptic boutons in a transgenic mouse model expressing early onset amyloid pathology. Neuroscience Letters. Elsevier. https://doi.org/10.1016/j.neulet.2003.09.027
View
| DOI
2003 | Journal Article | IST-REx-ID: 2784
Hof, B., Juel, A., & Mullin, T. (2003). Magnetohydrodynamic damping of convective flows in molten gallium. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/S0022112003004014
View
| DOI
2003 | Journal Article | IST-REx-ID: 2785
Hof, B., Juel, A., & Mullin, T. (2003). Scaling of the turbulence transition threshold in a pipe. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.91.244502
View
| DOI
2003 | Journal Article | IST-REx-ID: 2990
Friml, J. (2003). Auxin transport - Shaping the plant. Current Opinion in Plant Biology. Elsevier. https://doi.org/10.1016/S1369526602000031
View
| DOI
2003 | Journal Article | IST-REx-ID: 2992
Willemsen, V., Friml, J., Grebe, M., Van Den Toorn, A., Palme, K., & Scheres, B. (2003). Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERASE1 function. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.008433
View
| DOI
2003 | Journal Article | IST-REx-ID: 2996
Benková, E., Michniewicz, M., Sauer, M., Teichmann, T., Seifertová, D., Jürgens, G., & Friml, J. (2003). Local, efflux-dependent auxin gradients as a common module for plant organ formation. Cell. Cell Press. https://doi.org/10.1016/S0092-8674(03)00924-3
View
| DOI
2003 | Journal Article | IST-REx-ID: 2995
Friml, J., Vieten, A., Sauer, M., Weijers, D., Schwarz, H., Hamann, T., … Jürgens, G. (2003). Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02085
View
| DOI
2003 | Journal Article | IST-REx-ID: 2994
Reinhardt, D., Pesce, E., Stieger, P., Mandel, T., Baltensperger, K., Bennett, M., … Kuhlemeier, C. (2003). Regulation of phyllotaxis by polar auxin transport. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02081
View
| DOI
2003 | Journal Article | IST-REx-ID: 2993
Friml, J., Benková, E., Mayer, U., Palme, K., & Muster, G. (2003). Automated whole mount localisation techniques for plant seedlings. Plant Journal. Wiley-Blackwell. https://doi.org/10.1046/j.1365-313X.2003.01705.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 3151
Rayburn, L., Gooding, H., Choksi, S., Maloney, D., Kidd, A., Siekhaus, D. E., & Bender, M. (2003). Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics. Genetics Society of America.
View
2003 | Journal Article | IST-REx-ID: 3150
Siekhaus, D. E., & Drubin, D. (2003). Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb941
View
| DOI
2003 | Journal Article | IST-REx-ID: 3209
Pietrzak, K. Z. (2003). On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/S0022-0000(03)00078-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3210
Maurer, U., & Pietrzak, K. Z. (2003). The security of many round Luby Rackoff pseudo random permutations (Vol. 2656, pp. 544–561). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/3-540-39200-9_34
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3425
Bollenbach, M. T., Strother, T., & Bauer, W. (2003). 3D supernova collapse calculations (Vol. 166, pp. 277–288). Presented at the NATO ASI on Structure and Dynamics of Elementary Matter, Springer. https://doi.org/10.1007/978-1-4020-2705-5_21
View
| DOI
2003 | Book Chapter | IST-REx-ID: 3458
Jonas, P. M., & Unsicker, K. (2003). Molekulare und zelluläre Grundlagen des Nervensystems. In R. Schmidt (Ed.), Lehrbuch Vorklinik (Vol. B, pp. 3–26). Deutscher Ärzte Verlag.
View
2003 | Journal Article | IST-REx-ID: 3536
Buzsáki, G., Buhl, D., Harris, K., Csicsvari, J. L., Czéh, B., & Morozov, A. (2003). Hippocampal network patterns of activity in the mouse. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(02)00669-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3556
Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2003). Morse-Smale complexes for piecewise linear 3-manifolds (pp. 361–370). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/777792.777846
View
| DOI
| Download (ext.)
2003 | Book Chapter | IST-REx-ID: 3573
Edelsbrunner, H. (2003). Surface reconstruction by wrapping finite sets in space. In Discrete & Computational Geometry (pp. 379–404). Springer. https://doi.org/10.1007/978-3-642-55566-4_17
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3584
Edelsbrunner, H., & Zomorodian, A. (2003). Computing linking numbers of a filtration. Homology, Homotopy and Applications. International Press.
View
| Download None (ext.)
2003 | Journal Article | IST-REx-ID: 3620
Nürnberger, B., Hofman, S., Förg Brey, B., Praetzel, G., Maclean, A., Szymura, J., … Barton, N. H. (2003). A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae). Heredity. Nature Publishing Group. https://doi.org/10.1038/sj.hdy.6800291
View
| DOI
2003 | Journal Article | IST-REx-ID: 3619
Baird, S., Barton, N. H., & Etheridge, A. (2003). The distribution of surviving blocks of an ancestral genome. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/S0040-5809(03)00098-4
View
| DOI
2003 | Journal Article | IST-REx-ID: 3618
Vines, T., & Barton, N. H. (2003). A new approach to detecting mixed families. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1046/j.1365-294X.2003.01867.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 3752 |
Vilar, J., Guet, C. C., & Leibler, S. (2003). Modeling network dynamics: the lac operon, a case study. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200301125
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3797
Bauer, W., Kleine Berkenbusch, M., & Bollenbach, M. T. (2003). Breaking atomic nuclei into little pieces: evidence for a phase transition. Revista Mexicana De Fisica. Sociedad Mexicana de Física.
View
2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2003). Simple stochastic parity games (Vol. 2803, pp. 100–113). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-45220-1_11
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2003). Stack size analysis for interrupt-driven programs (Vol. 2694, pp. 109–126). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/3-540-44898-5_7
View
| DOI
2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner, H., Harer, J., & Zomorodian, A. (2003). Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-003-2926-5
View
| DOI
2003 | Journal Article | IST-REx-ID: 3994
Cheng, H., & Edelsbrunner, H. (2003). Area, perimeter and derivatives of a skin curve. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/S0925-7721(02)00124-4
View
| DOI
2003 | Book Review | IST-REx-ID: 3139
Chen, H., Hippenmeyer, S., Arber, S., & Frank, E. (2003). Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/S0959-4388(03)00006-0
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3171
Kolmogorov, V., Zabih, R., & Gortler, S. (2003). Generalized multi camera scene reconstruction using graph cuts (Vol. 2683, pp. 501–516). Presented at the EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition, Springer. https://doi.org/10.1007/978-3-540-45063-4_32
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3174
Kim, J., Kolmogorov, V., & Zabih, R. (2003). Visual correspondence using energy minimization and mutual information (Vol. 2, pp. 1033–1040). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2003.1238463
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3170
Boykov, Y., & Kolmogorov, V. (2003). Computing geodesics and minimal surfaces via graph cuts (Vol. 1, pp. 26–33). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2003.1238310
View
| DOI
2003 | Journal Article | IST-REx-ID: 3526
Harris, K., Csicsvari, J. L., Hirase, H., Dragoi, G., & Buzsáki, G. (2003). Organization of cell assemblies in the hippocampus. Nature. Nature Publishing Group. https://doi.org/0.1038/nature01834
View
| DOI
2003 | Journal Article | IST-REx-ID: 3529
Csicsvari, J. L., Henze, D., Jamieson, B., Harris, K., Sirota, A., Bartho, P., … Buzsáki, G. (2003). Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.00116.2003
View
| DOI
2003 | Journal Article | IST-REx-ID: 3528
Csicsvari, J. L., Jamieson, B., Wise, K., & Buzsáki, G. (2003). Mechanisms of gamma oscillations in the hippocampus of the behaving rat. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(02)01169-8
View
| DOI
2003 | Journal Article | IST-REx-ID: 3543
Sirota, A., Csicsvari, J. L., Buhl, D., & Buzsáki, G. (2003). Communication between neocortex and hippocampus during sleep in rodents. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0437938100
View
| DOI
2003 | Journal Article | IST-REx-ID: 3593
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2003). A branching time temporal framework for quantitative reasoning. Journal of Automated Reasoning. Springer. https://doi.org/10.1023/A:1023217515688
View
| DOI
2003 | Thesis | IST-REx-ID: 3678
Lampert, C. (2003). The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik.
View
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3725 |
Janovjak, H. L., Kessler, M., Oesterhelt, D., Gaub, H., & Mueller, D. (2003). Unfolding pathways of native bacteriorhodopsin depend on temperature. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1093/emboj/cdg509
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3804
Lien, C., & Jonas, P. M. (2003). Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons. Journal of Neuroscience. Society for Neuroscience.
View
2003 | Journal Article | IST-REx-ID: 3806
Hallermann, S., Pawlu, C., Jonas, P. M., & Heckmann, M. (2003). A large pool of releasable vesicles in a cortical glutamatergic synapse. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1432836100
View
| DOI
2003 | Journal Article | IST-REx-ID: 3921
Anderson, C., Cremer, S., & Heinze, J. (2003). Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals. Behavioral Ecology. Oxford University Press. https://doi.org/10.1093/beheco/14.1.54
View
| DOI
2003 | Journal Article | IST-REx-ID: 3922
Cremer, S., & Heinze, J. (2003). Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00012-5
View
| DOI
2003 | Journal Article | IST-REx-ID: 3917
Cremer, S., & Heinze, J. (2003). Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in Die Wissenschaft. Schnell und Steiner.
View
2003 | Thesis | IST-REx-ID: 4416
Majumdar, R. (2003). Symbolic algorithms for verification and control. University of California, Berkeley.
View
2003 | Thesis | IST-REx-ID: 4425
Horowitz, B. (2003). Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
View
2003 | Journal Article | IST-REx-ID: 576
Hosten, O., Vignolo, P., Minguzzi, A., Tanatar, B., & Tosi, M. (2003). Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd. https://doi.org/10.1088/0953-4075/36/12/306
View
| DOI
2003 | Journal Article | IST-REx-ID: 6156
Rogers, C., Reale, V., Kim, K., Chatwin, H., Li, C., Evans, P., & de Bono, M. (2003). Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/nn1140
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 6157
de Bono, M. (2003). Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. Wiley. https://doi.org/10.1002/neu.10162
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 847
Sunyaev, S., Kondrashov, F., Bork, P., & Ramensky, V. (2003). Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddg359
View
| DOI
2003 | Journal Article | IST-REx-ID: 876
Kondrashov, F., & Koonin, E. (2003). Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(02)00029-X
View
| DOI
2003 | Journal Article | IST-REx-ID: 9495 |
Cao, X., Aufsatz, W., Zilberman, D., Mette, M. F., Huang, M. S., Matzke, M., & Jacobsen, S. E. (2003). Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2003.11.052
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 8519
Kaloshin, V. (2003). The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones Mathematicae. Springer Nature. https://doi.org/10.1007/s00222-002-0244-9
View
| DOI
2003 | Journal Article | IST-REx-ID: 9455
Zilberman, D., Cao, Xiaofeng, & Jacobsen, S. E. (2003). ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1079695
View
| DOI
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2003). Discounting the future in systems theory. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 1022–1037). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/3-540-45061-0_79
View
| DOI
2003 | Journal Article | IST-REx-ID: 13436
Michrowska, A., Bieniek, M., Kim, M., Klajn, R., & Grela, K. (2003). Cross-metathesis reaction of vinyl sulfones and sulfoxides. Tetrahedron. Elsevier. https://doi.org/10.1016/s0040-4020(03)00682-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2003). Resource interfaces. In Third International Conference on Embedded Software (Vol. 2855, pp. 117–133). Philadelphia, PA, USA: ACM. https://doi.org/10.1007/978-3-540-45212-6_9
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2003). The element of surprise in timed games. In Proceedings of the 14th International Conference on Concurrency Theory (Vol. 2761, pp. 144–158). Marseille, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-45187-7_9
View
| DOI
2003 | Journal Article | IST-REx-ID: 4468
Henzinger, T. A., Kirsch, C., Sanvido, M., & Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine. IEEE. https://doi.org/10.1109/MCS.2003.1172829
View
| DOI
2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Embedded control systems development with Giotto. In Software-Enabled Control: Information Technology for Dynamical Systems (pp. 123–146). Wiley-Blackwell. https://doi.org/10.1002/047172288X.ch8
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2003). On the universal and existential fragments of the mu-calculus. In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 2619, pp. 49–64). Warsaw, Poland: Springer. https://doi.org/10.1007/3-540-36577-X_5
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2003). Software verification with BLAST. In Proceedings of the 10th International SPIN Workshop (Vol. 2648, pp. 235–239). Portland, OR, USA: Springer. https://doi.org/10.1007/3-540-44829-2_17
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, T. A., Jhala, R., Majumdar, R., & Qadeer, S. (2003). Thread-modular abstraction refinement. In Proceedings of the 15th International Conference on Computer Aided Verification (Vol. 2725, pp. 262–274). Boulder, CO, USA: Springer. https://doi.org/10.1007/978-3-540-45069-6_27
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, T. A., Jhala, R., & Majumdar, R. (2003). Counterexample-guided control. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 886–902). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/3-540-45061-0_69
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, T. A., Kirsch, C., & Matic, S. (2003). Schedule-carrying code. In Proceedings of the 3rd International Conference on Embedded Software (Vol. 2855, pp. 241–256). Philadelphia, PA, USA: ACM. https://doi.org/10.1007/978-3-540-45212-6_16
View
| DOI
2003 | Journal Article | IST-REx-ID: 4460
Henzinger, T. A., Kupferman, O., & Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1026228213080
View
| DOI
2003 | Journal Article | IST-REx-ID: 4469
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. IEEE. https://doi.org/10.1109/JPROC.2002.805825
View
| DOI
2003 | Journal Article | IST-REx-ID: 4338
Vines, T., Kohler, S. C., Thiel, M., Ghira, I., Sands, T. R., Maccallum, C., … Nürnberger, B. (2003). On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 4350
Harshman, J., Huddleston, C., Bollback, J. P., Parsons, T., & Braun, M. (2003). True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. Oxford University Press. https://doi.org/10.1080/10635150390197028
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, J., Nielsen, R., & Bollback, J. P. (2003). Stochastic mapping of morphological characters. Systematic Biology. Oxford University Press. https://doi.org/10.1080/10635150390192780
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4254
Navarro, A., & Barton, N. H. (2003). Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2003.tb01537.x
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, B., Charlesworth, D., & Barton, N. H. (2003). The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. Annual Reviews. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359
View
| DOI
2003 | Journal Article | IST-REx-ID: 4256
Barton, N. H., & Zuidema, W. (2003). The erratic path towards complexity. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00573-6
[Published Version]
View
| DOI