ppxscal/embedding_network huggingface dataset:
Invariant-based automatic testing of AJAX user interfaces
Authors: Ali Mesbah, Arie van Deursen
Venue: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009)

AJAX-based Web 2.0 applications rely on stateful asynchronous client/server communication, and client-side runtime manipulation of the DOM tree. This not only makes them fundamentally different from traditional web applications, but also more error-prone and harder to test. We propose a method for testing AJAX applications automatically, based on a crawler to infer a flow graph for all (client-side) user interface states. We identify AJAX-specific faults that can occur in such states (related to DOM validity, error messages, discoverability, back-button compatibility, etc.) as well as DOM-tree invariants that can serve as oracle to detect such faults. We implemented our approach in ATUSA, a tool offering generic invariant checking components, a plugin-mechanism to add application-specific state validators, and generation of a test suite covering the paths obtained during crawling. We describe two case studies evaluating the fault revealing capabilities, scalability, required manual effort and level of automation of our approach.
On Interfacing with an Ubiquitous Robotic System
Authors: Donatella Guarino, Alessandro Saffiotti
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)

The emerging field of ubiquitous robotics presents new challenges for human-robot interface. In this note, we introduce the concept of a common interface point using an expression-based semantics as a way to address some of these challenges. We illustrate this concept in the framework of the PEIS-Ecology approach to ubiquitous robotics.
Beyond clustering of array expressions
Authors: Raja Loganantharaj
Venue: International Journal of Bioinformatics Research and Applications (2009)

Microarray technology provides an opportunity to view transcriptions at genomic level under different experimental conditions. Generally, co-expressed genes, which are members of the same cluster, are expected to have similar function, but unfortunately it is not true due to various reasons including co-expression does not necessarily imply co-regulation. To improve the results of clustering, we investigate a method based on singular value decomposition (SVD) for integrating diverse data sources. We also introduce a new cluster evaluation method based on mutual information. Using time series data sets on yeast, we have empirically demonstrated the effectiveness of SVD as a data integrator.
Transmission systems design --decisions, multi-criteria optimization in distributed environment
Authors: Jerzy Pokojski, Krzysztof Niedziółka
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

The paper presents the concept of an environment for computer support of transmission systems design equipped with the multi-criteria optimization module. The environment is limited to the class of structural problems typical for car transmission systems. The proposed architecture is based on object oriented model of multi-criteria optimization problem.
Pinnacle Studio 11 for Windows: Visual QuickStart Guide, 1st edition
Authors: Jan Ozer
Venue:  (2007)

Pinnacle Studio 11 is the latest version of the industry leading home video editing tool aimed at the Windows consumer market. In Pinnacle Studio 11 for Windows: Visual QuickStart Guide, veteran journalist and teacher Jan Ozer tackles Pinnacle Studio version 11 in classic and popular QuickStart style--with step-by-step instructions, plenty of illustrations, and straightforward language. Jan provides the skinny on all popular Studio 11 features like HD capture, editing and disc burning: Pinnacle Studio Plus edits native HDV or AVCHD footage and then authors HD DVD format discs that will play on the latest HD players; the new Scorefitter music generator which automatically generates soundtracks with 40 source tracks; new simplified web publishing features where users can now automatically post movies publicly on Yahoo! Videos and more. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
The New Computational and Data Sciences Undergraduate Program at George Mason University
Authors: Kirk Borne, John Wallin, Robert Weigel
Venue: Proceedings of the 9th International Conference on Computational Science (2009)

We describe the new undergraduate science degree program in Computational and Data Sciences (CDS) at George Mason University (Mason), which began offering courses for both major (B.S.) and minor degrees in Spring 2008. The overarching theme and goal of the program are to train the next-generation scientists in the tools and techniques of cyber-enabled science (e-Science) to prepare them to confront the emerging petascale challenges of data-intensive science. The Mason CDS program has a significantly stronger focus on data-oriented approaches to science than do most computational science and engineering programs. The program has been designed specifically to focus both on simulation (Computational Science) and on data-intensive applications (Data Science). New courses include Introduction to Computational Data Sciences, Scientific Data and Databases, Scientific Data Information Visualization, Scientific Data Mining, and Scientific Modeling Simulation. This is an interdisciplinary science program, drawing examples, classroom materials, and student activities from a broad range of physical and biological sciences. We will describe some of the motivations and early results from the program. More information is available at http://cds.gmu.edu/.
Active artifacts as bridges between context and community knowledge sources
Authors: Federico Cabitza, Carla Simone
Venue: Proceedings of the fourth international conference on Communities and technologies (2009)

The aim of the paper is twofold: i) understanding how to provide additional information that is reflective of current organizational context in knowledge production and use; ii) proposing an architectural solution that can be applied to this need. To this aim, we introduce the concept of Active Knowledge Artifact (KA), i.e., an electronically augmented (i.e., active) artifact that puts together the archival functions of artifacts belonging to organizational ISs with context- and content-aware functionalities to promote collaboration awareness and support knowledge management. Through a case study in the hospital domain, we illustrate an approach where documents are augmented with information intended to support context interpretation and evoke the knowledge that actors need to coordinate their actions in that context. The autonomous provision of Awareness Promoting Information (API) and Knowledge Evoking Information (KEI) by means of modular and reactive mechanisms embedded in each KA is what makes KAs active computationally.
Collaborative Ocean Resource Interoperability: Multi-use of Ocean Data on the Semantic Web
Authors: Feng (Barry) Tao, Jon Campbell, Maureen Pagnani, Gwyn Griffiths
Venue: Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications (2009)

Earth Observations (EO) collect various characteristics of the objective environment using sensors which often have different measuring, spatial and temporal coverage. Making individual observational data interoperable becomes equally important when viewed in the context of its expensive and time-consuming EO operations. Interoperability will improve reusability of existing observations in both the broader context, and with other observations. As a demonstration of the potential offered by semantic web technology, we have used the National Oceanography Centre Southampton's Ferrybox project (where suites of environmental sensors installed on commercial ships collect near real time data) to set up an ontology based reference model of a Collaborative Ocean, where relevant oceanographic resources, such as sensors and observations, can be semantically annotated by their stakeholders to produce RDF format metadata to facilitate data/resource interoperability in a distributed environment. We have also demonstrated an infrastructure where common semantic management activities are supported, including ontology management, semantic annotation, storage, and reuse (navigating, inference and query). Once the method and infrastructure are adopted by other related oceanographic projects to describe their resources and move their metadata onto the semantic web, it would be possible to see better interoperability within the Collaborative Ocean initiative to facilitate multiuse of ocean data, as well as making more EO data available on the semantic web.
Expert Tutoring and Natural Language Feedback in Intelligent Tutoring Systems
Authors: Xin Lu
Venue: Proceeding of the 2006 conference on Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding (2006)

This paper describes a comprehensive study of expert versus non-expert tutoring and a baseline intelligent tutoring system which provides different kinds of feedback. It proposes a method to computationally model expert tutoring and a framework of effective natural language feedback generation with 3-tier probabilistic planning.
Saving Energy in Wireless Sensor Networks Based on Echo State Networks
Authors: Ling Qin, Rongqiang Hu, Qi Zhang
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

Prolonged lifetime, robustness and scalability were important requirements in Wireless Sensor Networks (WSNs). We investigated the problem of energy-saving in Wireless Sensor Networks using Echo State Networks (ESN). In this research field, one key factor of the problems was how to save energy efficiently in battery-driven sensor nodes. We tried to present an approach addressing these difficulties based on ESN learning information of these sensors' history status when only the data was available. Echo State Networks utilized incremental updates driven by new sensor readings and massive short memory with history inputs, thus varying communication rates can help save energy. We evaluated this method against those traditional approaches to save energy, and observe that the quality of the overall operation was comparable to the approaches. Therefore, the ability of Echo State Networks to prolong lifetime during the sensor network operation made this approach more suitable and applicable.
Practically intelligent agents aiding human intelligence
Authors: Debbie Richards, Meredith Taylor, John Porte
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 (2009)

Practical intelligence is gained by doing. In this project we offer a technique which allows software agents and humans to learn by doing. The human trainer, that is the domain expert, directly interacts with the system to create new scenarios and learning experiences for the trainee. As they interact with the system, the system acquires knowledge from the trainer which can be transferred to the trainee. For this purpose, we employ a hybrid case and rule-based knowledge acquisition and representation technique known as Ripple Down Rules.
Automatic discovery of named entity variants: grammar-driven approaches to non-alphabetical transliterations
Authors: Chu-Ren Huang, Petr Šimon, Shu-Kai Hsieh
Venue: Proceedings of the 45th Annual Meeting of the ACL on Interactive Poster and Demonstration Sessions (2007)

Identification of transliterated names is a particularly difficult task of Named Entity Recognition (NER), especially in the Chinese context. Of all possible variations of transliterated named entities, the difference between PRC and Taiwan is the most prevalent and most challenging. In this paper, we introduce a novel approach to the automatic extraction of diverging transliterations of foreign named entities by bootstrapping co-occurrence statistics from tagged and segmented Chinese corpus. Preliminary experiment yields promising results and shows its potential in NLP applications.
A Preliminary Study on the Relaxation of Numeric Features in Planning
Authors: Antonio Garrido, Eva Onaindía, Donato Hernández
Venue: Proceeding of the 2005 conference on Artificial Intelligence Research and Development (2005)

Modern AI planners use different strategies to simplify the complexity of current planning problems and turn them more affordable. In this paper, we present a new approach that divides the planning search into two consecutive stages. First, a sequential plan is generated by relaxing the numeric features of actions, thus ignoring the scheduling part of the problem. Second, this plan is parallelised while the satisfaction of numeric constraints is guaranteed, thus including the scheduling part of the problem. In our experiments, we have studied/identified classes of problems where this division is more appropriate and effective w.r.t. the plan quality.
Exam Question Recommender System
Authors: Hicham Hage, Esma Aïmeur
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

Although E-learning has advanced considerably in the last decade, some of its aspects, such as E-testing, are still in the development phase. Authoring tools and test banks for E-tests are becoming an integral and indispensable part of E-learning platforms, and with the implementation of E-learning standards, such as IMS QTI, E-testing material can be easily shared and reased across various platforms. With this extensive E-testing material and knowledge comes a new challenge: searching for and selecting the most adequate information. In this paper we propose using recommendation techniques to help a teacher search for and select questions from a shared and centralized IMS QTI-compliant question bank. Our solution, the Exam Question Recommender System, uses a hybrid, feature-augmentation, recommendation approach. The recommender system uses Content-Based and Knowledge-Based recommendation techniques, resorting to the use of a new heuristic function. The system also engages in collecting both implicit and explicit feedback from the user in order to improve on future recommendations.
Assessing the perceived impact of computer-assisted instruction on physical therapy education
Authors: Patricia Obenauf
Venue:  (2002)

Computer Assisted Instruction (CAI) is becoming more common in allied health education. Research on CAI has provided mixed results. The purpose of this study was to compare uses of CAI in entry-level physical therapist (PT) and physical therapist assistant (PTA) programs. Secondary purposes included determining faculty attitudes toward CAI, determining how faculty select and evaluate CAI, and describing faculty perceptions of CAI and the computer-based licensing exam. Results indicate no significant differences in the amount of CAI in PT and PTA programs. Positive aspects reported include improved knowledge of technology and improved independence with information gathering. Negative aspects reported include cost and lack of time for integration. Respondents indicate that CAI can develop higher-level thinking skills when designed and integrated appropriately, however respondents agree that psychomotor skills should not be taught via CAI. Respondents were unsure whether high or low aptitude students benefit more from CAI, and they were unsure whether one type of learning style (auditory, visual, or kinesthetic) benefits more. Results indicate that programs do not have formal selection criteria, and evaluation procedures reported included student outcomes and course evaluations. Finally, 64% of PT and 56% of PTA respondents indicated CAI adequately prepares students for the licensing exam, and 34% of PT and 40% of PTA respondents indicated the computer-based licensing exam influenced their decision to integrate CAI. Six concepts describing participant's perceptions of CAI in physical therapy education emerged from qualitative data. They were: (1) CAI develops computer skills, (2) CAI is an instructional tool, (3) CAI improves communication, (4) CAI can provide factual learning, but the instructor must use the CAI so that higher-level skills are attained, (5) Instructors must consider the context before integrating CAI, and (6) CAI has limitations.
Verified Compilation and the B Method: A Proposal and a First Appraisal
Authors: Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros,  Júnior
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

This paper investigates the application of the B method beyond the classical algorithmic level provided by the B0 sub-language, and presents refinements of B models at a level of precision equivalent to assembly language. We claim and justify that this extension provides a more reliable software development process as it bypasses two of the less trustable steps in the application of the B method: code synthesis and compilation. The results presented in the paper have a value as a proof of concept and may be used as a basis to establish an agenda for the development of an approach to build verifying compilers [Hoare, C. A. R., The verifying compiler, a grand challenge for computing research, in: VMCAI, 2005, pp. 78-78] based on the B method.
OFDM Baseband Receiver Design for Wireless Communications
Authors: Tzi-Dar Chiueh, Pei-Yun Tsai
Venue:  (2007)

Orthogonal frequency-division multiplexing (OFDM) access schemes are becoming more prevalent among cellular and wireless broadband systems, accelerating the need for smaller, more energy efficient receiver solutions. Up to now the majority of OFDM texts have dealt with signal processing aspects. To address the current gap in OFDM integrated circuit (IC) instruction, Chiueh and Tsai have produced this timely text on baseband design. OFDM Baseband Receiver Design for Wireless Communications covers the gamut of OFDM technology, from theories and algorithms to architectures and circuits. Chiueh and Tsai give a concise yet comprehensive look at digital communications fundamentals before explaining modulation and signal processing algorithms in OFDM receivers. Moreover, the authors give detailed treatment of hardware issues -- from design methodology to physical IC implementation. Closes the gap between OFDM theory and implementation Enables the reader to transfer communication receiver concepts into hardware design wireless receivers with acceptable implementation loss achieve low-power designs Contains numerous figures to illustrate techniques Features concrete design examples of MC-CDMA systems and cognitive radio applications Presents theoretical discussions that focus on concepts rather than mathematical derivation Provides a much-needed single source of material from numerous papers Based on course materials for a class in digital communication IC design, this book is ideal for advanced undergraduate or post-graduate students from either VLSI design or signal processing backgrounds. New and experienced engineers in industry working on algorithms or hardware for wireless communications devices will also find this book to be a key reference.
Adobe Photoshop CS3 Extended for 3D and Video
Authors: Chad Perkins
Venue:  (2007)

Adobe Photoshop CS3 Extended can do things that Photoshop has never done before, such as importing and editing video, and animating any object in a file. Here is the first book to provide a comprehensive look at the new features for 3D animation and video in Photoshop Extended. Author Chad Perkins, an established video presenter and classroom instructor on Photoshop, video, and 3D, brings the creative potential of these new features into focus. This book is a valuable resource for Photoshop users who want to learn about video and 3D using their favorite application, as well as video producers and 3D artists who want to incorporate Photoshop into their work or use it more effectively. Learn to move, rotate, and scale 3D objects within Photoshop Extended Understand and work with lighting and camera angles Create special effects like glowing silhouettes and drop shadows on 3D objects Use layer masks with 3D objects for special effects Modify textures applied to 3D objects seamlessly within Photoshop Edit bump maps and patterns for more realistic 3D objects Import, edit, compress, and export video (with audio!) Use Photoshop to animate images. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Analyzing the tradeoffs between breakup and cloning in the context of organizational self-design
Authors: Sachin Kamboj
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 (2009)

Organizational Self-Design (OSD) has been proposed as an approach to constructing suitable organizations at runtime in which the agents are responsible for constructing their own organizational structures. OSD has also been shown to be especially suited for environments that are dynamic and semi-dynamic. Most existing OSD approaches work by changing the organizational structure in response to changes in the environment - usually by spawning a new agent when an agent is overloaded and composing agents when they are free. One approach to spawning involves "breaking" up a problem into smaller sub-problems and assigning one of the sub-problems to the newly spawned agent. An alternative approach works by "cloning" the source agent and assigning the clone agent a portion of the source's work load. We posit that both of these approaches are complementary, have their own advantages, and can be used together. In this paper we analyze the tradeoffs between cloning and breakup and generate a hybrid model that uses both cloning and breakup to generate more suitable organizations than those that could be generated when using a single approach.
`SNN3DViewer' - 3D Visualization Tool for Spiking Neural Network Analysis
Authors: Andrzej Kasiński, Juliusz Pawłowski, Filip Ponulak
Venue: Proceedings of the International Conference on Computer Vision and Graphics: Revised Papers (2008)

We present a specialized visualization system dedicated to support analysis of dynamical processes in large spiking neural networks. The key features of the considered system are: clarity of visual representation, easy accessibility of multiple views and parameters related to the network analysis, advanced and flexible GUI and the system interoperability. In this paper we focus specifically on the implementation issues related to the network 3D representation, design of the graphical objects, visualisation functions and system performance.