Miracle-dz/UniFAR-FTUs huggingface dataset:
Multiple Centroid-Based Multi-Object Tracking by Decision Making

Multiple object tracking(MOT) has many applications in different life scenes, such as autonomous driving and traffic management. A novel approach to object predictive tracking, which is based on the Multiple centroid, is proposed in this paper to overcome the problems of occlusion, scale changes and shape, which cause the situation to lose object. Firstly, we formulate the MOT problem as decision making in Markov Decision Processes, where the lifetime of an object is modeled with a Markov Decision Process. Secondly, the object region is selected as the tracking region in the video to initialize the tracking process. Several image sampling segments are made ready for counting the initial pixels with the gray of a continuous gradient features pixels, which have the same gray-scale changes in intensity, and the discrete pixel group centroid(center centroid and edge cen-troid) coordinate is fitting for a time-domain trajectory curve. Edges of spectrum and track of spectrum are calculated by the time-domain trajectory curve. thirdly, we also model the lifetime of every centroid of every object with a Markov Decision Process. Finally, we compare both states and spectrum of each centroid and find the best trajectory. We conduct experiments on the MOT Benchmark[1] to verify the effectiveness of our method. Keywords—multiple object tracking; multiple centroid; edges of spectrum; track of spectrum
Design, Development and Evaluation of a 3D Web-Based Prototype

PREFACE This thesis is about designing, developing and evaluating a 3D web-based prototype to facilitate the learning of abstract concepts within the natural science curriculum for the 10 th grade. This work is divided into several parts. First, the background is presented giving an insight of what motivated this project. Thereafter, a theoretical framework is discussed in details for designing and developing web-based leaning environments. A discussion of some developing models is taken, and the chosen design model is explained in details; followed by a detailed description of how all the steps of the planning, design and development phases were applied for producing the 3D web-based prototype (henceforth: 3D prototype). An evaluation section is dedicated to present the evaluation methods, results and data analysis. At the end, a discussion of some suggested improvements and conclusions are presented. Acknowledgments I would like to express my thanks to:-Professor Konrad Morgan from InfoMedia, University of Bergen for supervising my work and giving me good advice-Professor Barbara Wasson from InfoMedia, University of Bergen for helping me getting started with this project and supervising my work at the beginning-Teacher Helga Sunde, from Ytrebygda Middle School, Hjellestad, Bergen, for actively participating in this project and letting me use her students during the design and the evaluation-Sr. Product Manager of Web3D/Atmosphere, Bahman Dara from Adobe Systems Inc. For letting me to participate in a pre-release program for testing Adobe Atmosphere building tool, used to build the 3D prototype helping me editing this thesis-Advisor Rune Baggetun, from InfoMedia, University of Bergen for giving me technical aid and providing the necessary assistance in order to secure all the files included in the 3D prototype-All the teachers and students who kindly participated in the evaluation of the 3D prototype 2 INDEX During the spring semester of 2003 and while taking the course of pedagogical information science, two fellow students and I wrote two papers about evaluating, designing and implementing web-based 3D learning environments (Louis, Breien & Reigstad, 2003). We discovered that in recent years there was a growing interest in the development of 3D virtual learning environments with the use of avatars and chat functionality on the Web, for instance, Active Worlds [1a], Active Worlds Educational Universe [1b] and EduAction [2]. The work I did during the spring semester while taking the course of pedagogical information science, motivated me to write a thesis about a 3D web-based learning environment. Another …
Effect on Superficial Variability of Examples on Learning Applied Probability

Effect of Superficial Variability of Examples on Learning Applied Probability Tiantian Jin Learning through examples is a central and widely used instructional device for teaching mathematically-based subjects such as statistical probability. However, the applications of the superficial variability of examples remain controversial. This dissertation investigates how the superficial variability of multiple examples influences students’ learning and transfer of probability problem-solving. Moreover, the author discovers whether content difficulty affects the influence of examples’ superficial variability. Three conditions were developed and compared: consistent-surface condition (CS), varied-surface-within-rule condition (VSWR), and varied-surface-between-rule condition (VSBR). For the purpose of exploration and methodology improvement for the dissertation study, two pilot studies were conducted. However, conflicting results were shown in those two studies. In the first pilot study, students in CS condition performed the worst. In the second pilot study, students in VSBR condition performed the worst. These conflicting results encouraged the author even more to conduct the dissertation study with a larger sample size and improved methodology. In this dissertation study, the author found that students’ performance on the posttests in VSBR was significantly worse than in the other two conditions, which was consistent with the second pilot study, and that their performance in CS and VSWR condition was not different. Contrary to expectation, the strength of the pattern of the effect of the superficial variability of examples did not vary between the easy and difficult types of problems. Moreover, the pattern was the same when the difficulty variable was not included. These results suggested that examples’ superficial consistency between different problem types promotes more effective learning than superficial variation between different problem types. The consistency can be one single cover story used multiple times for each type of problem or the same battery of varied cover stories used repeatedly for different types of problem. Moreover, the pattern of the influence of superficial variability of examples is robust among types of the problem at varying difficulty levels.
Predictive Visual Analysis of Twitter Big Data Originated from Cloud Using Machine Learning Algorithms

Social networks are one of the main sources that generate streams of big data. This in turn creates challenges due to the fact that the data is being collected from servers that are distributed in different geographical locations, often termed as "Cloud". Hence it is suitable to process the data on the cloud itself. In this work we perform predictive visual analysis of big data originated from social networks by considering the micro-blog "Twitter". We perform both graph and non-graph analytics of tweets collected during the key event IPL10 20-20 cricket final match, using machine learning algorithms (Naive Bayes). Also we perform weighted word cloud visualizations, which give improved semantic insights. The results obtained from our work can also help an advertising company to target the key nodes in the network to maximize its coverage, which in turn helps in viral marketing. Existing visualization techniques in the literature highlight topical changes, concept relationships, or physical locations. But the textual content is either unseen or displayed primarily. The proposed scheme works on visualizing real text content, which helps in exploring the hidden semantics.
A Discrete Event-ﬁrst Approach to Collaborative Modelling of Cyber-Physical Systems

In the modelling of Cyber-Physical Systems (CPSs), there are different possible routes that can be followed to gradually achieve a collection of constituent models that can be co-simulated with a high level of accuracy. This paper demonstrates a methodology which initially develops all constituent models at a high level of abstraction with discrete-event models expressed using VDM. Subsequently, a number of these are reﬁned (without changing the interfaces) by more detailed models expressed using different formalisms, and using tools that are capable of exporting Functional Mock-up Units (FMUs) for co-simulation using the Functional Mock-up Interface (FMI). The development team of each of these more detailed models can then experiment with the interactions with all the other constituent models, using the high-level discrete-event versions until higher-ﬁdelity alternatives are ready.
Transforming voluminous data flow into continuous connection vectors for IDS

Handling massive data flows in the online intrusion detection systems is considered one of the major challenges in computer network security. This paper presents a novel method that overcomes this challenge using data mining and statistical techniques. The main contributions of the proposed method are: 1 capturing network traffic and hosts' activities using an intelligent aggregator; 2 introducing a queuing concept of dynamic window size; 3 an improved correlation method between network packets and hosts' events; 4 exporting continuous connection vectors based on certain features set. The proposed method has been evaluated using offline, synthetic, and realistic data flow. Moreover, it is compared to other competent methods. We have examined the plausibility and scalability of the constructed connection vectors by using them in evaluating intrusion detection models.
Multimedia information retrieval based on spatiotemporal relationships using description logics for the semantic web: Research Articles

Since the latter half of the 1990s, ontology has been the main area of study in the semantic web. Ontology has been actively studied in several areas for a long time. There are many ontological applications and construction methods. In the study of the semantic web, ontologies are built using OWL capabilities. However, it is not suitable for managing spatial relationships. To represent spatial relationships, we try to create new vocabularies based on these two theories. Modeling topological relationships are accomplished using a neighborhood graph that only considers topological relatedness. In addition, we define the new vocabulary to represent the spatial relationships based on spatial description logic. In this article, we focus on multimedia information retrieval. We use the new vocabularies that were defined using these two theories for representing spatial relationships in image and video retrieval. © 2006 Wiley Periodicals, Inc. Int J Int Syst 21: 679–692, 2006.
Selective low-pass block edges filtering to standard JPEG quality improvement

There is proposed a very simple and computationally effective method for filtering the block artefacts that appear usually under sufficient magnification on the images restored from the normal JPEG. It differs from many others by the property not to reduce (as a rule), but, in contrary, to improve the quality of already sufficiently high-quality JPEG images both by the objective criterions and visually. The method is to be applied only to the images already restored from the JPEG and thus does not affect the JPEG format itself. Visual quality of the images after processing becomes comparable with a quality of the wavelet processed images which, naturally, have no any blocking artefacts. A trial utility for realising this method for OS Windows (XP and higher) is freely available at the reference http://spritesoft.narod. ru/utilities/jpi/jpi.zip.
Classification of whale and ice sounds with a cochlear model

The authors analyze a cochlear model data representation for use in classifying acoustic transient signals. Comparisons of the cochlear model, short time Fourier transform, and wavelet transform from a filter bank perspective are made. The cochleagram and the spectrogram are used to classify a set of bowhead whales and ice sounds from the Arctic. <<ETX>>
BPORS: Business Process Oriented Recommender System in Public Service Network Platform

At present, the Public Service Network Platform (PSNP) in China generally carries a complex business system. When using such platforms, users often face the difficulty in finding target information caused by the inaccurate guidance information and inflexible feedback information in business process. To solve these problems, this paper introduced recommender system technology into PSNP and proposed the Business Process Oriented Recommender System (BPORS). We have designed an organizational structure for BPORS, and based on that, proposed the Business Process Oriented Recommendation Engine (BPORE) model. This model enables the recommended items at each event node of a business process to be dynamically updated based on users' feedback. For the inevitable system-cold-start problem, we adopted Thompson sampling algorithm combined with industry characteristics to solve it. BPORS has been applied to 101 National Funeral Public Service Network Platform for a period of time. It is proved that BPORS can better understand user and reduce user's time spent on searching content, which achieved the purpose of improving user experience.
Field trial of a speaker verification service for caller identity verification in the telephone network

A field trial of a network-integrated speaker verification system was performed in the NYNEX public switched telephone network in 1993-94. Speaker verification was performed on all calling-card calls placed by NYNEX customers who took part in this trial. Subsequently, a comprehensive impostor field-trial was performed. A variety of phones, channel conditions and caller/calling environments were represented in this large field-trial. The results show that this system performed very well under these real-world conditions. A valid user rejection rate of 1%, which is operationally very desirable, produced an equally low dedicated impostor acceptance of 3.9%. User surveys showed high user preference of this type of service. The paper discusses the results of the field trial in detail. <<ETX>>
DEVELOPMENT OF SCREENING TOOL TOIDENTIFY POTENTIAL IMPLANTABLECARDIAC DEFIBRILLATOR (ICD)RECEIVER

Sudden Cardiac Death (SCD) has become the top killer in many developed country as its survival rate is extreme low. SCD is caused by the ventricular arrhythmias such as ventricular tachycardia (VT). Implantable Cardiac Defibrillator (ICD) is recognized as gold standard for the prevention of SCD. Therefore, it is important to screen patients who are at high risk of SCD, to be the receiver of ICD. MATLAB had been used in establishing the software to detect Heart Rate Variability (HRV) parameter from ECG. This parameter combines with VT condition, post Myocardial Infarction and other medical parameters, play role to screen the patients according to the SCD selection rule chart. The graphical user interface (GUI) has been developed in order to indicate the result of the HRV parameter, ECG graph and the result of the eligibility of patient to be receiver of ICD.
User-centred security event visualisation

Managing the vast quantities of data generated in the context of information system security becomes more difficult every day. Visualisation tools are a solution to help face this challenge. They represent large quantities of data in a synthetic and often aesthetic way to help understand and manipulate them. In this document, we first present a classification of security visualisation tools according to each of their objectives. These can be one of three: monitoring (following events in real time to identify attacks as early as possible), analysis (the exploration and manipulation a posteriori of a an important quantity of data to discover important events) or reporting (representation a posteriori of known information in a clear and synthetic fashion to help communication and transmission). We then present ELVis, a tool capable of representing security events from various sources coherently. ELVis automatically proposes appropriate representations in function of the type of information (time, IP address, port, data volume, etc.). In addition, ELVis can be extended to accept new sources of data. Lastly, we present CORGI, an successor to ELVIS which allows the simultaneous manipulation of multiple sources of data to correlate them. With the help of CORGI, it is possible to filter security events from a datasource by multiple criteria, which facilitates following events on the currently analysed information systems.
A general purpose high speed equalizer

The circuit presented is a high-speed self-adaptive filter achieving equalization over a wide range of signals, with a frequency of up to 40.5 MHz, such as the European D2-MAC and HD-MAC transmission standards. This 105000-transistor chip has been designed in a CMOS 1.0- mu m technology and is being used in a D2-MAC reception environment. In addition to the cabled D2MAC environment, this circuit can be implemented in such applications such as HDTV (HDMAC via satellite transmission). Its frequency (up to 40.5 MHz) and its flexibility due to programmable parameters allow this chip to be integrated in a wide range of systems. <<ETX>>
Statistical methods for cost-effectiveness analysis that use cluster-randomised trials

This thesis considers alternative statistical methods for cost-effectiveness analysis (CEA) that use cluster randomised trials (CRTs). The thesis has four objectives: firstly to develop criteria for identifying appropriate methods for CEA that use CRTs; secondly to critically appraise the methods used in applied CEAs that use CRTs; thirdly to assess the performance of alternative methods for CEA that use CRTs in settings where baseline covariates are balanced; fourthly to compare statistical methods that adjust for systematic covariate imbalance in CEA that use CRTs. The thesis developed a checklist to assess the methodological quality of published CEAs that use CRTs. This checklist was informed by a conceptual review of statistical methods, and applied in a systematic literature review of published CEAs that use CRTs. The review found that most studies adopted statistical methods that ignored clustering or correlation between costs and health outcomes. A simulation study was conducted to assess the performance of alternative methods for CEA that use CRTs across different circumstances where baseline covariates are balanced. This study considered: seemingly unrelated regression (SUR) and generalised estimating equations (GEEs), both with a robust standard error; multilevel models (MLMs) and a non-parametric 'two-stage' bootstrap (TS8). Performance was reported as, for example, bias and confidence interval (Cl) coverage of the incremental net benefit. The MLMs and the TSB performed well across all settings; SUR and GEEs reported poor Cl coverage in CRTs with few clusters. The thesis compared methods for CEA that use CRTs when there are systematic differences in baseline covariates between the treatment groups. In a case study and further simulations, the thesis considered SUR, MLMs, and TSB combined with SUR to adjust for covariate imbalance. The case-study showed that cost-effectiveness results can differ according to adjustment method. The simulations reported that MLMs performed well across all settings, and unlike the other methods, provided Cl coverage close to nominal levels, even with few clusters and unequal cluster sizes. The thesis concludes that MLMs are the most appropriate method across the circumstances considered. This thesis presents methods for improving the quality ofCEA that use CRTs, to help future studies provide a sound basis for policy making.
Pengembangan Model Pembelajaran Kooperatif Tipe Two Stay Two Stray (TSTS) untuk Meningkatkan Hasil Belajar Mata Pelajaran Matematika Murid Kelas V di SDN 17 Langnga-Langnga Kecamatan Minasatene Kabupaten Pangkep

ABSTRAK Tujuan penelitian ini adalah untuk mengembangkan model dan perangkat model pembelajaran kooperatif tipe two stay two stray (TSTS) yang meliputi (1) tingkat kebutuhan; (2) desain; (3) tingkat validitas dan kepraktisan; dan (4) efektivitas model untuk meningkatkan hasil belajar matematika murid kelas V di SDN 17 Langnga-langnga. Penelitian ini termasuk penelitian pengembangan atau dikenal dengan Research and Development (R&D). Proses pengembangan model pembelajaran menggunakan model ADDIE. Uji coba terbatas dilakukan pada 12 orang murid kelas V SD 58 Baru-Baru Utara, sedangkan uji coba lebih luas dilakukan pada 25 orang murid kelas V SD 17 Langnga-Langnga. Instrumen pengumpulan data yang digunakan yaitu: (1) tes hasil belajar matematika, (2) daftar cek validitas model, (3) lembar observasi dan (4) angket respon murid. Teknik analisis data menggunakan analisis statistik deskriptif dan naratif. Hasil penelitian yang diperoleh yaitu (1) Tingkat kebutuhan pengembangan model pembelajaran kooperatif tipe TSTS di SDN 17 Langnga-Langnga sangat dibutuhkan karena dapat mengaktifkan murid, menyenangkan pembelajaran murid, meningkatkan rasa percaya diri murid dan meningkatkan kerja sama dalam kelompok. (2) Model desain pembelajaran kooperatif tipe TSTS disusun mengikuti alur pengembangan ADDIE yang dikembangkan oleh Romiszowki (1996) yang terdiri dari 5 tahapan yaitu: (1) Analysis, (2) Design, (3) Development, (4) Implementation, dan (5) Evaluation. (3) Model pembelajaran kooperatif tipe TSTS dinyatakan valid karena telah memenuhi kriteria validitas sesuai dengan penilaian ahli pada semua aspek meliputi: RPP, buku guru, buku murid, LKM, THB, buku model TSTS, keterlaksanaan perangkat dan angket respon murid yaitu berada di kategori sangat valid. Model pembelajaran kooperatif tipe TSTS dinyatakan praktis karena guru telah mampu melaksanakan sintaks model pembelajaran kooperatif tipe TSTS dan murid juga mampu mengikuti pembelajaran dengan aktif sesuai dengan sintaks model pembelajaran kooperatif tipe TSTS. (4) Model pembelajaran kooperatif tipe TSTS efektif untuk meningkatkan hasil belajar matematika murid kelas V di SDN 17 Langnga-Langnga karena telah memenuhi 3 kriteria keefektifan yaitu: a) ketuntasan hasil belajar, b) aktivitas murid dan c) respon murid.
A method of improving the resolution and accuracy of rotary encoders using code compensation technique

A method for improving the resolution and accuracy of incremental type rotary encoders using a phase encoding and code compensation system is described. Applying this system to an optical incremental encoder whose scale pitch is 1/36000, a rotation resolution of 1/920000 and a better than +or-1/300000 rotation (+or-0.0012 degrees ) precision are obtained. The system can also be used for a precise measurement of speed fluctuation. <<ETX>>
Source: Building a searchable online french greek parallel corpus for the University of Cyprus

This paper gives an overview of the searchable online French-Greek parallel corpus (SOURCe), which aims to serve the needs of students of French as a foreign language and also to facilitate future linguistic research. This project is led by Fryni Kakoyianni-Doa and is fully funded by the University of Cyprus. We included different registers (Biber 1993), so that students may compare the results and the use of each word or phrase in different contexts (e.g., literature, scientific, official, technical and journalistic language). In general, the corpus comprises of a fiction and a non-fiction part. In this article, we describe the design principles and the properties of this French and Greek linguistically annotated corpus, we also report on tools used for the collection, sentence and word alignment, dictionary extraction and POS tagging for the parallel corpus. Finally, we outline its future perspectives and applications, including ongoing work on adverbs and their properties.