Miracle-dz/UniFAR-FTUs huggingface dataset:
Database repairing using updates

Repairing a database means bringing the database in accordance with a given set of integrity constraints by applying some minimal change. If a database can be repaired in more than one way, then the consistent answer to a query is defined as the intersection of the query answers on all repaired versions of the database.Earlier approaches have confined the repair work to deletions and insertions of entire tuples. We propose a theoretical framework that also covers updates as a repair primitive. Update-based repairing is interesting in that it allows rectifying an error within a tuple without deleting the tuple, thereby preserving consistent values in the tuple. Another novel idea is the construct of nucleus: a single database that yields consistent answers to a class of queries, without the need for query rewriting. We show the construction of nuclei for full dependencies and conjunctive queries. Consistent query answering and constructing nuclei is generally intractable under update-based repairing. Nevertheless, we also show some tractable cases of practical interest.
MENGENAL TEKNIK-TEKNIK BIMBINGAN DAN KONSELING

Syukur Alhamdulillah, kamus kecil ini akhirnya berhasil diselesaikan penyusunannya. Kamus ini lahir dari sebuah motivasi utama untuk lebih meningkatkan pemahaman kami terhadap teknik-teknik bimbingan dan konseling, Motivasi lainnya adalah untuk lebih menyosialisasikan teknik-teknik bimbingan dan konseling kepada mahasiswa kependidikan, khususnya mahasiswa bimbingan dan konseling, guru pembimbing di sekolah, dan warga masyarakat pemerhati bimbingan dan konseling pada umumnya. Dari motivasi tersebut, kami berusaha mencatat setiap istilah-istilah teknis yang ditanyakan mahasiswa, baik dalam perkuliahan maupun dalam pembimbingan skripsi dan tesis. Atas dorongan berbagai pihak, terutama rekan-rekan seprofesi, mahasiswa program studi bimbingan dan konseling (S1) FIP-UNM, mahasiswa Jurusan Pendidikan Bimbingan dan Konseling (S2) Program Pascasarjana UNM, catatan-catatan tersebut kami olah, dan melahirkan kamus ini. Dalam penyusunan kamus ini banyak pihak yang turut memberi bantuan. Mereka banyak memberi dorongan, masukan, pertimbangan, dan koreksi, mulai dari pengumpulan entry hingga terwujudkan kamus ini. Tanpa dorongan dan bantuan mereka, kamus ini mungkin tidak akan pernah terwujud. Untuk itu, kami menyampaikan penghargaan dan ucapan terima kasih. Penghargaan dan ucapan terima kasih juga kami tujukan pada Badan Penerbit UNM yang telah bersedia mengedit dan menerbitkan kamus ini. Sebagai suatu karya awal, sulit dihindari terdapatnya keterbatasan dan kelemahan dalam kamus ini. Oleh karena itu, , segala kritik dan saran untuk penyempurnaan kamus ini, Kami terima dengan senang hati.
Game theoretic analysis of network dimensioning strategies in differentiated services networks

Considering the users of a network as players competing for the network resources, the game theory seems to be a useful tool for describing the behavior of the system. Applying the rules of non-cooperative games where the players are selfish and act individually, Nash equilibria can be used to determine the "rest points" of the system. Analyzing these points by calculating the overall utility gained by the users and the overall income of the network operator, different network dimensioning strategies can be evaluated. This paper introduces evaluation of typical dimensioning strategies in DiffServ networks with different domain control setups, and with diverse user expectations in terms of QoS and price.
Switching flow-graph nonlinear modelling technique

A unified graphical modeling technique, the switching flow-graph, is developed to study the nonlinear dynamic behavior of pulse-width-modulated (PWM) switching power converters. Switching converters are variable structure systems with linear subsystems. Each subsystem can be represented by a flow-graph. The switching flow-graph is obtained by combining the flow-graphs of the subsystems through the use of switching branches. The switching flow-graph model is easy to derive, and it provides a visual representation of switching converter system. Experiments demonstrate that the model has very good accuracy. <<ETX>>
Defeasible Classifications and Inferences from Definitions

We contend that it is possible to argue reasonably for and against arguments from classifications and definitions, provided they are seen as defeasible (subject to exceptions and critical questioning). Arguments from classification of the most common sorts are shown to be based on defeasible reasoning of various kinds represented by patterns of logical reasoning called defeasible argumentation schemes. We show how such schemes can be identified with heuristics, or short-cut solutions to a problem. We examine a variety of arguments of this sort, including argument from abductive classification, argument from causal classification, argument from analogy-based classification and arguments from classification based on generalizations.
Agent-based Architecture for Autonomic Web Service Selection

In principle, with Web services, application creation is simply a matter of finding and selecting the right services and composing them into a solution. However, current techniques do not address the problem of selecting the best or even a desirable service from among those matching a given interface. We propose an approach wherein middle agents serve as proxies for Web services to assist an application in selecting implementations that best match the quality criteria of the application. This approach supports the dynamic and potentially optimal selection of services and supports the natural formation of communities of agents helping each other evaluate the same services. This approach gets us close to vision of autonomic computing, wherein computational resources are selfmanaging and self-configuring. A prototype of this system is under development and evaluation.
Optimized photorealistic audiovisual speech synthesis using active appearance modeling

Active appearance models can represent image information in terms of shape and texture parameters. This paper explains why this makes them highly suitable for data-based 2D audiovisual text-to-speech synthesis. We elaborate on how the differentiation between shape and texture information can be fully exploited to create appropriate unit-selection costs and to enhance the video concatenations. The latter is very important since for the synthetic visual speech a careful balancing between signal smoothness and articulation strength is required. Several optimization strategies to enhance the quality of the synthetic visual speech are proposed. By measuring the properties of each model parameter, an effective normalization of the visual speech database is feasible. In addition, the visual joins can be optimized by a parameter-specific concatenation smoothing. To further enhance the naturalness of the synthetic speech, a spectrum-based smoothing approach is introduced.
Polynomial-time approximation schemes for geometric graphs

A disk graph is the intersection graph of a set of disks with arbitrary diameters in the plane. For the case that the disk representation is given, we present polynomial-time approximation schemes (PTASs) for the maximum weight independent set problem (selecting disjoint disks of maximum total weight) and for the minimum weight vertex cover problem in disk graphs. These are the first known PTASs for NP-hard optimization problems on disk graphs. They are based on a novel recursive subdivision of the plane that allows applying a shifting strategy on different levels simultaneously, so that a dynamic programming approach becomes feasible. The PTASs for disk graphs represent a common generalization of previous results for planar graphs and unit disk graphs. They can be extended to intersection graphs of other “disk-like” geometric objects (such as squares or regular polygons), also in higher dimensions.
Estimation and computation of transfer function parameters from FRA data for analyzing transformer winding deformation and displacements

In this paper, experimental investigation carried out on a transformer to obtain frequency response data under various deformation/displacements physically simulated to study and identify the various parameters that influence the frequency responses is presented. Transfer Function using real-rational polynomial function model was computed from the Frequency Response Analysis data. Various transfer function parameters were computed for reference and simulated faulty Frequency Response Analysis data. These parameters are then analyzed to relate changes to characterize the defects by correlating with type and position of the deformation/displacement. The analysis presented based on the transfer function characteristic parameter changes will help in diagnosing transformer winding deformations/displacements.
A New Synchronous Current Regulator and an Analysis of Current-Regulated PWM Inverters

Detailed models are presented for the stationary and synchronous sine-triangle current regulators. Analytical and test results are compared for purposes of model verification and regulator evaluation. The results demonstrate the limitations of the two most often used current regulators and the robustness of the synchronous current regulator. The stationary sine-triangle and hysteretic current regulators are shown to have steady-state characteristics that depend on slip, operating frequency, and motor impedance. In contrast the synchronous regulator, because it lacks these dependencies, exhibits ideal steady-state current regulator characteristics without sacrificing bandwidth. Moreover, the complexities traditionally associated with the synchronous regulator are overcome with a simple equivalent implementation.
An Instance-based Approach for Identifying Candidate Ontology Relations within a Multi-Agent System

Discovering related concepts in a multi-agent system among agents with diverse ontologies is difficult using existing knowledge representation languages and approaches. We describe an approach for identifying candidate relations between expressive, diverse ontologies using concept cluster integration. We evaluate the feasibility of this approach using lightweight ontologies. These lightweight ontologies are constructed from the Magellan search Web site and consist of Web page categories, or concepts, and their corresponding instances.
Improved Analysis of Energy Hole for Wireless Sensor Networks

Through analysis of energy consumption of wireless sensor networks with uniform node distribution, this paper finds that energy hole in the wireless sensor networks with uniform node distribution can not be avoided. When network lifetime ends, as much as 90% of network energy remains. However, network lifetime can increase several times by selecting different transmission power levels. The main conclusions in this paper are presented is that the energy consumption in the same circular ring is nonuniform if the density of sensor nodes in the same circular ring is uniform.
Comparing Effort Estimates Based on Use Case Points with Expert Estimates

Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Attributes of a use case model may therefore serve as measures of the size and complexity of the functionality of a system. Many organizations use a system's use case model in the estimation process. This paper reports the results from a study conducted to evaluate a method for estimating software development effort based on use cases, the use case points method, by comparing it with expert1 estimates. A system was described by a brief problem statement and a detailed use case model. The use case points method gave an estimate that was closer to the actual effort spent on implementing the system than most estimates made by 37 experienced professional software developers divided into 11 groups (MRE of 0.21 versus MMRE of 0.37). The results support existing claims that the use case points method may be used successfully in estimating software development effort. They also show that the combination of expert estimates and method based estimates may be particularly beneficial when the estimators lack specific experience with the application domain and the technology to be used.
A Multiprotein Nuclear Complex Connects Fanconi Anemia and Bloom Syndrome

ABSTRACT Bloom syndrome (BS) is a genetic disorder associated with dwarfism, immunodeficiency, reduced fertility, and an elevated risk of cancer. To investigate the mechanism of this disease, we isolated from human HeLa extracts three complexes containing the helicase defective in BS, BLM. Interestingly, one of the complexes, termed BRAFT, also contains five of the Fanconi anemia (FA) complementation group proteins (FA proteins). FA resembles BS in genomic instability and cancer predisposition, but most of its gene products have no known biochemical activity, and the molecular pathogenesis of the disease is poorly understood. BRAFT displays a DNA-unwinding activity, which requires the presence of BLM because complexes isolated from BLM-deficient cells lack such an activity. The complex also contains topoisomerase IIIα and replication protein A, proteins that are known to interact with BLM and could facilitate unwinding of DNA. We show that BLM complexes isolated from an FA cell line have a lower molecular mass. Our study provides the first biochemical characterization of a multiprotein FA complex and suggests a connection between the BLM and FA pathways of genomic maintenance. The findings that FA proteins are part of a DNA-unwinding complex imply that FA proteins may participate in DNA repair.
FRB: File Resource Broker for Integrating Heterogeneous File Resources

With the development of network infrastructure and grid technology, a large quantity of file resources are required to be accessed and shared especially in scientific area. However the heterogeneous characteristic of these file resources brings a big challenge to programmer. We have designed and implemented the File Resource Broker (FRB), a light-weight and easy-to-use system for integrating heterogeneous files resources. With FRB, users could organize, manage and access heterogeneous file resources under a unified view in which file resources are organized into a directory tree. The underlying transfer mechanism is transparent to users, which makes heterogeneous file resources behave as local files. Experimental results show that FRB provides high performance of accessing file resources. The response time and transport speed of heterogeneous file resources are fast.
Point feature extraction on 3D range scans taking into account object boundaries

In this paper we address the topic of feature extraction in 3D point cloud data for object recognition and pose identification. We present a novel interest keypoint extraction method that operates on range images generated from arbitrary 3D point clouds, which explicitly considers the borders of the objects identified by transitions from foreground to background. We furthermore present a feature descriptor that takes the same information into account. We have implemented our approach and present rigorous experiments in which we analyze the individual components with respect to their repeatability and matching capabilities and evaluate the usefulness for point feature based object detection methods.
Undesirable Choice Biases with Small Differences in the Spatial Structure of Chance Stimulus Sequences

In two-alternative discrimination tasks, experimenters usually randomize the location of the rewarded stimulus so that systematic behavior with respect to irrelevant stimuli can only produce chance performance on the learning curves. One way to achieve this is to use random numbers derived from a discrete binomial distribution to create a 'full random training schedule' (FRS). When using FRS, however, sporadic but long laterally-biased training sequences occur by chance and such 'input biases' are thought to promote the generation of laterally-biased choices (i.e., 'output biases'). As an alternative, a 'Gellerman-like training schedule' (GLS) can be used. It removes most input biases by prohibiting the reward from appearing on the same location for more than three consecutive trials. The sequence of past rewards obtained from choosing a particular discriminative stimulus influences the probability of choosing that same stimulus on subsequent trials. Assuming that the long-term average ratio of choices matches the long-term average ratio of reinforcers, we hypothesized that a reduced amount of input biases in GLS compared to FRS should lead to a reduced production of output biases. We compared the choice patterns produced by a 'Rational Decision Maker' (RDM) in response to computer-generated FRS and GLS training sequences. To create a virtual RDM, we implemented an algorithm that generated choices based on past rewards. Our simulations revealed that, although the GLS presented fewer input biases than the FRS, the virtual RDM produced more output biases with GLS than with FRS under a variety of test conditions. Our results reveal that the statistical and temporal properties of training sequences interacted with the RDM to influence the production of output biases. Thus, discrete changes in the training paradigms did not translate linearly into modifications in the pattern of choices generated by a RDM. Virtual RDMs could be further employed to guide the selection of proper training schedules for perceptual decision-making studies.
Tag recommendation based on user interest lattice matching

Social tagging is becoming more and more popular in various Web 2.0 applications nowadays. It is important for many web-sites with tagging capabilities like “delicious” or “flickr”. These social tagging systems usually include tag recommendation mechanism which assist users in tagging process by suggesting relevant tags to them, where tag recommendation is the task of predicting a personalized list of tags for a user given an item. In this paper, we propose an approach for tag recommendation based on users' interest lattice matching(UILM). UILM constructs the users' interest lattice according to users' interest context extracted from tagging data. Lattice Matching is then proposed and applied to obtain the users that are similar to the current user. Finally, we show the feasibility and efficiency of our approach through experiments.
Design and implementation of interconnecting IPv6 wireless sensor networks with the Internet

6LoWPAN gives a great opportunity for sensor networks to communicate with the Internet using IP. However, it's difficult for the 6LoWPAN sensor networks to be operated from the Internet directly. In this paper, an access gateway and sensor nodes based on 6LoWPAN are designed and constructed to make the interconnection feasible. This solution allows legal Internet IPv4 client to access and control each specific sensor nodes using IPv6. Furthermore, it enables different sensor networks to exchange information through a 6to4 tunnel implementation. Besides, the performance of the WSN has been evaluated and analyzed. The experimental results show that the interconnection between IPv6 WSN and Internet is successful and reliable.
Are Parents’ Ratings and Satisfaction With Preschools Related to Program Features?

This study examines whether parents’ overall satisfaction with their child’s early childhood education (ECE) program is correlated with a broad set of program characteristics, including (a) observational assessments of teacher-child interactions; (b) structural features of the program, such as teacher education and class size; (c) practical and convenience factors (e.g., hours, cost); and (d) a measure of average classroom learning gains. It then describes associations between parents’ evaluation of specific program characteristics and externally collected measures of those features. Leveraging rich data from a sample of low-income parents whose 4-year-olds attend publicly funded ECE programs, we find little correspondence between parents’ evaluations of program characteristics and any external measures of those same characteristics. We discuss policy implications, especially in light of recent federal and state informational initiatives, which aim to help families make informed ECE choices.
A Compact Cluster of Massive Red Galaxies at a Redshift of 1.5

We describe a compact cluster or group of massive red galaxies at z = 1.5 discovered in one of the Gemini Deep Deep Survey (GDDS) fields. Deep H-band imaging from the Hubble Space Telescope (HST) reveals a high density of red galaxies associated with a galaxy with a spectroscopic redshift of 1.51. These galaxies have spectral energy distributions (SEDs) that peak between 3.6 and 4.5 μm, and fits to 12-band photometry reveal 12 or more galaxies with spectral shapes consistent with z = 1.5. Most are within ~170 comoving kpc of the GDDS galaxy, and the enclosed stellar mass is >6 × 1011 M☉. The colors of the most massive galaxies are close to those expected from passive evolution of simple stellar populations (SSPs) formed at much higher redshifts. We suggest that several of these galaxies will merge to form a single, very massive galaxy by the present day. This system may represent an example of a short-lived dense group or cluster core typical of the progenitors of massive clusters in the present day and suggests that the red sequence was in place in overdense regions at early times.
Accuracy and Repeatability of the Gait Analysis by the WalkinSense System

WalkinSense is a new device designed to monitor walking. The aim of this study was to measure the accuracy and repeatability of the gait analysis performed by the WalkinSense system. Descriptions of values recorded by WalkinSense depicting typical gait in adults are also presented. A bench experiment using the Trublu calibration device was conducted to statically test the WalkinSense. Following this, a dynamic test was carried out overlapping the WalkinSense and the Pedar insoles in 40 healthy participants during walking. Pressure peak, pressure peak time, pressure-time integral, and mean pressure at eight-foot regions were calculated. In the bench experiments, the repeatability (i) among the WalkinSense sensors (within), (ii) between two WalkinSense devices, and (iii) between the WalkinSense and the Trublu devices was excellent. In the dynamic tests, the repeatability of the WalkinSense (i) between stances in the same trial (within-trial) and (ii) between trials was also excellent (ICC > 0.90). When the eight-foot regions were analyzed separately, the within-trial and between-trials repeatability was good-to-excellent in 88% (ICC > 0.80) of the data and fair in 11%. In short, the data suggest that the WalkinSense has good-to-excellent levels of accuracy and repeatability for plantar pressure variables.