Search results for "sively"
showing 10 items of 40 documents
Enumerable classes of total recursive functions: Complexity of inductive inference
1994
This paper includes some results on complexity of inductive inference for enumerable classes of total recursive functions, where enumeration is considered in more general meaning than usual recursive enumeration. The complexity is measured as the worst-case mindchange (error) number for the first n functions of the given class. Three generalizations are considered.
Live demonstration: multiplexing AER asynchronous channels over LVDS Links with Flow-Control and Clock-Correction for Scalable Neuromorphic Systems
2017
Paper presented at the 2017 IEEE International Symposium on Circuits and Systems (ISCAS), held in Baltimore, MD, USA, on 28-31 May 2017.
MULTI AXIAL TESTING OF ADHESIVELY BONDEDJOINTS OF FIBER REINFORCED THERMOPLASTIC POLYMERS
2015
International audience; In order to predict the mechanical behaviorof adhesively bonded joints, it is necessary to develop robust numerical models.This robustness is only reached if an extensive experimental database with tensile, shear and complex combined peel and shear loads can beestablished. The purpose of this study is to present a multi axialdevice for testing adhesively bonded joints, using KS2-type specimens traditionally utilized for spot-weld characterization. The tests were conducted on a glass fiber reinforced thermoplastic polymer(PA6-6) composite adhesively bonded with a flexible polyurethane adhesive. This adhesive/substrate combination allowsshort process times and good per…
LARGE-SCALE SIMULATIONS IN CONDENSED MATTER PHYSICS —THE NEED FOR A TERAFLOP COMPUTER
1992
The introduction of vector processors {“supercomputers” with a performance in the range of 109 floating point operations (1 GFLOP) per second} has had an enormous impact on computational condensed matter physics. The possibility of a substantially enhanced performance by massively parallel processors (“teraflop” machines with 1012 floating point operations per second) will allow satisfactory treatment of a large range of important scientific problems which have to a great extent thus far escaped numerical resolution. The present paper describes only a few examples (out of a long list of interesting research problems!) for which the availability of “teraflops” will allow spectacular progres…
Are moxifloxacin and levofloxacin equally effective to treat XDR tuberculosis?
2017
International audience; Background: Moxifloxacin retains partial activity against some fluoroquinolone-resistant mutants of Mycobacterium tuberculosis. Levofloxacin is presumed to be as active as moxifloxacin against drug-susceptible tuberculosis and to have a better safety profile.Objectives: To compare the in vivo activity of levofloxacin and moxifloxacin against M. tuberculosis strains with various levels of fluoroquinolone resistance.Methods: BALB/c mice were intravenously infected with 106M. tuberculosis H37Rv and three isogenic mutants: GyrA A90V, GyrB E540A and GyrB A543V. Treatment with 50 or 100 mg/kg levofloxacin and 60 or 66 mg/kg moxifloxacin was given orally every 6 h, for 4 we…
Optimizing Query Perturbations to Enhance Shape Retrieval
2020
3D Shape retrieval algorithms use shape descriptors to identify shapes in a database that are the most similar to a given key shape, called the query. Many shape descriptors are known but none is perfect. Therefore, the common approach in building 3D Shape retrieval tools is to combine several descriptors with some fusion rule. This article proposes an orthogonal approach. The query is improved with a Genetic Algorithm. The latter makes evolve a population of perturbed copies of the query, called clones. The best clone is the closest to its closest shapes in the database, for a given shape descriptor. Experimental results show that improving the query also improves the precision and complet…
Co-learnability and FIN-identifiability of enumerable classes of total recursive functions
1994
Co-learnability is an inference process where instead of producing the final result, the strategy produces all the natural numbers but one, and the omitted number is an encoding of the correct result. It has been proved in [1] that co-learnability of Goedel numbers is equivalent to EX-identifiability. We consider co-learnability of indices in recursively enumerable (r.e.) numberings. The power of co-learnability depends on the numberings used. Every r.e. class of total recursive functions is co-learnable in some r.e. numbering. FIN-identifiable classes are co-learnable in all r.e. numberings, and classes containing a function being accumulation point are not co-learnable in some r.e. number…
Multi-GPU Accelerated Multi-Spin Monte Carlo Simulations of the 2D Ising Model
2010
A Modern Graphics Processing unit (GPU) is able to perform massively parallel scientific computations at low cost. We extend our implementation of the checkerboard algorithm for the two-dimensional Ising model [T. Preis et al., Journal of Chemical Physics 228 (2009) 4468–4477] in order to overcome the memory limitations of a single GPU which enables us to simulate significantly larger systems. Using multi-spin coding techniques, we are able to accelerate simulations on a single GPU by factors up to 35 compared to an optimized single Central Processor Unit (CPU) core implementation which employs multi-spin coding. By combining the Compute Unified Device Architecture (CUDA) with the Message P…
De participació local. Una proposta metodològica desde la investigació-acció-participativa
2018
Citizen participation is an increasingly prevalent term in our society. In the process of deployment in the municipal area, progressively local corporations make efforts to innovate practices and develop experiences of citizen participation in defining policies and public affairs, and allocating budgets. While innovation has been advanced with regard to the tools and mechanisms to be used to promote participation, many of the initiatives and experiences have focused more on the implementation of the vote than in the different social processes inherent in the participation. Moreover, we are faced with the absence of a methodological guide that allows approaching a project or strategic plan o…
Massively parallel computation of atmospheric neutrino oscillations on CUDA-enabled accelerators
2019
Abstract The computation of neutrino flavor transition amplitudes through inhomogeneous matter is a time-consuming step and thus could benefit from optimization and parallelization. Next to reliable parameter estimation of intrinsic physical quantities such as neutrino masses and mixing angles, these transition amplitudes are important in hypothesis testing of potential extensions of the standard model of elementary particle physics, such as additional neutrino flavors. Hence, fast yet precise implementations are of high importance to research. In the recent past, massively parallel accelerators such as CUDA-enabled GPUs featuring thousands of compute units have been widely adopted due to t…