Search results for "computing"
showing 10 items of 25279 documents
About Vertex Mappings
2019
Summary In [6] partial graph mappings were formalized in the Mizar system [3]. Such mappings map some vertices and edges of a graph to another while preserving adjacency. While this general approach is appropriate for the general form of (multidi)graphs as introduced in [7], a more specialized version for graphs without parallel edges seems convenient. As such, partial vertex mappings preserving adjacency between the mapped verticed are formalized here.
Using 2-colorings in the theory of uniquely Hamiltonian graphs
2019
We use the concept of 2-coloring in analyzing UH3 graphs and building exact specifications of functions to find new UH3 graphs by Hamiltonian cycle edge extractions
Graphes des migrations alternantes et analyses des espaces urbains français et suisses
2008
National audience
CUDA-BLASTP: Accelerating BLASTP on CUDA-enabled graphics hardware
2011
Scanning protein sequence database is an often repeated task in computational biology and bioinformatics. However, scanning large protein databases, such as GenBank, with popular tools such as BLASTP requires long runtimes on sequential architectures. Due to the continuing rapid growth of sequence databases, there is a high demand to accelerate this task. In this paper, we demonstrate how GPUs, powered by the Compute Unified Device Architecture (CUDA), can be used as an efficient computational platform to accelerate the BLASTP algorithm. In order to exploit the GPU's capabilities for accelerating BLASTP, we have used a compressed deterministic finite state automaton for hit detection as wel…
An efficient grid-based RF fingerprint positioning algorithm for user location estimation in heterogeneous small cell networks
2014
This paper proposes a novel technique to enhance the performance of grid-based Radio Frequency (RF) fingerprint position estimation framework. First enhancement is an introduction of two overlapping grids of training signatures. As the second enhancement, the location of the testing signature is estimated to be a weighted geometric center of a set of nearest grid units whereas in a traditional grid-based RF fingerprinting only the center point of the nearest grid unit is used for determining the user location. By using the weighting-based location estimation, the accuracy of the location estimation can be improved. The performance evaluation of the enhanced RF fingerprinting algorithm was c…
Dynamisme et espaces culturels. De la notion de mobilité au sein des populations du Bronze moyen à l'étape initiale du Bronze final en France orienta…
2004
International audience
La mobilisation des associations catégorielles dans l’organisation des groupes professionnels des forestiers et des soignants de soins palliatifs
2015
Les associations categorielles sont, sur nos terrains, essentielles dans l’apparition et le maintien d’un groupe professionnel. Elles vont mettre en œuvre une entreprise de morale, visant a instituer l’espace specifique d’intervention du groupe comme etant d’interet public. Ce travail, qui vise a faire des professionnels les seuls intervenants legitimes, se fonde sur une entreprise de traduction des interets des professionnels et de ceux qui font appel a leurs services : il s’agit ici de montrer que les differents interets des uns et des autres ne sont pas contradictoires. Si l’entreprise de morale porte ses fruits, le nouveau segment/groupe professionnel nait et un monde professionnel peut…
Évolutions des dispositifs de prise en charge de l’IVG et reconfigurations de l’expertise médicale en matière d’orthogénie
2020
International audience
Laisser aller le progrès qu'on ne peut éviter. Léon de Seilhac, la grève d'Hazebrouck et la question des machines (1908-1909)
2017
International audience
La narrativa de Rafael Chirbes frente al boom de la memoria: un "lugar de resistencia"
2018
International audience