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.

6739 Publications


2007 | Journal Article | IST-REx-ID: 4353
Binladen J, Gilbert MT, Bollback JP, et al. The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing. PLoS One. 2007;2(2). doi:10.1371/journal.pone.0000197
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4354
Freyhult E, Bollback JP, Gardner P. Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. 2007;17(1):117-125. doi:10.1101/gr.5890907
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4355
Bollback JP, Huelsenbeck J. Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. 2007;24(6):1397-1406. doi:10.1093/molbev/msm056
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4356
Petersen L, Bollback JP, Dimmic M, Hubisz M, Nielsen R. Genes under positive selection in Escherichia coli. Genome Research. 2007;17(9):1336-1343. doi:10.1101/gr.6254707
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. AMT: a property-based monitoring tool for analog systems. In: Springer; 2007:304-319. doi:1567
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4370
Maler O, Nickovic D, Pnueli A. On synthesizing controllers from bounded-response properties. In: Springer; 2007:95-107. doi:1568
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4394
Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. In: Springer; 2007:74-88. doi:1552
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4398
Berdine J, Calcagno C, Cook B, et al. Shape Analysis for Composite Data Structures. In: Springer; 2007:178-192. doi:1553
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. Algorithms for interface synthesis. In: Vol 4590. Springer; 2007:4-19. doi:10.1007/978-3-540-73368-3_4
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. Model Checking on Trees with Path Equivalences. In: Springer; 2007:664-678. doi:1544
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 2007;1(4). doi:10.1186/1752-0509-1-4
View | DOI | Download (ext.)
 

2007 | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Vol 4444. Springer; 2007:273-292. doi:10.1007/978-3-540-71322-7_13
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4446
Henzinger TA, Kirsch C. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 2007;29(393). doi:10.1145/1286821.1286824
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4511
Henzinger TA. Quantitative generalizations of languages. In: Vol 4588. Springer; 2007:20-22. doi:10.1007/978-3-540-73208-2_2
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
Henzinger TA. Games, time, and probability: Graph models for system design and analysis. In: Vol 4362. Springer; 2007:103-110. doi:10.1007/978-3-540-69507-3_7
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4529
Fisher J, Henzinger TA. Executable cell biology. Nature Biotechnology. 2007;25:1239-1249. doi:10.1038/nbt1356
View | DOI
 

2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc J, Henzinger TA. CSL: Computer Science Logic . Vol 4646. Springer; 2007. doi:10.1007/978-3-540-74915-8
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4531
Fisher J, Piterman N, Hajnal A, Henzinger TA. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. 2007;3(5):e92. doi:10.1371/journal.pcbi.0030092
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee K, Henzinger TA. Assume-guarantee synthesis. In: Vol 4424. Springer; 2007:261-275. doi:10.1007/978-3-540-71209-1_21
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4547
Chatterjee K, Doyen L, Henzinger TA, Raskin J. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 2007;3(184):1-23. doi:10.2168/LMCS-3(3:4)2007
View | DOI
 

2007 | Thesis | IST-REx-ID: 4559
Chatterjee K. Stochastic ω-Regular Games. 2007:1-247.
View | Download (ext.)
 

2007 | Thesis | IST-REx-ID: 4566
Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.
View
 

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

2007 | Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:10.1007/978-3-540-73420-8_71
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants. In: ACM; 2007:300-309. doi:10.1145/1250734.1250769
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3019
Blakeslee J, Bandyopadhyay A, Ok R, et al. Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. 2007;19(1):131-147. doi:10.1105/tpc.106.040782
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3021
Bandyopadhyay A, Blakeslee J, Lee O, et al. Interactions of PIN and PGP auxin transport mechanisms. In: Vol 35. Portland Press; 2007:137-141. doi:10.1042/BST0350137
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3022
Dhonukshe P, Aniento F, Hwang I, et al. Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. 2007;17(6):520-527. doi:10.1016/j.cub.2007.01.052
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3023
Dhonukshe P, Šamaj J, Baluška F, Friml J. A unifying new model of cytokinesis for the dividing plant and animal cells. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 2007;29(4):371-381. doi:10.1002/bies.20559
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 3024
Vieten A, Sauer M, Brewer P, Friml J. Molecular and cellular aspects of auxin-transport-mediated development. Trends in Plant Science. 2007;12(4):160-168. doi:10.1016/j.tplants.2007.03.006
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 3025
Sauer M, Balla J, Luschnig C, et al. Erratum: Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity (Genes and Development (2006) 20 (2902-2911)). Genes and Development. 2007;21(11):1431-1431.
View
 

2007 | Journal Article | IST-REx-ID: 3026
Růžička K, Ljung K, Vanneste S, et al. Ethylene regulates root growth through effects on auxin biosynthesis and transport dependent auxin distribution. Plant Cell. 2007;19(7):2197-2212. doi:10.1105/tpc.107.052126
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3027
Malenica N, Abas L, Benjamins R, et al. MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. 2007;51(4):537-550. doi:10.1111/j.1365-313X.2007.03158.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3028
Michniewicz M, Zago M, Abas L, et al. Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux. Cell. 2007;130(6):1044-1056. doi:10.1016/j.cell.2007.07.033
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3029
Laplaze L, Benková E, Casimiro I, et al. Cytokinins act directly on lateral root founder cells to inhibit root initiation. Plant Cell. 2007;19(12):3889-3900. doi:10.1105/tpc.107.055863
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3144
Hippenmeyer S, Huber R, Ladle D, Murphy K, Arber S. ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles. Neuron. 2007;55(5):726-740. doi:10.1016/j.neuron.2007.07.028
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3187
Blake A, Criminisi A, Cross G, Kolmogorov V, Rother C. Fusion of stereo colour and contrast. Springer Tracts in Advanced Robotics. 2007;28:295-304. doi:10.1007/978-3-540-48113-3_27
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov V, Boykov Y, Rother C. Applications of parametric maxflow in computer vision. In: IEEE; 2007. doi:10.1109/ICCV.2007.4408910
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3192
Rother C, Kolmogorov V, Lempitsky V, Szummer M. Optimizing binary MRFs via extended roof duality. In: IEEE; 2007. doi:10.1109/CVPR.2007.383203
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 3193
Kolmogorov V, Rother C. Minimizing nonsubmodular functions with graph cuts - A review. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2007;29(7):1274-1279. doi:10.1109/TPAMI.2007.1031
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3218
Pietrzak KZ. Non-trivial black-box combiners for collision-resistant hash-functions don’t exist. In: Vol 4515. Springer; 2007:23-33. doi:10.1007/978-3-540-72540-4_2
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3219
Maurer U, Pietrzak KZ, Renner R. Indistinguishability amplification. In: Vol 4622. Springer; 2007:130-149. doi:10.1007/978-3-540-74143-5_8
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3220
Dziembowski S, Pietrzak KZ. Intrusion resilient secret sharing. In: IEEE; 2007:227-237. doi:10.1109/FOCS.2007.63
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3221
Pietrzak KZ, Sjödin J. Range extension for weak PRFs the good the bad and the ugly. In: Vol 4515. Springer; 2007:517-533. doi:10.1007/978-3-540-72540-4_30
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3222
Pietrzak KZ, Wikström D. Parallel repetition of computationally sound protocols revisited. In: Vol 4392. Springer; 2007:86-102. doi:10.1007/978-3-540-70936-7_5
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3223
Dodis Y, Pietrzak KZ. Improving the security of MACs via randomized message preprocessing. In: Vol 4593. Springer; 2007:414-433. doi:10.1007/978-3-540-74619-5_26
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3305
Desai M, Weissman D, Feldman M. Evolution can favor antagonistic epistasis. Genetics. 2007;177(2):1001-1010. doi:10.1534/genetics.107.075812
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3411 | OA
Preiner J, Janovjak HL, Rankl C, et al. Free energy of membrane protein unfolding derived from single-molecule force measurements. Biophysical Journal. 2007;93(3):930-937. doi:10.1529/biophysj.106.096982
View | DOI | Download (ext.)
 

2007 | Book Review | IST-REx-ID: 3412
Kedrov A, Janovjak HL, Sapra T, Mueller D. Deciphering molecular interactions of native membrane proteins by single-molecule force spectroscopy. Annual Review of Biophysics. 2007;36:233-260. doi:10.1146/annurev.biophys.36.040306.132640
View | DOI
 

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

2007 | Book Chapter | IST-REx-ID: 3432
Bollback JP, Gardner P, Nielsen R. Estimating the history of mutations on a phylogeny. In: Liberles D, ed. Ancestral Sequence Reconstruction. Oxford University Press; 2007:69-79. doi:10.1093/acprof:oso/9780199299188.003.0006
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3436
Reynolds S, Dryer K, Bollback JP, et al. Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system. The Auk. 2007;124(3):857-867. doi:10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2
View | DOI
 

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

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

2007 | Conference Paper | IST-REx-ID: 3561 | OA
Attali D, Edelsbrunner H, Mileyko Y. Weak witnesses for Delaunay triangulations of submanifolds. In: ACM; 2007:143-150. doi:10.1145/1236246.1236267
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3601
Yang E, Haridas N, El Rayis A, Erdogan A, Arslan T, Barton NH. Multiobjective optimal design of MEMS-based reconfigurable and evolvable sensor networks for space applications. In: IEEE; 2007:27-34. doi:10.1109/AHS.2007.76
View | DOI
 

2007 | Book | IST-REx-ID: 3674
Barton NH, Briggs D, Eisen J, Goldstein D, Patel N. Evolution. Wiley-Blackwell; 2007.
View | Files available
 

2007 | Conference Paper | IST-REx-ID: 3681
Ulges A, Lampert C, Keysers D, Breuel T. Optimal dominant motion estimation using adaptive search of transformation space. In: Vol 4713. Springer; 2007:204-213. doi:10.1007/978-3-540-74936-3_21
View | DOI
 

2007 | Report | IST-REx-ID: 3687
Blaschko M, Hofmann T, Lampert C. Efficient Subwindow Search for Object Localization. Max-Planck-Institute for Biological Cybernetics; 2007.
View | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3701
Ulges A, Lampert C, Keysers D, Breuel T. Optimal dominant motion estimation using adaptive search of transformation space. In: Vol 4713. Springer; 2007:204-213. doi:10.1007/978-3-540-74936-3_21
View | DOI
 

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

2007 | Other Publication | IST-REx-ID: 9504
ZILBERMAN D. The Human Promoter Methylome. Vol 39. Nature Publishing Group; 2007:442-443. doi:10.1038/ng0407-442
View | DOI | PubMed | Europe PMC
 

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

2006 | Conference Paper | IST-REx-ID: 2333 | OA
Lieb É, Seiringer R, Solovej J. Ground-state energy of a dilute Fermi gas. In: Vol 412. American Mathematical Society; 2006:239-248. doi:10.1090/conm/412
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 2334 | OA
Seiringer R, Lieb É, Yngvason J. One-dimensional behavior of dilute, trapped Bose gases in traps. In: Zambrini J, ed. World Scientific Publishing; 2006. doi:10.1007/s00220-003-0993-3
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 2363 | OA
Lieb É, Seiringer R. Derivation of the Gross-Pitaevskii equation for rotating Bose gases. Communications in Mathematical Physics. 2006;264(2):505-537. doi:10.1007/s00220-006-1524-9
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2364 | OA
Seiringer R. A correlation estimate for quantum many-body systems at positive temperature. Reviews in Mathematical Physics. 2006;18(3):233-253. doi:10.1142/S0129055X06002632
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2365 | OA
Seiringer R. The thermodynamic pressure of a dilute fermi gas. Communications in Mathematical Physics. 2006;261(3):729-757. doi:10.1007/s00220-005-1433-3
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2366 | OA
Frank R, Laptev A, Lieb É, Seiringer R. Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials. Letters in Mathematical Physics. 2006;77(3):309-316. doi:10.1007/s11005-006-0095-1
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2368
Seiringer R. Dilute, trapped Bose gases and Bose-Einstein condensation. In: Dereziński J, Siedentop H, eds. Large Coulomb Systems. Vol 695. Springer; 2006:249-274. doi:10.1007/3-540-32579-4_6
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2369 | OA
Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. Bose-Einstein condensation as a quantum phase transition in an optical lattice. In: Asch J, Joye A, eds. Mathematical Physics of Quantum Mechanics. Vol 690. Springer; 2006:199-215. doi:10.1007/b11573432
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2416
Bang Jensen J, Reed B, Schacht B, Šámal R, Toft B, Wagner U. On six problems posed by Jarik Nešetřil. In: Topics in Discrete Mathematics. Vol 26. Springer; 2006:613-627. doi:10.1007/3-540-33700-8_30
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2429
Matoušek J, Sharir M, Smorodinsky S, Wagner U. K-sets in four dimensions. Discrete & Computational Geometry. 2006;35(2):177-191. doi:10.1007/s00454-005-1200-4
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2430
Chent K, Fiat A, Kaplan H, et al. Online conflict-free coloring for intervals. SIAM Journal on Computing. 2006;36(5):1342-1359. doi:10.1137/S0097539704446682
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2431
Wagner U. On a geometric generalization of the Upper Bound Theorem. In: IEEE; 2006:635-645. doi:10.1109/FOCS.2006.53
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2657
Luján R, Shigemoto R. Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience. 2006;23(6):1479-1490. doi:10.1111/j.1460-9568.2006.04669.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2659
Inamura M, Itakura M, Okamoto H, et al. Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research. 2006;55(1):45-53. doi:10.1016/j.neures.2006.01.004
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban H, Humeau Y, Herry C, et al. Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience. 2006;9(8):1028-1035. doi:10.1038/nn1732
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2661
Vigot R, Barbieri S, Bräuner Osborne H, et al. Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron. 2006;50(4):589-601. doi:10.1016/j.neuron.2006.04.014
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2662
Kulik Á, Vida I, Fukazawa Y, et al. Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. 2006;26(16):4289-4297. doi:10.1523/JNEUROSCI.4178-05.2006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2663
Kodama T, Itsukaichi Nishida Y, Fukazawa Y, et al. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 2006;24(11):2993-3007. doi:10.1111/j.1460-9568.2006.05191.x
View | DOI
 

2006 | Book Review | IST-REx-ID: 2664
Ferraguti F, Shigemoto R. Metabotropic glutamate receptors. Cell and Tissue Research. 2006;326(2):483-504. doi:10.1007/s00441-006-0266-5
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2745
Elgart A, Erdös L, Schlein B, Yau H. Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. 2006;179(2):265-283. doi:10.1007/s00205-005-0388-z
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2746
Erdös L, Salmhofer M, Yau H. Towards the quantum Brownian motion. In: Vol 690. World Scientific Publishing; 2006:233-257. doi:10.1007/3-540-34273-7_18
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. 2006;59(12):1659-1741. doi:10.1002/cpa.20123
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2791
Hof B, Westerweel J, Schneider T, Eckhardt B. Finite lifetime of turbulence in shear flows. Nature. 2006;443(7107):59-62. doi:10.1038/nature05089
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2792
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. Observation of nonlinear travelling waves in turbulent pipe flow. Fluid Mechanics and its Applications. 2006;78:109-114. doi:10.1007/1-4020-4159-4_11
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2894
Calado D, Paixao T, Holmberg D, Haury M. Stochastic Monoallelic Expression of IL 10 in T Cells. Journal of Immunology. 2006;177(8):5358-5364. doi:10.4049/jimmunol.177.8.5358
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2921
Kolmogorov V, Zabih R. Graph cut algorithms for binocular stereo with occlusions. In: Handbook of Mathematical Models in Computer Vision. Springer; 2006:423-427. doi:10.1007/0-387-28831-7_26
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8488
Schanda P, Van Melckebeke H, Brutscher B. Speeding up three-dimensional protein NMR experiments to a few minutes. Journal of the American Chemical Society. 2006;128(28):9042-9043. doi:10.1021/ja062025p
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8489
Schanda P, Forge V, Brutscher B. HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains. Magnetic Resonance in Chemistry. 2006;44(S1):S177-S184. doi:10.1002/mrc.1825
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8490
Schanda P, Brutscher B. Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. 2006;178(2):334-339. doi:10.1016/j.jmr.2005.10.007
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8513
Kaloshin V, Saprykina M. Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits. Discrete & Continuous Dynamical Systems - A. 2006;15(2):611-640. doi:10.3934/dcds.2006.15.611
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8514
OTT W, HUNT B, Kaloshin V. The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. 2006;26(3):869-891. doi:10.1017/s0143385705000714
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 8515
Kaloshin V, DOLGOPYAT D, KORALOV L. Long time behaviour of periodic stochastic flows. In: XIVth International Congress on Mathematical Physics. World Scientific; 2006:290-295. doi:10.1142/9789812704016_0026
View | DOI
 

2006 | Journal Article | IST-REx-ID: 854
Rogaev E, Moliaka Y, Malyarchuk B, et al. Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. 2006;4(3):0403-0410. doi:10.1371/journal.pbio.0040073
View | DOI
 

2006 | Journal Article | IST-REx-ID: 868
Kondrashov F, Koonin E, Morgunov I, Finogenova T, Kondrashova M. Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation. Biology Direct. 2006;1. doi:10.1186/1745-6150-1-31
View | DOI
 

Search

Filter Publications