Search results for "LABOR"
showing 10 items of 3876 documents
A Simulation Software for the Evaluation of Vulnerabilities in Reputation Management Systems
2019
Multi-agent distributed systems are characterized by autonomous entities that interact with each other to provide, and/or request, different kinds of services. In several contexts, especially when a reward is offered according to the quality of service, individual agents (or coordinated groups) may act in a selfish way. To prevent such behaviours, distributed Reputation Management Systems (RMSs) provide every agent with the capability of computing the reputation of the others according to direct past interactions, as well as indirect opinions reported by their neighbourhood. This last point introduces a weakness on gossiped information that makes RMSs vulnerable to malicious agents’ intent …
Bayesian Modeling for Differential Cryptanalysis of Block Ciphers: A DES Instance
2023
Encryption algorithms based on block ciphers are among the most widely adopted solutions for providing information security. Over the years, a variety of methods have been proposed to evaluate the robustness of these algorithms to different types of security attacks. One of the most effective analysis techniques is differential cryptanalysis, whose aim is to study how variations in the input propagate on the output. In this work we address the modeling of differential attacks to block cipher algorithms by defining a Bayesian framework that allows a probabilistic estimation of the secret key. In order to prove the validity of the proposed approach, we present as case study a differential att…
Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent
2022
Wireless Sensor Networks (WSNs) represent a key component in emerging distributed computing paradigms such as IoT, Ambient Intelligence, and Smart Cities. In these contexts, the difficulty of testing, verifying, and monitoring applications in their intended scenarios ranges from challenging to impractical. Current simulators can only be used to investigate correctness at source code level and with limited accuracy. This paper proposes a system and a methodology to model and verify symbolic distributed applications running on WSNs. The approach allows to complement the distributed application code at a high level of abstraction in order to test and reprogram it, directly, on deployed network…
Robot’s Inner Speech Effects on Human Trust and Anthropomorphism
2023
AbstractInner Speech is an essential but also elusive human psychological process that refers to an everyday covert internal conversation with oneself. We argued that programming a robot with an overt self-talk system that simulates human inner speech could enhance both human trust and users’ perception of robot’s anthropomorphism, animacy, likeability, intelligence and safety. For this reason, we planned a pre-test/post-test control group design. Participants were divided in two different groups, one experimental group and one control group. Participants in the experimental group interacted with the robot Pepper equipped with an over inner speech system whereas participants in the control …
A genetic approach to the maximum common subgraph problem
2019
Finding the maximum common subgraph of a pair of given graphs is a well-known task in theoretical computer science and with considerable practical applications, for example, in the fields of bioinformatics, medicine, chemistry, electronic design and computer vision. This problem is particularly complex and therefore fast heuristics are required to calculate approximate solutions. This article deals with a simple yet effective genetic algorithm that finds quickly a solution, subject to possible geometric constraints.
A Family of Embedded Coprocessors with Native Geometric Algebra Support
2015
Clifford Algebra or Geometric Algebra (GA) is a simple and intuitive way to model geometric objects and their transformations. Operating in high-dimensional vector spaces with significant computational costs, the practical use of GA requires, however, dedicated software and/or hardware architectures to directly support Clifford data types and operators. In this paper, a family of embedded coprocessors for the native execution of GA operations is presented. The paper shows the evolution of the coprocessor family focusing on the latest two architectures that offer direct hardware support to up to five-dimensional Clifford operations. The proposed coprocessors exploit hardware-oriented represe…
Intelligent Advisor Agents in Distributed Environments
2011
The chapter presents a Distributed Expert System based on a multi-agent-architecture. The system is composed of a community of intelligent conversational agents playing the role of specialized advisors for the government of a virtual town, inspired to the SimCity game. The agents are capable to handle strategic decision under uncertainty conditions. They interact in natural language with their owners, obtain information on the current status of the town and give suggestions about the best strategies to apply in order to govern the town. © 2010 Springer-Verlag Berlin Heidelberg.
Cognitive meta-learning of syntactically inferred concepts
2011
This paper outlines a proposal for a two-level cognitive architecture reproducing the process of abstract thinking in human beings. The key idea is the use of a level devoted to the extraction of compact representation for basic concepts, with additional syntactic inference carried on at a meta-level, in order to provide generalization. Higher-level concepts are inferred according to a principle of simplicity, consistent with Kolmogorov complexity, and merged back into the lower level in order to widen the underlying knowledge base.
A Neuro-Genetic Approach to Real-Time Visual Grasp Synthesis
2007
Grasping is an essential prerequisite for an agent, either human or robotic, to manipulate various kinds of objects present in the world. It is a fact that we would like robots to have the same skills as we do. However, despite the construction of human-hand-like robotic effectors, much work is still to be done in order to give robots the capability to grasp and manipulate objects. The goal of this work is to automatically perform grasp synthesis of unknown planar objects. In other words, we must compute points on the object's boundary to be reached by the robotic fingers such that the resulting grasp, among infinite possibilities, optimizes some given criteria. The space of possible config…
Why you trust in visual saliency
2015
Image understanding is a simple task for a human observer. Visual attention is automatically pointed to interesting regions by a natural objective stimulus in a first step and by prior knowledge in a second step. Saliency maps try to simulate human response and use actual eye-movements measurements as ground truth. An interesting question is: how much corruption in a digital image can affect saliency detection respect to the original image? One of the contributions of this work is to compare the performances of standard approaches with respect to different type of image corruptions and different threshold values on saliency maps. If the corruption can be estimated and/or the threshold is fi…