Home > Research Search

Research

Search for research

471 - 480 out of 9,846Page size: 10
Sort by: Rating
  1. Published

    The future of the computing curriculum: how the computing curriculum instills values and subjectivity in young people

    Wohl, B., Beck, S. & Blair, L., 1/02/2017, In: International Journal of Computer Science Education in Schools. 1, 1, p. 21-29 9 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Published

    The customizable fault/error model for dependable distributed systems

    Walter, C. J. & Suri, N., 2/01/2003, In: Theoretical Computer Science. 290, 2, p. 1223-1251 29 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. Published

    A detailed analysis of a multi-agent diverse team

    Soriano Marcolino, L., Zhang, C., Xin Jiang, A. & Tambe, M., 4/06/2014, Coordination, Organizations, Institutions and Norms in Agent Systems IX: COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers. Balke, T., Dignum, F., van Riemsdijk, M. B. & Chopra, A. K. (eds.). Springer, p. 3-24 22 p. (Lecture Notes in Computer Science; vol. 8386).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  4. Published

    Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

    Chatterjee, K., Goharshady, A. K., Meggendorfer, T. & Žikelić, Đ., 7/08/2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Cham: Springer, p. 55-78 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13371 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    OpenFlyData: the way to go for biological data integration

    Zhao, J., Miles, A., Klyne, G. & Shotton, D., 2009, Data integration in the life sciences: 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings. Paton, N. W., Missier, P. & Hedeler, C. (eds.). Berlin: Springer, p. 47-54 8 p. (Lecture Notes in Computer Science; vol. 5647).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    The Jinx on the NASA software defect data sets

    Petrić, J., Bowes, D., Hall, T., Christianson, B. & Baddoo, N., 1/06/2016, EASE '16 Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering. New York: Association for Computing Machinery, Inc, 5 p. 13

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    Privacy-Enhanced Federated WiFi Sensing for Health Monitoring in the Internet of Things

    Lian, Z., Zeng, Q., Liu, Z., Wang, H., Ma, C., Meng, W., Su, C. & Sakuraiz, K., 1/02/2025, In: IEEE Internet of Things Journal. 12, 3, p. 2994-3002 9 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Novel Class Detection Using Hybrid Ensemble

    PANDIT, D., ZHANG, L., MISTRY, K. & JIANG, R., 2/12/2020, 2020 International Conference on Machine Learning and Cybernetics (ICMLC). IEEE, p. 267-272 6 p. 9469587. (Proceedings - International Conference on Machine Learning and Cybernetics; vol. 2020-December).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. E-pub ahead of print

    Self-heating hotspots in superconducting nanowires cooled by phonon black-body radiation

    Dane, A., Allmaras, J., Zhu, D., Onen, M., Colangelo, M., Baghdadi, R., Tambasco, J.-L., Morimoto, Y., Forno, I. E., Charaev, I., Zhao, Q., Skvortsov, M., Kozorezov, A. & Berggren, K. K., 16/09/2022, (E-pub ahead of print) In: Nature Communications. 13, 1, 8 p., 5429.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    Modeling personalised adaptive systems

    Sutcliffe, A. & Sawyer, P., 2013, Advanced Information Systems Engineering: 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings. Salinesi, C., Norrie, M. C. & Pastor, Ó. (eds.). Berlin: Springer, p. 178-192 15 p. (Lecture Notes in Computer Science; vol. 7908).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1...44 45 46 47 48 49 50 51 ...985 Next