INFuture2017 - Integrating ICT in Society
International audience
End-to-End Translation Validation for the Halide Language
This paper considers the correctness of domain-specific compilers for tensor programming languages through the study of Halide, a popular representative. It describes a translation validation algorithm for affine Halide specifications, independently of the scheduling language. The algorithm relies on "propheticž annotations added by the compiler to...
Association between FIASMA psychotropic medications and reduced risk of intubation or death in individuals with psychiat...
...
Published in Translational Psychiatry
The acid sphingomyelinase (ASM)/ceramide system may provide a useful framework for better understanding SARS-CoV-2 infection and the repurposing of psychotropic medications functionally inhibiting the acid sphingomyelinase/ceramide system (named FIASMA psychotropic medications) against COVID-19. We examined the potential usefulness of FIASMA psycho...
Extraction et analyse de concepts médicaux dans un corpus de spécialité en orthophonie
Nous présentons dans cette étude une approche hybride pour l'extraction d’entités médicales dans des textes, combinant l'utilisation de connaissances spécialisées et l'adaptation de modèles de langues. Cette extraction automatique est appliquée sur un corpus spécialisé en orthophonie et complétée par une analyse de la structure syntaxico-sémantique...
A combinatorial link between Erdös-Renyi graphs and increasingly labelled Schröder trees
In this paper we study a model of Schröder trees whose labelling is increasing along the branches. Such tree family is useful in the context of phylogenetic. The tree nodes are of arbitrary arity (i.e. out-degree) and the node labels can be repeated throughout different branches of the tree. Once a formal construction of the trees is formalized, we...
LIFT-TAL 2022 Actes des journées jointes des Groupements de Recherche Linguistique Informatique, Formelle et de Terrain ...
Pour la première fois, les Groupements de Recherche LIFT (Linguistique Informatique, For-melle et de Terrain) et TAL (Traitement Automatique des Langues) organisent des journéesscientifiques communes. L’objectif de ces journées est de favoriser les discussions autour desthématiques complémentaires de ces deux GdR. Deux thèmes spécifiques sont mis e...
Nomes predicativos e construções neutras
International audience
Citation Context Classification: Critical vs Non-critical
Recently, there have been numerous research in Natural Language Processing on citation analysis in scientific literature. Studies of citation behavior aim at finding how researchers cited a paper in their work. In this paper, we are interested in identifying cited papers that are criticized. Recent research introduces the concept of Critical citati...
Transcripción automática del impreso antiguo / Transcripción automática del impreso antiguo: de la imagen al machine rea...
Con el objetivo de acercar al Seminario de Estudios sobre el Renacimiento a las técnicas de transcripción asistida por computadora, se decidió organizar este seminario teórico-práctico. En el que se abordaron cuestiones propias de la transcripción de del impreso antiguo Castellano, Basado en la obra de Juan de Cazalla, Lumbre del Alma, en su edició...
SPPAS - the automatic annotation and analysis of speech (version 2.7)
SPPAS is a robust and reliable software for the automatic annotation, for the analyses of annotated-data and to convert annotated files. As the primary functionality, SPPAS proposes a set of automatic or semi-automatic annotations of recordings: Momel: modelling melody INTSINT: Intonation Search for IPUs: speech/silence segmentation Fill in IPUs: s...
