Search results for " Computer science"
showing 10 items of 3983 documents
The Syllogistic with Unity
2011
We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.
Tatouage des bases de données
2010
Database watermarking techniques allow for hiding information in a database, like a copyright mark. While watermarking methods are numerous in the multimedia setting, databases present various specificities. This work addresses some of them: how to watermark a numerical database while preserving the result of interesting aggregate queries, how to watermark a structured stream like a typed XML stream or a symbolic music score, how to watermark geographical data sets.
Investigating Novice Developers’ Code Commenting Trends Using Machine Learning Techniques
2023
Code comments are considered an efficient way to document the functionality of a particular block of code. Code commenting is a common practice among developers to explain the purpose of the code in order to improve code comprehension and readability. Researchers investigated the effect of code comments on software development tasks and demonstrated the use of comments in several ways, including maintenance, reusability, bug detection, etc. Given the importance of code comments, it becomes vital for novice developers to brush up on their code commenting skills. In this study, we initially investigated what types of comments novice students document in their source code and further categoriz…
Abonder une base EndNote avec un formulaire web et un courriel
2011
National audience; Cet article présente une façon originale d’abonder une base EndNote en limitant le nombre d’erreurs et les doubles saisies. Cette procédure permet d’utiliser un canal unique et d’avoir les informations utiles à leur exploitation. La saisie s’effectue via un formulaire disponible sur l’intranet de l’unité, les données sont intégrées dans un fichier XML et envoyées par courriel à la documentaliste avec éventuellement une pièce attachée pour intégration directe à la base avec la fonction import d’EndNote.
Toolbox for Distance Estimation and Cluster Validation on Data With Missing Values
2022
Missing data are unavoidable in the real-world application of unsupervised machine learning, and their nonoptimal processing may decrease the quality of data-driven models. Imputation is a common remedy for missing values, but directly estimating expected distances have also emerged. Because treatment of missing values is rarely considered in clustering related tasks and distance metrics have a central role both in clustering and cluster validation, we developed a new toolbox that provides a wide range of algorithms for data preprocessing, distance estimation, clustering, and cluster validation in the presence of missing values. All these are core elements in any comprehensive cluster analy…
Motivic Pattern Extraction in Music, and Application to the Study of Tunisian Modal Music
2007
A new methodology for automated extraction of repeated patterns in time-series data is presented, aimed in particular at the analysis of musical sequences. The basic principles consists in a search for closed patterns in a multi-dimensional parametric space. It is shown that this basic mechanism needs to be articulated with a periodic pattern discovery system, implying therefore a strict chronological scanning of the time-series data. Thanks to this modelling global pattern filtering may be avoided and rich and highly pertinent results can be obtained. The modelling has been integrated in a collaborative pro ject between ethnomusicology, cognitive sciences and computer science, aimed at the…
A Review of Biosensors for Non-Invasive Diabetes Monitoring and Screening in Human Exhaled Breath
2019
Exhaled breath acetone has been identified as a diabetes biomarker for non-invasive diagnosis. Its detection using biosensors features has many advantages over the conventional means. This paper reviews the recent literature on the detection of exhaled breath acetone and acetone vapor of diabetic interest. The biosensors have been classified based on their transduction methods. The performance characteristics of the biosensors have been explored for comparison. The future trends are also highlighted.
Optical tomography from focus
2007
A model and a method providing a 3D reconstruction of a given translucent object from a series of image acquisitions performed with various focus tunings is proposed. The object is imaged by transmission; refraction, reflection and diffusion effects are neglected. It is modeled as a stack of translucent parallel slices and the acquisition process can be described by a set of linear equations. We propose an efficient inversion technique with O(n) complexity, allowing practical applications with a simple laptop computer in a very reasonable time. Examples of results obtained with a simulated 3D translucent object are presented and discussed.
An automatic method for metabolic evaluation of gamma knife treatments
2015
Lesion volume delineation of Positron Emission Tomography images is challenging because of the low spatial resolution and high noise level. Aim of this work is the development of an operator independent segmentation method of metabolic images. For this purpose, an algorithm for the biological tumor volume delineation based on random walks on graphs has been used. Twenty-four cerebral tumors are segmented to evaluate the functional follow-up after Gamma Knife radiotherapy treatment. Experimental results show that the segmentation algorithm is accurate and has real-time performance. In addition, it can reflect metabolic changes useful to evaluate radiotherapy response in treated patients.
On the Use of XML in Medical Imaging Web-Based Applications
2016
The rapid growth of digital technology in medical fields over recent years has increased the need for applications able to manage patient medical records, imaging data, and chart information. Web-based applications are implemented with the purpose to link digital databases, storage and transmission protocols, management of large volumes of data and security concepts, allowing the possibility to read, analyze, and even diagnose remotely from the medical center where the information was acquired. The objective of this paper is to analyze the use of the Extensible Markup Language (XML) language in web-based applications that aid in diagnosis or treatment of patients, considering how this proto…