Search results for "Computer science"
showing 10 items of 22367 documents
"Last Signification Bits" Method for Watermarking of Medical Image
2011
International audience; In this paper, we present a new approach for watermarking of medical image that we are trying to adapt to telemedicine. This approach is intended to insert a set of data in a medical image. These data should be imperceptible and robust to various attacks. It's containing the signature of the original image, the data specific to the patient and his diagnostic. The purpose of the watermarking method is to check the integrity and preservation of the confidentiality of patient data in a network sharing. This approach is based on the use the LSB (least significant bits) of the image and tools borrowed from cryptography.
Indistinguishability of Elementary Systems as a Resource for Quantum Information Processing.
2017
Typical elements of quantum networks are made by identical systems, which are the basic particles constituting a resource for quantum information processing. Whether the indistinguishability due to particle identity is an exploitable quantum resource remains an open issue. Here we study independently prepared identical particles showing that, when they spatially overlap, an operational entanglement exists which can be made manifest by means of separated localized measurements. We prove this entanglement is physical in that it can be directly exploited to activate quantum information protocols, such as teleportation. These results establish that particle indistinguishability is a utilizable …
Performance of Lead-Acid Batteries with Nanostructured Electrodes at Different Temperature
2018
In this work we present innovative lead-acid batteries with nanostructured electrodes, which are cycled in a wide range of temperatures typically of lead-acid commercial batteries (EN 61427-1: 2013). In comparison to parameters usually used to commercial batteries, much more stressful conditions in terms of cut-off, charge/discharge rate and discharge were imposed.
High-Performance Lead-Acid Batteries Enabled by Pb and PbO2 Nanostructured Electrodes: Effect of Operating Temperature
2021
Lead-acid batteries are now widely used for energy storage, as result of an established and reliable technology. In the last decade, several studies have been carried out to improve the performance of this type of batteries, with the main objective to replace the conventional plates with innovative electrodes with improved stability, increased capacity and a larger active surface. Such studies ultimately aim to improve the kinetics of electrochemical conversion reactions at the electrode-solution interface and to guarantee a good electrical continuity during the repeated charge/discharge cycles. To achieve these objectives, our contribution focuses on the employment of nanostructured electr…
On Temporal Aspects in Cross-Cultural e-Collaboration Between Finland and Japan Research Teams
2018
Time is an essential dimension in cross-cultural e-collaboration among research project teams. Understanding temporal aspects and project dynamics in cross-cultural research e-collaboration and related processes can improve team members' skills in cross-cultural communication and increase their cultural competence. The present case cultures are Finnish and Japanese, and the case universities are the University of Jyväskylä (Finland) and Keio University (Japan). Three issues are addressed in this article. First, cultural dimensions and time models in the cross-cultural e-collaboration context are discussed. Second, temporal aspects related to e-collaboration activities are introduced. Third,…
Deriving electrophysiological brain network connectivity via tensor component analysis during freely listening to music
2020
Recent studies show that the dynamics of electrophysiological functional connectivity is attracting more and more interest since it is considered as a better representation of functional brain networks than static network analysis. It is believed that the dynamic electrophysiological brain networks with specific frequency modes, transiently form and dissolve to support ongoing cognitive function during continuous task performance. Here, we propose a novel method based on tensor component analysis (TCA), to characterize the spatial, temporal, and spectral signatures of dynamic electrophysiological brain networks in electroencephalography (EEG) data recorded during free music-listening. A thr…
The Tucker tensor decomposition for data analysis: capabilities and advantages
2022
Tensors are powerful multi-dimensional mathematical objects, that easily embed various data models such as relational, graph, time series, etc. Furthermore, tensor decomposition operators are of great utility to reveal hidden patterns and complex relationships in data. In this article, we propose to study the analytical capabilities of the Tucker decomposition, as well as the differences brought by its major algorithms. We demonstrate these differences through practical examples on several datasets having a ground truth. It is a preliminary work to add the Tucker decomposition to the Tensor Data Model, a model aiming to make tensors data-centric, and to optimize operators in order to enable…
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
2023
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …
The role of age and digital competence on the use of online health and social care services: A cross-sectional population-based survey
2022
Objective Online health and social care services are getting widespread which increases the risk that less advantaged groups may not be able to access these services resulting in digital exclusion. We examined the combined effects of age and digital competence on the use of online health and social care services. Methods We used a large representative population-based sample of 4495 respondents from Finland. Paper-based self-assessment questionnaire with an online response option was mailed to participants. The associations were analyzed using survey weighted logistic regression, exploring potential non-linear effects of age and controlling for potential sex differences. Results Higher age,…
Navigation Performance Evaluation for AutomaticGuided Vehicles
2015
International audience; —Automatic guided vehicles (AGVs), an industrial form of a mobile robot,typically navigate using a central computer commanding AGV movement on predefined paths. How well they follow these paths is not well-defined in research articles and their performance is reported in non-standard manufacturer specifications. Furthermore, AGV technology is advancing towards vision guidance to map and localize their position from onboard the vehicle, whereas performance evaluation of advanced navigation techniques is just beginning. This paper describes AGV experiments using ground truth measurement comparisonfor performance evaluationof AGV navigation. A generic test procedure and…