ppxscal/embedding_network huggingface dataset:
Design and Development of Monitoring Agents for Assisting Nasa Engineers with Shuttle Ground Processing
Authors: Glenn S. Semmel, Steven R. Davis, Kurt W. Leucht, Daniel A. Rowe, Kevin E. Smith, Ladislau Bölöni
Venue: Proceeding of the 2006 conference on Integrated Intelligent Systems for Engineering Design (2006)

The Engineering Development Directorate at NASA Kennedy Space Center has designed, developed, and deployed a rule-based agent to monitor the Space Shuttle's ground processing telemetry stream. The NASA Engineering Shuttle Telemetry Agent increases situational awareness for system and hardware engineers during ground processing of the Shuttle's subsystems. The agent provides autonomous monitoring of the telemetry stream and automatically alerts system engineers when user defined conditions are satisfied. Efficiency and safety are improved through increased automation. Sandia National Labs' Java Expert System Shell is employed as the agent's rule engine. The shell's predicate logic lends itself well to capturing the heuristics and specifying the engineering rules within this domain. The declarative paradigm of the rule-based agent yields a highly modular and scalable design spanning multiple subsystems of the Shuttle. Several hundred monitoring rules have been written thus far with corresponding notifications sent to Shuttle engineers. This chapter discusses the rule-based telemetry agent used for Space Shuttle ground processing. We present the problem domain along with design and development considerations such as information modeling, knowledge capture, and the deployment of the product. We also present ongoing work with other condition monitoring agents.
A Mapping Framework Based on Packing for Design Space Exploration of Heterogeneous MPSoCs
Authors: Bastian Ristau, Torsten Limberg, Gerhard Fettweis
Venue: Journal of Signal Processing Systems (2009)

The computational demand of signal processing algorithms is rising continuously. Heterogeneous embedded multiprocessor systems-on-chips are one solution to satisfy this demand. But to be able to take advantage of these systems, new strategies are required to map applications to such a system and to evaluate the systems performance at a very early design stage. We will present a framework for static, analytical, bottom-up temporal and spatial mapping of applications to MPSoCs based on packing. This mapping framework allows easy performance evaluation and design space exploration of heterogeneous systems on chip.
Semi-supervised learning of user-preferred travel schedules
Authors: Amrudin Agovic, Maria Gini, Arindam Banerjee
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 (2009)

We present a graph-based semi-supervised approach for learning user-preferred travel schedules. Assuming a setting in which a user provides a small number of labeled travel schedules, we classify schedules into desirable and non-desirable. This task is non-trivial since only a small number of labeled points is available. It is further complicated by the fact that each schedule is comprised of multiple components or aspects which are different in nature. For instance in our case arrival times are modeled by probability distributions to account for uncertainty, while other aspects such as waiting times are given by a feature vector. Each aspect can thought of as a different type of observation for the same schedule While existing label propagation approaches can exploit vast amounts of unlabeled data, they cannot handle multi-aspect data. We propose Multi-Aspect Label Propagation (MALP), a novel approach which extends label propagation to handle multiple types of observations.
Novel Computing Architectures
Authors: Volodymyr Kindratenko
Venue: Computing in Science and Engineering (2009)

We can make smaller transistors, but we have a hard time making them run faster. Yet, the demand for computing power is growing. This challenge has led to a renewed interest in novel computing architectures that can take advantage of shrinking transistor size and deliver the necessary application performance improvements.
Exploiting structure for event discovery using the MDI algorithm
Authors: Martina Naughton
Venue: Proceedings of the 45th Annual Meeting of the ACL: Student Research Workshop (2007)

Effectively identifying events in unstructured text is a very difficult task. This is largely due to the fact that an individual event can be expressed by several sentences. In this paper, we investigate the use of clustering methods for the task of grouping the text spans in a news article that refer to the same event. The key idea is to cluster the sentences, using a novel distance metric that exploits regularities in the sequential structure of events within a document. When this approach is compared to a simple bag of words baseline, a statistically significant increase in performance is observed.
Effects of agile methods on website quality for electronic commerce
Authors: Hasan H. Sayani
Venue:  (2007)

The purpose of this dissertation is to study the relationships between the use of agile methods to manage the development of Internet websites and website quality. An agile method is a new product development process that is often associated with the Internet software industry. Agile methods are characterized by factors of iterative development, customer feedback, well-structured teams, and flexibility. Use of agile methods may improve software quality by injecting customer feedback into a stream of working software versions to converge on a solution. Surveys of software professionals were used to help determine whether the use of agile methods improves the quality of Internet websites for the $2 trillion U.S. electronic commerce industry. The central contributions of this study include a literature review, conceptual model, survey instruments, measurement data, and data analysis for agile methods and Internet website quality. Additional contributions include a thorough discussion of the relationships between agile methods and website quality, the results of which may help U.S. managers better understand the effects agile methods. Our findings indicated iterative development and customer feedback were related to website quality, but well-structured teams and flexibility were not. Finally, we included a list of recommendations for researchers and scholars who may wish to study these relationships further. Keywords. Agile methods, iterative development, customer feedback, well-structured teams, flexibility, website quality.
The Vehicle Routing Problem with Real-Time Travel Times
Authors: Irena Okhrin, Knut Richter
Venue: Proceeding of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008 (2008)

In the paper we consider a vehicle routing problem with time windows and real-time travel time information. We assume the deployment of an information and communication system that is based on mobile technologies. It provides a real-time mobile connection between the dispatching centre and the drivers, allows localizing the vehicles on road, and gives the overview over the current traffic conditions. Therefore, we explicitly incorporate into our consideration the possibility to react to some dynamic events like traffic impediments and divert a vehicle away from its current destination. To solve the problem we develop a genetic algorithm and test its performance on the well-known benchmarks. The quality of the received solutions is between -6.48% and 2.08% with the average quality -1.5% compared to the best known published results. The negative values indicate that our solutions are better than the corresponding best known, i.e. in majority of cases we outperform them.
Comparing strategic intents for public-private partnerships, outsourcing and shared services
Authors: Anton Joha, Marijn Janssen
Venue: Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government (2009)

Public Private Partnerships (PPPs) have gained the interest of public administrations as a sourcing arrangement for pubic organizations. A PPP is funded and operated through a partnership of government and one or more private sector companies. The decision to initiate a PPP is risky and has longterm implications and as such a better understanding of the underlying strategic intents for introducing PPPs is necessary. In this research the strategic intents for PPPs for providing public ICT-services are investigated using three case studies. The cases are analyzed using a framework found in outsourcing literature by which the strategic intents for PPPs have been identified. The introduction of a PPP was not driven by a singular focus on one intent, instead it was driven by a series of different and often interrelated strategic intents. Second, because PPPs can be regarded as a specific kind of sourcing arrangement, the strategic intents for establishing a PPP have been compared with the strategic intents associated with shared service arrangements, which are completely public, and outsourcing arrangements, which can be viewed as private, as found in literature. This comparison should help decision-makers in making a tradeoff between PPPs and other sourcing arrangements.
Invariant Signatures of Closed Planar Curves
Authors: Emilio Musso, Lorenzo Nicolodi
Venue: Journal of Mathematical Imaging and Vision (2009)

We prove that any subset of ¿2 parametrized by a C 1 periodic function and its derivative is the Euclidean invariant signature of a closed planar curve. This solves a problem posed by Calabi et al. (Int. J. Comput. Vis. 26:107---135, 1998). Based on the proof of this result, we then develop some cautionary examples concerning the application of signature curves for object recognition and symmetry detection as proposed by Calabi et al.
An Upper-Level Ontology for Chemistry
Authors: Colin Batchelor
Venue: Proceeding of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) (2008)

Chemical entities are the foundation of biochemistry and biology, but until now there have been few coherent attempts to produce a top-level ontology for chemistry to connect ontological descriptions of reality at the molecular level, such as ChEBI, with upper-level ontologies such as BFO, or indeed familiar laboratory-scale concepts such as mixtures. We work out relationships between chemical types that are compatible with the OBO Relation Ontology, describe macroscopic chemical systems in terms of grains and collectives, and propose a top-level ontology for chemically-relevant continuants and discuss it in relation to BFO and BioTop.
Heterogeneous uncertainties in cholesterol management
Authors: Yakov Ben-Haim, Clifford C. Dacso, Jonathon Carrasco, Nithin Rajan
Venue: International Journal of Approximate Reasoning (2009)

Physicians use clinical guidelines to inform judgment about therapy. Clinical guidelines do not address three important uncertainties: (1) uncertain relevance of tested populations to the individual patient, (2) the patient's uncertain preferences among possible outcomes, and (3) uncertain subjective and financial costs of intervention. Unreliable probabilistic information is available for some of these uncertainties; no probabilities are available for others. The uncertainties are in the values of parameters and in the shapes of functions. We explore the usefulness of info-gap decision theory in patient-physician decision making in managing cholesterol level using clinical guidelines. Info-gap models of uncertainty provide versatile tools for quantifying diverse uncertainties. Info-gap theory provides two decision functions for evaluating alternative therapies. The robustness function assesses the confidence-in light of uncertainties-in attaining acceptable outcomes. The opportuneness function assesses the potential for better-than-anticipated outcomes. Both functions assist in forming preferences among alternatives. Hypothetical case studies demonstrate that decisions using the guidelines and based on best estimates of the expected utility are sometimes, but not always, consistent with robustness and opportuneness analyses. The info-gap analysis provides guidance when judgment suggests that a deviation from the guidelines would be productive. Finally, analysis of uncertainty can help resolve ambiguous situations.
Automatic creation of SQL Injection and cross-site scripting attacks
Authors: Adam Kieyzun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst
Venue: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009)

We present a technique for finding security vulnerabilities in Web applications. SQL Injection (SQLI) and cross-site scripting (XSS) attacks are widespread forms of attack in which the attacker crafts the input to the application to access or modify user data and execute malicious code. In the most serious attacks (called second-order, or persistent, XSS), an attacker can corrupt a database so as to cause subsequent users to execute malicious code.
Interoperable cross media content and DRM for multichannel distribution
Authors: Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai, Paolo Vaccari
Venue: Proceeding of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies (2007)

Business and final users are becoming more and more interested in using complex interactive cross media digital content that can be used on different devices from different distribution channels. Furthermore, the present situation provides the usage of different digital rights management, DRM, solutions on different devices and channels. The proposed solution allows to provide interoperable content that can be both used on different devices and managed by different DRM solutions. The paper presents the related results produced by AXMEDIS IST FP6a researchdevelopment integrated project (Automating Production of Cross Media Content for Multi-channel Distribution) partially funded by the European Commission. The focus is on the automated content production of interoperable cross media content with multiple DRM. This allows the management of multichannel solutions: PC (on the internet), PDA, kiosk, mobile phones and interactive TV.
End-User Development for task management: Survey of attitudes and practices
Authors: Nikolay Mehandjiev, Todor Stoitsev, Olaf Grebner, Stefan Scheidl, Uwe Riss
Venue: Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (2008)

The willingness of non-programmers to develop or modify their software depends not only on using the right interfaces and programming model but also on users making positive judgment about the balance of benefits and costs such as learning time and errors. This paper reports on a questionnaire-based survey which charts this economic dimension of End-User Development (EUD) within the area of task management. The survey explores the extent of EUD practices, gauges end user’s perceptions of EUD risks, benefits and proposed supporting actions, and identifies factors which facilitate EUD practices.
Testing the Effectiveness of the Leopard Tutor under Experimental Conditions
Authors: Ray Kemp, Elisabeth Todd, Rosemary Krsinich
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

The Leopard Tutor is a piece of software that has been developed to help students learn OO programming. In order to test its effectiveness we ran a course for novice programmers on Java. The participants had a similar background, with little or no knowledge of the language. Half the group used the Leopard Tutor to help them understand the basic concepts and the other half were taught in a traditional manner. In a four hour test administered at the end of the course, the group who had used the Leopard Tutor performed significantly better than the control group.
A Compliance Model of Trust
Authors: Guido Governatori, Subhasis Thakur, Duy Hoang Pham
Venue: Proceeding of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference (2008)

We present a model of past interaction trust model based on compliance of expected behaviours.
Memory State Feedback Stabilization for Time-Varying Delayed Neural Networks Systems
Authors: Aijun Zhou, Guang Ren, Shubo Liu, Yuan Zhang
Venue: Proceedings of the 6th International Symposium on Neural Networks on Advances in Neural Networks (2009)

In order to improve speed of dynamic response, this paper studied the memory state feedback stabilization for time-varying delayed neural networks systems. By using the second method of Lyapunov, the state feedback controller is given to ensure that the system is asymptotically stable. The related theories are expressed in terms of linear matrix inequalities (LMIs). An example is given to illustrate the effectiveness of the proposed criterion. The simulation results show that this method has excellent control effect.
Real Time Advice System for Sketch Learning
Authors: Hirotaka Maeno, Tomohiro Iwaki, Masato Soga, Noriyuki Matsuda, Saeko Takagi, Hirokazu Taki, Fujiichi Yoshimoto
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)

We are developing a sketch learning support system that advises the way of modification to learners on their way in drawing a sketch. It is important to draw motif as it is when we draw a sketch. It is difficult for novice learners to grasp the form of motif or relation of position because they don't know the features they should focus on or take notice. Therefore, novice learners need some advice for sketch learning. We are developing sketch learning support system that advises the way of modification to learners on their way in drawing sketch. The advice system consists of area-dependent advice system and hand & arm motion advice system. Area-dependent advice system offers advice according to the way of drawing a figure when learners begin to draw the figure. Hand & arm motion advice system offers advice according to the way of moving hand & arms and modification method on their way in drawing sketch. We expect high learning effect with these real time advice systems.
Sup-interpretations, a semantic method for static analysis of program resources
Authors: Jean-Yves Marion, Romain Péchoux
Venue: ACM Transactions on Computational Logic (TOCL) (2009)

The sup-interpretation method is proposed as a new tool to control memory resources of first order functional programs with pattern matching by static analysis. It has been introduced in order to increase the intensionality, that is the number of captured algorithms, of a previous method, the quasi-interpretations. Basically, a sup-interpretation provides an upper bound on the size of function outputs. A criterion, which can be applied to terminating as well as nonterminating programs, is developed in order to bound the stack frame size polynomially. Since this work is related to quasi-interpretation, dependency pairs, and size-change principle methods, we compare these notions obtaining several results. The first result is that, given any program, we have heuristics for finding a sup-interpretation when we consider polynomials of bounded degree. Another result consists in the characterizations of the sets of functions computable in polynomial time and in polynomial space. A last result consists in applications of sup-interpretations to the dependency pair and the size-change principle methods.
Information and Communication Technologies in the Context of Globalization: Evidence from developing countries
Authors: Kaushalesh Lal, Lal Kaushalesh
Venue:  (2007)

This book focuses on the adoption of new technologies led by information and communication technologies by SMEs in developing countries. It identifies several factors that augment competitiveness of firms in the era of globalization. Contrary to the general belief, these factors are not uniform across developing world. Based on the empirical evidence from firms located in Malaysia, India, Nigeria, Jamaica, and Costa Rica, the study concludes that firms cannot remain competitive without institutional support. Since firms operate in different institutional and economic environment, form of support varies from one country to another.
Bridging the Gap between Informal and Formal Guideline Representations
Authors: Andreas Seyfang, Silvia Miksch, Mar Marcos, Jolanda Wittenberg, Cristina Polo-Conde, Kitty Rosenbrand
Venue: Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy (2006)

Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables and figures. Transforming them into a formal, computer-processable representation is a difficult task requiring both computer scientist skills and medical knowledge. To bridge this gap, we designed an intermediate representation (or ontology) which serves as a mediator between the original text and different formal guideline representations. It is easier to use than the latter, structures the original prose and helps to spot missing information and contradictions. In this paper we describe the representation and a practical evaluation thereof through the modelling of a real-world clinical guideline.
Comparative analysis of tactile sensitivity between blind, deaf and unimpaired people
Authors: Ilton L. Barbacena, Ana Carolina Oliveira Lima, Alessio T. Barros, Raimundo C. S. Freire, Jose R. Pereira
Venue: International Journal of Advanced Media and Communication (2009)

This paper presents the methodological procedures and the results of a tactile sensitivity analysis to vibrotactile stimuli. The results were obtained through the analyses between the rightness mean while identifying the target frequency, among the following characteristics: visually and hearing impaired people as well as unimpaired ones; visually and hearing impaired men and women and unimpaired ones; visually and hearing impaired children, teenagers and adults as well as unimpaired ones; visually and hearing impaired people with congenital and acquired deficiency. This is an expanded version of a paper presented at the 3rd IEEE International Workshop on Medical Measurements and Applications, 9 10 May 2008, Ottawa, ON, Canada.
Personalising information assets in collaborative learning environments
Authors: Ernest Ong, Ai-Hwa Tay, Chin-Kok Ong, Siong-Kong Chan
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

The volume of information in collaborative learning environments can be daunting. Towards the objective of providing the learner efficient access to knowledge by applying knowledge management practices, we posit the use of topic maps, an ISO standard for structuring and indexing information, to support knowledge organisation (KO). We suggest how KO and Bayesian techniques can support collaborative learning to enable more efficient organisation of and access to knowledge artifacts arising from collaborative interactions. To test these ideas, we implemented a prototype called Adaptive Recommendation Module (ARM) for use within our production information portal Knowledge@Work.