Miracle-dz/UniFAR-FTUs huggingface dataset:
Multimedia Science Projects: Seven Case Studies

AbstractThe research reported in this article began as a staff development project in which teachers of Grades 3–11 produced multimedia projects, conducted a similar project in their own classes, and showed their students’ projects at a conference. Researchers acted as participant observers, providing technical support as the students carried out their multimedia projects. Research questions focused on attitudes toward science and multimedia projects, gender differences in attitudes and expertise, and the process of students taking responsibility for their own learning. Data for this qualitative study represented 3 points of view: teachers, students, and research staff. Findings include the following: (a) Most students preferred this kind of project to a term paper, except in one school, where multimedia was “old hat”; (b) students and teachers reported that students had learned a number of skills besides science and computing, including dependability, organization, and interviewing; (c) both girls and bo.
PERFORMANCE PREDICTION OF FUTURE GENERATION COMPUTER SYSTEMS

Choosing the correct parallel algorithm is often a challenging task. Choosing the optimal algorithm not only for current, but also for future computer systems has traditionally been deemed as impossible. In this paper we present a new model for Evolutionary Performance Prediction that is based on, among others, Amdahl’s, Gustafson-Barsis’ and Moore’s laws. We also show how the variables can be determined both theoretically and experimentally through a number of examples. Finally we conclude the article with a discussion of practical limitations and validity of the proposed model.
Effects of Chinese yam polysaccharides on the immune function and serum biochemical indexes of broilers

The purpose of this experiment was to investigate the effects of Chinese yam polysaccharides (CYP) in diets on the immune function of broilers. A total of 360 (1-day-old, sex balance) healthy growing broilers with similar body weight (39.54 ± 0.51 g) were randomly divided into control (0.00 g/kg), CYP I (0.25 g/kg), CYP II (0.50 g/kg), and CYP III (1.00 g/kg) groups. Each group contains 3 replicates with 30 broilers in each replicate, and the feeding trial lasted 48 d. The results showed that compared with the control group, the CYP II group had higher thymus index, serum IgA, complement C3, C4, IGF-I, T3, T4, INS, GH, IL-2, IL-4, IL-6, and TNF-α levels (P < 0.05) at 28, 48 d, respectively. In addition, the spleen index, serum IgM and IgG concentrations in CYP II group were higher than those in the control group at 28 d (P < 0.05). Results indicated that 0.50 g/kg CYP supplementation improved the immune function of broilers, and the CYP has a potential biological function as a green additive in broilers.
Extreme Scale Computing Studies

Abstract : This document is the draft Final Technical Report for Georgia Institute of Technology (Georgia Tech, GT) Project 210667V, "Exascale Computing Study" (ECS). Four studies were conducted to determine the technical developments needed for a 1,000x increase in computational capability by 2015. 1. The Exascale Computing Study, addressing hardware and system architecture issues; 2. The Exascale Computing Software Study, addressing software technologies to effectively utilize extreme levels of concurrency; 3. The Exascale Computing Resiliency Study, addressing practical fault management in extreme scale systems; and 4. The Embedded Extreme-scale System Study, addressing elements of extreme scale applications and benchmarks, low-power algorithms, design simulation methods, programmability metrics, and enabling tools for graphics processing unit use. The studies identified critical technology challenges in power and energy; concurrency; resiliency; and memory and storage. Investments were recommended in locality and parallelism expression and optimization; power management; self-awareness techniques; execution models; extreme scale benchmarks, programmability metrics, low power algorithms, and libraries for graphics processing units.
Decoding oscillatory representations of visual stimuli in episodic memory and working memory

Theories inspired by electrophysiological studies in animals suggest that the replay of past experiences plays an important role in episodic memory as well as working memory; yet very little is known about the neural characteristics of such replay in the human brain. This thesis consists of neuroimaging experiments for studying the temporal characteristics of the replay in the human brain and analytical methods for decoding replay. To that end, oscillatory neural activity patterns were recorded from healthy young adults via a non-invasive electrophysiological technique (Magnetoencephalography, MEG). Firstly, a pipeline for decoding MEG data using machine learning algorithms was eveloped and proposed. Then using an associative recognition experiment, we marked the neural signature for categorical visual information (about faces and scenes) during encoding. These markers of encoding-related experiences were then used for detecting the replay during retrieval - triggered by an associative memory cue. As a result, replay was detected at about 500 ms from onset of the cue. The results suggest that episodic recollection and replay are accomplished within 500 ms. Next, in a working memory experiment, I used item speci c visual information for tracking the replay of oscillatory activity while maintaining that information. Three visual stimuli with presumably distinct cortical representations were selected (types: a face, a banana, and a chair) and presented in a sequential order. Event-related responses during encoding showed a main e ect of item type and working memory load at 400-500 ms from onset of the stimuli. Using a decoding approach, it was possible to categorize oscillatory patterns related to each of the three stimulus types. These decoders are now used as markers of item speci c replay in working memory during the maintenance phase. This analysis is ongoing. Finally, we proposed a pipeline for detecting an optimal feature space for decoding MEG data at a group level because the previous pipeline relied on di erent features across subjects for decoding. Here the Canonical Variates Analysis of beamformer reconstructed MEG data in source space was used. Canonical Variates Analysis stimated the dependency of the selected features of MEG data to the experimental conditions and enabled multivariate decoding of MEG signal in the source space. Thus this proposed method was an optimal way for group level inference of MEG multivariate analysis. Overall, the MEG based decoding of the representation of visual stimuli was shown in source and sensor spaces. Also, our results revealed the temporal characteristic of replay in an episodic memory experiment.
EAGLEView: A surface and grid generation program and its data management

An old and proven grid generation code, the EAGLE grid generation package, is given an added dimension of a graphical interface and a real time data base manager. The Numerical Aerodynamic Simulation (NAS) Panel Library is used for the graphical user interface. Through the panels, EAGLEView constructs the EAGLE script command and sends it to EAGLE to be processed. After the object is created, the script is saved in a mini-buffer which can be edited and/or saved and reinterpreted. The graphical objects are set-up in a linked-list and can be selected or queried by pointing and clicking the mouse. The added graphical enhancement to the EAGLE system emphasizes the unique capability to construct field points around complex geometry and visualize the construction every step of the way.
DESIGN AND IMPLEMENTATION OF A SOFTWARE FOR THE TRAINING AND REAL-TIME ASSESSMENT OF MUSICAL INTONATION AT MUSIC EDUCATION INSTITUTIONS

The development of musical intonation is one of the most difficult and complex tasks of music training. Learning tonal melodic patterns is usually done by imitative processes, that is, first by listening to a model composed of pitched sounds and then by performing it. After doing this, pitch sounds are named by means of some syllabic system like the Guidonian or by means of an arbitrary single syllable. Few advances have been made in this area, aside from use of audio supported guides and some computer programs. Some software, such as Ear Master School and Auralia, uses a microphone whose audio information input is analysed by an algorithm that searches sound frequencies. These programs, however, lack the necessary analytical resolution of algorithms or do not have adequate filters of ambient sounds, resulting in a high error rate in the assessment of student responses. The ongoing research discussed here describes the design and implementation of CANTUS, a software program in HTML5 designed for both learning and real-time assessment of vocal intonation, with and without graphical representations. The aim of this software is to serve as a tool for teachers evaluating and diagnosing issues related to the intonation of tonal patterns by students at conservatories and other music education institutions. CANTUS incorporates the latest research on the use of immediate feedback, both real-time and delayed. The tonal patterns included are composed of up to eight sounds and are designed according to different theories of music learning. There are five working units according to the mode employed: Major, Dorian, Aeolian, Mixolydian, and minor with raised seventh. Also included are patterns with sounds out of the tonality. Execution speed is programmable and includes pitch but not rhythms. Cantus program allows the teacher both to record patterns and to embed them into the program. The evaluation system makes tracking progress possible by means of individual statistics and can also perform an assessment of the ability to read music without sonic imitation. The results can be stored in various media (cloud, email) or printed as pdf. CANTUS can be used on all computer platforms.
Trade Protectionism in Australia: Its Growth and Dismantling

Protection from import competition was a defining feature of the birth of the Australian federation in 1901. For the next 70 years, the extent of protection grew, and broadened from mainly tariffs to also involving import licencing after World War II. There was a one-off 25% across-the-board cut in tariffs in 1973 and some dismantling of agricultural subsidies, but that was followed by the re-imposition of import quotas for the most-protected manufactured goods. Then a new reformist government began, in the mid-1980s, a long process of dismantling all protection as part of an overall economic reform program that also involved de-regulation, privatization and moving to a flexible exchange rate. The rewards included three decades of faster economic growth and an unprecedented rise in Australians' living standards. This paper provides a history of economic thought on the pros and cons of protectionism for the small, distant, natural resource-rich Australian economy and a survey of the literature on the extent, effects and political economy reasons behind the growth of Australian protection and its eventual dismantling.
Morphology and computation

Part 1 Applications of computational morphology: natural language applications speech applications word processing document retrieval. Part 2 The nature of morphology: functions of morphology what is combined, and how? morphemes, the structure of words, and word-formation rules morphotactics - the order of morphemes phonology psycholinguistic evidence. Part 3 Computational morphology: computational mechanisms an overview of URKIMMO augments to the KIMMO approach the computational complexity of two-level morphology other ways of doing computational morphology a prospectus - what is left to do. Part 4 Some peripheral issues: morphological acquisition compound nominals and related constructions.
Détection d'objets en milieu naturel : application à l'arboriculture

Cet article presente une approche de detection de fruits depuis des images acquises par des cameras dans un verger. Le but est de comptabiliser les fruits, ici des pommes de differentes varietes. Nous adaptons une methode classique, basee sur une classification appliquee sur une fenetre de resolution variable, deplacee dans toute l'image : ce classifieur doit au prealable etre entraine sur une base d'apprentissage de grande dimension, construite a partir d'images annotees. Cet apprentissage est requis pour les differentes varietes. Pour limiter le temps lie a la construction de ces bases d'apprentissage, nous proposons d'exploiter toujours la meme base d'images acquises sur des pommes qu'il est possible de segmenter de maniere automatique, typiquement des pommes rouges qui se detachent facilement du feuillage. Nous decrivons les differents classifieurs de type CNN testes pour cette application, exploites en mode prediction-verification. Nous comparons cette approche avec une methode classique de la litterature.
A students' guide to Japanese grammar = (英文) 間違えやすい日本語語法

ＴＥＭＰＯＲＡＬ ＡＮＤ ＲＥＬＡＴＥＤ ＥＸＰＲＥＳＳＩＯＮＳ ＣＯＮＪＵＮＣＴＩＯＮＳ ＡＮＤ ＲＥＬＡＴＥＤ ＥＸＰＲＥＳＳＩＯＮＳ ＰＡＲＴＩＣＬＥＳ ＳＥＮＴＥＮＣＥ‐ＦＩＮＡＬ ＥＸＰＲＥＳＳＩＯＮＳ ＮＯＵＮ ＰＨＲＡＳＥＳ ＶＥＲＢ ＰＨＲＡＳＥＳ ＮＥＧＡＴＩＶＥ ＥＸＰＲＥＳＳＩＯＮＳ
The challenge of validation for autonomic and self-managing systems

The research community has achieved great success in building autonomic systems (AS) in line with the vision of autonomic computing (AC) released by IBM in 2001. The success is gaining ground in addressing the perceived concerns of complexity and total cost of ownership of information technology (IT) systems. But we are now faced with a challenge springing from this very success. This challenge is trustworthiness and there are limited research results published in this direction. This, if not addressed will definitely undermine the success of AC. How do we validate a system to show that it is capable of achieving a desired result under expected range of contexts and environmental conditions and beyond? This paper identifies the challenges and significance of AS validation and proposes a roadmap towards achieving trustworthiness in autonomic systems.
A Scalable Communication Mechanism in Service Emergence Based on Bio-network

可伸缩的通讯机制基于简历网络为服务出现被建议。 服务出现是出现和自我进化的特征在生物 neuroendocrine 和 ininlune 系统鼓舞的一个新奇模特儿，突现的 conununication 意味着活动简历实体的组 conununication。 一系列协议和算法被介绍在以内经常 bioentities 移植和失败，它包括消息繁殖方法，更加改进出现的性能的一个令牌环协议，和结果显示出的失败察觉 mechanisms.Experiment 的分发和 parailelization 经由建议解决方案的需要的能力。
Test of the universality of $\tau$ and $\mu$ lepton couplings in $W$-boson decays from $t\bar{t}$ events with the ATLAS detector

The Standard Model of particle physics encapsulates our current best understanding of physics at the smallest scales. A fundamental axiom of this theory is the universality of the couplings of the different generations of leptons to the electroweak gauge bosons. The measurement of the ratio of the rate of decay of $W$ bosons to $\tau$-leptons and muons, $R(\tau/\mu) = B(W \to \tau \nu_\tau)/B(W \to \mu \nu_\mu)$, constitutes an important test of this axiom. A measurement of this quantity with a novel technique using di-leptonic $t\bar{t}$ events is presented based on 139 fb${}^{-1}$ of data recorded with the ATLAS detector in proton--proton collisions at $\sqrt{s}=13$ TeV. Muons originating from $W$ bosons and those originating from an intermediate $\tau$-lepton are distinguished using the lifetime of the $\tau$-lepton, through the muon transverse impact parameter, and differences in the muon transverse momentum spectra. The value of $R(\tau/\mu)$ is found to be $0.992 \pm 0.013 [\pm 0.007 (stat) \pm 0.011 (syst)]$ and is in agreement with the hypothesis of universal lepton couplings as postulated in the Standard Model. This is the most precise measurement of this ratio, and the only such measurement from the Large Hadron Collider, to date.
The Dominance-based Rough Set Approach (DRSA) Applied to Bankrupcy Prediction Modeling for Small and Medium Businesses

The preferential information given in the form of ranking or classification examples is more natural than those given in the form of functional parameters or the relational model of the preferences. Nevertheless, processing of these data cause certain difficulties related to a lack of coherence and contradictions in these examples. These contradictions often result from granularity of description language, inaccuracy or uncertainty of the information which makes the decision maker hesitate before the decision making. The model of the preferences will not correct or ignore these contradictions, but rather consider them to release a certain doubtful part of them. Then, exploitation of this model within the framework of decisional problems will lead to unquestionable and possible recommendations. The Rough Set Theory takes into account this postulate making the contradiction analyze possible. This theory was introduced in the early 1980s by Polish researcher Z. Pawlak and developed by S. Greco, B. Matarazzo and R. Slowinski as the Data-based Rough Set Approach (DRSA). In this proposal we will apply the DRSA to hybrid bankruptcy prediction modeling for small businesses. In this modeling the discrimination analysis results are used to explain the decision rules obtained from regional experts.
Dynamic structural analysis of beams

The research reviews the various methods, accurate and approximate, analytical and numerical, used for the analysis of beams that are subjected to dynamic loads. A review of previous research is presented. A detailed description of one of the methods, the Simplified Elastic Plastic Method (the SEP Method), a well-developed approximate method, is given. A finite element model, built with the aid of the computer software ABAQUS, is described. Results of 20 experiments made by others are provided and used as a benchmark for the finite element analysis. The methodology used for the validation of the ABAQUS Model and the SEP Method is to do, for various study cases, a comparison between the experimental results, those computed using the ABAQUS Model and those predicted using the SEP Method. Having validated the ABAQUS Model, it has been used as a benchmark with which to check the SEP Method. Therefore, additional cases have been analysed using the ABAQUS Model in order to cover a more comprehensive range of variables. A good agreement has been found between the results. The accuracy of the ABAQUS model and the conservatism of the SEP Method are shown. A design procedure using the SEP Method has been developed. Calibration factors are also proposed in order to reduce the conservatism in the SEP Method. The results and recommendations of the research can be employed in the defence industry, civil and structural engineering. To my father Ghassan my mother Amal my sister Emeline my brother Adonis and his daughter Elissar
Empirical Comparison of Accuracy and Performance for the MIPSVM Classifier with Existing Classifiers

Cyberspace plays an increasingly important role in people’s life due to its plentiful offering of services and information, e.g. the Word Wide Web, the Mobile Web and Online Games. However, the usability of cyberspace services is frequently reduced by its lack of customization according to individual needs and preferences.In this thesis we address the cyberspace customization issue by focusing on methods for user representation and prediction. Examples of cyberspace customization include delegation of user data and tasks to software agents, automatic pre-fetching, or pre-processing of service content based on predictions. The cyberspace service types primarily investigated are Mobile Commerce (e.g. news, finance and games) and Massively Multiplayer Online Games (MMOGs). First a conceptual software agent architecture for supporting users of mobile commerce services will be presented, including a peer-to-peer based collaborative filtering extension to support product and service recommendations.In order to examine the scalability of the proposed conceptual software agent architecture a simulator for MMOGs is developed. Due to their size and complexity, MMOGs can provide an estimated “upper bound” for the performance requirements of other cyberspace services using similar agent architectures.Prediction of cyberspace user behaviour is considered to be a classification problem, and because of the large and continuously changing nature of cyberspace services there is a need for scalable classifiers. This is handled by proposed classifiers that are incrementally trainable, support a large number of classes, and supports efficient decremental untraining of outdated classification knowledge, and are efficiently parallelized in order to scale well.Finally the incremental classifier is empirically compared with existing classifiers on: 1) general classification data sets, 2) user clickstreams from an actual web usage log, and 3) a synthetic game usage log from the developed MMOG simulator. The proposed incremental classifier is shown to an order of magnitude faster than the other classifiers, significantly more accurate than the naive bayes classifier on the selected data sets, and with insignificantly different accuracy from the other classifiers.The papers leading to this thesis have combined been cited more than 50 times in book, journal, magazine, conference, workshop, thesis, whitepaper and technical report publications at research events and universities in 20 countries. 2 of the papers have been applied in educational settings for university courses in Canada, Finland, France, Germany, Norway, Sweden and USA.
Understanding Power Quality Problems: Voltage Sags and Interruptions

"Power quality problems have increasingly become a substantial concern over the last decade, but surprisingly few analytical techniques have been developed to overcome these disturbances in system-equipment interactions. Now in this comprehensive book, power engineers and students can find the theoretical background necessary for understanding how to analyze, predict, and mitigate the two most severe power disturbances: voltage sags and interruptions.This is the first book to offer in-depth analysis of voltage sags and interruptions and to show how to apply mathematical techniques for practical solutions to these disturbances. From UNDERSTANDING AND SOLVING POWER QUALITY PROBLEMS you will gain important insights intoVarious types of power quality phenomena and power quality standardsCurrent methods for power system reliability evaluationOrigins of voltage sags and interruptionsEssential analysis of voltage sags for characterization and prediction of equipment behavior and stochastic predictionMitigation methods against voltage sags and interruptions"Sponsored by:IEEE Power Electronics Society, IEEE Industry Applications Society, IEEE Power Engineering Society.
Oscillating Patterns in Image Processing and Nonlinear Evolution Equations: The Fifteenth Dean Jacqueline B. Lewis Memorial Lectures

From the Publisher: "Image compression, the Navier-Stokes equations, and detection of gravitational waves are three seemingly unrelated scientific problems that, remarkably, can be studied from one perspective. The notion that unifies the three problems is that of "oscillating patterns", which are present in many natural images, help to explain nonlinear equations. and are pivotal in studying chirps and frequency-modulated signals. " "In the book, the author describes both what the oscillating patterns are and the mathematics necessary for their analysis. It turns out that this mathematics involves new properties of various Besov-type function spaces and leads to many deep results, including new generalizations of famous Gagliardo-Nirenberg and Poincare inequalities. " This book can be used either as a textbook in studying applications of wavelets to image processing or as a supplementary resource for studying nonlinear evolution equations or frequency-modulated signals. Most of the material in the book did not appear previously in monograph literature.