Miracle-dz/UniFAR-FTUs huggingface dataset:
Proceedings of the 2nd international conference on Principles and practice of programming in Java

It gives me great pleasure to be able to welcome you to Kilkenny City for the second international conference on the Principles and Practice of Programming in Java. The inaugural conference, held in Trinity College Dublin in 2002, provided an interesting and varied forum for the discussion of Java-related issues, and we hope that this year's conference will be able to build on that success.This year's conference is being organised through the National University of Ireland, Maynooth, who have a campus here in Kilkenny City. As well as being a fine example of a medieval city and an internationally renowned centre for craft and design, Kilkenny is also warm and friendly city, and I hope you will have the opportunity to explore some of it during and after the conference.This year's conference is sponsored in a large part by the Science Foundation Ireland (SFI). The SFI is central to an ambitious funding scheme aimed at academic researchers and research teams who are most likely to generate new knowledge and leading edge technologies in the area of information and communications technology. We are grateful for the recognition that their support lends to our conference's aim in this regard.PPPJ 2003 is organised in conjunction with the ACM SIGAPP, the Special Interest Group in Applied Computing. As well as underpinning the conference's academic standards, the help and advice provided by the ACM has been most useful in the conference organisation. The inclusion of the conference proceedings in the ACM digital library will ensure rapid and widespread dissemination of the work presented here.A total of 86 full papers were submitted to PPPJ 2003. Each paper was reviewed anonymously by at least two reviewers from independent institutions, using a "double-blind" system. There were many detailed, helpful reviews, and I am very grateful for the time and effort taken by the reviewers to produce them.The results of the review process were collated and considered by the PPPJ steering committee, and in some borderline cases subsequent reviews were conducted. Of the 86 submitted papers, a total of 39 papers were selected for presentation in full at PPPJ 2003, an acceptance rate of just over 45%. A further 12 papers were deemed sufficiently of interest to be presented in abbreviated form, either as extended abstracts or posters.
Introduction Safety Requirements in Component of an Embedded Software for Self-defense Against the Failures with a Technique Combining Concept Lattice and Graph

AUTOSAR applications are decomposed into software components that interact with each other. They can exchange either data or services, via interfaces [1] [19]. They cannot directly call the services of basic software, that is to say the scheduler, the communication bus, equipment, etc [19]. Last work [19] was a remodularization at the component by introduction requirements for modification of the functionality at the module using the Galois lattice with Formal concept analysis FCA and directed labeled graph for Self-defense Against the Failures. In this paper we support our method by benchmarking on the components Airbag and Torque transmission of the AUTOSAR architecture[1] [2] for Validation. Keyword: Benchmarking, Embedded Software Automobile, , Component, Module, Remodularization, FCA, Graph, Self-defense Against the Failures
Understanding user errors in database query

SQL (Structured Query Language) is the de facto standard language for querying databases. Unfortunately, users commit many errors when using SQL. The most common error is the omission of the "join statement," which indicates how to combine multiple database tables. This error wastes users' time for error correction, at an annual cost of approximately $53 million, but also returns answers that may be undetectably wrong. This dissertation guides the solution of this serious user error. This error can be fixed in many ways. In order to choose the most effective way, we need to consider the cognitive causes of the error, the set of available solutions, and the costs to the individuals involved. This dissertation first attempts to narrow the solution space by isolating the effective cognitive causes of this error. It then evaluates the remaining solutions for their costs and benefits. Isolation of the cognitive causes required construction of a new model of query writing, combining a task analysis with known characteristics of the human information processor. Because an analysis of existing data was not sufficient to isolate the causes of the error, a controlled study was run. Results of that study indicate that four factors contributed to the join omission: incorrect user knowledge, absence of a cue, overloading the user's working memory capacity, and functional fixedness. Since many factors contributed to the error, the multiple, appropriate solutions were evaluated for their costs and benefits to the end user, the software designer, and the information systems manager. This evaluation indicates that end users will always prefer an intelligent interface, since it requires the least time, but information systems managers will choose different solutions depending on the number of query users in their organization. This dissertation contributes a cognitive model of query writing, used to isolate causes of user-interface errors, and a method for evaluating the costs and benefits of various solutions to user-interface problems.
Collaborative Systems (AAAI-94 Presidential Address)

The construction of computer systems that are intelligent, collaborative problem-solving partners is an important goal for both the science of AI and its application. From the scientific perspective, the development of theories and mechanisms to enable building collaborative systems presents exciting research challenges across AI subfields. From the applications perspective, the capability to collaborate with users and other systems is essential if large-scale information systems of the future are to assist users in finding the information they need and solving the problems they have. In this address, it is argued that collaboration must be designed into systems from the start; it cannot be patched on. Key features of collaborative activity are described, the scientific base provided by recent AI research is discussed, and several of the research challenges posed by collaboration are presented. It is further argued that research on, and the development of, collaborative systems should itself be a collaborative endeavor -- within AI, across subfields of computer science, and with researchers in other fields.
An adaptive actuator failure compensation scheme for controlling a morphing aircraft model

An adaptive compensation control scheme is developed for a morphing aircraft model with actuator failures. Morphing actuators are special in the sense that they operate only at two states: on or off, and that they are used in large numbers to fulfill certain actuation function. We derive a failure model for morphing actuators and develop an adaptive scheme to estimate the actuation effectiveness and to update the number of actuators to be activated. A feedback control scheme is redesigned for adaptive actuator failure compensation, which ensures desired closed-loop stability and tracking properties. A simulation study with a linearized lateral dynamics model of the ICE aircraft is presented to demonstrate the system performance in the presence of uncertain actuator failures.
Acoustic testing for phonologization

Abstarct Examination of phonetic data can show when phonologization has or has not occurred. Under the general Economy assumption of generative linguistics, this is important for theoretical phonology, since only cases where it has occurred require a phonological account. A modular view of phonetics and phonology is assumed, as it is clearly consistent with generative theory. A procedure for acoustic phonetic testing for phonologization is illustrated using data from one speaker of Palestinian Arabic and one speaker of Stát'imcets Salish. The testing can confirm phonological accounts or cause their revision. How it can cause revision is illustrated with the Stát'imcets data: the speaker's retraction harmony affects a rightward vowel, which is unexpected from standard descriptions of the harmony in that language. The testing can also identify cases of phonetics-within-language. This is illustrated with the St'at'imcets speaker's schwa lowering.
The lower bound on available data rate over a two-wire transmission line

For a simple two-level baseband PAM transmission scheme the maximum transmission speed for a different cable length is estimated. When equalization methods are not applied, dispersion is a major range-limiting factor in baseband transmission. A computation technique is described for determining the data rate of a transmission line with known attenuation in a few frequency points. Attenuation data can be obtained by measurements or from cable manufacturer data. The given results can serve as a lower bound in comparison to the theoretical channel capacity that can be approached by complex technology.
A 'digital' 6-bit ADC in 0.25 /spl mu/m CMOS

Traditionally, circuit designers have adopted analog techniques to overcome comparator offset in flash converters. These schemes usually have an adverse effect on area and power consumption, and more seriously do not scale easily to low voltage processes. We describe a digital technique, which removes the accuracy constraints from the comparators. With no analog matching requirement, the comparators can be small, fast and power efficient. A 6-bit prototype converter built in a standard 0.25 /spl mu/m digital CMOS process occupies 1.2 mm/sup 2/ and dissipates 110 mW from a 2.2 V supply at 300 Ms/s.
Impact of mobility on aggregate traffic in mobile multimedia system

In the wireless context, the underlying user behaviour together with the unpredictability of the air interface will have a high impact on traffic (both in space and time) shaping the traffic over the mobile network. We investigate the impact of mobility on the aggregate traffic for a wireless packet data networks in the city area of Bristol, UK, in order to show if the mixture of voice and data applications exhibit self-similarity. We also compare the queuing performance of these new data models with the traditional Poisson model to investigate how these new models affects the provisioning and dimensioning of future wireless data networks.
Beamforming loss due to tracking error in downlink SDMA

Beamforming and adaptive array processing are now being considered for 3/sup rd/ generation cellular communication systems. On the downlink, beamforming techniques and spatial division multiple access (SDMA) can reduce the adverse effects high data rate mobiles have upon the system capacity in a code division multiple access (CDMA) communications system. For 3/sup rd/ Generation systems, one approach is to assign SDMA channels to low mobility/high data rate mobile stations and provide a low data rate service via a sectorized antenna. The use of SDMA for high rate mobiles requires the base station to accurately estimate the direction of multipaths between the base station and SDMA mobile stations. This paper presents a simple, but intuitive model for analyzing the beamforming loss due to inaccuracies in estimating the direction of arrival of multipaths from SDMA mobiles and the loss due to periodic update of beam patterns to SDMA mobiles.
Digitizing the News: Innovation in Online Newspapers

In this study of how daily newspapers in America have developed electronic publishing ventures, Pablo Boczkowski shows that new media emerge not just in a burst of revolutionary technological change but by merging the structures and practices of existing media with newly available technical capabilities. His multi-disciplinary perspectives of science and technology, communication, and organization studies allow him to address the connections between technical, editorial, and work facets of new media. This approach yields analytical insights into the material culture of online newsrooms, the production processes of new media products, and the relationships between offline and online dynamics.Boczkowski traces daily newspapers' early consumer-oriented non-print publishing initiatives, from the now-forgotten videotex efforts of the 1980s to the rise of the World Wide Web in the mid- 1990s. He then examines the formative years of news on the Web during the second half of the 1990s, when the content of online newspapers varied from simple reproduction of the print edition to new material with interactive and multimedia features. With this picture of the recent history of non-print publishing as background, Boczkowski provides ethnographic, fly-on-the-wall accounts of three innovations in content creation: the Technology section of the New York Times on the Web, which was initially intended as the newspaper's space for experimentation with online news; the Virtual Voyager project of the HoustonChronicle.com, in which reporters pushed the envelope of multimedia journalism; and the Community Connection initiative of New Jersey Online, in which users became content producers. His analyses of these ventures reveal how innovation in online newspapers became an ongoing process in which different combinations of initial conditions and local contingencies led publishers along divergent paths of content creation.
The Slow Fix: Solve Problems, Work Smarter and Live Better in a World Addicted to Speed

We live in a world that is addicted to the quick fix – quick and easy solutions for instant weight loss, turning your baby into Einstein, and instant abs in 5 days. We rely on money and medications to help quickly solve our problems. Yet, I find myself falling victim to these tactics of the quick fix as responsibilities increase and deadlines approach.
Scalable memory management using a distributed buddy allocator

The recent rise of multicore processors has forced us to reexamine old computer science problems in a new light. As multicores turn into manycores, we need to visit these problems yet again to find solutions that will work on these drastically different architectures. This thesis presents the design of a new page allocator algorithm based on a new distributed buddy allocator algorithm, one which is made with future processor architectures in mind. The page allocator is a vital and heavily-used part of an operating system, and making this more scalable is a necessary step to build a scalable operating system. This design was implemented in the fos [34] research operating system, and evaluated on 8and 16-core machines. The results show that this design has comparable performance with Linux for small core counts, and with its better scalability, surpasses the performance of Linux at higher core counts. Thesis Supervisor: Anant Agarwal Title: Professor, CSAIL
Adaptive algorithm for interference canceling in array processing

In array processing, one technique for cancelling interference in the presence of colored noise is the ULLV decomposition of a pair of matrices. The factorization is stable and accurate, and is easy to update when a row is added to either one of the two matrices. In earlier work, we made the assumptions that both matrices must have at least as many rows as columns and that the matrix representing interference must have full column rank. In this paper, we relax the latter restriction and allow the interference matrix to be rank deficient. We present an algorithm for computing the decomposition and two techniques for updating it. The details on updating are quite different from those in the full rank case.
CORBA and Web technologies applied to long distance learning

Recent growth in the Word Wide Web (WWW), Java and distributed object oriented technologies (e.g. CORBA) has received significant attention as means to provide a distributed infrastructure for computing and sharing of sophisticated and expensive laboratory equipment in computer engineering courses. This paper presents a CORBA-based toolkit integrated with the Web to allow the monitoring and experiment of a digital pendulum system in a class laboratory or with other educational institutions. A simple and easy-to-use Web graphical user interface (GUI) was developed to help students in the use of default control algorithms during lab experiences.
Is Your Email Box Safe?

Abstract Electronic mail (email) is a widely adopted communication mechanism often used to communicate sensitive and confidential information. Therefore, safeguarding the security of email accounts and letters has become an important issue. There are frequent media reports pertaining to security problems with email accounts. Therefore, studies on strengths, limitations, and possible improvements about email security are essential. This paper examined security and privacy protection mechanisms of four leading email service providers: Gmail, Yahoo Mail, Hotmail, and AOL Mail. A number of observations and experiments were conducted in order to understand existing security and privacy protection mechanisms of these providers. After that, this paper proposes some recommended protection mechanisms, which can be implemented by service providers, system developers, and email users. This study also explores several research avenues for academia.
Micropower CMOS bandgap voltage reference

This paper proposes two CMOS bandgap references, which provide a small dependence of the reference voltage on temperature and supply voltage. In order to obtain these small dependencies, a modified bandgap circuit and an autopolarisation crossconexion current source are used. SPICE simulation using MOSIS 0.8/spl mu/ confirms the theoretical analysis.
Fast mode decision algorithm for spatial scalable video coding

Multimedia applications are ubiquitous in daily life. To satisfy multiple requests equipped with different devices and bandwidths, scalable video coding has been developed. However, it is difficult to realise spatial and quality scalabilities in practice owing to the increased coding complexity brought by inter-layer prediction. A novel fast mode decision algorithm for spatial scalable video coding is proposed in which macroblock modes in the base layer and the enhancement layer are predicted from each other. The experimental results show that the proposed algorithm provides up to 74% of time saving with ignorable quality degradation and acceptable bit rate increase.
Rhetorical structure theory and text analysis

Abstract : Recent research on text generation has shown that there is a need for stronger linguistic theories that tell in detail how texts communicate. The prevailing theories are very difficult to compare, and it is also very difficult to see how they might be combined into stronger theories. To make comparison and combination a bit more approachable, we (Mann and Thompson) have created a book which is designed to encourage comparison. A dozen different authors or teams, all experienced in discourse research, are given exactly the same text to analyze. The text is an appeal for money by a lobbying organization in Washington, D.D. It informs, stimulates and manipulates the reader in a fascinating way. The joint analysis is far more insightful than any one team's analysis alone. This paper is our contribution to the book. Rhetorical Structure Theory (RST), the focus of this paper, is a way to account for the functional potential of text, its capacity to achieve the purposes of speakers and produce effects in hearers. It also shows a way to distinguish coherent texts from incoherent ones, and identifies consequences of text structure. Keywords: Artificial intelligence; Coherence; Computational linguistics; Discourse analysis; Linguistics; Natural language; Rhetorical structure theory; Text structure.
A 100 dB, 480 MHz OTA in 0.7 /spl mu/m CMOS for sampled-data applications

A fully differential operational transconductance amplifier with a gain-bandwidth of 480 MHz at 52 degrees of phase margin and a DC-gain of 100 dB has been implemented in a 0.7 /spl mu/m CMOS process. The circuit utilizes the regulated cascode gain enhancement technique and has a switched-capacitor dynamic common mode feedback structure. It has been designed for a +/- 3 V output swing at a single supply of 5 V. The power consumption is 145 mW.
Hypermedia, multimedia and hypertext: definitions and overview

In this paper I will discuss definitions of hypermedia, multimedia and hypertext. Hypertext is the grouping of relevant information in the form of nodes. These nodes are then connected together through links. In the case of hypertext the nodes contain text or graphics. Multimedia is the combining of different media types for example sound, animation, text, graphics and video for the presentation of information by making use of computers. Hypermedia can be viewed as an extension of hypertext and multimedia. It is based on the concept of hypertext that uses nodes and links in the structuring of information in the system. In this case the nodes consist of all the different data types that are mentioned in the multimedia definition above. The ‘node‐and‐link’ concept is used in organisation of the information in hypermedia systems. The ‘book’ metaphor is an example of the way these systems are implemented. This concept is explained and a few advantages and disadvantages of making use of hypermedia systems are discussed. A new approach for the development of hypermedia systems, namely the knowledge‐based approach is now looked into. Joel Peing‐Ling Loo proposed this approach because he thought that it is the most effective way for handling this kind of technology. A semantic‐based hypermedia model is developed in this approach to formulate solutions for the restrictions in presenting information authoring, maintenance and retrieval. The knowledge‐based presentation of information includes the use of conventional data structures. These data structures make use of frames (objects), slots and the inheritance theory that is also used in expert systems. Relations develop between the different objects as these objects are included in the database. Relations can also exist between frames by means of attributes that belong to the frames.
A Study on the Cooperation Model of Subject Specialist Upbringing Plan : Focusing on the Role of the Subjects Related to Library

This study aims to suggest the scheme of upbringing Subject Specialists based on the cooperative effort of the main bodies related to Libraries for bringing up and revitalizing plans. Only when all subjects in every sector cooperate hard, upbringing Subject Specialists can come true. To raise subject librarians, First, library-related organizations, groups, and associations have to play an important role in policies and financial support about Subject Specialists. Second, The academic world needs to plan and operate the various education programs for Subject Specialists. Finally, the libraries on the field Have to provide their members with motivation for being Subject Specialists, opportunities for education, and prepare the personage system including employment and compensation for Subject Specialists.
Formal Language Decomposition into Semantic Primes

This paper describes an algorithm for semantic decomposition. For that we surveys languages used to enrich contextual information with semantic descriptions. Such descriptions can be e.g. applied to enable reasoning when collecting vast amounts of information. In particular, we focus on the elements of the languages that make up their semantic. To do so, we compare the expressiveness of the well-known languages OWL, PDDL and MOF with a theory from linguistic called the Natural Semantic Metalanguage. We then analyze how the semantic of the language is build up and describe how semantic decomposition based on the semantic primes can be used for a so called mental lexicon. This mental lexicon can be used to reason upon semantic service description in the research domain of service match making.