Miracle-dz/UniFAR-FTUs huggingface dataset:
High Productivity Programming of Dense Linear Algebra on Heterogeneous NUMA Architectures

High Productivity Programming of Dense Linear Algebra on Heterogeneous NUMA Architectures High-end multicore systems with GPU-based accelerators are now ubiquitous in the hardware landscape. Besides dealing with the nontrivial heterogeneous environment, end users should often take into consideration the underlying memory architecture to decrease the overhead of data motion, especially when running on non-uniform memory access (NUMA) platforms. We propose the OmpSs parallel programming model approach using its Nanos++ dynamic runtime system to solve the two challenging problems aforementioned, through 1) an innovative NUMA node-aware scheduling policy to reduce data movement between NUMA nodes and 2) a nested parallelism feature to concurrently exploit the resources available from the GPU devices as well as the CPU host, without compromising the overall performance. Our approach features separation of concerns by abstracting the complexity of the hardware from the end users so that high productivity can be achieved. The Cholesky factorization is used as a benchmark representative of dense numerical linear algebra algorithms. Superior performance is also demonstrated on the symmetric matrix inversion based on Cholesky factorization, commonly used in co-variance computations in statistics. Performance on a NUMA system with Kepler-based GPUs exceeds that of existing implementations, while the OmpSs-enabled code remains very similar to its original sequential version.
Three CLASSY ways to Perform Arabic and English Multi-Document Summarization

Our Multilingual Summarization Evaluation entries for MSE 2005 were based upon three variations ofour Task 4 (multi-lingual summaries) submission for DUC 04 ([3]). We have dubbed our summarizationsystem “CLASSY” (Clustering, Linguistics, And Statistics for Summarization Yield). Our three entrieswere systems 28, 29, and 30 and represented approaches based upon a) the subset of only Englishdocuments, b) the English documents and the translated Arabic documents (full clusters), and ﬁnally,c) the original and translated Arabic documents along with the English documents. This paper willreview the method used in DUC 04 and describe the adaptations made for MSE 2005.An analysis of the results of our eﬀorts using both the ROUGE and pyramid evaluations is alsodiscussed.
Skuery: Manipulation of S-Expressions Using XQuery Techniques

SKUERY: MANIPULATION OF S-EXPRESSIONS USING XQUERY TECHNIQUES. Kevin Tew Department of Computer Science Master of Science Data query operations inside programming languages presently perform their functions through the use of domain-specific, declarative expressions and by way of course-grain, API library calls. These methods of operation are practiced by relational databases as well as semistructured XML data stores. Layers of translation, which are necessary to transform data and instructions from the domain of programming languages to data query systems, negtatively effect the performance of data query operations. Skuery resolves this impedance by adopting XML as a native data type with a native representation (SXML). Likewise, query operations are defined in a general purpose programming language (Scheme in this case) not in an external data query environment. Skuery increases programmer productivity by abstracting layers of translation and unifying computational and data query operations under the auspices of a general purpose programming language.
ESTIMATION OF RANDOMLY DISTRIBUTED VALUE OF TIME

This paper outlines various models and empirical studies aiming to capture variations in value of time (VOT). Its motivation is to improve the estimation of the 'implied' VOT captured in travel choice models, allowing for substantial heterogeneity between travellers, which can now be handled by advances in data acquisition, estimation methods, and computing. Forms of heterogeneity that are being addressed include decision protocols, choice sets, perceptions, attitudes, and taste variations. The types of mathematical models considered are: (1) individual-specific models, which have repeated observations of each individual, and use a separate travel-choice model estimated for each individual; (2) a pooled model, which bases its estimates on pooled data, and assumes completely homogeneous tastes; (3) a prior segmentation model, which is a practical procedure for introducing heterogeneous tastes; (4) a random coefficients model, which attempts to capture taste variations that cannot be explained by observed individual characteristics; and (5) a latent class choice model, which includes a probabilistic model of class membership. The advantages and disadvantages of each type of model are listed, and examples of empirical studies are tabulated for each. Four conclusions are presented. For the covering abstract, see IRRD E100587.
Mathematical Modelling in Medicine

Mathematical Modelling in Medicine is divided into four distinct parts which cover mathematical models of heart, arterial tree, baroreceptor control and applications for simulators. The mathematical models covering these four topics are contained in a number of articles in each part. In addition, historical reviews on the heart, arterial tree and baroreceptors are also included in the articles offering a broader view and understanding of the current physiological models. The models presented are all based on fundamental physiological principles. This common guideline may result in more solid models from which we can obtain new physiological insights. Mathematical Modelling in Medicine demonstrates that the increase in popularity and success of mathematical models, is not solely a consequence of the development and spread of fast computers, making easier access to simulations of complex systems. An important element for this success is the precise continuous samplings of new clinical data have generated experiments, from which one can gain new insights into the dynamics of physiological systems and not only into their steady state behaviour patterns. Another important element is the attempts to focus on precise definitions of physiological concepts in order to avoid confusion, misunderstandings and waste of efforts. Furthermore, it is shown, that mathematics may also provide a tool to structure thoughts, an area which have gained an increasing attention lately. This book will be of interest to graduate students as well as researchers in the interdisciplinary fields of bioengeneering, biophysics and mathematical physiology.
The Mark IV Supersonic-Hypersonic Arbitrary-Body Program. Volume III. Program Listings

Abstract : The volume contains the source language listings of the Mark IV supersonic-Hypersonic Arbitrary-Body Program (Mod 0 Version). The program as shown in this listing will operate on CDC 6500, 6600, and CYBER 74 computers. With a small converter program, the Mark IV program can be converted for operation on IBM 360 and 370 types of computers. This converter program is included with the listings.
Keynote Address: The Place for New Tools in Forensic Philately

This paper relates to my realization, reinforced by my access to the developments at the British Library for the conservation and preservation of rare documents, that certain philatelic problems could be better solved or understood by the quantitative methods traditionally associated with the physical sciences than by the taxonomical methods traditionally associated with the biological sciences. In 2001, I worked with University College London on a project to use spectrographic analysis to study the very rare (and valuable) “Post Office” Mauritius stamps of 1847, developing definitive information about the inks used and establishing a basis for a similar study in 2002 that evaluated the 1851–1852 socalled Grinnell Missionary stamps of Hawaii. My views and observations on the expertization in conjunction with the recent development of advanced methods (some of which will be discussed in detail in the papers presented) for performing various analyses on postage stamps and other postal matter are largely based on supporting the Expert Committee of the Royal Philatelic Society London. It should be noted that it is not the purview of the Institute for Analytical Philately, Inc., the Smithsonian National Postal Museum, or the British Library to provide expertization services.
Multiple pass collaborative search in the presence of false alarms

This paper addresses the planning of multiple collaborative searchers that are seeking to find hidden objects (i.e. mines) in environments where the sensor detection process is prone to false alarms. In such situations it is anticipated that collaboration between searchers that are examining the same sub-regions may be used to mitigate the impact of false alarms. A standard Receiver Operator Characteristic (ROC) analysis is conducted and the mapping between a single search pass ROC curve and an equivalent multiple search pass representation within a cumulative probability space is discussed. This mapping produces an analogous family of ROC curves for an increasing number of search passes using either a first detection or multiple occurrence performance criteria. The migration of ROC operating points is analyzed as additional search passes are included within a search plan and suggests the need to coordinate search effort with operating point selection. The mapping from waiting time event probabilities to a total error performance criterion weighted according to the cumulative probabilities of missed detection and false alarm is developed. Details of its application for threshold optimization within search planning is discussed and numerical results are provided to demonstrate the usefulness of the models in evaluating performance trade-offs.
Optimization Of Frame Rate In Real Time Object Detection And Tracking

: The paper focuses on the development of the optimization of real time object system which uses a static camera to capture the video frames and track an object. The work proceeds as: Matching of the histograms created for the frame, Absolute frame subtraction to build an optimized automated object tracking system. As the location of the object is detected, it is tracked by using discrete Kalman Filter Technique. Identifying the object entering the viewing range of the camera, this is done by histogram matching algorithm. To recognize the object OTSU segmentation is used. Since the frame occurrence
II.2 Chemometrics in Metabolomics - An Introduction

In the post-genomics era, the use ofmethodologies that enable transcriptomic, proteomic and metabolomic data to be analysed in detail have revolutionized biological investigations. One of the major advantages with metabolomics investigations compared to traditional targetmetabolite analysis is thatmetabolomics data can give an unbiased view of changes in metabolism during environmental, genetic or developmental changes. Instead of tracking only a few metabolites, changes in relative amounts in 300 to 1000 or even more metabolites canbe recorded and analysed, covering allmajormetabolic pathways. This development has accentuated the need to apply and further developmultivariate methodology. Chemometrics (see Eriksson et al. 2001) provides tools to make good use ofmeasured data, enabling practitioners tomake sense ofmeasurements and to model quantitatively and produce visual representations of information.Today, chemometricshasgrown intoawell establisheddataanalysis tool in areas such asmultivariate calibration, quantitative structure-activity modeling, pattern recognition and multivariate statistical process monitoring and control. Although seemingly diverse disciplines, the common denominators in these applications are that high complexity data tables are generated and that thesedata tables canbeanalysedand interpretedbymeansof chemometric methods. In chemometrics, there are three basic categories of analysis (Fig. 1):
AMEE GUIDE SUPPLEMENTS

Peer-assisted learning (PAL) is an area of great importance, not just in higher education and the workplace, but also in primary and secondary schools. In the latter, as curriculum development takes one of its swings back toward the creative and interactive, PAL is very much back in fashion. In higher education PAL is very common (although many published studies are not of very high quality), and it is becoming more common in the workplace. However, one current problem concerns how learners can connect the many different PAL experiences they might have during their learning life—are they frequent enough and similar enough for the learner to sustain any metacognitive overview and indeed any generalization of skills? In the field of medical education, Ross & Cameron’s (2007) own recent work refers heavily to my own work, and it would be surprising if I was not applauding a great deal of it. Of course, I am not a medical specialist, in which context the authors have set their discussion of peer assisted learning. However, I have some modest concerns regarding the crucial part of Ross and Cameron’s work—their 24 questions. First, the questions do not make clear that training should be for both tutors and tutees (and preferably together at some point). Second (and more importantly), they do not refer to methods for matching students in pairings—by ability, age, gender, student preference, and so on. Where insufficient is known about the students in advance to render matching by ability possible, random selection (not in line with student preference) might be the only course, but this should be stated. Third, some of these questions are effectively double questions. Thus, Question 13 asks both about the format of the intervention and about what resources are required. This compounding is dangerous—it is all too easy to prescribe resources and assume that they will automatically lead to a positive interaction. The nature of the interactive behaviour needs to be specified. Fourth, in question 16 there is no mention of teacher observation as a monitoring device (although it is mentioned in question 18 as an evaluation device). Fifth, question 18 on ‘academic hypotheses’ is vague and unhelpful. Finally, the caveat section is possibly over-punctilious and over-inclusive in its attempts to outline warnings. However, many things could be said on the positive side. Ross and Cameron acknowledge the full range of PAL interventions, so they cannot be accused of focusing on a particular method used parochially. They are realistic about the staff time involved to set PAL up properly. The exemplary completed form at the end is very useful. In all, it is a useful and balanced piece of work. I would encourage those in medical education to take up its message and experiment with their own variants on peer assisted learning.
Modeling and verification of real-time systems : formalisms and software tools

Chapter 1. Time Petri Nets: Analysis Methods and Verification with TINA (Bernard Berthomieu, Francois Vernadat). Chapter 2. Validation of Reactive Systems by Means of Verification and Compliance Testing (Camille Constant, Thierry Jeron, Herve Marchand and Vlad Rusu). Chapter 3. Model Checking: Basic Concepts and Techniques (Stephan Merz). Chapter 4. Timed Automata and Verification (Patricia Bouyer, Francois Laroussinie). Chapter 5. Specification and Analysis of Asynchronous Systems using CADP (Radu Mateescu). Chapter 6. Synchronous Program Verification with Lustre/Lesar (Pascal Raymond). Chapter 7. Synchronous Functional Programming with Lucid Synchrone (Paul Caspi, Gregoire Hamon, Marc Pouzet). Chapter 8. Verification of Real-Time Probabilistic Systems (Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston). Chapter 9. Verification of Probabilistic Systems: Methods and Tools (Serge Haddad, Patrice Moreaux). Chapter 10. The IF Toolbox (Marius Bozga et al). Chapter 11. Architecture Description Languages - An Introduction to the SAE AADL (Anne-Marie Deplanche, Sebastien Faucou). List of Authors. Index.
Design and Analysis of an Anonymous Communications Channel for the Free Haven Project

The Free Haven Project aims to deploy a system for anonymous, distributed data storage which is robust against attempts by powerful adversaries to nd and destroy stored data. To support anonymous publishing and retrieval operations, we use a mixnet for communications. We provide an outline of a formal deenition of communications anonymity, to help characterize and compare real-world projects and their success at achieving protection from disclosing identity. In addition, we describe a variety of attacks on the system and ways of protecting against these attacks. We discuss our design and implementation of a communications module to interface between the Free Haven publishing system and the communications channel. Finally, based on our analysis of anonymity and other projects, we present some future directions for designing robust anonymous communications channels.
The Relevance of Lesser-Used Languages for Theoretical Linguistics: The Case of Cimbrian and the Support of the TITUS Corpus

On the basis of the TITUS Project, the following contribution aims at showing the importance of a lesser-used language, such as Cimbrian, for the theory of grammar. In Chapter 1, we present the goals of TITUS and its possibilities in order to analyse old Cimbrian writings. Furthermore, according to these possibilities, the second chapter will summarise some recent results of the linguistic research about relevant aspects of Cimbrian grammar, in particular the syntax of verbal elements, of subject clitics, and of subject nominal phrases. Chapter 3 and 4 discuss which relevance these results can have in the Generative framework, in particular with respect to a generalisation.
Mathematical modeling and numerical methods in finance

Mathematical finance is a prolific scientific domain in which there exists a particular characteristic of developing both advanced theories and practical techniques simultaneously. Mathematical Modelling and Numerical Methods in Finance addresses the three most important aspects in the field: mathematical models, computational methods, and applications, and provides a solid overview of major new ideas and results in the three domains. Coverage of all aspects of quantitative finance including models, computational methods and applications . Provides an overview of new ideas and results . Contributors are leaders of the field
PC-Based Hybrid Grid Computing for Huge Biological Data Processing

Recently, the amount of genome sequence is increasing rapidly due to advanced computational techniques and experimental tools in the biological area. Sequence comparisons are very useful operations to predict the functions of the genes or proteins. However, it takes too much time to compare long sequence data and there are many research results for fast sequence comparisons. In this paper, we propose a hybrid grid system to improve the performance of the sequence comparisons based on the LanLinux system. Compared with conventional approaches, hybrid grid is easy to construct, maintain, and manage because there is no need to install SWs for every node. As a real experiment, we constructed an orthologous database for 89 prokaryotes just in a week under hybrid grid; note that it requires 33 weeks on a single computer.
Grid generation about complex three-dimensional aircraft configurations

The problem of obtaining three dimensional grids with sufficient resolution to resolve all the flow or other physical features of interest is addressed. The generation of a computational grid involves a series of compromises to resolve several conflicting requirements. On one hand, one would like the grid to be fine enough and not too skewed to reduce the numerical errors and to adequately resolve the pertinent physical features of the flow field about the aircraft. On the other hand, the capabilities of present or even future supercomputers are finite and the number of mesh points must be limited to a reasonable number: one which is usually much less than desired for numerical accuracy. One technique to overcome this limitation is the 'zonal' grid approach. In this method, the overall field is subdivided into smaller zones or blocks in each of which an independent grid is generated with enough grid density to resolve the flow features in that zone. The zonal boundaries or interfaces require special boundary conditions such that the conservation properties of the governing equations are observed. Much work was done in 3-D zonal approaches with nonconservative zonal interfaces. A 3-D zonal conservative interfacing method that is efficient and easy to implement was developed during the past year. During the course of the work, it became apparent that it would be much more feasible to do the conservative interfacing with cell-centered finite volume codes instead of the originally planned finite difference codes. Accordingly, the CNS code was converted to finite volume form. This new version of the code is named CNSFV. The original multi-zonal interfacing capability of the CNS code was enhanced by generalizing the procedure to allow for completely arbitrarily shaped zones with no mesh continuity between the zones. While this zoning capability works well for most flow situations, it is, however, still nonconservative. The conservative interface algorithm was also implemented but was not completely validated.
Metrics Development for UML Tools evaluation

The Unified Modelling Language (UML) has become a defacto standard for software development practitioners. There are several tools that help the use of UML. Users of those tools must evaluate and compare different versions of the tools they intend to use or are using to assess the possibility of changing or acquiring one. There are several ways to perform this evaluation from the simple rule-of-thumb to numeric or quantitative methods. We present an ongoing project that evaluates UML tools using the Logic Scoring of Preference (LSP) method. This method is very briefly presented and also some of the ongoing work in building a model directed to UML tool evaluation is explained.
Natural Language Interfaces to Databases

Natural language interfaces to databases (NLIDB) are systems that aim to bridge the gap between the languages used by humans and computers, and automatically translate natural language sentences to database queries. This thesis proposes a novel approach to NLIDB, using graph-based models. The system starts by collecting as much information as possible from existing databases and sentences, and transforms this information into a knowledge base for the system. Given a new question, the system will use this knowledge to analyze and translate the sentence into its corresponding database query statement. The graph-based NLIDB system uses English as the natural language, a relational database model, and SQL as the formal query language. In experiments performed with natural language questions ran against a large database containing information about U.S. geography, the system showed good performance compared to the state-of-the-art in the field.
Performance analysis under multiple antennas in wireless sensor networks based on the generalized approach to signal processing

The average bit-error rate performance of wireless sensor networks based on the generalized approach to signal processing in the presence of noise under the use of multiple antennas at the sensor sink is investigated as a function of the transmit antenna update rate at the sensor nodes when using binary phase-shift keying signals in flat Rayleigh fading channels. This scheme achieves an order of diversity equal to the product of the number of transmit sensor node antennas and receive sensor sink ones. Therefore, it can gain significant diversity benefits over traditional receive diversity schemes by distributing the antennas over transmit and receive side (sensor nodes and sensor sink, respectively). We study two cases: an ideal transmit antenna selection and non-ideal transmit antenna selection.