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.

84 Publications


2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro L, Henzinger TA, Jhala R. Compositional methods for probabilistic systems. In: Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:351-365. doi:10.1007/3-540-44685-0_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. Symbolic algorithms for infinite-state games. In: Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:536-550. doi:10.1007/3-540-44685-0_36
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems, Part II. In: Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:566-581. doi:10.1007/3-540-44685-0_38
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro L, Henzinger TA, Mang F. MCWEB: A model-checking tool for web-site debugging. In: ACM; 2001:86-87.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. From verification to control: dynamic programs for omega-regular objectives. In: IEEE; 2001:279-290. doi:10.1109/LICS.2001.932504
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2709
Erdös L. Long time dynamics of an electron in a weakly coupled phonon field. ICMP: International Congress on Mathematical Physics. 2001:273-281.
View
 

2001 | Journal Article | IST-REx-ID: 2734
Erdös L, Solovej J. The kernel of Dirac operators on S3 and R3. Reviews in Mathematical Physics. 2001;13(10):1247-1280. doi:10.1142/S0129055X01000983
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
Erdös L. Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case. Probability Theory and Related Fields. 2001;121(2):219-236. doi:10.1007/PL00008803
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
Erdös L, Yau H. Derivation of the nonlinear Schrödinger equation from a many body Coulomb system. Advances in Theoretical and Mathematical Physics. 2001;5(6):1169-1205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk A, Bischoff F, Rajendrakumar C, et al. Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth. EMBO Journal. 2001;20(11):2779-2788. doi:10.1093/emboj/20.11.2779
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
Gil P, Dewey E, Friml J, et al. BIG: A calossin-like protein required for polar auxin transport in Arabidopsis. Genes and Development. 2001;15(15):1985-1997. doi:10.1101/gad.905201
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner N, Friml J, Stierhof Y, Jürgens G, Palme K. Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature. 2001;413(6854):425-428. doi:10.1038/35096571
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup R, Friml J, Marchant A, et al. Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. 2001;15(20):2648-2653. doi:10.1101/gad.210501
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková L, Friml J, Dračka O. Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. 2001;54(2):131-136. doi:10.1016/S1567-5394(01)00119-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 841
Wolf Y, Kondrashov F, Koonin E. Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics. 2001;17(9):499-501. doi:10.1016/S0168-9525(01)02376-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
Rogozin I, Kondrashov F, Glazko G. Use of mutation spectra analysis software. Human Mutation. 2001;17(2):83-102. doi:10.1002/1098-1004(200102)17:2<83::AID-HUMU1>3.0.CO;2-E
View | DOI
 

2001 | Journal Article | IST-REx-ID: 855
Rogozin I, Kochetov A, Kondrashov F, Koonin E, Milanesi L. Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon. Bioinformatics. 2001;17(10):890-900. doi:10.1093/bioinformatics/17.10.890
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
Kondrashov F, Koonin E. Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. 2001;10(23):2661-2669. doi:10.1093/hmg/10.23.2661
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
Kondrashov F, Kondrashov A. Multidimensional epistasis and the disadvantage of sex. PNAS. 2001;98(21):12089-12092. doi:10.1073/pnas.211214298
View | DOI
 

2001 | Journal Article | IST-REx-ID: 888
Jordan I, Kondrashov F, Rogozin I, Tatusov R, Wolf Y, Koonin E. Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins . Genome Biology. 2001;2(12). doi:10.1186/gb-2001-2-12-research0053
View | DOI
 

2001 | Journal Article | IST-REx-ID: 1452 | OA
Hausel T, Thaddeus M. Examples of mirror partners arising from integrable systems. Comptes Rendus de l’Academie des Sciences - Series I: Mathematics. 2001;333(4):313-318. doi:10.1016/S0764-4442(01)02057-2
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 1453 | OA
Etesi G, Hausel T. Geometric construction of new Yang-Mills instantons over Taub-NUT space. Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 2001;514(1-2):189-199. doi:10.1016/S0370-2693(01)00821-8
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 1454 | OA
Etesi G, Hausel T. Geometric interpretation of Schwarzschild instantons. Journal of Geometry and Physics. 2001;37(1-2):126-136. doi:10.1016/S0393-0440(00)00040-1
View | DOI | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 3169
Kolmogorov V, Zabih R. Computing visual correspondence with occlusions using graph cuts. In: Vol 2. IEEE; 2001:508-515. doi:10.1109/ICCV.2001.937668
View | DOI | Download (ext.)
 

2001 | Book Chapter | IST-REx-ID: 3434
Huelsenbeck J, Bollback JP. Application of the likelihood function in phylogenetic analysis. In: Balding D, Bishop M, Cannings C, eds. Handbook of Statistical Genetics. Wiley-Blackwell; 2001:415-439. doi:10.1002/9780470061619.ch15
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck J, Ronquist F, Nielsen R, Bollback JP. Bayesian inference of phylogeny and its impact on evolutionary biology. Science. 2001;294(5550):2310-2314. doi:10.1126/science.1065889
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3439
Conn J, Bollback JP, Onyabe D, Robinson T, Wilkerson R, Povoa M. Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi. Molecular Ecology Notes. 2001;1(4):223-225. doi: 10.1046/j.1471-8278.2001.00078.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Huelsenbeck J, Bollback JP. Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. 2001;50(3):351-366. doi:10.1080/10635150119871
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee K, Dasgupta P, Chakrabarti P. Weighted quantified computation tree logic. In: Elsevier; 2001.
View
 

2001 | Journal Article | IST-REx-ID: 3493 | OA
Jones M., Jonas PM, Sahara Y, Westbrook G. Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. 2001;81(5):2660-2670. doi:10.1016/S0006-3495(01)75909-7
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3494
Bartos M, Vida I, Frotscher M, Geiger J, Jonas PM. Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. 2001;21(8):2687-2698.
View
 

2001 | Journal Article | IST-REx-ID: 3495
Jerecic J, Schulze C, Jonas PM, Sprengel R, Seeburg P, Bischofberger J. Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression. Molecular brain research. 2001;94(1-2):96-104. doi:10.1016/S0169-328X(01)00221-2
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3496 | OA
Alle H, Jonas PM, Geiger J. PTP and LTP at a hippocampal mossy fiber-interneuron synapse. PNAS. 2001;98(25):14708-14713. doi:10.1073/pnas.251610898
View | DOI | Download (ext.)
 

2001 | Patent | IST-REx-ID: 3507
Liang J, Edelsbrunner H. Molecular classification for property prediction. 2001. doi:US 6,182,016 B1
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3517
Szabo I, Czurkó A, Csicsvari JL, Hirase H, Leinekugel X, Buzsáki G. The application of printed circuit board technology for fabrication of multi-channel micro-drives. Journal of Neuroscience Methods. 2001;105(1):105-110. doi:10.1016/S0165-0270(00)00362-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3540
Hirase H, Leinekugel X, Czurkó A, Csicsvari JL, Buzsáki G. Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. 2001;98(16):9386-9390. doi:10.1073/pnas.161274398
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3546
Hirase H, Leinekugel X, Csicsvari JL, Czurkó A, Buzsáki G. Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience. 2001;21(10).
View
 

2001 | Book | IST-REx-ID: 3586
Edelsbrunner H. Geometry and Topology for Mesh Generation. Vol 7. Cambridge University Press; 2001. doi:10.1017/CBO9780511530067
View | Files available | DOI
 

2001 | Book Review | IST-REx-ID: 3596
Barton NH. Mendel and mathematics. Trends in Genetics. 2001;17:420-420. doi:10.1016/S0168-9525(01)02315-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3622
Gardner M, Fowler K, Patridge L, Barton NH. Genetic variation for preadult viability in Drosophila melanogaster. Evolution. 2001;55(8):1609-1620.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 4200
Heisenberg C-PJ, Houart C, Take Uchi M, et al. A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon. Genes and Development. 2001;15(11):1427-1434. doi:10.1101/gad.194301
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8522
Kaloshin V, Hunt BR. A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I. Electronic Research Announcements of the American Mathematical Society. 2001;7(4):17-27. doi:10.1090/s1079-6762-01-00090-7
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8524
Kaloshin V, Rodnianski I. Diophantine properties of elements of SO(3). Geometric And Functional Analysis. 2001;11(5):953-970. doi:10.1007/s00039-001-8222-8
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8521
Kaloshin V, Hunt BR. A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II. Electronic Research Announcements of the American Mathematical Society. 2001;7(5):28-36. doi:10.1090/s1079-6762-01-00091-9
View | DOI
 

Filters and Search Terms

year=2001

Search

Filter Publications