Outputs (146)

Hamiltonian cycles through prescribed edges in k-ary n-cubes. (2011)
Presentation / Conference Contribution

We prove that if P is a set of at most 2n − 1 edges in a k-ary n-cube, where k ≥ 4 and n ≥ 2, then there is a Hamiltonian cycle on which every edge of P lies if, and only if, the subgraph of the k-ary n-cube induced by the edges of P is a vertex-disj... Read More about Hamiltonian cycles through prescribed edges in k-ary n-cubes..

Color image edge detection based on quantity of color information and implementation on the GPU. (2011)
Presentation / Conference Contribution

In this paper, we present a new method for quantifying color information so as to detect edges in color images. Our method uses the volume of a pixel in the HSI color space, allied with noise reduction, thresholding and edge thinning. We implement ou... Read More about Color image edge detection based on quantity of color information and implementation on the GPU..

Node-to-node disjoint paths in k-ary n-cubes with faulty edges. (2012)
Presentation / Conference Contribution

Let u and v be any two given nodes in a k-ary n-cube Qnk with at most 2n-2 faulty edges. Suppose that the number of healthy links incident with u is no more than that of v, and denote this number by m. In this paper, we show that there are m mutually... Read More about Node-to-node disjoint paths in k-ary n-cubes with faulty edges..

Pancyclicity in faulty k-ary 2-cubes (2009)
Presentation / Conference Contribution

We prove that a k-ary 2-cube $Q_k^2$ with 3 faulty edges but where every vertex is incident with at least 2 healthy edges is bipancyclic, if k ≥ 3, and k-pancyclic, if k ≥ 5 is odd (these results are optimal).

Pancyclicity and panconnectivity in augmented k-ary n-cubes (2009)
Presentation / Conference Contribution

The augmented k-ary n-cube AQ_{n,k} is a recently proposed interconnection network that incorporates an extension of a k-ary n-cube Q_n^k inspired by the extension of a hypercube Q_n to the augmented hypercube AQ_n (as developed by Choudom and Sunita... Read More about Pancyclicity and panconnectivity in augmented k-ary n-cubes.

Frameworks for logically classifying polynomial-time optimisation problems (2010)
Presentation / Conference Contribution

We show that a logical framework, based around a fragment of existential second-order logic formerly proposed by others so as to capture the class of polynomially-bounded P-optimisation problems, cannot hope to do so, under the assumption that P ≠ NP... Read More about Frameworks for logically classifying polynomial-time optimisation problems.

A general algorithm for detecting faults under the comparison diagnosis model (2010)
Presentation / Conference Contribution

We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty processors. In particular, we prove that if the underlying graph G = (V,E... Read More about A general algorithm for detecting faults under the comparison diagnosis model.

The computational complexity of the parallel knock-out problem (2006)
Presentation / Conference Contribution

We consider computational complexity questions related to parallel knock-out schemes for graphs. In such schemes, in each round, each remaining vertex of a given graph eliminates exactly one of its neighbours. We show that the problem of whether, for... Read More about The computational complexity of the parallel knock-out problem.

Physical-layer Jammer Detection in Multi-hop IoT Networks (2023)
Journal Article

The presence of a jammer in an IoT network severely degrades all communication efforts between adjacent wireless devices. The situation is getting worse due to retransmission attempts made by affected devices. Therefore, jammers must be detected or l... Read More about Physical-layer Jammer Detection in Multi-hop IoT Networks.

Ubiquitous Micro Mapping of Air Pollution Using Vehicular Edge-Based Connected IoT Services (2022)
Journal Article

GDPR compliance verification through a user-centric blockchain approach in multi-cloud environment (2023)
Journal Article

With cloud-hosted web applications becoming ubiquitous, the security risks presented for user personal data that is migrated to the cloud are at an all-time high. When using a cloud-hosted web application, users only ever interact with web interfaces... Read More about GDPR compliance verification through a user-centric blockchain approach in multi-cloud environment.

An accurate RSS/AoA-based localization method for internet of underwater things (2023)
Journal Article

Localization is an important issue for Internet of Underwater Things (IoUT) since the performance of a large number of underwater applications highly relies on the position information of underwater sensors. In this paper, we propose a hybrid localiz... Read More about An accurate RSS/AoA-based localization method for internet of underwater things.

Health Monitoring and Diagnosis for Geo-Distributed Edge Ecosystem in Smart City (2023)
Journal Article

With the increasing number of Internet of Things (IoT) devices being deployed and used in daily life, the load on computational devices has grown exponentially. This situation is more prevalent in smart cities where such devices are used for autonomo... Read More about Health Monitoring and Diagnosis for Geo-Distributed Edge Ecosystem in Smart City.

Termination of amnesiac flooding (2023)
Journal Article

We consider a stateless ‘amnesiac’ variant of the stateful distributed network flooding algorithm, expanding on our conference papers [PODC’19, STACS’20]. Flooding begins with a set of source ‘initial’ nodes I seeking to broadcast a message M in roun... Read More about Termination of amnesiac flooding.

Balanced Allocation: Patience Is Not a Virtue (2022)
Journal Article

Optimal dispersion on an anonymous ring in the presence of weak Byzantine robots (2021)
Journal Article

Parameterized temporal exploration problems (2023)
Journal Article

In this paper we study the fixed-parameter tractability of the problem of deciding whether a given temporal graph G admits a temporal walk that visits all vertices (temporal exploration) or, in some problem variants, a certain subset of the vertices.... Read More about Parameterized temporal exploration problems.

Rational Secret Sharing Over an Asynchronous Broadcast Channel With Information Theoretic Security (2011)
Journal Article

A distributed task orchestration scheme in collaborative vehicular cloud edge networks (2022)
Journal Article

The next generation vehicular networks would be expected to support a wide array of cutting edge applications concerning intelligent transportation system (ITS). Due to this reason, the scale and complexity of ITS-based compute-intensive tasks has ex... Read More about A distributed task orchestration scheme in collaborative vehicular cloud edge networks.

TRUTH: Trust and Authentication Scheme in 5G-IIoT (2022)
Journal Article

Due to the extremely important role of data in the Industrial Internet of Things (IIoT) network, trust and security of data are among the major concerns. In this study, we develop a cloud-integrated 5G-IIoT network architecture enabled by a three-par... Read More about TRUTH: Trust and Authentication Scheme in 5G-IIoT.