Miracle-dz/UniFAR-FTUs huggingface dataset:
The linkedness of cubical polytopes

A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least $2k$ vertices is $k$-linked if, for every set of $2k$ distinct vertices organised in arbitrary $k$ pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs. Larman and Mani in 1970 proved that simplicial $d$-polytopes, polytopes with all their facets being combinatorially equivalent to simplices, are $\floor{(d+1)/2}$-linked; this is the maximum possible linkedness given the facts that a $\floor{(d+1)/2}$-linked graph is at least $(2\floor{(d+1)/2}-1)$-connected and that some of these graphs are $d$-connected but not $(d+1)$-connected. Here we establish that cubical $d$-polytopes are also $\floor{(d+1)/2}$-linked for every $d\ne 3$; this is again the maximum possible linkedness for such a class of polytopes.
Common TCP Evaluation Suite

This document presents an evaluation test suite for the initial assessment of proposed TCP modifications. The goal of the test suite is to allow researchers to quickly and easily evaluate their proposed TCP extensions in simulators and testbeds using a common set of well-defined, standard test cases, in order to compare and contrast proposals against standard TCP as well as other proposed modifications. This test suite is not intended to result in an exhaustive evaluation of a proposed TCP modification or new congestion control mechanism. Instead, the focus is on quickly and easily generating an initial evaluation report that allows the networking community to understand and discuss the behavioral aspects of a new proposal, in order to guide further experimentation that will be needed to fully investigate the specific aspects of a new proposal.
Guest Editorial Multimodal Modeling and Analysis Informed by Brain Imaging—Part 1

Human brains are the ultimate recipients and assessors of multimedia contents and semantics. Recent developments of neuroimaging techniques have enabled us to probe human brain activities during free viewing of multimedia contents. This special issue mainly focuses on the synergistic combinations of cognitive neuroscience, brain imaging, and multimedia analysis. It aims to capture the latest advances in the research community working on brain imaging informed multimedia analysis, as well as computational model of the brain processes driven by multimedia contents.
Feasibility of supporting pointing on large wall displays using off-the-shelf consumer-grade tracking equipment

Interactions between instructors and large projected displays in classrooms often lack costeffective and easy-to-use solutions. Instead, instructors mostly use either a standard laser pointer, or a computer mouse or touchscreen on a laptop or tablet computer to interact with the content of their presentation slides on large screens. Our research investigates the possibility of using relatively inexpensive, consumer-grade tracking devices that can be easily installed in classrooms and inertial sensors that can be held in an instructor’s hand to support this type of interaction. Our goal was to provide more functionality than a simple laser pointer. We compared the accuracy and ease of pointing performance using our new system to a high-end research system and to a computer mouse. We used a Fitts’s law paradigm to experimentally evaluate pointing performance and accuracy. We found that our low-cost system is as accurate and as fast as the high-end research system and, somewhat surprisingly, also as accurate as a computer mouse. Because of the large size of the displays in classrooms and the small tracking volumes of most consumer-grade tracking systems, we investigated the possibility of using multiple off-theshelf hardware units connected with each other to maximize the coverage area at the front of a classroom. We present a possible design that could be scaled to enough devices connected together to cover the front area of a classroom of almost any size. Our investigation was not conclusive. It requires additional research to prove the feasibility of our system in real classroom environments.
Neural-network-based adaptive leader-following consensus control for second-order non-linear multi-agent systems

In this study, a novel adaptive neural network (NN)-based leader-following consensus approach is proposed for a class of non-linear second-order multi-agent systems. For the existing NN consensus approaches, to obtain the desired approximation accuracy, the NN-based adaptive consensus algorithms require the number of NN nodes to must be large enough, and thus the online computation burden often are very heavy. However, the proposed adaptive consensus scheme can greatly reduce the online computation burden, because the adaptive adjusting parameters are designed in scalar form, which is the norm of the estimation of the optimal NN weight matrix. According to Lyapunov stability theory, the proposed approach can guarantee the leader-following consensus behaviour of non-linear second-order multi-agent systems to be obtained. Finally, a numerical simulation and a multi-manipulator simulation are carried out to further demonstrate the effectiveness of the proposed consensus approach.
Word domains and downstep in Bamileke-Dschang

The theoretical significance of the Bamileke-Dschang tone system has been evident since Tadadjeu (1974) first pointed out the unusual tonal oppositions found in this language. Whereas the majority of languages with tonal downstep permit this entity (! ) only between high (or, perhaps more generally, only between non-low) tones, Dschang contrasts H and ! H after both high (H) and low (L) tones and also contrasts L and ! L tones as well. The detailed account provided in Hyman & Tadadjeu (1976) has led to further comments, reactions and reanalyses, including Clark (1979), Hyman (1979), Watters Anderson (1980), Stewart (1981), Hyman (1982), Pulleyblank (1982, 1983), and an exchange of letters between M. Halle, S. C. Anderson and myself in 1981–1982.
Automatic defect characterisation in ultrasonic NDT

This paper reports results of the project concerned with development techniques for automatic defect characterisation based on ultrasonic data. The goal of the project was to develop a software tool facilitating interpretation of flaw signatures obtained from pulse-echo ultrasonic measurements. A neural network processing outputs from specialised feature detectors was used for the characterisation. Different ways of feature extraction and flaw position estimation are presented and discussed. In the experimental part ultrasonic measurements performed on welded carbon steel blocks including 36 different “natural” defects implanted into V-welds are shortly presented. The flaw population was divided in three major groups, sharp flaws (various types of cracks and lack of fusion), soft types of flaws (slag, porosity and over-penetration), and defect at the bottom of the weld. A large amount of Band D-scan data was acquired using 6 different angle transducers. The evaluation of these measurements resulted in the conclusion that the signal variation within a certain class of defects was considerably larger than the corresponding variation found in signals from artificial and simulated defects. Steel block measurements also revealed that some of the defect types were hard to distinguish, particularly if only traditional features like, fall/raise times, pulse duration and echo-dynamics were used. To overcome this difficulty a more powerful feature extraction method was proposed, using discrete wavelet transform. In conclusion, difficulties encountered in automatic flaw classification are discussed and possible solutions are presented.
Closure Strategies for Turbulent and Transitional Flows

Turbulence modelling is a critically important area in any industry dealing with fluid flow, having many implications for computational fluid dynamics (CFD) codes. It also retains a huge interest for applied mathematicians since there are many unsolved problems. This book provides a comprehensive account of the state-of-the-art in predicting turbulent and transitional flows by some of the world’s leaders in these fields. It can serve as a graduate-level textbook and, equally, as a reference book for research workers in industry or academia. It is structured in three parts: Physical and Numerical Techniques; Flow Types and Processes; and Future Directions. As the only broad account of the subject, it will prove indispensable for all working in CFD, whether academics interested in turbulent flows, industrial researchers in CFD interested in understanding the models embedded in their software (or seeking more powerful models) or graduate students needing an introduction to this vital area.
A linear merging methodology for high-resolution precipitation products using spatiotemporal regression

Currently, the only viable option for a global precipitation product is the merger of several precipitation products from different modalities. In this article, we develop a linear merging methodology based on spatiotemporal regression. Four highresolution precipitation products (HRPPs), obtained through methods including the Climate Prediction Center's Morphing (CMORPH), Geostationary Operational Environmental Satellite-Based Auto-Estimator (GOES-AE), GOES-Based Hydro-Estimator (GOES-HE) and Self-Calibrating Multivariate Precipitation Retrieval (SCAMPR) algorithms, are used in this study. The merged data are evaluated against the Arkansas Red Basin River Forecast Center's (ABRFC's) ground-based rainfall product. The evaluation is performed using the Heidke skill score (HSS) for four seasons, from summer 2007 to spring 2008, and for two different rainfall detection thresholds. It is shown that the merged data outperform all the other products in seven out of eight cases. A key innovation of this machine learning method is that only 6% of the validation data are used for the initial training. The sensitivity of the algorithm to location, distribution of training data, selection of input data sets and seasons is also analysed and presented.
Application of information criteria for the selection of statistical fast fading model of the radio mobile channel

Modeling of the reason why several electromagnetic phenome of statistical distribution context, our problematic with radio channel behav years. Thus, the Kolmogo usually employed by the other approaches like probability density functi are obtained empirically propose approaches allo approaches are based on stable with the optimal hi reliable than the KS test . Pereira, G. Coq, X. Li, Y. Pousset, C. Olivier, . Alata, R. Vauzelle, M. Arnaudon and P. Combeau Application of Information Criteria for the Selection of the Statistical small scale Fading Model of the Radio Mobile Channel RE CNRS 3167 TELECOM Bretagne/Departement Micro-Ondes Technopole Brest REST Cedex 3 (France) s and Applications (LMA), University of Poitiers, UMR CNRS n°6086, Teleport 2 Bvd . 30179 86962 Futuroscope Chasseneuil Cedex (France) unications (SIC) Laboratory, University of Poitiers, UMR CNRS n° 6172 Bât. SP2MI Pierre Curie B.P. 30179 86962 Futuroscope Chasseneuil Cedex (France) Xiang.li, pousset, olivier, alata, vauzelle, combeau}@sic.sp2mi. univ-poitiers.fr . coq, Marc.Arnaudon}@math.univ-poitiers.fr radio channel behavior is very important for digital communication. It is propagation models have been implemented to take into account the na inherent to the radio wave channel. So, among these models is the family s, fast in computation time, to describe channel fast fading. In this study is to find among the different statistical laws the one which best coincides ior. Different research has been realized on this subject over about twenty rov-Smirnov (KS) test using Cumulative Distribution Functions (CDF) is radio mobile community partly for its simplicity. Nevertheless, there exist Kulback-Leibler (KL) divergence, which consider distances between ons that may be respresented as histograms. The bins of those histograms i.e. the bins are same size and their number is arbitrary. The authors wing optimal histograms in terms of number and size of bins. These Information Criteria and we show the KL discriminative method is more stograms than with the empirical one. Moreover, our approaches are more whatever the number of considered samples. This last point is directly
Actions Duration in Timed Models

This paper introduces a realtime model based on a trueconcurrency semantics, expressing parallel behaviors and supporting at the same time timing constraints, explicit actions durations, structural and temporal nonatomicity of actions and urgency. This model is called Durational Action Timed Automata*. As an application, we propose translating rules from D� LOTOS language specifications to DATA*'s structures.
Forward-link-power control in CDMA cellular systems

The forward-link (base to mobile) power control problem in code-division multiple access (CDMA) cellular systems is studied. For a better understanding of the problem, a simple analytical model is developed for the neighboring-cell interference experienced by users as a function of distance from their home base station. Using this model, the authors investigate the proposed n/sup th/-power-of-distance power control laws, especially with regard to the possibility of a service hole being created. The investigation leads to the shape of the optimum radial distance dependent power control law that will provide uniform service to all the users. <<ETX>>
Hierarchy for classes of projective garbling schemes

Recently, privacy has become one of the hottest topics in the world of the Internet-based communications and computation. Many applications, such as cloud computing and various cloud services, require information security and privacy. However, in many cases the level of security in current solutions is insufficient. Methods to ensure secure multiparty computation have been studied for decades, but because of the needs of the modern computation this topic has recently become increasingly popular. Yao's garbled circuit is one method to compute a function f on an argument x privately without revealing any information about f and x except f(x). Unfortunately, current constructions for garbled circuits have limitations - either efficient construction at the cost of reusability or reusability at the cost of efficiency. In this paper we aim at somewhere between these two extremes by defining new security measures for garbling schemes. These definitions support design of reusable garbled circuits that achieve adaptive security even when the function argument is handled bitwise. Moreover, we show how the new classes are related to the existing security classes of garbling schemes. As a result, we obtain an extended hierarchy for the classes of garbling schemes.
Finite Element Learning Modules as Active Learning Tools

The purpose of active learning is to solicit participation by students beyond the passive mode of traditional classroom lectures. Reading, writing, participating in discussions, hands-on activities, engaging in active problem solving, and collaborative learning can all be involved. The skills acquired during active learning tend to go above and beyond basic comprehension of information covered during a lecture. In fact, the goal of active learning is to not only enable student compre hension, but also to assist the student in cultivating valuable aptitudes for synthesizing, analyzing,
The effectiveness of "theory of planned behavior" in training the correct principles of manual material handling

Aims: In this study, which was done in Persian Gulf Mining and Metal Industries Special Economic Zone, the efficiency of "theory of planned behavior" in training the correct principles of manual material handling was investigated. Materials and Methods: To perform this semi-experimental study, based on the theory of planned behavior and method of manual material handling required questionnaires were prepared. After preliminary studies and determining the reliability and validity of questionnaires, the appropriate study population was selected from the workers, and the questionnaires were filled up through interviews. Results: The results showed that subjective norms (safety factor = 0.51, P < 0.001) are the predictors of behavior intention (performing manual material handling correctly) and behavioral control, as well as behavioral intention, are appropriate predictors for behavior change. Conclusion: This study confirms the efficiency of the theory of planned behavior in modifying the workers′ manual material handling behavior. But since all constructs of the theory of planned behavior could not predict the behavioral intention for correct manual material handling, it can be concluded that for changing the behavioral intention, other theories also should be taken into consideration.
Intelligent recognition of RFID tag position

The antenna height, read field length, and tag direction are very important factors in tag position recognition. Currently, the best tag position on the target objects is found by experimenting all possible cases with a trial-and-error method. Introduced is a method for identifying the best RFID tag position by employing an intelligent tag strength prediction approach using the backpropagation learning algorithm of neural networks. Experiments reveal that the proposed approach gives high prediction accuracy of mostly about 90%.
Informing the elderly

This paper reports an investigation into the provision of information on social benefits and sevices to the elderly. It was found that most agencies rely heavily on leaflets. A selection of these were evaluated and most were found to be difficult, dull and confusing; a survey of elderly people revealed that few could recall seeing them, and few professionals used them. The survey also showed that the most house-bound were the least well-informed and contact with family, friends, doctors and social workers did not improve matters. One conclusion was that much money is spent on information which is seen by just a few.
Do Business Communication Courses Improve Student Performance in Introductory Marketing?

In this study, the authors investigated whether completion of a business communications course improved student performance in an introductory marketing management course. Regression analysis indicated that students who completed the communications course received higher grades than the otherwise comparable students. In addition, marketing majors and students with high college grade point averages (GPAs) earned better grades in the marketing course. After controlling for college GPA, the authors found that log-linear analysis supported the regression findings by showing a partial association between the grades in marketing and completion of the communications course.
OPACs, Users, and Readers’ Advisory: Exploring the Implications of User-Generated Content for Readers’ Advisory in Canadian Public Libraries

This article examines the contribution of social discovery platforms and user-generated content (UGC) on readers’ advisory (RA) services in Canadian public libraries. Grounded Theory was used to conduct a content analysis of library-assigned subject headings and UGC of 22 adult fiction titles in 43 Canadian public libraries that use BiblioCommons, SirsiDynix, and Encore social discovery platforms. Findings indicate that UGC complements the MARC bibliographic record as it provides insight into the subject of a work, its protagonists, and the effect the book has on readers. User-generated reviews provide a rich data set that clearly connects to known RA access points.
Addressing the Nets for Students Through Constructivist Technology Use in K–12 Classrooms

The National Educational Technology Standards for Students promote constructivist technology use for K-12 students in U.S. schools. In this study, researchers reported on 716 cases in which teachers described technology-based activities they conducted with their students. Narrative analysis was used to examine case transcripts relative to the NETS*S, and the constructivist principles that support them. Findings suggest teachers' instructional technology use has shifted from the drill-and-practice and word-processing usage that was so pervasive in the 1980s and 1990s, to more constructive hands-on tool-based uses. However, teachers missed opportunities to engage their students in higher-order thinking when they limited problem-solving potential and over-structured student design activities.
Secure voice over GSM and other low bit rate systems

The GSM speech service is secure up to the point where speech enters the core network but over the core network it has no security. In order to have an end-to-end security, speech must be encrypted before it enters the GSM network. The reason for not using encryption at the input of the GSM handset is that the encrypted speech signal would be randomised and would not exhibit the speech like characteristics on which the GSM speech transcoding principles are based. Hence die encoded signal would be significantly distorted by the GSM transcoding process, making the resultant signal unsuitable for the decryption process. Here we present a method that allows encryption at the input to the GSM terminal by modulating the encrypted data onto speech-like waveforms, so that it goes through the GSM system with sufficient accuracy to be decoded and decrypted at the receiving end. Throughputs of 3 and 4 kb/s have been achieved with the modulation introducing 0.5% and 4% bit error rates (BER) respectively. With the addition of error correcting codes near zero BER has been achieved at 1.8 kb/s, allowing the robust transmission of the bitstream from a modem low-bit rate speech coder. (4 pages)
A New Tool in the Toolbox: Electron-Withdrawing Group Activated Ruthenium Catalysts for Olefin Metathesis

Abstract This account describes the discovery and development of efficient electron-withdrawing group activated Hoveyda–Grubbs catalysts, including a nitro-substituted catalyst and their applications in the syntheses of complex molecules. 1 Introduction 2 EWG-Activated Hoveyda–Grubbs Complexes 2.1 The Discovery and the Story Behind It 2.2 The Nitro-Substituted Hoveyda–Grubbs Catalyst 2.3 pH-Responsive Catalysts 2.4 Fine-Tuning of the EWG Fragment 3 Applications of the Nitro-Substituted Hoveyda–Grubbs Catalyst in the Preparation of Compounds of Biological Relevance 3.1 Synthesis of BILN 2061 4 Concluding Remarks
Pentalead Tris(vanadate) Iodide, a Defect Vanadinite-Type Compound.

A single crystal of eb9.85(VO4)611.7 w a s grown at 1073 K from a mixture of lead vanadate and lead iodide. The structure is of the apatite type with a deficiency of lead iodide. The Pb atom is distributed equally in sites I and II of apatite. The Pb 2+ lone pair induces displacements of the Pb, O and I atoms out of their apatite sites. The apatite structure is preserved by an 'under-stoichiometry' of lead iodide, which allows the distortions to relax.
Implementing the LASO model: development of a pilot online course at the Faculty of Engineering and Technology, University of Botswana

This paper reports on the process of developing a blended online engineering course at the Faculty of Engineering and Technology of the University of Botswana. It presents the actual development process in terms of its management, the University's preferred pedagogical approach to student‐centred learning and the consequent technological choices and deployment. In that regard, the paper will demonstrate the development of the Electrical principles course (EEB211) focusing attention on what was done, how and what result was achieved. This paper will be a useful reference for all those staff expected to develop their online courses alongside their normal face‐to‐face lectures.