Search results for "device"

Deciding properties of integral relational automata

1994

This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.

La hora de la evaluación ambulatoria [Recurso electrónico] = The time of ambulatory assessment /

2022

La evaluación ambulatoria aglutina un conjunto de métodos que permiten evaluar mediante dispositivos móviles, y en múltiples momentos temporales, el comportamiento de las personas en su entorno natural y contexto diario. Permite una evaluación más precisa, dinámica, contextual e ideográfica que los métodos clásicos, abriendo nuevos horizontes con claras implicaciones para el diagnóstico y la intervención psicológica. El objetivo de este trabajo es realizar una introducción a la evaluación ambulatoria. En primer lugar, se realiza una delimitación conceptual y se comentan las cuestiones que viene a solucionar y sus posibles beneficios. En segundo lugar, se exponen aspectos relacionados con la…

Scaffold and scaffold-free self-assembled systems in regenerative medicine.

2016

Self-assembly in tissue engineering refers to the spontaneous chemical or biological association of components to form a distinct functional construct, reminiscent of native tissue. Such self-assembled systems have been widely used to develop platforms for the delivery of therapeutic and/or bioactive molecules and various cell populations. Tissue morphology and functional characteristics have been recapitulated in several self-assembled constructs, designed to incorporate stimuli responsiveness and controlled architecture through spatial confinement or field manipulation. In parallel, owing to substantial functional properties, scaffold-free cell-assembled devices have aided in the developm…

Technological advancements in the analysis of human motion and posture management through digital devices

2021

Technological development of motion and posture analyses is rapidly progressing, especially in rehabilitation settings and sport biomechanics. Consequently, clear discrimination among different measurement systems is required to diversify their use as needed. This review aims to resume the currently used motion and posture analysis systems, clarify and suggest the appropriate approaches suitable for specific cases or contexts. The currently gold standard systems of motion analysis, widely used in clinical settings, present several limitations related to marker placement or long procedure time. Fully automated and markerless systems are overcoming these drawbacks for conducting biomechanical…

Multicast access control concept for xDSL-customers

2006

Multicast is a tempting possibility for many broad- band services. It makes possible to deliver one data-stream to several receivers simultaneously. IP-Multicast is based on an open group concept. This means that it is possible for all the users to join the group and thus receive the data. The open concept is also the main reason why multicast has not been taken in wider use. There is two different solution to solve this problem, group access control and multicast data encryption. Group access control mechanisms focuses on restricting the group membership at the users edge device. Traffic encryption scheme relies on end-to-end encryption, so a key management architecture is also needed. We …

2018

Smartphones and other mobile devices have fundamentally changed patterns of Internet use in everyday life by making online access constantly available. The present paper offers a theoretical explication and empirical assessment of the concept of online vigilance, referring to users' permanent cognitive orientation towards online content and communication as well as their disposition to exploit these options constantly. Based on four studies, a validated and reliable self-report measure of online vigilance was developed. In combination, the results suggest that the Online Vigilance Scale (OVS) shows a stable factor structure in various contexts and user populations and provides future work i…

Field-driven domain wall motion under a bias current in the creep andflow regimes in Pt/[CoSiB/Pt](N) nanowires

2016

AbstractThe dynamics of magnetic domain wall (DW) in perpendicular magnetic anisotropy Pt/[CoSiB/Pt]N nanowires was studied by measuring the DW velocity under a magnetic field (H) and an electric current (J) in two extreme regimes of DW creep and flow. Two important findings are addressed. One is that the field-driven DW velocity increases with increasing N in the flow regime, whereas the trend is inverted in the creep regime. The other is that the sign of spin current-induced effective field is gradually reversed with increasing N in both DW creep and flow regimes. To reveal the underlying mechanism of new findings, we performed further experiment and micromagnetic simulation, from which w…

Exploiting real-world data to monitor physical activity in patients with osteoarthritis: the opportunity of digital epidemiology.

2022

Osteoarthritis is a degenerative joint disease that affects millions of people worldwide. Current guidelines emphasize the importance of regular physical activity as a preventive measure against disease progression and as a valuable strategy for pain and functionality management. Despite this, most patients with osteoarthritis are inactive. Modern technological advances have led to the implementation of digital devices, such as wearables and smartphones, showing new opportunities for healthcare professionals and researchers to monitor physical activity and therefore engage patients in daily exercising. Additionally, digital devices have emerged as a promising tool for improving frequent hea…

Nebulization of pharmacological solutions with an innovative medical device based on microvaporization

2023

The currently available nebulization devices have a slow aerosol flow and produce vapor with large microdrops. Improved devices that achieve higher airflow and produce smaller microdrops are needed to improve the clinical care of patients. To address this critical need, we developed a novel system for the molecular vaporization of liquids. This device vaporizes an active pharma-cological substance dissolved in water, alcohol, or a mixture of water and alcohol using two energy sources at the same time: high-frequency ultrasound and thermal induction. Application of energy to a solution contained in the device's tank allows, within tens of seconds, for the vaporization of the solution itself,…

A. Balsamo: "Nuestra aproximación a la pedagogía ha de cambiar desde ser una centrada en el profesor hacia convertirse en otra más centrada en el est…

2010

Anne Balsamo is interviewed by @tic. revista d'innovacio educativa Editor, Paz Villar Hernandez