Search results for "Computer Science Applications"
showing 10 items of 3993 documents
New developments in simulation-based harbour crane training
2011
This paper presents the efforts that have been made during the development of a set of harbour training simulators to improve their quality. The paper focuses on two main research lines: the improvement of complex physical systems involved in the simulation and the analysis of hardware architecture solutions. Cable-based hoist systems and bulk materials are systems present in different harbour equipment and are usually simulated with poor quality due to their complexity. In this paper physics-based models for the interactive simulation of these systems are proposed and applied to real cases. Also, different hardware simulator architectures are analysed and different approaches are proposed …
Hypervisor memory acquisition for ARM
2021
Abstract Cyber forensics use memory acquisition in advanced forensics and malware analysis. We propose a hypervisor based memory acquisition tool. Our implementation extends the volatility memory forensics framework by reducing the processor's consumption, solves the in-coherency problem in the memory snapshots and mitigates the pressure of the acquisition on the network and the disk. We provide benchmarks and evaluation.
Interculturalidad y nuevas tecnologías en la clase de música de Educación Secundaria
2013
0 0 1 140 775 USAL 6 1 914 14.0 Normal 0 21 false false false ES JA X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabla normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin-top:0cm; mso-para-margin-right:0cm; mso-para-margin-bottom:10.0pt; mso-para-margin-left:0cm; line-height:115%; mso-pagination:widow-orphan; font-size:11.0pt; font-family:Calibri; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-ansi-language:ES; mso-fareast-language:EN-US;} Educational le…
A First-Principles Study of the Ag/a-Al2O3(0001) Interface
2001
Ab initio simulations of the Ag/a-Al2O3(0001) interface have been performed for periodic slab models. We have considered Al- and O-terminated corundum surfaces, low and high substrate coverages by silver, as well as the two preferred Ag adsorption sites. The two different terminations give rise to qualitatively different results: silver physisorption on the Al-terminated substrate and chemisorption on O-terminated one. The latter could be treated as a possible model for the defective Al-terminated substrate, where the outermost aluminium ions are removed (completely or partly). This makes O-terminated surface highly reactive towards a deposited metal, in order to restore initial corundum st…
Automating HAZOP analysis of batch processes
1999
Abstract A support system for the hazard and operabilty studies of batch processes is presented. The search of causes and consequences is automatically performed using similar qualitative models, in form of logic minitrees, for the phases of the operation procedure and the equipment units. More models are considered for the equipment units, one for each subtask in wich they are involved. The search algorithm is integrated by rules for subdividing the plant to be analysed in nodes.
A preliminary investigation assessing the basic digital capabilities of minimally verbal children on the autism spectrum with intellectual disability
2020
Purpose Children with Autism Spectrum Disorder (ASD) can demonstrate a preference for using digital technologies which can represent a relative strength within the autism community. Such a strength would have implications for digitally mediated interventions and support for autism. However, research to date has not developed a methodology for assessing the capabilities of minimally verbal children on the autism spectrum with intellectual disability (ID) to use digital technology. Design/methodology/approach Six minimally verbal children with ASD and ID undertook an accessible assessment that identified what capabilities for interacting with a digital tablet device they could and could not …
Who is responsible for interventions against problematic comments? Comparing user attitudes in Germany and the United States
2021
Doctoral: A smartphone-based decision support tool for the early detection of oral potentially malignant disorders
2023
Oral potentially malignant disorders can be defined as mucosal lesions and conditions with an increased risk of malignant transformation. Oral potentially malignant disorders are a significant health burden, and they are often diagnosed late due to scant attention to routine dental practice and the low number of specialized oral medicine centres. This report summarizes the DoctOral experience, a research initiative, providing a free smartphone-based decision support tool for the general medical/dental practitioner; the tool is based on the clinical appearance of oral lesions. Captured, oral pictures can be immediately examined via interactive decision trees and constructed on the smartphon…
Quantifying multidimensional control mechanisms of cardiovascular dynamics during multiple concurrent stressors
2021
Heartbeat regulation is achieved through different routes originating from central autonomic network sources, as well as peripheral control mechanisms. While previous studies successfully characterized cardiovascular regulatory mechanisms during a single stressor, to the best of our knowledge, a combination of multiple concurrent elicitations leading to the activation of different autonomic regulatory routes has not been investigated yet. Therefore, in this study, we propose a novel modeling framework for the quantification of heartbeat regulatory mechanisms driven by different neural routes. The framework is evaluated using two heartbeat datasets gathered from healthy subjects undergoing p…
SIMULATING SPIN MODELS ON GPU: A TOUR
2012
The use of graphics processing units (GPUs) in scientific computing has gathered considerable momentum in the past five years. While GPUs in general promise high performance and excellent performance per Watt ratios, not every class of problems is equally well suitable for exploiting the massively parallel architecture they provide. Lattice spin models appear to be prototypic examples of problems suitable for this architecture, at least as long as local update algorithms are employed. In this review, I summarize our recent experience with the simulation of a wide range of spin models on GPU employing an equally wide range of update algorithms, ranging from Metropolis and heat bath updates,…