Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 25
Number of items: 25
  • Feyen, L., Vrugt, J. A., Ó Nualláin, B. S., Knijff, J., & De Roo, A. (2007). Parameter optimisation and uncertainty assessment for large-scale streamflow simulation with the LISFLOOD model. Journal of Hydrology, 332, 276-289. https://doi.org/10.1016/j.jhydrol.2006.07.004
  • Vrugt, J. A., Ó Nualláin, B., Robinson, B. A., Bouten, W., Dekker, S. C., & Sloot, P. M. A. (2006). Application of parallel computing to stochastic parameter estimation in environmental models. Computers & Geosciences, 32(8), 1139-1155. https://doi.org/10.1016/j.cageo.2005.10.015
  • Hertzberger, L. O., Belleman, R. G., Jansen, M. G., Zhao, Z., van Hooft, P., Belloum, A. S. Z., Mirzadeh, N., Yakali, H. H., van Liere, R., Ó Nualláin, B. S., Verstoep, K., Groep, D. L., & Bouwhuis, M. C. (2005). Recommendation to VLeIT: Scientific workflow management systems for the PoC r1. Informatics Institute.
  • Ó Nualláin, B. S., & de Rooij, S. (2004). Online Suffix Trees with Counts. In Proceedings of the Data Compression Conference 2004 IEEE Computer Society Press.
  • O Nuallain, B., de Rijke, M., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In Proceedings LICS 2001 Workshop on Theory and Applications of Satisfiability Testing
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2001). Tableau reasoning and programming with dynamic first order logic. Logic Journal of the IGPL, 9(3), 411-445.
  • Ó Nualláin, B. S., de Rijke, M., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT research behaviour. In Proceedings of BNAIC 2001 (pp. 423-424).
  • Ó Nualláin, B. S., Marx, M. J., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In Proceedings SAT 2001
  • Open Access
    de Rijke, M., Ó Nualláin, B. S., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In H. Kautz, & B. Selman (Eds.), Electronic Notes in Discrete Mathematics, volume 9 Elsevier Science Publishers.
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). A tableau calculus for dynamic first order logic with applications in natural language semantics. In J. Bos, & M. Kohlhase (Eds.), ICOS-2 Proceedings (pp. 25-40)
Page 2 of 3