ppxscal/embedding_network huggingface dataset:
TakTuk, adaptive deployment of remote executions
Authors: Benoit Claudel, Guillaume Huard, Olivier Richard
Venue: Proceedings of the 18th ACM international symposium on High performance distributed computing (2009)

This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for interactive use: distributed machines administration and parallel applications development. Thus, it has to minimize the time required to complete the whole deployment process. To achieve this minimization, we propose and validate a remote execution deployment model inspired by the real world behavior of standard remote execution protocols (rsh and ssh). From this model and from existing works in networking, we deduce an optimal deployment algorithm for the homogeneous case. Unfortunately, this optimal algorithm does not translate directly to the heterogeneous case. Therefore, we derive from the theoretical solution a heuristic based on dynamic work-stealing that adapts to heterogeneities (processors, links, load, ...). The underlying principle of this heuristic is the same as the principle of the optimal algorithm: to deploy nodes as soon as possible. Experiments assess TakTuk efficiency and show that TakTuk scales well to thousands of nodes. Compared to similar tools, TakTuk ranks among the best performers while offering more features and versatility. In particular, TakTuk is the only tool really suited to remote executions deployment on grids or more heterogeneous platforms.
Design of active control laws for implementing structural health monitoring
Authors: Eliza Munteanu, Ioan Ursu, Cristian Rugina
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

The objective of the present work is to follow up the capabilities of piezoelectric actuators as active vibration control and structural health monitoring (SHM) devices for wing structures. The first step of the study is that of providing the basic order two structural equation of the system by an ANSYS FEM structural modelling, as it was proceeded in recent works of the authors. The enhancing of the wing dynamic behavior is then based on the robust LQG/LTR synthesis. It is shown how this procedure can be design, having as comparison term the robust ideal LQR synthesis. In the next step a state perturbation is add to the control signal to simulate a wave generating signal from SHM device. Numerical simulations are presented, thus pointing out the efficacy of the piezo actuators in the developing of smart structures.
Motion control of snake robot by lead-lag compensator designed with frequency domain approach
Authors: Anubhuti Saha, R. P. Chatterjee, Uma Dutta
Venue: Proceedings of the 9th WSEAS international conference on Robotics, control and manufacturing technology (2009)

The snakes can adopt manifold gaits and its motion has the characteristics of catholicity, ground adaptability, scalability, stability and high efficiency. This motivates the designing of multi-link wheeled snake robot using the principal of differential friction and Active Cord Mechanism (ACM) to produce serpentine movement. This paper focuses on the designing of the motor controller using frequency domain approach with cascaded phase shifter to be present in each segment of multi-segment snake robot to produce serpentine motion with an aid to avoid the obstacles in its path. The controller concentrates on controlling the steady state errors and transient response of the actuators.
Guide to Wireless Sensor Networks, 1st edition
Authors: Sudip Misra, Isaac Woungang, Subhas Chandra Misra
Venue:  (2009)

Wireless communication technologies continue to undergo rapid advancement. In recent years, there has been a steep growth in research in the area of wireless sensor networks (WSNs). In WSNs, communication takes place with the help of spatially distributed, autonomous sensor nodes equipped to sense specific information. WSNs can be found in a variety of both military and civilian applications worldwide. Examples include detecting enemy intrusion on the battlefield, object tracking, habitat monitoring, patient monitoring and fire detection. Sensor networks are emerging as an attractive technology with great promise for the future. However, challenges remain to be addressed in issues relating to coverage and deployment, scalability, quality-of-service, size, computational power, energy efficiency and security. This highly useful guide presents a comprehensive account of the fundamental concepts, new ideas and results in the field of WSNs.
Item Attributes Analysis of Computer-based Test based on IRT
Authors: Deng-Jyi Chen, Ah-Fur Lai, Shu-Ling Chen
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

The IRT (Item Response Theory) has been studied and applied in computer-based test for decades. However, almost of all these existing IRT studies pay their attentions only on test questions in text-based (or static text/graphic) type of presentation form. In this paper, The study proposed an IDEA model, develped test questions both in text-based and multimedia types of presentation form which have the same semantic meanings, and launched an experiment. This study analyzed the difference of item attributes (i.e., difficulty index, discriminatory power), item information and test score. The result indicated that the difficulty indexes of most interactive multimedia questions are less than those of their corresponding static text/graphic questions. But the static text/graphic presentation questions significantly have better discrimination power as compared with the interactive multimedia presentation questions.
Solving a non-linear model: The importance of model specification for deriving a suitable solution
Authors: Ric D. Herbert, Peter J. Stemp
Venue: Mathematics and Computers in Simulation (2009)

In this paper, we consider a macroeconomic model with alternative linear and non-linear specifications. One version of the model, expressed in levels, is highly non-linear and has at least two steady-state equilibria. One of these equilibria has an economically meaningful interpretation, while the other does not have a sensible economic interpretation. A second version of the model, expressed in logarithms, is linear and has a unique steady-state equilibrium, which corresponds to the economically meaningful equilibrium of the non-linear version of the model. The dynamic solution of each model version has a combination of stable and unstable eigenvalues so that any dynamic solution requires the calculation of appropriate ''jumps'' in endogenous variables. Attempts to solve these models, using forward-shooting and reverse-shooting algorithms, show that the forward-shooting algorithm chooses the ''wrong'' solution for the non-linear model, but the ''right'' solution for the linear model. The reverse-shooting algorithm chooses the ''right'' solution in both cases. We demonstrate how this result is driven by particular properties of the two versions of the model.
Introducing online reading
Authors: Fernanda Bonacho
Venue: Proceedings of the 20th ACM conference on Hypertext and hypermedia (2009)

In this paper, we develop a discussion about possible profiles of the reader online according to the perception of a new sensitive experience of reading. The experience of reading in front of a computer is already part of our daily routine but still far from a clear standing. Focusing our attention on the reader allows us to embrace a curious challenge that most of us already live on the level of senses (Erlebnis), and only some are able to make it an experience in life (Erfahrung).
Survey paper: Computer-Aided Inspection Planning-The state of the art
Authors: Fiona Zhao, Xun Xu, S. Q. Xie
Venue: Computers in Industry (2009)

Computer-Aided Inspection Planning (CAIP) has been a research topic for the past 25 years. Most of the CAIP systems were developed for Coordinate Measuring Machines (CMMs). The authors reviewed these CAIP systems and categorized them into two groups: tolerance-driven and geometry-based CAIP systems. Compared with CMMs, On-Machine Inspection (OMI) systems provide direct inspection in manufacturing and quality control, which is vital for automated production. Since the early 1990s, new CAIP systems have been developed for OMI systems. New technologies were developed in improving CAIP. New product data standards such as STEP and STEP-NC have been developed to provide standardized and comprehensive data models for machining and inspections. This paper systematically reviewed the recent development of these CAIP systems, new standard and technologies. A new notion of integrating the machining and inspection process planning based on the STEP-NC standard is discussed.
The Learning Maya 2009 Collection: Foundation, Modeling & Animation, and Special Effects
Authors: Autodesk Maya Press
Venue:  (2009)

Your one-stop resource for getting up to speed on Autodesk Maya 2009 The Learning Autodesk Maya 2009 Collection is your key to unlocking the power of Autodesk Maya. The official training guides in this special collection cover all stages of the Maya 3D production pipeline from start to finish. Each book includes step-by-step lessons using real-world production files and a DVD packed with free 3D models from TurboSquid, plus instructor-led videos, and much more. Learning Autodesk Maya 2009 | Foundation With this book, you will Get a project-based introduction to Maya 2009 with artwork from the feature film Delgo Explore the Maya user interface and 3D workspace Build a character with polygons and create organic structures with NURBS Learn to use Trax, animation layers, forward and inverse kinematics, and Paint Effects Set cameras and lights, and create and apply shaders and textures Discover rendering techniques, particles, dynamics, Maya Embedded Language (MEL), and Autodesk Toxik Learning Autodesk Maya 2009 | The Modeling & Animation Handbook With this book, you will: Get hands-on instruction to production-quality modeling and animation using artwork from the animated short Theme Planet Model with polygons and NURBS Work with skeletons, joint orientation, and inverse kinematics Set up a leg, arm, and spine, and create constraints Skin your characters and work with blend shapes Create a run cycle and keyframed animation and animate a complete scene Learning Autodesk Maya 2009 | The Special Effects Handbook With this book, you will: Get step-by-step lessons on the final stages of production using artwork from the animated short Theme Planet Understand shading, lighting, shadows, and cameras Learn rendering with mental ray, hardware, and vector renderers Work with caustics, Global Illumination, Final Gathering, and HDRI Work with rigid body and particle dynamics and MEL for particle expressions Understand particle instancing Learn about fluids, fluid collisions, and open water effects
From business process models to process-oriented software systems
Authors: Chun Ouyang, Marlon Dumas, Wil M. P. Van Der Aalst, Arthur H. M. Ter Hofstede, Jan Mendling
Venue: ACM Transactions on Software Engineering and Methodology (TOSEM) (2009)

Several methods for enterprise systems analysis rely on flow-oriented representations of business operations, otherwise known as business process models. The Business Process Modeling Notation (BPMN) is a standard for capturing such models. BPMN models facilitate communication between domain experts and analysts and provide input to software development projects. Meanwhile, there is an emergence of methods for enterprise software development that rely on detailed process definitions that are executed by process engines. These process definitions refine their counterpart BPMN models by introducing data manipulation, application binding, and other implementation details. The de facto standard for defining executable processes is the Business Process Execution Language (BPEL). Accordingly, a standards-based method for developing process-oriented systems is to start with BPMN models and to translate these models into BPEL definitions for subsequent refinement. However, instrumenting this method is challenging because BPMN models and BPEL definitions are structurally very different. Existing techniques for translating BPMN to BPEL only work for limited classes of BPMN models. This article proposes a translation technique that does not impose structural restrictions on the source BPMN model. At the same time, the technique emphasizes the generation of readable (block-structured) BPEL code. An empirical evaluation conducted over a large collection of process models shows that the resulting BPEL definitions are largely block-structured. Beyond its direct relevance in the context of BPMN and BPEL, the technique presented in this article addresses issues that arise when translating from graph-oriented to block-structure flow definition languages.
Non-functional requirements analysis modeling for software product lines
Authors: Quyen L. Nguyen
Venue: Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering (2009)

In most IT projects, software developers usually pay attention to functional requirements that satisfy business needs of the system. Non-functional requirements (NFR) such as performance, usability, security, etc. are usually handled ad-hoc during the system testing phase, when it is late and costly to fix problems. Due to the importance and criticality of NFR, I study the problem of modeling NFR for Software Product Lines (SPL), which adds yet an additional dimension of complexity. This paper will survey the software engineering literature, in search of a systematic way to analyze and design NFR, from the perspectives of the concept of commonality and variability of SPL and the characteristics of NFR. Finally, I will propose a methodology based on the extension of Product Line UML-Based Software Engineering (PLUS) techniques, for a unified and automated method to model NFR throughout all phases of SPL engineering.
Stress-Induced Phenomena in Metallization: Ninth International Workshop on Stress-Induced Phenomena in Metallization, 1st edition
Authors: Shinichi Ogawa, Paul S. Ho, Ehrenfried Zschech
Venue: Aip Conference Proceedings / Materials Physics And Applications (2007)

All papers were peer reviewed. The conference was on reliability related science in ULSI interconnect, and the main purpose was to discuss the stress induced phenomena in the LSI interconnect among academic researchers and industry engineers to establish academic science and to improve the reliability of ULSI chips.
Mathematics for the Analysis of Algorithms: Modern Birkhuser Classics, 3rd edition
Authors: Daniel H. Greene, Donald E. Knuth
Venue:  (2007)

A quantitative study of the efficiency of computer methods requires an in-depth understanding of both mathematics and computer science. This monograph, derived from an advanced computer science course at Stanford University, builds on the fundamentals of combinatorial analysis and complex variable theory to present many of the major paradigms used in the precise analysis of algorithms, emphasizing the more difficult notions. The authors cover recurrence relations, operator methods, and asymptotic analysis in a format that is terse enough for easy reference yet detailed enough for those with little background. Approximately half the book is devoted to original problems and solutions from examinations given at Stanford.
Tactical modularity for evolutionary animats
Authors: Ricardo A. Téllez, Cecilio Angulo
Venue: Proceeding of the 2006 conference on Artificial Intelligence Research and Development (2006)

In this paper, we use a massive modular architecture for the generation of complex behaviours in complex robots within the evolutionary robotics framework. We define two different ways of introducing modularity in neural controllers using evolutionary techniques, which we call strategic and tactical modularity, and show at what modular levels each one acts and how can they be combined for the generation of a completely modular controller for a neural networks based animat. Implementation results are presented for the garbage collector problem using a khepera robot and compared with previous results from other researchers.
Modeling and emulation of internet paths
Authors: Pramod Sanaga, Jonathon Duerig, Robert Ricci, Jay Lepreau
Venue: Proceedings of the 6th USENIX symposium on Networked systems design and implementation (2009)

Network emulation subjects real applications and protocols to controlled network conditions. Most existing network emulators are fundamentally link emulators, not path emulators: they concentrate on faithful emulation of the transmission and queuing behavior of individual network hops in isolation, rather than a path as a whole. This presents an obstacle to constructing emulations of observed Internet paths, for which detailed parameters are difficult or impossible to obtain on a hop-by-hop basis. For many experiments, however, the experimenter's primary concern is the end-to-end behavior of paths, not the details of queues in the interior of the network. End-to-end measurements of many networks, including the Internet, are readily available and potentially provide a good data source from which to construct realistic emulations. Directly using such measurements to drive a link emulator, however, exposes a fundamental disconnect: link emulators model the capacity of resources such as link bandwidth and router queues, but when reproducing Internet paths, we generally wish to emulate the measured availability of these resources. In this paper, we identify a set of four principles for emulating entire paths. We use these principles to design and implement a path emulator. All parameters to our model can be measured or derived from end-to-end observations of the Internet. We demonstrate our emulator's ability to accurately recreate conditions observed on Internet paths.
Client/server system for managing an audio and video archive for unique Bulgarian bells
Authors: Tihomir Trifonov, Tsvetanka Georgieva
Venue: WSEAS Transactions on Information Science and Applications (2009)

In this paper, a client/server system for the management of data and its extraction from an audio and video archive for unique Bulgarian bells is proposed. The realized system provides users the possibility of accessing information about different characteristics of the bells, according to their specific interests. The architecture of the Web based system is described as well as the services offered. The authors present the structure of the created database that stores the necessary information. A client application is realized with MatLab, providing the possibility for searching the bells from the archive according to their sound.
A novel approach for tracking high speed skaters in sports using a panning camera
Authors: GuoJun Liu, XiangLong Tang, H. D. Cheng, JianHua Huang, JiaFeng Liu
Venue: Pattern Recognition (2009)

This paper presents a computer vision system for tracking high-speed non-rigid skaters over a larger rink in short track speed skating competitions. The outputs of the tracking system are spatio-temporal trajectories of the skaters which can be further processed and analyzed by sports experts. To capture highly complex and dynamic scenes, the camera pans very fast, therefore, tracking amorphous skaters becomes a challenging task. We propose a new method for (1) automatically computing the transformation matrices to map each frame to the globally consistent model of the rink; (2) incorporating the hierarchical model based on the contextual knowledge and multiple cues into the unscented Kalman filter to improve the tracking performance when occlusions occur; (3) evaluating the precision of our practical system objectively. Experimental results show that the proposed algorithm is very efficient and effective on the video recorded in the World Short Track Speed Skating Championships.
Privacy in Distributed Meeting Scheduling
Authors: Ismel Brito, Pedro Meseguer
Venue: Proceeding of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence (2008)

Meetings are an important vehicle for human interaction. The Meeting Scheduling problem (MS) considers several agents, each holding a personal calendar, and a number of meetings which have to be scheduled among subsets of agents. MS is a naturally distributed problem with a clear motivation to avoid centralization: agents desire to keep their personal calendars as private as possible during resolution. MS can be formulated as Distributed CSP, but due to the form of its constraints the PKC model does not bring any benefit here. We take entropy as a measure for privacy, and evaluate several distributed algorithms for MS according to efficiency and privacy loss. Experiments show interesting results with respect to the kind of tested algorithms.
Agent based smart house platform with affective control
Authors: Kuderna-Iulian Benta, Amalia Hoszu, Lucia Văcariu, Octavian Creţ
Venue: Proceedings of the 2009 Euro American Conference on Telematics and Information Systems: New Opportunities to increase Digital Citizenship (2009)

In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order to remotely monitor its functions we implemented a Jade-Leap mobile application. We developed a central ontology for context representation and the support for behavior changes according to user's affective feedback. We also emphasize the issues related to ontologies supporting agent communication, sensor integration and affective sensing. Experimental results have showed the proper functioning of this system, whose novelty consists in merging together a multi-agent system, an ontology-based mixed environment representation and reasoning engine, and a rule-based model of the user's affective feedback.
Observer Kalman filter identification and multiple-model adaptive estimation technique for classifying animal behaviour using wireless sensor networks
Authors: E. S. Nadimi, H. T. Søgaard
Venue: Computers and Electronics in Agriculture (2009)

The identification of a mathematical model capable of describing the behaviour of animals given input such as feed has great potential for behavioural control purposes. Such models will allow to make predictions which are fundamental to any closed loop control such as control of the feeding. This paper investigates the problem of mathematically modelling animal behaviour. An observer Kalman filter identification method was successfully applied to input-output data and two models representing the hypotheses that animals are actively feeding and the hypotheses that animals are inactive were identified. The input and output of each of the identified models were feed dry matter offer and the pitch angle of the neck, respectively. The pitch angle of the neck of the animal was successfully measured and aggregated by a ZigBee-based wireless sensor network. Two fourth-order models describing the dynamics of an animal in the active and inactive behaviour modes showed good performance in terms of prediction error, cross-correlation between the residual and the output as well as cross-correlation between the residual and the input with 99% confidence interval. A multiple-model adaptive estimation approach was applied to determine the likelihood of each of the two models being the correct model for a specific input of dry matter feed. The average classification success rate was 87.2% for the whole experiment.