ppxscal/embedding_network huggingface dataset:
Towards automatic performance optimisation of componentised systems
Authors: Nicholas FitzRoy-Dale, Ihor Kuz
Venue: Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems (2009)

Use of hardware-based memory protection to implement a componentised system is an effective way to enforce isolation between untrusted software components. Unfortunately this type of system design can lead to poor performance. Manual optimisation is error-prone and difficult. Instead, we describe a system to perform automatic optimisation of components, relying on three major functional units: a method to reconfigure the component system, simulations of each component in order to determine performance characteristics, and a system simulator that makes use of those characteristics to construct a ranking of optimisations. We start with a simple model and iteratively expand it until it is suitable for a wide variety of performance-measurement scenarios, and show that a small amount of information provided with each component allows for a wide variety of optimisation checks, such as scheduling, threading, and cache performance. We present our initial results with this system and discuss a number of interesting extensions.
Quantifying the proportion of damaged sperm cells based on image analysis and neural networks
Authors: R. Alaiz-Rodríguez, E. Alegre-Gutiérrez, V. González-Castro, L. Sánchez
Venue: Proceedings of the 8th conference on Simulation, modelling and optimization (2008)

Insemination techniques in the veterinary field demand more objective methods to control the quality of sperm samples. In particular, different factors may damage a number of sperm cells that is difficult to predict in advance. This paper addresses the problem of quantifying the proportion of damaged/intact sperm cells in a given sample based on computer vision techniques and supervised learning. Unlike common supervised classification approaches, neither the individual example classification is important nor the class distribution assumed in learning can be considered stationary. To deal with this, an estimation process based on Posterior Probability estimates (PP), and known to increase the classifier accuracy under changes in class distributions, is assessed here for quantification purposes. It is compared with two approaches based on the classifier confusion matrix (Adjusted Count and Median Sweep) and the naive approach based on classifying and counting. Experimental results with boar sperm samples and back propagation neural networks show that the PP based quantification outperforms any of the previously considered approaches in terms of the Mean Absolute Error, Kullback Leibler divergence and Mean Relative Error. Moreover, in spite of an imperfect classification, the PP approach guarantees a uniform Mean Absolute Error (around 3%) for whatever combination of training and test class distributions, what is very promising in this practical field.
Internet, Mail, and Mixed-Mode Surveys: The Tailored Design Method, 3 edition
Authors: Don A. Dillman, Jolene D. Smyth, Leah Melani Christian
Venue:  (2008)

A complete, start-to-finish guide for every researcher to successfully plan and conduct Internet, mail, and telephone surveys, Internet, Mail, and Mixed-Mode Surveys: The Tailored Design Method, Third Edition presents a succinct review of survey research methods, equipping you to increase the validity and reliability, as well as response rates, of your surveys. Now thoroughly updated and revised with information about all aspects of survey research?grounded in the most current research?the new edition provides practical ?how-to? guidelines on optimally using the Internet, mail, and phone channels to your advantage.
Shape-based similarity K nearest neighbor query for trajectory of moving objects
Authors: Ying-yuan Xiao, Xiao-ye Wang, Fa-yu Wang
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

Trajectory data are widely used in location-dependent systems (e.g., traffic control systems, meteorology monitoring systems, mobile computing systems, etc.) For these application systems, to find similar trajectories of moving objects is an important and interesting issue. In this paper, a data model of trajectories based discrete grid cells is given, and the similarity between trajectories is defined as a new distance function. Furthermore, we propose an efficient algorithm for shape-based similarity k nearest neighbor query. Simulation experiments show the proposed query processing method has better performance than that of existent methods.
Continuous media playback and jitter control
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

Abstract: The purpose of this paper is to examine problems associated with display (playback) of live continuous media under varying conditions for an internetwork of workstations running a general purpose operating system such as Unix. Under the assumption that the network cannot guarantee the required bounds on delay and jitter, there is a need to accommodate the delay jitter in the end systems. Various methods of jitter smoothing at the end systems and their suitability to audio as well as video transmission are discussed. An experimental testbed used to investigate these problems is described. Some initial empirical results
Documenting the Progress of the System Development
Authors: Marta Pląska, Marina Waldén, Colin Snook
Venue: Methods, Models and Tools for Fault Tolerance (2009)

While UML gives an intuitive image of the system, formal methods provide the proof of its correctness. We can benefit from both aspects by combining UML and formal methods. Even for the combined method we need consistent and compact description of the changes made during the system development. In the development process certain design patterns can be applied. In this paper we introduce progress diagrams to document the design decisions and detailing of the system in successive refinement steps. A case study illustrates the use of the progress diagrams.
A perturbation-based estimate algorithm for parameters of coupled ordinary differential equations, applications from chemical reactions to metabolic dynamics
Authors: Keh-Dong Shiang
Venue: Computer Methods and Programs in Biomedicine (2009)

Conversion of complex phenomena in medicine, pharmaceutical and systems biology fields to a system of ordinary differential equations (ODEs) and identification of parameters from experimental data and theoretical model equations can be treated as a computational engine to arrive at the best solution for chemical reactions, biochemical metabolic and intracellular pathways. Particularly, to gain insight into the pathophysiology of diabetes's metabolism in our current clinical studies, glucose kinetics and insulin secretion can be assessed by the ODE model. Parameter estimation is usually performed by minimizing a cost function which quantifies the difference between theoretical model predictions and experimental measurements. This paper explores how the numerical method and iteration program are developed to search ODE's parameters using the perturbation method, instead of the Gauss-Newton or Levenberg-Marquardt method. Several interesting applications, including Lotka-Volterra chemical reaction system, Lorenz chaos, dynamics of tetracycline hydrochloride concentration, and Bergman's Minimal Model for glucose kinetics are illustrated.
Impacts of information system vulnerabilities on society
Authors: Lance J. Hoffman
Venue: Proceedings of the June 7-10, 1982, national computer conference (1982)

After briefly presenting examples of potential vulnerabilities in computer systems which society relies on, the concept of risk analysis is introduced and applied to a simplified model for a nation's financial system. A sampling of specific technical safeguards to ameliorate the risk in this (or any) computer system is then given. The paper concludes with examples of questions to be asked before committing to any new technological system.
Management and computers
Authors: John J. Donovan, Michael S. Scott Morton
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

As our society evolves into a more service-oriented society, the problems of management and processing information are increasing. The computer-based information system function has changed considerably in its 20-year history. Hardware and software have evolved significantly. Applications have been added in abundance. Methods of managing the technology, human resources, and system and user/computer interfaces have evolved, and most recently, the technological advances in the software for storing, retrieving, and manipulating data have made significant advances.
The Research and Realization of North-interface-based Multi-manufacturers Information Dynamic Acquisition
Authors: Sizu Hou, Hui Nan
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

This paper introduced the integrated resource management system, using the CORBA technology, the author also analyzed the TMF184 protocol. The adapter is designed to transfer the general protocol interface information into a private one. Therefore, the configuration data and alarm data can be send from multi-manufacturers network management center. Moreover, one electrical communication network can manage more than one manufacturer sub-class network management system simultaneously. Finally, some implementation methods about dispatching the network configuration data as well as the alarm information from a multi-manufacturers network management center are given in following chapters. These configuration data can be stored as the original data in the resource management system for further usages.
A study of the service quality of general portals
Authors: Chung-Tzer Liu, Timon C. Du, Hsiao-Hao Tsai
Venue: Information and Management (2009)

An Internet portal provides not only a linkage to Web sites but also an entry point to information services. To be successful, it needs to attract a large volume of visitors and consistently deliver a high level of service quality. However, we believe that the service quality of Internet portals, differentiated into business and general portals, should be measured by different instruments, as they are used for different purposes. We conducted two studies employing exploratory factor analysis and confirmatory factor analysis to identify an instrument to measure the service quality of general portals. The results indicated that the instrument is a four-factor model that includes adequacy of information, appearance, usability, and privacy and security. However, only the first two factors are significantly associated with customer satisfaction. Also, it was noted that Web page appearance was not significant for business portals but was for general portals.
A POI-Based RFID Reader Deployment and Associated Interference Effect
Authors: Donghun An, Hoongee Yang, Sunghyun Yang, Youngsoo Kim, Jonggwan Yook, Bongsoon Kang
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

This paper presents a simulation based method to predict the amount of frequency interference in a passive type RFID system. To judge occurrence of frequency interference, we use a parameter POI (probability of interference) that depends on several factors such as multiple access method, emission mask, the number of channel, etc. Due to its dependence on several factors, a Monte-carlo based simulation is suitably used. Through the simulation, we draw minimum separation distance between two readers and examine performance degradation due to aggregate interfering readers. Moreover, we present a reader deployment strategy based on the average POI of active readers operating in some area.
E-studium: blended e-learning for university education support
Authors: Emanuela Falcinelli, Candida Gori, Judit Jasso, Alfredo Milani, Simonetta Pallottelli
Venue: International Journal of Learning Technology (2009)

In the changing framework of education and training, the e-studium project proposes a dynamic and versatile education system, effectively managing the learning process and using Information and Communication Technologies (ICTs) to respond to the specific characteristics of a variety of different degree programmes and courses and, at the same time, to the individual needs of a wide audience of students disseminated throughout Italy. The organisation model adopted in e-studium is an integrated multiple instances e-learning system. At the kernel of e-studium is MetaLearn, a software integration component which connects the different information and authentication sources, such as the academic registrar (information about students) and faculties databases (data on lecturers and programmes) with the target multiple e-learning platforms. In the experiment the MetaLearn architecture has been implemented on top of a set of target Moodle Course Management System (CMS) instances, thus realising the blended e-learning approach. In this work the main architectural features of MetaLearn and the different phases of development and implementation of the e-studium project are presented. The results also include usage analysis and a discussion on the impact of the quality of teaching on students, and on the requirements posed on the academic members who participated in the project.
TinyTPM: A Novel Lightweight Key Agreement Scheme for Sensor Networks
Authors: Tieming Chen, Dujuan Yan, Sugang Bai
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

The security of Wireless Sensor Networks (WSN) has been widely concerned due to its special properties. This paper introduces a novel mutual learning neural network model, named Tree Parity Machine, for weight synchronization. Then a lightweight Tree Parity Machine-based key agreement scheme for sensor networks, named TinyTPM, is proposed. Using NesC programming language in TinyOS-based development environment, the design and implementation of a TinyTPM-based key agreement protocol are presented. At final, the run of such TinyTPM-based protocol is simulated with correct results.
Extending the lifetime of wireless sensor networks through mobile relays
Authors: Wei Wang, Vikram Srinivasan, Kee-Chaing Chua
Venue: IEEE/ACM Transactions on Networking (TON) (2008)

We investigate the benefits of a heterogeneous architecture for wireless sensor networks (WSNs) composed of a few resource rich mobile relay nodes and a large number of simple static nodes. The mobile relays have more energy than the static sensors. They can dynamically move around the network and help relieve sensors that are heavily burdened by high network traffic, thus extending the latter's lifetime. We first study the performance of a large dense network with one mobile relay and show that network lifetime improves over that of a purely static network by up to a factor of four. Also, the mobile relay needs to stay only within a two-hop radius of the sink. We then construct a joint mobility and routing algorithm which can yield a network lifetime close to the upper bound. The advantage of this algorithm is that it only requires a limited number of nodes in the network to be aware of the location of the mobile relay. Our simulation results show that one mobile relay can at least double the network lifetime in a randomly deployed WSN. By comparing the mobile relay approach with various static energy-provisioning methods, we demonstrate the importance of node mobility for resource provisioning in a WSN.
Large Scale Concept Detection in Video Using a Region Thesaurus
Authors: Evaggelos Spyrou, Giorgos Tolias, Yannis Avrithis
Venue: Proceedings of the 15th International Multimedia Modeling Conference on Advances in Multimedia Modeling (2009)

This paper presents an approach on high-level feature detection within video documents, using a Region Thesaurus. A video shot is represented by a single keyframe and MPEG-7 features are extracted locally, from coarse segmented regions. Then a clustering algorithm is applied on those extracted regions and a region thesaurus is constructed to facilitate the description of each keyframe at a higher level than the low-level descriptors but at a lower than the high-level concepts. A model vector representation is formed and several high-level concept detectors are appropriately trained using a global keyframe annotation. The proposed approach is thoroughly evaluated on the TRECVID 2007 development data for the detection of nine high level concepts, demonstrating sufficient performance on large data sets.
The inContext Pervasive Collaboration Services Architecture
Authors: Stephan Reiff-Marganiec, Hong-Linh Truong, Giovanni Casella, Christoph Dorn, Schahram Dustdar, Sarit Moretzky
Venue: Proceedings of the 1st European Conference on Towards a Service-Based Internet (2008)

Traditional collaborative work environments are often proprietary systems. However, the demands of todays e-worker are such that they use their own tools and services and collaborate across company boundaries making highly integrated solutions less feasible. Service oriented computing provides an obvious solution here, in providing mechanisms to loosely integrate many tools and services. In this paper, we present the inContext PCSA (Pervasive Collaboration Services Architecture), which is a reference architecture for building context aware collaborative systems that are based on service oriented techniques.
Application of hierarchical matrices for computing the Karhunen&#x2013;Lo&#x00e8;ve expansion
Authors: B. N. Khoromskij, A. Litvinenko, H. G. Matthies
Venue: Computing (2009)

Realistic mathematical models of physical processes contain uncertainties. These models are often described by stochastic differential equations (SDEs) or stochastic partial differential equations (SPDEs) with multiplicative noise. The uncertainties in the right-hand side or the coefficients are represented as random fields. To solve a given SPDE numerically one has to discretise the deterministic operator as well as the stochastic fields. The total dimension of the SPDE is the product of the dimensions of the deterministic part and the stochastic part. To approximate random fields with as few random variables as possible, but still retaining the essential information, the Karhunen&#x2013;Lo&#x00e8;ve expansion (KLE) becomes important. The KLE of a random field requires the solution of a large eigenvalue problem. Usually it is solved by a Krylov subspace method with a sparse matrix approximation. We demonstrate the use of sparse hierarchical matrix techniques for this. A log-linear computational cost of the matrix-vector product and a log-linear storage requirement yield an efficient and fast discretisation of the random fields presented.
The Indian neighbourhood user and designing for mobile internet
Authors: Karthikeya Acharya
Venue: Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology (2008)

With a population of over 1.1 billion people, India has an internet penetration of just 3% while mobile phone penetration is above 22% [7]. This paper looks at the potential of mobile internet for closing this gap. With nearly half the population of internet users using the cyber cafe as one of the platforms for accessing the internet, the study focuses on understanding internet usage by looking at the culture of internet use mainly through cyber cafes in various contexts of the Indian neighbourhood. The contexts as locations of the cyber cafes were chosen based on the socio cultural nature of the neighbourhood within the urban fabric. The study also looks into understanding internet non users who may be potential future users. The aim of the study was to arrive at a set of broad design guidelines for mobile internet through user research.
Physical Education Methods for Elementary Teachers: 70 Proven Lesson Plans with Free Web Access, 2nd edition
Authors: Katherine T. Thomas, Amelia M. Lee, Jerry R. Thomas
Venue:  (2007)

Help students gain the foundation of knowledge they need to teach physical education effectively. Teach future teachers how to address students individual needs while making physical education fun for everyone. Provide more than 60 proven, ready-to-use lesson plans to save teachers preparation time. Elementary school teachers are often called on to teach physical education, and this textbook is specially designed to prepare elementary education majors to meet this challenge effectively. Its also an excellent text for classes that combine physical education majors and nonmajors. Physical Education Methods for Elementary Teachers, Second Edition, has been thoroughly revised and updated by a team of veteran teachers who are respected authors in the field of physical education. Theyve included the following new content and helpful textbook features: Expanded ancillaries for course instructors More than 60 reproducible lesson plans that students can learn from in class and continue to draw on as they begin their teaching careers A handy lesson plan finder Sidebars with examples of how to put concepts into practice New mastery activities at the end of each chapter A glossary of key terms Authors Thomas, Lee, and Thomas write in an engaging style that is easily accessible to studentsno unexplained concepts or confusing jargon. They include all the essential information that future teachers need for implementing quality elementary physical education: Why successful physical education teaching is important to the mission of elementary schools Six aspects of child development that affect physical education instruction, including specific guidelines for addressing individual students needs How to plan the physical education curriculum, get and stay organized for teaching, and manage classes effectively Instructional techniques, methods of assessment, and ways to continue learning and refining your teaching methods Physical Education Methods for Elementary Teachers, Second Edition, explains how teachers can achieve positive, measurable elementary physical education outcomes based on national standards, even if theyre not physical education specialists. The text also provides future teachers with practical tools to help them achieve those outcomes in a way that makes physical education fun and relevant for every child.
A unified approach to online assistance
Authors: Nathan Relles, Norman K. Sondheimer, Giorgio Ingargiola
Venue: Proceedings of the May 4-7, 1981, national computer conference (1981)

Many interactive computer systems have some form of HELP or assistance commands. Effective online assistance requires a well-defined framework that addresses the needs of both the end-user and the assistance provider. This paper presents such a framework, whose generality and usefulness come from an application-independent assistance processor and a highly structured database of assistance information. Major considerations are (1) the types of assistance interactive users need, (2) the data structures and relationships required to provide comprehensive assistance, (3) software architectures that encourage and support effective forms of assistance, and (4) the programming effort required to include and maintain online assistance. To make online assistance effective and economically feasible, the paper proposes a way to integrate assistance into other phases of the software life cycle.