The Experts below are selected from a list of 210 Experts worldwide ranked by ideXlab platform
Timothy G. Mattson - One of the best experts on this subject based on the ideXlab platform.
-
CGO - Super-Node SLP: optimized vectorization for code sequences containing operators and their Inverse Elements
2019 IEEE ACM International Symposium on Code Generation and Optimization (CGO), 2019Co-Authors: Vasileios Porpodas, Rodrigo C. O. Rocha, Evgueni Brevnov, Luís F. W. Góes, Timothy G. MattsonAbstract:SLP Auto-vectorization converts straight-line code into vector code. It scans input code for groups of instructions that can be combined into vectors and replaces them with their corresponding vector instructions. This work introduces Super-Node SLP (SN-SLP), a new SLP-style algorithm, optimized for expressions that include a commutative operator (such as addition) and its corresponding Inverse Element (subtraction).SN-SLP uses the algebraic properties of commutative operators and their Inverse Elements to enable additional transformations that extend auto-vectorization to cases difficult for state-of-the-art auto-vectorizing compilers. We implemented SN-SLP in LLVM. Our evaluation on a real system demonstrates considerable performance improvements of benchmark code with no significant change in compilation time.
Sri Nita - One of the best experts on this subject based on the ideXlab platform.
-
Students' Errors in Learning Elementary Group Theory: A Case Study of Mathematics Students at Andalas University
Universal Journal of Educational Research, 2019Co-Authors: Yerizon, I Made Arnawa, Yanita, Bukti Ginting, Sri NitaAbstract:This paper will discuss level of conceptual understanding of 18 mathematics students in learning Elementary group theory during abstract algebra course 2016-2017 academic year at Andalas University. Participants were asked to answer three proof tests in relation to group theory. Students' solutions to the proof test were taken as the key source of data used to: (i) classify students to one of the four levels of conceptual understanding and (ii) analyze students errors in learning Elementary group theory. One student for each level was interviewed to provide additional information about common students' errors on the proof task and to aid the process of understanding the underlying cause of these errors. The finding shows that: (1) Students' achievement in proof task is still problematic; (2) Most students have difficulties in verifying the existence of identity and Inverse Element; (3) Factors that contribute to errors in proof task are: lack of conceptual understanding and that student treated binary operations on a group as a binary operations on real numbers.
Katarina Kovac - One of the best experts on this subject based on the ideXlab platform.
-
Correction of ADC errors by additive iterative method with dithering
Measurement Science Review, 2011Co-Authors: Martin Kamenský, Katarina KovacAbstract:The iterative method could be used for automatic accuracy improvement of a measurement system. In its application for analog-to-digital converter (ADC) a quantization error represents a limitation for the correction process. Therefore, combination of correction methods is common for ADC error correction. Combination of the additive iterative method (AIM) with nonsubtractive dithering (ND) has been proposed for slow measurement based on ADC where errors could change in time. The principle of combination of both techniques is described in the paper. AIM is based on precise Inverse Element (IE). In the designed system the IE output signal is created by pulse width modulation and low-pass filtering. A technique similar to deterministic dithering is employed to achieve precise processing of signal from IE. Analysis of influence of stochastic dither upon the results of correction is performed with the aim to find optimal parameters of ND. Finally, dependency of the root mean squared error and error dispersion on the measured value is drawn to show how AIM corrects the nonlinear deterministic error but slightly increases system noise.
Kiyoshi Oguri - One of the best experts on this subject based on the ideXlab platform.
-
Implementation of the extended euclidean algorithm for the Tate pairing on FPGA
Lecture Notes in Computer Science, 2004Co-Authors: Takehiro Ito, Yuichiro Shibata, Kiyoshi OguriAbstract:The Tate pairing is a mapping which has good functionality for constructing elliptic cryptosystems, while its computation is a hard task. Especially, calculation of an Inverse Element using the extended Euclidean algorithm over a finite field Fp tends to be a bottleneck. In this paper, several kinds of implementation of the extended Euclidean algorithm on an FPGA are shown and compared. Effects of introducing Montgomery multiplication methods are also analyzed.
-
FPL - Implementation of the Extended Euclidean Algorithm for the Tate Pairing on FPGA
Field Programmable Logic and Application, 2004Co-Authors: Takehiro Ito, Yuichiro Shibata, Kiyoshi OguriAbstract:The Tate pairing is a mapping which has good functionality for constructing elliptic cryptosystems, while its computation is a hard task. Especially, calculation of an Inverse Element using the extended Euclidean algorithm over a finite field \({\Bbb F}_p\) tends to be a bottleneck. In this paper, several kinds of implementation of the extended Euclidean algorithm on an FPGA are shown and compared. Effects of introducing Montgomery multiplication methods are also analyzed.
Alexander Tessler - One of the best experts on this subject based on the ideXlab platform.
-
An Inverse finite Element method for beam shape sensing: theoretical framework and experimental validation
Smart Materials and Structures, 2014Co-Authors: Marco Gherlone, Priscilla Cerracchio, Massimiliano Corrado Mattone, Marco Di Sciuva, Alexander TesslerAbstract:Shape sensing, i.e., reconstruction of the displacement field of a structure from surface-measured strains, has relevant implications for the monitoring, control and actuation of smart structures. The Inverse finite Element method (iFEM) is a shape-sensing methodology shown to be fast, accurate and robust. This paper aims to demonstrate that the recently presented iFEM for beam and frame structures is reliable when experimentally measured strains are used as input data.The theoretical framework of the methodology is first reviewed. Timoshenko beam theory is adopted, including stretching, bending, transverse shear and torsion deformation modes. The variational statement and its discretization with C0-continuous Inverse Elements are briefly recalled. The three-dimensional displacement field of the beam structure is reconstructed under the condition that least-squares compatibility is guaranteed between the measured strains and those interpolated within the Inverse Elements.The experimental setup is then described. A thin-walled cantilevered beam is subjected to different static and dynamic loads. Measured surface strains are used as input data for shape sensing at first with a single Inverse Element. For the same test cases, convergence is also investigated using an increasing number of Inverse Elements. The iFEM-recovered deflections and twist rotations are then compared with those measured experimentally. The accuracy, convergence and robustness of the iFEM with respect to unavoidable measurement errors, due to strain sensor locations, measurement systems and geometry imperfections, are demonstrated for both static and dynamic loadings.
