Search results for " programmi"
showing 10 items of 1629 documents
Enabling Multimodal Interaction in XPL – the eXtensible Presentation Language
2007
This paper introduces the multimodal extension of the eXtensible Presentation architecture and Language (XPL), a framework aimed at streamlining multi-channel interface design process and enabling full component reuse. XPL incorporates a presentation language based on design pattern paradigm, which supplies a clear distinction between the presentation layer and the corresponding programming logic, promoting contents aggregation and a variety of event handlers described without relying on a (procedural) scripting language. In this paper, the design pattern concept is extended to voice-based interaction, and two verbal design pattern (VeDP) are introduced along to their visual counterparts. T…
A machine learning approach for user localization exploiting connectivity data
2016
The growing popularity of Location-Based Services (LBSs) has boosted research on cheaper and more pervasive localization systems, typically relying on such monitoring equipment as Wireless Sensor Networks (WSNs), which allow to re-use the same instrumentation both for monitoring and for localization without requiring lengthy off-line training. This work addresses the localization problem, exploiting knowledge acquired in sample environments, and extensible to areas not considered in advance. Localization is turned into a learning problem, solved by a statistical algorithm. Additionally, parameter tuning is fully automated thanks to its formulation as an optimization problem based only on co…
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…
Decisioni con impegni, misure cautelari e programmi di clemenza (anno 2012)
2013
Le decisioni con impegni, le misure cautelari e i programmi di clemenza costituiscono strumenti innovativi ed efficienti di cui l’Autorità garante della concorrenza e del mercato (Agcm) è stata dotata, a far data dal 2006, nella repressione delle intese e degli abusi di posizione dominante. La dottrina italiana ha sottolineato come, fino al 2011, la prassi decisionale dell’Agcm sia stata caratterizzata da un eccessivo ed irragionevole ricorso alle decisioni con impegni, a fronte di una limitata adozione di misure cautelari e di un sostanziale insuccesso dei programmi di clemenza. Nell’arco di tempo preso in considerazione dalla presente rassegna — l’anno 2012 —, l’Agcm non ha mai ritenuto o…
Decisioni con impegni, programmi di clemenza e misure cautelari nell'attività dell'Agcm (anno 2013)
2014
L'analisi delle decisioni dell'Autorità garante della concorrenza e del mercato (Agcm) nel corso del 2013 dimostra un utilizzo limitato degli strumenti ad essa conferiti in attuazione del cd. decreto Bersani (d.l. 4 luglio 2006, n. 223). Con riferimento alle decisioni con impegni, si nota che, a differenza di quanto avvenuto negli anni immediatamente successivi alla loro introduzione nell'ordinamento giuridico italiano, la prassi più recente dell'Agcm è caratterizzata da un utilizzo residuale di tale istituto. Dunque, in tale nuova prospettiva, i provvedimenti di accettazione di impegni rappresentano, coerentemente con la loro funzione, strumenti eccezionali, di applicazione limitata, non i…
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, …