Miracle-dz/UniFAR-FTUs huggingface dataset:
DGA and Pareto Elitism : Improving Pareto Optimization

﻿Previous works have shown the efficiency of a new approach for the Genetic Algorithms, the Dual Genetic Algorithms, in the multiobjective optimization context. Dual Genetic Algorithms make use of a meta level to enhance the expressiveness of schemata, entities implicitly handle by Genetic Algorithms. In this paper, we show that this approach, coupled with a new method, Pareto Elitism, leads to very interesting results, in particular on an adaptation for multiobjective optimization of Royal Road Functions, the Multi Royal Road Functions. We begin with a quick reminder on multiobjective optimization, on what makes it different from single objective optimization and what has been done in this context. After this, the Dual Genetic Algorithm principles are briefly exposed, as well as previous results obtained. Then, we present Pareto Elitism, combining steady state and sharing techniques for Pareto optimization, and its behavior on Multi Royal Road Functions.
Modelling and Analysis of Computer Network Clocks

This report describes analytical models and design methodologies for computer clocks synchronized to other clocks in a computer network or internetwork. This requires each clock to function as a disciplined oscillator which can be adjusted in both time and frequency to compensate for the intrinsic errors of the onboard frequency source. It also requires the use of a time-synchronization protocol such as the Network Time Protocol, summarized briefly in this report, or the Digital Time Synchronization Service, described elsewhere. The goal in this effort is to improve the synchronization accuracy from the tens of milliseconds regime of present timekeeping models to the submillisecond regime. In this report analytical models are used to express the accuracy and stability of a computer clock and to establish its design parameters with respect to time and frequency error tolerances. These models are based on the theory of adaptive-parameter, phase-lock loops. Included is a discussion on methods to combine the timing information received from a number of synchronized peer clocks to improve the accuracy and reliability of the local clock. Finally, a detailed analysis of the maximum and expected errors accumulated from the primary source of time throughout the synchronization subnet is presented.
Multi-Label Segmentation Propagation for Materials Science Images Incorporating Topology and Interactivity

Segmentation propagation is the problem of transferring the segmentation of an image to a neighboring image in a sequence. This problem is of particular importance to materials science, where the accurate segmentation of a series of 2D serial-sectioned images of multiple, contiguous 3D structures has important applications. Such structures may have prior-known shape, appearance, and/or topology among the underlying structures which can be considered to improve segmentation accuracy. For example, some materials images may have structures with a specific shape or appearance in each serial section slice, which only changes minimally from slice to slice; and some materials may exhibit specific topology which constrains their structure or neighboring relations. In this work, we develop a framework for materials image segmentation that segments a variety of materials image types by repeatedly propagating a 2D segmentation from one slice to another, and we formulate each step of this propagation as an optimal labeling problem that can be efficiently solved using the graph-cut algorithm. During this propagation, we propose novel strategies to enforce the shape, appearance, and topology of the segmented structures, as well as handling local topology inconsistency. Most recent works on topology-constrained image segmentation focus on binary segmentation, where the topology is often described by the connectivity of both foreground and background. We develop a new multi-labeling approach to enforce topology in multiple-label image segmentation. In this case, we not only require each segment to be a connected region (intra-segment topology), but also require specific adjacency relations between each pair of segments (inter-segment topology). Finally, we integrate an interactive approach into the proposed framework that improves the segmentation by allowing minimal and simplistic human annotations. We justify the effectiveness of the proposed framework by testing it on various 3D materials images, and we compare its performance against several existing image segmentation methods.
The Language Specification Formalism ASF+SDF

Introduction to ASF+SDF 1 Why use ASF+SDF? 2 How to use ASF+SDF? 2 Learning more 2 The connection between ASF and SDF 3 Overview 3 Simple ASF+SDF 4 The Equations Section 5 Unconditional Equations 5 Conditional Equations 5 Executing Equations 6 Examples 7 Tests 13 Advanced Equations 13 Default Equations 14 List Matching 15 Memo Functions 19 Constructor Functions 20 Lexical Constructor Functions 21 Traversal Functions 22 Well-formedness of ASF+SDF 25 A Matter of Style 25 Further Reading 27 Bibliography 28
Aspect-based opinion mining in online reviews

Other people’s opinions are important piece of information for making informed decisions. Today the Web has become an excellent source of consumer opinions. However, as the volume of opinionated text is growing rapidly, it is getting impossible for users to read all reviews to make a good decision. Reading different and possibly even contradictory opinions written by different reviewers even make them more confused. In the same way, monitoring consumer opinions is getting harder for the manufactures and providers. These needs have inspired a new line of research on mining consumer reviews, or opinion mining. Aspect-based opinion mining, is a relatively new sub-problem that attracted a great deal of attention in the last few years. Extracted aspects and estimated ratings clearly provides more detailed information for users to make decisions and for suppliers to monitor their consumers. In this thesis, we address the problem of aspect-based opinion mining and seek novel methods to improve limitations and weaknesses of current techniques. We first propose a method, called Opinion Digger, that takes advantages of syntactic patterns to improve the accuracy of frequencybased techniques. We then move on to model-based approaches and propose an LDA-based model, called ILDA, to jointly extract aspects and estimate their ratings. In our next work, we compare ILDA with a series of increasingly sophisticated LDA models representing the essence of the major published methods in the literature. A comprehensive evaluation of these models indicates that while ILDA works best for items with large number of reviews, it performs poorly when the size of the training dataset is small, i.e., for cold start items. The cold start problem is critical as in real-life data sets around 90% of items are cold start. We address this problem in our last work and propose an LDA-based model, called FLDA. It models items and reviewers by a set of latent factors and learns them using reviews of an item category. Experimental results on real life data sets show that FLDA achieve significant gain for cold start items compared to the state-of-the-art models.
SISTEM INFORMASI ALUMNI PROGRAM STUDI SISTEM INFORMASI UNIVERSITAS WIDYATAMA BERBASIS WEB

Program Studi Sistem Informasi Universitas Widyatama merupakan salah satu lembaga yang memiliki kewajiban untuk menyediakan media komunikasi untuk memperkenalkan dan mempererat tali silaturahmi antara mahasiswa dengan para lulusannya (alumni). Maka dari itu di butuhkan suatu wadah atau media yang menyediakan informasi yang mampu memberikan informasi yang sangat di butuhkan oleh para mahasiswa dan lulusannya, seperti informasi tentang data alumni ataupun informasi tentang karir para lulusannya itu sendiri. Dari tahun ke tahun jumlah mahasiswa - mahasiswi lulusan Program Studi Sistem Informasi Universitas Widyatama semakin bertambah, secara otomatis semakin tinggi juga angka kebutuhan untuk menjaring para alumni dalam suatu wadah. Tahapan yang dilakukan dalam penelitian adalah pengumpulan data dilakukan berdasarkan studi lapangan yaitu melalui studi pengamatan, peninjauan dilakukan secara langsung ke bagian Program Studi Sistem Informasi Universitas Widyatama. Pengembangan sistem menggunakan analisa berorientasi objek dengan metoda waterfall, yang dilanjutkan dengan perancangan yang meliputi perancangan proses, perancangan basis data dan antarmuka. Implementasi hasil perancangan yaitu pengkodean dengan menggunakan bahasa pemrograman yang telah ditetapkan. Hasilnya berupa aplikasi sistem informasi alumni Program Studi Sistem Informasi Universitas Widyatama berbasis web yang dapat di implementasikan melalui internet. Aplikasi ini dikembangkan memanfaatkan teknologi informasi berbasis web, yaitu menggunakan analisa berorientasi objek dengan menggunakan tools Unified Modeling Language (UML) dan menggunakan Software Macromedia DreamWeaver 8, PHP sebagai bahasa skrip (script language) dan MySQL untuk pengolahan database server dan tools PHPMyAdmin.
Bilingualism Across the Lifespan: Early differentiation of languages in bilingual children

Introduction The simultaneous acquisition of two (or more) “first languages” can be of particular interest for language acquisition studies. By analyzing the development of two linguistic competences in one individual, we may be capable of sorting out more easily to what extent the underlying logic of development is determined by the grammatical system to be acquired, or the particular way of human language processing as opposed to properties of the individual or of the communicative situation. There is, in fact, a steadily increasing amount of research in this area (see McLaughlin, 1984 or Taeschner, 1983 for fairly comprehensive overviews including more recent studies). Much of this work is largely descriptive in its orientation, and theoretical questions are not always discussed explicitly. One question which is, however, pursued very frequently is whether bilinguals are able to “differentiate their two linguistic systems” (Lindholm and Padilla, 1978:334). (See, for example, Volterra and Taeschner, 1978, Redlinger and Park, 1980, and Vihman, 1982, 1985, and forthcoming, for some recent contributions to this discussion.) The emerging picture is somewhat flawed by terminological confusions, especially with respect to those concepts underlying the terms “language mixing” and “code-switching”. To avoid problems of this kind, I will use code-switching to describe the bilingual's ability to select the language according to the interlocutor, the situational context, etc.
Factorization Method for Structure from Perspective Multi-View Images

This paper describes a factorization-based algorithm that reconstructs 3D object structure as well as motion from a set of multiple uncalibrated perspective images. The factorization method introduced by Tomasi-Kanade is believed to be applicable under the assumption of linear approximations of imaging system. In this paper we describe that the method can be extended to the case of truly perspective images if projective depths are recovered. We established this fact by interpreting their purely mathematical theory in terms of the projective geometry of the imaging system and, thereby, giving physical meanings to the parameters involved. We also provide a method to recover them using the fundamental matrices and epipoles estimated from pairs of images in the image set. Our method is applicable for general cases where the images are not taken by a single moving camera but by different cameras having individual camera parameters. The experimental results clearly demonstrate the feasibility of the proposed method.
E-voting: an immature technology in a critical context

E-voting has been introduced prematurely to national elections in many countries worldwide. There are technical and organizational barriers which must be resolved before the use of e-voting can be recommended in such a critical context. Two fundamental requirements for e-voting systems are in con ict: ballot-secrecy and accuracy. We describe the nature and implications of this conflict, and examine the two main categories of proposed solutions: cryptographic voting schemes, and Voter Veried Audit Trails (VVATs). The conflict may permanently rule out the use of remote e-voting for critical elections, especially when one considers that there is no known way to reproduce the enforced privacy of a voting booth outside the supervision of a polling station. We then examine the difficulty faced by governments when they procure Information and Communication Technology (ICT) systems in general, and some mitigation strategies. We go on to describe some legal implications of the introduction of e-voting, which could have serious consequences if not adequately explored, and discuss the evaluation and maintenance of systems. In the final chapters we explore two approaches to the development of requirements for e-voting.
Product and Process Aspects of NES/EFL Students' Persuasive Writing in English: Differences between Advanced and Basic Writers.

Papers on foreign language education include: "The Message Is the Medium: Using Video Materials To Facilitate Foreign Language Performance" (Thomas J. Garza), which explores the use of this medium to enhance commonly-used non-communicative or text-bound teaching materials; "Product and Process Aspects of NES/EFL Students' Persuasive Writing in English: Differences Between Advanced and Basic Writers" (Jin-Wan Kim), which finds that writing quality depends on process, product, and proficiency level; "An Investigation of the Effectiveness of Foreign Language Training Programs for TAs: An Exploratory Study" (Zena T. Moore, Barbara Bresslau), an investigation of training for teaching assistants at one university; and "The Concurrent Validity of the Cloze Test with Essay Test Among Korean Students" (Soyoung Lee), reporting on results and practical and theoretical implication of a study in Korea. (MSE) ******************************************************************************** Reproductions supplied by EDRS are the best that can be made from the original document. ********************************************************************************
Comment on ``Small-world networks: Evidence for a crossover picture''

In a recent letter (cond-mat/9903108), Barthelemy and Nunes Amaral discuss the crossover phenomenon between regular and ``small-world'' networks, as a function of the network size $n$ and of the disorder $p$. They claim that the average distance $\ell$ between vertices of the network scales with $n / n^*$, with $n^*(p \ll 1) sim p^{-\tau}$ and $\tau \approx 2/3$. We show analytically that $\tau$ cannot be lower than 1 and perform numerical simulations showing that $\tau = 1$.
A note on calibration of video cameras for autonomous vehicles with optical flow

We show how to compute the extrinsic parameters of a video camera from the optical flow measured in consecutive video frames. We assume that the camera is mounted on a car or a robot which move forward and sideways on a flat area to acquire the images used for the calibration. The vanishing points of the optical flow lines provide enough information to compute the camera rotation matrix. We also show how the flow lines on the ground together with the vehicle’s velocity provide enough information to compute the camera position.
POTENTIAL APPLICABILITY OF ONTOLOGIES FOR THE EVALUATION OF INFORMATION TECHNOLOGY

In this article we present the possibilities of using ontologies as a part of a multi-agent system (MAS) designed for the evaluation of information technologies. This is a part of a broader idea developed by the team of researchers at Gdansk University of Technology. The article deals with defining ontologies, presenting main technologies for their design and implementation and proposes, initially, domains of the ontologies’ interest that could cover the scope of the described system. The conclusion indicates the need for further iterative steps which would ultimately lead to a fullyspecified description of an IT evaluation system.
Response Times to User Activities in Interactive Man/Machine Computer Systems

Response times (response delays) in interactive computer systems can greatly effect user performance and system productivity. This document summarizes the literature on user response time needs in interactive computer systems, and presents a set of guidelines for specifying response times that meet those needs. During the literature survey, it became evident that much more supporting data is required in order to have guidelines that cover most conditions under which people use a computer, and in order to provide a solid foundation of data taken from real world user interaction with computer systems. The information presented in this document should be viewed as a starting point for further work on defining response time needs for interactive computer system users.
D4.3.1 Ontology Mediation Patterns Library V1

EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D4.3. 1 (WP4) This deliverable describes a library of ontology mapping patterns, as well as a mapping language based on these patterns. This language, together with the mapping patterns, allows the user to more easily identify mappings and to describe mappings in an intuitive way. The mappings are organized in a library in a hierarchical fashion in order to allow for easy browsing and retrieving of mappings. Keyword list: Ontology Mapping, Mapping Patterns, Patterns Library
Nouvelle approche de la sélection de vocabulaire pour la détection de thème

En reconnaissance de la parole, un des moyens d’améliorer les performances des systèmes est de passer par l’adaptation des modèles de langage. Une étape cruciale de ce processus consiste à détecter le thème du document traité et à adapter ensuite le modèle de langage. Dans cet article, nous proposons une nouvelle approche de création des vocabulaires utilisés pour la détection de thème. Cette dernière est fondée sur le développement de vocabulaires spécifiques et caractéristiques des différents thèmes. Nous montrons que cette approche permet non seulement d’améliorer les performances des méthodes, mais exploite également des vocabulaires de taille réduite. De plus, elle permet d’améliorer de façon très significative les performances de méthodes de détection lorsqu’elles sont combinées.
How does foreign trade affect green total factor energy efficiency? Evidence from China

As the largest trading nation in the world, there have been substantial foreign trades (export and import) between China and other countries. Meanwhile, it is also one of the major forces for China’s emission reduction. This article applies the panel data of 30 provinces for the period 2004–2017 to investigate the effect of foreign trade on China’s green total factor energy efficiency (GTFEE). The slack-based measure (SBM) model is employed to calculate the provincial GTFEEs. Subsequently, the empirical results of the basic linear regression model revealed that both export and import promoted the region’s GTFEE, on which the import particularly has more effects than the export. Moreover, the spatial Durbin model (SDM) exhibited that the increase in import will not only present a positive influence on the GTFEE of the region, but also will improve the GTFEEs of the surrounding provinces through the spatial spillover mechanism. Although the increase in export will also exert a positive influence on the GTFEE of the local area, it will impose a significant negative impact on the GTFEEs of the surrounding regions. The results of this study provide important policy implications for the optimization of trade structure and high-quality development of the Chinese economy.
NEGATION TRIGGERS AND THEIR SCOPE

Recent interest in negation has resulted in a variety of different annotation schemes for different application tasks, several vetted in shared task competitions. Current negation detection systems are trained and tested for a specific application task within a particular domain. The availability of a robust, general negation detection module that can be added to any text processing pipeline is still missing. In this work we propose a linguistically motivated trigger and scope approach for negation detection in general. The system, NEGATOR, introduces two baseline modules: the scope module to identify the syntactic scope for different negation triggers and a variety of trigger lists evaluated for that purpose, ranging from minimal to extensive. The scope module consists of a set of specialized transformation rules that determine the scope of a negation trigger using dependency graphs from parser output. NEGATOR is evaluated on different corpora from different genres with different annotation schemes to establish general usefulness and robustness. The NEGATOR system also participated in two shared task competitions which address specific issues related to negation. Both these tasks presented an opportunity to demonstrate that the NEGATOR system can be easily adapted and extended to meet specific task requirements. The parallel, comparative evaluations suggest that NEGATOR is indeed a robust baseline system that is domain and task independent.
Software and inventive ideation

A plethora of creative thinking techniques and invention heuristics exist to guide problem solvers towards innovative solutions. One of the problems that one is faced with is the selection of the appropriate technique for a specific problem, since none of them covers the full spectrum of approaches towards problem solving. A recent model that attempts to capture the essence of all of these techniques and heuristics, facilitates a more generic approach. This model is leveraged to construct Ideation Domains for software development.
Tissue metabolomics identified new biomarkers for the diagnosis and prognosis prediction of pancreatic cancer

Pancreatic cancer (PC) is burdened with a low 5-year survival rate and high mortality due to a severe lack of early diagnosis methods and slow progress in treatment options. To improve clinical diagnosis and enhance the treatment effects, we applied metabolomics using ultra-high-performance liquid chromatography with a high-resolution mass spectrometer (UHPLC-HRMS) to identify and validate metabolite biomarkers from paired tissue samples of PC patients. Results showed that the metabolic reprogramming of PC mainly featured enhanced amino acid metabolism and inhibited sphingolipid metabolism, which satisfied the energy and biomass requirements for tumorigenesis and progression. The altered metabolism results were confirmed by the significantly changed gene expressions in PC tissues from an online database. A metabolites biomarker panel (six metabolites) was identified for the differential diagnosis between PC tumors and normal pancreatic tissues. The panel biomarker distinguished tumors from normal pancreatic tissues in the discovery group with an area under the curve (AUC) of 1.0 (95%CI, 1.000−1.000). The biomarker panel cutoff was 0.776. In the validation group, an AUC of 0.9000 (95%CI = 0.782–1.000) using the same cutoff, successfully validated the biomarker signature. Moreover, this metabolites panel biomarker had a great capability to predict the overall survival (OS) of PC. Taken together, this metabolomics method identifies and validates metabolite biomarkers that can diagnose the onsite progression and prognosis of PC precisely and sensitively in a clinical setting. It may also help clinicians choose proper therapeutic interventions for different PC patients and improve the survival of PC patients.