Ontology-Driven Automated Generation of Data Entry Interfaces to Databases
Conference Proceeding
Cannon, A., Kennedy, J. B., Paterson, T., & Watson, M. F. (2004)
Ontology-Driven Automated Generation of Data Entry Interfaces to Databases. In H. Williams, & L. Mackinnon (Eds.), Key Technologies for Data Management; Lecture Notes in Computer Science, 150-164. doi:10.1007/978-3-540-27811-5_15
This paper discusses an ontology based approach for the automatic generation of data entry interfaces to databases. An existing domain ontology is mapped to a system domain mo...
DEEPC: Dynamic Energy Profiling of Components
Conference Proceeding
Liu, X., Chinenyeze, S. J., & Al-Dubai, A. (2016)
DEEPC: Dynamic Energy Profiling of Components. In 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)https://doi.org/10.1109/COMPSAC.2016.90
Many software projects are built using reusable components (i.e. reusable objects - as per component and connectors in software architectures). During component selection in C...
Finding Fair Negotiation Algorithms to Reduce Peak Electricity Consumption in Micro Grids
Conference Proceeding
Powers, S. T., Meanwell, O., & Cai, Z. (2019)
Finding Fair Negotiation Algorithms to Reduce Peak Electricity Consumption in Micro Grids. In PAAMS 2019: Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection, 269-272. https://doi.org/10.1007/978-3-030-24209-1_28
Reducing peak electricity consumption is important to maximise use of renewable energy sources, and reduce the total amount of capacity required on a grid. Most approaches use...
A Method for Electric Load Data Verfication and Repair in home Environment
Conference Proceeding
Liu, Q., Li, S., Liu, X., & Linge, N. (2016)
A Method for Electric Load Data Verfication and Repair in home Environment. In X. Sun, A. Liu, H. C. Chao, & E. Bertino (Eds.), Cloud Computing and Security. ICCCS 2016, 244-253. https://doi.org/10.1007/978-3-319-48674-1_22
Most people do not have a consciousness of energy saving. For this phenomenon, the governments are building smart grids to take measures for the energy crisis. Electric load d...
Developing a core ontology for taxonomic data.
Conference Proceeding
Kennedy, J., Gales, R., Hyam, R., Kukla, R., Wieczorek, J., Hagedorn, G., …Vieglais, D. (2006)
Developing a core ontology for taxonomic data. In L. Belbin, A. Rissoné, & A. Weitzman (Eds.), Proceedings of TDWG (2006), St Louis, MI
Over recent years several sub-groups within the Taxonomic Databases Working Group (TDWG) have developed models and exchange standards to facilitate data sharing within the tax...
Lessons from experience: making theorem provers more co-operative.
Conference Proceeding
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1995)
Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers, 67-74
We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove th...
A Cooperative Learning Approach for the Quadratic Knapsack Problem
Conference Proceeding
Lalla-Ruiz, E., Segredo, E., & Voß, S. (2018)
A Cooperative Learning Approach for the Quadratic Knapsack Problem. In Learning and Intelligent Optimization Conference (LION12). , (31-35). https://doi.org/10.1007/978-3-030-05348-2_3
The Quadratic Knapsack Problem (QKP) is a well-known optimization problem aimed to maximize a quadratic objective function subject to linear capacity constraints. It has sever...
Evaluating the VIPER pedigree visualisation: detecting inheritance inconsistencies in genotyped pedigrees.
Conference Proceeding
Paterson, T., Graham, M., Kennedy, J., & Law, A. (2011)
Evaluating the VIPER pedigree visualisation: detecting inheritance inconsistencies in genotyped pedigrees. In 2011 IEEE Symposium on Biological Data Visualization (BioVis), 119-126. https://doi.org/10.1109/BioVis.2011.6094056
VIPER (Visual Pedigree Explorer) is a tool for exploring large complex animal pedigrees and their associated genotype data. The tool combines a novel, space-efficient visualis...
Converting an existing taxonomic data resource to employ an ontology and LSIDs.
Conference Proceeding
Kennedy, J., Gales, R., & Kukla, R. (2006)
Converting an existing taxonomic data resource to employ an ontology and LSIDs. In L. Belbin, A. Rissoné, & A. Weitzman (Eds.), Proceedings of TDWG (2006), St Louis, MI
Data sharing is fundamental to biodiversity and taxonomic data applications, however previous attempts at developing mechanisms to facilitate sharing within the community have...
The Design and Evaluation of a Modern C++ Library
Conference Proceeding
Chalmers, K. (2016)
The Design and Evaluation of a Modern C++ Library. In Communicating Process Architectures 2016
Although many CSP inspired libraries exist, none yet have targeted modern C++ (C++11 onwards). The work presented has a main objective of providing a new C++ CSP library which...