ppxscal/embedding_network huggingface dataset:
Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels
Authors: Hans Löhr, Ahmad-Reza Sadeghi, Christian Stüble, Marion Weber, Marcel Winandy
Venue: Proceedings of the 2nd International Conference on Trusted Computing (2009)

This paper presents a Common Criteria protection profile for high assurance security kernels (HASK-PP) based on the results and experiences of several (international) projects on design and implementation of trustworthy platforms. Our HASK-PP was motivated by the fact that currently no protection profile is available that appropriately covers trusted computing features such as trusted boot, sealing, and trusted channels (secure channels with inherent attestation).In particular, we show how trusted computing features are modeled in the HASK protection profile without depending on any concrete implementation for these features. Instead, this is left to the definition of the security targets of a an IT product which claims conformance to the HASK-PP. Our HASK protection profile was evaluated and certified at evaluation assurance level five (EAL5) by the German Federal Office for Information Security (BSI).
Impulse sensitivity function analysis of periodic circuits
Authors: Jaeha Kim, Brian S. Leibowitz, Metha Jeeradit
Venue: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design (2008)

This paper describes an efficient method to characterize the impulse sensitivity function (ISF) of a periodic circuit via periodic AC (PAC) analysis. The paper extends the application of ISF from oscillators to other periodic circuits including flip-flops, latches, clocked comparators, and regenerative amplifiers, in order to characterize their important characteristics such as set-up and hold times, regeneration gain, metastability probability, and sampling aperture/bandwidth. Recognizing that the generalized ISF is a subset of a time-varying impulse response, the ISF is efficiently computed based on periodic time-varying system analysis techniques. Compared to the previous ISF characterization method based on transient simulations, a speedup of ~5x is achieved.
Blizzard Entertainment&reg;'s StarCraft&reg; II announcement teaser
Authors: Shon Damron
Venue: ACM SIGGRAPH ASIA 2008 computer animation festival (2008)

Blizzard Entertainment&reg;'s "Building a Better Marine" teaser debuted in Seoul, South Korea, to a stadium of 17,000 ecstatic Blizzard gamers as part of the initial announcement that StarCraft&reg; II was in development. The company decided that there would be no better way to make this announcement than with a full CG short developed by the Blizzard Entertainment film department.
Control system for cogenerative power plants
Authors: Florin Hartescu
Venue: Proceedings of the 8th conference on Applied informatics and communications (2008)

The paper presents a distributed control system for the realization of cogenerative supply of electricity and heat and, in given case, for their combination with waste heat recovery, particularly in combined (gas-steam) cycle industrial power plants. Modern electric power plants are large complex systems with many processes whose operations need to be optimized. The electrical networks are designed for transmission, repartition and distribution of electrical energy, so that they present various structures. An optimization problem is usually a mathematical model, where we wish to minimize a numerical value that represents something like costs, energy losses, risks, errors etc or maximize something like profit, quality, efficiency. Today all the systems that manage the security are characterized by the complexity of their major functions like identification, authentication, access control and data protection. The implementation of these functions is usually and objectively based on a trusted model that uses a trusted architecture, which is the platform of the security architectures.
Class E and class D-1GaN HEMT switched-mode power amplifiers
Authors: J. A. García, R. Merlín, M. Fernández, B. Bedia, L. Cabria, R. Marante, T. M. Martín-Guerrero
Venue: Proceedings of the 8th conference on Simulation, modelling and optimization (2008)

This paper deals with the design of transmission line class E and class D-1 GaN HEMT power amplifiers (PAs) to be used in polar transmitters. The Vdd-to-AM and Vdd-to-PM characteristics have been measured, being the observed nonlinearities related to device parameters. Measured results under a two-tone excitation support the need for predistorting functions.
Modeling and simulation of multinational intra-theatre logistics distribution
Authors: Ahmed Ghanmi, Gregory B. Campbell, Thomas A. Gibbons
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Multinational logistics cooperation is essential for reducing the collective logistics footprint, optimizing resource usage and enhancing interoperability in military operations. In this paper, a Multinational Intra-Theatre Distribution (MN ITD) concept for alliance or coalition operations is examined. MN ITD considers the creation of a MN logistics distribution centre that combines elements of the nations' stovepipes into a single system to improve multinational logistics distribution in a theatre of operation. A discrete event simulation framework has been developed to assess the MN ITD time responsiveness. The MN ITD performance is assessed and compared against the current Canadian Forces distribution system. The study indicates that a MN ITD system would potentially reduce response times for intra-theatre distribution.
An information pipeline model of human-robot interaction
Authors: Kevin Gold
Venue: Proceedings of the 4th ACM/IEEE international conference on Human robot interaction (2009)

This paper investigates the potential usefulness of viewing the system of human, robot, and environment as an "information pipeline" from environment to user and back again. Information theory provides tools for analyzing and maximizing the information rate of each stage of this pipeline, and could thus encompass several common HRI goals: "situational awareness," which can be seen as maximizing the information content of the human's model of the situation; efficient robotic control, which can be seen as finding a good codebook and high throughput for the Human-Robot channel; and artificial intelligence, which can be assessed by how much it reduces the traffic on all four channels. Analysis of the information content of the four channels suggests that human to robot communication tends to be the bottleneck, suggesting the need for greater onboard intelligence and a command interface that can adapt to the situation.
Balancing type one and two errors in multiple testing for differential expression of genes
Authors: Alexander Gordon, Linlin Chen, Galina Glazko, Andrei Yakovlev
Venue: Computational Statistics Data Analysis (2009)

A new procedure is proposed to balance type I and II errors in significance testing for differential expression of individual genes. Suppose that a collection, F"k, of k lists of selected genes is available, each of them approximating by their content the true set of differentially expressed genes. For example, such sets can be generated by a subsampling counterpart of the delete-d-jackknife method controlling the per-comparison error rate for each subsample. A final list of candidate genes, denoted by S^*, is composed in such a way that its contents be closest in some sense to all the sets thus generated. To measure ''closeness'' of gene lists, we introduce an asymmetric distance between sets with its asymmetry arising from a generally unequal assignment of the relative costs of type I and type II errors committed in the course of gene selection. The optimal set S^* is defined as a minimizer of the average asymmetric distance from an arbitrary set S to all sets in the collection F"k. The minimization problem can be solved explicitly, leading to a frequency criterion for the inclusion of each gene in the final set. The proposed method is tested by resampling from real microarray gene expression data with artificially introduced shifts in expression levels of pre-defined genes, thereby mimicking their differential expression.
Personalized 3D Caricature Generation Based on PCA Subspace
Authors: Xingyu Gao, Yiqiang Chen, Junfa Liu, Jingye Zhou
Venue: Proceedings of the 9th Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing (2008)

3D caricature generation is becoming a more interesting and challenging research topic. This paper presents personalized 3D caricature generation using PCA (Principal Component Analysis) for each 3D caricature component. First, we construct a 3D caricature dataset manually, and then we construct 3D caricature components datasets according to the defined attribute for each component. Next, PCA is employed to create each subspace for each 3D caricature component, and diverse vivid caricature component is generated by interactive mode. Finally, the generated caricature components are combined into 3D caricature based on the 3D true face. Our approach is very convenient and efficient to generate different kinds of 3D caricature by personalized thought, for example, a user just needs to drag the sliders for each principal component of the 3D caricature component.
Effects of feedback and peer pressure on contributions to enterprise social media
Authors: Michael J. Brzozowski, Thomas Sandholm, Tad Hogg
Venue: Proceedings of the ACM 2009 international conference on Supporting group work (2009)

Increasingly, large organizations are experimenting with internal social media (e.g., blogs, forums) as a platform for widespread distributed collaboration. Contributions to their counterparts outside the organization's firewall are driven by attention from strangers, in addition to sharing among friends. However, employees in a workplace under time pressures may be reluctant to participate and the audience for their contributions is comparatively smaller. Participation rates also vary widely from group to group. So what influences people to contribute in this environment? In this paper, we present the results of a year-long empirical study of internal social media participation at a large technology company, and analyze the impact attention, feedback, and managers' and coworkers' participation have on employees' behavior. We find feedback in the form of posted comments is highly correlated with a user's subsequent participation. Recent manager and coworker activity relate to users initiating or resuming participation in social media. These findings extend, to an aggregate level, the results from prior interviews about blogging at the company and offer design and policy implications for organizations seeking to encourage social media adoption.
The Development of Road Lighting Intelligent Control System Based on Wireless Network Control
Authors: Long Li, Xiumin Chu, Yong Wu, Qing Wu
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

Along with the development of science and technology, information technologies have been used in many fields. Energy problem is a social focus nowadays. Energy-saving and environmental protection is the policy of China. According to our national conditions, road lighting system of our country is still emerging technologies. In this paper, to reach the purpose of energy saving, it introduces an information method to deal with the problem of road lighting. The road lighting intelligent control system is based on wireless network control that can implement real-time monitoring for road lighting, intelligent work without manual intervention. It also can save the energy and work efficiently. This paper discusses the design method of road lighting intelligent control system, which was built up by wireless personal network technology, GPRS, microprocessor and host computers, and researched on the system including the structure, key technologies, software design and encryption. At last, future research plans are given.
An ABC Supported QoS Multicast Routing Scheme Based on Ant Algorithm
Authors: Xingwei Wang, Rongzhu Zou, Min Huang
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

In this paper, a QoS multicast routing scheme with ABC (Always Best Connected) supported is proposed based on the ant algorithm. To deal with the inaccurate network status and the imprecise user QoS requirement, it uses the range to describe them, introduces the edge bandwidth pricing, the edge evaluation and the tree evaluation, and tries to find a QoS multicast tree with the Pareto optimum under the Nash equilibrium on both the network provider utility and the user utility achieved or approached.
A hybrid approach for privacy-preserving RFID tags
Authors: Eun-Kyung Ryu, Tsuyoshi Takagi
Venue: Computer Standards Interfaces (2009)

Recently, there have been a considerable amount of works for privacy-preserving RFID tags. However, most existing schemes have a common, inherent problem in the fact that in order to identify only one single tag they require a linear computational complexity on the system side. This problem makes use of the schemes impractical in large-scale RFID deployments. We propose a new scheme for privacy-preserving RFID tags which combines the classical challenge-response mechanism with the idea of one-time pads in a simple but practical way. Our technique has a number of crucial advantages. It supports mutual authentication between reader and tag. It also supports untraceability with no information leakage. Furthermore, the scheme we present requires only one cryptographic operation to identify one device among N, which is an important benefit in large-scale RFID systems.
Bandwidth allocation in UWB WPANs with ECMA-368 MAC
Authors: Zhong Fan
Venue: Computer Communications (2009)

The new ECMA-368 MAC for UWB WPANs consists of two channel access methods: the distributed reservation protocol (DRP) and prioritized contention access (PCA). The exact method of medium access slot (MAS) allocation in DRP is not specified in the standard. The contribution of this paper is twofold. First, the paper describes a distributed resource allocation method in which a number of interference-avoidance rules are used to reserve slots for devices. Devices maintain sending and receiving tables to track activities in the neighbourhood. The proposed method is a simple, effective solution to the DRP MAS allocation problem, avoiding reservation conflicts and interference from hidden terminals. Secondly, for VBR MPEG-4 video traffic, we propose a bandwidth requirement calculation method based on traffic prediction. In the proposed scheme bandwidth is allocated based on accurate traffic predictions, therefore matching network resources to the traffic demand. Application QoS is maintained while network utilization is kept high. Furthermore, the simple, adaptive linear predictor does not incur much computation overhead. Simulation results have demonstrated the accuracy of the proposed prediction algorithm and effectiveness of the bandwidth allocation method.
Global Asymptotic Stabilization of Nonlinear Systems with Unknown Growth Rate by Adaptive Controller
Authors: Ho-Lim Choi
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

We consider a problem of global asymptotic stabilization of a class of nonlinear systems that have the unknown linear growth rate. While the existing results only deal with one specified form of nonlinear systems, our proposed method includes both forms of triangular and feedforward nonlinear systems in a unified framework. The proposed controller has a dynamic gain mechanism which is selectively engaged based on the given nonlinear form. Then, the dynamic gain is adaptively tuned depending on the unknown linear growth rate.
Bit-precise reasoning with affine functions
Authors: Neil Kettle, Andy King
Venue: Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning (2008)

The class of affine Boolean functions is rich enough to express constant bits and dependencies between different bits of different words. For example, the function (x0) &and; (&not;y1) &and; (x4 ⇔ y7) &and; (x5 ⇔ &not;y9) is affine and expresses the invariant that the low bit (bit 0) of the variable x is true, that bit 1 of y is false, that the bits 4 and 7 of x and y coincide whereas bits 5 and 9 of x and y differ. This class of Boolean function is amenable to bit-precise reasoning since it satisfies strong chain properties which bound the number of times a system of semantic fixpoint equations need to be reapplied when reasoning about loops. This paper address the key problem of abstracting an arbitrary Boolean function to either a general affine function or a so-called affine function of width 2, when the function is represented as an ROBDD. Novel algorithms are presented for this task: one that manipulates Boolean vectors and another which is inspired by anti-unification. The speed and precision of both algorithms are compared on benchmark circuits, to draw conclusions on the tractability of affine abstraction.
Demystifying Visual Analytics
Authors: Christian Chabot
Venue: IEEE Computer Graphics and Applications (2009)

Christian Chabot addresses the common misperceptions and stereotypes about visual analytics as the practice begins moving into widespread use. People typically associate visual analytics with four principles, all of which are false: the practice requires massive data, it's used to understand only complex problems, it requires the invention of new visual paradigms, and it focuses on finding hidden insights. Chabot explains why these principles are incorrect and why the visual analytics community would help the world at large by espousing its virtues.
High performance computation and interactive display of molecular orbitals on GPUs and multi-core CPUs
Authors: John E. Stone, Jan Saam, David J. Hardy, Kirby L. Vandivort, Wen-mei W. Hwu, Klaus Schulten
Venue: Proceedings of 2nd Workshop on General Purpose Processing on Graphics Processing Units (2009)

The visualization of molecular orbitals (MOs) is important for analyzing the results of quantum chemistry simulations. The functions describing the MOs are computed on a three-dimensional lattice, and the resulting data can then be used for plotting isocontours or isosurfaces for visualization as well as for other types of analyses. Existing software packages that render MOs perform calculations on the CPU and require runtimes of tens to hundreds of seconds depending on the complexity of the molecular system. We present novel data-parallel algorithms for computing lattices of MOs on modern graphics processing units (GPUs) and multi-core CPUs. The fastest GPU algorithm achieves up to a 125-fold speedup over an optimized CPU implementation running on one CPU core. We also demonstrate possible benefits of dynamic GPU kernel generation and just-in-time compilation for MO calculation. We have implemented these algorithms within the popular molecular visualization program VMD, which can now produce high quality MO renderings for large systems in less than a second, and achieves the first-ever interactive animations of quantum chemistry simulation trajectories using only on-the-fly calculation.
Optimizing staffing schedule in light of patient satisfaction for the whole outpatient hospital ward
Authors: Soemon Takakuwa, Athula Wijewickrama
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

The waiting time for patients in outpatient departments of hospitals is a problem throughout the world. In this context, a discrete-event-simulation model was developed to examine congestions and doctor schedules in all departments of an outpatient hospital ward of the Nagoya University hospital. The method of gathering the required data on times for all outpatients and their routes is described in this paper as part of a performing simulation, especially by making use of electronic medical records. This study identified some of the best doctor schedule mixes by integrating the simulation model into an optimization program in order to reduce patient waiting time as well as doctor idle-time without adding a single additional resource.
Project management process framework for developing and IT systems
Authors: Evangelos Markopoulos, John-Chris Panayiotopoulos, Javier Bilbao, Charalambos Makatsoris, Georgios Samaras, Todor Stoilov
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

Information Systems Development is a process that needs not only technical capabilities but management capabilities as well. Managing successfully the development process creates a number of qualitative and quantitative benefits to all being involved (suppliers and customers). On the other hand, managing technical people can be both risky and difficult. The methodology that needs to be followed for successful project management need to be quite flexible, measurable, well documented and well defined. This paper takes into consideration the prime stages and processes of 43 methodologies used mainly for information technology project management and creates a methodological framework for managing the systems development process. The framework is supported by best practices, and has been designed in such a way in order to integrate managerial and engineering principles in an adjustable manner. The structure of this framework allows its implementation to support projects of any type, size, and complexity, managed from any perspective (supplied or customer).
Privacy, traceability, and anonymity for content protection
Authors: Hongxia Jin
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

In this paper we are concerned with the privacy, traceability and anonymity for content distribution and protection applications. We believe for many content protection applications, privacy friendly anonymous trust is needed. We argue broadcast encryption technologies have advantages over public key encryption systems in these applications. When coming to combat piracy, we provided some business scenarios where it is essential to offer traceability in order to protect the revenues drawn from the provided services. However, in some scenarios, privacy concern needs to be carefully addressed in order to have a viable business. We shed insights on different technologies that can be used to offer solutions in each category.
An international collaboration in software engineering
Authors: M. H.N. Tabrizi, Carol B. Collins, Vipul Kalamkar
Venue: Proceedings of the 40th ACM technical symposium on Computer science education (2009)

Students in software engineering need experiences that prepare them for a global work environment that is more and more likely to be structured around team work in which team members may come from a variety of disciplines and cultures and be geographically dispersed. New grads in software engineering are more and more likely to communicate with team members and managers solely via electronic means (e.g. teleconference, videoconference, e-mail, e-file sharing). This paper describes a highly successful international collaboration of students from two universities enrolled in undergraduate software engineering classes, one in the USA and the other in India. Within a semester, these students collaborated remotely to produce software for a leading international software development company. This collaboration, repeated for two semesters and planned for a third, met all learning objectives while successfully producing the desired software. This experience truly engaged our students and enabled the students to learn via a standard course in software engineering about many aspects of professional practice without resorting to special programs like co-op/internships, honors/research independent study, or capstones.