ppxscal/embedding_network huggingface dataset:
Brief paper: Mutual benefits of two multicriteria analysis methodologies: A case study for batch plant design
Authors: Catherine Azzaro-Pantel, Pascale Zaraté
Venue: Engineering Applications of Artificial Intelligence (2009)

This paper presents a MultiObjective Genetic Algorithm (MOGA) optimization framework for batch plant design. For this purpose, two approaches are implemented and compared with respect to three criteria, i.e., investment cost, equipment number and a flexibility indicator based on work in process (the so-called WIP) computed by use of a discrete-event simulation model. The first approach involves a genetic algorithm in order to generate acceptable solutions, from which the best ones are chosen by using a Pareto Sort algorithm. The second approach combines the previous Genetic Algorithm with a multicriteria analysis methodology, i.e., the Electre method in order to find the best solutions. The performances of the two procedures are studied for a large-size problem and a comparison between the procedures is then made.
No-reference video quality evaluation for high-definition video
Authors: Christian Keimel, Tobias Oelbaum, Klaus Diepold
Venue: Proceedings of the 2009 IEEE International Conference on Acoustics, Speech and Signal Processing (2009)

A no-reference video quality metric for High-Definition video is introduced. This metric evaluates a set of simple features such as blocking or blurring, and combines those features into one parameter representing visual quality. While only comparably few base feature measurements are used, additional parameters are gained by evaluating changes for these measurements over time and using additional temporal pooling methods. To take into account the different characteristics of different video sequences, the gained quality value is corrected using a low quality version of the received video. The metric is verified using data from accurate subjective tests, and special care was taken to separate data used for calibration and verification. The proposed no-reference quality metric delivers a prediction accuracy of 0.86 when compared to subjective tests, and significantly outperforms PSNR as a quality predictor.
Hybrid priority scheme for networked control quadrotor
Authors: C. Berbra, S. Gentil, S. Lesecq
Venue: Proceedings of the 2009 17th Mediterranean Conference on Control and Automation (2009)

This paper deals with the design and analysis of different priority schemes (static or hybrid), which can be used for the message scheduling in a networked control system. These policies are illustrated with a network controlled mechatronic system, namely a quadrotor. The quadrotor is controlled by an embedded microprocessor through a CAN network. The paper focuses on the problem of overload in the network and illustrates the results with Matlab/Simulink and Truetime simulations.
Company information systems used in decision-making processes of financial managers
Authors: Renáta Myšková
Venue: WSEAS TRANSACTIONS on SYSTEMS (2009)

Economists and IT experts share the opinion that IS/IT in a company should be in accordance with the company objectives and management strategies; they cannot be viewed separately. As far as the economic aspect is concerned, there exist certain criteria that could be considered social criteria because information system effectiveness, as well as the company effectiveness, depend on human factor. Reference literature identifies the work with information as a strategic factor of company's prosperity and competitiveness. An economic information system has recently been an inevitable prerequisite in a large or small enterprise. The requirements relating to such system can be characterized in the following way: competitive price, configurable and flexible system comprising all the basic and certain extra functions essential for information support to all the company operation. An integral part of the system is an information accounting system supporting financial accounting management. Accounting is the method in which financial information is gathered, processed, and summarized into financial statements and reports. Accounting records are important because the resulting financial statements and reports help plan and make decisions. These records may be used by company management and by third parties (bankers, investors, creditors, etc.). The accounting information system has to support managerial decisions and it has to work with external accounting modules and external database modules. Changing accounting software is a big undertaking. It may, and should, have an impact on almost everyone in the organization, on customers as well. Accounting Information Systems were scanned in the empirical research and financial managers assessed the situation in their company and their satisfaction with these systems.
Justification-Based Non-Clausal Local Search for SAT
Authors: Matti Järvisalo, Tommi Junttila, Ilkka Niemelä
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to improve SLS on structured problems. Motivated by heuristics applied in complete circuit-level SAT solvers in electronic design automation, we develop novel SLS techniques by harnessing the concept of justification frontiers. This leads to SLS heuristics which concentrate the search into relevant parts of instances, exploit observability don't cares and allow for an early stopping criterion. Experiments with a prototype implementation of the framework presented in this paper show up to a four orders of magnitude decrease in the number of moves on real-world bounded model checking instances when compared to WalkSAT on the standard CNF encodings of the instances.
A performance analysis of discrete-time tandem queues with Markovian sources
Authors: X. Song, M. Mehmet Ali
Venue: Performance Evaluation (2009)

We present an exact performance analysis of tandem networks with an arbitrary number of multiplexers. Each multiplexer is fed by the output of its upstream neighbor as well as the traffic generated by a number of independent binary Markovian sources. We model the tandem network as a discrete-time queueing system. After determining the unknown boundary functions, the probability generating function (PGF) of the joint distribution of queue length and number of On sources for each multiplexer is derived as a function of the transform of the busy period of its upstream neighbor. From this PGF, we determine closed form expressions for the mean and variance of queue length, as well as the mean packet delay. The solution has also been extended to tandem networks in which each multiplexer is fed by multiple types of traffic. Then, numerical results are presented and it has been shown that the multiplexing smooths the traffic. The mean queue lengths are very easy to calculate and the computation complexity does not increase with the number of sources in the network.
Spam filtering for network traffic security on a multi-core environment
Authors: Rafiqul Islam, Wanlei Zhou, Yang Xiang, Abdun Naser Mahmood
Venue: Concurrency and Computation: Practice Experience (2009)

This paper presents an innovative fusion-based multi-classifier e-mail classification on a ubiquitous multi-core architecture. Many previous approaches used text-based single classifiers to identify spam messages from a large e-mail corpus with some amount of false positive tradeoffs. Researchers are trying to prevent false positive in their filtering methods, but so far none of the current research has claimed zero false positive results. In e-mail classification false positive can potentially cause serious problems for the user. In this paper, we use fusion-based multi-classifier classification technique in a multi-core framework. By running each classifier process in parallel within their dedicated core, we greatly improve the performance of our multi-classifier-based filtering system in terms of running time, false positive rate, and filtering accuracy. Our proposed architecture also provides a safeguard of user mailbox from different malicious attacks. Our experimental results show that we achieved an average of 30&percnt; speedup at an average cost of 1.4&thinsp;ms. We also reduced the instances of false positives, which are one of the key challenges in a spam filtering system, and increases e-mail classification accuracy substantially compared with single classification techniques. Copyright &copy; 2009 John Wiley & Sons, Ltd.
A discrete-time dynamic K-winners-take-all neural circuit
Authors: Pavlo V. Tymoshchuk
Venue: Neurocomputing (2009)

A discrete-time mathematical model of K-winners-take-all (KWTA) neural circuit that can quickly identify the K-winning from N neurons, where 1=
Cognitively-inspired direction giving
Authors: Howard E. Shrobe
Venue:  (2008)

Online mapping services and portable GPS units make it easy to get very detailed driving directions. While these directions are sufficient for an automaton to follow, they do not present a big picture description of the route. As a result, while people can follow these detailed turn-by-turn directions, it can be difficult for them to actually comprehend where they are going. Our goal is to make such directions more comprehensible. Our approach is to apply findings from human spatial cognition, the study of how people conceptualize and organize their knowledge of large-scale space, to create a system that generates written route overviews. Route overviews provide a big picture description of a route, and are intended to supplement the information in turn-by-turn directions. Our route overviews are based on cognitively-inspired design criteria such as: the use of spatial hierarchy, goal-directed descriptions, selective suppression of detail, and the use of the trunk segments and cognitive anchor points along the route. In our experiments, we show that we can make directions more comprehensible&mdash;independent of the particular places a person knows&mdash;by using what we know about how people think about space to structure the way we present spatial information. (Copies available exclusively from MIT Libraries, Rm. 14-0551, Cambridge, MA 02139-4307. Ph. 617-253-5668; Fax 617-253-1690.)
SETh system spatio-temporal object tracking using combined color and motion features
Authors: Aleksander Nawrat, Karol Jedrasiak
Venue: Proceedings of the 9th WSEAS international conference on Robotics, control and manufacturing technology (2009)

This paper presents an overview of an object detection and tracking method used in SETh system (Simple Enemy Tracking). Most of visual systems use only motion features to detect and track objects of interest. Object tracking is a complex problem and thus cannot be solved using only motion data [6]. There are numerous cases where it is required to detect only, for example, small red moving objects. As it is presented, color detection combined with motion detection and tracking managed by history module, allows applications to perform high level object tracking in real-time.
PSkip: estimating relevance ranking quality from web search clickthrough data
Authors: Kuansan Wang, Toby Walker, Zijian Zheng
Venue: Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (2009)

In this article, we report our efforts in mining the information encoded as clickthrough data in the server logs to evaluate and monitor the relevance ranking quality of a commercial web search engine. We describe a metric called pSkip that aims to quantify the ranking quality by estimating the probability of users encountering non relevant results that cost them the efforts to read and skip. A search engine with a lower pSkip is regarded as having a better ranking quality. A key design goal of pSkip is to integrate the findings from two sets of user studies that utilize eye-tracking devices to track users' browsing patterns on the search result pages, and that use specially instrumented browsers to actively solicit users' explicit judgments on their search activities. We present the derivation of the maximum likelihood estimation of pSkip and demonstrate its efficacy in describing the user study data. The mathematical properties of pSkip are further analyzed and compared with several objective metrics as well as the cumulated gain method that uses subjective judgments. Experimental data show that pSkip can measure aspects of the search quality that these existing metrics are not designed or fail to address, such as identifying the real search intents expressed in the ambiguous queries. Although effective and superior in many ways, we also report a series of experiments that show pSkip may be influenced by system issues that are not directly related to relevance ranking, suggesting that measurements complementary to pSkip are still needed in order to form a holistic and accurate characterization of the ranking quality.
Scalable Load Balancing in Nurse to Patient Assignment Problems
Authors: Pierre Schaus, Pascal Hentenryck, Jean-Charles Régin
Venue: Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (2009)

This paper considers the daily assignment of newborn infant patients to nurses in a hospital. The objective is to balance the workload of the nurses, while satisfying a variety of side constraints. Prior work proposed a MIP model for this problem, which unfortunately did not scale to large instances and only approximated the objective function, since minimizing the variance cannot be expressed in a linear model. This paper presents constraint programming (CP) models of increasing complexity to solve large instances with hundreds of patients and nurses in a few seconds using the Comet optimization system. The CP models use the recent spread global constraint to minimize the variance, as well as an exact decomposition technique.
Elastic property of multiphase composites with random microstructures
Authors: Moran Wang, Ning Pan
Venue: Journal of Computational Physics (2009)

We propose a computational method with no ad hoc empirical parameters to determine the elastic properties of multiphase composites of complex geometries by numerically solving the stress-strain relationships in heterogeneous materials. First the random microstructure of the multiphase composites is reproduced in our model by the random generation-growth method. Then a high-efficiency lattice Boltzmann method is employed to solve the governing equation on the multiphase microstructures. After validated against a few standard solutions for simple geometries, the present method is used to predict the effective elastic properties of real multiphase composites. The comparisons between the predictions and the existing experimental data have shown that the effects of pores/voids in composites are not negligible despite their seemingly tiny amounts. Ignorance of such effects will lead to over-predictions of the effective elastic properties compared with the experimental measurements. When the pores are taken into account and treated as a separate phase, the predicted Young's modulus, shear modulus and Poisson's ratio agree well with the available experimental data. The present method provides an alternative tool for analysis, design and optimization of multiphase composite materials.
Real-time estimation of human impedance for haptic interfaces
Authors: Matthew D. Hill, Gunter Niemeyer
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

Humans significantly vary the impedance of their limbs during many manipulation tasks and during interaction with their environment. Humans vary their impedance to reduce contact forces, to increase positional control, and to stabilize unstable dynamics. The neuromuscular system modulates overall limb impedance by strategically selecting appropriate limb configurations and by selective activation of musculature. To date, haptic interfaces neither respond to nor measure these effects. We seek a real-time measurement technique to estimate user impedance, with the hope of enabling variable impedance based control of telerobots and haptic environments. We propose that such a measure might be generated through the introduction of controlled vibrations to the user through a haptic device. A model for such a system and its implications on device design is described. The results of preliminary study using a prototype device are compared to reference measurements of user stiffness and grip force.
Considerations on the logic of intention
Authors: Yoav Shoham
Venue: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (2009)

While logical theories of informational attitudes, such as knowledge, certainty and belief, have flourished in the past two decades, logical formalization of other facets of rational behavior has lagged behind significantly. One intriguing line of research concerns the concept of intention. I will discuss one approach to tackling the notion within a logical framework.
Direct decentralized neural control for nonlinear MIMO magnetic levitation system
Authors: Syuan-Yi Chen, Faa-Jeng Lin, Kuo-Kai Shyu
Venue: Neurocomputing (2009)

A direct modified Elman neural networks (MENNs)-based decentralized controller is proposed to control the magnets of a nonlinear and unstable multi-input multi-output (MIMO) levitation system for the tracking of reference trajectories. First, the operating principles of a magnetic levitation system with two moving magnets are introduced. Then, due to the exact dynamic model of the MIMO magnetic levitation system is not clear, two MENNs are combined to be a direct MENN-based decentralized controller to deal with the highly nonlinear and unstable MIMO magnetic levitation system. Moreover, the connective weights of the MENNs are trained online by back-propagation (BP) methodology and the convergence analysis of the tracking error using discrete-type Lyapunov function is provided. Based on the direct and decentralized concepts, the computational burden is reduced and the controller design is simplified. Furthermore, the experimental results show that the proposed control scheme can control the magnets to track various periodic reference trajectories simultaneously in different operating conditions effectively.
Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism
Authors: Stéphanie Combettes
Venue: Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (2009)

Interaction protocols are a key mechanism for modeling the coordination of real world organizations and deontic rules. Modeling deontic protocols require resources, roles and their activities, as well as the protocol actions to be described. The Organizational Petri Nets formalism enables both these components and their relationships to be taken into account. After having introduced an intuitive definition of this formalism, we propose a methodology to model deontic protocols using this formalism. This methodology is also applied to a library borrowing protocol.
Mapping hydrologically sensitive areas on the Boreal Plain: a multitemporal analysis of ERS synthetic aperture radar data
Authors: R. B. Clark, I. F. Creed, G. Z. Sass
Venue: International Journal of Remote Sensing (2009)

Characterizing the spatial and temporal dynamics of hydrologically sensitive areas (HSAs) is vital to the effective management of the boreal forest. HSAs are defined as saturated or inundated areas that, if disturbed, might result in a significant change in the movement of water, nutrients and biota within landscapes. This study presents a remote sensing technique that uses archived European Remote Sensing Satellite (ERS)-1 and ERS-2 synthetic aperture radar (SAR) images to monitor HSAs in the Willow River watershed (1030 km2) on the western Boreal Plain of Canada. ERS images were used to generate a probability of HSA occurrence map for a 10-year period (1991-2000). This map revealed the complexity of HSAs on the western Boreal Plain, where some areas remained consistently dry or wet whereas others were dynamic, transitioning from dry to wet and vice versa. A probability map of HSA occurrence provides spatial and temporal information previously unavailable for this region that may expand our understanding of the hydrological behaviour of drainage basins and serve as a planning tool for land management decisions.
Count-as Conditionals, Classification and Context
Authors: Guido Boella, Leendert van der Torre
Venue: Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy (2006)

Searle represents constitutive norms as count-as conditionals, written as 'X counts as Y in context C'. Grossi et al. study a class of these conditionals as 'in context C, X is classified as Y'. In this paper we propose a generalization of this relation among count-as conditionals, classification and context, by defining a class of count-as conditionals as 'X in context C0 is classified as Y in context C'. We show that if context C0 can be different from context C, then we can represent a larger class of examples, and we have a weaker logic of count-as conditionals.
Center-based initialization for large-scale black-box problems
Authors: Shahryar Rahnamayan, G. Gary Wang
Venue: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases (2009)

Nowadays, optimization problems with a few thousands of variables become more common. Population-based algorithms, such as Differential Evolution (DE), Particle Swarm Optimization (PSO), Genetic Algorithms (GAs), and Evolutionary Strategies (ES) are commonly used approaches to solve complex large-scale problems from science and engineering. These approaches all work with a population of candidate solutions. On the other hand, for high-dimensional problems, no matter what is the individuals' distribution, the population i? highly sparse. Therefore, intelligent employment of individual candidates can play a crucial role to find optimal solution(s) faster. The most majority of population-based algorithms utilize pseudo-random population initialization when there is no a priori knowledge about the solution. In this paper, a center-based population initialization is proposed and investigated on seven benchmark functions. The obtained results are compared with the results of Normal, Pseudo Random, and Latin Hypercube population initialization schemes. Furthermore, the advantages of the proposed center-based sampling method are investigated by a mathematical proof and also Monte Carlo (simulation) method. The detailed experimental verifications are provided for problems with 50, 500, and 1000 dimensions.
Co-Developing Model for User Participation in Web Application Development
Authors: Tae Yoneda, Kohei Mitsui, Jun Sasaki, Yutaka Funyu
Venue: Proceeding of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05 (2005)

As a first step to resolve the assignments of an end user development environment, this paper proposes a co-developing model for the participation of users in web application development. First, the procedure for a simple web application is arranged from the view points of “screen” and “screen transition” so that an end user can easily take part in the development. These can be classified into two parts; one that an end user can define and the other that an end user cannot. Using the definition items in these two parts, an operational model for co-developing is proposed, and the procedures for co-development are shown. A collaboration model that can be developed by a user and a system engineer is proposed; then, based on the proposed model, a tool supporting co-developing is built.