ppxscal/embedding_network huggingface dataset:
Design and Implementation of the Robotic Platform
Authors: Markus S. Loffler, Vilas Chitrakaran, Darren M. Dawson
Venue: Journal of Intelligent and Robotic Systems (2004)

The diversity of robotic research areas along with the complex requirements of hardware and software for robotic systems have always presented a challenge for system developers. Many past robot control platforms were complex, expensive, and not very user friendly. Even though several of the previous platforms were designed to provide an open architecture system, very few of the previous platforms have been reused. To address previous disadvantages, this paper describes the design and implementation of the Robotic Platform, an object-oriented development platform for robotic applications. The Robotic Platform includes hardware interfacing, servo control, trajectory generation, 3D simulation, a graphical user interface, and a math library. As opposed to distributed solutions, the Robotic Platform implements all these components in a homogenous architecture that utilizes a single hardware platform (a standard PC), a single programming language (C++), and a single operating system (the QNX Real-Time Platform) while guaranteeing deterministic real-time performance. This design leads to an open architecture that is less complex, easier to use, and easier to extend. Particularly, the area of multiple cooperating robots benefits from this kind of architecture, since the Robotic Platform achieves a high integration of its components and provides a simple and flexible means of communication. The architecture of the Robotic Platform builds on the following state-of-the-art technologies and general purpose components to further increase simplicity and reliability: (i) PC technology, (ii) the QNX Real-Time Platform, (iii) the Open Inventor library, (iv) object-oriented design, and (v) the QMotor control environment.
Analytic methods in coverage testing of communications software
Authors: Jadranka Alilovic-Curgus
Venue: Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2 (1992)

Efficient test selection and evaluation algorithms are important in practical situations during the system verification phase, especially when the software involved is complex and manual and semi-automated methods of system verification can require weeks. To help automate this process, a simple procedure using a stratified selection approach for the control space of system behaviour is presented. This new method introduces a rigorous mathematical treatment of the discipline of testing, through the definition of testing distance, test coverage metrics, and a metric-based test selection algorithm. The test coverage metric is based on the concept of testing distance between execution sequences, which captures approximations of different patterns of system behaviour, and encompasses recursion and parallelism. The metric is incorporated into a test selection algorithm that allows generation of &epsilon;-dense sets of test sequences that approximate some original test suite to some target accuracy of distance &epsilon; in a convergent manner. This method is intended to facilitate the testing of communication software and other systems that involve many concurrent and highly recursive processes of largely unvisualisable character.
Verification, validation, and accreditation of simulation models
Authors: Dale K. Pace
Venue: Applied system simulation: methodologies and applications (2003)

This chapter discusses the role of verification and validation in determining simulation correctness and establishing the credibility that should be given to simulation results. The primary function of verification and validation is to reduce the risk of inappropriate simulation use. That information is the basis for accreditation decisions about use of the simulation. How verification, validation, and accreditation fit in the simulation life cycle is described. Key verification and validation processes are identified, and their use discussed. References to more detailed information are provided.
Machine learning for simulation-based support of early collaborative design
Authors: Nenad Ivezic, James H. Garrett,  Jr.
Venue: Artificial Intelligence for Engineering Design, Analysis and Manufacturing (1998)

The research and development of a simulation-based decision support system (SB-DSS) capable of assisting early collaborative design processes is presented. The requirements for such a system are included. Existing collaborative DSSs are shown to lack the capability to manipulate complex simulation-based relationships. On the other hand, advances within the machine learning in design community are shown to have a potential for providing, but have not yet addressed, simulation-based support for collaborative design processes. The developed SB-DSS is described in terms of its four principal components. First, the behavior-evaluation (BE) model is used to both structure individual, domain-specific decision models and organize these models into a collaborative decision model. Second, a probabilistic framework for the BE model enables management of the uncertainty inherent in learning and using simulation-based knowledge. Significantly, this framework provides a constraint satisfaction environment in which simulation-based knowledge is used. Third, a statistical neural network approach is used to capture simulation-based knowledge and build the probabilistic behavior models based on this knowledge. Fourth, since a probability distribution theory does not exist for the nonlinear neural network approaches, Monte Carlo simulation is introduced as a method to sample the trained neural networks and approximate the likelihoods of design variable values. Consequently, constraint satisfaction problem-solving capability is obtained. In addition, a mapping of the SB-DSS architecture onto a collaborative design agent framework is provided. Experimental evaluation of a prototype SB-DSS system is summarized, and performance of the SB-DSS with respect to search and usability metrics is documented. Initial results in developing the simulation-based support for collaborative design are encouraging. Lastly, a categorization of the machine learning approach and a critique of the proposed categorization scheme is presented.
Component Monitoring and Dynamic Loading Visualization from Real Time Power Flow Model Data
Authors: A. P. Sakis Meliopoulos, George J. Cokkinides, Thomas J. Overbye
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 2 - Volume 2 (2004)

The technology of intelligent electronic devices in power systems has exploded and with it the available real time data. The data are typically used to extract a real time model of the system via traditional state estimation methods. The traditional approach estimates only the system voltages and uses a small part of the available information. This paper presents a new approach for better utilization of the available information. Specifically, we propose the use of existing data for estimating detailed operational models of major power equipment. For example, the detailed models can be in the form of electro-thermal models which then will allow the monitoring of device temperatures, dynamic loading, etc. In general, the real time model can be as simple or as complex depending on the type and quality of available data. For example, from typical SCADA data, the real time operational model of a generator can beextracted. This model can provide the operating margins, etc. Addition of other data, such as ambient temperature, etc. can also provide an electro-thermal model in real time. The paper demonstrates the approach with the example of a power transformer. The methodology isapplied to extract an electro-thermal model of the transformer. The real time electro-thermal model provides: (a) transformer temperatures including hot spot, (b) transformer loss of life and (c) transformer dynamic loading. The approach has been simulated in a multi-tasking environment using an electric power system model with a time-function electric load. The operation of the system is simulated by solving the power flow at user selected time intervals. As the time progresses the electric load changes and a power flow solution determines bycomputation the operation of the system. At each time step, the real time model of the selected power devices are extracted via statistical estimation methods. The real time model provides vital information for these devices. Their operation conditions can be visualized and animated as desired. The paper presents these applications.
Software algorithms in intelligent employment agent
Authors: J. Nazean, Jason Chan
Venue: Proceedings of the 1st international symposium on Information and communication technologies (2003)

In this dissertation, researcher will discuss on the generic EMA as described by Matjaz Gams and Aleksander Pivk in Domain-dependent information gathering, 2002 specifically in "retrieve" method in the database. The agent will search the database that stored all the information about the employer and the job offers. What does make it intelligent is when the user (employee) login to the system, the agent will study what are the keywords normally entered by him/her to find a job whether it is by location, job type and employee type.
Service level agreement in optical networks
Authors: Michel Du-Pond, Olivier Audouin, Bela Berde, Belkacem Daheb, Wissam Fawaz, Guy Pujolle, M. Vigoureux
Venue: Network control and engineering for Qos, security and mobility II (2003)

This article proposes a Service Level Agreement applied to the optical domain (O-SLA), which is expected to be the near and long term network technology thanks, among other things, to the great bandwidth capacity offered by optical devices. After an exposition of the rationale behind an optical SLA, parameters which could enter in this O-SLA, as well as their values for four classes of services, are proposed. Different client (wavelength or sub-wavelength) and services types (from leased wavelength to bandwidth on demand) are distinguished when necessary.
The Nature of Knowledge and Its Influence on Knowledge Sharing Practice: Experiences from Building the MACROS System
Authors: Jing Zhang, Sue R. Faerman
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 8 - Volume 8 (2004)

This study investigates how the interactive influences of the nature of knowledge and multiple organizational and technological factors -- trust, leadership, incentives and issues, group size and variety, implementation strategy, and technology -- facilitated and/or impeded the knowledge sharing processes. Using a case study approach, the research focuses on the modifying effects of four characteristics of knowledge -- codifiability, context-embeddedness, practice-embeddedness, and dynamics -- on the processes and outcomes of knowledge sharing in a case of building the Multi-Purpose Access for Customer Relations & Operational Support (MACROS) System involving multiple organizations, divisions, and geographically separated offices. The case results suggest that modifying effects occurred along at least three dimensions-- codifiability, context-embeddedness, and practice-embeddedness. The levels of codifiability appeared to dictate the implementation strategy; reduced context-embeddedness allowed for more effective group coordination; reduced context-embeddedness also enhanced trust; codified knowledge is more effective than uncodified knowledge in demonstrating concrete incentives; and technology interacts with contextembeddedness and practice-embeddedness.The results of this study have theoretical and practical implications for a larger set of problems encountered in sizable organizations. More specifically, even though the relevance of the nature of knowledge has been widely acknowledged (e.g., [1-3], it is not always clear how it comes into play. This study conceptualized the nature of knowledge as a modifying variable, and the results provide a new and more comprehensive framework for investigating the relevance of the nature of knowledge in knowledge management research.
Analyzing On-Chip Communication in a MPSoC Environment
Authors: Mirko Loghi, Federico Angiolini, Davide Bertozzi, Luca Benini, Roberto Zafalon
Venue: Proceedings of the conference on Design, automation and test in Europe - Volume 2 (2004)

This work focuses on communication architecture analysis for multi-processor Systems-on-Chips (MPSoCs), and it leverages a SystemC-based platform to simulate a complete multi-processor system at the cycle-accurate and signal-accurate level. These features allow to stimulate the communication sub-system with functional traffic generated byreal applications running on top of a configurable number of ARM processors. This opens up the possibility for communication infrastructure exploration and for the investigation of its impact on system performance at the highest level of accuracy. Our simulation environment proved capable of a detailed comparative analysis between two industry-standard communication architectures, under realistic workloads and different system configurations, pointing out the impact of fine grained architectural mismatches on macroscopic performance differences.
Information use in CBSE design
Authors: Stephen Owen, David Budgen, Pearl Brereton
Venue: Proceedings of the 27th Annual International Conference on Computer Software and Applications (2003)

The design process in component-based softwareengineering needs to implicitly incorporate ways ofreusing existing components. Reuse in turn implies theneed to acquire knowledge about any components thatmight be incorporated into a system. Our paperdescribes an empirical study of how componentdocumentation can be used to help develop thatknowledge, using Unix processes as the source ofdocumentation and components, and using both think-aloudand non-intrusive techniques to record subjectbehaviour. Our conclusions suggest how componentdocumentation might be organised so as to assist withreuse, and identify further questions about its form.
An O(log n) Dynamic Router-Table Design
Authors: Sartaj Sahni, Kun Suk Kim
Venue: IEEE Transactions on Computers (2004)

Abstract--Internet (IP) packet forwarding is typically done by finding the longest prefix in a router table that matches the packet's destination address. For W{\hbox{-}}{\rm bit} destination addresses, the use of binary tries enables us to determine the longest matching prefix in O(W) time, independent of the number n of prefixes in the router table. New prefixes may be inserted and old ones deleted in O(W) time also. Since n
Preferred by "All" and Preferred by "Most" Decision Makers: Almost Stochastic Dominance
Authors: Moshe Leshno, Haim Levy
Venue: Management Science (2002)

While "most" decision makers may prefer one uncertain prospect over another, stochastic dominance rules as well as other investment criteria, will not reveal this preference due to some extreme utility functions in the case of even a very small violation of these rules. Such strict rules relate to "all" utility functions in a given class including extreme ones which presumably rarely represents investors' preference. In this paper we establish almost stochastic dominance (ASD) rules which formally reveal a preference for "most" decision makers, but not for "all" of them. The ASD rules reveal that choices which probably conform with "most" decision makers also solve some debates, e.g., showing, as practitioners claim, an ASD preference for a higher proportion of stocks in the portfolio as the investment horizon increases, a conclusion which is not implied by the well-known stochastic dominance rules.
An Interview with David Ticoll: The dawning of the age of transparency
Authors: Ubiquity staff
Venue: Ubiquity (2003)

Author David Ticoll tells how smart companies gain the trust of stakeholders by sharing important information.
Evolutionary Approach to Quantum andReversible Circuits Synthesis
Authors: Martin Lukac, Marek Perkowski, Hilton Goi, Mikhail Pivtoraiko, Chung Hyo Yu, Kyusik Chung, Hyunkoo Jeech, Byung-Guk Kim, Yong-Duk Kim
Venue: Artificial Intelligence Review (2003)

The paper discusses the evolutionary computation approach to the problem of optimal synthesis of Quantum and Reversible Logic circuits. Our approach uses standard Genetic Algorithm (GA) and its relative power as compared to previous approaches comes from the encoding and the formulation of the cost and fitness functions for quantum circuits synthesis. We analyze new operators and their role in synthesis and optimization processes. Cost and fitness functions for Reversible Circuit synthesis are introduced as well as local optimizing transformations. It is also shown that our approach can be used alternatively for synthesis of either reversible or quantum circuits without a major change in the algorithm. Results are illustrated on synthesized Margolus, Toffoli, Fredkin and other gates and Entanglement Circuits. This is for the first time that several variants of these gates have been automatically synthesized from quantum primitives.
Performance Modeling of Analog Integrated Circuits Using Least-Squares Support Vector Machines
Authors: Tholom Kiely, Georges Gielen
Venue: Proceedings of the conference on Design, automation and test in Europe - Volume 1 (2004)

This paper describes the application of Least-Squares Support Vector Machine (LS-SVM) training to analog circuit performance modeling as needed for accelerated or hierarchical analog circuit synthesis. The training is a type of regression, where a function of a special form is fit to experimental performance data derived from analog circuit simulations. The method is contrasted with a feasibility model approach based on the more traditional use of SVMs, namely classification. A Design of Experiments (DOE) strategy is reviewed which forms the basis of an efficient simulation sampling scheme. The results of our functional regression are then compared to two other DOE-based fitting schemes: a simple linear least-squares regression and a regression using posynomial models. The LS-SVM fitting has advantages over these approaches in terms of accuracy of fit to measured data, prediction of intermediatedata points and reduction of free model tuning parameters.
Construction of Cyber Science Museum
Authors: Bu Young Ahn, Ji Young Kim, Chung Sik Oh, Soon Chan Hong
Venue: Proceedings of the 2003 International Conference on Cyberworlds (2003)

KISTI has provided Korean factual informationthrough the web since 1994. There are over 25 databasessuch as biodiversity related data, inherent-domesticinformation such as domestic mine data, and specializeddata including chemical product/safety andthermophysical property of KS material. These databasesare classified into three categories of life science, earthscience and industry. VR Panorama based cyber sciencemuseum has been constructed using several DBs from thearea of life science and earth science and is open topublic including professionals and researchers. Themuseum applies Real and 3D rendering image based VRPanorama, VR Object Format and Interactive VirtualReality to experience the cyber space. The cyber sciencemuseum consists of 5 pavilions in the following 20themes; Biodiversity pavilion (freshwater fish, coastalfish, mushrooms, insects, domestic plant, indigenousplant, seeds, birds), Fossil pavilion (Korean fossil, fossilanimation, period classification), Shellfish pavilion(Korean, World, Rare), Astronomy pavilion (ancient,virtual solar system) and Agriculture pavilion.
Turning 802.11 inside-out
Authors: Pravin Bhagwat, Bhaskaran Raman, Dheeraj Sanghi
Venue: ACM SIGCOMM Computer Communication Review (2004)

The past decade has seen communication revolution in the form of cellular telephony as well as the Internet, but much of it has been restricted to the developed world and metro pockets in the developing world. While the use of cellular technologies can cut down on the time to deploy access networks, the cost economics make this non-viable in growing telecom economies. In the Digital Gangetic Plains (DGP) project, we are exploring the use of 802.11 as a long-distance access technology. 802.11 is currently cost-priced due to competitive mass production and hence is attractive for low cost and rapid deployment in rural areas.We have built an extensive testbed in a rural setting consisting of multi-hop directional 802.11 links, the testbed spanning up to 80km at its longest. To our knowledge such a long-distance, multi-hop testbed based on 802.11 is unique thus far. While 802.11 is attractive in terms of cost economics, it was inherently designed for indoor use. Our novel use of the technology for outdoor, long-distance access links presents several challenges. Our experience with the testbed has brought several research as well as operational issues to the fore. In this paper, we describe the novel technical challenges that lie ahead in using 802.11 to bridge the digital divide.
Ferromagnetic ordering of n-type (Ga,Mn)N epitaxial films
Authors: J. M. Lee, K. I. Lee, J. Y. Chang, M. H. Ham, K. S. Huh, J. M. Myoung, W. J. Hwang, M. W. Shin, S. H. Han, H. J. Kim, W. Y. Lee
Venue: Microelectronic Engineering (2003)

The magnetic and magnetotransport properties of epitaxial (Ga1-xMnx)N films with low Mn concentration (x=0.06- 0.5%) grown by plasma-enhanced molecular beam epitaxy have been investigated. Ferromagnetic ordering for the GaMnN is clearly seen in the temperature range 4-300 K. The M-T curves were fitted with theoretical equations based on the mean field theory in order to estimate Curie temperature (Tc), providing Tc≈550 K and Tc≈700 K, respectively, for the (Ga,Mn)N films with x=0.16% and x=0.50%. Temperature dependence of sheet resistance is found to show negative magnetoresistance in the temperature range 4-300 K, indicative of ferromagnetic semiconducting (Ga,Mn)N films.
Problems of future GMDH algorithms development
Authors: A. G. Ivakhnenko, E. A. Savchenko, G. A. Ivakhnenko
Venue: Systems Analysis Modelling Simulation (2003)

Theories and algorithms developed for pattern recognition can be applied to random processes forecasting and for solution of all another interpolation type problems of artificial intelligence. For this purpose input data sample in the form of time series should be transformed into simultaneous form according to rules of Gauss conditional equations complication. Examples of algorithms used in pattern recognition are considered. Particularly is considered algorithm of secondary arguments generation. It is proposed to use error of modelling as effective secondary argument in special twice-multilayered neural network. Another GMDH network is considered as inductive analogue of Kalman type noise filter and as network, which interpolates non-linear objects characteristics.