Miracle-dz/UniFAR-FTUs huggingface dataset:
The isomorphic version of Brualdies nestedness is in P

The discrepancy BR for an m × n 0, 1-matrix from Brualdi and Sanderson 1998 counts the minimum number of 1’s which need to be shifted in each row to the left to achieve its Ferrers matrix, i.e. each row consists of consecutive 1’s followed by consecutive 0’s. For ecological bipartite networks BR describes how nested a set of relationships is. Since different labeled matrices can be isomorphic but possess different discrepancies, we define a metric determining the minimum discrepancy in an isomorphic class. We give a reduction to k ≤ n minimum weighted perfect matching problems.
Determining light verb constructions in contemporary British and Irish English

This study implements an automated parser-based approach to the investigation of light verb constructions. The database consisting of ICE-GB and ICE-IRE is used to obtain qualitative and quantitative results on the use of light verb structures. The study explains and evaluates the steps employed to optimize parser output in detecting open lists of light verb constructions. It discusses the qualitative usage differences of these structures in the data between the two varieties and finds that ICE-GB favours fewer high frequency light verbs while ICE-IRE contains more diverse lower frequency light verbs and more passives. Overall, counts of light verb constructions are considerably higher than previously assumed. The projected counts suggest that attestations of light verb constructions will increase considerably if the search is not restricted to certain high-frequency light verbs as is typically done in studies employing manual or semi-automatic approaches to data collection.
Legitimate User Profiling Based on the Third Order Spline Approximation of the Initial Data Sequence

The article deals with an alternate solution of the system intrusion detection problem by developing the user's and the putative intruder's behavior profiles. The third order spline approximation of the initial data sequence is suggested to use as the legitimate user profiling method. Application of the large and small data sampling method is considered. The interval estimation method is proposed to use as the secondary method of defining the expected behaviour frontiers. The comparison of two alternative interval estimations-based on the maximum deviation from the mean value and the deviation at any specific time is adduced.
Laser-based guidance of multiple mobile robots

This paper describes our research work towards the development of an optical guidance system for multiple mobile robots in an indoor environment. The guidance system operates with an environmental model, communicates with mobile robots and indicates their target positions by means of a light projection from a laser pointer onto the ground. Processing the image data from a CCD color camera mounted on the mobile robot allows it to detect the laser light beacon on the ground and estimate its relative coordinates. The robot's control system ensures the accurate motion of the robot to the indicated target position. The guidance system subsequently indicates target positions corresponding to a desired route for a specified mobile robot in the fleet. The concept of the optical guidance system, its implementation and experimental results are discussed.
Establishing Latch Correspondence for Embedded Circuits of

We present a novel latch mapping methodology that judiciously leverages structural and functional analyses on digital sequential circuits. We make use of functional design constraints in a novel way to get latch correspondence information. For scanable latches we use a technique based on scan chain analysis to obtain latch correspondences. We also provide an eective heuristic for finding latch correspondences for latches (potentially non-scanable) in complex state machines having cyclic dependencies. Our methodology not only answers latch correspondence, but also provides polarity of the correspondence. This is a major advantage over earlier latch mapping algorithms. Experimental results obtained on embedded circuits from live PowerPC r 1 design projects have shown that our technique fares better than a leading vendor tool in mapping latches ‐ in both quantitative (more latches mapped) and performance (time/memory used) aspects.
Catalyst- and Metal-Free Rapid Functionalizations of Alkynes Using TsNBr2

Abstract A very rapid (3–12 min) and efficient method has been developed for a one-pot synthesis of α,α-dibromoalkanones and β-bromoenol alkanoates directly from alkynes using N,N-dibromo-p-toluenesulfonamide (TsNBr2). The protocol is embellished with features like ambient temperature, high regioselectivity, operational simplicity, and metal- and catalyst-free conditions.
Study on the variable cycle engine modeling techniques based on the component method

Based on the structure platform of the gas turbine engine, the components of variable cycle engine were simulated by using the component method. The mathematical model of nonlinear equations correspondeing to each component of the gas turbine engine was established. Based on Matlab programming, the nonlinear equations were solved by using Newton-Raphson steady-state algorithm, and the performance of the components for engine was calculated. The numerical simulation results showed that the model bulit can describe the basic performance of the gas turbine engine, which verified the validity of the model.
Document Sentiment Classification based on the Word Embedding

N-gram feature is commonly used to represent document, however, it often leads to the curse of dimensionality. Sentiment classification based on word embedding and SVM is proposed. The method uses word embedding to represent document, which can make the final representation of the document consistent with the dimension of word embedding. Experiments show that the proposed method can significant reduce the dimension of document representation and improve the accuracy of document sentiment classification.
Telling stories digitally: an experiment with preschool children

With the emergence of the new technologies, twenty-first-century learning involves the application of new media in educational environments. Digital storytelling (DST) is a method that blends traditional storytelling with new technologies. This study was designed to compare the conceptual understanding of preschool students in DST classrooms with children in traditional storytelling classrooms. A pre-test, post-test control group design was used. Data were collected from 149 preschool children using pre- and post-test surveys and students’ drawings. The findings indicate that DST improved the preschoolers’ conceptual understanding of the course content more than traditional storytelling.
Supporting student e-portfolios

Historically, the term portfolio has been used to describe a folder of work used predominantly for skill recording and display purposes. It was mainly paper based, usually begun when its author was a student and developed over a working lifetime. More recently the term has been taken up for use in schools and colleges, describing a more modest folder holding work from a particular project or an entire course, and in professional fields as a collection of material required to evidence competence for accreditation or to prepare for assessment. Since its inception as an evolution of this traditional portfolio, the electronic portfolio or e-portfolio has attracted a great deal of interest from around the world where there is ready access to suitable technology. This interest continues to grow with increasing numbers of students and professionals being encouraged, or required, to produce e-portfolios. This article focuses on e-portfolios in the higher education (HE) sector, principally those authored by students. Its purpose is to provide a basic introduction to e-portfolios: what they are, how they are being used, potential benefits and challenges, and guidance for their successful introduction.
Probabilistic Methods in Model Validation

Extensive experimentation over the past decade has shown that fabricated physical systems that are intended to be identical, and are nominally identical, in fact, differ from one another, and sometimes substantially. This fact makes it difficult to validate a mathematical model for any system and results in the requirement to characterize physical system behavior using the tools of uncertainty quantification. Further, because of the existence of system, component, and material uncertainty, the mathematical models of these elements sometimes seek to reflect the uncertainty. This presentation introduces some of the methods of probability and statistics, and shows how they can be applied in engineering modeling and data analysis. The ideas of randomness and some basic means for measuring and modeling it are presented. The ideas of random experiment, random variable, mean, variance and standard deviation, and probability distribution are introduced. The ideas are introduced in the framework of a practical, yet simple, example; measured data are included. This presentation is the third in a sequence of tutorial discussions on mathematical model validation. The example introduced here is also used in later presentations. Nomenclature
IP Flow Performance Measurement Framework

This document specifies a measurement method, the IP flow performance measurement (IPFPM). With IPFPM, data packets are marked into different blocks of markers by changing one or more bits of packets. No additional delimiting packet is needed and the performance is measured in-service and in-band without the insertion of additional traffic.
Nanoelectronics and Information Technology

This outstanding textbook provides an introduction to electronic materials and device concepts for the major areas of current and future information technology. On about 1,000 pages, it collects the fundamental concepts and key technologies related to advanced electronic materials and devices. The obvious strength of the book is its encyclopedic character, providing adequate background material instead of just reviewing current trends. It focuses on the underlying principles which are illustrated by contemporary examples. The third edition now holds 47 chapters grouped into eight sections. The first two sections are devoted to principles, materials processing and characterization methods. Following sections hold contributions to relevant materials and various devices, computational concepts, storage systems, data transmission, imaging systems and displays. Each subject area is opened by a tutorial introduction, written by the editor and giving a rich list of references. The following chapters provide a concise yet in-depth description in a given topic. Primarily aimed at graduate students of physics, electrical engineering and information technology as well as material science, this book is equally of interest to professionals looking for a broader overview. Experts might appreciate the book for having quick access to principles as well as a source for getting insight into related fields.
COMPONENT BASED SUMMARIZATION USING AUTOMATIC IDENTIFICATION OF CROSS-DOCUMENT STRUCTURAL RELATIONSHIP

ABSTRACT The world we live today witnesses a fast moving information age due to the ever increasing information available online. People are being exposed vast online documents, being retrieved from various sources. The need for automatic document summarization system has deemed necessary to alleviate information overload. In the context of online news documents, different news sources reporting on a particular event tend to contain common components that make up the main story of the news. Based on this conception, we propose component based summarization, i.e. taking into account the generic components of a news story to produce quality summaries. We focus particularly on news stories related to natural disaster events. Besides that, we also investigate the automatic identification of cross structural relationships (CST) between sentences using case base reasoning (CBR) approach. The identified CST relations will be used to extract highly relevant sentences to be included in the summary. As for the evaluation process, the performance of our proposed approach was evaluated using ROUGE: - a standard evaluation metric used in text summarization. KEYWORDS Multi document summarization, Cross-document structural relationship, Case base reasoning, Machine learning.
A Comparison of the performance of HPC Accelerators

This project aims to port the scientific application GADGET-3 to multiple accelerators, research on the performance achieved and compare the porting/optimisations on the given accelerators with different architectures. In this project, the most time-consuming functions of GADGET-3 was identified based on the profiling. Partial functions in GADGET-3 were ported to the accelerator NVIDIA K40 card using CUDA C and to AMD FirePro W9100 Card using OpenCL. The CUDA version GADGET-3 functions were profiled and analysed with different task assignment on the GPGPU device for the given test cases. Detailed comparisons were also conducted between the CUDA C version GADGET-3 on NVIDA cards and the OpenCL version code on AMD card. For the given test cases, NVIDAI K40 delivered better performance compared with AMD FirePro W9100.
Machine Learning: Neural Networks, Genetic Algorithms, and Fuzzy Systems

Perceptron Learning with a Hidden Layer An Object-Oriented Backpropagation Learning Model Concurrent Backpropagation Learning Algorithms An Adaptive Conjugate Gradient Learning Algorithm for Efficient Training of Neural Networks A Concurrent Adaptive Conjugate Gradient Learning Algorithm on MIMD Shared Memory Machines A Concurrent Genetic/Neural Network Learning Algorithm for MIMD Shared Memory Machines A Hybrid Learning Algorithm for Distributed Memory Multicomputers A Fuzzy Neural Network Learning Model Appendices References Index.
Serendipity is not Bullshit

Serendipity in the context of information-seeking and retrieval involves coming across information that is both useful and unexpected - either when looking for information on a different topic, when looking for information with no particular aim or when not looking for information at all. An article in The Stanford Daily newspaper, entitled ‘serendipity is bullshit,’ argues that there is little point in designing digital environments to support serendipity. We disagree. In this position paper, we respond to arguments made in the article and explain why it is very important that digital information environments should not only support users in seeking useful information, but also in encountering useful information unexpectedly.
Regular iterative algorithms and their implementation on processor arrays

Some recent results are summarized concerning a class of algorithms known as regular iterative algorithms, particularly with respect to their implementations on processor arrays. Regular iterative algorithms contain all algorithms executed by systolic arrays as a proper subclass and are therefore of considerable importance in real-time signal processing applications. Some general concepts concerning the design of parallel architectures are introduced, and the importance of devising special techniques that utilize any available structure in the algorithm is highlighted. A generic description of the existing methodologies for the systematic design of systolic arrays is given. Using some simple examples, the limitations of these methods are shown. A formal methodology is proposed that overcomes the difficulties in the existing procedures. >
Shakespeare in Afrikaans: A corpus-based study of inuoiuement in different registers of drama translation

Abstract This article draws on a corpus-based study of translations of Shakespeare in Afrikaans in order to contribute to the debate on what CTS (corpus-based translation studies) can offer the translation researcher. Corpus linguistic methodologies are versatile and therefore it was possible to apply aspects of Douglas Biber's (1988) multi-dimensional approach to register variation to a parallel corpus of Shakespeare's The merchant of Venice in Afrikaans. In particular, the focus is on an investigation of the manifestation of linguistic features of involvement in different registers of Shakespeare translation. ‘Features of involvement’ refer to those linguistic features which reflect that speaker and listener typically interact with one another (i.e., private verbs, contractions, 1st and 2nd person pronouns, analytic negation, demonstratives, emphatics, discourse markers, causative subordination, amplifiers, questions, time and place adverbials). The overall finding is one of a statistically highly significant difference between the two registers with the stage translation displaying more features of involvement than the page translation. Despite production constraints, the dialogue of a Shakespearean stage translation does indeed exhibit more features of involvement than a page translation.
Linear Precoder Performance for Massive MIMO Systems in near LOS Environments: Application to mmWave Transmission

As the wireless communication network is driven toward densification with small cell deployments, massive MIMO technology shows great promises to boost capacity and energy efficiency. This paper aims at showing how raising carrier frequencies impacts the performance of the linear precoders used in Massive MIMO systems. By means of a geometrical deterministic channel model, we simulate a dense outdoor scenario and highlight the influence of the direct and multi-paths components. More importantly we prove that, in a Line-of-Sight configuration, the discriminating skills of the well known Zero Forcing precoder is much more sensitive to the antenna array architecture and the user location than the Conjugate precoder.
A fast Fourier transform global, highly parallel processor

A fast Fourier transform (FFT) algorithm is presented for an unstructured, parallel ensemble of computing elements with global control. The procedure makes efficient use of a fixed-size memory and minimizes data transmission between computing elements. Included are some practical considerations of the trade-offs between element utilization and gain of computing speed via parallelism.
Comparison of recent non-linear filters from graphics field

Image filtering is an important and fundamental issue in image processing pipelines and find itself a lot of applications in segmentation, salient features detection, colorization, stylization and so on. In recent years, several nonlinear filters aiming at edge-preserving smoothing has been proposed from different fields. However, none of these filters is perfect for all applications due to their own model assumption and solving strategy. In this paper, we give a brief introduction to several of them particularly from graphics field and comparison about their advantages and limitations through experiments. We look forward to offer an helpful starting point for researchers to select or improve them.
PARTICLE SWARM OPTIMIZATION (PSO) BASED K–MEANS IMAGE SEGMENTATION ALGORITHM

Image Segmentation plays very significant role in the fields of Digital Image Processing (DIP) for various tasks such as image understanding, image analysis, and pattern recognition etc. In current era, there is an incredible up-surge in the image data samples from every part of the world. Due to this, the necessity to introduce novel technique for an efficient segmentation has also increased.Though there are numerous traditional approaches, the efficiency of segmentation is yet to be increased. Therefore, the author proposed an intelligent based image segmentation approach in this paper. The particle swarm optimization is one of the Swarm Intelligence approach introduced in this paper as the preprocessing technique prior to the image segmentation. The image is preprocessed as to obtain the optimum pixels and then k-means clustering technique is performed on image for segmentation. The accuracy and the efficiency of the suggested methodology is matched with the prevailing k-means clustering algorithm by applying the suggested approach on different types of environmental images.
F-18 Analysis of Iron Ore Using X-ray Fluorescence Spectrometer

A previous paper portrayed sample preparation by fusion methodology and the XRF analysis conditions for the calibration of cement materials [Bouchard et al. , 2009. “Global cement and raw materials fusion/XRF analytical solution,” Adv. X-Ray Anal. 53 , 263–279]. The results of two well known cement chemical analysis Standard Methods were also presented. These results proved that this robust analytical method is able to qualify by the ASTM C114 [ASTM C114-08 (2008). “Standard test methods for chemical analysis of hydraulic cement,” Annual Book of ASTM Standards Vol. 04.01 (ASTM International, West Conshohocken, PA), pp. 150–157)] and ISO/DIS 29581-2 [Draft Standard, 2007-07 (2007). “Methods of testing cement—Chemical analysis of cement—Part 2: Analysis by X-ray fluorescence” ISO/DIS 29581-2, 2007, pp. 1–30]. This robust analytical method was developed using an automated fusion instrument for the sample preparation and a WDXRF spectrometer for the determination of all elements of interest relating to the cement industry. This method was used to prepare finished products, process materials, as well as a very large range of raw materials. The first part of this second paper examines all the XRF analysis conditions for the calibration of the raw materials using the robust fusion sample preparation methodology as well as the numerous reference materials (RMs) used for this analytical application. All interesting results will be presented. The second part of this paper reveals the rapid analytical method results using sample preparation by fusion on nonignited samples. It will also be proven that this faster method, combined with the WDXRF spectrometer, complies with both cement analysis Standard Methods: ASTM C114 and ISO/DIS 29581-2.
Playability and player experience research

As the game industry matures and games become more and more complex, there is an increasing need to develop scientific methodologies for analyzing and measuring player experience, in order to develop a better understanding of the relationship and interactions between players and games. This panel gathers distinguished European playability and user experience experts to discuss current findings and methodological advancements within player experience and playability research.
Simple Synthetic Equivalents for the β‐(N,N‐Disubstituted)ethylamino Acyl Cation Synthon and Their Applications.

Synthesis 2001, No. 15, 12 11 2001. Article Identifier: 1437-210X,E;2001,0,15,2239,2246,ftx,en;T05101SS.pdf. © Georg Thieme Verlag Stuttgart · New York ISSN 0039-7881 Abstract: Various N,N-disubstituted-amino-N-methoxy-N-methylpropanamides 3a–i were prepared which served as an excellent -aminoacyl cation equivalents. These were used to prepare -amino ketones 1, pharmacologically active tertiary 1-(3,3-diarylpropyl)amines 7a–c, and the interesting C-glycoside 8.
Reconfigurable special purpose hardware for scientific computation and simulation

Xilinx Field Programmable Gate Arrays (FPGAs) are used to implement reconfigurable special purpose computing hardware for computationally intensive many-body problems in physics and mathematics. The inexpensive PC-based design environment used for this work is described, and the performance for several different problems of the resulting reconfigurable hardware is compared with that of some general purpose computers. The merits of using FPGAs in special purpose computational hardware are outlined.