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.

6492 Publications


2006 | Conference Paper | IST-REx-ID: 3189
Criminisi A, Cross G, Blake A, Kolmogorov V. 2006. Bilayer segmentation of live video. CVPR: Computer Vision and Pattern Recognition vol. 1, 53–60.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3190
Kolmogorov V. 2006. Convergent tree reweighted message passing for energy minimization. IEEE Transactions on Pattern Analysis and Machine Intelligence. 28(10), 1568–1583.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3214
Maurer U, Oswald Y, Pietrzak KZ, Sjödin J. 2006. Luby Rackoff ciphers from weak round functions . EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4004, 391–408.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3215
Dodis Y, Pietrzak KZ, Przydatek B. 2006. Separating sources for encryption and secret sharing. TCC: Theory of Cryptography Conference, LNCS, vol. 3876, 601–616.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3216
Pietrzak KZ. 2006. A tight bound for EMAC. ICALP: Automata, Languages and Programming, LNCS, vol. 4052, 168–179.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3217
Pietrzak KZ. 2006. Composition implies adaptive security in minicrypt. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4004, 328–338.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Janovjak HL, Sawhney R, Stark M, Mueller D. 2006.Atomic force microscopy. In: Techniques in Microscopy for Biomedical Applications. Manuals in Biomedical Research, vol. 2, 213–284.
View
 

2006 | Journal Article | IST-REx-ID: 3413
Kessler M, Gottschalk K, Janovjak HL, Mueller D, Gaub H. 2006. Bacteriorhodopsin folds into the membrane against an external force. Journal of Molecular Biology. 357(2), 644–654.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3414
Kedrov A, Janovjak HL, Ziegler C, Kühlbrandt W, Mueller D. 2006. Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli. Journal of Molecular Biology. 355(1), 2–8.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3415
Janovjak HL, Kedrov A, Cisneros D, Sapra T, Struckmeier J, Mueller D. 2006. Imaging and detecting molecular interactions of single membrane proteins. Neurobiology of Aging. 27, 546–561.
View | DOI
 

2006 | Preprint | IST-REx-ID: 3431 | OA
Tkačik G, Schneidman E, Berry M, Bialek W. 2006. Ising models for networks of real neurons. ArXiv, 1–4, .
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3437
Betancourt A, Bollback JP. 2006. Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution. Current Opinion in Genetics & Development. 16(6), 618–623.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3449
Chatterjee K, Jagadeesan R, Pitcher C. 2006. Games for controls. CSF: Computer Security Foundations, 70–82.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3463
Bischofberger J, Engel D, Frotscher M, Jonas PM. 2006. Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review). Pflugers Archiv : European Journal of Physiology. 453(3), 361–372.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee K. 2006. Nash equilibrium for upward-closed objectives. CSL: Computer Science Logic, LNCS , vol. 4207, 271–286.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee K, Henzinger TA, Piterman N. 2006. Algorithms for Büchi Games. GDV: Games in Design and Verification.
View | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3510
Edelsbrunner H, Fu P, Nekhayev D, Facello M, Williams S. 2006. Method, apparatus and computer program products for automatically generating NURBS models of triangulated surfaces using homeomorphism.
View | DOI | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3511
Fu P, Nekhayev D, Edelsbrunner H. 2006. Manufacturing methods and systems for rapid production of hearing-aid shells.
View | DOI | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3512
Fletcher Y, Gloth T, Edelsbrunner H, Fu P. 2006. Method, apparatus and computer products that reconstruct surfaces from data points.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3522
O’Neill J, Senior T, Csicsvari JL. 2006. Place-selective firing of CA1 pyramidal cells during sharp wave/ripple network patterns in exploratory behavior. Neuron. 49(1), 143–155.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3545
Magill P, Pogosyan A, Sharott A, Csicsvari JL, Bolam J, Brown P. 2006. Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo. Journal of Neuroscience. 26(23), 6318–6329.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3559
Cohen Steiner D, Edelsbrunner H, Morozov D. 2006. Vines and vineyards by updating persistence in linear time. SCG: Symposium on Computational Geometry, 119–126.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3560
Edelsbrunner H, Morozov D, Pascucci V. 2006. Persistence-sensitive simplification of functions on 2-manifolds. SCG: Symposium on Computational Geometry, 127–134.
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 3594
Pemberton J, Swanson G, Barton NH, Livingstone S, Senn H. 2006. Hybridisation between red and sika deer in Scotland. Deer. 13(9), 22–26.
View
 

2006 | Journal Article | IST-REx-ID: 3607
Turelli M, Barton NH. 2006. Will population bottlenecks and multilocus epistasis increase additive genetic variance? Evolution; International Journal of Organic Evolution. 60(9), 1763–1776.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3608
Kirkpatrick M, Barton NH. 2006. Chromosome inversions, local adaptation, and speciation. Genetics. 173(1), 419–434.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3609
Yanchukov A, Hofman S, Szymura J, Mezhzherin S, Morozov Leonov S, Barton NH, Nürnberger B. 2006. Hybridization of Bombina bombina and B. variegata (Anura, Discoglossidae) at a sharp ecotone in western Ukraine: comparisons across transects and over time. Evolution; International Journal of Organic Evolution. 60(3), 583–600.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3610
Hill W, Barton NH, Turelli M. 2006. Prediction of effects of genetic drift on variance components under a general model of epistasis. Theoretical Population Biology. 70(1), 56–62.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3677
Ulges A, Lampert C, Keysers D. 2006. Spatiogram-based shot distances for video retrieval. TRECVID Workshop, TRECVID Notebook Papers and Slides, , 1–10.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3679
Ali H, Lampert C, Breuel T. 2006. Satellite tracks removal in astronomical images. CIARP: Iberoamerican Congress in Pattern Recognition, LNCS, vol. 4225, 892–901.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3680
Lampert C, Mei L, Breuel T. 2006. Printing technique classification for document counterfeit detection. CIS: Computational Intelligence and Security vol. 1, 639–634.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3683
Lampert C, Breuel T. 2006. Objective quality measurement for geometric document image restoration. DAS: Document Analysis Systems.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3685
Lampert C. 2006. Machine learning for video compression: Macroblock mode decision. ICPR: International Conference on Pattern Recognition, 936–940.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3692
Keysers D, Lampert C, Breuel T. 2006. Color image dequantization by constrained diffusion. SPIE Electronic Imaging vol. 6058.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3693
Lampert C, Wirjadi O. 2006. Anisotropic Gaussian filtering using fixed point arithmetic. ICIP: IEEE International Conference on Image Processing, 1565–1568.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3695 | OA
Lampert C, Wirjadi O. 2006. An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter. IEEE Transactions on Image Processing (TIP). 15(11), 3501–3513.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 9505
ZILBERMAN D, Gehring M, Tran RK, Ballinger T, Henikoff S. 2006. Genome-wide analysis of Arabidopsis thaliana DNA methylation uncovers an interdependence between methylation and transcription. Nature Genetics. 39(1), 61–69.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 2307
Schwartz J, Novarino G, Piston D, Defelice L. 2005. Substrate binding stoichiometry and kinetics of the norepinephrine transporter. Journal of Biological Chemistry. 280(19), 19177–19184.
View | DOI
 

2005 | Book | IST-REx-ID: 2335 | OA
Lieb É, Seiringer R, Solovej J, Yngvason J. 2005. The mathematics of the Bose gas and its condensation, Birkhäuser,p.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 2336 | OA
Lieb É, Seiringer R, Solovej J, Yngvason J. 2005.The quantum-mechanical many-body problem: The Bose gas. In: Perspectives in Analysis. Mathematical Physics Studies, vol. 27, 97–183.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2359 | OA
Lieb É, Seiringer R, Yngvason J. 2005. Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters. 94(8).
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2361 | OA
Lieb É, Seiringer R. 2005. Stronger subadditivity of entropy. Physical Review A - Atomic, Molecular, and Optical Physics. 71(6).
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2362 | OA
Lieb É, Seiringer R, Solovej J. 2005. Ground state energy of the low density Fermi gas. Physical Review A - Atomic, Molecular, and Optical Physics. 71(5).
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2427
Ambühl C, Wagner U. 2005. The Clique problem in intersection graphs of ellipses and triangles. Theory of Computing Systems. 38(3), 279–292.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 2428
Fiat A, Levy M, Matoušek J, Pach E, Sharir M, Smorodinsky S, Wagner U, Welzl E. 2005. Online conflict-free coloring for intervals. SODA: Symposium on Discrete Algorithms, 545–554.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2455
Billou I, Xu J, Wildwater M, Willemsen V, Paponov I, Friml J, Heldstra R, Aida M, Palme K, Scheres B. 2005. The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots. Nature. 433(7021), 39–44.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2463
Dubová J, Hejátko J, Friml J. 2005.Reproduction, plants. In: Encyclopedia of Molecular Cell Biology and Molecular Medicine. vol. 12, 249–295.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2464
Friml J, Wiśniewska J. 2005.Auxin as an intercellular signal. In: Intercellular Communication in Plants. Annual Plant Reviews, vol. 16.
View
 

2005 | Book Review | IST-REx-ID: 2647
Luján R, Shigemoto R, López Bendito G. 2005. Glutamate and GABA receptor signalling in the developing brain. Neuroscience. 130(3), 567–580.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2648
Luján R, Albasanz J, Shigemoto R, Juíz J. 2005. Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum. European Journal of Neuroscience. 21(8), 2073–2082.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2649
Tanaka J, Matsuzaki M, Tarusawa E, Momiyama A, Molnár E, Kasai H, Shigemoto R. 2005. Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. 25(4), 799–807.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2650
Nyíri G, Szabadits E, Cserép C, Mackie K, Shigemoto R, Freund T. 2005. GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons. European Journal of Neuroscience. 21(11), 3034–3042.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2651
Kanbara K, Okamoto K, Nomura S, Kaneko T, Shigemoto R, Azuma H, Katsuoka Y, Watanabe M. 2005. Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis. Journal of Andrology. 26(4), 485–493.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2652
Price C, Cauli B, Kovács E, Kulik Á, Lambolez B, Shigemoto R, Capogna M. 2005. Neurogliaform neurons form a novel inhibitory network in the hippocampal CA1 area. Journal of Neuroscience. 25(29), 6775–6786.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 2654
Ferraguti F, Klausberger T, Cobden P, Baude A, Roberts J, Szűcs P, Kinoshita A, Shigemoto R, Somogyi P, Dalezios Y. 2005. Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus. Journal of Neuroscience. 25(45), 10520–10536.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2655
Wu Y, Kawakami R, Shinohara Y, Fukaya M, Sakimura K, Mishina M, Watanabe M, Ito I, Shigemoto R. 2005. Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ε1/NR2A knock-out mice. Journal of Neuroscience. 25(40), 9213–9226.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2656
Feng Y, Li Y, Wang W, Wu S, Chen T, Shigemoto R, Mizuno N. 2005. 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. 388(3), 144–148.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2658
Kaneda K, Tachibana Y, Imanishi M, Kita H, Shigemoto R, Nambu A, Takada M. 2005. Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys. European Journal of Neuroscience. 22(12), 3241–3254.
View | DOI
 

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

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

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

2005 | Journal Article | IST-REx-ID: 2789
Hof B. 2005. Transition to turbulence in pipe flow. Fluid Mechanics and its Applications. 77, 221–231.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 2867 | OA
Weijers D, Benková E, Jäger K, Schlereth A, Hamann T, Kientz M, Wilmoth J, Reed J, Jürgens G. 2005. Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators. EMBO Journal. 24(10), 1874–1885.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
Carneiro J, Paixao T, Milutinovic D, Sousa J, Leon K, Gardner R, Faro J. 2005. Immunological self tolerance: Lessons from mathematical modeling. Journal of Computational and Applied Mathematics. 184(1), 77–100.
View | DOI
 

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

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

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

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

2005 | Journal Article | IST-REx-ID: 8492
Schanda P, Brutscher B. 2005. 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. 127(22), 8014–8015.
View | DOI
 

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

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

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

2005 | Journal Article | IST-REx-ID: 880
Kondrashov F. 2005. The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus. Biofizika. 50(3), 396–403.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 882
Kondrashov F. 2005. Prediction of pathogenic mutations in mitochondrially encoded human tRNAs. Human Molecular Genetics. 14(16), 2415–2419.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1740
Costantini G, Rastelli A, Manzano C, Acosta Diaz P, Katsaros G, Songmuang R, Schmidt O, Von Känel H, Kern K. 2005. Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. 278(1–4), 38–45.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
Denker U, Rastelli A, Stoffel M, Tersoff J, Katsaros G, Costantini G, Kern K, Jin Phillipp N, Jesson D, Schmidt O. 2005. Lateral motion of SiGe islands driven by surface-mediated alloying. Physical Review Letters. 94(21).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
Katsaros G, Costantini G, Stoffel M, Esteban R, Bittner A, Rastelli A, Denker U, Schmidt O, Kern K. 2005. Kinetic origin of island intermixing during the growth of Ge on Si (001). Physical Review B - Condensed Matter and Materials Physics. 72(19).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Zhong Z, Katsaros G, Stoffel M, Costantini G, Kern K, Schmidt O, Jin Phillipp N, Bauer G. 2005. Periodic pillar structures by Si etching of multilayer GeSi/Si islands. Applied Physics Letters. 87(26), 1–3.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1744
Katsaros G, Darwazeh I, Lane P. 2005. Non linear transmission effects in duobinary and dicode optical systems. IEE Proceedings - Optoelectronics. 152(6), 344–352.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1795
Siegert S, Thaler S, Wagner R, Schnierle B. 2005. Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors. AIDS Research and Therapy. 2(1).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1962
Hinchliffe P, Sazanov LA. 2005. Biochemistry: Organization of iron-sulfur clusters in respiratory complex I. Science. 309(5735), 771–774.
View | DOI
 

2005 | Book | IST-REx-ID: 210
Davenport H, Browning TD. 2005. Analytic methods for diophantine equations and diophantine inequalities, Cambridge University Press,p.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 211
Browning TD. 2005. Equal sums of like polynomials. Bulletin of the London Mathematical Society. 37(6), 801–808.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 212 | OA
Browning TD, Heath Brown R. 2005. Counting rational points on hypersurfaces. Journal fur die Reine und Angewandte Mathematik. (584), 83–115.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 214 | OA
Browning TD, Heath Brown R. 2005. Plane curves in boxes and equal sums of two powers. Mathematische Zeitschrift. 251(2), 233–247.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 217
Browning TD. 2005. The density of rational points on a certain singular cubic surface. Journal of Number Theory. 119(2), 242–283.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2005. Counterfactual quantum computation. QELS: Quantum Electronics and Laser Science, QELS, vol. 1, 365–367.
View | DOI
 

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

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

2005 | Journal Article | IST-REx-ID: 1298
Reiff D, Ihring A, Guerrero G, Isacoff E, Jösch MA, Nakai J, Borst A. 2005. In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. 25(19), 4766–4778.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
Hausel T. 2005.Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In: Geometric Methods in Algebra and Number Theory. Progress in Mathematics, vol. 235, 193–217.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1447 | OA
Hausel T. 2005. Quaternionic geometry of matroids. Open Mathematics. 3(1), 26–38.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1463 | OA
Hausel T, Proudfoot N. 2005. Abelianization for hyperkähler quotients. Topology. 44(1), 231–248.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 893
Jordan I, Kondrashov F, Adzhubeǐ I, Wolf Y, Koonin E, Kondrashov A, Sunyaev S. 2005. A universal trend of amino acid gain and loss in protein evolution. Nature. 433(7026), 633–638.
View | DOI
 

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

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

Search

Filter Publications