Search By Subject

With the increasing volume of data in the information age, existing network analysis tools are increasingly struggling to handle large-scale networks, for example, social networks. Considering the high parallel performance and wide spread adoption of ...

Influence maximization (IM) traditionally prioritizes maximizing influence spread, often resulting in challenges such as unfair information dissemination and social bias. To mitigate these issues, the fair influence maximization (FIM) has been introduced,...

Identifying influential nodes in networks is an important research topic in the field of network science. Existing work focuses mainly on traditional simple networks based on pairwise interactions, which cannot effectively utilize the higher-order ...

With the widespread use of communication protocols such as LoRa, WIFI, Bluetooth, Zigbee, and the development of environmental backscattering techniques based on spectrum shifting, spectrum resources in the ISM bands will gradually become crowded and ...

Covert communication can provide higher security by protecting communication behavior. In this paper, we utilize covert communication to protect the communication behavior in vehicular edge computing (VEC) networks, that is covert VEC networks, where ...

To be able to react to interaction ruptures such as errors, a robot needs a way of realizing such a rupture occurred. We test whether it is possible to detect interaction ruptures from the user’s anonymized speech, posture, and facial features. We ...

Sleep is known to be a key factor in emotional regulation and overall mental health. In this study, we explore the integration of sleep measures from the previous night into wearable-based mood recognition. To this end, we propose NapTune, a novel ...

For internet users it is frequently challenging to properly navigate and interpret the overwhelming amount of information available to them. Multimodal artificial intelligence (AI) systems can aid in the process; for example, by helping to debunk ...

Computer-aided cancer survival risk prediction plays an important role in the timely treatment of patients. This is a challenging weakly supervised ordinal regression task associated with multiple clinical factors involved such as pathological images, ...

Developers and engineers have shown the many benefits of feature modelling for identifying reusable software and hardware components across product lines and platforms. However, a gap exists when it comes to identifying reusable products, and ...

Hybrid graphical-textual domain-specific languages can deliver the best of both worlds of graphical and textual modelling: an intuitive graphical syntax for some parts of the language and a concise textual syntax for others. This paper discusses the ...

Critical cyber-physical systems have an increasingly significant role in the world, and ensuring their safety is a high priority objective. State of the art approaches and engineering tools can support the development process from very early stages, with ...

Combinatorial testing can be used to automatically generate relevant sets of combinations of abstract test data for a System Under Test (SUT). It requires defining a combinatorial model with possible abstract values for the SUT input parameters, from ...

With the increasing prevalence of vehicle driving automation systems (henceforth colloquially referred to as autonomous) on roads, the frequency and severity of accidents involving these vehicles have exceeded initially anticipated. It heightens global ...

Datalog is a logic-based query-language used for knowledge representation and reasoning. Through the years, the literature has defined highly valuable algorithms, desirable properties, and useful transformations for this language and its extensions (e.g. ...

In the field of model-based systems engineering, there is an increasing demand for the application of formal methods. However, this requires expertise in formal methods, which cannot be expected from systems engineers. While several attempts have been ...

An elimination tree for a connected graph \(G\) is a rooted tree on the vertices of \(G\) obtained by choosing a root \(x\) and recursing on the connected components of \(G-x\) to produce the subtrees of \(x\). Elimination trees appear in many ...

Envy-freeness has become the cornerstone of fair division research. In settings where each individual is allocated a disjoint share of collective resources, it is a compelling fairness axiom which demands that no individual strictly prefer the ...

Urban areas face increasing challenges such as traffic congestion, environmental degradation, and parking shortages, largely due to the excessive use of low-occupancy personal vehicles. This paper proposes a peer-to-peer (P2P) ride-sharing system to ...