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.
7704 Publications
2007 | Conference Paper | IST-REx-ID: 3191
Applications of parametric maxflow in computer vision
V. Kolmogorov, Y. Boykov, C. Rother, in:, IEEE, 2007.
View
| DOI
| Download (ext.)
V. Kolmogorov, Y. Boykov, C. Rother, in:, IEEE, 2007.
2007 | Conference Paper | IST-REx-ID: 3192
Optimizing binary MRFs via extended roof duality
C. Rother, V. Kolmogorov, V. Lempitsky, M. Szummer, in:, IEEE, 2007.
View
| DOI
| Download (ext.)
C. Rother, V. Kolmogorov, V. Lempitsky, M. Szummer, in:, IEEE, 2007.
2007 | Journal Article | IST-REx-ID: 3193
Minimizing nonsubmodular functions with graph cuts - A review
V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 29 (2007) 1274–1279.
View
| DOI
V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 29 (2007) 1274–1279.
2007 | Conference Paper | IST-REx-ID: 3218
Non-trivial black-box combiners for collision-resistant hash-functions don't exist
K.Z. Pietrzak, in:, Springer, 2007, pp. 23–33.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2007, pp. 23–33.
2007 | Conference Paper | IST-REx-ID: 3219
Indistinguishability amplification
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.
View
| DOI
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.
2007 | Conference Paper | IST-REx-ID: 3220
Intrusion resilient secret sharing
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2007, pp. 227–237.
View
| DOI
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2007, pp. 227–237.
2007 | Conference Paper | IST-REx-ID: 3221
Range extension for weak PRFs the good the bad and the ugly
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2007, pp. 517–533.
View
| DOI
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2007, pp. 517–533.
2007 | Conference Paper | IST-REx-ID: 3222
Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, in:, Springer, 2007, pp. 86–102.
View
| DOI
K.Z. Pietrzak, D. Wikström, in:, Springer, 2007, pp. 86–102.
2007 | Conference Paper | IST-REx-ID: 3223
Improving the security of MACs via randomized message preprocessing
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2007, pp. 414–433.
View
| DOI
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2007, pp. 414–433.
2007 | Journal Article | IST-REx-ID: 3305
Evolution can favor antagonistic epistasis
M. Desai, D. Weissman, M. Feldman, Genetics 177 (2007) 1001–10.
View
| DOI
M. Desai, D. Weissman, M. Feldman, Genetics 177 (2007) 1001–10.
2007 | Journal Article | IST-REx-ID: 3411 | 
Free energy of membrane protein unfolding derived from single-molecule force measurements
J. Preiner, H.L. Janovjak, C. Rankl, H. Knaus, D. Cisneros, A. Kedrov, F. Kienberger, D. Mueller, P. Hinterdorfer, Biophysical Journal 93 (2007) 930–937.
View
| DOI
| Download (ext.)
J. Preiner, H.L. Janovjak, C. Rankl, H. Knaus, D. Cisneros, A. Kedrov, F. Kienberger, D. Mueller, P. Hinterdorfer, Biophysical Journal 93 (2007) 930–937.
2007 | Book Review | IST-REx-ID: 3412
Deciphering molecular interactions of native membrane proteins by single-molecule force spectroscopy
A. Kedrov, H.L. Janovjak, T. Sapra, D. Mueller, Annual Review of Biophysics 36 (2007) 233–260.
View
| DOI
A. Kedrov, H.L. Janovjak, T. Sapra, D. Mueller, Annual Review of Biophysics 36 (2007) 233–260.
2007 | Journal Article | IST-REx-ID: 7780
Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.
View
| DOI
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.
2007 | Journal Article | IST-REx-ID: 7781
Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
View
| DOI
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
2007 | Journal Article | IST-REx-ID: 8027
Gating deficits in model networks: A path to schizophrenia?
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) S73–S77.
View
| DOI
| PubMed | Europe PMC
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) S73–S77.
2007 | Journal Article | IST-REx-ID: 8483
Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy
P. Schanda, V. Forge, B. Brutscher, Proceedings of the National Academy of Sciences 104 (2007) 11257–11262.
View
| DOI
P. Schanda, V. Forge, B. Brutscher, Proceedings of the National Academy of Sciences 104 (2007) 11257–11262.
2007 | Journal Article | IST-REx-ID: 8484
A set of BEST triple-resonance experiments for time-optimized protein resonance assignment
E. Lescop, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 187 (2007) 163–169.
View
| DOI
E. Lescop, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 187 (2007) 163–169.
2007 | Journal Article | IST-REx-ID: 8485
Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons
P. Schanda, E. Lescop, M. Falge, R. Sounier, J. Boisbouvier, B. Brutscher, Journal of Biomolecular NMR 38 (2007) 47–55.
View
| DOI
P. Schanda, E. Lescop, M. Falge, R. Sounier, J. Boisbouvier, B. Brutscher, Journal of Biomolecular NMR 38 (2007) 47–55.
2007 | Journal Article | IST-REx-ID: 8486
Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy
E. Lescop, P. Schanda, R. Rasia, B. Brutscher, Journal of the American Chemical Society 129 (2007) 2756–2757.
View
| DOI
E. Lescop, P. Schanda, R. Rasia, B. Brutscher, Journal of the American Chemical Society 129 (2007) 2756–2757.
2007 | Journal Article | IST-REx-ID: 8487
UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates
M. Gal, P. Schanda, B. Brutscher, L. Frydman, Journal of the American Chemical Society 129 (2007) 1372–1377.
View
| DOI
M. Gal, P. Schanda, B. Brutscher, L. Frydman, Journal of the American Chemical Society 129 (2007) 1372–1377.
2007 | Journal Article | IST-REx-ID: 8511
How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency
A. Gorodetski, V. Kaloshin, Advances in Mathematics 208 (2007) 710–797.
View
| DOI
A. Gorodetski, V. Kaloshin, Advances in Mathematics 208 (2007) 710–797.
2007 | Journal Article | IST-REx-ID: 8512
Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B. Hunt, Annals of Mathematics 165 (2007) 89–170.
View
| DOI
V. Kaloshin, B. Hunt, Annals of Mathematics 165 (2007) 89–170.
2007 | Journal Article | IST-REx-ID: 860
Conversion and compensatory evolution of the γ-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, E. Rogaev, American Journal of Human Genetics 81 (2007) 32–43.
View
| DOI
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, E. Rogaev, American Journal of Human Genetics 81 (2007) 32–43.
2007 | Journal Article | IST-REx-ID: 861
A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures
K. Popadin, L. Mamirova, F. Kondrashov, BMC Bioinformatics 8 (2007).
View
| DOI
K. Popadin, L. Mamirova, F. Kondrashov, BMC Bioinformatics 8 (2007).
2007 | Book Chapter | IST-REx-ID: 4417
Abstract counterexample-based refinement for powerset domains
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
View
| DOI
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
2007 | Journal Article | IST-REx-ID: 4446
The embedded machine: Predictable, portable real-time code
T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).
View
| DOI
T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).
2007 | Conference Paper | IST-REx-ID: 4511
Quantitative generalizations of languages
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
2007 | Conference Paper | IST-REx-ID: 4514
Games, time, and probability: Graph models for system design and analysis
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
2007 | Journal Article | IST-REx-ID: 4529
Executable cell biology
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.
View
| DOI
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.
2007 | Conference (Editor) | IST-REx-ID: 4530
CSL: Computer Science Logic
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
View
| DOI
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
2007 | Journal Article | IST-REx-ID: 4531
Predictive modeling of signaling crosstalk during C. elegans vulval development
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
View
| DOI
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
2007 | Conference Paper | IST-REx-ID: 4537
Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
2007 | Journal Article | IST-REx-ID: 4547
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
2007 | Thesis | IST-REx-ID: 4559
Stochastic ω-Regular Games
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
View
| Download (ext.)
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
2007 | Thesis | IST-REx-ID: 4566
A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
View
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
2007 | Journal Article | IST-REx-ID: 4567
The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
2007 | Conference Paper | IST-REx-ID: 4570
Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
View
| DOI
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
2007 | Conference Paper | IST-REx-ID: 4571
Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
2007 | Conference Paper | IST-REx-ID: 4572
Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
2007 | Conference Paper | IST-REx-ID: 4573
Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
2007 | Conference Paper | IST-REx-ID: 4575
An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
2007 | Journal Article | IST-REx-ID: 4626
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
View
| DOI
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
2007 | Conference Paper | IST-REx-ID: 582
Observing the spin hall effect of light via quantum weak measurements
O. Hosten, P. Kwiat, in:, OSA, 2007.
View
| DOI
O. Hosten, P. Kwiat, in:, OSA, 2007.
2007 | Journal Article | IST-REx-ID: 7323
Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain
F.N. Büchi, G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, R. Kötz, S.A. Freunberger, P.-A. Magne, D. Walser, D. Olsommer, Fuel Cells 7 (2007) 329–335.
View
| DOI
F.N. Büchi, G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, R. Kötz, S.A. Freunberger, P.-A. Magne, D. Walser, D. Olsommer, Fuel Cells 7 (2007) 329–335.
2007 | Journal Article | IST-REx-ID: 7324
On the efficiency of an advanced automotive fuel cell system
F.N. Büchi, S.A. Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, A. Delfino, Fuel Cells 7 (2007) 159–164.
View
| DOI
F.N. Büchi, S.A. Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, A. Delfino, Fuel Cells 7 (2007) 159–164.
2007 | Journal Article | IST-REx-ID: 7325
Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs
I.A. Schneider, S.A. Freunberger, D. Kramer, A. Wokaun, G.G. Scherer, Journal of The Electrochemical Society 154 (2007).
View
| DOI
I.A. Schneider, S.A. Freunberger, D. Kramer, A. Wokaun, G.G. Scherer, Journal of The Electrochemical Society 154 (2007).
2007 | Journal Article | IST-REx-ID: 7704
Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons
T. Komiyama, L.B.J. Sweeney, O. Schuldiner, K.C. Garcia, L. Luo, Cell 128 (2007) 399–410.
View
| DOI
T. Komiyama, L.B.J. Sweeney, O. Schuldiner, K.C. Garcia, L. Luo, Cell 128 (2007) 399–410.
2007 | Journal Article | IST-REx-ID: 7705
Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions
L.B.J. Sweeney, A. Couto, Y.-H. Chou, D. Berdnik, B.J. Dickson, L. Luo, T. Komiyama, Neuron 53 (2007) 185–200.
View
| DOI
L.B.J. Sweeney, A. Couto, Y.-H. Chou, D. Berdnik, B.J. Dickson, L. Luo, T. Komiyama, Neuron 53 (2007) 185–200.
2007 | Journal Article | IST-REx-ID: 7753 |
Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep
M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.
2007 | Book Chapter | IST-REx-ID: 167 |
Simultaneous equal sums of three powers
T.D. Browning, R. Heath Brown, in:, U. Zannier (Ed.), Diophantine Geometry, Edizioni della Normale, 2007, pp. 93–100.
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, R. Heath Brown, in:, U. Zannier (Ed.), Diophantine Geometry, Edizioni della Normale, 2007, pp. 93–100.
2007 | Journal Article | IST-REx-ID: 1750
Three-dimensional isocompositional profiles of buried SiGeSi (001) islands
G. Katsaros, M. Stoffel, A. Rastelli, O. Schmidt, K. Kern, J. Tersoff, Applied Physics Letters 91 (2007).
View
| DOI
G. Katsaros, M. Stoffel, A. Rastelli, O. Schmidt, K. Kern, J. Tersoff, Applied Physics Letters 91 (2007).
2007 | Journal Article | IST-REx-ID: 1762 |
Observation of Berry's phase in a solid-state qubit
P. Leek, J.M. Fink, A. Blais, R. Bianchetti, M. Göppl, J. Gambetta, D. Schuster, L. Frunzio, R. Schoelkopf, A. Wallraff, Science 318 (2007) 1889–1892.
View
| DOI
| Download (ext.)
P. Leek, J.M. Fink, A. Blais, R. Bianchetti, M. Göppl, J. Gambetta, D. Schuster, L. Frunzio, R. Schoelkopf, A. Wallraff, Science 318 (2007) 1889–1892.
2007 | Journal Article | IST-REx-ID: 1797
Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing
T. Viney, K. Bálint, D. Hillier, S. Siegert, Z. Boldogköi, L. Enquist, M. Meister, C. Cepko, B. Roska, Current Biology 17 (2007) 981–988.
View
| DOI
T. Viney, K. Bálint, D. Hillier, S. Siegert, Z. Boldogköi, L. Enquist, M. Meister, C. Cepko, B. Roska, Current Biology 17 (2007) 981–988.
2007 | Journal Article | IST-REx-ID: 1964
Respiratory complex I: Mechanistic and structural insights provided by the crystal structure of the hydrophilic domain
L.A. Sazanov, Biochemistry 46 (2007) 2275–2288.
View
| DOI
L.A. Sazanov, Biochemistry 46 (2007) 2275–2288.
2007 | Journal Article | IST-REx-ID: 1965
Projection structure of the membrane domain of Escherichia coli respiratory Complex I at 8 Å resolution
E. Baranova, P. Holt, L.A. Sazanov, Journal of Molecular Biology 366 (2007) 140–154.
View
| DOI
E. Baranova, P. Holt, L.A. Sazanov, Journal of Molecular Biology 366 (2007) 140–154.
2007 | Journal Article | IST-REx-ID: 1969
Single particle analysis confirms distal location of subunits NuoL and NuoM in Escherichia coli complex I
E. Baranova, D. Morgan, L.A. Sazanov, Journal of Structural Biology 159 (2007) 238–242.
View
| DOI
E. Baranova, D. Morgan, L.A. Sazanov, Journal of Structural Biology 159 (2007) 238–242.
2007 | Journal Article | IST-REx-ID: 6150
Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
View
| DOI
| PubMed | Europe PMC
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
2007 | Preprint | IST-REx-ID: 6321 |
The Manin conjecture in dimension 2
T.D. Browning, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, ArXiv (n.d.).
2007 | Book Chapter | IST-REx-ID: 6323 |
An overview of Manin's conjecture for del Pezzo surfaces
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
2007 | Journal Article | IST-REx-ID: 879
Selection for functional uniformity of tuf duplicates in γ-proteobacteria
F. Kondrashov, T. Gurbich, P. Vlasov, Trends in Genetics 23 (2007) 215–218.
View
| DOI
F. Kondrashov, T. Gurbich, P. Vlasov, Trends in Genetics 23 (2007) 215–218.
2007 | Journal Article | IST-REx-ID: 904
Extensive parallelism in protein evolution
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).
View
| DOI
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).
2007 | Journal Article | IST-REx-ID: 9149 |
Instability and focusing of internal tides in the deep ocean
O. Bühler, C.J. Muller, Journal of Fluid Mechanics 588 (2007) 1–28.
View
| DOI
| Download None (ext.)
O. Bühler, C.J. Muller, Journal of Fluid Mechanics 588 (2007) 1–28.
2007 | Journal Article | IST-REx-ID: 128 |
Cover slip external cavity diode laser
A. Carr, Y. Serchest, S.R. Waitukaitis, J. Perreault, V. Lonij, A. Cronin, Review of Scientific Instruments 78 (2007).
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Carr, Y. Serchest, S.R. Waitukaitis, J. Perreault, V. Lonij, A. Cronin, Review of Scientific Instruments 78 (2007).
2007 | Journal Article | IST-REx-ID: 1297
Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites
S. Raghu, M.A. Jösch, A. Borst, D. Reiff, Journal of Comparative Neurology 502 (2007) 598–610.
View
| DOI
S. Raghu, M.A. Jösch, A. Borst, D. Reiff, Journal of Comparative Neurology 502 (2007) 598–610.
2007 | Journal Article | IST-REx-ID: 1035 |
Spectroscopy of ultracold trapped cesium Feshbach molecules
M. Mark, F. Ferlaino, S. Knoop, J.G. Danzl, T. Kraemer, C. Chin, H. Nägerl, R. Grimm, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
View
| DOI
| Download None (ext.)
M. Mark, F. Ferlaino, S. Knoop, J.G. Danzl, T. Kraemer, C. Chin, H. Nägerl, R. Grimm, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
2007 | Conference Paper | IST-REx-ID: 2091 |
Multi scale capture of facial geometry and motion
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, in:, ACM, 2007.
View
| DOI
| Download (ext.)
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, in:, ACM, 2007.
2007 | Journal Article | IST-REx-ID: 2092
Texturing internal surfaces from a few cross-sections
N. Pietroni, M. Otaduy, B. Bickel, F. Ganovelli, M. Groß, Computer Graphics Forum 26 (2007) 637–644.
View
| DOI
N. Pietroni, M. Otaduy, B. Bickel, F. Ganovelli, M. Groß, Computer Graphics Forum 26 (2007) 637–644.
2007 | Journal Article | IST-REx-ID: 2093 |
Multi scale capture of facial geometry and motion
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, ACM Transactions on Graphics 26 (2007).
View
| DOI
| Download (ext.)
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, ACM Transactions on Graphics 26 (2007).
2007 | Journal Article | IST-REx-ID: 2118 |
On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions
J. Maas, J. Van Neerven, Archiv Der Mathematik 89 (2007) 226–236.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, Archiv Der Mathematik 89 (2007) 226–236.
2007 | Journal Article | IST-REx-ID: 2135
EXAFS studies of the local atomic structure of the lead-free piezoelectric ceramics KxNa1−xNbO3 over the temperature range 10–1023K
M. Lemeshko, E. Nazarenko, A.. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
View
| DOI
M. Lemeshko, E. Nazarenko, A.. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
2007 | Journal Article | IST-REx-ID: 2143
Phase transitions in lead-free piezoelectric ceramics: Study of local atomic structure
M. Lemeshko, E. Nazarenko, A. Gonchar, L. Reznichenko, O. Mathon, Y. Joly, R. Vedrinskiǐ, EPL 77 (2007).
View
| DOI
M. Lemeshko, E. Nazarenko, A. Gonchar, L. Reznichenko, O. Mathon, Y. Joly, R. Vedrinskiǐ, EPL 77 (2007).
2007 | Journal Article | IST-REx-ID: 2145
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
M. Lemeshko, E. Nazarenko, A. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
View
| DOI
M. Lemeshko, E. Nazarenko, A. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
2007 | Journal Article | IST-REx-ID: 219
On Manin's conjecture for a certain singular cubic surface
R. De La Bretèche, T.D. Browning, U. Derenthal, Annales Scientifiques de l’Ecole Normale Superieure 40 (2007) 1–50.
View
| DOI
R. De La Bretèche, T.D. Browning, U. Derenthal, Annales Scientifiques de l’Ecole Normale Superieure 40 (2007) 1–50.
2007 | Journal Article | IST-REx-ID: 220
Counting rational points on cubic hypersurfaces
T.D. Browning, Mathematika 54 (2007) 93–112.
View
| DOI
T.D. Browning, Mathematika 54 (2007) 93–112.
2007 | Journal Article | IST-REx-ID: 221 |
On Manin's conjecture for singular del Pezzo surfaces of degree four, I
R. De La Bretèche, T.D. Browning, Michigan Mathematical Journal 55 (2007) 51–80.
View
| Files available
| DOI
| arXiv
R. De La Bretèche, T.D. Browning, Michigan Mathematical Journal 55 (2007) 51–80.
2007 | Journal Article | IST-REx-ID: 222 |
On Manin's conjecture for singular del Pezzo surfaces of degree four, II
R. De La Bretèche, T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 143 (2007) 579–605.
View
| DOI
| Download (ext.)
R. De La Bretèche, T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 143 (2007) 579–605.
2007 | Journal Article | IST-REx-ID: 223 |
Density of integer solutions to diagonal quadratic forms
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.
View
| DOI
| Download (ext.)
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.
2007 | Journal Article | IST-REx-ID: 2367 |
On the failure of subadditivity of the Wigner-Yanase entropy
R. Seiringer, Letters in Mathematical Physics 80 (2007) 285–288.
View
| DOI
| Download (ext.)
R. Seiringer, Letters in Mathematical Physics 80 (2007) 285–288.
2007 | Journal Article | IST-REx-ID: 2370 |
Bose-Einstein condensation and spontaneous symmetry breaking
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.
2007 | Journal Article | IST-REx-ID: 2371 |
Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 275 (2007) 479–489.
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 275 (2007) 479–489.
2007 | Journal Article | IST-REx-ID: 2372 |
Müller's exchange-correlation energy in density-matrix-functional theory
R. Frank, É. Lieb, R. Seiringer, H. Siedentop, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, H. Siedentop, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
2007 | Journal Article | IST-REx-ID: 2373 |
The critical temperature for the BCS equation at weak coupling
R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.
View
| DOI
| Download (ext.)
R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.
2007 | Journal Article | IST-REx-ID: 2375 |
Number of bound states of Schrödinger operators with matrix-valued potentials
R. Frank, É. Lieb, R. Seiringer, Letters in Mathematical Physics 82 (2007) 107–116.
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, Letters in Mathematical Physics 82 (2007) 107–116.
2007 | Journal Article | IST-REx-ID: 2451
Auxin - Universal development signal in plant life
J. Friml, Živa 1 (2007).
View
J. Friml, Živa 1 (2007).
2007 | Journal Article | IST-REx-ID: 2462
Polar auxin transport and asymmetric auxin distribution
M. Michniewicz, P. Brewer, J. Friml, The Arabidopsis Book 5 (2007).
View
| DOI
M. Michniewicz, P. Brewer, J. Friml, The Arabidopsis Book 5 (2007).
2007 | Journal Article | IST-REx-ID: 2495
Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum
E. Kuramoto, F. Fujiyama, T. Unzai, K. Nakamura, H. Hioki, T. Furuta, R. Shigemoto, F. Ferraguti, T. Kaneko, Journal of Comparative Neurology 500 (2007) 908–922.
View
| DOI
E. Kuramoto, F. Fujiyama, T. Unzai, K. Nakamura, H. Hioki, T. Furuta, R. Shigemoto, F. Ferraguti, T. Kaneko, Journal of Comparative Neurology 500 (2007) 908–922.
2007 | Journal Article | IST-REx-ID: 2496
Expression of group II metabotropic glutamate receptors in rat gustatory papillae
T. Toyono, S. Kataoka, Y. Seta, R. Shigemoto, K. Toyoshima, Cell and Tissue Research 328 (2007) 57–63.
View
| DOI
T. Toyono, S. Kataoka, Y. Seta, R. Shigemoto, K. Toyoshima, Cell and Tissue Research 328 (2007) 57–63.
2007 | Journal Article | IST-REx-ID: 2665
Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus
K. Tóth, L. Wittner, Z. Urbán, W. Doyle, G. Buzsáki, R. Shigemoto, T. Freund, Z. Maglóczky, Neuroscience 144 (2007) 495–508.
View
| DOI
K. Tóth, L. Wittner, Z. Urbán, W. Doyle, G. Buzsáki, R. Shigemoto, T. Freund, Z. Maglóczky, Neuroscience 144 (2007) 495–508.
2007 | Journal Article | IST-REx-ID: 2666
Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration
K. Luyt, T. Slade, J. Dorward, C. Durant, Y. Wu, R. Shigemoto, S. Mundell, A. Váradi, E. Molnár, Journal of Neurochemistry 100 (2007) 822–840.
View
| DOI
K. Luyt, T. Slade, J. Dorward, C. Durant, Y. Wu, R. Shigemoto, S. Mundell, A. Váradi, E. Molnár, Journal of Neurochemistry 100 (2007) 822–840.
2007 | Journal Article | IST-REx-ID: 2667
Number and density of AMPA receptors in individual synapses in the rat cerebellum as revealed by SDS-digested freeze-fracture replica labeling
M. Masugi Tokita, E. Tarusawa, M. Watanabe, E. Molnár, K. Fujimoto, R. Shigemoto, Journal of Neuroscience 27 (2007) 2135–2144.
View
| DOI
M. Masugi Tokita, E. Tarusawa, M. Watanabe, E. Molnár, K. Fujimoto, R. Shigemoto, Journal of Neuroscience 27 (2007) 2135–2144.
2007 | Journal Article | IST-REx-ID: 2668
Functional presynaptic HCN channels in the rat globus pallidus
J. Boyes, J. Bolam, R. Shigemoto, I. Stanford, European Journal of Neuroscience 25 (2007) 2081–2092.
View
| DOI
J. Boyes, J. Bolam, R. Shigemoto, I. Stanford, European Journal of Neuroscience 25 (2007) 2081–2092.
2007 | Journal Article | IST-REx-ID: 2669
Quantitative analysis and subcellular distribution of mRNA and protein expression of the hyperpolarization-activated cyclic nucleotide-gated channels throughout development in rat hippocampus
A. Brewster, Y. Chen, R. Bender, A. Yeh, R. Shigemoto, T. Baram, Cerebral Cortex 17 (2007) 702–712.
View
| DOI
A. Brewster, Y. Chen, R. Bender, A. Yeh, R. Shigemoto, T. Baram, Cerebral Cortex 17 (2007) 702–712.
2007 | Book Review | IST-REx-ID: 2670
High-resolution quantitative visualization of glutamate and GABA receptors at central synapses
M. Masugi Tokita, R. Shigemoto, Current Opinion in Neurobiology 17 (2007) 387–393.
View
| DOI
M. Masugi Tokita, R. Shigemoto, Current Opinion in Neurobiology 17 (2007) 387–393.
2007 | Journal Article | IST-REx-ID: 2671
Localization of HCN1 channels to presynaptic compartments: Novel plasticity that may contribute to hippocampal maturation
R. Bender, T. Kirschstein, O. Kretz, A. Brewster, C. Richichi, C. Rüschenschmidt, R. Shigemoto, H. Beck, M. Frotscher, T. Baram, Journal of Neuroscience 27 (2007) 4697–4706.
View
| DOI
R. Bender, T. Kirschstein, O. Kretz, A. Brewster, C. Richichi, C. Rüschenschmidt, R. Shigemoto, H. Beck, M. Frotscher, T. Baram, Journal of Neuroscience 27 (2007) 4697–4706.
2007 | Journal Article | IST-REx-ID: 2672
HCN2 and HCN4 isoforms self-assemble and co-assemble with equal preference to form functional pacemaker channels
G. Whitaker, D. Angoli, H. Nazzari, R. Shigemoto, E. Accili, Journal of Biological Chemistry 282 (2007) 22900–22909.
View
| DOI
G. Whitaker, D. Angoli, H. Nazzari, R. Shigemoto, E. Accili, Journal of Biological Chemistry 282 (2007) 22900–22909.
2007 | Journal Article | IST-REx-ID: 2673
The coexistence of multiple receptors in a single nerve terminal provides evidence for pre-synaptic integration
C. Ladera, M. Godino, R. Martín, R. Luján, R. Shigemoto, F. Ciruela, M. Torres, J. Sánchez Prieto, Journal of Neurochemistry 103 (2007) 2314–2326.
View
| DOI
C. Ladera, M. Godino, R. Martín, R. Luján, R. Shigemoto, F. Ciruela, M. Torres, J. Sánchez Prieto, Journal of Neurochemistry 103 (2007) 2314–2326.
2007 | Book Chapter | IST-REx-ID: 2705 |
Recent developments in quantum mechanics with magnetic fields
L. Erdös, in:, F. Gesztesy, P. Deift, P. Galvez, P. Perry, W. Schlag (Eds.), Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday , American Mathematical Society, 2007, pp. 401–428.
View
| Download (ext.)
L. Erdös, in:, F. Gesztesy, P. Deift, P. Galvez, P. Perry, W. Schlag (Eds.), Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday , American Mathematical Society, 2007, pp. 401–428.
2007 | Journal Article | IST-REx-ID: 2748
Rigorous derivation of the Gross-Pitaevskii equation
L. Erdös, B. Schlein, H. Yau, Physical Review Letters 98 (2007).
View
| DOI
L. Erdös, B. Schlein, H. Yau, Physical Review Letters 98 (2007).
2007 | Book Review | IST-REx-ID: 2749
Derivation of the cubic non linear Schrödinger equation from quantum dynamics of many body systems
L. Erdös, B. Schlein, H. Yau, Inventiones Mathematicae 167 (2007) 515–614.
View
| DOI
L. Erdös, B. Schlein, H. Yau, Inventiones Mathematicae 167 (2007) 515–614.
2007 | Journal Article | IST-REx-ID: 2750
Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams
L. Erdös, M. Salmhofer, H. Yau, Communications in Mathematical Physics 271 (2007) 1–53.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, Communications in Mathematical Physics 271 (2007) 1–53.