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.

7219 Publications


2007 | Thesis | IST-REx-ID: 4559
Chatterjee K. 2007. Stochastic ω-Regular Games. University of California, Berkeley.
View | Download (ext.)
 

2007 | Thesis | IST-REx-ID: 4566
Chakrabarti A. 2007. A framework for compositional design and analysis of systems. University of California, Berkeley.
View
 

2007 | Journal Article | IST-REx-ID: 4567
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2007. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 9(5), 505–525.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. 2007. Minimum-time reachability in timed games. ICALP: Automata, Languages and Programming, LNCS, vol. 4596, 825–837.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Path invariants. PLDI: Programming Languages Design and Implementation, 300–309.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Invariant synthesis for combined theories. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 4349, 378–394.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. 2007. Configurable software verification: Concretizing the convergence of model checking and program analysis. CAV: Computer Aided Verification, LNCS, vol. 4590, 504–518.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. 2007. An application of web-service interfaces. ICWS: International Conference on Web Service, 831–838.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. 2007. Concurrent reachability games. Theoretical Computer Science. 386(3), 188–217.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 582
Hosten O, Kwiat P. 2007. Observing the spin hall effect of light via quantum weak measurements. OMD: Organic Materials and Devices for Displays and Energy Conversion, Optics InfoBase Conference Papers, .
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7323
Büchi FN, Paganelli G, Dietrich P, Laurent D, Tsukada A, Varenne P, Delfino A, Kötz R, Freunberger SA, Magne P-A, Walser D, Olsommer D. 2007. Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. 7(4), 329–335.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7324
Büchi FN, Freunberger SA, Reum M, Paganelli G, Tsukada A, Dietrich P, Delfino A. 2007. On the efficiency of an advanced automotive fuel cell system. Fuel Cells. 7(2), 159–164.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7325
Schneider IA, Freunberger SA, Kramer D, Wokaun A, Scherer GG. 2007. Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. 154(4), B383.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7704
Komiyama T, Sweeney LBJ, Schuldiner O, Garcia KC, Luo L. 2007. Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. 128(2), 399–410.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7705
Sweeney LBJ, Couto A, Chou Y-H, Berdnik D, Dickson BJ, Luo L, Komiyama T. 2007. Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. 53(2), 185–200.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7753 | OA
Robinson MR, Kruuk LE. 2007. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 3(6), 651–654.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 11115
Anderson DJ, HETZER MW. 2007. Nuclear envelope formation by chromatin-mediated reorganization of the endoplasmic reticulum. Nature Cell Biology. 9(10), 1160–1166.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 11116 | OA
Franz C, Walczak R, Yavuz S, Santarella R, Gentzel M, Askjaer P, Galy V, HETZER MW, Mattaj IW, Antonin W. 2007. MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly. EMBO reports. 8(2), 165–172.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Book Chapter | IST-REx-ID: 167 | OA
Browning TD, Heath Brown R. 2007.Simultaneous equal sums of three powers. In: Diophantine Geometry. CRM Series, vol. 4, 93–100.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1750
Katsaros G, Stoffel M, Rastelli A, Schmidt O, Kern K, Tersoff J. 2007. Three-dimensional isocompositional profiles of buried SiGeSi (001) islands. Applied Physics Letters. 91(1).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1762 | OA
Leek P, Fink JM, Blais A, Bianchetti R, Göppl M, Gambetta J, Schuster D, Frunzio L, Schoelkopf R, Wallraff A. 2007. Observation of Berry’s phase in a solid-state qubit. Science. 318(5858), 1889–1892.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 1797
Viney T, Bálint K, Hillier D, Siegert S, Boldogköi Z, Enquist L, Meister M, Cepko C, Roska B. 2007. Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing. Current Biology. 17(11), 981–988.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1964
Sazanov LA. 2007. Respiratory complex I: Mechanistic and structural insights provided by the crystal structure of the hydrophilic domain. Biochemistry. 46(9), 2275–2288.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1965
Baranova E, Holt P, Sazanov LA. 2007. Projection structure of the membrane domain of Escherichia coli respiratory Complex I at 8 Å resolution. Journal of Molecular Biology. 366(1), 140–154.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1969
Baranova E, Morgan D, Sazanov LA. 2007. Single particle analysis confirms distal location of subunits NuoL and NuoM in Escherichia coli complex I. Journal of Structural Biology. 159(2 SPEC. ISS.), 238–242.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 6150
Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. 2007. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 17(2), 159–164.
View | DOI | PubMed | Europe PMC
 

2007 | Preprint | IST-REx-ID: 6321 | OA
Browning TD. The Manin conjecture in dimension 2. arXiv, 0704.1217.
View | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 6323 | OA
Browning TD. 2007.An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Clay Mathemetics Proceedings, vol. 7, 39–56.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 879
Kondrashov F, Gurbich T, Vlasov P. 2007. Selection for functional uniformity of tuf duplicates in γ-proteobacteria. Trends in Genetics. 23(5), 215–218.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 904
Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. 2007. Extensive parallelism in protein evolution. Biology Direct. 2.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9149 | OA
Bühler O, Muller CJ. 2007. Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. 588, 1–28.
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 128 | OA
Carr A, Serchest Y, Waitukaitis SR, Perreault J, Lonij V, Cronin A. 2007. Cover slip external cavity diode laser. Review of Scientific Instruments. 78(10), 106108.
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1297
Raghu S, Jösch MA, Borst A, Reiff D. 2007. Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites. Journal of Comparative Neurology. 502(4), 598–610.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1035 | OA
Mark M, Ferlaino F, Knoop S, Danzl JG, Kraemer T, Chin C, Nägerl H, Grimm R. 2007. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 76(4).
View | DOI | Download None (ext.)
 

2007 | Conference Paper | IST-REx-ID: 2091 | OA
Bickel B, Botsch M, Angst R, Matusik W, Otaduy M, Pfister H, Groß M. 2007. Multi scale capture of facial geometry and motion. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2092
Pietroni N, Otaduy M, Bickel B, Ganovelli F, Groß M. 2007. Texturing internal surfaces from a few cross-sections. Computer Graphics Forum. 26(3), 637–644.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2093 | OA
Bickel B, Botsch M, Angst R, Matusik W, Otaduy M, Pfister H, Groß M. 2007. Multi scale capture of facial geometry and motion. ACM Transactions on Graphics. 26(3).
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2118 | OA
Maas J, Van Neerven J. 2007. On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions. Archiv der Mathematik. 89(3), 226–236.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2135
Lemeshko M, Nazarenko E, Gonchar A., Reznichenko L, Nedoseykina T, Novakovich A, Mathon O, Joly Y, Vedrinskiǐ R. 2007. 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. 76.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2143
Lemeshko M, Nazarenko E, Gonchar A, Reznichenko L, Mathon O, Joly Y, Vedrinskiǐ R. 2007. Phase transitions in lead-free piezoelectric ceramics: Study of local atomic structure. EPL. 77(2).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2145
Lemeshko M, Nazarenko E, Gonchar A, Reznichenko L, Nedoseykina T, Novakovich A, Mathon O, Joly Y, Vedrinskiǐ R. 2007. 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. 76(13).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 219
De La Bretèche R, Browning TD, Derenthal U. 2007. On Manin’s conjecture for a certain singular cubic surface. Annales Scientifiques de l’Ecole Normale Superieure. 40(1), 1–50.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 220
Browning TD. 2007. Counting rational points on cubic hypersurfaces. Mathematika. 54(1–2), 93–112.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 221 | OA
De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. 55(1), 51–80.
View | Files available | DOI | arXiv
 

2007 | Journal Article | IST-REx-ID: 222 | OA
De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 143(3), 579–605.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 223 | OA
Browning TD. 2007. Density of integer solutions to diagonal quadratic forms. Monatshefte fur Mathematik. 152(1), 13–38.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2367 | OA
Seiringer R. 2007. On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. 80(3), 285–288.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

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

2007 | Journal Article | IST-REx-ID: 2495
Kuramoto E, Fujiyama F, Unzai T, Nakamura K, Hioki H, Furuta T, Shigemoto R, Ferraguti F, Kaneko T. 2007. 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. 500(5), 908–922.
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 2665
Tóth K, Wittner L, Urbán Z, Doyle W, Buzsáki G, Shigemoto R, Freund T, Maglóczky Z. 2007. Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus. Neuroscience. 144(2), 495–508.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2666
Luyt K, Slade T, Dorward J, Durant C, Wu Y, Shigemoto R, Mundell S, Váradi A, Molnár E. 2007. Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. 100(3), 822–840.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2667
Masugi Tokita M, Tarusawa E, Watanabe M, Molnár E, Fujimoto K, Shigemoto R. 2007. 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. 27(8), 2135–2144.
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 2669
Brewster A, Chen Y, Bender R, Yeh A, Shigemoto R, Baram T. 2007. 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. 17(3), 702–712.
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 2671
Bender R, Kirschstein T, Kretz O, Brewster A, Richichi C, Rüschenschmidt C, Shigemoto R, Beck H, Frotscher M, Baram T. 2007. Localization of HCN1 channels to presynaptic compartments: Novel plasticity that may contribute to hippocampal maturation. Journal of Neuroscience. 27(17), 4697–4706.
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 2673
Ladera C, Godino M, Martín R, Luján R, Shigemoto R, Ciruela F, Torres M, Sánchez Prieto J. 2007. The coexistence of multiple receptors in a single nerve terminal provides evidence for pre-synaptic integration. Journal of Neurochemistry. 103(6), 2314–2326.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 2705 | OA
Erdös L. 2007.Recent developments in quantum mechanics with magnetic fields. In: Spectral Theory and Mathematical Physics: a Festschrift in Honor of Barry Simon’s 60th Birthday . Proceedings of Symposia in Pure Mathematics, vol. 76, 401–428.
View | Download (ext.)
 

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

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

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

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

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

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

2007 | Journal Article | IST-REx-ID: 9487 | OA
Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. 2007. DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. 104(16), 6752–6757.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Other Publication | IST-REx-ID: 9504
Zilberman D. 2007. The human promoter methylome, Nature Publishing Group,p.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 9524 | OA
Zilberman D, Henikoff S. 2007. Genome-wide analysis of DNA methylation patterns. Development. 134(22), 3959–3965.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 3427 | OA
Bollenbach MT, Kruse K, Pantazis P, Gonzalez Gaitan M, Julicher F. 2007. Morphogen transport in epithelia. Physical Review E Statistical Nonlinear and Soft Matter Physics. 75(1).
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 3432
Bollback JP, Gardner P, Nielsen R. 2007.Estimating the history of mutations on a phylogeny. In: Ancestral Sequence Reconstruction. , 69–79.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3436
Reynolds S, Dryer K, Bollback JP, Uy JA, Patricelli G, Robson T, Borgia G, Braun M. 2007. Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system. The Auk. 124(3), 857–867.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3450
Jonas PM, Buzsáki G. 2007. Neural inhibition. Scholarpedia. 2.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3523
Csicsvari JL, O’Neill J, Allen K, Senior T. 2007. Place-selective firing contributes to the reverse-order reactivation of CA1 pyramidal cells during sharp waves in open-field exploration. European Journal of Neuroscience. 26(3), 704–716.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3561 | OA
Attali D, Edelsbrunner H, Mileyko Y. 2007. Weak witnesses for Delaunay triangulations of submanifolds. SPM: Symposium on Solid and Physical Modeling, 143–150.
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3601
Yang E, Haridas N, El Rayis A, Erdogan A, Arslan T, Barton NH. 2007. Multiobjective optimal design of MEMS-based reconfigurable and evolvable sensor networks for space applications. AHS: NASA/ESA Conference on Adaptive Hardware and Systems, 27–34.
View | DOI
 

2007 | Book | IST-REx-ID: 3674
Barton NH, Briggs D, Eisen J, Goldstein D, Patel N. 2007. Evolution, Cold Spring Harbor Laboratory Press, XIV, 833p.
View | Files available
 

2007 | Conference Paper | IST-REx-ID: 3681
Ulges A, Lampert C, Keysers D, Breuel T. 2007. Optimal dominant motion estimation using adaptive search of transformation space. DAGM: German Association For Pattern Recognition, LCNS, vol. 4713, 204–213.
View | DOI
 

2007 | Report | IST-REx-ID: 3687
Blaschko M, Hofmann T, Lampert C. 2007. Efficient subwindow search for object localization, Max-Planck-Institute for Biological Cybernetics,p.
View | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3701
Ulges A, Lampert C, Keysers D, Breuel T. 2007. Optimal dominant motion estimation using adaptive search of transformation space. DAGM: German Association For Pattern Recognition, LNCS, vol. 4713, 204–213.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3723
Janovjak HL, Knaus H, Mueller D. 2007. Transmembrane helices have rough energy surfaces. Journal of the American Chemical Society. 129(2), 246–247.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3727
Bippes C, Janovjak HL, Kedrov A, Mueller D. 2007. Digital force-feedback for protein unfolding experiments using atomic force microscopy. Nanotechnology. 18(4).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3731
Kinney J, Tkačik G, Callan C. 2007. Precise physical models of protein-DNA interaction from high-throughput data. PNAS. 104(2), 501–506.
View | DOI | Download (ext.)
 

2007 | Preprint | IST-REx-ID: 3742 | OA
Broderick T, Dudik M, Tkačik G, Schapire R, Bialek W. 2007. Faster solutions of the inverse pairwise Ising problem. ArXiv, q-QM, .
View | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3762
Wojtan CJ, Carlson M, Mucha P, Turk G. 2007. Animating corrosion and erosion. EGWNP: Eurographics Workshop on Natural Phenomena, 15–22.
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 3765
Bargteil A, Wojtan CJ, Hodgins J, Turk G. 2007. A finite element method for animating large viscoplastic flow. ACM Transactions on Graphics. 26(3).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3816
Bartos M, Vida I, Jonas PM. 2007. Synaptic mechanisms of synchronized gamma oscillations in inhibitory interneuron networks (Review). Nature Reviews Neuroscience. 8(1), 45–56.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
Li L, Bischofberger J, Jonas PM. 2007. Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. 27(49), 13420–9.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3820
Rollenhagen A, Satzler K, Rodriguez EP, Jonas PM, Frotscher M, Lubke J. 2007. Structural determinants of transmission at large hippocampal mossy fiber synapses. Journal of Neuroscience. 27(39), 10434–44.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3821
Schmidt Hieber C, Jonas PM, Bischofberger J. 2007. Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells. Journal of Neuroscience. 27(31), 8430–8441.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro L, Chatterjee K, Faella M, Legay A. 2007. Qualitative logics and equivalences for probabilistic systems. QEST: Quantitative Evaluation of Systems, 237–248.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Chatterjee K. 2007. Concurrent games with tail objectives. Theoretical Computer Science. 388(1–3), 181–198.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee K, Henzinger TA, Piterman N. 2007. Generalized parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4423, 153–167.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. 2007. Strategy logic. CONCUR: Concurrency Theory, LNCS, vol. 4703, 59–73.
View | Files available | DOI
 

Search

Filter Publications