Search academic resources

We compute the influence of a vertex on the connectivity structure of a directed network by using Shapley value theory. In general, the computation of such ratings is highly inefficient. We show how the computation can b...

In this paper we study the Prefix Sum problem introduced by Fredman. We show that it is possible to perform both update and retrieval in O(1) time simultaneously under a memory model in which individual bits may be share...

In distributed hash tables, much communication traffic comes from multi-word searches. The aim of this work is to reduce the amount of traffic by using a bloom filter, which is a space-efficient probabilistic data struct...

Based on the imp&-calculus, ASP (Asynchronous Sequential Processes) de nes distributed applications behaving deterministically. This article extends ASP by building hierarchical and asynchronous distributed components. ...

We introduce a data structure, the Bundled Suffix Tree (BuST), that is a generalization of a Suffix Tree (ST). To build a BuST we use an alphabet Σ together with a non-transitive relation ≈ among its letters. Follow...

Let Σ be a ranked set. A categorical Σ-algebra, cΣa for C, for short, is a small category C equipped with a functor σC : C n each σ ∈ Σn , n ≥ 0. A continuous categorical Σ-algebra is a cΣa which C; has an in...

This is an undergraduate thesis to obtain the degree of Licentiate in Computer Science in University of La Plata, Argentina. Since by standing rules of the institution this work must be presented in Spanish, the author w...

We investigate decidable properties for regular cellular automata. In particular, we show that regularity itself is an undecidable property and that nilpotency, equicontinuity and positively expansiveness became decidab...

The distributed coordination and control of a team of autonomous mobile robots is a problem widely studied in a variety of elds, such as engineering, arti cial intelligence, arti cial life, robotics. Generally, in thes...

Consider a team of (one or more) mobile agents operating in a graph G. Unaware of the graph topology and starting from the same node, the team must explore the graph. This problem, known as graph exploration, was initial...

A d-dimensional cellular automaton with sequential input mode is a d-dimensional grid of interconnected interacting finite automata. The distinguished automaton at the origin, the communication cell, is connected to th...

Quantum phenomena exhibit a variety of weird, counter intuitive, puzzling, mysterious and even entertaining effects. Quantum information processing tries to make an effective use of these phenomena to design new quantum ...

Approximation algorithms for a class of planar graph problems, including planar independent set, planar vertex cover and planar dominating set, were intensively studied. The current upper bound on the running time of the...

We extend the regular model checking framework so that it can handle systems with arbitrary width tree-like structures. Con gurations of a system are represented by trees of arbitrary arities, sets of con gurations are r...

Given an instance of an optimization problem together with an optimal solution, we consider the scenario in which this instance is modified locally. In graph problems, e. g., a singular edge might be removed or added, or...

It is a well established fact, that - in the case of classical random graphs like (variants of) Gn,p or random regular graphs - spectral methods yield efficient algorithms for clustering (e. g. colouring or bisection) pr...

We define a symbolic determinisation procedure for a class of infinite-state systems, which consists of automata extended with symbolic variables that may be infinite-state. The subclass of extended automata for which th...

The Gale-Shapley "propose/reject" algorithm is a wellknown procedure for solving the classical stable marriage problem. In this paper we study this algorithm in the context of the many-to-many stable marriage problem, al...

We investigate the problem of nding a total order of a nite set that satis es various local ordering constraints. Depending on the admitted constraints, we provide an e cient algorithm or prove NP-completeness. We disc...

ABSTRACT Mathematical modeling is a systematic process that involves identifying key variables and understanding how they interact. This review provides a comprehensive pedagogical framework for new researchers in animal...

As one of the cutting-edge technologies in advanced information science, wave-based cryptography is a prerequisite to enable a plethora of secure encrypting platforms which can be realized by smart multiplexing technique...

The analysis and modeling of educational data are of great significance to the evaluation of teaching quality and personalized learning guidance. However, the acquisition of academic data is often limited by the costs of...

Las asignaturas básicas de las licenciaturas de medicina, psicología y otras del área de lasalud teórico-prácticas requieren de apoyos visuales didácticos actualizados. La generaciónde material gráfico asistido p...

Quantum information science offers inherently more powerful methods for communication, computation, and precision measurement that take advantage of quantum superposition and entanglement. In recent years, theoretical an...