Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 57,925
Number of items: 57,925
  • Sims, D. W., Genner, M. J., Wearmouth, V. J., Southward, A. J., & Hawkins, S. J. (2004). Low-temperature-driven ealry spawning migration of a temperature marine fish. Journal of Animal Ecology, 73, 333-341. https://doi.org/10.1111/j.0021-8790.2004.00810.x
  • Fissaha Adafre, S., van Hage, W. R., Kamps, J., Lacerda de Melo, G., & de Rijke, M. (2004). The University of Amsterdam at CLEF 2004. In C. Peters, & F. Borri (Eds.), Working Notes for the CLEF 2004 Workshop (pp. 91-98)
  • Afanasiev, L. (2004). XML query evaluation via CTL symbolic model checking. In Proceedings of the ESSLLI 2004 Student Session
  • Afanasiev, L., Franceschet, M., Marx, M. J., & de Rijke, M. (2004). CTL model checking for processing simple XPath queries. In Proceedings Temporal Representation and Reasoning IEEE Computer Society Press.
  • Müller, K. E. (2004). Revealing Automatically Phonological Similarities of Dutch and German (abstract). In 15th Meeting of Computational Linguistics in the Netherlands
  • Bergstra, J. A. (2004). Axioms for SNABOK, a System and Network Administration Body of Knowledge: Missing Link Stage of Ontology Process. (Logic Group Preprint Series; No. 227). Universiteit van Utrecht.
  • Bergstra, J. A., & Middelburg, C. A. (2004). Process Algebra for Hybrid Systems. (Logic Group Preprint Series; No. 225). Universiteit van Utrecht.
  • Schouten, J. A., Michels, J. P. J., & Janssen van Rosmalen, R. (2004). Invloed van H2 op het condensatiegedrag van waterstof. Van Der Waals - Zeeman Instituut.
  • Seinstra, F. J., Koelma, D. C., & Bagdanov, A. D. (2004). Finite State Machine Based Optimization of Data Parallel Regular Domain Problems Applied in Low Level Image Processing. IEEE Transactions on Parallel and Distributed Systems, 15(10), 865-877. https://doi.org/10.1109/TPDS.2004.55
  • Luttik, S. P., Rodenburg, P. H., & Verma, R. M. (2004). Remarks on Thatte's Transformation of Term Rewriting Systems. Information and Computation, 195(1-2), 66-87. https://doi.org/10.1016/j.ic.2003.09.006
Page 3927 of 5793