يعرض 1 - 20 نتائج من 368 نتيجة بحث عن '"School of Computing"', وقت الاستعلام: 0.61s تنقيح النتائج
  1. 1
    Academic Journal
  2. 2
    Academic Journal
  3. 3
    Academic Journal
  4. 4
    Book

    المساهمون: Kosmatov, N., Kovács, L.

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/54715/1/main.pdf; Milovančević, D. and Fuhs, Carsten and Bucev, M. and Kunčak, V. (2024) Proving termination via measure transfer in equivalence checking. In: Kosmatov, N. and Kovács, L. (eds.) Integrated Formal Methods. Lecture Notes in Computer Science 15234. Springer, pp. 75-84. ISBN 9783031765537.

  5. 5
    Academic Journal

    المؤلفون: Baudon, T., Fuhs, Carsten, Gonnord, L.

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/54390/1/main.pdf; Baudon, T. and Fuhs, Carsten and Gonnord, L. (2024) On Complexity Bounds and Confluence of Parallel Term Rewriting. Fundamenta Informaticae 192 (2), pp. 121-166. ISSN 0169-2968.

  6. 6
    Academic Journal
  7. 7
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/54404/1/1-s2.0-S1574013724000480-main.pdf; Taha, K. and Yoo, Paul and Yeun, C. and Homouz, D. and Taha, A. (2024) A comprehensive survey of text classification techniques and their research applications: observational and experimental insights. Computer Science Review 54 (100664), ISSN 1574-0137.

  8. 8
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/54398/1/camera_ready.pdf; Bathie, Gabriel and Charalampopoulos, Panagiotis and Starikovskaya, Tatiana (2024) Pattern Matching with Mismatches and Wildcards. 32nd Annual European Symposium on Algorithms (ESA 2024)

  9. 9
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/54397/1/esa_final.pdf; Bathie, G. and Charalampopoulos, Panagiotis and Starikovskaya, T. (2024) Longest common extensions with wildcards: trade-off and applications. Leibniz International Proceedings in Informatics (LIPIcs) 308 , 10:1-19:17. ISSN 1868-8969.

  10. 10
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/54402/1/Artificial_Intelligence-Based_Cybersecurity_for_the_Metaverse_Research_Challenges_and_Opportunities.pdf; Awadallah, A. and Eledlebi, K. and Zemerly, J. and Puthal, P. and Damiani, E. and Taha, K. and Kim, T.-Y. and Yoo, Paul and Choo, K.-K.R. and Yim, M.-S. and Yeun, C.Y. (2024) Artificial Intelligence-based cybersecurity for the Metaverse: research challenges and opportunities. IEEE Communications Surveys & Tutorials , ISSN 1553-877X.

  11. 11
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/54507/1/s41598-024-78055-5.pdf; Han, Seongil and Jung, H. and Yoo, Paul and Provetti, Alessandro and Cali, Andrea (2024) NOTE: non-parametric oversampling technique for explainable credit scoring. Scientific Reports 14 (26070), ISSN 2045-2322.

  12. 12
    Academic Journal

    المؤلفون: Pymar, Richard, Rivera, N.

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/54203/1/AIHP2307-009R1A0%20%283%29.pdf; Pymar, Richard and Rivera, N. (2024) Mixing of the symmetric beta-binomial splitting process on arbitrary graphs. Annales de l'Institut Henri Poincare (B) Probability and Statistics , ISSN 0246-0203. (In Press)

  13. 13
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/53169/8/53169a.pdf; Charalampopoulos, Panagiotis and Pissis, Solon P. and Radoszewski, Jakub and Rytter, Wojciech and Walen, Tomasz and Zuba, Wiktor (2024) Approximate Circular Pattern Matching under Edit Distance. Leibniz International Proceedings in Informatics (LIPIcs) 289 , 24:1-24:22. ISSN 1868-8969.

  14. 14
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/53168/1/PP_string_masking.pdf; Charalampopoulos, Panagiotis and Chen, H. and Christen, P. and Loukides, G. and Pisanti, N. and Pissis, S.P. and Radoszewski, J. (2024) Pattern masking for dictionary matching: theory and practice. Algorithmica , ISSN 0178-4617. (In Press)

  15. 15
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/53512/1/semi_dynamic_LZ77.pdf; Bannai, H. and Charalampopoulos, Panagiotis and Radoszewski, J. (2024) Maintaining the size of LZ77 on semi-dynamic strings. Leibniz International Proceedings in Informatics (LIPIcs) , ISSN 1868-8969.

  16. 16
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/53513/1/main.pdf; Bathie, G. and Charalampopoulos, Panagiotis and Starikovskaya, T. (2024) Internal pattern matching in small space and applications. Leibniz International Proceedings in Informatics (LIPIcs) , ISSN 1868-8969.

  17. 17
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/53511/1/quartics-4.pdf; Charalampopoulos, Panagiotis and Gawrychowski, P. and Ghazawi, S. (2024) Optimal bounds for Distinct Quartics. Leibniz International Proceedings in Informatics (LIPIcs) 297 , 39:1-39:17. ISSN 1868-8969.

  18. 18
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/53653/1/aash-data-repository.pdf; Conway-Moore, K. and Testa Tata, D. and Wood, Peter and Katerinchuk, Val and Yadav, D. and Augustine, L.F. and Munikumar, M. and Diop, A. and Tairou, F. and Jobarteh, M.L. and Kulkarni, B. and Faye, B. and Haggarty, P. and Heffernan, C. (2024) Developing a data repository to support interdisciplinary research into childhood stunting: a UKRI GCRF Action Against Stunting Hub protocol paper. BMJ Paediatrics Open 8 (S1), ISSN 2399-9772.

  19. 19
    Academic Journal

    مصطلحات موضوعية: School of Computing and Mathematical Sciences

    وصف الملف: text

    Relation: https://eprints.bbk.ac.uk/id/eprint/53689/1/splitting.pdf; Bentert, M. and Crane, A. and Drange, P.G. and Reidl, Felix and Sullivan, B.D. (2024) Correlation clustering with vertex splitting. Leibniz International Proceedings in Informatics (LIPIcs) 294 , 8:1-8:17. ISSN 1868-8969.

  20. 20
    Academic Journal