ppxscal/embedding_network huggingface dataset:
Application of Fuzzy-MRP-II in fast moving consumer goods manufacturing industry
Authors: Jiping Niu, John Dartnall
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

In today's global marketplace, the information associated with a product is fast becoming a critical link in the supply chain. Especially in fast moving consumer goods (FMCGs) industry, there is more fierce competition and more unstable requirement. Most plants use Manufacturing Resource Planning (MRP-II) system to manage the process of production. But how to deal with the uncertain and imprecise requirement in the middle term production schedule and make a best plan for best profit is a main problem in this system. In this paper, we investigate the method named Fuzzy-MRP-II to deal with the uncertainty and imprecision. Fuzzy-MRP-II shows all of the information for the decision makers allowing them to consider all possibilities of the orders.
Comments on “Stability analysis for a class of Takagi--Sugeno fuzzy control systems with PID controllers”
Authors: Xiaojun Ban, X. Z. Gao, Xianlin Huang
Venue: International Journal of Approximate Reasoning (2009)

This note points out that some results in the paper (International Journal of Approximate Reasoning 46 (2007) 109-119) are incorrect.
A systematic approach to improve multiple Lyapunov function stability and stabilization conditions for fuzzy systems
Authors: Leonardo A. Mozelli, Reinaldo M. Palhares, Gustavo S. C. Avellar
Venue: Information Sciences: an International Journal (2009)

This paper presents a systematic approach for decreasing conservativeness in stability analysis and control design for Takagi-Sugeno (TS) systems. This approach is based on the idea of multiple Lyapunov functions together with simple techniques for introducing slack matrices. Unlike some previous approaches based on multiple Lyapunov functions, both the stability and the stabilization conditions are written as linear matrix inequality (LMI) problems. The proposed approach reduces the number of inequalities and guarantees extra degrees of freedom to the LMI problems. Numeric examples illustrate the effectiveness of this method.
Alert Correlation through Results Tracing back to Reasons
Authors: Yi Ping, Xing Hongkai, Wu Yue, Cai Jiwen
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

IDS may result in many intrusion alerts. A general approach for solving this problem is to do some correlation analysis with these alerts and build attack scenario. Author presents a method for alert correlation through results tracing back to reasons. According to hacker attacks linked to a certain sequence characteristics, we correlate the alerts through results tracing back to reasons and gain the correlated alerts. This method can found internal relations of invasion, to accurately identify intrusion targets. Through succeed attacks to match the previous attacks, we can greatly reduce the volume of data, and improve speed and efficiency for correlation analysis.
A constrained finite element method satisfying the discrete maximum principle for anisotropic diffusion problems
Authors: D. Kuzmin, M. J. Shashkov, D. Svyatskiy
Venue: Journal of Computational Physics (2009)

Nonlinear constrained finite element approximations to anisotropic diffusion problems are considered. Starting with a standard (linear or bilinear) Galerkin discretization, the entries of the stiffness matrix are adjusted so as to enforce sufficient conditions of the discrete maximum principle (DMP). An algebraic splitting is employed to separate the contributions of negative and positive off-diagonal coefficients which are associated with diffusive and antidiffusive numerical fluxes, respectively. In order to prevent the formation of spurious undershoots and overshoots, a symmetric slope limiter is designed for the antidiffusive part. The corresponding upper and lower bounds are defined using an estimate of the steepest gradient in terms of the maximum and minimum solution values at surrounding nodes. The recovery of nodal gradients is performed by means of a lumped-mass L"2 projection. The proposed slope limiting strategy preserves the consistency of the underlying discrete problem and the structure of the stiffness matrix (symmetry, zero row and column sums). A positivity-preserving defect correction scheme is devised for the nonlinear algebraic system to be solved. Numerical results and a grid convergence study are presented for a number of anisotropic diffusion problems in two space dimensions.
A New DCT-Domain Distortion Model for MB-Level Quality Control
Authors: Xun He, Xianmin Chen, Peilin Liu, Satoshi Goto
Venue: Proceedings of the 2009 International Conference on Computer Modeling and Simulation (2009)

For many applications like video surveillance and digital cinema, it is desirable to encode video content with constant video quality. However, although constant quantization parameter is used in video encoder, quality fluctuation in macroblock level is still very large and standard deviation of PSNR is typically about 1.8dB. Since distortion is introduced in the process of quantization of DCT coefficients, we propose a new DCT-domain distortion model which utilizes the truncated tailing bits in quantization to estimate distortion in macroblock level, and QP of each block is determined by the estimated PSNR. Experimental results show that our proposed model can accurately estimate distortion of each MB before implementing quantization and the corresponding RMSE is only about 0.3dB (less than 1% of the actual value). Compared with previous works, our proposed algorithm can achieve 0.57dB enhancement in quality stabilization.
Social Viewpoints for Arguing about Coalitions
Authors: Guido Boella, Leendert Torre, Serena Villata
Venue: Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems (2008)

Frameworks for arguing about coalitions are based on non-monotonic logic and are therefore formal and abstract, whereas social theories about agent coalitions typically are based on conceptual modeling languages and therefore semi-formal and detailed. In this paper we bridge the gap between these two research areas such that social viewpoints can be used to argue about coalitions. We formally define three social viewpoints with abstraction and refinement relations among them, and we adapt an existing coalition argumentation theory to reason about the coalitions defined in the most abstract social viewpoint.
Usability and Security Patterns
Authors: Andrei Ferreira, Cristian Rusu, Silvana Roncagliolo
Venue: Proceedings of the 2009 Second International Conferences on Advances in Computer-Human Interactions (2009)

Some authors argue that it can be complicated to build systems with both usability and security, but the reality is that there is no real conflict between these two properties. Certainly, it takes more work to build systems that have the properties of usability and security, but in many cases it is a matter of doing just a good job not miracles. The purpose of this paper is to establish patterns that allow to align both usability and security aspects.
Towards Decidability of Conjugacy of Pairs and Triples
Authors: Benny George Kenkireth, Samrith Ram
Venue: Proceedings of the 3rd Indian Conference on Logic and Its Applications (2009)

The equation XZ = ZY is called the conjugacy equation. Here X, Y and Z are languages over a finite alphabet. Given two sets X and Y, we can ask "Does there exist a Z which makes the conjugacy equation true?". We answer this question partially in the case when one of them is a two element set and the other is a three element set.
DOT memory systems
Authors: R. J. Spain, H. I. Jauvtis, F. T. Duben
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

New developments in memory technology are attempting to fill the void between main and secondary storage by providing alternatives to rotating storage devices with considerable performance advantages over the latter and at far less cost than main memory. The greater emphasis being placed on the use of virtual storage techniques in data processing systems has reaffirmed the need for fast, reliable, low cost memory devices with much reduced page swapping times. A principal developmental effort in this area is the development of moving magnetic domain techniques. The DOT, or Domain Tip, storage technology has an intrinsic capability for providing non-volatile, fast access, block or page-oriented memory systems. The relatively few steps required to manufacture DOT devices and the simple planar packages used offer the potential of low manufacturing cost. The memory medium, insensitive to temperature and to shock and vibration, is electronically passive with no connections being required between the storage medium and the drive or sense electronics. These factors suggest the capability of the DOT of providing highly reliable solid state memory.
Keyword Spotting Techniques for Sanskrit Documents
Authors: Anurag Bhardwaj, Srirangaraj Setlur, Venu Govindaraju
Venue: Sanskrit Computational Linguistics: First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers (2009)

With advances in the field of digitization of printed documents and several mass digitization projects underway, information retrieval and document search have emerged as key research areas. However, most of the current work in these areas is limited to English and a few oriental languages. The lack of efficient solutions for Indic scripts and languages such as Sanskrit has hampered information extraction from a large body of documents of cultural and historical importance. This chapter presents two relevant topics in this area. First, we describe the use of a script specific Keyword Spotting for Sanskrit documents that makes use of domain knowledge of the script. Second, we address the needs of a digital library to provide access to a collection of documents from multiple scripts. This requires intelligent solutions which scale across different scripts. We present a script independent Keyword Spotting approach for this purpose. Experimental results illustrate the efficacy of our methods.
Bayesian mixture models of variable dimension for image segmentation
Authors: Adelino R. Ferreira da Silva
Venue: Computer Methods and Programs in Biomedicine (2009)

We present Bayesian methodologies and apply Markov chain sampling techniques for exploring normal mixture models with an unknown number of components in the context of magnetic resonance imaging (MRI) segmentation. The experiments show that by estimating the number of components using sample-based approaches based on variable dimension models the discriminating power of the estimated components is improved. Two different MCMC methods are compared to perform the segmentation of simulated magnetic resonance brain scans, the reversible jump MCMC model and the Dirichlet process (DP) mixture model. The preference given to the Dirichlet process mixture model is discussed.
Verifying monotonicity of Bayesian networks with domain experts
Authors: Linda C. van der Gaag, Hermina J. M. Tabachneck-Schijf, Petra L. Geenen
Venue: International Journal of Approximate Reasoning (2009)

In many realistic problem domains, the main variable of interest behaves monotonically in the observable variables, in the sense that higher values for the variable of interest become more likely with higher-ordered observations. This type of knowledge appears to naturally emerge from experts during knowledge elicitation, without explicit prompting from the knowledge engineer. The experts' concept of monotonicity, however, may not correspond to the mathematical concept of monotonicity in Bayesian networks. We present a method that provides both for verifying whether or not a network exhibits the properties of monotonicity suggested by the experts and for studying the violated properties with the experts. We illustrate the application of our method for a real Bayesian network in veterinary science.
A decomposition theorem for finite persistent transition systems
Authors: Eike Best, Philippe Darondeau
Venue: Acta Informatica (2009)

In this paper, we consider finite labelled transition systems. We show that if such transition systems are deterministic, persistent, and weakly periodic, then they can be decomposed in the following sense. There exists a finite set of label-disjoint cycles such that any other cycle is Parikh-equivalent to a multiset of cycles from this set.
CTMIR: A Novel Correlated Topic Model for Image Retrieval
Authors: Jian Wen Tao, Pei Fen Ding
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

Representation of images by the Latent Dirichlet Allocation model combined with an appropriate similarity measure is suitable for performing large scale image retrieval in a real-world database. The LDA model, however, relies on the assumption that all topics are independent of each other something that is obviously not true in most cases. In this work we study a recently proposed model, the Correlated Topic Model (CTM) [1], in the context of large-scale image retrieval. This approach is able to explicitly model such correlations of topics. We experimentally evaluate the proposed retrieval approach on a real-world large-scale database consisting of more than 246,000 images and compare the performance to related approaches.
A transfer matrix model of large deformations of curved rods
Authors: Aviv Rosen, Ohad Gur
Venue: Computers and Structures (2009)

Transfer matrix models have been frequently used to analyze the structural behavior of rods, including curved and pretwisted ones. The advantages of these models include their relative simplicity, numerical efficiency and ease of implementation. Previous investigations did not include nonlinear analyses of curved rods that undergo large deformations. The present paper describes a nonlinear transfer matrix model of curved and pretwisted rods, which is capable of analyzing very large spatial deformations. The rod is divided into segments. A body system of coordinates is attached to each segment. This system translates and rotates with the segment during the deformation. If the segments are kept small enough, the local deformations of each segment, relative to its body system of coordinates, are small. The segments' systems of coordinates rotate relative to their neighbors and if this rotation is dealt with properly, large rotations and displacement of the curved rod can be analyzed. In spite of its nonlinear nature, the model remains relatively simple and efficient. The new model is used to solve a few problems and the results show very good agreement with other analytical, finite-element, and experimental results.
Multisensor Biometric Evidence Fusion for Person Authentication Using Wavelet Decomposition and Monotonic-Decreasing Graph
Authors: Dakshina Ranjan Kisku, Jamuna Kanta Sing, Massimo Tistarelli, Phalguni Gupta
Venue: Proceedings of the 2009 Seventh International Conference on Advances in Pattern Recognition (2009)

This paper presents a novel biometric sensor generated evidence fusion of face and palmprint images using wavelet decomposition for personnel identity verification. The approach of biometric image fusion at sensor level refers to a process that fuses multispectral images captured at different resolutions and by different biometric sensors to acquire richer and complementary information to produce a new fused image in spatially enhanced form. When the fused image is ready for further processing, SIFT operator are then used for feature extraction and the recognition is performed by adjustable structural graph matching between a pair of fused images by searching corresponding points using recursive descent tree traversal approach. The experimental result shows the efficacy of the proposed method with 98.19% accuracy, outperforms other methods when it is compared with uni-modal face and palmprint authentication results with recognition rates 89.04% and 92.17%, respectively and when all the methods are processed in the same feature space.
The Credit Crunch and the Digital Bite
Authors: Neville Holmes
Venue: Computer (2009)

Use of digital technology caused the present financial turmoil.
CSDP: a model for continuing education in data processing
Authors: Dennis M. Oliver, Robert A. Rouse, Robert J. Benson
Venue: Proceedings of the May 4-7, 1981, national computer conference (1981)

The Center for the Study of Data Processing (CSDP) was formed in cooperation between Washington University and a group of St. Louis corporations to create a local source of programmers and a business-oriented data processing (DP) curriculum and to provide inexpensive professional training for corporate personnel. The Center oversees three academic programs. The B.S. provides continued academic training and a degree in systems and data processing. The 30-hour intensive degree specializes in retraining selected people for entry-level DP positions. The master's degree offers training in managerial issues. The Center also offers 25 seminars yearly in data processing. Their subjects range from basic training to advanced managerial issues. Much of the staff for seminars and evening classes comes from the cooperating corporations. This pooling of practical experience both in the academic and the professional programs has created an up-to-date curriculum and provided inexpensive, high-quality seminars for the region.
Fusion of 2d and 3d sensor data for articulated body tracking
Authors: Steffen Knoop, Stefan Vacek, Rüdiger Dillmann
Venue: Robotics and Autonomous Systems (2009)

In this article, we present an approach for the fusion of 2d and 3d measurements for model-based person tracking, also known as Human Motion Capture. The applied body model is defined geometrically with generalized cylinders, and is set up hierarchically with connecting joints of different types. The joint model can be parameterized to control the degrees of freedom, adhesion and stiffness. This results in an articulated body model with constrained kinematic degrees of freedom. The fusion approach incorporates this model knowledge together with the measurements, and tracks the target body iteratively with an extended Iterative Closest Point (ICP) approach. Generally, the ICP is based on the concept of correspondences between measurements and model, which is normally exploited to incorporate 3d point cloud measurements. The concept has been generalized to represent and incorporate also 2d image space features. Together with the 3D point cloud from a 3d time-of-flight (ToF) camera, arbitrary features, derived from 2D camera images, are used in the fusion algorithm for tracking of the body. This gives complementary information about the tracked body, enabling not only tracking of depth motions but also turning movements of the human body, which is normally a hard problem for markerless human motion capture systems. The resulting tracking system, named VooDoo is used to track humans in a Human-Robot Interaction (HRI) context. We only rely on sensors on board the robot, i.e. the color camera, the ToF camera and a laser range finder. The system runs in realtime (~20 Hz) and is able to robustly track a human in the vicinity of the robot.
Goal state optimization algorithm considering computational resource constraints and uncertainty in task execution time
Authors: Jun Ota
Venue: Robotics and Autonomous Systems (2009)

A search methodology with goal state optimization considering computational resource constraints is proposed. The combination of ''an extended graph search methodology'' and ''parallelization of task execution and online planning'' makes it possible to solve the problem. The uncertainty of the task execution time is also considered. The problem can be solved by utilizing a random-based and/or a greedy-based graph-searching methodology. The proposed method is evaluated using a rearrangement problem of 20 movable objects with uncertainty in the task execution time, and the effectiveness is shown with simulation results.
Computational fluid dynamics modelling and experimental study of erosion in slurry jet flows
Authors: Min-Hua Wang, Cunkui Huang, K. Nandakumar, P. Minev, J. Luo, S. Chiovelli
Venue: International Journal of Computational Fluid Dynamics (2009)

The main objective of the present work is to show that one can use computational fluid dynamics (CFD) to predict the flow patterns and particle impact profiles on a specimen and use such data together with phenomenological erosion models to predict both the total erosion rates and the erosion patterns on surfaces. The surface wear-out pattern from profilometry measurements and the total weight loss data of the eroded material were obtained from experiments to validate the model predictions. In the experiments, four different parameters, viz. the impingement velocity, impingement angle, sand concentration and properties of target materials were varied. Their effect on the total weight loss and the erosion patterns are investigated. Two different experimental conditions were used-viz. one in which the specimen and the jet were submerged and the other in which both were exposed (non-submerged). Experimental studies show that total weight loss has a power-law relation with respect to impingement velocity or sand concentration. The weight loss decreases as the hardness of material increases, but not in a linear fashion. Two corrosion resistance materials, 304 stainless steel and chrome white alloy, showed the same corrosion and synergism weight loss although their hardness was much different, 190 HV (Vickers hardness) for 304 stainless steel and 763 HV for chrome white alloy. This implies that the corrosion and synergism weight loss is mainly dominated by the chemical composition of the material and not by its mechanical properties. The results also differ substantially for the submerged and non-submerged cases. When the specimen and the jet were submerged, the erosion scar was typical 'W' style. But when sample and jet were not submerged, the scar was much flatter. A phenomenological erosion model that results in a simple algebraic equation has been developed, and the predicted results are in reasonable agreement with the experimental measurements. When they are used locally together with the CFD predictions of the flow field, the agreement with the erosion patterns and the total weight loss is improved significantly.
A structural mixed model to shrink covariance matrices for time-course differential gene expression studies
Authors: Guillemette Marot, Jean-Louis Foulley, Florence Jaffrézic
Venue: Computational Statistics Data Analysis (2009)

Time-course microarray studies require a particular modelling of covariance matrices when measures are repeated on the same individuals. Taking into account the within-subject correlation in the test statistics for differential gene expression, however, requires a large number of parameters when a gene-specific approach is used, which often results in a lack of power due to the small number of individuals usually considered in microarray experiments. Shrinkage approaches can improve this detection power in differential gene expression studies by reducing the number of parameters, while offering a good flexibility and a small rate of false positives. A natural extension of the shrinkage approach based on a structural mixed model to variance-covariance matrices is proposed. The structural model was used in three configurations to shrink (i) the eigenvalues in an eigenvalue/eigenvector decomposition, (ii) the innovation variances in a Cholesky decomposition, (iii) both the variances and correlation parameters of a gene-by-gene covariance matrix using a Fisher transformation. The proposed methods were applied both to a publicly available data set and to simulated data. They were found to perform well, compared to previously proposed empirical Bayesian approaches, and outperformed the gene-specific or common-covariance methods in many cases.