The empirical mode decomposition (EMD) is an algorithm pioneered by N. Huang et. al. as an alternative technique to the traditional Fourier and wavelet methods for analyzing nonlinear and non-stationary signals. It aims at decomposing a signal, via an iterative sifting procedure, into several intrinsic mode functions (IMFs), and each of the IMFs has better behaved instantaneous frequency analys...

Many popular algorithms that work with Boolean functions are dramatically dependent on the order of variables in input representations of Boolean functions. Such algorithms include satisfiability (SAT) solvers that are critical in formal verification and Binary Decision Diagrams (BDDs) manipulation algorithms that are increasingly popular in synthesis and verification. Finding better variable-o...

Process mining techniques have been developed in the ambit of business process management to extract information from event logs consisting of activities and then produce a graphical representation of the process control flow, detect relations between components involved in the process and infer data dependencies between process activities. These process characterisations allow the analyst to d...

Security in the fifth generation (5G) networks has become one of prime concerns telecommunication industry. 5G security challenges come from fact that involve different stakeholders using requirements and measures. Deficiencies management between these can lead to attacks. Therefore, solutions should be conceived for safe deployment verticals (e.g., industry 4.0, Internet Things (IoT), etc.). T...

Morphological knowledge is useful for medical language processing, information retrieval and terminology or ontology development. We show how a large volume of morphological associations between words can be learnt from existing medical terminologies by taking advantage of the semantic relations already encoded between terms in these terminologies: synonymy, hierarchy and transversal relations....

In this paper, we study the problem of assessing the quality of co-reference tuples extracted from multiple low-quality data sources and finding true values from them. It is a critical part of an effective data integration solution. In order to solve this problem, we first propose a model to specify the tuple quality. Then we present a framework to infer the tuple quality based on the concept o...

Quantum key distribution (QKD) allows for unconditionally secure communication between two parties (Alice and Bob). A recent breakthrough in the theory of QKD is the treatment of finite-key scenarios, pioneered by Renner and collaborators (see [1], for example). This has made QKD theory practically relevant, since the asymptotic regime associated with infinitely many exchanged quantum signals i...

Prolonged pharmacological acid suppression is associated with various histological changes in the gastric mucosa, particularly in Helicobacter pylori infected patients. In a number of subjects these changes include a shift in the gastric inflammation from the antrum to the corpus. This finding has been interpreted as gastric atrophy, and the possibility that acid suppression accelerates the pro...

The vibration based signal processing technique is one of the principal tools for diagnosing faults of rotating machinery. Empirical mode decomposition (EMD), as a time-frequency analysis technique, has been widely used to process vibration signals of rotating machinery. But it has the shortcoming of mode mixing in decomposing signals. To overcome this shortcoming, ensemble empirical mode decom...

Journalists and editors work under pressure to collect relevant details and background information about specific events. They spend a significant amount of time sifting through documents and finding new information such as facts, opinions or stakeholders (i.e. people, places and organizations that have a stake in the news). Spotting them is a tedious and cognitively intense process. One task, ...