Insight Centre for Data Analytics - Journal Articles
Permanent URI for this collection
- ItemGeneration and prediction of difficult model counting instances(2022-12-06) Escamocher, Guillaume; O'Sullivan, Barry; Science Foundation Ireland; European Regional Development FundWe present a way to create small yet difficult model counting instances. Our generator is highly parameterizable: the number of variables of the instances it produces, as well as their number of clauses and the number of literals in each clause, can all be set to any value. Our instances have been tested on state of the art model counters, against other difficult model counting instances, in the Model Counting Competition. The smallest unsolved instances of the competition, both in terms of number of variables and number of clauses, were ours. We also observe a peak of difficulty when fixing the number of variables and varying the number of clauses, in both random instances and instances built by our generator. Using these results, we predict the parameter values for which the hardest to count instances will occur.
- ItemPersonal digital twin: A close look into the present and a step towards the future of personalised healthcare industry(MDPI, 2022-08-08) Sahal, Radhya; Alsamhi, Saeed H.; Brown, Kenneth N.; Science Foundation Ireland; H2020 Marie Skłodowska-Curie Actions; European Regional Development FundDigital twins (DTs) play a vital role in revolutionising the healthcare industry, leading to more personalised, intelligent, and proactive healthcare. With the evolution of personalised healthcare, there is a significant need to represent a virtual replica for individuals to provide the right type of care in the right way and at the right time. Therefore, in this paper, we surveyed the concept of a personal digital twin (PDT) as an enhanced version of the DT with actionable insight capabilities. In particular, PDT can bring value to patients by enabling more accurate decision making and proper treatment selection and optimisation. Then, we explored the progression of PDT as a revolutionary technology in healthcare research and industry. However, although several research works have been performed for smart healthcare using DT, PDT is still at an early stage. Consequently, we believe that this work can be a step towards smart personalised healthcare industry by guiding the design of industrial personalised healthcare systems. Accordingly, we introduced a reference framework that empowers smart personalised healthcare using PDTs by bringing together existing advanced technologies (i.e., DT, blockchain, and AI). Then, we described some selected use cases, including the mitigation of COVID-19 contagion, COVID-19 survivor follow-up care, personalised COVID-19 medicine, personalised osteoporosis prevention, personalised cancer survivor follow-up care, and personalised nutrition. Finally, we identified further challenges to pave the PDT paradigm toward the smart personalised healthcare industry.
- ItemA simulated annealing algorithm for joint stratification and sample allocation(Statistics Canada, 2022-06-21) O'Luing, Mervyn; Prestwich, Steven D.; Tarim, S. Armagan; Science Foundation Ireland; European Regional Development FundThis study combines simulated annealing with delta evaluation to solve the joint stratification and sample allocation problem. In this problem, atomic strata are partitioned into mutually exclusive and collectively exhaustive strata. Each partition of atomic strata is a possible solution to the stratification problem, the quality of which is measured by its cost. The Bell number of possible solutions is enormous, for even a moderate number of atomic strata, and an additional layer of complexity is added with the evaluation time of each solution. Many larger scale combinatorial optimisation problems cannot be solved to optimality, because the search for an optimum solution requires a prohibitive amount of computation time. A number of local search heuristic algorithms have been designed for this problem but these can become trapped in local minima preventing any further improvements. We add, to the existing suite of local search algorithms, a simulated annealing algorithm that allows for an escape from local minima and uses delta evaluation to exploit the similarity between consecutive solutions, and thereby reduces the evaluation time. We compared the simulated annealing algorithm with two recent algorithms. In both cases, the simulated annealing algorithm attained a solution of comparable quality in considerably less computation time.
- ItemIoT-enabled water distribution systems - a comparative technological review(IEEE, 2022-09-20) Velayudhan, N. K.; Pradeep, Preeja; Rao, S. N.; Devidas, A. R.; Ramesh, M. V.; Department of Science and Technology, Ministry of Science and Technology, IndiaWater distribution systems are one of the critical infrastructures and major assets of the water utility in a nation. The infrastructure of the distribution systems consists of resources, treatment plants, reservoirs, distribution lines, and consumers. A sustainable water distribution network management has to take care of accessibility, quality, quantity, and reliability of water. As water is becoming a depleting resource for the coming decades, the regulation and accounting of the water in terms of the above four parameters is a critical task. There have been many efforts towards the establishment of a monitoring and controlling framework, capable of automating various stages of the water distribution processes. The current trending technologies such as Information and Communication Technologies (ICT), Internet of Things (IoT), and Artificial Intelligence (AI) have the potential to track this spatially varying network to collect, process, and analyze the water distribution network attributes and events. In this work, we investigate the role and scope of the IoT technologies in different stages of the water distribution systems. Our survey covers the state-of-the-art monitoring and control systems for the water distribution networks, and the status of IoT architectures for water distribution networks. We explore the existing water distribution systems, providing the necessary background information on the current status. This work also presents an IoT Architecture for Intelligent Water Networks - IoTA4IWNet, for real-time monitoring and control of water distribution networks. We believe that to build a robust water distribution network, these components need to be designed and implemented effectively.
- ItemMinimality and comparison of sets of multi-attribute vectors(Springer, 2022-08-12) Toffano, Frederico; Wilson, Nic; Science Foundation Ireland; European Regional Development FundIn a decision-making problem, there is often some uncertainty regarding the user preferences. We assume a parameterised utility model, where in each scenario we have a utility function over alternatives, and where each scenario represents a possible user preference model consistent with the input preference information. With a set A of alternatives available to the decision-maker, we can consider the associated utility function, expressing, for each scenario, the maximum utility among the alternatives. We consider two main problems: firstly, finding a minimal subset of A that is equivalent to it, i.e., that has the same utility function. We show that for important classes of preference models, the set of possibly strictly optimal alternatives is the unique minimal equivalent subset. Secondly, we consider how to compare A to another set of alternatives B , where A and B correspond to different initial decision choices. This is closely related to the problem of computing setwise max regret. We derive mathematical results that allow different computational techniques for these problems, using linear programming, and especially, with a novel approach using the extreme points of the epigraph of the utility function.