Blar i Institutt for datateknologi, elektroteknologi og realfag på emneord "VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420"
Viser treff 1-20 av 40
-
A GraphQL approach to Healthcare Information Exchange with HL7 FHIR
(Journal article; Peer reviewed, 2019)Interoperability is accepted as a fundamental necessity for the successful realization of Healthcare Information Systems. It can be achieved by utilizing consistent standards defining syntactic and semantic meaning of the ... -
A tool for the convergence of multilevel modelling approaches
(Journal article; Peer reviewed, 2018)Multilevel Modelling is a powerful paradigm that can improve the way we create and use models. The community and approaches related to Multilevel Modelling have been constantly growing, and the need to agree on some basic ... -
An MDE Approach for Modelling and Reasoning about Multi-agent Systems
(Journal article; Peer reviewed, 2017)Epistemic logic plays an important role in artificial intelligence for reasoning about multi-agent systems. Current approaches for modelling multi-agent systems with epistemic logic use Kripke semantics where the knowledge ... -
Analysis and evaluation of conformance preserving graph transformation rules
(Journal article; Peer reviewed, 2019)Model transformation is a formal approach for modelling the behavior of software systems. Over the past few years, graph based modeling of software systems has gained significant attention as there are numerous techniques ... -
Automated Satellite-based Assessment of Hurricane Impacts on Roadways
(Peer reviewed; Journal article, 2021)During extreme weather events like hurricanes, trees can cause significant challenges for the local communities with roadway closures or power outages. Local responders must act quickly with information regarding the extent ... -
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
(Peer reviewed; Journal article, 2019)Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ... -
BILU-NEMH: A BILU neural-encoded mention hypergraph for mention extraction
(Peer reviewed; Journal article, 2019)The natural language processing (NLP) denotes a technique used to process data such as text and speech. Some of the fundamental research in NLP includes the named entity recognition, which recognizes the named entities ... -
Bundle Extreme Learning Machine for Power Quality Analysis in Transmission Networks
(Journal article; Peer reviewed, 2019)This paper presents a novel method for online power quality data analysis in transmission networks using a machine learning-based classifier. The proposed classifier has a bundle structure based on the enhanced version of ... -
Deep learning for pedestrian collective behavior analysis in smart cities: A model of group trajectory outlier detection
(Peer reviewed; Journal article, 2021)This paper introduces a new model to identify collective abnormal human behaviors from large pedestrian data in smart cities. To accurately solve the problem, several algorithms have been proposed in this paper. These can ... -
Development of an E-mental Health Infrastructure for Supporting Interoperability and Data Analysis
(Journal article; Peer reviewed, 2019)Digital technology plays an increasingly important role in addressing the challenges faced by health and care services such as rising costs, changing demographics, shortage of healthcare professionals. eHealth is the use ... -
Discovering Periodic Itemsets using Novel Periodicity Measures
(Journal article; Peer reviewed, 2019)Discovering periodic patterns in a customer transaction database is the task of identifying itemsets (sets of items or values) that periodically appear in a sequence of transactions. Numerous methods can identify ... -
An Effective Approach for the Diverse Group Stock Portfolio Optimization Using Grouping Genetic Algorithm
(Peer reviewed; Journal article, 2019)Finding useful portfolios that could be a portfolio of trading strategy or a stock portfolio from financial datasets is always an attractive research topic due to the nature of financial markets. Because investors always ... -
The Efficient Mining of Skyline Patterns from a Volunteer Computing Network
(Peer reviewed; Journal article, 2021)In the ever-growing world, the concepts of High-utility Itemset Mining (HUIM) as well as Frequent Itemset Mining (FIM) are fundamental works in knowledge discovery. Several algorithms have been designed successfully. ... -
Efficient techniques and tools for software testing based on traces and coverage analysis
(Doctoral thesis, 2022)To ensure ultra-high dependability and ultra-low defect rates, certification standards such as DO-178C requires safety-critical software with the highest safety level (Level A) in avionics systems to conform to the modified ... -
Fast and Accurate Deep Learning Framework for Secure Fault Diagnosis in the Industrial Internet of Things
(Peer reviewed; Journal article, 2021)This paper introduced a new deep learning framework for fault diagnosis in electrical power systems. The framework integrates the convolution neural network and different regression models to visually identify which faults ... -
A framework for multi-model consistency management
(Doctoral thesis, 2022)Software systems have become crucial for society and the economy to function. Constantly they are permeating more and more application domains. Also, they are getting increasingly integrated with already existing systems. ... -
Fuzzy high-utility pattern mining in parallel and distributed Hadoop framework
(Peer reviewed; Journal article, 2021)Over the past decade, high-utility itemset mining (HUIM) has received widespread attention that can emphasize more critical information than was previously possible using frequent itemset mining (FIM). Unfortunately, HUIM ... -
GFSOM: Genetic Feature Selection for Ontology Matching
(Journal article; Peer reviewed, 2019)This paper studies the ontology matching problem and proposes a genetic feature selection approach for ontology matching (GFSOM), which exploits the feature selection using the genetic approach to select the most appropriate ... -
Hybrid intelligent framework for automated medical learning
(Peer reviewed; Journal article, 2021)This paper investigates the automated medical learning and proposes hybrid intelligent framework, called Hybrid Automated Medical Learning (HAML). The goal is the efficient combination of several intelligent components in ... -
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
(Journal article; Peer reviewed, 2019)This paper describes the development of a parallel simulator of a multicore memory system from a model formalized as a structural operational semantics (SOS). Our implementation uses the Abstract Behavioral Specification ...