ppxscal/embedding_network huggingface dataset:
A Property-Dependent Agent Transfer Protocol
Authors: Eimear Gallery, Aarthi Nagarajan, Vijay Varadharajan
Venue: Proceedings of the 2nd International Conference on Trusted Computing (2009)

This paper examines how a secure agent transfer protocol based upon TCG-defined mechanisms can be improved using property-based platform state information. In doing so, we demonstrate a practical implementation of property-based platform attestation using an enhanced version of the component property certificates defined in [16]. To illustrate our solution we provide examples of properties and component property certificates given a mobile aglet that is destined to execute on a group of devices, where the mobile aglet originator wishes to protect the confidentiality of the aglet code.
A convolution test equation for double delay integral equations
Authors: E. Messina, E. Russo, A. Vecchio
Venue: Journal of Computational and Applied Mathematics (2009)

In this paper we consider Volterra integral equations with two constant delays and we carry out the stability analysis of direct quadrature methods with respect to the linear convolution test equation y(t)=1+@!"t"-"@t"""2^t^-^@t^"^1(@l+@m(t-s))y(s)ds,t@?[@t"2,T]. We investigate the analytical behavior of the solution of the test equation and derive the qualitative and quantitative properties of the numerical solution. The numerical experiments show that the stability conditions obtained represent sufficient conditions for the stability of the numerical method applied to a more general equation.
The design of a query monitoring system
Authors: Chaitanya Mishra, Nick Koudas
Venue: ACM Transactions on Database Systems (TODS) (2009)

Query monitoring refers to the problem of observing and predicting various parameters related to the execution of a query in a database system. In addition to being a useful tool for database users and administrators, it can also serve as an information collection service for resource allocation and adaptive query processing techniques. In this article, we present a query monitoring system from the ground up, describing various new techniques for query monitoring, their implementation inside a real database system, and a novel interface that presents the observed and predicted information in an accessible manner. To enable this system, we introduce several lightweight online techniques for progressively estimating and refining the cardinality of different relational operators using information collected at query execution time. These include binary and multiway joins as well as typical grouping operations and combinations thereof. We describe the various algorithms used to efficiently implement estimators and present the results of an evaluation of a prototype implementation of our framework in an open-source data management system. Our results demonstrate the feasibility and practical utility of the approach presented herein.
Digital game-based learning (DGBL) model and development methodology for teaching history
Authors: Nor Azan Mat Zin, Wong Seng Yue, Azizah Jaafar
Venue: WSEAS Transactions on Computers (2009)

History subject plays a vital role in instilling the spirits of patriotism among the students; to nourish and instill love and loyalty to one's country and to be a true citizen. The lack of creativity in history teaching caused process effectively and interestingly especially among young learners. Digital Game Based Learning (DGBL) approach utilizes the game as a medium for conveying learning contents. There are many models for educational games development which combined the Instructional Design (ID) and game development process. However, there is still a conflict on how to merge ID and game development effectively. Therefore, we looked into the pedagogy and game design aspects. We then propose a DGBL model for History educational games design and a development methodology which combined the ID and game development process, named DGBL-ID model. The DGBL-ID model consists of five phases: analysis, design, development, quality assurance as well as implementation and evaluation.
Construction of high embankment dam material flow equilibrium system
Authors: Yan Zhang, Guo-Ping Xia
Venue: Expert Systems with Applications: An International Journal (2009)

As high embankment dam engineering is often large-scale, how to achieve equilibrium of material flow is a critical factor affecting the construction progress of embankment dam engineering and an important approach to save resource and reduce construction cost. The paper establishes a material flow equilibrium system (EDMFES) that is applicable to embankment dam engineering and has traffic network assistant analysis function and presents in detail the embankment dam static flow equilibrium model. The system is applied to a Chinese national key project and the outcome demonstrates that the system is applicable to various types of Chinese high embankment dam engineerings and can provide material equilibrium scheme in accordance with basic data and requirements of the project supplied by the user.
Applications of the PROPHET system in molecular pharmacology: structure-activity relationships in monoamine oxidase inhibitors
Authors: Carl L. Johnson
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

Understanding the molecular bases of drug action and drug-related phenomena in man and other animal species is a primary concern of the Department of Pharmacology, Mt. Sinai School of Medicine. Toward this end, a diverse array of laboratory and theoretical investigations involving a wealth of analytical and computational tools are in progress. This paper describes one of these areas of study, namely, structure-activity relationships in inhibitors of the enzyme monoamine oxidase, and illustrates how the PROPHET System is employed in the organization, manipulation, and analysis of research results.
Steganalysis of Enhanced BPCS Steganography Using the Hilbert-Huang Transform Based Sequential Analysis
Authors: Shunquan Tan, Jiwu Huang, Yun Q. Shi
Venue: Proceedings of the 6th International Workshop on Digital Watermarking (2008)

In this paper, we present a steganalytic method to attack the enhanced BPCS steganography (for short EBPCS) proposed by Niimi et al. The key element of the method is analysis of the bitplane-block complexity difference sequences between stego images and cover images based on Hilbert-Huang transform. The Hilbert transform based characteristic vectors are constructed via empirical mode decomposition of the sequences and the support vector machine classifier is used for classification. Experimental results have demonstrated effectiveness of the proposed steganalytic method in spatial domain images and JPEG2000 format images. According to our best knowledge, this method is the first successful attack of EBPCS and can be effectively used in spatial domain and frequency domain (especially DWT/JPEG2000) images.
Topological analysis of network attack vulnerability
Authors: Sushil Jajodia
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

This talk will discuss issues and methods for survivability of systems under malicious attacks. To protect from such attacks, it is necessary to take steps to prevent attacks from succeeding. At the same time, it is important to recognize that not all attacks can be averted at the outset; attacks that are successful to some degree must be recognized as unavoidable and comprehensive support for identifying and responding to attacks is required. In my talk, I will describe the recent research on attack graphs that represent known attack sequences attackers can use to penetrate computer networks. I will show how attack graphs can be used to compute actual sets of hardening measures that guarantee the safety of given critical resources. Attack graphs can also be used to correlate received alerts, hypothesize missing alerts, and predict future alerts, all at the same time. Thus, they offer a promising solution for administrators to monitor and predict the progress of an intrusion, and take appropriate countermeasures in a timely manner. 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
United-of-Channel-Contention Management in IEEE 802.11e Networks
Authors: Anbao Wang, Wenrong Jiang, Jian Chen
Venue: Proceedings of the 2009 International Conference on Networks Security, Wireless Communications and Trusted Computing - Volume 01 (2009)

The wide usage of IEEE 802.11 based wireless LANs have led to lots of interest in providing quality of service (QoS) guarantees in such networks. 802.11e is the QoS variant of the 802.11 family of protocols. But it has a twofold drawback. First, QoS requirements relevant to a given application are always fulfilled by the "statically" associated priority. Second, resource requests of the applications are not according to the variable traffic conditions of a distributed WLAN environment. This paper proposes a united channel contention algorithm in a host to improve resources shared among the active queues, aiming to improve the Use efficiency of the bandwidth and optimize the fairness among the different virtual queues of 802.11e. An experiment is performed to test and depict the improved achievement.
HiMiX: a computer based virtual chemical laboratory
Authors: Vladislav Trifonov, Nikolai Sukniarov, Siuzan Feimova
Venue: Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing (2008)

"Himix -- Chemical Laboratory" is a software model of a chemical laboratory, applicable to the field of education and suitable for personal use by everyone, who has interest in the chemistry subject. Its purpose is to present the interactions between the chemical elements, studied in the Bulgarian education system, in the most fascinating, interesting, realistic and easy way. Used in chemistry classes, especially in chemistry laboratory exercises, it will increase the of the students personal interest in the subject. When the program is used personally, it can be a wonderful assistant to everyone, who wants to enter the various and exciting world of chemistry.
WARPnet: clean slate research on deployed wireless networks
Authors: Siddharth Gupta, Chris Hunter, Patrick Murphy, Ashutosh Sabharwal
Venue: Proceedings of the tenth ACM international symposium on Mobile ad hoc networking and computing (2009)

In this demo we present the Wireless Open-Access Research Platform for Networks (WARPnet), a research testbed aimed at performing experiments at the network level. The platform is designed to support not only conventional research areas but also new modalities like cooperative coding and network coding. It is based on the Virtex-4 FPGA, which provides the resources to implement novel MIMO physical and MAC layer algorithms. Additionally, the platform adds an orthogonal wireless backdoor network that allows remote programming, control and monitoring of the nodes.
A survey of currently implemented Pascal extensions
Authors: T. N. Turba, S. H. Costello
Venue: Proceedings of the May 4-7, 1981, national computer conference (1981)

This document presents an overview of the more common and useful Pascal extensions that have been implemented to date. It describes, in general terms, the functionality introduced by these extensions and provides a rationale for the implementation of many of them. Examples are provided to give the reader a better idea of how each extension was implemented without going into great detail or formality in describing the syntax and semantics used by each implementation.
PaTac: Urban, Ubiquitous, Personalized Services for Citizens and Tourists
Authors: Luigi Ceccaroni, Victor Codina, Manel Palau, Marc Pous
Venue: Proceedings of the 2009 Third International Conference on Digital Society (2009)

This paper presents the general design of an architecture, based on software agents and oriented to the semantic Web, for the development and deployment of urban, ubiquitous services for citizens and tourist. The goal is to create a platform able to provide personalized services based on recommendation algorithms, and users' location, profile and preferences. The motivating scenario behind the design and development of these services is one in which citizens and tourists use mobile devices to interoperate confidently with the surrounding environment.
Distributed agents model for intrusion detection based on AIS
Authors: Jin Yang, XiaoJie Liu, Tao Li, Gang Liang, SunJun Liu
Venue: Knowledge-Based Systems (2009)

Artificial immune systems (AIS) is a complicated system with the ability of self-adapting, self-learning, self-organizing, parallel processing and distributed coordinating, and it also has the basic function to distinguish self and non-self and clean non-self. One significant feature of the theory immunology is the ability to adapt to changing environments and dynamically learning continuously. Inspired by the theory of artificial immune systems, a novel model of Agents of Network Danger Evaluation is presented. The concepts and formal definitions of immune cells are given, and dynamically evaluative equations for self, antigen, immune tolerance, mature-lymphocyte lifecycle and immune memory are presented, and the hierarchical and distributed management framework of the proposed model are built. Furthermore, the idea of dynamic immunological surveillance period is applied for enhancing the self-learning ability to adapt continuously variety environments. The experimental results show that the proposed model has the features of real-time processing that provide a good solution for network surveillance.
Why and why not explanations improve the intelligibility of context-aware intelligent systems
Authors: Brian Y. Lim, Anind K. Dey, Daniel Avrahami
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

Context-aware intelligent systems employ implicit inputs, and make decisions based on complex rules and machine learning models that are rarely clear to users. Such lack of system intelligibility can lead to loss of user trust, satisfaction and acceptance of these systems. However, automatically providing explanations about a system's decision process can help mitigate this problem. In this paper we present results from a controlled study with over 200 participants in which the effectiveness of different types of explanations was examined. Participants were shown examples of a system's operation along with various automatically generated explanations, and then tested on their understanding of the system. We show, for example, that explanations describing why the system behaved a certain way resulted in better understanding and stronger feelings of trust. Explanations describing why the system did not behave a certain way, resulted in lower understanding yet adequate performance. We discuss implications for the use of our findings in real-world context-aware applications.
Designing a smart-card-based face verification system: empirical investigation
Authors: Thirimachos Bourlai, Josef Kittler, Kieron Messer
Venue: Machine Vision and Applications (2009)

To design a smart card face verification system many key factors have to be considered. In this study we discuss the implementation of such a system and investigate the trade-off between performance and computational complexity. Two optimisation strategies are considered. The studies are performed on the XM2VTS, BANCA and FERET databases demonstrating that the judicial choice of spatial and grey level resolution as well as JPEG compression settings for face representation can optimise verification error. We show that the use of a fixed precision data type does not affect system performance very much but can speed up the verification process. Since the optimisation framework of such a system is very complicated, the search space is simplified by applying some heuristics to the problem. In the adopted suboptimal search strategy one or two parameters are optimised at a time. The system was evaluated using half total error rate (HTER) as the performance criterion. The conclusions reached on different databases indicate that the selection of the optimum parameters may call for different optimum operating points.
Brief paper: The strong stabilization of a one-dimensional wave equation by non-collocated dynamic boundary feedback control
Authors: Bao-Zhu Guo, Wei Guo
Venue: Automatica (Journal of IFAC) (2009)

The stabilization of a one-dimensional wave equation with non-collocated observation at its unstable free end and control at another end is considered. The controller comprises a state estimator which is designed in the case where the velocity is not available. The method of ''backstepping'' is adopted in our design of the feedback law. We use the theory of C"0-semigroups and Lyapunov functionals to prove the strong stability of the resulting closed-loop system.
Prediction of Sea Level Based on Wavelet Analysis and Gray Prediction
Authors: Shen Liang
Venue: Proceedings of the 2009 Second International Symposium on Intelligent Information Technology and Security Informatics (2009)

The tide gauge station at Key West city of America from 1969 to 2000 was used in order to predict the future of the sea level change in Key West city by means of the new data processing techniques of wavelets transform and time series analysis model. The long-range predicted estimates for the secular sea level rising in Key west for 2010s, 2020s, 2030s, 2040s and 2050s were also made.
Isomorphisms of hypergroups and of n-hypergroups with applications
Authors: V. Leoreanu-Fotea, P. Corsini
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2009)

We study some connections between hypergroups and n-hypergroups. For each of them we give examples which involve binary relations, lattices and hypergraphs. Finally, we study when two finite join spaces associated with lattices, defined on the same set, are isomorphic.
Development of an automatic sleep EEG analysis and staging system
Authors: M. W. Vannier, E. Othmer, S. Othmer, P. Fishman
Venue: Proceedings of the May 4-7, 1981, national computer conference (1981)

The application of computers to sleep staging has not replaced manual classification techniques because of the simplifying assumptions employed in the design of most systems. Tltese assumptions result in significant deviations from the results of automated analysis when compared to manual techniques applied to the broad spectrum of sleep electrophysiologic signals that may be observed.
Statistical Modeling and Analysis of Static Leakage and Dynamic Switching Power
Authors: Howard Chen, Scott Neely, Jinjun Xiong, Vladimir Zolotov, Chandu Visweswariah
Venue: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers (2009)

As the device size continues to shrink and circuit complexity continues to grow, power has become the limiting factor in today's microprocessor design. Since the power dissipation is a function of many variables with uncertainty, the most accurate representation of chip power or macro power is a statistical distribution subject to process and workload variation, instead of a single number for the average or worst-case power. Unlike statistical timing models that can be represented as a linear canonical form of Gaussian distributions, the exponential dependency of leakage power on process variables, as well as the complex relationship between switching power and workload fluctuations, present unique challenges in statistical power analysis. This paper presents a comprehensive case study on the statistical distribution of dynamic switching power and static leakage power to demonstrate the characterization and correlation methods for macro-level and chip-level power analysis.
Design of the CGAL 3D Spherical Kernel and application to arrangements of circles on a sphere
Authors: Pedro M. M. de Castro, Frédéric Cazals, Sébastien Loriot, Monique Teillaud
Venue: Computational Geometry: Theory and Applications (2009)

This paper presents a cgal kernel for algorithms manipulating 3D spheres, circles, and circular arcs. The paper makes three contributions. First, the mathematics underlying two non-trivial predicates are presented. Second, the design of the kernel concept is developed, and the connexion between the mathematics and this design is established. In particular, we show how two different frameworks can be combined: one for the general setting, and one dedicated to the case where all the objects handled lie on a reference sphere. Finally, an assessment about the efficacy of the 3D Spherical Kernel is made through the calculation of the exact arrangement of circles on a sphere. On average while computing arrangements with few degeneracies (on sample molecular models), it is shown that certifying the result incurs a modest factor of two with respect to calculations using a plain double arithmetic.
Fast Intra-Network and Cross-Layer Handover (FINCH) for WiMAX and Mobile Internet
Authors: Jui-Hung Yeh, Jyh-Cheng Chen, Prathima Agrawal
Venue: IEEE Transactions on Mobile Computing (2009)

To support fast and efficient handovers in mobile WiMAX, we propose Fast Intra-Network and Cross-layer Handover (FINCH) for intradomain (intra-CSN) mobility management. FINCH is a complementary protocol to Mobile IP (MIP), which deals with interdomain (inter-CSN) mobility management in mobile WiMAX. FINCH can reduce not only the handover latency but also the end-to-end latency for MIP. Paging extension for FINCH is also proposed to enhance the energy efficiency. The proposed FINCH is especially suitable for real-time services in frequent handover environment, which is important for future mobile WiMAX networks. In addition, FINCH is a generic protocol for other IEEE 802-series standards. This is especially beneficial for the integration of heterogeneous networks, for instance, the integration of WiMAX and WiFi networks. Both mathematical analysis and simulation are developed to analyze and compare the performance of FINCH with other protocols. The results show that FINCH can support fast and efficient link layer and intradomain handovers. The numerical results can also be used to select proper network configurations.
Dynamic reconfiguration approach for high speed turbo decoding using circular rings
Authors: Imran Ahmed, Cheran Vithanage
Venue: Proceedings of the 19th ACM Great Lakes symposium on VLSI (2009)

A static and dynamic reconfiguration method and apparatus that can be utilized for parallel turbo decoding is described. The methodology is based on the property of a class of polynomials that can provide contention free permutation. A new ring interconnect methodology is presented that can be used for quadratic permutation polynomial (QPP) based interleaved memory access. An efficient interleave-deinterleave mechanism using QPP interleaver is also presented for a new power driven reconfigurable solution. It consists of multiple SISO modules connected by a mix of dynamic and static reconfigurable interconnect with an efficient memory segmentation that matches the underlying reconfigurable fabric. The parallel blocks are controlled by a unified state machine mapped external to the reconfigurable fabric. The overall array is implemented on 90nm Toshiba standard cell library occupying an area of 11.11 mm2 with reconfigurable speeds of 7.8-131.28 Mb/sec and the corresponding power consumption of 53-762 mW.