ppxscal/embedding_network huggingface dataset:
TranStrL: An automatic need-to-translate string locator for software internationalization
Authors: Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun
Venue: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009)

Software internationalization is often necessary when distributing software applications to different regions around the world. In many cases, developers often do not internationalize a software application at the beginning of the development stage. To internationalize such an existing application, developers need to externalize some hard-coded constant strings to resource files, so that translators can easily translate the application to be in a local language without modifying its source code. Since not all the constant strings require externalization, locating those need-to-translate constant strings is a basic task that the developers must conduct. In this paper, we present TranStrL, an Eclipse plug-in tool that automatically locates need-to-translate constant strings in Java code. Our tool maintains a pre-collected list of API methods related to the Graphical User Interface (GUI), and then searches for need-to-translate strings in the source code starting from the invocations of these API methods using string-taint analysis.
Split-Order Distance for Clustering and Classification Hierarchies
Authors: Qi Zhang, Eric Yi Liu, Abhishek Sarkar, Wei Wang
Venue: Proceedings of the 21st International Conference on Scientific and Statistical Database Management (2009)

Clustering and classification hierarchies are organizational structures of a set of objects. Multiple hierarchies may be derived over the same set of objects, which makes distance computation between hierarchies an important task. In this paper, we model the classification and clustering hierarchies as rooted, leaf-labeled, unordered trees. We propose a novel distance metric Split-Order distance to evaluate the organizational structure difference between two hierarchies over the same set of leaf objects. Split-Order distance reflects the order in which subsets of the tree leaves are differentiated from each other and can be used to explain the relationships between the leaf objects. We also propose an efficient algorithm for computing Split-Order distance between two trees in O(n 2 d 4) time, where n is the number of leaves, and d is the maximum number of children of any node. Our experiments on both real and synthetic data demonstrate the efficiency and effectiveness of our algorithm.
Knowledge management implementation in supply chains: a strategic plan
Authors: R. Kant, M. D. Singh
Venue: International Journal of Business Information Systems (2009)

The success of Supply Chains (SCs) depends upon the flow of knowledge among its partners. Knowledge Management (KM) manages individual, group, organisational and network knowledge by using appropriate means and technologies. The main objectives of this paper are to formulate a strategic plan and develop a framework to guide KM implementation in SCs. It has been concluded that KM practices are significantly important and their growth enables SCs to deliver more value to customers.
A user-centered designed FOSS implementation of bone surgery simulations
Authors: Jonas Forsslund, Eva-Lotta Sallnas, Karl-Johan Palmerius
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

Different aspects of bone surgery simulation has been a popular topic in haptics research field. This demonstration paper has two major results: a Free and Open Source Software (FOSS) implementation of a well known algorithm for tool-bone interaction force estimation, and an evaluation conducted as part of a suggested User-centered design approach for creation of a surgery simulator targeting Oral Surgery in particular.
Computer assisted statistical methods for process reliability analysis
Authors: Ilie Mitran, Florin Dumitru Popescu, Marin Silviu Nan, Septimiu Sorin Soba
Venue: Proceedings of the 15th american conference on Applied mathematics (2009)

Reliability has recently emerged from the quality concept. If quality represents the total of a product's qualities, which make it good for use according to the destination, the reliability represents the capacity of the product to maintain its quality during the entire usage time. Reliability is the quality of the product extended through time. Analytically, the reliability represents the probability that during a given period of time, a product will be flawless. The technological capability or reliability represents way in which a technological system may realize, on the entire process of fulfilling a mission, the corresponding technological performances for its objectives.
Methods for a Synchronised Evolution of Databases and Associated Ontologies
Authors: Andreas Kupfer, Silke Eckstein, Britta Störmann, Karl Neumann, Brigitte Mathiak
Venue: Proceeding of the 2007 conference on Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006 (2007)

Ontologies are well applicable for the description of scientific databases and thus provide appropriate means to link different databases. In a first step it is useful to generate initial ontologies from the respective database schemas. They can be completed with more specific information later on. If the database schemas change, however, these changes should now automatically be propagated to the respective ontologies. Using a realistic example from the biological field of signal transduction pathways, we demonstrate that the suggested approach is both, feasible and reasonable.
Analog and short channel effects performance of sub-100 nm graded channel fully depleted silicon on insulator (SOI)
Authors: Norsyahida Jafar, Norhayati Soin
Venue: Proceedings of the 8th WSEAS international conference on Microelectronics, nanoelectronics, optoelectronics (2009)

This paper presents the dependency of analog and Short Channel Effects (SCEs) performance of 75 nm channel length fully-depleted Silicon On Insulator (SOI) device on the applied Graded Channel (GC) design. The comparative analysis between standard SOI (STD SOI) devices at doped channel and equivalent threshold voltage, VTH with GC SOI device are examined on the basis of internal physical mechanisms. Device characterizations are performed using simulation based approached provided by ATLAS 2D. Results show superiority of GC performances over standard SOI devices in both analog and SCEs point of views.
A robust a-posteriori error estimator for discontinuous Galerkin methods for convection--diffusion equations
Authors: Dominik Schötzau, Liang Zhu
Venue: Applied Numerical Mathematics (2009)

A robust a-posteriori error estimator for interior penalty discontinuous Galerkin discretizations of a stationary convection-diffusion equation is derived. The estimator yields global upper and lower bounds of the error measured in terms of the energy norm and a semi-norm associated with the convective term in the equation. The ratio of the upper and lower bounds is independent of the magnitude of the Peclet number of the problem, and hence the estimator is fully robust for convection-dominated problems. Numerical examples are presented that illustrate the robustness and practical performance of the proposed error estimator in an adaptive refinement strategy.
Fast, automatic and fine-grained tampered JPEG image detection via DCT coefficient analysis
Authors: Zhouchen Lin, Junfeng He, Xiaoou Tang, Chi-Keung Tang
Venue: Pattern Recognition (2009)

The quick advance in image/video editing techniques has enabled people to synthesize realistic images/videos conveniently. Some legal issues may arise when a tampered image cannot be distinguished from a real one by visual examination. In this paper, we focus on JPEG images and propose detecting tampered images by examining the double quantization effect hidden among the discrete cosine transform (DCT) coefficients. To our knowledge, our approach is the only one to date that can automatically locate the tampered region, while it has several additional advantages: fine-grained detection at the scale of 8x8 DCT blocks, insensitivity to different kinds of forgery methods (such as alpha matting and inpainting, in addition to simple image cut/paste), the ability to work without fully decompressing the JPEG images, and the fast speed. Experimental results on JPEG images are promising.
The architecture of traffic and travel information system based on protocol TPEG
Authors: Petr Bures
Venue: Proceedings of the 2009 Euro American Conference on Telematics and Information Systems: New Opportunities to increase Digital Citizenship (2009)

This paper presents different viewpoints of architecture of traffic and travel information (TTI) system based on protocol TPEG. During the identification of the information architecture, several formats (binary or XML) and location description methods (AGORA-C or TMC) possible within TPEG TTI message were analyzed. After this initial analysis, description of functional viewpoints of the system and its implementation architecture is discussed, proposing infrastructure for distributing TTI over digital radio broadcasting and Internet using TPEG formats and protocols. The paper is summarized with possible deployment scenarios in the Czech Republic and their organizational aspects, taking into account existing traffic information centers and their dissemination activities.
Maximum and Minimum of Discrete Fuzzy Numbers
Authors: Jaume Casasnovas, J. Vicente Riera
Venue: Proceeding of the 2007 conference on Artificial Intelligence Research and Development (2007)

In this paper we propose a method to obtain the maximum and the minimum of discrete fuzzy numbers, when the extension principle does not yield a fuzzy subset such that it satisfies the conditions of discrete fuzzy number. Moreover, in the case of discrete fuzzy numbers whose support is a subset of consecutive natural numbers, our method and the extension principle obtain the same discrete fuzzy number.
WIKIFAQ: Obtaining Complete FAQs
Authors: Araceli Moreno, Claudia Carrillo, Sonia Delfin, Eduard Muntaner, Josep Lluis de la Rosa
Venue: Proceeding of the 2006 conference on Artificial Intelligence Research and Development (2006)

In this paper we present research into obtaining complete FAQs that provide users with satisfactory information. To achieve that we join FAQ technology with the emerging wiki technology to obtain a tool we call WikiFAQ which includes all the basics elements of a FAQ combined with the properties of wikis, and in which we include a set of Knowledge Contribution Methods (KCM) based on bidding and auctioning systems, and a reward mechanism (RM) based on points as in trust and reputation systems. We use Citizen Information Services (CIS) in local governments as an application domain for WikiFAQ because they are a rich source of diverse and dispersed users with direct and relevant experience.
Using genetic algorithm to solve a new multi-period stochastic optimization model
Authors: Xin-Li Zhang, Ke-Cun Zhang
Venue: Journal of Computational and Applied Mathematics (2009)

This paper presents a new asset allocation model based on the CVaR risk measure and transaction costs. Institutional investors manage their strategic asset mix over time to achieve favorable returns subject to various uncertainties, policy and legal constraints, and other requirements. One may use a multi-period portfolio optimization model in order to determine an optimal asset mix. Recently, an alternative stochastic programming model with simulated paths was proposed by Hibiki [N. Hibiki, A hybrid simulation/tree multi-period stochastic programming model for optimal asset allocation, in: H. Takahashi, (Ed.) The Japanese Association of Financial Econometrics and Engineering, JAFFE Journal (2001) 89-119 (in Japanese); N. Hibiki A hybrid simulation/tree stochastic optimization model for dynamic asset allocation, in: B. Scherer (Ed.), Asset and Liability Management Tools: A Handbook for Best Practice, Risk Books, 2003, pp. 269-294], which was called a hybrid model. However, the transaction costs weren't considered in that paper. In this paper, we improve Hibiki's model in the following aspects: (1) The risk measure CVaR is introduced to control the wealth loss risk while maximizing the expected utility; (2) Typical market imperfections such as short sale constraints, proportional transaction costs are considered simultaneously. (3) Applying a genetic algorithm to solve the resulting model is discussed in detail. Numerical results show the suitability and feasibility of our methodology.
Reversibility improved lossless data hiding
Authors: Xinbo Gao, Lingling An, Xuelong Li, Dacheng Tao
Venue: Signal Processing (2009)

Recently, lossless data hiding has attracted increasing interests. As a reversible watermark scheme, the host media and hidden data should be recovered without distortion. A latest lossless data hiding technique based on image blocking and block classification has achieved good performance for image authentication. However, this method cannot always fully restore all the blocks of host images and watermarks. For this purpose, we propose an improved algorithm, which is characterized by two aspects. First, a block skipping scheme (BSS) is developed for the host blocks selection to embed watermark; secondly, the embedding level is modified by a novel parameter model to guarantee that the host blocks can be recovered without distortion as well as the embedded data. Extensive experiments conducted on standard grayscale images, medical images, and color images have demonstrated the effectiveness of the improved lossless data hiding scheme.
Optimization-based machine learning and data mining
Authors: Olvi L. Mangasarian
Venue:  (2008)

Novel approaches for six important problems in machine learning, and two methods for solving linear programs, are introduced. Each machine learning problem is addressed by formulating it as an optimization problem. By using results based on theorems of the alternative for linear or convex functions, we are able to incorporate prior knowledge into function approximations or classifiers generated by linear combinations of linear or nonlinear kernels. We will consider prior knowledge consisting of linear inequalities to be satisfied over multiple polyhedral regions, nonlinear inequalities to be satisfied over arbitrary regions, and nonlinear equalities to be satisfied over arbitrary regions. Each kind of prior knowledge leads to different formulations, each with certain advantages. In privacy-preserving classification, data is divided into groups belonging to different entities unwilling to share their privately-held data. By using a completely random matrix, we are able to construct public classifiers that do not reveal the privately held data, but have accuracy comparable to that of an ordinary support vector machine classifier based on the entire data. To address the problem of feature selection in clustering, we propose a modification of the objective function of a standard clustering algorithm which allows features to be eliminated. For feature selection in nonlinear kernel classification, we propose a mixed-integer algorithm which alternates between optimizing the continuous variables of an ordinary nonlinear support vector machine and optimizing integer variables which correspond to selecting or removing features from the classifier. We also propose a classifier based on proximity to two planes which are not required to be parallel. Finally, we tackle the multiple instance classification problem by formulating the problem as the minimization of a linear function subject to linear and bilinear constraints. In several of these problems, the solution we propose involves solving linear programs. We consider sufficient conditions which allow us to determine whether a solution of a linear program obtained by either of two algorithms is exact. Both of these two algorithms can be implemented using only a solver for linear systems of equations.
Wired and Wireless Networks- A Transport Layer Perspective
Authors: Xinbing Wang
Venue:  (2007)

How to understand the fundamental nature of wired and wireless networks is a critical and interesting issue. With the rapid development of networks, the performance is obtaining more and more attention. This book is trying to answer the following questions. (i) what are the stability characteristics of TCP flows over a wired networks, which is in the linear scale, including the definition of stability, the normalized fluid model, general AIMD parameter pairs, etc; (ii) what are the performance of TCP flows under an aggressive scale, including the stochastic model, homogeneous round trip time, heterogeneous round trip time, mixture of long live and short live flows, etc; (iii) when TCP is applied to wireless networks, how to characterise the TCP influence? How to set up a two-level model? What is the packet level performance and what is the call level performance. This book is useful to the professionals in network community like professors, graduate students, and researchers. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
An analysis of perceived faculty and staff computing behaviors that protect or expose them or others to information security attacks
Authors: Jasmine Renner
Venue:  (2008)

A mixed-methods study, conducted in 2007-2008, designed to quantify and assess behaviors that either protect or expose data at academic institutions to information security attacks. This study focused on computing practices at two academic institutions: East Tennessee State University and Milligan College. Interviews with six information technology professionals and online surveys were used to assess faculty and staff members&rsquo; awareness and practice of safe computing behaviors. The constant comparison method was used to analyze qualitative data. Descriptive statistics and univariate and multivariate analysis of variance techniques were used to analyze the quantitative data. Overall, the analyses indicated that the faculty and staff members at these institutions were equally aware of information security issues and practices and tended to practice safe computing behaviors&mdash;though apparently at a level that was less than commensurate with their awareness of these behaviors. Raised awareness correlated with safe computing behaviors, as did computer usage: those who had used computers for more than 20 years appeared to be more aware of safe practice than those who had used computers for 20 years or less. Password management emerged as a major challenge for the participants. They were also concerned with phishing emails and they tended not to be aware of FERPA regulations.
Mechanised Wire-wise Verification of Handel-C Synthesis
Authors: Juan Ignacio Perna, Jim Woodcock
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

The compilation of Handel-C programs into net-list descriptions of hardware components has been extensively used in commercial tools but never formally verified. In this paper, we first introduce a variation of the existing semantic model for Handel-C compilation that is amenable for mechanical proofs and detailed enough to analyse properties about the generated hardware. We use this model to prove the correctness of the wiring schema used to interconnect the components at the hardware level and propagate control signals among them. Finally, we present the most interesting aspects of the mechanisation of the model and the correctness proofs in the HOL theorem prover.
What bioinformatics can tell us about ourselves and our environment?
Authors: Pascal Hingamp
Venue: Proceedings of the 2009 conference on Information Science, Technology and Applications (2009)

With life sciences entering the realm of "big science", computational tools are playing an increasingly important role in transforming biological data into knowledge. The tutorial will start by looking at DNA sequencing (the deciphering of genetic information), and show how bioinformatics underpin all stages of this fast evolving technology. We will see how state of the art sequencers now come equipped with high performance computers for data acquisition (e.g. image analysis) and data processing (e.g. DNA sequence assembly). Querying of the largest DNA sequence database (GENBANK) will be demonstrated online, together with a tour of the ENSEMBL human genome browser. We will explore what bioinformatics tools can tell us about unknown DNA randomly sampled from the oceans during a metagenomics expedition (does the DNA code for a protein? what might be it's function? what species does it come from?). Finally, the issues of data storage (e.g. Laboratory Information Management Systems) and data exchange (e.g. XML formats) will be illustrated with DNA microarrays, a technolgy used for massively parallel measurement of gene expression levels.
The Contribution of a Speech Comparison Tool in Teaching Thai as a Foreign Language
Authors: Maliwan Buranapatana, Felicia Zhang
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

This paper reports on a study which evaluates the effect of a language teaching approach called the Somatically-Enhanced Approach [1] in the teaching of Thai language to a group of Vietnamese learners in Vietnam. The teaching methodology deals with training students' perceptual mechanisms to enable them to have better pronunciation in an L2 from the beginning. Teaching innovations include: the use of relaxation techniques to relax students; the use of humming, clapping and physical gestures to emphasize the rhythm of the Thai language; the use of a Speech comparison tool (Sptool) [2] for self-study; and the provision of all learning materials on CD-ROMs. The results show that after 12 face-to-face contact hours, Vietnamese students who undertook a course in SEA are as fluent as their fellow students who studied Thai for 1 year using the traditional approach. In this paper, the results of the study, both quantitative and qualitative, will be reported. An evaluation of the Speech comparison tool will also be included.
Thermal-aware methodology for repeater insertion in low-power VLSI circuits
Authors: Ja Chun Ku, Yehea Ismail
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2007)

In this paper, the impact of thermal effects on low-power repeater insertion methodology is studied. An analytical methodology for thermal-aware repeater insertion that includes the electrothermal coupling between power, delay, and temperature is presented, and simulation results with global interconnect repeaters are discussed for 90-and 65-nm technology. Simulation results show that the proposed thermal-aware methodology can save 17.5% more power consumed by the repeaters compared to a thermal-unaware methodology for a given allowed delay penalty. In addition, the proposed methodology also results in a lower chip temperature, and thus, extra leakage power savings from other logic blocks.
Synchronization and Lag Synchronization of Chaotic Networks
Authors: Zunshui Cheng, Youming Xin, Xuechen Li, Jianmin Xing
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part II (2009)

In this paper, we investigates synchronization dynamics of hyperchaotic neural networks by using proper nonlinear feedback controllers. Globally exponential lag synchronization (GELS) include globally exponential synchronization (GES) are studied. We obtain the Lyapunov stability criteria for the globally exponential lag synchronization. Numerical simulations are used to illustrate the theoretical results.