Miracle-dz/UniFAR-FTUs huggingface dataset:
An Approach for Detecting Correlated Software Defects

Software engineers always find the state of some defects can influence the detecting rate of other defects. These defects are correlated defects. This paper gives the definition of correlated software defects, gets some property of correlated defects by experiment, and then proposes an approach named testing approach with defects replacement, to detect correlated defects. It also analyzes the capability and efficiency of the approach by experiment. The data show that the approach is efficient to detect correlated software defects.
On-chip crosstalk evaluation between adjacent interconnections

With the reduction of distances between wires in deep sub-micron technologies, coupling capacitances become significant. This increase of capacitance causes noise capable of propagating a logical fault. Poor evaluation of the crosstalk could be at the origin of a circuit malfunction. In this paper, we propose a new closed form expression for the crosstalk between two, three and five lines. Results given by our expression are compared with SPICE simulations for 0.25 /spl mu/m technology.
SPUR Memory System Architecture

This document describes the memory system architecture of the SPUR workstation. SPUR is a bus-based multiprocessor, with caches to reduce each processor''s bandwidth requirement. A hardware cache coherency protocol maintains a consistent image o f memory across all the caches. A novel address translation scheme eliminates the need for translation buffers. This document is intended as a reference for system and diagnostic programmers. It describes the cache coherency protocol, address translation algorithm, and exception handling mechanisms in detail.
Interactive mining of multimedia databases with virtual reality

We present in this paper a new 3D interactive method for visualizing multimedia data with virtual reality. We consider that a domain expert has collected a set of examples described with numeric and symbolic attributes but also with sounds, images, videos or web sites, and that this expert wishes to explore those data in order to understand their structure. We use a 3D stereoscopic display in order to let the expert easily visualize and perceive the numerical attributes. We add to this display the appearing of contextual information such as texts, voice synthesis, sound, small images. Larger images, videos and web sites are displayed on a second computer in order to ensure real time display. Navigating through the data is done in a very intuitive and precise way with a 3D sensor with six degrees of freedom that simulates a virtual camera. Interactive request can be formulated by the expert with a data glove that recognize the gestures. We show how this tool has been applied to a real world application in the context of human skin analysis.
A Grammar for the Specification of Forensic Image Mining Searches

There has been much research into the use of similarity measures to facilitate content-based image retrieval. However, there are other application areas where the user will wish to retrieve images that contain objects in specified arrangements. This has particular application in the area of Image Forensics, where legal investigations require the ability to perform search queries on images containing suspicious objects in relevant spatial organisations. In this paper we present a grammar which augments a body detection system by allowing arbitrarily arranged detectors.
Implementation of harmonic state estimation

Harmonic state estimation (HSE) of power systems is a very efficient and economic tool to provide system-wide solutions for monitoring and control of harmonic pollution in the power systems. In this paper, the fundamental methodology in software implementation of HSE is introduced, including the software development environment, the object-oriented model, graphical user interface, and the database and algorithm engines.
Case and Gender. Concept Formation between Morphology and Syntax

The cybernetic dream which pervades Soviet bureaucracy after Stalin produced a relatively liberal and generous science policy. In linguistics, the new spirit gave rise to a variety of trends professing to practise structural, mathematical or applied linguistics, and promising practical applications in natural language processing. The trends originating in the sixties comprise the so-called Set-theoretical School. In 1957 the mathematician Kolmogorov confronted the participants of a seminar on mathematical linguistics with a few pilot questions, such as what exactly do we mean when we say that two words are in the same case? The rigorous answers which the Set-theoretical School worked out for Kolmogorov's questions turned out to have far-reaching implications for linguistic theory. Case and Gender examines both the contextual and the internal development of the Set-theoretical School. The rise and decline of the School can be ascribed to Soviet humanities policy, while the specifics of its linguistic development can be attributed to the non-linguistic backgrounds and applied goals of its first exponents. The two volumes contain a systematic account of the networks of definitions (models) proposed by the School, and provide a metamodel which facilitates providing a consistent formalization of the models and uncovering their implicit assumptions on the properties of language. The metamodel also enables an orderly comparison of the models with one another and with terminological systems developed elsewhere. Moreover, the models are evaluated, amended, and confronted with linguistic material from various languages. The later chapters are concluded with more far-reaching proposals. Kolmogorov's questions must be taken seriously. The turn toward a semantics-orientated approach which is evident in the last stage of the development of the Set-theoretical School must be pursued. New definitions of 'case' and 'gender' are proposed in accordance with the new approach. Case and Gender contains not only an analytical survey of the complete scientific output of the Set-theoretical School on morphology and syntax but also a confrontation with contemporary western theories. It shows the viability of a tradition which was abandoned as a result of political developments. The long chapter on the history of the relationship between linguistics and politics in the Soviet Union contains new material on the 1950 linguistic discussion in Pravda, which was decided by Stalin's contribution and whose impact would last for decades to come.
Constructing virtual databases on the world-wide web

The World-Wide Web contains a wealth of information on every imaginable topic. At the same time, relational database systems form the backbone of most commercial applications. Such applications are unable to make use of data on the Internet or corporate Intranets. To bridge this divide, we propose making web information available through a relational interface. We call a database that provides access to information from external data sources (such as the World-Wide Web) a virtual database, since the tables in it correspond to information that is not physically stored in the DBMS. This thesis discusses research problems that arise in constructing virtual databases. These problems fall into two categories: (1) Providing access to individual websites (or other data sources) as virtual tables. (2) Integrating such virtual tables into a unified database, taking into account access restrictions on the virtual tables caused by query capability restrictions of the underlying data sources. We describe two techniques to solve the first problem: compact skeletons and the full disjunction. A compact skeleton maps a portion of a website to a virtual table. When we have several virtual table fragments in a website that need to be composed into “wider” virtual table, we use the full disjunction. To tackle the second problem, we describe three formalisms to model the contents and query capabilities of data sources: views, query templates with binding patterns, and limited external query processors. Many of the ideas in the thesis have been incorporated into Junglee Corp's Virtual Database Management System (VDBMS), which has been used to build virtual databases that integrate several hundred websites for applications such as comparison shopping and online recruitment. We describe the architecture of the VDBMS and discuss some of the issues involved in building virtual databases that integrate hundreds of data sources.
Using social media tools for enhancing student–institution interaction. A study at an Indian distance learning institute

This study aims to explore the benefits of enhanced interaction amongst the students and institutions in the field of management education via distance education. Surveying students enrolled in the online mode courses at the institute of management technology - centre for distance learning (IMT–CDL), (N = 109), the study is able to identify the needs of the students, the benefits of enhanced levels of interaction and also helps to determine the effectiveness of the social networking (web)site (SNS)–based tools currently in use. The results show positive traction in the younger section of the population for using the various SNSs available and Facebook and Google Groups are among the best tools whereas Twitter is not much liked by the respondents for this purpose. Improvements in traction, familiarity and utilisation would go a long way in enhancing the interaction levels.
Classification of terrain objects using hyper-dimensional (multi-temporal multi-spectral) images through purpose-oriented feature extraction

Multi-temporal multi-spectral observations produce huge amounts of data, especially when hyperspectral sensors are used and/or when the number of observations increases. The authors have already developed a method of purpose-oriented feature extraction and successfully applied it to hyperspectral data which has several hundreds of dimensions. The authors apply the basic idea of this method to the multi-temporal multi-spectral remotely sensed images for the classification of terrain objects. A small number of features were extracted according to the purpose or the intention of classification. The features matched to the intention to discriminate some important classes of terrain objects are extracted. The method was applied to the multi-temporal Landsat TM images with success. Results of feature extraction and classification are shown.
An integrated approach to modeling and control of flexible structures via /spl Lscr//sub /spl infin// loopshaping

An integrated approach is proposed to modeling and control of lightly damped systems such as flexible structures using frequency loop shaping in /spl Lscr//sub /spl infin//. Normalized coprime factors of the shaped plant model are identified with quantification of the modeling error in /spl Lscr//sub /spl infin// norm. Feedback controllers are synthesized to stabilize the true but unknown plant albeit the nominal feedback system, consisting of the identified model and the feedback controller, may not be stable. A complete design procedure is presented that integrates modeling and control in frequency domain. It is shown that as the /spl Lscr//sub /spl infin// norm of the modeling error measured in normalized coprime factors of the system is reduced, the existence of stabilizing feedback controllers for the true unknown plant is ensured.
Software Engineering Best Practices

Proven techniques for software development success In this practical guide, software-quality guru Capers Jones reveals best practices for ensuring software development success by illustrating the engineering methods used by the most successful large software projects at leading companies such as IBM, Microsoft, Sony, and EDS. Software Engineering Best Practices covers estimating and planning; requirements analysis; change control; quality control; progress and cost tracking; and maintenance and support after delivery. Agile development, extreme programming, joint application design (JAD), six-sigma for software, and other methods are discussed. Table of contents Chapter 1. Introduction and Definitions of Software Best Practices;Chapter 2. Overview of 50 Software Best Practices;Chapter 3. A Preview of Software Development and Maintenance in 2049;Chapter 4. How Software Personnel Learn New Skills;Chapter 5. Software Team Organization and Specialization;Chapter 6. Project Management and Software Engineering;Chapter 7. Requirements, Business Analysis, Architecture, Enterprise Architecture, and Design;Chapter 8. Programming and Code Development;Chapter 9. Software Quality: The Key to Successful Software Engineering;Index
Copyright Law and Video Games: A Brief History of an Interactive Medium

Throughout their short history, video games have posed challenges to intellectual property laws. This chapter explores how courts in the United States have struggled to apply traditional laws of copyright to video games given that video games, like all games, are interactive processes. Players of video games both experience the games and perform them during the course of play. From the perspective of copyright law, the interactive nature of video games undermines the authorial control of the game creator, who does not created a single scripted experience, but instead designs an interactive system. This interactivity opens another copyright possibility: an authorial role for players.
Advanced Android Application Development

Advanced Android Application Development, Fourth Edition, is the definitive guide to building robust, commercial-grade Android apps. Systematically revised and updated, this guide brings together powerful, advanced techniques for the entire app development cycle, including design, coding, testing, debugging, and distribution. With the addition of quizzes and exercises in every chapter, it is ideal for both professional and classroom use. An outstanding practical reference for the newest Android APIs, this guide provides in-depth explanations of code utilizing key API features and includes downloadable sample apps for nearly every chapter. Together, they provide a solid foundation for any modern app project. Throughout, the authors draw on decades of in-the-trenches experience as professional mobile developers to provide tips and best practices for highly efficient development. They show you how to break through traditional app boundaries with optional features, including the Android NDK, Google Analytics and Android Wear APIs, and Google Play Game Services. New coverage in this edition includes Integrating Google Cloud Messaging into your apps Utilizing the new Google location and Google Maps Android APIs Leveraging in-app billing from Google Play, as well as third-party providers Getting started with the Android Studio IDE Localizing language and using Google Play App Translation services Extending your apps reach with Lockscreen widgets and DayDreams Leveraging improvements to Notification, Web, SMS, and other APIs This title is an indispensable resource for intermediate- to advanced-level Java programmers who are now developing for Android, and for seasoned mobile developers who want to make the most of the new Android platform and hardware. This revamped, newly titled edition is a complete update of Android Wireless Application Development, Volume II: Advanced Topics, Third Edition.
Experimental comparison of nonlinear control strategies for vehicle speed control

This paper describes an experimental comparison of two alternative nonlinear automotive speed control systems. The first approach is based on interpolation of multiple linear controllers designed using multiple local linear models. The second approach is based upon geometric nonlinear control theory and utilises feedback linearisation. This paper focuses on the engineering aspects and experimental comparison in a test vehicle. The controllers are tested in a range of speed-profile tracking tasks, and in a disturbance rejection task (the vehicle is driven up a 10% slope). For comparison, linear PI/PID controllers are implemented.
Heads in grammatical theory

List of contributors 1. Introduction Norman M. Fraser, Greville G. Corbett and Scott McGlashan 2. The head of Russian numeral expressions Greville G. Corbett 3. The phonology of heads in Haruai Bernard Comrie 4. Patterns of headedness Ronnie Cann 5. Head-hunting on the trail of the nominal Janus Andrew Radford 6. The headedness of noun-phrases: slaying the nominal hydra John Payne 7. Head- versus dependent-marking: the case of the clause Nigel Vincent 8. Heads in discourse: structural versus functional centricity Johanna Nichols 9. Heads in head-driven phrase structure grammar Robert D. Borsley 10. Heads and lexical semantics Scott McGlashan 11. Heads, parsing and word-order universals John A. Hawkins 12. Do we have heads in our minds? Richard A. Hudson 13. Heads, bases and functors Arnold M. Zwicky References Index.
Main memory database for supporting database migration

As one of the new technologies to make good use of broader channel bandwidth of recent networks, dynamic relocation of databases through networks, which we call database migration, will soon become a powerful and basic database operation of practical use. To make full use of database migration, the main memory database is considered to be one of the most significant technologies, because it allows us to perform very high speed database access which almost matches for the transmission rate of broadband networks. In this paper, we first discuss the physical database structure which realizes high speed database migration. Then, we propose the recovery methods for migratory main memory databases.
Kalman Filter Configurations for Multiple Radar Systems

Abstract : The purpose of this report is to examine several Kalman filter algorithms that can be used for state estimation with a multiple sensor system. These algorithms are described in detail and their results are compared with a suboptimum tracking algorithm which processes only multiple range measurements. A state estimate compression algorithm is also described. Various radar measurement transformation formulas are listed. Algorithms for a nonsynchronous data collection system are not examined in detail but possible approaches are suggested.
The condition numbers arising in MESFET parameter extraction

Conditions numbers expressing the sensitivity of computed circuit element values to inaccuracies in S-parameter measurements are derived and evaluated for a standard small-signal MESFET model. The condition numbers shed light on the common difficulty experienced by transistor modelers in extracting accurate values for the input resistance. Other elements are also classified according to their sensitivity.
User identity issues in mashups for learning experiences using IMS Learning Design

The combination of services that provide personal information in technologies such as educational mashups brings some issues in the management of users' identity and authorisation. This article presents a scenario based on the fact that an IMS LD server requires information relevant to each learner, and this information is provided by external services. This scenario allows to describe the problems of user correspondence, authenticated data retrieval, and remote account creation; a solution using technologies currently available is provided for each, as well as recommendations to take into account in similar scenarios.
Reinforcement Learning Embedded in Brains and Robots

In many ways and in various tasks, computers are able to outperform humans. They can store and retrieve much larger amounts of data or even beat humans at chess. However, when looking at robots they are still far behind even a small child in terms of their performance capabilities. Even a sophisticated robot, such as ASIMO, is limited to mostly pre-programmed behaviours (Weigmann, 2006). The reliance on robots that must be carefully programmed and calibrated before use and thereafter whenever the task changes, is quite unacceptable for robots that have to coexist and cooperate with humans, especially those who are not necessarily knowledgeable about robotics. Therefore there is an increasing need to go beyond robots that are pre-programmed explicitly towards those that learn and are adaptive (Wermter, Weber & Elshaw, 2004; Wermter, Weber, Elshaw, Panchev et al., 2004). Natural, dynamic environments require robots to adapt their behaviour and learn using approaches typically used by animals or humans. Hence there is a necessity to develop novel methods to provide such robots with the learning ability to deal with human competence. Robots shall learn useful tasks, i.e. tasks in which a goal is reached, if executed successfully. Reinforcement learning (RL) is a powerful method to develop goal-directed action strategies (Sutton & Barto, 1998). In RL, the agent explores a ‘state space’ which describes his situation within the environment, by taking randomized actions that take him from one state to another. Crucially, a reward is received only at the final goal state, in case of successful completion. Over many trials, the agent learns the value of all states (in terms of reward proximity), and how to get to higher-valued states to reach the goal. In Section 2 we will review RL in the brain, focusing on the basal ganglia, a group of nuclei in the forebrain implicated in RL. Section 3 presents algorithms for RL and describes their possible relation to the basal ganglia. In its canonical formulation, RL maps discretely defined states to discrete actions. Its application to robotics is challenging, because sensors, such as a camera, deliver highdimensional input that does not define a state in a way suitable for most tasks. Furthermore, several actions are to be learnt in different contexts with different reward types being given.
Polymorphic Subtyping for Side Effects

The integration of polymorphism (in the style of the ML let-construct), subtyping, and effects (modelling assignment or communication) into one common type system has proved remarkably difficult. This paper presents a type system for (a core subset of) Concurrent~ML that extends the ML type system in a conservative way and that employs all these features; and in addition causality information has been incorporated into the effects (which may therefore be termed "behaviours"). The semantic soundness of the system is established via a subject reduction result. An inference algorithm is presented; it is proved sound and (in a certain sense) also complete. A prototype system based on this algorithm has been implemented and can be experienced on the WWW ; thanks to a special post-processing phase it produces quite readable and informative output.
A parallel min-cut technique for standard cell placement using a modified Hopfield neural network

The authors present a new min-cut technique for standard cell placement using a modified Hopfield neural network. The neural network has the advantage of a massively parallel architecture, which can drastically reduce computation time in a hardware implementation. It also allows all partitions at a given level of the hierarchical procedure to be performed in parallel, thus overcoming a common drawback of sequential min-cut procedures. The approach has produced very good results on a number of practical standard cell circuits. <<ETX>>
Pipelined asynchronous time-division multiplexing optical bus

S. Q. ZhengLouisiana State UniversityDepartment of Computer Science,andDepartment of Electrical and ComputerEngineeringBaton Rouge, Louisiana 70803E-mail: zheng@bit.csc. lsu.eduYueming LiLouisiana State UniversityDepartment of Computer ScienceBaton Rouge, Louisiana 70803Abstract. We propose a pipelined asynchronous time-division multi-plexing optical bus. Such a bus can use one of two hardwared priorityschemes: the linear priority scheme and the round-robin priority scheme.Our simulation results show that the performance of the proposed bus issigniﬁcantly better than the performances of known pipelined synchro-nous time-division multiplexing optical buses. The possibilities of usingour buses to construct multichannel switches and multidimensional pro-cessor arrays are also discussed.