Miracle-dz/UniFAR-FTUs huggingface dataset:
Improving software development with static code analysis in a traceable environment

This thesis investigates how and where static code analysis can be integrated into a development process, and what impact static code analysis has on traceability between artifacts in a development life cycle. To be able to answer the questions, two things have been performed. First, a theoretical study of life cycle phases, static code analysis and traceability. Secondly, an analysis of traceability of static code analysis artifacts in the Jazz Team Server. The later including implementing a java application which adds static code analysis artifacts to the Jazz Team Server and links them to artifacts of a development life cycle. The conclusions from the theoretical study have been compared to the analysis of traceability. This thesis concludes that static code analysis should be used during the implementation phase, during integration testing and during test analysis. Furthermore, this thesis defines minimal requirements on links to static code analysis artifacts, including properties which aid understanding the relationship between the linked artifacts. The verifiability of the results are limited by the fact that the implementation was unable to extend the already existing traceability in the Jazz Team Server. This is however one of several suggestions on future work outlined in the end of the report.
Uniform format surface fCO2 database

Introduction Over the last few decades several million measurements of the surface ocean CO2 concentration have been made, in particular following the advent of infrared based systems which determines the CO2 concentration in an air headspace in equilibrium with a continuous stream of sea water. The concentration can be expressed as the mole fraction of CO2 in the headspace (xCO2), the CO2 partial pressure (pCO2), and the fugacity of CO2 (fCO2) in the headspace, which takes into account the non-ideal behavior of CO2 gas. It is this latter which should be used for gas exchange calculations. Conversion between these can be carried out using a set of standard procedures (DOE, 1984, Dickson et al., 2007).
Avatar-Basedhuman Communication: A Review

Abstract Communication by avatars provides an attractive and natural human—computer interaction (HCI). While this special field requires multidisciplinary collaboration ranging from computer science to social science, a relatively comprehensive survey allowing researchers in a wide variety of areas to share their contributions has not been found in literature. This motivates us to take an overview of recent achievements in this field. This paper focuses on language, expression and posture, and surveys a broad range of issues, from fundamental researches such as gesture tracking, posture analysis or estimate, multimodal interface, to human figure animation approach, as well as psychologists' proposal and conceptual understanding of behaviours of avatars. We also discuss and compare many potential applications and systems drawn by avatars. Finally, we present the key challenges at present and direct the future trends. This survey endeavours to bring together various research areas involved in avatar-based communication to facilitate and promote the sharing of recent accomplishments.
Clustering On Large Numeric Data Sets Using Hierarchical Approach: Birch

The paper is about the clustering on large numeric data sets using hierarchical method. In this BIRCH approach is used, to reduce the amount of data, for this a hierarchical clustering method was applied to pre-process the dataset. Now a day’s web information plays a prominent role in the web technology, large amount of data is consumed to communicate, but some with intruders there is loss of data or may changes occur in the interaction, so to recognize intruders they detect to build an intrusion detection system for this a hierarchical approach is used to classify network traffic data accurately. Hierarchical clustering is performed By taking network as an example. The clustering method could produce high quality dataset with far less instances that sufficiently represent all of the instances in the original dataset.
Multi-criteria optimization by the «ideal point» method of raw material composition for composite blank manufacturing

The paper provides the results of an experimental study into the properties of compressed and sintered compacts of the following powders: VT-22 high-strength titanium alloy manufactured by plasma spraying of industrial titanium production waste, PTM-1 grade titanium manufactured by the hydrate-calcium method, and PV-N70Yu30 nickel-aluminum alloy. It was shown that charge composition selection for composite blank manufacturing is connected with the need to ensure optimization of several competing target functions. The relative density and strength of compacts under axial compression after sintering, as well as charge cost were chosen as optimization criteria. The problem was set and the method was proposed to select an optimal charge composition providing the necessary values of density, strength, as well as relatively low cost of products. The problem of multi-criteria optimization was solved based on the ≪ideal point≫ method. The results of calculations were compared with the previously obtained solutions of the problem under consideration using the Pareto method, linear programming, and generalized criterion. It was shown that different methods of multi-criteria optimization lead to significantly different results. In this case, the ≪ideal point≫ method gives the minimum discrepancy between the experimental and model values of the optimization criteria selected. The results of this study were used to create an expert system for the multi-criteria optimization of composite manufacturing processes. The charge composition obtained by the «ideal point» method was transferred to an industrial plant where an axially symmetric part was manufactured. The ultimate strength and relative density of the manufactured part material were in conformity with the predicted values.
DESIGNING INQUIRY-BASED LEARNING CONDITIONS WITHIN 3D-SIMULATION ENVIRONMENT

The constant development of information technology expands access to new content in the sciences and engineering. As the complexity of the issues we want to learn grows, the cost of getting of learning by doing is usually increases. It seems that the cost of teaching and learning can be expressed by: the financial outlays required to construct the research station, the size of area in which the research station will be located, the time needed to prepare, conduct and reconstruct the conditions for the experiment, and the time needed to acquire and understand all basic concepts of new issues. In the paper, the authors present the use of 3D visualisation and simulation technology to reduce the mentioned costs and consequently increase the availability of complex science and engineering content. The authors also took into account the fact that virtual simulation environments provide the ability to independent define the purpose of the experiment. As a result, each participant can not only gain knowledge from top-down scenarios, but can also gain insights into the behaviour of objects in a simulation environment. The experimental problem described in this article was concerned with the study of the behaviour of a collection of moving virtual robots. This problem is directly related to the so-called collective programming of objects that communicate each other in order to solve problems. This article describes the design of the simulation environment based on the Unity graphics engine. The project assumed a modification of the standard graphic engine interface and making it more accessible to people not familiar with information technology. In addition, the article presents examples of prepared experiment scenarios and selected results of student experiments and the results they achieved.
Boolean Functions for Cryptography and Error-Correcting Codes

Introduction A fundamental objective of cryptography is to enable two persons to communicate over an insecure channel (a public channel such as the internet) in such a way that any other person is unable to recover their message (called the plaintext ) from what is sent in its place over the channel (the ciphertext ). The transformation of the plaintext into the ciphertext is called encryption , or enciphering. Encryption-decryption is the most ancient cryptographic activity (ciphers already existed four centuries b.c.), but its nature has deeply changed with the invention of computers, because the cryptanalysis (the activity of the third person, the eavesdropper, who aims at recovering the message) can use their power. The encryption algorithm takes as input the plaintext and an encryption key K E , and it outputs the ciphertext. If the encryption key is secret, then we speak of conventional cryptography , of private key cryptography , or of symmetric cryptography . In practice, the principle of conventional cryptography relies on the sharing of a private key between the sender of a message (often called Alice in cryptography) and its receiver (often called Bob). If, on the contrary, the encryption key is public, then we speak of public key cryptography . Public key cryptography appeared in the literature in the late 1970s.
Nucleosome assembly and histone H3 methylation during DNA replication

Nucleosome assembly is essential for viability and entails a controlled mechanism by which newly synthesised histones are specifically deposited onto replicating DNA by assembly factors such as Chromatin Assembly Factor 1 (CAF1). CAF1 binds directly to Proliferating Cell Nuclear Antigen (PCNA), a processivity factor for DNA replication and repair, and this interaction is necessary to target its 'cargo', histones H3/H4, to newly synthesised DNA. Chapter 3 in this work presents the characterisation of the interaction between CAF1 and PCNA. This interaction is surprisingly complex, involving two distinct consensus PCNA binding motifs in the p150 subunit of CAF1, which are functionally distinct. Similar motifs are found in many other proteins involved in cell cycle control, DNA replication, DNA modification and various forms of DNA repair. I found some specificity in binding to PCNA, underscoring the existence of a regulatory mechanism which ensures that CAF1 and other PCNA-binding proteins act in a well-orchestrated manner at the replication fork. In Chapters 4 and 5, I employed two different techniques to identify other factors involved in chromatin assembly in human cells and in yeast. Micro­ array analysis in budding yeast revealed global changes in gene expression in chromatin assembly factors null mutants. Through this screen I identified Periodic Tryptophan Protein 1 (Pwp1) as a putative chromatin assembly factor. The faithful replication and transfer of hereditary material to daughter cells includes not only accurate duplication of the parental DNA and chromosome architecture, but also the propagation of an epigenetic ‘signature’. DNA replication offers a window of opportunity for cells to duplicate or modify the epigenetic state. For instance, DNA méthylation is propagated during replication by the binding of the maintenance DNA Methyltransferase DNMT1 to PCNA. In Chapter 6, I used the budding yeast to examine a possible role for PCNA in directing the specialised histone H3 lysine 4 methyltransferase Set1 to newly assembled chromatin.
Community Detection of Heterogeneous Networks with RankClus Based on Spark GraphX

Most real systems consist of a large number of interacting, multi-typed components, while most contemporary researches model them as homogeneous networks without distinguishing different types of objects and links in the networks. Compared with the homogeneous networks, community detection based on the heterogeneous networks could obtain more accurate community structure. Most of contemporary community detection tasks only work on small dataset and fail to consider the quick and parallel process on big data. In this paper, we propose a method to detect communities in heterogeneous networks and solve the parallelisim problem on big networked data. Firstly, we improve and optimize the RankClus algorithm for community detection in heterogeneous networks. Then, we parallelize the improved algorithm based on spark graphx. Finally, we present the experiments of the parallel algorithm and compare the different experiment results which demenstrates that our method is applicable and has efficient results for community detection of heterogeneous networks.
Visual Parameter Exploration in GPU Shader Space.

The wide availability of high-performance GPUs has made the use of shader programs in visualization ubiquitous. Understanding shaders is a challenging task. Frequently it is difficult to mentally reconstruct the nature and types of transformations applied to the underlying data during the visualization process. We propose a method for the visual analysis of GPU shaders, which allows the flexible exploration and investigation of algorithms, parameters, and their effects. We introduce a method for extracting feature vectors composed of several attributes of the shader, as well as a direct manipulation interface for assigning semantics to them. The user interactively classifies pixels of images which are rendered with the investigated shader. The two resulting classes, a positive class and a negative one, are employed to steer the visualization. Based on this information, we can extract a wide variety of additional attributes and visualize their relation to this classification. Our system allows an interactive exploration of shader space and we demonstrate its utility for several different applications.
Algebraic design language (preliminary definition)

This report constitutes a preliminary de(cid:2)nition of a new(cid:3) high(cid:4)level program(cid:4) ming language called ADL(cid:5) It uses the mathematical concept of structure algebras as its unit of modularity(cid:5) When algebras are used to specify pro(cid:4) grams(cid:3) control structure is (cid:2)xed (cid:2)rst and data structure(cid:3) or representations(cid:3) second(cid:5) There is no explicit recursion or iteration construct in ADL(cid:5) Control is determined by combinators applied to inductively de(cid:2)ned algebras(cid:5) An intended use of ADL is to provide computational semantics of specialized software design languages(cid:5) An algebra in ADL can be interpreted in various monads(cid:3) a particular variety of algebras that has been found useful in programming(cid:5) ADL also makes use of coalgebras(cid:3) a concept dual to that of algebras(cid:5) With coalgebras(cid:3) iterative control structures typical of search algorithms can be speci(cid:2)ed(cid:5) There is a strong notion of type in ADL(cid:3) guaranteeing that all well(cid:4)typed programs terminate(cid:5) This allows us to use sets as ADL(cid:6)s semantic domain and to provide ADL with an equational logic(cid:5) However(cid:3) to check the type correctness of an expression(cid:3) there can be proof obligations that cannot be discharged mechanically(cid:5) A bene(cid:2)t of the equational logic is that an ADL program is amenable to transformation based upon the equational theories of its algebras(cid:5) Transformations are not discussed in this report(cid:3) however(cid:5)
Machine Learning for Email: Spam Filtering and Priority Inbox

If youre an experienced programmer willing to crunch data, this concise guide will show you how to use machine learning to work with email. Youll learn how to write algorithms that automatically sort and redirect email based on statistical patterns. Authors Drew Conway and John Myles White approach the process in a practical fashion, using a case-study driven approach rather than a traditional math-heavy presentation. This book also includes a short tutorial on using the popular R language to manipulate and analyze data. Youll get clear examples for analyzing sample data and writing machine learning programs with R.Mine email content with R functions, using a collection of sample files Analyze the data and use the results to write a Bayesian spam classifier Rank email by importance, using factors such as thread activity Use your email ranking analysis to write a priority inbox program Test your classifier and priority inbox with a separate email sample set
Big Data Analytics on Cray XC Series DataWarp using Hadoop, Spark and Flink

We currently explore the Big Data analytics capabilities of the Cray XC architectures to harness the computing power for increasingly common programming paradigms for handling large volumes of data. These include MapReduce and, more recently, in-memory data processing approaches such as Apache Spark and Apache Flink. We use our Cray XC Test and Development System (TDS) with 16 diskless compute nodes and eight DataWarp nodes. We use Hadoop, Spark and Flink implementations of selected benchmarks from the Intel HiBench micro benchmark suite and others to find suitable runtime configurations of these frameworks for the TDS hardware. Motivated by preliminary results in throughput per node in the popular Hadoop TeraSort benchmark we conduct a detailed scaling study and investigate resource utilization. Furthermore seek to evaluate scenarios where using DataWarp nodes might be advantageous to using Lustre as file system backends.
Making Mobile Learning Work: Student Perceptions and Implementation Factors

Mobile devices are the constant companions of technology users of all ages. Studies show, however, that making calls is a minimal part of our engagement with today’s smart phones and that even texting has fallen off, leaving web browsing, gaming, and social media as top uses. A crossdisciplinary group of faculty at our university came together in the mLearning Scholars group to study the potential for using mobile devices for student learning. The group met bi-weekly throughout a semester and shared thoughts, ideas, resources, and examples, while experimenting with mobile learning activities in individual classes. This paper summarizes student perceptions and adoption intent for using mobile devices for learning, and discusses implementation issues for faculty in adding mobile learning to a college course. Outcomes reflect that mobile learning adoption is not a given, and students need help in using and understanding the value in using personal devices for learning activities.
Posisi Kearifan Lokal Dalam Pemahaman Keagamaan Islam Pluralis

This study aims to find out how the response of high-level formal education institutions in this case Fahmina in understanding local wisdom that develops in the community and its relation to Islam that is embraced by the majority of the Indonesian nation. Isoam from sisis culture. In Islam itself provides a vast space for culture. The results of this study illustrate that even Fahmina as an Islamic director of various streams of local wisdom is understood as a cultural creativity that must be promoted to enrich Islam as a religion while inspiring culture.
Modelling the Preferences of Students for Alternative Assignment Designs Using the Discrete Choice Experiment Methodology.

This paper outlines how a discrete choice experiment (DCE) can be used to learn more about how students are willing to trade off various features of assignments such as the nature and timing of feedback and the method used to submit assignments. A DCE identifies plausible levels of the key attributes of a good or service and then presents the respondent with alternative bundles of these attributes and their levels and asks the respondent to choose between particular bundles. We report results from a DCE we conducted with undergraduate business students regarding their preferences for assignment systems. We find that the most important features of assignments are how relevant the assignments are for exam preparation and the nature of the feedback that students receive. We also find that students generally prefer online to paper assignments. We argue that the DCE approach has a lot of potential in education research.
Utilização de Manipuladores em Ambientes Não Estruturados

vii Agradecimentos . ix Índice. xi Lista de figuras . xiii Lista de tabelas . i Abreviaturas e Símbolos . i Capítulo 1 . 1 Introdução. 1 1.1 Descrição do Problema e Objectivos . 1 1.2 Estado da Arte . 2 1.2.1 Manipuladores Industriais . 2 1.2.2 Visão Artificial . 4 1.3 Estrutura do Documento . 14 Capítulo 2 . 17 Sistema Proposto . 17 2.1 Arquitectura do Sistema . 18 2.1.2 Software . 23 2.1. 4 Manipulador Robótico . 26 2.1. 5 Garra . 28 2.2 Estrutura e funcionamento do sistema. 31 Capítulo 3 . 35 Visão Artificial . 35 3.1 Processamento de Imagem . 38 3.2 Calibração da Câmara e do Laser . 43 3.2.1 Modelo da câmara . 44 3.2.2 Transformação das Coordenadas de Imagem em Coordenadas de Mundo . 47 3.2. 3 Calibração da Câmara . 48 3.2. 4 Ajuste automático dos parâmetros da câmara para calibração de luminosidade . 50 3.3 Reconstrução dos pontos em 3D. 54 3.3.1 Triangulação com Laser. 54
Assessing the development of high school chemistry students' conceptual and visual understanding of dimensional analysis via supplemental use of a proprietary interactive software program

This study was designed to evaluate the effects of the proprietary software, “Conversionoes,” on students' conceptual and visual understanding of dimensional analysis. The participants in the study were high school general chemistry students enrolled in two public high schools with different demographics (School A and School B) in the Chattanooga, Tennessee, metropolitan area. Using a “treatment group” and a “control group (no treatment), a mixed methods design was used in the data collection and analysis to provide a holistic view of the impact of the software on student learning. The resulting qualitative and quantitative data confirmed that the Conversionoes software enhanced the treatment groups’ conceptual and visual understanding of dimensional analysis. In fact, when all of the quantitative and qualitative data were viewed as a whole, the advantages of integrating Conversionoes into the general chemistry classroom proved to have significant impact on student conceptual and visual understanding of dimensional analysis. This was verified by the quantitative data, which indicated a significant difference between the overall pre-test and post-test scores at School A and School B (p = 0.027, p = 0.028, respectively). The qualitative data showed that students valued their experiences using the Conversionoes software and were able to enhance their knowledge of all aspects of dimensional analysis.