Home > Research Search

Research

Search for research

1351 - 1375 out of 9,846Page size: 25
Sort by: Rating
  1. Published

    Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic

    Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 2/09/2023, Automated Deduction – CADE 29 . Pientka, B. & Tinelli, C. (eds.). Cham: Springer, p. 382-400 19 p. (Lecture Notes in Computer Science; vol. 14132).

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

  2. Published

    A Semi-autonomic Framework for Intrusion Tolerance in Heterogeneous Networks

    D'Antonio, S., Romano, S., Simpson, S., Smith, P. & Hutchison, D., 10/2008, Self-Organizing Systems: Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings. Hummel, K. A. & Sterbenz, J. P. G. (eds.). Berlin: Springer, p. 230-241 12 p. (Lecture Notes in Computer Science; vol. 5343).

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

  3. Published

    Strategies for Network Resilience: Capitalising on Policies

    Smith, P., Schaeffer-Filho, A., Ali, A., Schöller, M., Kheir, N., Mauthe, A. & Hutchison, D., 06/2010, Mechanisms for Autonomous Management of Networks and Services : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings. Stiller , B. & De Turck, F. (eds.). Berlin: Springer, p. 118-122 5 p. (Lecture Notes in Computer Science; vol. 6155).

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

  4. Published

    Towards a Responsible Innovation Agenda for HCI

    Bates, O., New, K., Mitchell-Finnegan, S., Mauriello, M. L., Remy, C., Bendor, R., Mann, S., Chopra, S., Clear, A. K. & Preist, C., 4/05/2019, CHI EA '19 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. New York: ACM, 8 p. W24

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

  5. Published

    Virtual environment trajectory analysis: a basis for navigational assistance and scene adaptivity

    Sas, C., O'Hare, G. & Reilly, R., 07/2005, In: Future Generation Computer Systems. 21, 7, p. 1157-1166 10 p.

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

  6. Published

    Comparing Pre-Training Schemes for Luxembourgish BERT Models

    Lothritz, C., Ezzini, S., Purschke, C., Bissyande, T. F. D. A., Klein, J., Olariu, I., Boytsov, A., Lefebvre, C. & Goujon, A., 22/09/2023, Proceedings of the 19th Conference on Natural Language Processing (KONVENS 2023). Association for Computational Linguistics (ACL Anthology)

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

  7. Published

    FinAraT5: A text to text model for financial Arabic text understanding and generation

    Zmandar, N., El-Haj, M. & Rayson, P., 1/09/2023, Proceedings of the 4th Conference on Language, Data and Knowledge. Carvalho, S., Khan, A. F., Anić, A. O., Spahiu, B., Gracia, J., McCrae, J. P., Gromann, D., Heinisch, B. & Salgado, A. (eds.). Vienna, Austria: NOVA CLUNL, Portugal, p. 262-273 12 p.

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

  8. Published

    Virtual sensors for service oriented intelligent environments

    Bose, R., Helal, S., Sivakumar, V. & Lim, S., 2007, 3rd IASTED International Conference on Advances in Computer Science and Technology, ACST 2007. Sahni, S. (ed.). ACTA Press, p. 165-170 6 p.

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

  9. Published

    THz Near-field spectroscopy of metamaterial resonators

    Degl’Innocenti, R., Lu, Y., Hale, L. L., Zaman, A. M., Addamane, S. J., Brener, I. & Mitrofanov, O., 1/03/2024, In: Journal of Physics: Conference Series. 2725, 1, 6 p., 012002.

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

  10. Published

    Software Engineering for Internet of Things: The Practitioners' Perspective

    Fahmideh, M., Ahmad, A., Behnaz, A., Grundy, J. & Susilo, W., 1/08/2022, In: IEEE Transactions on Software Engineering. 48, 8, p. 2857-2878 22 p.

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

  11. Published

    Mobile usability: experiences From Iran and Turkey

    Aryana, B. & Clemmensen, T., 1/03/2013, In: International Journal of Human-Computer Interaction. 29, 4, p. 220-242 23 p.

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

  12. Published

    Maurer-Cartan moduli and theorems of Riemann-Hilbert type

    Chuang, J., Holstein, J. & Lazarev, A., 31/08/2021, In: Applied Categorical Structures. 29, 4, p. 685-728 44 p.

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

  13. Published

    Purcell Effect in PT-Symmetric Waveguides

    Karabchevsky, A., Novitsky, A. & Morozko, F., 28/03/2021, Topics in Applied Physics. Springer Science and Business Media Deutschland GmbH, p. 493-522 30 p. (Topics in Applied Physics; vol. 138).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  14. Published

    Analysing Keyword Lists

    Rayson, P. & Potts, A., 5/05/2021, A Practical Handbook of Corpus Linguistics. Paquot, M. & Gries, S. (eds.). Cham: Springer, p. 119-139 21 p.

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

  15. Published

    A sequence-based selection hyper-heuristic utilising a hidden markov model

    Kheiri, A. & Keedwell, E., 11/07/2015, GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 417-424 8 p.

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

  16. Published

    Water Pressure Optimisation for Leakage Management Using Q Learning

    Negm, A., Ma, X. & Aggidis, G., 2/08/2023, Proceedings - 2023 IEEE Conference on Artificial Intelligence, CAI 2023. IEEE, p. 270-271 2 p. (2023 IEEE Conference on Artificial Intelligence (CAI)).

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

  17. Published

    The Technology Integration Model (TIM): Predicting the continued use of technology

    Shaw, H., Ellis, D. A. & Ziegler, F., 06/2018, In: Computers in Human Behavior. 83, p. 204-214 11 p.

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

  18. Published

    Culture and IS Planning present new challenges for data analysis and modelling

    Lewis, P. J., 1993, Theory, Use and Integrative Aspects of IS Methodologies. British Computer Society Publications, p. 137-150 14 p.

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

  19. Published

    Prediction of white noise time series using artificial neural networks and asymmetric cost functions

    Crone, S., 2003, Proceedings of the IEEE International Joint Conference on Neural Networks, 2003. N/A: IEEE Computer Society Press, Vol. 4. p. 2460-2465 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  20. Published

    Training artificial neural networks for time series prediction using asymmetric cost functions

    Crone, S., 2002, Proceedings of the 9th International Conference on neural information processing, 2002. ICONIP '02. N/A: IEEE Computer Society Press, Vol. 5. p. 2374- 2380 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  21. Published

    Forensic ECBS: The way forward

    Dalcher, D., 05/2001, Procs 8th Annual IEEE Int Conf and Workshop on the Engineering of Computer Based Systems. IEEE, p. 332-336 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  22. Published

    Decentralized Data Flows for the Functional Scalability of Service-Oriented IoT Systems

    Arellanes, D., Lau, K.-K. & Sakellariou, R., 30/06/2023, In: The Computer Journal. 66, 6, p. 1477-1506 30 p.

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

  23. Published

    Validating an integer non-linear program optimization model of a wireless sensor network using agent-based simulation

    Karatas, M. & Onggo, B. S. S., 11/12/2016, 2016 Winter Simulation Conference (WSC). IEEE Computer Society, p. 1340-1351 12 p. (2016 Winter Simulation Conference (WSC)).

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

  24. Published

    The day-to-day co-production of ageing in place

    Procter, R., Greenhalgh, T., Wherton, J., Sugarhood, P., Rouncefield, M. & Hinder, S., 06/2014, In: Computer Supported Cooperative Work. 23, 3, p. 245-267 23 p.

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

  25. E-pub ahead of print

    Effectual Energy Consumption and User Comfort Optimization Based on Dynamic User Set Parameters in Electric Vehicles

    Fayaz, M., Khan, J. & Bilal, M., 10/11/2023, (E-pub ahead of print) In: IEEE Transactions on Intelligent Vehicles. p. 1-13 13 p.

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

Previous 1...51 52 53 54 55 56 57 58 ...394 Next