Search results for "Omou"
showing 10 items of 195 documents
Conceptual representations of actions for autonomous robots
2001
An autonomous robot involved in long and complex missions should be able to generate, update and process its own plans of action. In this perspective, it is not plausible that the meaning of the representations used by the robot is given from outside the system itself. Rather, the meaning of internal symbols must be firmly anchored to the world through the perceptual abilities and the overall activities of the robot. According to these premises, in this paper we present an approach to action representation that is based on a "conceptual" level of representation, acting as an intermediate level between symbols and data coming from sensors. Symbolic representations are interpreted by mapping …
Right to a court in democratic state ruled by law
2019
W artykule omówiono prawo do sądu w demokratycznym państwie prawnym, które stanowi gwarancję sądowej ochrony praw człowieka przed ich naruszeniem przez organy władzy publicznej. Spełnia ono dwie funkcje: po pierwsze, chroni podmiotowe prawo jednostki i wiąże wszystkie władze publiczne w zakresie ich działania w podporządkowaniu Konstytucji; po drugie, tworzy charakterystyczny system powiązania indywidualnego statusu jednostki i obiektywnego porządku prawnego, wobec tego jest współcześnie traktowane jako składnik demokratycznego państwa prawnego. Konstytucyjne ujęcie prawa do sądu może być rozpatrywane w dwóch znaczeniach: 1) jako zasada prawa konstytucyjnego; 2) jako prawo podmiotowe jednos…
A comparative study of partitioning methods for crowd simulations
2010
The simulation of large crowds of autonomous agents with realistic behavior is still a challenge for several computer research communities. In order to handle large crowds, some scalable architectures have been proposed. Nevertheless, the effective use of distributed systems requires the use of partitioning methods that can properly distribute the workload generated by agents among the existing distributed resources. In this paper, we analyze the use of irregular shape regions (convex hulls) for solving the partitioning problem. We have compared a partitioning method based on convex hulls with two techniques that use rectangular regions. The performance evaluation results show that the conv…
Decentralized Coordination System for Multiple AGVs in a Structured Environment
2011
Abstract In this paper, we propose a decentralized coordination algorithm for safe and efficient management of a group of mobile robots following predefined paths in a dynamic industrial environment. The proposed algorithm is based on shared resources and proved to guarantee ordered traffic flows avoiding collisions and deadlocks. In consistency with the model of distributed robotic systems (DRS), no centralized mechanism, synchronized clock, shared memory or ground support is needed. A local inter-robot communication is required among a small number of spatially adjacent robotic units.
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
Key competences and plurilingual education in the Valencian Region (Spain) : a curricular analysis of Primary Education
2020
The purpose of this work is to study the level of transversality of key competences in Primary Education in the Valencian Community. To this end, an analysis of the Decree 108/2014 cur-rently in effect will be carried out, along with determining the frequency with which each competence is worked on during this stage of education. The data obtained will be interpreted bearing in mind plurilingual programs and, more specifically, the basis of the methodological needs that are pursued in CLIL, the approach to teaching non-linguistic areas through a foreign language. Generally, the findings point to a lack of transversality in some of the competences, one of them being the linguistic competence…
Beyond Alternative Food Networks: Understanding Motivations to Participate in Orti Urbani in Palermo
2019
Community gardens include many benefits, and different motivations seem to underline citizens’ choices to participate. In Italy, political motivations are considered one of the main reasons for participation in community gardens (known as orti urbani). Drawing from the orti urbani experience in Palermo (the largest city in Sicily, Southern Italy), this study aims to understand the main motivations that influence citizens’ participation and to measure the effects of these motivations on fruit and vegetable consumption among participants. Findings reveal that orti urbani attract middle‐class participants who possess high amounts of cultural capital but relatively less financial capital. Among…
Synthesizing on a reconfigurable chip an autonomous robot image processing system
2003
This paper deals with the implementation, in a high density reconfigurable device, of an entire log-polar image processing system. The log-polar vision reduces the amount of data to be stored and processed, simplifying several vision algorithms and making it possible the implementation of a complete processing system on a single chip. This image processing system is specially appropriated for autonomous robotic navigation, since these platforms have typically power consumption, size and weight restrictions. Furthermore, the image processing algorithms involved are time consuming and many times they have also real-time restrictions. A reconfigurable approach on a single chip combines hardwar…
Transformation of Aspergillus parasiticus using autonomously replicating plasmids from Aspergillus nidulans.
1994
A genetic transformation system for the aflatoxin-producing fungus Aspergillus parasiticus using two autonomously replicating plasmids from A. nidulans (ARp1 and pDHG25) is reported. Transformation frequencies using the plasmid pDHG25 were from 5 x 10(2) to 2.5 x 10(4) transformants per 10(6) viable protoplasts and microgram DNA. The stability of the plasmids in the transformants was also studied. This transformation system offers a new opportunity to clone genes related to aflatoxin production using appropriate aflatoxin-defective mutants.
A Rule-Based Multi-agent System for Local Traffic Management
2009
Road Traffic presents a high dynamism which makes necessary the development of traffic management and control strategies to improve traffic flows and more important, road safety. So it is needed the use of intelligent systems to support traffic organizations and road operators to cope with incidents. In this paper we introduce a local autonomous system for traffic management. This way, though there could be a breakdown in the communications between the local system and the TCC, the local system will be able to warn the road users in case of incidents. The system uses multiagent technology to work with the specific characteristics of traffic domain. The expert MAS system is ruled-based that …