Search results for "Parallelism"
showing 10 items of 44 documents
Ein Axiomensystem f�r partielle affine R�ume
1994
A partial linear space with parallelism is called partial affine space if it is embeddable in an affine space with the same pointset preserving the parallelism. These partial affine spaces will be characterized by a system of three axioms for partial linear spaces with parallelism.
Quantum Queries on Permutations
2015
K. Iwama and R. Freivalds considered query algorithms where the black box contains a permutation. Since then several authors have compared quantum and deterministic query algorithms for permutations. It turns out that the case of \(n\)-permutations where \(n\) is an odd number is difficult. There was no example of a permutation problem where quantization can save half of the queries for \((2m+1)\)-permutations if \(m\ge 2\). Even for \((2m)\)-permutations with \(m\ge 2\), the best proved advantage of quantum query algorithms is the result by Iwama/Freivalds where the quantum query complexity is \(m\) but the deterministic query complexity is \((2m-1)\). We present a group of \(5\)-permutati…
Les Expressions Figées des Verbes Ser et Estar Suivies de Prép X
1996
The present work is based on the methodological setting of the LADL studies. In order to establish the body subject to analysis, we selected only the fixed phrases N0 ser/estar Prep X. In this way, we have collected 1138 expressions involving estar Prep X, and 534 with ser Prep X. In order to classify these expressions, we have grouped them according to the number and form of their complements. As to the part pertaining to semantics, the alphabetical indices have allowed us to establish that, concerning ser and estar, all the formal schemes exists for both Spanish and french, at least under the form of fixed expressions. As to the part concerning translation, we have attempted to mesure the…
THE HOUSE THAT IS NOT THERE: THE HOME FEELING IN JONATHAN RABAN’S LANGUAGE IN FOREIGN LAND
2021
This work aims to analyse the novel of the journalist and novelist Jonathan Raban, Foreign Land, trying to highlight how, through the language used, the author manages to elaborate a personal, intimate and even dramatic vision of themes such as the relationship between man and the environment, the sense of uprooting and the love for the sea that are typical themes of travel literature within which this novel is enrolled. More specifically, the text, taken from a work of reading analysis and translation of the Rabanian work from English to Italian, aims to highlight the metaphorical dimension of the home feeling made particularly effective by the parallelism between the inner dimension of th…
One, Two, Three,…, Infinity
1999
As concluding remarks to the European Few-Body Conference, the author presents a parallelism between the Few-Body and the Many-Body theories along the last years.
GAPPCO: An Easy to Configure Geometric Algebra Coprocessor Based on GAPP Programs
2017
Because of the high numeric complexity of Geometric Algebra, its use in engineering applications relies heavily on tools and devices for efficient implementations. In this article, we present a novel hardware design for a Geometric Algebra coprocessor, called GAPPCO, which is based on Geometric Algebra Parallelism Programs (GAPP). GAPPCO is a design for a coprocessor combining the advantages of optimizing software with a configurable hardware able to implement arbitrary Geometric Algebra algorithms. The idea is to have a fixed hardware easily and fast to be configured for different algorithms. We describe the new hardware design together with the complete tool chain for its configuration.
CUSHAW2-GPU: Empowering Faster Gapped Short-Read Alignment Using GPU Computing
2014
We present CUSHAW2-GPU to accelerate the CUSHAW2 algorithm using compute unified device architecture (CUDA)-enabled GPUs. Two critical GPU computing techniques, namely intertask hybrid CPU-GPU parallelism and tile-based Smith-Waterman map backtracking using CUDA, are investigated to facilitate fast alignments. By aligning both simulated and real reads to the human genome, our aligner yields comparable or better performance compared to BWA-SW, Bowtie2, and GEM. Furthermore, CUSHAW2-GPU with a Tesla K20c GPU achieves significant speedups over the multithreaded CUSHAW2, BWA-SW, Bowtie2, and GEM on the 12 cores of a high-end CPU for both single-end and paired-end alignment.
The Jurassic ammonite Coelocerus: an atypical example of dimorphic progenesis elucidated by cladistics
1994
Instances of convergence or parallelism among unrelated Lower Carixian ammonites are not uncommon. The case of polymorphitid-like ammonites is considered here, and the example of Coeloceras is investigated in detail. The small sexual dimorph (microconch) of Coeloceras pettos (Quensitedt) (Coeloceratidae), a progenetic species, provides a remarkable example of complex convergence with the microconch of Uptonia (Polymorphitidae). Homeomorphic morphology is here an amalgam of juvenile traits, of maturation-related transformations, and of completely new features bearing no obvious relation with either progenesis or maturation. A stratophenetic approach is hardly adequate for unravelling such an…
And Now for Something Completely Different: Running Lisp on GPUs
2018
The internal parallelism of compute resources increases permanently, and graphics processing units (GPUs) and other accelerators have been gaining importance in many domains. Researchers from life science, bioinformatics or artificial intelligence, for example, use GPUs to accelerate their computations. However, languages typically used in some of these disciplines often do not benefit from the technical developments because they cannot be executed natively on GPUs. Instead existing programs must be rewritten in other, less dynamic programming languages. On the other hand, the gap in programming features between accelerators and common CPUs shrinks permanently. Since accelerators are becomi…
Reflections towards a generative theory of musical parallelism
2010
Parallelism plays a core role in Lerdahl and Jackendoff's (1983) GTTM, as it rules the emergence of motivic, metrical, grouping and even formal structures. Due to the high amount of detail and complexity characterising associational structures, neither explicit model nor systematic methodology of parallelism-based structural inference has been included into the GTTM. This paper develops a methodological and computational answer to this problem founded on a computational modelling of pattern extraction operations. The paper focuses in particular on the methodological interest of the pattern mining formalism, and in particular its application to the formalisation of grouping and metrical str…