ppxscal/embedding_network huggingface dataset:
Dynamical Systems with Applications using Mathematica, 1st edition
Authors: Stephen Lynch
Venue:  (2007)

Dynamical Systems with Applications Using Mathematica provides an introduction to the theory of dynamical systems with the aid of the Mathematica computer algebra package. The book has a very hands-on approach and takes the reader from basic theory to recently published research material. Emphasized throughout are numerous applications to biology, chemical kinetics, economics, electronics, epidemiology, nonlinear optics, mechanics, population dynamics, and neural networks. Throughout the book, the author has focused on breadth of coverage rather than fine detail, with theorems and proofs being kept to a minimum. The first part of the book deals with continuous systems using ordinary differential equations, while the second part is devoted to the study of discrete dynamical systems. Exercises are included at the end of every chapter. Both textbooks and research papers are presented in the list of references. Working Mathematica notebooks will be available at http://library.wolfram.com/infocenter/Books/AppliedMathematics/. The book is intended for senior undergraduate and graduate students as well as working scientists in applied mathematics, the natural sciences, and engineering. The material is also accessible to readers with a general mathematical background. Many chapters of the book are especially useful as reference material for senior undergraduate independent project work. 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
Feedback-directed model-based gui test case generation
Authors: Atif M. Memon
Venue:  (2008)

Most of today's software users interact with the software through a graphical user interface (GUI), which is a representative of the broader class of event-driven software (EDS). As the correctness of the GUI is necessary to ensure the correctness of the overall software, its quality assurance (QA) is becoming increasingly important. During software testing, an important QA technique, test cases are created and executed on the software. For GUIs, test cases are modeled as sequences of user input events. Because each possible sequence of user events may potentially be a test case and because today&rsquo;s GUIs offer enormous flexibility to end users, in principle, GUI testing requires a prohibitively large number of test cases. Any practical test case generation technique must sample the vast GUI input space. Existing techniques are either extremely resource intensive or do not adequately model complex GUI behaviors, thereby limiting fault detection.This research develops new models, algorithms, and metrics for automated GUI test case generation. A novel aspect of this work is its use of software run-time information collected as feedback during GUI test case execution, and used to generate additional test cases that model complex GUI behaviors. One set of empirical studies show that the feedback-directed technique significantly improves upon existing techniques and helps to identify serious problems in fielded GUIs. Another set of studies conducted on in-house software applications show that the test suites generated by the new technique outperform their coverage equivalent counterparts in terms of fault detection.Although the focus of this work is on the GUI domain, the techniques developed are general and are applicable to the broader class of EDS. In fact, this work has already had an impact on research and practice of testing other EDS. In particular, the work has been extended by other researchers to test web applications.
A Parallel High-Order Discontinuous Galerkin Shallow Water Model
Authors: Claes Eskilsson, Yaakoub El-Khamra, David Rideout, Gabrielle Allen, Q. Jim Chen, Mayank Tyagi
Venue: Proceedings of the 9th International Conference on Computational Science: Part I (2009)

The depth-integrated shallow water equations are frequently used for simulating geophysical flows, such as storm-surges, tsunamis and river flooding. In this paper a parallel shallow water solver using an unstructured high-order discontinuous Galerkin method is presented. The spatial discretization of the model is based on the Nektar++ spectral/hp library and the model is numerically shown to exhibit the expected exponential convergence. The parallelism of the model has been achieved within the Cactus Framework. The model has so far been executed successfully on up to 128 cores and it is shown that both weak and strong scaling are largely independent of the spatial order of the scheme. Results are also presented for the wave flume interaction with five upright cylinders. 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
Database Systems: Design, Implementation, and Management, 8th edition
Authors: Peter Rob, Carlos Coronel
Venue:  (2007)

Database Systems: Design, Implementation, and Management, Eighth Edition, a market-leader for database texts, gives readers a solid foundation in practical database design and implementation. The book provides in-depth coverage of database design, demonstrating that the key to successful database implementation is in proper design of databases to fit within a larger strategic view of the data environment. Updates for the eighth edition include additional Unified Modeling Language coverage, expanded coverage of SQL Server functions, all-new business intelligence coverage, and added coverage of data security. With a strong hands-on component that includes real-world examples and exercises, this book will help students develop database design skills that have valuable and meaningful application in the real world.
Requirements Analysis & System Design, 3rd edition
Authors: Leszek A. Maciaszek
Venue:  (2007)

An examination of the methods and techniques used in the analysis and design phases of Information System development. Emphasis is placed upon the application of object technology in enterprise information systems (EIS) with UML being used throughout. Through its excellent balance of practical explanation and theoretical insight the book manages to avoid unnecessary, complicating details without sacrificing rigor. Examples of real-world scenarios are used throughout, giving the reader an understanding of what really goes on within the field of Software Engineering.
The Development of the IASv1 Internet Anxiety Scale
Authors: Kyoko Umeda, Mina Kurashiro, Tetsuro Ejima, Hironari Nozaki
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

The purpose of this paper is to develop an Internet Anxiety Scale (IASv1) by referring to the research of Presno and the computer anxiety scale, and to examine the differences between Internet anxiety and computer anxiety. IASv1 consists of the following four factors: “Internet reliability anxiety,” “Internet knowledge anxiety,” “Avoiding the Internet,” and “Internet search anxiety.” As for the relationship between IASv1 and the computer anxiety scale (ACAS), it can be said that IASv1 is roughly similar to ACAS. However, only “Internet reliability anxiety” was different from other factors, suggesting that the IASv1 is a necessary scale for early identification and intervention for students with Internet anxiety.
Habituation detection with Allen-Cahn boundary generation
Authors: Takamasa Koshizen, Motohri Kon, Carson Raynolds, Kazuyuki Aihara
Venue: International Journal of Advanced Intelligence Paradigms (2009)

We describe a new habituation system that makes use of Partial Differential Equations (PDEs) to deal with time-inconsistent patterns. With respect to our detection system, the Allen-Cahn (AC) equation is used to model a boundary which evolves over time. As a result, the AC could outperform the traditional techniques even real-world dataset. Thus, it leads to a boundary computation for robust detection system.
A New Approach for Surface Reconstruction Using Slices
Authors: Shamima Yasmin, Abdullah Zawawi Talib
Venue: Proceedings of the 9th International Conference on Computational Science (2009)

This paper describes a novel algorithm for surface reconstruction from slices. A number of slices are extracted from a given data oriented along any of the principal axes. Slices are projected onto the XZ plane and equal number of traversals takes place for each slice by a cut plane oriented along the X axis. As the cut plane traverses along each slice, cut points are extracted. To establish correspondence between two consecutive slices, firstly domain mapping takes place. Then a heuristic approach is taken which is based on the comparison of the number of occurrences of particular cut points between slices. Optimization is performed on the basis of minimal differences of the number of occurrences of particular cut points between consecutive slices. Although heuristic approach is not flawless, this algorithm is able to construct surface of fairly complex objects. The algorithm is dynamic enough as the number of slices and the number of traversals can be adjusted depending on the complexity of the object.
Proceedings of the 35th SIGMOD international conference on Management of data
Authors: Carsten Binnig, Benoit Dageville
Venue: International Conference on Management of Data (2009)

It is our great pleasure to welcome you to the 35th ACM SIGMOD Conference. This year's conference took place in beautiful Providence, capital of Rhode Island, the Ocean State, and home to renowned schools and top-flight chefs. SIGMOD 2009 continues its tradition as a premier forum for the presentation of research results, industry developments, tutorials, and demos in the general area of data management. In addition, SIGMOD 2009 hosts a variety of collocated workshops, the new researcher symposium, and the ACM SIGMOD programming contest which was held for the first time in 2009. The call for research papers attracted 430 submissions of which 397 were peer-reviewed. (30 submissions did not comply with SIGMOD's double-blind reviewing policy; a few submissions did not comply with the length constraints or were withdrawn by the authors.) Of the 397 reviewed submissions, 63 papers were accepted for presentation at the conference. Furthermore, five tutorials, eighteen industry papers, and thirty-two demos were invited for presentation. The conference highlights include two keynotes, one by Hasso Plattner and one by Martin Wattenberg and Fernanda Viegas. Furthermore, the conference features five additional invited talks in the areas of human-computer interaction and systems, and a special session to celebrate the 40 th anniversary of the invention of the relational data model.
What is learned from computer modeling? modeling modeling knowledge in an experimental study
Authors: Sylvia P. Van Borkulo, Wouter R. Van Joolingen, Elwin R. Savelsbergh
Venue: Proceedings of the 8th international conference on International conference for the learning sciences - Volume 3 (2008)

In this poster, we present an experiment in computer modeling that compares two rather contrasting conditions: traditional teaching and inquiry modeling. The modeling pre-and posttest operationalized the segments of a modeling knowledge framework. The experimental group of modelers performed significantly better than the traditional group on the complex items. Surprisingly, no differences were found for items about the creation of models. The implications for future research are discussed.
Barely sufficient software engineering: 10 practices to improve your CSE software
Authors: Michael A. Heroux, James M. Willenbring
Venue: Proceedings of the 2009 ICSE Workshop on Software Engineering for Computational Science and Engineering (2009)

Computational Science and Engineering (CSE) software is typically developed using research funding where the primary focus is research and development of advanced algorithms and modeling capabilities. As a result, formal software engineering is seldom a primary goal. CSE software developers intend to write good software, but often lack the training, resources or time to adopt advanced formal methods and practices. In this paper, we present a list of practices identified from the Trilinos project that we believe most CSE software teams can adopt and from which they can benefit.
Writing on the clean slate: Implementing a socially-aware protocol in Haggle
Authors: Mirco Musolesi, Pan Hui, Cecilia Mascolo, Jon Crowcroft
Venue: Proceedings of the 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (2008)

Developing protocols and applications for opportunistic networking can represent a daunting task given the many aspects that must be taken into consideration, such as intermittent connectivity, smart choice among multiple interfaces and intelligent data storage. The implementation of these protocols can be based on generic layer-less communication frameworks that provide programming abstractions for the extraction and analysis of social, colocation and mobility information and allows data exchange by means of heterogeneous devices. We propose Gently, a novel fully implemented solution which combines techniques of context awareness and social knowledge to concretely solve issues related to opportunistic forwarding. More precisely, Gently is born as the combination of the Context-aware Adaptive Routing (CAR) and the socially aware LABEL protocol. We discuss the implementation of our solution on top of the layer-less Haggle framework presenting the key design choices and the lessons learnt.
Local Construction of Spanners in the 3-D Space
Authors: Iyad A. Kanj, Ge Xia, Fenghui Zhang
Venue: Proceedings of the 5th IEEE International Conference on Distributed Computing in Sensor Systems (2009)

In this paper we present local distributed algorithms for constructing spanners in wireless sensor networks modeled as unit ball graphs (shortly UBGs) and quasi-unit ball graphs (shortly quasi-UBGs), in the 3-dimensional Euclidean space. Our first contribution is a local distributed algorithm that, given a UBG U and a parameter ¿ < ¿/3, constructs a sparse spanner of U with stretch factor 1/(1 ¿ 2sin(¿/2)), improving the previous upper bound of 1/(1 ¿ ¿) by Althöfer et al. which is applicable only when $\alpha . The second contribution of this paper is in presenting the first local distributed algorithm for the construction of bounded-degree lightweight spanners of UBGs and quasi-UBGs.The simulation results we obtained show that, empirically, the weight of the spanners, the stretch factor and locality of the algorithms, are much better than the theoretical upper bounds proved in this paper.
Securing Web Services: Practical Usage of Standards and Specifications
Authors: Panos Periorellis, Panos Periorellis
Venue:  (2007)

Web services are a business-driven technology, as they have arisen from a need for on-demand services and just-in-time integration to enable the rapid exploitation of market opportunities. Security challenges have accelerated alongside the rapid advances in this domain. The security requirement standards address a number of security and dependability issues. Securing Web Services: Practical Usage of Standards and Specifications collects a complete set of studies that address the security and dependability challenges of Web services and the development of protocols to meet those challenges. Encompassing a complete range of topics including specifications for message level security, transactions, and identity management, this Premier Reference Source enables libraries to provide researchers with an authoritative guide to one of the most challenging technological topics of our time.
How do you feel about "dancing queen"?: deriving mood & theme annotations from user tags
Authors: Kerstin Bischoff, Claudiu S. Firan, Wolfgang Nejdl, Raluca Paiu
Venue: Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries (2009)

Web 2.0 enables information sharing, collaboration among users and most notably supports active participation and creativity of the users. As a result, a huge amount of manually created metadata describing all kinds of resources is now available. Such semantically rich user generated annotations are especially valuable for digital libraries covering multimedia resources such as music, where these metadata enable retrieval relying not only on content-based (low level) features, but also on the textual descriptions represented by tags. However, if we analyze the annotations users generate for music tracks, we find them heavily biased towards genre. Previous work investigating the types of user provided annotations for music tracks showed that the types of tags which would be really beneficial for supporting retrieval - usage (theme) and opinion (mood) tags - are often neglected by users in the annotation rocess. In this paper we address exactly this problem: in order to support users in tagging and to fill these gaps in the tag space, we develop algorithms for recommending mood and theme annotations. Our methods exploit the available user annotations, the lyrics of music tracks, as well as combinations of both. We also compare the results for our recommended mood / theme annotations against genre and style recommendations - a much easier and already studied task. Besides evaluating against an expert (AllMusic.com) ground truth, we evaluate the quality of our recommended tags through a Facebook-based user study. Our results are very promising both in comparison to experts as well as users and provide interesting insights into possible extensions for music tagging systems to support music search.
Exchange rate prediction using hybrid neural networks and trading indicators
Authors: He Ni, Hujun Yin
Venue: Neurocomputing (2009)

This paper describes a hybrid model formed by a mixture of various regressive neural network models, such as temporal self-organising maps and support vector regressions, for modelling and prediction of foreign exchange rate time series. A selected set of influential trading indicators, including the moving average convergence/divergence and relative strength index, are also utilised in the proposed method. A genetic algorithm is applied to fuse all the information from the mixture regression models and the economical indicators. Experimental results and comparisons show that the proposed method outperforms the global modelling techniques such as generalised autoregressive conditional heteroscedasticity in terms of profit returns. A virtual trading system is built to examine the performance of the methods under study.
Keynote lecture I: digital video image quality and perceptual coding
Authors: K. R. Rao
Venue: Proceedings of the 2nd conference on European computing conference (2008)

Based on a human visual system (HVS) based approach, digital video image quality and perceptual coding (DVIQPC) outlines the principles, metrics an standards associated with perceptual coding as well as the latest techniques and applications. It discusses the latest developments in vision research as they relate to HVS based video and image coding. It discusses subjective and objective assessment methods, quantitative quality metrics including vision model based digital video impairment metrics, test criteria and procedures. It examines post-filtering and reconstruction issues associated with color bleeding, blocking, ringing and temporal fluctuation artifacts in detail along with methods to reduce/eliminate them. It also focuses on picture quality assessment criteria. It poses new challenges to vision research and/or how to transfer vision science to imaging and visual communication systems engineering. It also poses an obvious theoretical and practical challenge regarding the concept of psycho visual redundancy (also how to define this quantitatively) and to establish theoretical bound for perceptually lossless coding. When searching for future generation picture coding framework, the overall codec system design optimization should include pre-filtering/processing post processing and reconstruction techniques in a way similar to transform/predictive coding, loop-filtering, motion compensated prediction, HVS weighting, adaptive intra/inter modes entropy coding in the well established international standards such as the JPEG series ( still frame only), MPEG series and H.26x series as part of the equation. When perceptual coding systems are explored, display environment also needs to be considered. Operations such as pre-filtering, post-filtering, color format conversion, spatial/temporal/bit depth resolutions are intentionally outside the domain of these standards with the sole aim to encourage innovation and ingenuity. In selection and design of the next generation picture codec systems, an approach to overall encoding and decoding system optimization needs to be considered on order to achieve improved performance in the rate and perceptual distortion minimization sense. Although the goal of picture compression is to achieve rate driven minimization or quality driven optimization, most picture coders thus far including those developed by the standards organizations are rate driven and not quality driven if any. While the historical reasons for rate driven coder design are no longer valid such as constant bit-rate transmission, picture quality driven coder design rarely forms the main stream of research and development. For starters, establishing quantitative measures for perceptual picture quality is the first criterion. This can lead to design and optimization of quality driven picture coders. The keynote speech, basically, addresses these challenging issues.
Auto-detection of non-isolated pulmonary nodules in X-ray CT images
Authors: Noriyasu Homma, Satoshi Shimoyama, Masao Sakai, Tadashi Ishibashi, Makoto Yoshizawa
Venue: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases (2009)

In this paper, we develop an auto-detection method of non-isolated pulmonary nodules for computer-aided diagnosis (CAD) of lung cancers using X-ray CT images. An essential core of the method is to transform the non-isolated nodules connected to the walls of the chest into isolated ones that can be detected more easily by CAD systems developed previously. To this end, an active contour model is proposed to extract the lung area from the original CT image. The proposed model can solve the local optimum problem of the contour model by using anatomical features of the lung in X-ray CT slices. Some experimental results demonstrate the usefulness of the proposed method by using clinical CT images.