ppxscal/embedding_network huggingface dataset:
Active learning systems
Authors: John Crocker
Venue: Computers in Entertainment (CIE) (2003)

Advances in science and technology are creating new opportunities to rethink how we teach and learn. Emotionally-driven, interactive content can help tomorrow's leaders master important core subjects while developing critical thinking and learning skills required in a rapidly changing world. This paper explores new insights into how we think and learn, and hence envision new ways to educate our kids by employing advanced technologies.
Recurrent neural networks with trainable amplitude of activation functions
Authors: Su Lee Goh, Danilo P. Mandic
Venue: Neural Networks (2003)

An adaptive amplitude real time recurrent learning (AARTRL) algorithm for fully connected recurrent neural networks (RNNs) employed as nonlinear adaptive filters is proposed. Such an algorithm is beneficial when dealing with signals that have rich and unknown dynamical characteristics. Following the approach from [Trentin, E. Network with trainable amplitude of activation functions, Neural Networks 14 (2001) 471], three different cases for the algorithm are considered; a common adaptive amplitude shared among all the neurons; each layer has its own adaptive amplitude; different adaptive amplitude for each neuron. Experimental results show the AARTRL outperforms the standard RTRL algorithm.
Practical realization of modelling an airplane for an intelligent tutoring system
Authors: Orest Popov, Anna Barcz, Piotr Piela, Tomasz Sobczak
Venue: Artificial intelligence and security in computing systems (2003)

This paper describes the general design and an example of practical realization of the simulation system for a light airplane, created as a part of an intelligent tutoring system for civil aviation. The choice of appropriate hardware and software means for such a simulation system is also discussed. Proposed structure of the simulation system is based on two independent modules: the simulation kernel and the user interface. The kernel performs all the flight dynamics computations as well as simulates functioning of the onboard systems, while the user interface provides the user with a three-dimensional view on the airplane's cabin and the outside scenery. Both modules communicate with each other as well as with the other parts of an intelligent tutoring system through the network, which makes the proposed simulation system a suitable tool for use in distance learning.
An Exploratory Study of Component Reliability Using Unit Testing
Authors: R. Torkar, S. Mankefors, K. Hansson, A. Jonsson
Venue: Proceedings of the 14th International Symposium on Software Reliability Engineering (2003)

Using basic unit testing techniques we found 25 faultsin a core component within a larger component orientedframework after the component had already started to bereused. We found that, even though this particularcomponent had been subject to subsystem and systemtesting and used for some time, several faults werediscovered which seriously would have affectedapplications using it, especially in terms of reliability.This study clearly indicates the need of a new approach totesting and verification within component-baseddevelopment and reuse.
Supervisor Reduction for Discrete-Event Systems
Authors: R. Su, W. M. Wonham
Venue: Discrete Event Dynamic Systems (2004)

In supervisory control theory (SCT) the supremal supervisor (representing the supremal controllable sublanguage) typically has a large state size (of order the product of state sizes of the plant and specification automata). In this paper, we propose an algorithm which can significantly reduce supervisor size while preserving control action. We also show that finding a supervisor of minimal size is NP-hard.
Scenario-based Object-Oriented Testing Framework
Authors: W. T. Tsai, A. Saimi, L. Yu, R. Paul
Venue: Proceedings of the Third International Conference on Quality Software (2003)

This paper presents a scenario-based object-orientedtest framework (SOOTF) for adaptive and rapid testing.The framework takes test scenario specification as input,prepares data for test execution, performs test execution,and evaluates test results with a database support. Theframework also has several built-in regression testingstrategies that can be used to test the modified software.The framework is implemented in Java using many OOdesign patterns such as Template Method, Strategy, andComposite. The framework is implemented using a 3-tiered architecture with GUI front end, and test management in the middle, and a database at thebackend. Whenever there is a change to thesystem/application under test, SOOTF will identify all thepotentially affected scenarios, and perform regressiontesting using existing test cases stored in the database. Atester may also reuse the existing test scripts to performstress testing. This paper uses a banking system exampleto illustrate the framework.
Architecture Paradigms and Their Influences and Impacts on Component-Based Software Systems
Authors: Guijun Wang, Casey K. Fung
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9 - Volume 9 (2004)

Object-Oriented Architecture (OOA), Component-Based Architecture (CBA), and Service-Based Architecture (SBA) represent three technical architecture paradigms in current software systems. Object, Component, and Service are three key concepts in distributed software systems. From implementation point of view, a service is implemented by one or more components, which in turn are often implemented in object-oriented programming languages like C++ and Java. Distributed component-based software systems can be structured in any of the architecture paradigms, some have more advantages than others depending on business requirements. Understanding the characteristics, features, benefits, and concerns of the architecture paradigms is crucial to the successful design, implementation and operation of adistributed system.In this paper, we describe the characteristics of the three architecture paradigms and the business drivers for their applications. The parallel evolution of architecture paradigms and software development methodologies is discussed in the context of practical business needs.Component-based software developers for distributed systems should decide on the architecture paradigms based on business requirements. The evolution of architecture paradigms and the selection of architecture paradigms have profound influences and impacts on component-based distributed systems, in the way components are designed and in the way component interactions are implemented. We discuss these influences and impacts with the goal of deriving some practical principles and strategies to best deal with them in software engineering practices.
Stability Degree-Optimal Control Systems of Aperiodic Objects
Authors: T. I. Cherepova, A. M. Shubladze
Venue: Automation and Remote Control (2004)

Stability degree-optimal solutions are found for the problem of control of aperiodic objects, the behavior of which is approximated by dynamic models that represent the series connection of inertial links and also an inertial time-delay link.
Four-step, two-stage, sixth-order, P-stable methods
Authors: M. Lambiris, Ch. Tsitouras, K. Evmorfopoulos
Venue: Proceedings of the international conference on Computational methods in sciences and engineering (2003)

An implicit four-step, sixth-order, P-stable method for initial value problem of the form y'' = f (x, y) is suggested. It is recommended for systems with stiff oscillatory solutions. Only two stages required per step, instead of three stage methods found until now in the literature.
Algebraic Topological Modeling for Cyberworld Design
Authors: Tosiyasu L. Kunii
Venue: Proceedings of the 2003 International Conference on Cyberworlds (2003)

The diversity of cyberworlds makes it hard to seeconsistency in terms of invariants. The consistencyrequires for us to abstract the most essentials out of thediversity, and hence the most abstract mathematics. Ithas been true in science in general, and in the theory ofuniverse in particular. What are the most essentialinvariants in modeling cyberworlds? A branch of themost abstract mathematics is topology. For topology tobe computable, it has to be algebraic. So, the searcheshave been for over two decades in algebraic topology forcyberworld invariants. Equivalence relations defineinvariants at various abstraction levels. The paper solelyserves as an initial summary of algebraic topologicalresources for studying cyberworlds starting from the veryelementary set theoretical level. High social impactapplication cases of e-financing and e-manufacturing arepresented at the end.
Subtitled interaction: complementary support as an alternative to localization
Authors: Giorgos Lepouras, George R. S. Weir
Venue: International Journal of Human-Computer Studies (2003)

Many computer users face problems in their interaction as a result of the native language employed by the application. The language of the application is often at variance with the native language of its users. This issue is frequently addressed through localization. In turn, localization generates a range of new problems. We propose an alternative to localization that is analogous to cinematic subtitles. This has the potential to reduce the user interaction defects that otherwise arise with localization whilst benefiting users through an additional channel of information in their own language. This paper outlines a prototype implementation and describes our initial evaluation of this approach. We suggest that our complementary 'subtitles' promise consistent support for all applications in the user's computing environment and yield a system that is expandable and much easier to maintain than pre-localized software.
Case study: visualization and data analysis in space and atmospheric science
Authors: A. Mankofsky, E. P. Szuszczewicz, P. Blanchard, C. Goodrich, D. McNabb, R. Kulkarni, D. Kamins
Venue: Proceedings of the conference on Visualization '94 (1994)

In this paper we show how SAVS, a tool for visualization and data analysis in space and atmospheric science, can be used to quickly and easily address problems that would previously have been far more laborious to solve. Based on the popular AVS package, SAVS presents the user with an environment tailored specifically for the physical scientist. Thus there is minimal "startup" time, and the scientist can immediately concentrate on his science problem. The SAVS concept readily generalizes to many other fields of science and engineering.
Chip Level Power Supply Partitioning for IDDQ Testing Using Built-In Current Sensors
Authors: Abhijit Prasad, D. M. H. Walker
Venue: Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (2003)

The International Technology Roadmap for Semiconductors projects that IDDQ levels will rise rapidly with each technology node. In addition, manufacturing variations in the IDDQ level will be difficult to control. The combination will make it increasingly difficult to distinguish defect-free from defective chips via IDDQ tests. Built-in current sensors (BICSs) have been proposed to increase test resolution by virtually partitioning the supply mesh, so that each partition has a relatively small defect-free IDDQ level. In the future such a scheme would require 100,000 or more BICSs and thus the partitioning task needs to be automated. This paper presents a practical methodology to do this power supply partitioning.
Power-Constrained Embedded Memory BIST Architecture
Authors: Bai Hong Fang, Nicola Nicolici
Venue: Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (2003)

A new flexible, hierarchical and distributed power-constrained embedded memory built-in self-test (BIST) architecture for complex and heterogeneous systems-on-a-chip (SOCs) is presented. The proposed architecture consists of a shared technology-independent BIST controller, low area and low power memory BIST wrappers and serial interconnect between them for low routing-overhead. Due to its .exibility, in addition to reducing routing complexity and achieving high test concurrency under power constraints, the presented solution can simultaneously support multiple test algorithms for heterogeneous memories, as well as embed custom test algorithms required for new memory faults.
Continuation of eigendecompositions
Authors: L. Dieci, A. Papini
Venue: Future Generation Computer Systems (2003)

In this work, we consider continuation of block eigendecompositions of a matrix valued function. We give new theoretical results on reduction to Hessenberg and bidiagonal forms, introduce and implement algorithms to continue eigendecompositions, and give numerical examples.
Outsourcing Public Sector Services to Electronic Commerce Players
Authors: Anna Sell, Erkki Patokorpi, Bill Anckar, Pirkko Walden
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 5 - Volume 5 (2004)

In December 2000, the municipal social service department of the city of Turku, Finland, outsourced its open care grocery shopping to an online grocery retailer. Prior to the implementation of the online service, the open care employees had taken care of grocery shopping for all those customers who were not able to do it themselves. The city officials expected that an outside e-commerce player would among other things bring time savings so that the open care service would be able to focus on the hard core of open care -- caring for the elderly and the disabled at home. This paper examines the expected and realised value from outsourcing from the viewpoint of the three main stakeholders: the customers, the employees and the management. The findings are based on employee and customer surveys as well as interviews with the open care management.
Primitive collineation groups of ovals with a fixed point
Authors: Arrigo Bonisoli, Gloria Rinaldi
Venue: European Journal of Combinatorics (2003)

We investigate collineation groups of a finite projective plane of odd order n fixing an oval and having two orbits on it, one of which is assumed to be primitive. The situation in which the group fixes a point off the oval is considered. We prove that it occurs in a Desarguesian plane if and only if (n + 1)/2 is an odd prime, the group lying in the normalizer of a Singer cycle of PGL(2, n) in this case. For an arbitrary plane we show that the group cannot contain Baer involutions and derive a number of structural and numerical properties in the case where the group has even order. The existence question for a non-Desarguesian example is addressed but remains unanswered, although such an example cannot have order n ≤ 23 as computer searches carried out with GAP show.
Knowledge Discovery through Visualising Using Virtual Reality
Authors: Greg Stephens, Meliha Handzic
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 8 - Volume 8 (2004)

Knowledge discovery and visualisation are important techniques for discovering and understanding patterns in large data sets. The study presents the development of a three dimensional virtual reality model that assists the user to visually explore structures and relationships in the collected data. The three dimensional model uses a combination of nodesand paths to represent objects/actors and the strength/direction of the measured characteristic. Virtual reality provides the mechanism for manipulation of the developed model in real-time. Specifically, we demonstrate the potential of this visual tool by having post-graduate students, organised into focus groups, engage in a knowledge discovery exercise with data collected in an academic work environment. The method adopted to convert the identified relationships into a virtual reality model is discussed, as well as some of the additional features that could be incorporated using such a method.
The GRITIKA Ontology for Modeling e-Service Applications: Formal Specification and Illustration
Authors: Hong Zhang, Rajiv Kishore, Raj Sharman, Ram Ramesh
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 3 - Volume 3 (2004)

In this paper we develop and discuss a special-purpose computational ontology (similar to the notion of conceptual grammar) termed GRITIKA (acronym for Goal, Role, Interaction, Task, Information, Knowledge, and Agent) for modeling e-services applications in the Multiagent-based Integrative Business Information Systems (MIBIS) universe. The foundation ontology is presented as a formal model using first order logic. A proof-of-concept illustration of the GRITIKA ontology for modeling e-service applications is also provided in the paper. The GRITIKA ontology embodies representation constructs and semantics specific to the MIBIS universe and we hope it will help in the analysis and design of e-services applications with a high degree of knowledge reuse.
User Satisfaction with System, Decision Process, and Outcome in GDSS Based Meeting: An Experimental Investigation
Authors: Souren Paul, Priya Seetharaman, K. Ramamurthy
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 1 - Volume 1 (2004)

Performance of groups using group decision support systems (GDSS) has been an issue debated over the last two decades. Yet, there is need for more focused research on subjective variables such as the satisfaction of team members with the experience of using a GDSS. This research focuses on different types of user satisfaction in GDSS based meetings: system satisfaction, process satisfaction, and outcome satisfaction; and explores interrelationships among them. The findings from a laboratory experiment demonstrate that group members' satisfaction with system impacts the satisfaction with decision process and outcome. Satisfaction with decision outcome is also influenced by satisfaction with decision making process. Another interesting set of findings is the relationships between performance of groups members engaged in GDSS based meetings and their satisfaction with system, process, and outcome. Decision time has negative effect on system satisfaction and positive effect on process satisfaction. Thoroughness of decision making has positive effect on outcome satisfaction. The findings of the research have major implications for planners and facilitators of GDSS based meetings.
From GEM back to Dirichlet via Hoppe's Urn
Authors: Ulrich Martin Hirth
Venue: Combinatorics, Probability and Computing (1997)

In generalisation of the beta law obtained under the GEM&#x002F;Poisson&ndash;Dirichlet distribution in Hirth [12] we undertake here an analogous construction which results in the Dirichlet law. Our proof makes use of Hoppe's P&oacute;lya-like urn model in population genetics.
Forwarding treatment preservation of differentiated services behaviour aggregate flows across heterogenous network domains by employing the symbiotic packet processing architecture
Authors: Istvan Matyasovszki, Colin Flanagan
Venue: Proceedings of the 1st international symposium on Information and communication technologies (2003)

This paper presents an alternative IP DSCP to MPLS DSCP mapping technique enabled by the use of symbiotic packets. MPLS interoperability and MPLS DiffServ scalability are the explanation for not choosing a much simpler solution (e.g. using the first 14 bits as a label and the next 6 for the DSCP). Evaluation of the method is carried out on an mpls-linux enabled testbed. Performance evaluation results show that the proposed extension enabled by symbiotic packets is a valuable add-on to the MPLS DiffServ architecture. A symbiotic packet is a packet that carries around encoded in its header status information or codewords. Symbiosis, meaning living together, i.e. the data packet's header and the encoded information 'live' together. As an application of the symbiotic packets, the paper presents a method for encoding DiffServ code points in MPLS labels.(Abstract)
Visual servoing for microrobotic platforms
Authors: Sergio J. Pérez-Mendoza, Víctor Ayala-Ramírez, Arturo Pérez-García, Raúl E. Sánchez-Yañez
Venue: Proceedings of the 14th International Conference on Electronics, Communications and Computers (2004)

A system capable of centering an object in the field ofview of a camera is introduced in this work. The centeringability is achieved through visual servoing techniques.Components of the system are a visual servocontroller,using a camera as the sensor, and an intelligent actuator.Such an actuator has the ability to make decisions relatedto the camera motion. These decisions are made accordingto the information extracted from the acquired images.Software implementing specific methods for thesetasks is used to save the acquired images into memory.This software enables the interface between the video deviceand the programming languages. The implementedsystem has the advantage of being able to be integrated tomobile robots, supplying them with the ability to interactwith the environment. Experimental tests have been donein order to evaluate the system response in real-time applications.Results are discussed in detail.
Change Management Implications for Network Organizations
Authors: Håkan Enquist, Johan Magnusson, Andreas Nilsson
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 1 - Volume 1 (2004)

The purpose of this paper is to investigate possible change management implications for networks organizations. This is achieved through applying six Critical Management Issues (CMI's) from the change management framework DELTA on a taxonomy consisting of three generic types of network organizations. The paper is built on an empirical base comprised of over 150 expert interviews and 121 questionnaire respondents. Questionnaire respondents and interviewed experts represent middle to top management of companies of all sizes involved in networks. The results show that the framework applied to the change management in the different networks highlights and addresses different management activities per CMI. Given this, we discuss the differences in managerial implications that the framework identifies for the different types of networks.
Approaches to creating interactivated spaces, from intimate to inhabited interfaces
Authors: Yolande Harris, Bert Bongers
Venue: Organised Sound (2002)

In contemporary music and arts practices the previously distinct roles of author, composer and performer have become increasingly conflated, catalysed by the use of computer technology. Newly combined roles of composer and performer that are assumed by one or more people or computer systems are identified and described, as well as actions including preparation, organisation and presentation. In this paper the interface is described as an &lsquo;interactivated space&rsquo; to encompass both the intimate scale of a performer manipulating the materials through an on-body interface, and the larger in-space interface where the work is shared with the performers and audience. Two examples of projects the authors are involved in are described, which form the basis for further discussion. The two interfaces that manifest themselves in the processes, the instrument and the score are discussed in more detail with a focus on their changed appearance and role.