Search results for "Format"

Perfect Hashing Structures for Parallel Similarity Searches

2015

International audience; Seed-based heuristics have proved to be efficient for studying similarity between genetic databases with billions of base pairs. This paper focuses on algorithms and data structures for the filtering phase in seed-based heuristics, with an emphasis on efficient parallel GPU/manycores implementa- tion. We propose a 2-stage index structure which is based on neighborhood indexing and perfect hashing techniques. This structure performs a filtering phase over the neighborhood regions around the seeds in constant time and avoid as much as possible random memory accesses and branch divergences. Moreover, it fits particularly well on parallel SIMD processors, because it requ…

Structure de la page WEB

2009

The concept of paratext appears to be useful to try to describe the structure of a complex Web page. This article will firstly tackle the meaning attributed to this concept by Gérard Genette. Secondly, by trying to spot and to name whatever is likely to appear simultaneously on the screen upon the display of a written document extracted from the Web, it will Webwise redefine the two components of the paratext, namely the epitext and the peritext. Their functions, their feasible meanings and their effects will then be analysed.

Parental Attitudes toward Videogames at School

2019

Despite research having highlighted the positive outcomes of the use of videogames to learn, their integration into school contexts remains rare. Literature recognizes the importance of user’s technology acceptance to predict the intention to use and the adoption of new technology in several settings. So far, investigations have primarily focused on students’ and teachers’ opinions, while only a few studies have considered the role of parents. This study aimed to investigate the role of the dimensions of the technology acceptance model on parental preference (254 Italian parents) for the adoption of videogames in primary or secondary schools. Results revealed that 71% of the variance of par…

Accompagnement de fin de vie en néonatologie : forums de discussion, reconnaissance de la parentalité et savoirs d'expérience

2019

International audience; Ce chapitre aborde la situation de poursuite de grossesse malgré un diagnostic anténatal défavorable à la vie du bébé. Certains parents ayant fait le choix d'un accompagnement de fin de vie se rendent sur des forums de discussion en ligne aussi bien pour partager leurs ressentis que pour compléter et mettre en perspective les informations fournies par les équipes soignantes. Le partage d'expériences dans le cadre de ce dispositif numérique participe à l'élaboration d'une double expertise, de nature relationnelle et biomédicale. La première a trait à la construction de la parentalité dans un contexte où les remises en cause de ce statut sont nombreuses. La deuxième se…

Revue Le Discours et la Langue

2014

International audience

La partecipazione digitale per una visione nuova delle città

2017

Le città sono da sempre state luogo di produzione e di relazioni sociali e territoriali. Non si può considerare la città semplicemente come un elemento fisico fine a se stesso. Oggi le città stanno attraversando processi repentini di cambiamento, esse diventano luogo di scambio e di fruizione di dati, creazione di reti tramite l’infrastruttura digitale e le tecnologie open source. I cittadini, per mezzo della digitalizzazione si riappropriano dello spazio urbano cambiando il modo di concepirlo e di viverlo quasi come se fosse un gioco. I processi partecipativi divengono sempre più frequenti, strettamente legati alle pratiche di pianificazione urbanistica e in molti casi devono obbligatoriam…

Les observatoires territoriaux communautaires

2008

International audience

Partial Information Decomposition of Brain-Heart Interactions in Temporal Lobe Epilepsy in the Childhood

We apply information decomposition methods to elicit unique, redundant and synergistic causal contributions of ipsilateral and contralateral EEG activity to heart rate dynamics in epileptic children. We find that information flows from brain to heart according to opposite lateralization effects for the delta and alpha rhythms, suggesting that different neuroautonomic mechanisms take place in the pre- and post-ictal phases of temporal lobe seizures.

Measuring the perceived value of rural tourism: a field survey in the western Sicilian agritourism sector

2016

Rural tourism constitutes a valuable tool for the sustainable development of many rural areas. This paper examines the concept of perceived value in rural tourism. A quantitative field survey was carried out in some main Western Sicilian holiday farms (agritourisms) during the Spring 2014. A theoretical model of the tourists’ perceived value in this specific context was developed and validated, using a 22-item scale. Using Partial Least Squares Path Modelling a theoretical structural model of the multidimensional structure of the RTPV was tested, assessing intensity and direction of the causal relationships among RTPV and its dimensions. Five dimensions were identified as forming the constr…

Partial-order reduction for parity games and parameterised Boolean equation systems

2022

AbstractIn model checking, reduction techniques can be helpful tools to fight the state-space explosion problem. Partial-order reduction (POR) is a well-known example, and many POR variants have been developed over the years. However, none of these can be used in the context of model checking stutter-sensitive temporal properties. We propose POR techniques for parity games, a well-established formalism for solving a variety of decision problems, including model checking. As a result, we obtain the first POR method that is sound for the full modal $$\upmu $$ μ -calculus. We show how our technique can be applied to the fixed point logic called parameterised Boolean equation systems, which pro…