Computer Science: Recent submissions

Now showing items 11-15 of 820

    • Scalable and privacy-preserving distributed energy management for multimicrogrid 

      Zhang, Y; Hu, J; Min, G; et al. (Institute of Electrical and Electronics Engineers (IEEE), 28 October 2024)
      Distributed microgrids are being deployed into our power grids to form large-scale multimicrogrid systems for utilizing growing renewable energy sources. An effective energy management strategy is fundamental to balancing ...

    • Preference learning of latent decision utilities with a human-like model of preferential choice 

      De Peuter, S; Zhu, S; Guo, Y; et al. (NeurIPS, 11 December 2024)
      Preference learning methods make use of models of human choice in order to infer the latent utilities that underlie human behaviour. However, accurate modeling of human choice behavior is challenging due to a range of ...

    • Deep Reinforcement Learning for Energy-Aware Intelligent Edge Computing 

      Zhang, Y (University of Exeter Computer Science, 2 December 2024)
      To address the challenges of massive data processing and low latency requirements, edge computing (EC) has emerged as a compelling solution that deploys computing power and data storage at the network edge, enabling faster ...

    • Parametric Ontologies in Formal Software Engineering 

      Brucker, AD; Ait-Sadoune, I; Méric, N; et al. (Elsevier, 16 November 2024)
      Isabelle/DOF is an ontology framework on top of Isabelle/HOL. It allows for the formal development of ontologies and continuous conformity-checking of integrated documents, including the tracing of typed meta-data of ...

    • Secure Smart Contracts with Isabelle/Solidity 

      Marmsoler, D; Ahmed, A; Brucker, AD (Springer, 26 November 2024)
      Smart contracts are programs stored on the blockchain, often developed in a high-level programming language, the most popular of which is Solidity. Smart contracts are used to automate financial transactions and thus bugs ...