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.

191 Publications


2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, Thomas A., and Nir Piterman. Solving Games without Determinization. Vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur, Rajeev, et al. Preserving Secrecy Under Refinement. Springer, 2006, pp. 107–18, doi:1543.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Peters, Nicholas, et al. Towards a Quasi-Deterministic Single-Photon Source. Vol. 6305, SPIE, 2006, doi:10.1117/12.684702.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 903
Babenko, Vladimir, et al. “Signs of Positive Selection of Somatic Mutations in Human Cancers Detected by EST Sequence Analysis.” BMC Cancer, vol. 6, BioMed Central, 2006, doi:10.1186/1471-2407-6-36.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 869
Kondrashov, Fyodor, et al. “Selection in Favor of Nucleotides G and C Diversifies Evolution Rates and Levels of Polymorphism at Mammalian Synonymous Sites.” Journal of Theoretical Biology, vol. 240, no. 4, Elsevier, 2006, pp. 616–26, doi:10.1016/j.jtbi.2005.10.020.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7328
Freunberger, Stefan Alexander, et al. “Measuring the Current Distribution in PEFCs with Sub-Millimeter Resolution.” Journal of The Electrochemical Society, vol. 153, no. 11, The Electrochemical Society, 2006, p. A2158, doi:10.1149/1.2345591.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7330
Santis, M., et al. “Homogenization of the Current Density in Polymer Electrolyte Fuel Cells by In-Plane Cathode Catalyst Gradients.” Electrochimica Acta, vol. 51, no. 25, Elsevier, 2006, pp. 5383–93, doi:10.1016/j.electacta.2006.02.008.
View | DOI
 

2006 | Preprint | IST-REx-ID: 573   OA
Hosten, Onur, et al. Counterfactual Computation Revisited. ArXiv, 2006.
View | Download (ext.) | arXiv
 

2006 | Journal Article | IST-REx-ID: 2134
Ehresmann, Arno, et al. “Predissociation of the N+2(C 2Σ+u) State Observed via C 2Σ+u → X 2Σ+g Fluorescence after Resonant 1s−1π* Excitation of N2 Molecule.” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 39, no. 6, IOP Publishing Ltd., 2006, pp. L119–26, doi:10.1088/0953-4075/39/6/L03.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2088
Weyrich, Tim, et al. Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model. ACM, 2006, pp. 1013–24, doi:10.1145/1179352.1141987.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2090
Bickel, Bernd, et al. Processing and Editing of Faces Using a Measurement-Based Skin Reflectance Model. ACM, 2006, doi:10.1145/1179849.1180059.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban, Hamdy, et al. “Generalization of Amygdala LTP and Conditioned Fear in the Absence of Presynaptic Inhibition.” Nature Neuroscience, vol. 9, no. 8, Nature Publishing Group, 2006, pp. 1028–35, doi:10.1038/nn1732.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös, László, et al. “Derivation of the Gross-Pitaevskii Hierarchy for the Dynamics of Bose-Einstein Condensate.” Communications on Pure and Applied Mathematics, vol. 59, no. 12, Wiley-Blackwell, 2006, pp. 1659–741, doi:10.1002/cpa.20123.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2792
Hof, Björn, et al. “Observation of Nonlinear Travelling Waves in Turbulent Pipe Flow.” Fluid Mechanics and Its Applications, vol. 78, Springer, 2006, pp. 109–14, doi:10.1007/1-4020-4159-4_11.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml, Jirí, et al. “Apical-Basal Polarity: Why Plant Cells Don’t Stand on Their Heads.” Trends in Plant Science, vol. 11, no. 1, Cell Press, 2006, pp. 12–14, doi:10.1016/j.tplants.2005.11.010.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
Petrášek, Jan, et al. “PIN Proteins Perform a Rate-Limiting Function in Cellular Auxin Efflux.” Science, vol. 312, no. 5775, American Association for the Advancement of Science, 2006, pp. 914–18, doi:10.1126/science.1123542.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3017
Tanaka, Hirokazu, et al. “Spatiotemporal Asymmetric Auxin Distribution: A Means to Coordinate Plant Development.” Cellular and Molecular Life Sciences, vol. 63, no. 23, Birkhäuser, 2006, pp. 2738–54, doi:10.1007/s00018-006-6116-5.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3214
Maurer, Ueli, et al. Luby Rackoff Ciphers from Weak Round Functions . Vol. 4004, Springer, 2006, pp. 391–408, doi:10.1007/11761679_24.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Janovjak, Harald L., et al. “Atomic Force Microscopy.” Techniques in Microscopy for Biomedical Applications, vol. 2, World Scientific Publishing, 2006, pp. 213–84.
View
 

2006 | Patent | IST-REx-ID: 3512
Fletcher, Yates, et al. Method, Apparatus and Computer Products That Reconstruct Surfaces from Data Points. Elsevier, 2006, doi:US 7,023,432 B2.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3815
Bischofberger, Josef, et al. “Timing and Efficacy of Transmitter Release at Mossy Fiber Synapses in the Hippocampal Network.” Pflugers Archiv : European Journal of Physiology, vol. 453, no. 3, Springer, 2006, pp. 361–72, doi:10.1007/s00424-006-0093-2.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, Krishnendu, et al. Algorithms for Büchi Games. ACM, 2006.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee, Krishnendu, et al. Algorithms for Omega-Regular Games with Imperfect Information. Vol. 4207, Springer, 2006, pp. 287–302, doi:10.1007/11874683_19.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3891
Chatterjee, Krishnendu. Concurrent Games with Tail Objectives. Vol. 4207, Springer, 2006, pp. 256–70, doi:10.1007/11874683_17.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3935
Chu, Haiyan, et al. “γ-Parvin Is Dispensable for Hematopoiesis, Leukocyte Trafficking, and T-Cell-Dependent Antibody Response.” Molecular and Cellular Biology, vol. 26, no. 5, American Society for Microbiology, 2006, pp. 1817–25, doi:10.1128/MCB.26.5.1817-1825.2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3978
Ban, Yih, et al. “Evaluating the Quality of NMR Structures by Local Density of Protons.” Proteins: Structure, Function and Bioinformatics, vol. 62, no. 4, Wiley-Blackwell, 2006, pp. 852–64, doi:10.1002/prot.20811.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3980
Agarwal, Pankaj, et al. “Extreme Elevation on a 2-Manifold.” Discrete & Computational Geometry, vol. 36, no. 4, Springer, 2006, pp. 553–72, doi:10.1007/s00454-006-1265-8.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4173   OA
Link, Vinzenz, et al. “Proteomics of Early Zebrafish Embryos.” BMC Developmental Biology, vol. 6, BioMed Central, 2006, pp. 1–9, doi:10.1186/1471-213X-6-1.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg, Tobias, et al. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.” Developmental Dynamics, vol. 235, no. 4, Wiley-Blackwell, 2006, pp. 928–33, doi:10.1002/dvdy.20692.
View | DOI
 

2006 | Book Review | IST-REx-ID: 4250
Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?” Current Biology, vol. 16, no. 16, Cell Press, 2006, pp. 647–50, doi:10.1016/j.cub.2006.07.032.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback, Jonathan P. “SIMMAP: Stochastic Character Mapping of Discrete Traits on Phylogenies.” BMC Bioinformatics, vol. 7, BioMed Central, 2006, doi:10.1186/1471-2105-7-88.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
Roze, Denis, and Nicholas H. Barton. “The Hill-Robertson Effect and the Evolution of Recombination.” Genetics, vol. 173, no. 3, Genetics Society of America, 2006, pp. 1793–811, doi:10.1534/genetics.106.058586 .
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 579
Hosten, Onur, et al. “Counterfactual Quantum Computation through Quantum Interrogation.” Nature, vol. 439, no. 7079, Nature Publishing Group, 2006, pp. 949–52, doi:10.1038/nature04523.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7331
Freunberger, Stefan Alexander, et al. “In-Plane Effects in Large-Scale PEFCs: II. The Influence of Cooling Strategy on Cell Performance.” Journal of The Electrochemical Society, vol. 153, no. 5, The Electrochemical Society, 2006, p. A909, doi:10.1149/1.2185282.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7329
Freunberger, Stefan Alexander, et al. “Expanding Current Distribution Measurement in PEFCs to Sub-Millimeter Resolution.” Electrochemistry Communications, vol. 8, no. 9, Elsevier, 2006, pp. 1435–38, doi:10.1016/j.elecom.2006.05.032.
View | DOI
 

2006 | Preprint | IST-REx-ID: 574   OA
Hosten, Onur, and Paul Kwiat. Weak Measurements and Counterfactual Computation. ArXiv, 2006.
View | Download (ext.) | arXiv
 

2006 | Journal Article | IST-REx-ID: 1461   OA
Hausel, Tamas, and Edward Swartz. “Intersection Forms of Toric Hyperkähler Varieties.” Proceedings of the American Mathematical Society, vol. 134, no. 8, American Mathematical Society, 2006, pp. 2403–09, doi:10.1090/S0002-9939-06-08248-7.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1745
Katsaros, Georgios, et al. “Investigating the Lateral Motion of SiGe Islands by Selective Chemical Etching.” Surface Science, vol. 600, no. 12, Elsevier, 2006, pp. 2608–13, doi:10.1016/j.susc.2006.04.027.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1961
Sazanov, Leonid A., and Philip Hinchliffe. “Structure of the Hydrophilic Domain of Respiratory Complex I from Thermus Thermophilus.” Science, vol. 311, no. 5766, American Association for the Advancement of Science, 2006, pp. 1430–36, doi:10.1126/science.1123809.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1966
Hinchliffe, Philip, et al. “Identification of a Novel Subunit of Respiratory Complex I from Thermus Thermophilus.” Biochemistry, vol. 45, no. 14, ACS, 2006, pp. 4413–20, doi:10.1021/bi0600998.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2089
Weyrich, Tim, et al. “Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model.” ACM Transactions on Graphics, vol. 25, no. 3, ACM, 2006, pp. 1013–24, doi:10.1145/1141911.1141987.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2142
Ehresmann, Arno, et al. “Studying the N+2(C2Σ+u → X2Σ+g) Fluorescence Excited via the 1s−1π* Resonance.” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 39, no. 2, IOP Publishing Ltd., 2006, pp. 283–304, doi:10.1088/0953-4075/39/2/006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 215
Browning, Timothy D., and Roger Heath Brown. “The Density of Rational Points on Non-Singular Hypersurfaces, I.” Bulletin of the London Mathematical Society, vol. 38, no. 3, Wiley-Blackwell, 2006, pp. 401–10, doi:10.1112/S0024609305018412.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2077
Bickel, Bernd, et al. Adaptive Simulation of Electrical Discharges. IOS Press, 2006.
View
 

2006 | Book Review | IST-REx-ID: 2363   OA
Lieb, Élliott, and Robert Seiringer. “Derivation of the Gross-Pitaevskii Equation for Rotating Bose Gases.” Communications in Mathematical Physics, vol. 264, no. 2, Springer, 2006, pp. 505–37, doi:10.1007/s00220-006-1524-9.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed