ppxscal/embedding_network huggingface dataset:
Automatic control of functional parameters to an stretch-reducing tube mill
Authors: Costin Cepisca, Mircea Perpelea, Tudor Macrea, Mircea Covrig, Sorin Dan Grigorescu, Cosmin Karl Banica
Venue: Proceedings of the 8th WSEAS international conference on Signal processing, robotics and automation (2009)

This paper presents the drive solution, the requirements for dynamic behaviour of the speed regulated drives and the automation structure for a stretch-reducing mill for seamless having 28 rolling stands organised in three separate functional groups. The application have been designed, executed and putted into operation in a seamless tube mill modernised in the last years.
Lali: exploring a tangible interface for augmented play for preschoolers
Authors: Hester Bruikman, Annemiek van Drunen, He Huang, Vanessa Vakili
Venue: Proceedings of the 8th International Conference on Interaction Design and Children (2009)

This paper outlines the exploration of a Tangible user interface for unstructured play, in which a physical plush toy is used to remotely control an augmented digital representation of itself. Preschool users were profiled and an initial prototype was built and evaluated using a co-discovery exploration. It was observed that the children enjoyed playing with the toy, and that the children over 2 years of age understood the remote coupling of the physical and digital representation.
Database and database application security
Authors: Huwida E. Said, Mario A. Guimaraes, Zakaria Maamar, Leon Jololian
Venue: Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education (2009)

This paper focuses on the emerging importance of database and application security, textbooks and other supplementary materials to teach these topics and where to place these topics in a curriculum. The paper emphasizes 1) the growing concerns of database technologies and database applications, 2) existing books and supporting materials, and 3) and Zayed University's approach to teaching these topics. At Zayed, we incorporate database and database application security in two different courses.
Theoretical analysis on feature extraction capability of class-augmented PCA
Authors: Myoung Soo Park, Jin Young Choi
Venue: Pattern Recognition (2009)

In this paper, we present a theoretical analysis on a novel supervised feature extraction method called class-augmented principal component analysis (CA-PCA), which is composed of processes for encoding the class information, augmenting the encoded information to data, and extracting features from class-augmented data by applying PCA. Through a combination of these processes, CA-PCA can extract features appropriate for classification. Our theoretical analysis aims to clarify the role of these processes and to provide an explanation on how CA-PCA can extract good features. Experimental results for various datasets are provided in order to show the validity of the proposed method for real problems. The effect of parameters on the quality of extracted features is also investigated and the rules of thumb for determining the appropriate parameters are provided.
Intelligent technologies for investing: a review of engineering literature
Authors: Roy Rada, Lidan Ha
Venue: Intelligent Decision Technologies (2008)

Modern financial investing squarely depends on computing, and the role of intelligent decision technologies in investing is a lively research topic that is approached differently by each discipline. In this study, the hypothesis is that the IEEE Engineering Society literature about financial applications will 1) reveal a move over the years from a focus on expert systems tools to a focus on evolutionary computing tools 2) a continuous emphasis on applications about asset valuation, 3) highlight specific patterns across disciplines of the IEEE and 4) show a new trend to combine expert systems with evolutionary computation. A search on the IEEE literature retrieved 71 relevant articles which were systematically analyzed. All four hypotheses were supported. Most of those articles came from journals which emphasize a tool, such as neural networks. For those tool-based journals an application to finance typically only appeared in a special issue on finance, as generally, the IEEE journals explicitly prefer research addressing engineering rather than financial applications. Surprisingly, the IEEE Transactions on Power Systems regularly published new artificial intelligence approaches to financial problems because power systems professionals manage energy commodities.
Structured correspondence topic models for mining captioned figures in biological literature
Authors: Amr Ahmed, Eric P. Xing, William W. Cohen, Robert F. Murphy
Venue: Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (2009)

A major source of information (often the most crucial and informative part) in scholarly articles from scientific journals, proceedings and books are the figures that directly provide images and other graphical illustrations of key experimental results and other scientific contents. In biological articles, a typical figure often comprises multiple panels, accompanied by either scoped or global captioned text. Moreover, the text in the caption contains important semantic entities such as protein names, gene ontology, tissues labels, etc., relevant to the images in the figure. Due to the avalanche of biological literature in recent years, and increasing popularity of various bio-imaging techniques, automatic retrieval and summarization of biological information from literature figures has emerged as a major unsolved challenge in computational knowledge extraction and management in the life science. We present a new structured probabilistic topic model built on a realistic figure generation scheme to model the structurally annotated biological figures, and we derive an efficient inference algorithm based on collapsed Gibbs sampling for information retrieval and visualization. The resulting program constitutes one of the key IR engines in our SLIF system that has recently entered the final round (4 out 70 competing systems) of the Elsevier Grand Challenge on Knowledge Enhancement in the Life Science. Here we present various evaluations on a number of data mining tasks to illustrate our method.
Optimizing the Association Procedure for Low-Power 802.15.4 Nonbeacon Sensor Networks
Authors: Barbara Staehle
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

Building wireless sensor networks based on the IEEE 802.15.4 standard is an interesting option, as the standard enables low-power, low data rate wireless communication. Many authors analyzed and optimized the operational phase of such networks. In contrast, the initial phase, containing the 802.15.4 association procedure, has mostly been neglected. In this paper, we therefore propose four optimization possibilities for the association procedure of a nonbeacon-enabled sensor network. Our results show that significant performance improvements in terms of association probability, speed, and energy consumptions can be achieved.
The Business of Ontology calls for a Formal Pragmatics
Authors: Hans Akkermans
Venue: Proceeding of the 2008 conference on Formal Ontologies Meet Industry (2008)

I develop a few suggestions how formal ontology can meet industry and practice. This is not just a matter of useful ontology-based applications. That is a necessary but also rather trivial idea that perpetuates the gap between fundamental and applied research and keeps alive associated outdated linear process ideas of innovation. Instead, I suggest that for further progress the ontology field is to move from a semantic to a pragmatic approach in the communication-theoretic sense. Formal pragmatics stands a better chance to provide a rational and scientific foundation for an integrated ontology theory as well as practice than the deductivist formal semantics approach.
T-trees: A tree-based representation for temporal and three-dimensional floorplanning
Authors: Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang
Venue: ACM Transactions on Design Automation of Electronic Systems (TODAES) (2009)

Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this article, we model each task as a 3D-box and deal with the temporal floorplanning/placement problem for dynamically reconfigurable FPGA architectures. We present a tree-based data structure, called T-trees, to represent the spatial and temporal relations among tasks. Each node in a T-tree has at most three children which represent the dimensional relationship among tasks. For the T-tree, we develop an efficient packing method and derive the condition to ensure the satisfaction of precedence constraints which model the temporal ordering among tasks induced by the execution of dynamically reconfigurable FPGAs. Experimental results show that our tree-based formulation can obtain significantly better solution quality with less execution time than the most recent state-of-the-art work.
Partial Covers, Reducts and Decision Rules in Rough Sets: Theory and Applications, 1st edition
Authors: Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko
Venue:  (2009)

This monograph is devoted to theoretical and experimental study of partial reducts and partial decision rules on the basis of the study of partial covers. The use of partial (approximate) reducts and decision rules instead of exact ones allows us to obtain more compact description of knowledge contained in decision tables, and to design more precise classifiers. Algorithms for construction of partial reducts and partial decision rules, bounds on minimal complexity of partial reducts and decision rules, and algorithms for construction of the set of all partial reducts and the set of all irreducible partial decision rules are considered. The book includes a discussion on the results of numerous experiments with randomly generated and real-life decision tables. These results show that partial reducts and decision rules can be used in data mining and knowledge discovery both for knowledge representation and for prediction. The results obtained in the monograph can be useful for researchers in such areas as machine learning, data mining and knowledge discovery, especially for those who are working in rough set theory, test theory and LAD (Logical Analysis of Data). The monograph can be used under the creation of courses for graduate students and for Ph.D. studies.
Terminal Coalgebras for Measure-Polynomial Functors
Authors: Christoph Schubert
Venue: Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation (2009)

We use the Kolmogorov Consistency Theorem from Measure Theory to construct terminal coalgebras for a large class of functors on the category of measurable spaces. In particular, we construct terminal stochastic relations and terminal labelled Markov processes. We use this constructions to provide extended expressivity results for canonical interpretations of modal and temporal logics in these structures.
Mote-Based Online Anomaly Detection Using Echo State Networks
Authors: Marcus Chang, Andreas Terzis, Philippe Bonnet
Venue: Proceedings of the 5th IEEE International Conference on Distributed Computing in Sensor Systems (2009)

Sensor networks deployed for scientific data acquisition must inspect measurements for faults and events of interest. Doing so is crucial to ensure the relevance and correctness of the collected data. In this work we unify fault and event detection under a general anomaly detection framework. We use machine learning techniques to classify measurements that resemble a training set as normal and measurements that significantly deviate from that set as anomalies. Furthermore, we aim at an anomaly detection framework that can be implemented on motes, thereby allowing them to continue collecting scientifically-relevant data even in the absence of network connectivity. The general consensus thus far has been that learning-based techniques are too resource intensive to be implemented on mote-class devices. In this paper, we challenge this belief. We implement an anomaly detection algorithm using Echo State Networks (ESN), a family of sparse neural networks, on a mote-class device and show that its accuracy is comparable to a PC-based implementation. Furthermore, we show that ESNs detect more faults and have fewer false positives than rule-based fault detection mechanisms. More importantly, while rule-based fault detection algorithms generate false negatives and misclassify events as faults, ESNs are general, correctly identifying a wide variety of anomalies.
On Agility of Formal Specification
Authors: Tommi Mikkonen, Risto Pitkänen
Venue: Proceeding of the 2007 conference on Information Modelling and Knowledge Bases XVIII (2007)

Agile software development approaches have gained interest by leveraging goals such as small initial investment, incremental development, and rapid feedback. In contrast, application of formal specification methods has typically implied extensive initial investment, relatively fixed requirements on top of which a formalization can be established, and relatively slow feedback due to the effort needed for formal modeling. In this paper, we challenge this view of formal methods, and describe how the agile software development approach can be applied with formal methods. We back the discussion on formal method DisCo, which has been intended as a formalization tool for a programmer rather than for a mathematician. Towards the end of the paper, we also give a small example where agility is demonstrated.
Maestro: a self-organizing peer-to-peer dataflow framework using reinforcement learning
Authors: C. van Reeuwijk
Venue: Proceedings of the 18th ACM international symposium on High performance distributed computing (2009)

In this paper we describe Maestro, a dataflow computation framework for Ibis, our Java-based grid middleware. The novelty of Maestro is that it is a self-organizing peer-to-peer system, meaning that it distributes the tasks in a flow over the available nodes based on local decisions on each node, without any central coordination. As a result, the computations are more scalable, more resilient against failing nodes, and less sensitive to communication latencies. Maestro uses a task distribution approach based on reinforcement learning, a learning mechanism where the positive outcome of a choice makes it more likely that the same choice repeated in the future. Maestro selects the most efficient node for each stage in the computation based on the observed computation and communication times. To ensure agility, the selection decisions are made as late as possible without letting the nodes fall idle. Using this task distribution algorithm, the nodes can be used efficiently, even in a heterogeneous system with failure-prone nodes communicating through high-latency connections.
The NIST Data Flow System II: A standardized interface for distributed multimedia applications
Authors: A. Fillinger, L. Diduch, I. Hamchi, M. Hoarau, S. Degre, V. Stanford
Venue: Proceedings of the 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (2008)

Modern multimedia applications use an increasing number of sensors including cameras, microphones and microphone arrays. These applications must acquire and process data from sensors in real-time, which is usually beyond the capabilities of single machines. We present our distributed sensor data transport middleware, the NIST Data Flow System II, which offers network transparent services for data acquisition and processing across a local network of computers. An application is thus represented as a data flow graph, with streaming media flowing between the different computational components. This is highlighted by presenting a multimedia application tracking persons using a sensor fusion of audio and video streams.
Producibility Awareness as a Base for Design Automation Development --Analysis and Synthesis Approach to Cost Estimation
Authors: Fredrik Elgh, Mikael Cederfeldt
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

The demand on the level of reliability and accuracy of cost estimation increases in a competitive environment and as the products are getting more and more optimised. When different courses of action are to be evaluated small changes in customer requirements, design features and parameters, and production properties has to be handled with caution. Small changes can imply: low level of conformability with the production system, highly increased cost, and extended manufacturing lead-time. It is of paramount importance for the product success and the company's profit that a system for automated cost estimation is sensitive and can reflect these effects. Design automation system incorporating producibility and cost estimations support either analysis driven or synthesis driven producibility estimation, or both. The later is an approach that allows for decreased recourse and time demand as the system only generates design proposals which the company can produce with its manufacturing resources. This work presents some of the views on which a design automation incorporating producibility and cost estimations should by developed. It also presents the concepts of analysis driven and synthesis driven producibility estimation and gives some examples of there use.
Materiality, practice, body
Authors: Helle Karoff, Stine Liv Johansen
Venue: Proceedings of the 8th International Conference on Interaction Design and Children (2009)

In order to understand the interaction between human and technology, the triangulation between materiality, body and practice must be emphasized. By introducing play situations from a just finished empirical study in three bigger cities in Denmark, this paper will address the interplay from the human's point of view, as a body doing a certain practice, which is constantly produced by taking approaches which comes from phenomenology and practice theory. We introduce aspects of play understood as a dynamic between materiality, body and practice with the goal of inspiring not only for new design approaches, but also to use the concept of affordance in a broader sense. Also we want to think about testing as not being just about usability, but related to a broader cultural practice.
Itinerant Electron Magnetism: Fluctuation Effects, 1st edition
Authors: Dieter Wagner, Wolfgang Brauneck, Alexander Solontsov
Venue: Nato Science Partnership Sub-Series 3 (2007)

A summary of recent developments in theoretical and experimental studies of fluctuation effects in itinerant electron magnets, focusing on novel physical phenomena: soft-mode spin fluctuations and zero-point effects, strong spin anharmonicity, magnetic frustrations in metals, fluctuation effects in Invar alloys and low-dimensional systems. All of these may be important for novel high-technology applications.
Tracking in linear MIMO systems under external perturbations
Authors: A. G. Akhobadze, S. A. Krasnova
Venue: Automation and Remote Control (2009)

Consideration was given to tracking the given trajectories of the output variables of the linear multiple-input multiple-output dynamic systems under uncontrollable external perturbations. A procedure to rearrange the mathematical model of a control plant in a consistent block form of controllability and observability of the output (measurable) variables with regard for the external perturbations was developed within the framework of the block approach. This form underlies the decomposition procedures of feedback design enabling one to track the given trajectories invariantly to the external perturbations.
Systematic Modeling and Analysis of Telecom Frontends and their Building Blocks, 1st edition
Authors: Piet Vanassche, Georges Gielen, Willy Sansen
Venue:  (2009)

To meet the demands of today's highly competitive market, analog electronics designers must develop their IC designs in a minimum of time. The difference between first- and second-time right seriously affects a companys share of the market. Analog designers are therefore in need for structured design methods together with the theory and tools to support them, especially when pushing the performance limits in high-performance designs. Systematic Modeling and Analysis of Telecom Frontends and Their Building Blocks aims to help designers in speeding up telecommunication frontend design by offering an in-depth understanding of the frontend's behavior together with methods and algorithms that support designers in bringing this understanding to practice. The book treats topics such as time-varying phase-locked loop stability, noise in mixing circuits, oscillator injection locking, oscillator phase noise behavior, harmonic oscillator dynamics and many more. In doing so, it always starts from a theoretical foundation that is both rigorous and general. Phase-locked loop and mixer analysis, for example, are grounded upon a general framework for time-varying small-signal analysis. Likewise, analysis of harmonic oscillator transient behavior and oscillator phase noise analysis are treated as particular applications of a general framework for oscillator perturbation analysis. In order to make the book as easy to read as possible, all theory is always accompanied by numerous examples and easy-to-catch intuitive explanations. As such, the book is suited for both computer-aided design engineers looking for general theories and methods, either as background material or for practical implementation in tools, as well as for practicing circuit designers looking for help and insight in dealing with a particular application or a particular high-performance design problem.
Brief paper: Stochastic minimax control for stabilizing uncertain quasi- integrable Hamiltonian systems
Authors: Yong Wang, Zuguang Ying, Weiqiu Zhu
Venue: Automatica (Journal of IFAC) (2009)

A procedure for designing feedback control to asymptotically stabilize, with probability one, quasi-integrable Hamiltonian systems with bounded uncertain parametric disturbances is proposed. First, the partially averaged Ito stochastic differential equations are derived from given system by using the stochastic averaging method for quasi-integrable Hamiltonian systems. Second, the Hamilton-Jacobi-Issacs (HJI) equation for the ergodic control problem of the averaged system and a performance index with undetermined cost function is established based on the principle of optimality. This equation is then solved to yield the worst disturbances and the associated optimal controls. Third, the asymptotic Lyapunov stability with probability one of the optimally controlled system with worst disturbances is analyzed by evaluating the maximal Lyapunov exponent of the fully averaged Ito equations. Finally, the cost function and feedback control are determined by the requirement of stabilizing the worst-disturbed system. A simple example is worked out to illustrate the application of the proposed procedure and the effects of optimal control on stabilizing the uncertain system.
Classification of Single-Trial EEG Based on Support Vector Clustering during Finger Movement
Authors: Boyu Wang, Feng Wan
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part II (2009)

Classification of electroencephalogram (EEG) is an important and challenging issue for brain computer interface (BCI) system. In this paper, an algorithm based on common spatial subspace decomposition (CSSD) and support vector clustering (SVC) is proposed to classify single-trial EEG recording during left or right finger movement. The algorithm is tested by the dataset IV of "BCI competition 2003", and the experimental result shows the proposed method, only using bereitschaftspotential (BP), rather than both BP and event-related desynchronization (ERD), has higher classification accuracy than the best one reported in the competition.