Miracle-dz/UniFAR-FTUs huggingface dataset:
Development of Multicore Computing for a Cloud-Based Unikernel Operating System

The cloud computing is going to change the IT design methodologies. This infrastructure requires innovation in order to enhance efficiency and functionality. One of the key element in the could infrastructure is the operating system which manages application and services. Hence, the operating system customization specifically for the cloud computing can enhance efficiency, scalability, and functionality. The Unikernel operating system will be the next generation of cloud operating systems and introduces a generative mechanism for the information infrastructure in the cloud. Since the processor vendors produce new processors with more independents cores inside and the cloud infrastructure equipped with high-end hardware and massive computing power, therefore the Unikernel operating systems should use this high computing power. Hence, the multicore computing can be a requirement for Unikernel operating system in order to enhance the performance and efficiency. Indeed, this thesis developed multicore computing for a Unikernel operating system such that it utilized new approaches in order to deal with multicore computing challenges in the virtual environment. The development provides the Unikernel operating system with as many cores as the virtualization platform can allocate to a virtual machine. Therefore, the new solutions developed in order to deal with the race condition, shared data and task management in the multicore environment. Finally, the results demonstrated that the multicore computing for an IncludeOS Unikernel operating system achieved better performance than a regular operating systems such as Ubuntu. Hence, the multicore computing enhances the efficiency, performance, and functionality of the Unikernel operating systems. Consequently, Unikernel operating systems can compete with existing solutions as a cloud operating system.
Examining the Validity of Single-Occasion, Single-Genre, Holistically Scored Writing Assessments

This chapter presents a study exploring two key assumptions underlying the use of scores generated from single-genre, single-occasion, holistically scored writing assessments in large-scale assessments for evaluating progress toward state writing standards: (1) a student's writing ability across genres is sufficiently stable as to allow for performance in a single genre (e.g., story) to represent a student's performance in alternative, unassessed genres (e.g., persuasive, or informative); and (2) a holistic score is a valid and adequate measure of the multiple writing abilities which it purports to represent. One hundred and five 5th-grade students completed three compositions: story, persuasive, and informative. Each composition was scored for essential genre elements, paragraph conventions and construction, sentence construction and conventions, and vocabulary. The results from the study suggest that the writing assessments may provide limited information about a student's writing performance across the range of skills represented in a state's writing content standards. Keywords:holistic quality score; informative writing; large-scale writing assessments; performance assessment; persuasive writing; single-genre, single-occasion, holistically scored writing assessments; story writing
Enhancing the Students Writing Ability by Using Comic Strips

This article reports on the results of a study aiming to investigate whether the comic strips can help students to enhance their writing skill in English. This study was conducted at the tenth class of SMA Negeri I Tapa 2014/2015 in academic years with 25 students as the participants. The text in focus was narrative. The study used an action research by using Kemmis and Taggart‟ s design that consists of four steps, namely planning, acting, observing, and reflecting. The data were collected from observation and written test. The data of observation were obtained the teacher and students‟ activities in teaching learning writing. Whereas, the data of written test were obtained from the students‟ writing task in every cycle. Some aspects used to analyze the students writing ability, namely content, organization, vocabulary, language use and mechanics ones. The results indicates that despite some aspects that still need improvement, the use of comic strips can enhance students writing skill in narrative text. The portraits of students‟ progress in writing English narrative text of some cycles show that in the first cycle, only four of twenty five students (16%) who can write narrative texts as the successful indicator 80%. In the second cycle, ten students (40%) were success, then in the third cycle, twenty two students (88%) could reach the value 80 or more as the criteria of successful. Observation data shows that the students were motivated to write English narrative text by using comic strips both in group and individual works. Whereas, the commitment of English teacher as a model and colleagues to reflect and to renovate the teaching and learning process was running well on each cycle. Based on the results of the study, it is recommended that comic strips be implemented in other genres, notably recount text or other language skills, and other countries.
Use of Current Educational Technology in Science Education: A Scoping Review

Calismanin amaci ortaokul fen ve teknoloji derslerinde kullanilan egitim teknolojilerinin neler oldugunu belirlemek, avantajlarini ve sinirliliklarini tespit etmektir. Bu baglamda 2012-2016 yillari arasinda Yuksekogretim Kurulu Yayin ve Dokumantasyon Daire Baskanligi kapsaminda hizmet veren Ulusal Tez Merkezinde yayimlanmis egitim teknolojilerinin fen ve teknoloji derslerinde kullanilmasi ile ilgili 393 tez calismasi incelenmistir. Bu inceleme, Kapsamli Belirlenmis Tarama Calismasi yontemi kullanilarak yapilmis ve 12 doktora ve 34 yuksek lisans tezi analiz edilmistir. Bu yontemin kullanimi icin izlenilecek yol Arksey ve O’ Malley (2005)’in ortaya koydugu cerceve dâhilin de yurutulmustur. Bu cercevenin asamalari su sekildedir; (1) Arastirma sorularinin belirlenmesi, (2) Ilgili calismalarin belirlenmesi, (3) Calismalarin secimi, (4) Verilerin grafik haline getirilmesi, (5) Sonuclarin harmanlanmasi, ozetlenmesi ve raporlanmasidir. Tez secim surecinde PRISMA (2009) modeli kullanilmistir. Calismanin bulgulari incelendiginde akademik basari icin listelenen tezlerin %91,1’inde, fen ve teknoloji dersi tutumuna olan etkisi listelenen tezlerin %78,2’sinde, egitim teknolojilerinin bilgi kaliciligina etkisi listelenen tezlerin %77,7’sinde istatistiki acidan anlamli bir farklilik oldugu gorulmektedir. Calismada listelenen tezlerin genelinde( %89) yari deneysel yontem kullanildigi, az da olsa karma yonteminde tercih edildigi gorulmektedir. Bu yontemlerin kullanildigi tezlerde ise veri toplama araci olarak basari ve kalicilik testleri, tutum, motivasyon vb. olcekleri ve acik uclu sorulara rastlanmaktadir.
Prototype design, modeling, and experimental research of a novel lower limb powered exoskeleton

In this paper, a new type of lower limb powered exoskeleton is presented, which is based on a screw-nut actuated mechanism to help paraplegics to stand, walk and accomplish activities of daily living. The Denavit–Hartenberg method and the Kane method are adopted to establish a kinematic and dynamic model of novel lower limb powered exoskeleton to analyze the workspace and the control strategy simulation. A double-closed loop control strategy is proposed to ensure precision, and its effectiveness is validated. The results of prototype gait control and patient experiments show that the new type of lower limb powered exoskeleton can enable patients to realize stable and smooth walking.
Efficient Hosted Interpreter for Dynamic Languages

Motivated by high development costs, production compilers and virtual machines, often support more than one language. This strategy is most effective when the language family is homogeneous. Many languages are very amenable to static program analysis, however, dynamic languages are not. Consequently, a single VM cannot deliver peak performance for both types of languages without adapting its optimization strategy accordingly.Informally, we host a “highly dynamic” language (Python) on the Java Virtual Machine, a VM for “moderately dynamic” languages. While we are not the first to do so, our approach diverges from current practice by representing Python programs as abstract syntax trees, ASTs, rather than bytecode. Not only are ASTs the simplest and most natural programming language implementation, they also lend themselves well to optimizations those are particularly beneficial to highly dynamic languages. Compared to Jython, which compiles Python programs to Java bytecode, our Python prototype is faster and requires less implementation effort.
Parallel Optimization of Polynomials for Large-scale Problems in Stability and Control

In this thesis, we focus on some of the NP-hard problems in control theory. Thanks to the converse Lyapunov theory, these problems can often be modeled as optimization over polynomials. To avoid the problem of intractability, we establish a trade off between accuracy and complexity. We develop a sequence of tractable optimization problems - in the form of LPs and SDPs - whose solutions converge to the exact solution of the NP-hard problem. However, the computational and memory complexity of these LPs and SDPs grow exponentially with the progress of the sequence - meaning that improving the accuracy of the solutions requires solving SDPs with tens of thousands of decision variables and constraints. Setting up and solving such problems is a significant challenge. The existing optimization algorithms and software are only designed to use desktop computers or small cluster computers - machines which do not have sufficient memory for solving such large SDPs. This in fact is the reason we seek parallel algorithms for setting-up and solving large SDPs on supercomputers. We propose parallel algorithms for stability analysis of two classes of systems: 1) Linear systems with a large number of uncertain parameters; 2) Nonlinear systems defined by polynomial vector fields. First, we develop a distributed parallel algorithm which applies Polya's and Handelman's theorems to some variants of parameter-dependent Lyapunov inequalities with parameters defined over the simplex. The result is a sequence of SDPs which possess a block-diagonal structure. We then develop a parallel SDP solver which exploits this structure to map the computation, memory and communication to a distributed parallel environment. Numerical tests on a supercomputer demonstrate the ability of the algorithm to efficiently utilize hundreds and potentially thousands of processors and analyze systems with 100+ dimensional state-space.
Keyword Detection in Text Summarization

Summarization is the process of reducing a text document in order to create a summary that retains the most important points of the original document. As the problem of information overload has grown, and as the quantity of data has increased, so has interest in automatic summarization. Extractive summary works on the given text to extract sentences that best convey the message hidden in the text. Most extractive summarization techniques revolve around the concept of indexing keywords and extracting sentences that have more keywords than the rest. Keyword extraction usually is done by extracting important words having a higher frequency than others, with stress on important. However the current techniques to handle this importance include a stop list which might include words that are critically important to the text. In this thesis, I present a work in progress to define an algorithm to extract truly significant keywords which might have lost its significance if subjected to the current keyword extraction algorithms.
Advances in Semantic Media Adaptation and Personalization, Volume 2

Now that text-based search engines have begun to give way to content- and context-aware engines, advanced network infrastructures are starting to emerge. These infrastructures are capable of end-to-end ubiquitous transmission of multimedia content to any device, fixed or mobile, on any network, wired or wireless, at any time. This book is a collection of expanded papers presented at the 2007 2nd International Workshop on Semantic Media Adaptation and Personalization. It explores recent and new developments in the field of semantic media adaptation and personalization. Topics discussed include the challenges of collaborative content modeling, video adaptation, information retrieval techniques for semantic media adaptation, and podcasting.
Algorithm for Replica Placement Based on p-median Location in Grid Environment

Based on p-median location,a dynamic algorithm for multi-replica placement was proposed to solve the problem of replica placement.The algorithm regulates the numbers of replica,and minimizes the objective function(total cost) by computing functions of network bandwidth,sizes of storage space,and the number of documents requested,finally decides the locations of replica and adjusts it according to the environment dynamically.Using the OptorSim simulator we analyze the effects of replica numbers and storage spaces on replica replacement.The results show that the algorithm can reduce data transmission times and network utilizations compared to the methods of LRU and economy-based model.
Prototype of an Interactive Case Library for Architectural Design

Architects acquire an important part of their design knowledge from existing designs. Specific design projects from the past form an indispensable source of information and inspiration. Hence the idea to develop a digital library of design cases that can be easily accessed during design. The paper describes a recently developed prototype of such a case library, intended to assist architecture students in the studio, yet with the potential of expansion into the office setting. When students enrol into a design project, they usually receive a reader with some relevant examples. At first sight, the digital case library only seems to represent these examples into another medium, yet there are some important differences between both. Unlike the reader, the library has at its core an indexing-system which allows the easy retrieval of relevant information. By labelling projects with several features and making links between similar designs, the tool supports both directed search and browsing. A second difference is that the library is interactive. Students are not only able to consult interesting examples, but also to add other projects they consider relevant, to make links between them, to create extra indices etc. Finally, the tool allows to combine several media and to create links to external information sources.
Study of BoF Model Based Image Representation

Designing a suitable image representation is one of the most fundamental issues of computer vision.BoF model is very popular and used extensively in image classification,video search,robot localization and texture recognition.BoF feature is an orderless collection of quantized local image descriptors.While this feature representation discards structural and spatial information,BoF model is conceptually and computationally simple,even as good as stateof-theart methods.Three steps in the popular BoF were studied in detail,including feature extraction,feature coding and feature pooling.In the end,the main problems and challenges were highlighted based on analysis of current research technique.
Recognition of ultrasound images using wavelet transform and artificial neural networks

It is presented the development of two methods for recognition of ultrasound images (US) using artificial neural networks (ANN). In the first method, a neural network of the backpropagation type was used, and the second one it has been implemented a stage of extraction of characteristics applying the wavelet transform before ANN using. The experimental results have shown the advantages and drawbacks of each a method
Octogones entiers pour le problème RCPSP

En programmation par contraintes, l'efficacite des solveurs est principalement due aux contraintes globales qui encapsulent des algorithmes de resolution specifiques. Une consequence est la proliferation de centaines de contraintes globales qui sont specialisees pour des problemes tres particuliers. Dans cet article, nous etudions une approche basee sur les domaines abstraits de l'analyse de programmes par interpretation abstraite. Les domaines abstraits permettent de resoudre efficacement des conjonctions de contraintes primitives dans un langage fixe. Essentiellement, nous utilisons une decomposition de la contrainte globale \texttt{cumulative} vers des conjonctions de contraintes primitives pouvant etre prises en charge par les domaines abstraits. Le premier avantage est que ces derniers sont moins nombreux car plus generalistes, et peuvent donc etre reutilises sur une gamme de problemes plus large. Le deuxieme est que ces domaines abstraits peuvent echanger des contraintes grâce a la technique du produit reduit issue de l'interpretation abstraite. La contribution principale est d'utiliser les contraintes reifiees afin de programmer cet echange d'information entre le domaine abstrait des intervalles et des octogones. Nous explicitons cette approche sur le probleme de gestion de projet a contraintes de ressources (RCPSP). Les experimentations preliminaires montrent que l'approche offre un bon compromis entre efficacite et expressivite.
THE EFFECTIVENESS OF PROCESS APPROACH IN TEACHING WRITINGVIEWED FROM STUDENTS’ LEVEL OF CREATIVITY AND ITS IMPLICATIONTOWARDS WRITING ASSESSMENT

Writing is a complex process which needs knowledge, skill and creativity. Compared to other countries, the ability and productivity of Indonesian students in writing is still far from being satisfiying. One of the proofs is that there are around 13.047 journals in Indonesian Scientific Journal Database. This number is considered very low compared to Malaysia with 55.211 journals and Thailand 58.931 journals. So far, Many attempts have been made to improve students writing skill and productivity, including making use of approaches and methods in teaching writing. This paper presentation discusses about the effectiveness of process approach in teaching writing viewed from the students’ creativity in junior high school. This is an experimental study which uses analysis of variance ( ANOVA ) and Tukey’s test as the statistical methods. The result shows that though the use of process approach gives better result than product approach, the difference is not significance. Moreover, students’ level of creativity has influence to the students’ writing skills. Further, It is hoped that this paper can give significance to the development of teaching writing practice and writing assessment. The target audience of this presentation are mainly teachers, curriculum designers and book writers. Keywords: Process Approach, Teaching Writing, Creativity, Writing Assessment
ARTIFACTS REMOVAL AND FEATURE EXTRACTION SCHEME FOR STEADY STATE VISUAL EVOKED POTENTIAL BASED BRAIN COMPUTER INTERFACE

Steady State Visual Evoked Potential (SSVEP) based Brain Computer Interface (BCI) systems allow individuals with motor disabilities to use their brain signals to control and communicate with external devices whenever they intend to. These systems are required to remain inactive during all periods in which users do not intend control referred as No Control (NC) Commands and to identify the user’s intentional control (IC) commands. This thesis proposes three schemes related to the design of SSVEP based BCI systems. i. Electrode Montage Scheme and EEG signal Recording ii. Artifact Removal Scheme iii. Feature Extraction For the recorded EEG composite signal the frequency ranges corresponds to stimulus related Visual Evoked Potential (VEP) Components. The resulting Spectrum provides VEP frequency band detection. Using this identified frequency ranges EEG artifacts can be reduced. From the output of a visual stimulation paradigm, i.e., electroencephalogram (EEG), the proposed scheme localizes the presence of delta, theta, alpha, beta frequency ranges using parameters such as Spectral Profile (SP) and Peak Power Frequency (PPF). The time-shift based denoising separation extracts specific features using wavelet transforms, which demarcate stimulus evoked features from various rhythms of EEG. This scheme shifts the waveforms by a series of time delays and subsequently linear combinations are formed by repetitive stimulus presentations. The results demonstrate that Bipolar montage scheme can be used as effective montage scheme for SSVEP based BCI. Potential distribution across various regions of the brain for a specific event represented by single map and tri map supports the effectiveness of feature extraction scheme. The efficiency of the artifact removal scheme is substantiated through comparison of two factors True Positive Rate (TPR) and False Positive Rate (FPR) for SSVEP based BCI systems.
Factors influencing the number of computers in libraries: An exploratory white paper

As chair of the Standards Committee of ACRL’s College Libraries Section, I received emails from a number of librarians engaged in planning new or renovated libraries. They sought an official ACRL document that would provide guidance on how many computer workstations should be planned for their project. But, the 2004 Standards for Libraries in Higher Education consciously had moved away from such quantitative measures.
Game Invaders: The Theory and Understanding of Computer Games

Presenting a holistic and thoroughly practical investigation of the true nature of computer games that arms readers with a small yet powerful set of theories for developing unique approaches to understanding games. Game Invaders fully integrates genre theory, new media aesthetics, perceptual opportunities, and semiotics into a practical DIY toolkit for games analysisoffering detailed guidance for how to conduct in-depth critiques of game content and gameplay.Featuring an informal and witty writing style, the book devotes a number of chapters to specific games from all eras, clearly demonstrating the practical application of the theories to modern, large-scale computer games. Readers will find: Suggestions on how to apply the DIY package to major issues central to understanding computer games and their design Coverage of the semiotics of video games, laying the foundation for such topics as the role of agency and virtual storytelling Tasks and solutions for readers wishing to practice techniques introduced in the book A companion website featuring access to an app that enables the reader to conduct their own activity profiling of gamesAn important resource for those wishing to dig deeper into the games they design, Game Invaders gives game designers the skills they need to stand out from the crowd. It is also a valuable guide for anyone wishing to learn more about computer games, virtual reality, and new media.