Search results for "PROGRAM"
showing 10 items of 5938 documents
The case of literacy motivation : Playful 3D immersive learning environments and problem-focused education for blended digital storytelling
2018
The University of Patras' Library Services designed and offered to primary and secondary schools the pilot educational program “From the Ancient to the Modern Tablets”, featuring immersive multimedia learning experiences about the book history. The pilot program consisted of three stages: a playful library tour, followed by an interactive game-based digital storytelling activity with game elements, and a collaborative creative reflective hands-on activity. Utilizing the avatar psychology power, the visualization and simulation affordances of 3D immersive learning environments and the appeal of storytelling and game-based learning, the “gamified” blended narrative on the book evolution enabl…
Differences in Technical Development and Playing Space in Three UEFA Champions Leagues
2021
[Abstract] The analysis of football grows exponentially, with many researchers adopting it as an object of study. The thematic range that addresses it, as well as the different methodologies used, are of a very different nature—physical, psychological, technical, tactical—enriching every day the knowledge, and understanding of the game itself. The objective of this study has been to identify the differences between the different styles of play that lead to becoming the champion of the UEFA Champions League in the last 3 years of the pre-COVID stage, by analyzing the spatial performance developed, the association between the players that make up the different lines of the game system and the…
Smart camera based on an Embedded HW/SW Co-Processor
2008
Abstract This paper describes an image acquisition and a processing system based on a new coprocessor architecture designed for CMOS sensor imaging. The system exploits the full potential CMOS selective access imaging technology because the coprocessor unit is integrated into the image acquisition loop. The acquisition and coprocessing architecture are compatible with the majority of CMOS sensors. It enables the dynamic selection of a wide variety of acquisition modes as well as the reconfiguration and implementation of high-performance image preprocessing algorithms (calibration, filtering, denoising, binarization, pattern recognition). Furthermore, the processing and data transfer, from t…
FPGA-based concurrent watchdog for real-time control systems
2003
A straightforward and efficient implementation of a custom concurrent watchdog processor for real-time control systems is presented. Emphasis is given to the techniques used for on-line checking the main processor activity without adding overhead, and to the advantages of a field programmable gate array implementation.
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…
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2019
Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic interaction among heterogeneous systems. To achieve this vision, interoperability among heterogeneous systems represents a key enabler, and mediators are often built to solve protocol mismatches. Many approaches propose the synthesis of mediators. Unfortunately, a rigorous characterization of the concept of interoperability is still lacking, hence making hard to assess their applicability and soundness. In this paper, we provide a framework for the synthesis of mediators that allows us to: (i) characterize the conditions for the mediator existence and correctness; and (ii) establish the applicability bo…
High performance hardware correlation coefficient assessment using programmable logic for ECG signals
2003
Abstract Correlation coefficient is frequently used to obtain cardiac rhythm by peak estimation and appreciate differences in the signal compared to a pattern. This work focuses on the description of a real-time correlation assessment procedure. Applied to electrocardiogram (ECG) signals, a new correlation value is obtained every new sample and pulse detection information is provided. The ECG pattern is internally stored and can be changed when desired. This procedure is useful in Systems on Chip implementation and can be applied to design compact ECG monitoring systems consisting on a system on chip where programmable logic offloads the main processor. A Xilinx FPGA device has been used fo…
PArthENoPE reloaded
2018
We describe the main features of a new and updated version of the program PArthENoPE, which computes the abundances of light elements produced during Big Bang Nucleosynthesis. As the previous first release in 2008, the new one, PArthENoPE 2.0, will be soon publicly available and distributed from the code site, http://parthenope.na.infn.it. Apart from minor changes, which will be also detailed, the main improvements are as follows. The powerful, but not freely accessible, NAG routines have been substituted by ODEPACK libraries, without any significant loss in precision. Moreover, we have developed a Graphical User Interface (GUI) which allows a friendly use of the code and a simpler implemen…
Dark matter results from 225 live days of XENON100 data
2012
We report on a search for particle dark matter with the XENON100 experiment, operated at the Laboratori Nazionali del Gran Sasso (LNGS) for 13 months during 2011 and 2012. XENON100 features an ultra-low electromagnetic background of (5.3 \pm 0.6) \times 10^-3 events (kg day keVee)^-1 in the energy region of interest. A blind analysis of 224.6 live days \times 34 kg exposure has yielded no evidence for dark matter interactions. The two candidate events observed in the pre-defined nuclear recoil energy range of 6.6-30.5 keVnr are consistent with the background expectation of (1.0 \pm 0.2) events. A Profile Likelihood analysis using a 6.6-43.3 keVnr energy range sets the most stringent limit o…
Cost Reduction in Irrigation Networks by an Efficient Use of Pressure Reducing Valves
1992
The cost effective design of hydraulic networks has been traditionally studied from the point of view of the relationship between hydraulic variables and economic parameters, with piping being the main element studied. The reason is clear: the piping is by far the most costly item of a projected network. However it is not usual to find an explicit consideration of the influence that pipe thickness has on the cost of the network because of the added difficulty that this aspect poses to formulating the problem of optimization. In irrigation networks, which are typically branched, it is advisable to place Pressure Reducing Valves (PRV’s) to fulfil three main goals: 1) to control the flow rate …