5,826 research outputs found
Parallel integer relation detection: techniques and applications
For guidance on citations see FAQs. c ○ [not recorded] Version: [not recorded] Link(s) to article on publisher’s website
Group Communication Patterns for High Performance Computing in Scala
We developed a Functional object-oriented Parallel framework (FooPar) for
high-level high-performance computing in Scala. Central to this framework are
Distributed Memory Parallel Data structures (DPDs), i.e., collections of data
distributed in a shared nothing system together with parallel operations on
these data. In this paper, we first present FooPar's architecture and the idea
of DPDs and group communications. Then, we show how DPDs can be implemented
elegantly and efficiently in Scala based on the Traversable/Builder pattern,
unifying Functional and Object-Oriented Programming. We prove the correctness
and safety of one communication algorithm and show how specification testing
(via ScalaCheck) can be used to bridge the gap between proof and
implementation. Furthermore, we show that the group communication operations of
FooPar outperform those of the MPJ Express open source MPI-bindings for Java,
both asymptotically and empirically. FooPar has already been shown to be
capable of achieving close-to-optimal performance for dense matrix-matrix
multiplication via JNI. In this article, we present results on a parallel
implementation of the Floyd-Warshall algorithm in FooPar, achieving more than
94 % efficiency compared to the serial version on a cluster using 100 cores for
matrices of dimension 38000 x 38000
Braids: A Survey
This article is about Artin's braid group and its role in knot theory. We set
ourselves two goals: (i) to provide enough of the essential background so that
our review would be accessible to graduate students, and (ii) to focus on those
parts of the subject in which major progress was made, or interesting new
proofs of known results were discovered, during the past 20 years. A central
theme that we try to develop is to show ways in which structure first
discovered in the braid groups generalizes to structure in Garside groups,
Artin groups and surface mapping class groups. However, the literature is
extensive, and for reasons of space our coverage necessarily omits many very
interesting developments. Open problems are noted and so-labelled, as we
encounter them.Comment: Final version, revised to take account of the comments of readers. A
review article, to appear in the Handbook of Knot Theory, edited by W.
Menasco and M. Thistlethwaite. 91 pages, 24 figure
Preliminary Development of an Item Bank and an Adaptive Test in Mathematical Knowledge for University Students
In the last decades, the development of computerized adaptive testing (CAT) has allowed more precise measurements with a smaller number of items. In this study, we develop an item bank (IB) to generate the adaptive algorithm and simulate the functioning of CAT to assess the domains of mathematical knowledge in Argentinian university students (N=773). Data were analyzed from the Rasch model. A simulation design created with the R software was used to determine the necessary items of the IB to estimate examinee ability. Our results indicate that the IB in the domains of mathematical knowledge is adequate to be applied in CAT, especially to estimate average ability levels. The use of CAT is recommended for rapidly generating indicators of the knowledge acquired by students and to design educational strategies that enhance student performance. Results, constrains, and implications of this study are discussed.Fil: Ghio, Fernanda Belén. Universidad Nacional de Córdoba. Instituto de Investigaciones Psicológicas. - Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigaciones Psicológicas; ArgentinaFil: Bruzzone, Manuel. Universidad Nacional de Córdoba. Instituto de Investigaciones Psicológicas. - Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigaciones Psicológicas; ArgentinaFil: Rojas Torres, Luis. Universidad de Costa Rica. Facultad de Ciencias Sociales. Instituto de Investigaciones Psicologicas.; Costa RicaFil: Cupani, Marcos. Universidad Nacional de Córdoba. Instituto de Investigaciones Psicológicas. - Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigaciones Psicológicas; Argentin
User's manual for MMLE3, a general FORTRAN program for maximum likelihood parameter estimation
A user's manual for the FORTRAN IV computer program MMLE3 is described. It is a maximum likelihood parameter estimation program capable of handling general bilinear dynamic equations of arbitrary order with measurement noise and/or state noise (process noise). The theory and use of the program is described. The basic MMLE3 program is quite general and, therefore, applicable to a wide variety of problems. The basic program can interact with a set of user written problem specific routines to simplify the use of the program on specific systems. A set of user routines for the aircraft stability and control derivative estimation problem is provided with the program
- …