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.

98 Publications


2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, Krishnendu, et al. On Nash Equilibria in Stochastic Games. Vol. 3210, Springer, 2004, pp. 26–40, doi:10.1007/978-3-540-30124-0_6.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. IEEE, 2004, pp. 160–69, doi:10.1109/LICS.2004.1319610.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
Heinze, Jürgen, et al. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.” Insectes Sociaux, vol. 51, no. 3, Springer, 2004, pp. 275–78, doi:10.1007/s00040-004-0740-6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
Witte, Vanessa, et al. “HIV-1 Nef Mimics an Integrin Receptor Signal That Recruits the Polycomb Group Protein Eed to the Plasma Membrane.” Molecular Cell, vol. 13, no. 2, Cell Press, 2004, pp. 179–90, doi:10.1016/S1097-2765(04)00004-8.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang, Hui, et al. “Neurocan-GFP Fusion Protein: A New Approach to Detect Hyaluronan on Tissue Sections and Living Cells.” Journal of Histochemistry and Cytochemistry, vol. 52, no. 7, Histochemical Society, 2004, pp. 915–22, doi:10.1369/jhc.3A6221.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer, Peer, et al. “A Topological Hierarchy for Functions on Triangulated Surfaces.” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 4, IEEE, 2004, pp. 385–96, doi:10.1109/TVCG.2004.3.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, Kree, et al. “Loops in Reeb Graphs of 2-Manifolds.” Discrete & Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 231–44, doi:10.1007/s00454-004-1122-6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
Bryant, Robert, et al. “The Area Derivative of a Space-Filling Diagram.” Discrete & Computational Geometry, vol. 32, no. 3, Springer, 2004, pp. 293–308, doi:10.1007/s00454-004-1099-1.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 5, IEEE, 2004, pp. 587–97, doi:10.1109/TVCG.2004.32.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
Choi, Vicky, et al. Local Search Heuristic for Rigid Protein Docking. Vol. 3240, Springer, 2004, pp. 218–29, doi:10.1007/978-3-540-30219-3_19.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, Herbert, et al. Local and Global Comparison of Continuous Functions. IEEE, 2004, pp. 275–80, doi:10.1109/VISUAL.2004.68.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
Agarwal, Pankaj, et al. “Computing the Writhing Number of a Polygonal Knot.” Discrete & Computational Geometry, vol. 32, no. 1, Springer, 2004, pp. 37–53, doi:10.1007/s00454-004-2864-x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4172
Montero, Juan, and Carl-Philipp J. Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.” Trends in Cell Biology, vol. 14, no. 11, Cell Press, 2004, pp. 620–27, doi:10.1016/j.tcb.2004.09.008.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
Kruse, Karsten, et al. “Dpp Gradient Formation by Dynamin-Dependent Endocytosis: Receptor Trafficking and the Diffusion Model.” Development, vol. 131, no. 19, Company of Biologists, 2004, pp. 4843–56, doi:10.1242/dev.01335.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.” Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by A. Hanslmeier et al., Springer, 2004, pp. 83–87.
View
 

2004 | Thesis | IST-REx-ID: 4236
de Vladar, Harold. Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares. Centro de estudios avazados, IVIC, 2004, doi:3810.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology, vol. 227, no. 3, Elsevier, 2004, pp. 335–48, doi:3801.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4239
de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.” Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by J. Seckbach et al., vol. 7, Springer, 2004, pp. 83–87, doi:3807.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton, Nicholas H., et al. “Coalescence in a Random Background.” Annals of Applied Probability, vol. 14, no. 2, Institute of Mathematical Statistics, 2004, pp. 754–85.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous Signals. Springer, 2004, pp. 152–66, doi:1572.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
Cheung, Benny H. .., et al. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.” Current Biology, vol. 14, no. 12, Elsevier, 2004, pp. 1105–11, doi:10.1016/j.cub.2004.06.027.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 7333
Santis, M., et al. “Modular Stack-Internal Air Humidification Concept-Verification in a 1 KW Stack.” Fuel Cells, vol. 4, no. 3, Wiley, 2004, pp. 214–18, doi:10.1002/fuce.200400028.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, John, et al. “Fuel Cell Modeling and Simulations.” CHIMIA International Journal for Chemistry, vol. 58, no. 12, Swiss Chemical Society, 2004, pp. 857–68, doi:10.2533/000942904777677029.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Brunet, Anne, et al. “Stress-Dependent Regulation of FOXO Transcription Factors by the SIRT1 Deacetylase.” Science, vol. 303, no. 5666, American Association for the Advancement of Science, 2004, pp. 2011–15, doi:10.1126/science.1094637.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8517
Dolgopyat, Dmitry, et al. “A Limit Shape Theorem for Periodic Stochastic Dispersion.” Communications on Pure and Applied Mathematics, vol. 57, no. 9, Wiley, 2004, pp. 1127–58, doi:10.1002/cpa.20032.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8518
Koralov, Leonid, et al. “Sample Path Properties of the Stochastic Flows.” The Annals of Probability, vol. 32, no. 1A, Institute of Mathematical Statistics, 2004, pp. 1–27, doi:10.1214/aop/1078415827.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 898
Bazykin, Georgii, et al. “Positive Selection at Sites of Multiple Amino Acid Replacements since Rat-Mouse Divergence.” Nature, vol. 429, no. 6991, Nature Publishing Group, 2004, pp. 558–62, doi:10.1038/nature02601.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
Panchenko, Anna, et al. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.” Protein Science, vol. 13, no. 4, Wiley-Blackwell, 2004, pp. 884–92, doi:10.1110/ps.03465504.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
Kondrashov, Fyodor, and Eugene Koonin. “A Common Framework for Understanding the Origin of Genetic Dominance and Evolutionary Fates of Gene Duplications.” Trends in Genetics, vol. 20, no. 7, Elsevier, 2004, pp. 287–91, doi:10.1016/j.tig.2004.05.001.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
Kondrashov, Fyodor, et al. “Bioinformatical Assay of Human Gene Morbidity.” Nucleic Acids Research, vol. 32, no. 5, Oxford University Press, 2004, pp. 1731–37, doi:10.1093/nar/gkh330.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.” Nature Genetics, vol. 36, no. 11, Nature Publishing Group, 2004, pp. 1207–12, doi:10.1038/ng1451.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 902
Castillo Davis, Cristian, et al. “The Functional Genomic Distribution of Protein Divergence in Two Animal Phyla: Coevolution, Genomic Conflict, and Constraint.” Genome Research, vol. 14, no. 5, Cold Spring Harbor Laboratory Press, 2004, pp. 802–11, doi:10.1101/gr.2195604.
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications