Search results for "programming"
showing 10 items of 3090 documents
XML-based Knowledge Discovery for Linguistic Atlas of Sicily (ALS) Project
2009
The identification of new useful patterns in data is a core process for intelligent systems. Information overflow is directly related to this problem. In this work we propose a knowledge discovery methodology to retrieve useful and novel information from raw data stored in a DBMS. We used ALSDB, a database that has been built suitably to access structured information obtained from the questionnaires produced in the Linguistic Atlas of Sicily (ALS) project. The ALS project is a decennal joint effort led by researchers at the Dipartimento di Scienze Filologiche e Linguistiche of the University of Palermo that has the purpose to track and study the geo-linguistic and lexicographic processes ab…
A Networking Framework for Multi-Robot Coordination
2008
Autonomous robots operating in real environments need to be able to interact with a dynamic world populated with objects, people, and, in general, other agents. The current generation of autonomous robots, such as the ASIMO robot by Honda or the QRIO by Sony, has showed impressive performances in mechanics and control of movements; moreover, recent literature reports encouraging results about the capability of such robots of representing themselves with respect to a dynamic external world, of planning future actions and of evaluating resulting situations in order to make new plans. However, when multiple robots are supposed to operate together, coordination and communication issues arise; w…
An extended JADE-S based framework for developing secure Multi-Agent Systems
2009
Agent communities are self-organized virtual spaces consisting of a large number of agents and their dynamic environments. Within a community, agents group together offering special e-services for effective, reliable, and mutual benefits. Usually, an agent community is composed of specialized agents performing one or more tasks in a single domain/sub-domain, or in highly intersecting domains. However, secure Multi- Agent Systems require severe mechanisms in order to prevent malicious attacks. Several limits affect exiting secure agents platform, such as the lack of a strong authentication system, the lack of a flexible distributed mechanism for access control and the lack of a system for st…
Accelerating Clifford Algebra Operations using GPUs and an OpenCL Code Generator
2015
Clifford Algebra (CA) is a powerful mathematical language that allows for a simple and intuitive representation of geometric objects and their transformations. It has important applications in many research fields, such as computer graphics, robotics, and machine vision. Direct hardware support of Clifford data types and operators is needed to accelerate applications based on Clifford Algebra. This paper proposes a mixed software-hardware system that exploits the computational power of Graphics Processing Units (GPUs) to accelerate Clifford operations. A code generator, namely OpenCLifford, is presented that automatically generates Java and C libraries for the direct support of Clifford ele…
Verification of Symbolic Distributed Protocols for Networked Embedded Devices
2020
The availability of versatile and interconnected embedded devices makes it possible to build low-cost networks with a large number of nodes running even complex applications and protocols in a distributed manner. Common tools used for modeling and verification, such as simulators, present some limitations as application correctness is checked off-board and only focuses on source code. Execution in the real network is thus excluded from the early stages of design and verification. In this paper, a system for modeling and verification of symbolic distributed protocols running on embedded devices is introduced. The underlying methodology is rooted in a symbolic programming paradigm that makes …
Separation of Concerns and Role Implementation in the PASSI Design Process
2007
The use of design patterns proved successful in lowering the development time and number of errors when producing software with the object-oriented paradigm. In previous works we engaged the production of a tool for the reuse of patterns for multi-agent systems. Now we are fronting a new problem: automatic code generation for agents, designed with a specific methodology, with the support of design patterns and using an aspect oriented approach. In this work we present our preliminary experiences in the identification, description, production and use of aspects for multi agent systems and a tool for code production.
A visual framework to support collaborative coding activities
2019
In this paper, we present a framework named SIRENE, a Web-based visual programming environment, where teachers and students can collaboratively interact, using a flexible and versatile definition of visual programming code instead of pre-established rules. After the description of the architecture of the SIRENE framework, the preliminary results of a pilot trial with secondary school students will be presented; these results will lead to the final remarks and directions for further developments.
Designing for Student-Centered Hybrid Learning Environments: A Framework for Programming Languages Course Design
2022
Hybrid learning environments are a means of delivering instructional content in that online educational materials and opportunities for interaction were combined with traditional classroom methods. Hybrid learning environments give students the opportunity to work in an environment enriched with digital learning tools, and to support student-based learning approach. Student-based learning approach promotes engagement to make students active learners via various ways such as interactivity, feedback, etc. Researchers identified feedback as an activity for promoting effective online learning and more so creating the environment for teacher-student teaching and learning interaction. Besides, so…
Le idee e il muro del suono. I programmi per elaboratore nella più recente giurisprudenza europea
2013
Computer programs in the most recent european case law
The Robotic Construction Kit as a Tool for Cognitive Stimulation in Children and Adolescents: The RE4BES Protocol
2019
Through numerous experiences, the robotics has been demonstrated to have good potential in the field of strengthening social skills in children with Special Educational Needs and in particular with autism spectrum disorder. There are still not many experimental studies on the cognitive enhancement and social skills of children with special needs conducted with robotics construction kits that, requiring both the construction of the robot body and the programming of its “mind“, bring into play a multiplicity of cognitive and social skills. For the aforementioned reasons our team from the University of Palermo and from the Center MetaIntelligenze ONLUS developed the treatment protocol RE4BES, …