ppxscal/embedding_network huggingface dataset:
Improvement of identity-based proxy multi-signature scheme
Authors: Zuhua Shao
Venue: Journal of Systems and Software (2009)

A proxy signature scheme allows a proxy signer to sign messages on behalf of an original signer, a company or an organization. A proxy multi-signature scheme is an extension of the basic proxy signature scheme, and permits two or more original signers to delegate their signing powers to the same proxy signer. Recently, Wang and Cao proposed an identity-based proxy multi-signature scheme. This scheme is very simple and efficient since it is an extension of the identity-based aggregate signature scheme due to Gentry and Ramzan. Though the identity-based aggregate signature scheme of Gentry and Ramzan is secure in the random oracle model, in this paper, we find that the identity-based proxy multi-signature scheme of Wang and Cao is not secure unless each proxy secret key can only be used to generate at most one proxy signature. Finally, we propose an improvement to overcome this weakness, which is more simple and efficient than the identity-based proxy multi-signature scheme of Wang and Cao. We show that the improvement is existentially unforgettable in the random oracle model under the computational Diffie-Hellman assumption.
Towards human-centered support for indoor navigation
Authors: Leonardo Ramirez, Sebastian Denef, Tobias Dyrks
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

This paper presents a new perspective for the design of indoor navigation support. In contrast to technology oriented approaches coming from Context Awareness research, we argue for a wider focus that complements the technical question of providing precise indoor location with the development of more effective navigation practices based on technology available today. Starting from research on indoor navigation conducted with the Paris Fire Brigade, we present two design concepts aimed at supporting firefighters in creating and finding their own paths, together with some of the design strategies that informed the creation of these concepts.
Function based identification of affected components in cross-domain engineering
Authors: Jivka Ovtcharova, Milan Marinov
Venue: Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing (2008)

Due to the fact that domain specific software systems do not understand the concepts of each others domains, it is not possible to solve the issue of bridging between engineering domains by means of direct information exchange between the software systems. This article presents an approach for function based integration of cross-domain development environments. Domain-specific tasks are executed in their native environments, e.g. CATIA and ALTIUM. A functional structure of the mechatronic system links cross-domain product data. Based on the functional structure, components affected by engineering changes are identified.
Haptic interaction becomes mainstream
Authors: Roope Raisamo
Venue: Proceedings of the 20th International Conference of the Association Francophone d'Interaction Homme-Machine (2008)

Already for more than 20 years the research community in the field of human-technology interaction has identified multimodal interaction as a potential next mainstream interaction paradigm to replace graphical user interfaces. During this time, both personal computers and mobile devices have developed rapidly allowing more computing power, more accurate output through different channels such as display and audio, and more ways of interaction to be used in everyday tasks. Within the past few years, haptic interaction has been under rapid research and development. In this short paper I will give an introduction to my invited talk on the development of haptic interaction technology and its promises in mainstream information and communication technology.
A Note on the Random Oracle Methodology
Authors: Mototsugu Nishioka, Naohisa Komatsu
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

Canetti et al. [5] showed that there exist signature and encryption schemes that are secure in the random oracle (RO) model, but for which any implementation of the RO (by a single function or a function ensemble) results in insecure schemes. Their result greatly motivates the design of cryptographic schemes that are secure in the standard computational model. This paper gives some new results on the RO methodology. First, we give the necessary and sufficient condition for the existence of a signature scheme that is secure in the RO model but where, for any implementation of the RO, the resulting scheme is insecure. Next, we show that this condition induces a signature scheme that is insecure in the RO model, but that there is an implementation of the RO that makes the scheme secure.
Vectorized AES Core for High-throughput Secure Environments
Authors: Miquel Pericàs, Ricardo Chaves, Georgi N. Gaydadjiev, Stamatis Vassiliadis, Mateo Valero
Venue: High Performance Computing for Computational Science - VECPAR 2008: 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers (2008)

Parallelism has long been used to increase the throughput of applications that process independent data. With the advent of multicore technology designers and programmers are increasingly forced to think in parallel. In this paper we present the evaluation of an encryption core capable of handling multiple data streams. The design is oriented towards future scenarios for internet, where throughput capacity requirements together with privacy and integrity will be critical for both personal and corporate users. To power such scenarios we present a technique that increases the efficiency of memory bandwidth utilization of cryptographic cores. We propose to feed cryptographic engines with multiple streams to better exploit the available bandwidth. To validate our claims, we have developed an AES core capable of encrypting two streams in parallel using either ECB or CBC modes. Our AES core implementation consumes trivial amount of resources when a Virtex-II Pro FPGA device is targeted.
Ranking and Performance Exploration of Grid Infrastructures: An Interactive Approach
Authors: George Tsouloupas, Marios Dikaiakos
Venue: Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (2006)

In the ever-growing Grid infrastructures picking the right resources is not an easy task. There are situations were finding enough idle CPU's that satisfy a set of minimum nominal hardware requirements is simply not enough. In many such occasions, users or VO managers need to be involved in the resource selection process, either by excluding resources or by indicating preference, more so when resources are not for free. To support users in this task, we propose an interactive and user-driven approach to a performance-based ranking of Grid resources. Using the GridBench framework and the provided suite of micro-benchmarks, the user is able to interactively explore and rank what is currently available on the Grid in order to pinpoint the right resources. Through this framework, the user is able to interactively compose ranked lists of Grid resources using custom ranking functions that are based on low-level measurements.
Analysis of k-Neigh topology control protocol for mobile wireless networks
Authors: A. Nayebi, H. Sarbazi-Azad
Venue: Computer Networks: The International Journal of Computer and Telecommunications Networking (2009)

k-Neigh is a basic neighbor-based topology control protocol based on the construction of k-neighbor graph as logical communication graph. Several topological aspects of the constructed topology which are crucial to the performance of the protocol are not yet analytically investigated. Moreover, the problem of determining the maximum "Hello" interval preserving the connectivity with high probability has not been extensively addressed yet. Since execution of the protocol is a resource consuming task, this problem is of great importance on the performance of the protocol in sense of power consumption and topology control overhead. In this paper, first, several topological properties of the constructed topology for a static network, e.g. average logical degree and average final transmission range, are investigated analytically. Then, temporal properties of the dynamic topology in presence of mobility are studied based on two phenomena, one concerning a connectivity phase transition with time which is reported for the first time and the other one concerning the average degree of the logical communication graph at the time of starting the phase transition defined as disconnection degree. Using the obtained results one may tune the protocol in sense of "Hello" interval, maximum transmission power, or number of neighbors (k). Although the present work considers k-Neigh protocol, many interesting quantities are derived which may have application beyond the specific problem considered in this paper, e.g. the cdf, mean, and variance of the distance to the ith neighbor.
Oktapodi
Authors: Eric Riewer
Venue: ACM SIGGRAPH ASIA 2008 computer animation festival (2008)

In this animation short directed by six students at Gobelins, l'&eacute;cole de l'image, two octopuses help each other in their comical escape from the grasp of a stubborn restaurant cook. However, even after overcoming insurmountable odds to reunite, their fight to stay together is not over. "Oktapodi" received the Best of Show award in the SIGGRAPH 2008 Computer Animation Festival.
Towards a Theory of Collaborative Multimedia
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

We develop a theory of media objects, and present optimal algorithms for collaborative synthesis of media objects. We then extend the algorithms to incorporate quality constraints (such as image size) as well as distribution across multiple nodes. The theoretical model is validated by an experimental implementation that supports the theoretical results. 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
Risk Assessment of a National Security Infrastructure
Authors: Kjell J. Hole, André N. Klingsheim, Lars-Helge Netland, Yngve Espelid, Thomas Tjøstheim, Vebjørn Moen
Venue: IEEE Security and Privacy (2009)

In Norway, BankID is the banking industry's public-key infrastructure of choice for authenticating Internet customers, and it might soon become the government's national ID infrastructure as well. But do BankID's differences from standard PKIs make it a riskier choice? This assessment, based on both publicly available information and usage experiences, addresses that question.
Embracing Open Source Methods for the Standardization of NGN Services and Enablers
Authors: Catherine Mulligan
Venue: Proceedings of the 2008 The Second International Conference on Next Generation Mobile Applications, Services, and Technologies (2008)

There is no doubt that the traditional value chain of the telecommunications industry is facing significant pressure due to the convergence of Internet and Telecom worlds, in particular at the service layer. The telecommunications industry has failed so far to deliver on the promise of rapid application development whereby untrusted third parties have the ability to create innovative services that are delivered over NGN platforms. The relevance of standardisation bodies such as the Open Mobile Alliance (OMA) is also being challenged by so-called "web 2.0" technologies and de-facto standardisation efforts on the Internet. In the face of a rapidly changing technology landscape and increasing pressure to accept "Internet" models, the telecommunications industry must embrace open source methodologies in the standardisation process. This paper covers a potential governance structure for utilising OSS techniques using the OMA as an example. 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
Multidisciplinary medical team meetings: a field study of collaboration in health care
Authors: Jane Li, Toni Robertson, Susan Hansen, Tim Mansfield, Jesper Kjeldskov
Venue: Proceedings of the 20th Australasian Conference on Computer-Human Interaction: Designing for Habitus and Habitat (2008)

We present an observational study that was conducted to guide the design of an enhanced collaboration platform to support distributed multidisciplinary team meetings between two hospitals. Our goal was to find out how the breast cancer multidisciplinary team collaborates in their face-to-face meetings and in their discussions using an existing video-conferencing system and to identify obstacles and issues to their primary tasks. We identified a set of concerns around the way visibility and audibility affect the social cohesion of the group and impede communication and situation awareness between the distributed team. We also identified a parallel set of concerns around the difficulty of preparing and interacting around the medical images used in the meetings. These issues exposed a complex matrix of technical, social, procedural and organisational factors that affect the collaboration. We suggest potential directions for technical interventions in this setting.
Elitist ant system for route allocation problem
Authors: Sorin C. Negulescu, Constantin Oprean, Claudiu V. Kifor, Ilie Carabulea
Venue: Proceedings of the 8th conference on Applied informatics and communications (2008)

As Multi-Agent Systems (MAS) have gained their place in the artificial intelligence field by proving their effectiveness in solving optimisation problems, this paper presents a new approach for a hard and well-known problem: vehicle route allocation. After a brief introduction about the MAS and stigmergy in section one, the paper presents the rationale (section two) where Ant Colony Optimisation (ACO) and its common extensions such as Elitist Ant System (EAS), Max-Min Ant System (MMAS), Rank-Based Ant System (ASrank) and others are described, and the approach (section three) where the reasons for choosing EAS as starting algorithm and the steps that must be followed in order to adapt EAS for solving the Route Allocation Problem (RAP) are presented. The resulted algorithm is depicted in section four. The paper concludes that the approach proved to be workable on usual configurations and effective in dealing with combinatorial explosion usually encountered in optimisation problems.
An experiment in the use of synthetic programs for system benchmarking
Authors: Paul Oliver, George Baird, Margaret Cook, Arnold Johnson, Patrick Hoyt
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

Competitive computer system selection requires a tool for minimum performance measurement. The selection process must be fair and, ideally, brief and economical. Thus, the measurement tool must be visibly fair and impartial in its measurement of a computer system, it must relate what is being measured to user needs, and it must be economical to apply. The thrust of several ongoing "standard benchmark" efforts in the Department of Defense and other Federal Government agencies is to develop a measurement tool with these qualities.
The Uncertainty in Physical Measurements: An Introduction to Data Analysis in the Physics Laboratory, 1st edition
Authors: Paolo Fornasini
Venue:  (2008)

The book targets scientists and researchers focused on experimentation in the fields of physics, chemistry and engineering, as well as graduate-level students studying these sciences in an applied way. The central point is the uncertainty in measurements: what are the causes of uncertainty and how do we deal with it? The possible causes of uncertainty are at first phenomenologically explored, leading to understand the necessity of a formal treatment based on probability theory and statistical tools. The basics of probability and statistics are then introduced, in order to support the most relevant data analysis procedures, which are introduced in the last part of the book: uncertainty in indirect measurements, least squares fits, chi square test, confidence intervals. The pedagogical goal is to introduce the treatment of uncertainty in a phenomenological way, based on examples taken from laboratory experience and distinguishing the different causes of uncertainty (there is more than just random errors and gaussian distributions to consider in laboratory practice). This approach naturally leads to the idea of limiting distributions and the necessity of a probabilistic treatment. Only then is probability theory introduced in a formal way (Part 2) and data analysis procedures are developed on the basis of probability and statistics (Part 3). Examples taken from laboratory experience facilitate the understanding of the concepts of Part 2 and 3. Some heavy demonstrations and some mathematical complements are grouped in one Appendix, to facilitate the smooth reading of the main chapters.
Capacity Analysis of MIMO Rayleigh Channel with Spatial Fading Correlation
Authors: Ha Duyen Trung, Watit Benjapolakul, Kiyomichi Araki
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

MIMO (Multiple Input Multiple Output) communications systems equipped with array antennas at both the transmitter and receiver sides are a promising scheme to realize higher rate and/or reliable data transmission. In this paper, capacity analysis of MIMO Rayleigh channel with spatial correlation at the receiver of multipath taken into account is presented. In general, a model configuration of local scattering around a mobile station in MIMO environment is carried out by simulation to examine spatial correlation coefficients. Based on statistical properties of the eigenvalues of correlated complex random Wishart matrices, the exact closed-form expressions of distribution of the eigenvalues are investigated. Then, the general closed-form evaluation of integral form is proposed based on Meijer's G-function. The results demonstrate that the ergodic capacities are improved by increasing the number of the antennas and the SNR's. Compared with i.i.d. (independent identically distributed) Rayleigh channel, the incremental improvement of correlated Rayleigh channel is reduced by spatial fading correlation. The analytical results validated by Monte-Carlo simulations show a good agreement.
The NeuroProcessor: An Integrated Interface to Biological Neural Networks, 1 edition
Authors: Yevgeny Perelman, Ran Ginosar
Venue:  (2008)

This book presents the Neuroprocessor, a novel computational neuronal interface device implemented in VLSI technology. In addition to neuronal signals acquisition, it can process the data, generate stimuli and transmit the data over wireless channels, while using minimum electric energy. The NeuroProcessor opens with a brief background on neuronal communication and microelectrode recording. It introduces three generations of the Neuroprocessor and presents their architecture, circuits and algorithms. Applications to a miniature head-stage for in-vivo experiments and multi-electrode arrays for in-vitro studies are described.
A Multimedia Tool for "Signal Processing for Acoustic and Vibration Diagnosis of Rotating Machines"
Authors: M. Sidahmed, P. Morizet, P. Trigano, J. K. Hammond, S. Braun, G. Dalpiaz, U. Meneghetti
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

We present in this paper the preliminary results of a project developed in the scope of the EC Leonardo da Vinci program. The objective of this project is to develop a CD-ROM for education and training in the domain of signal processing for the acoustic and vibration diagnosis of rotating machines. The project will cover basic methods of signal processing, which apply in the relevant domain. The CD-ROM is organised in three modules: basic methods of signal processing, mechanics of rotating machines, and a guide for the choice of appropriate methods according to real problems. It contains interactive consultation modes, with several levels of input, complexity, and purpose. In addition to ease of use, the multimedia support offers access to interactive simulations and training, which shows the comparative performances and limits of certain methods. There is an intensive use of real signals taken from a data base of real industrial installations.
An efficient approach for type II robotic assembly line balancing problems
Authors: Jie Gao, Linyan Sun, Lihua Wang, Mitsuo Gen
Venue: Computers and Industrial Engineering (2009)

In the past decades, robots have been extensively applied in assembly systems as called robotic assembly lines. When changes in the production process of a product take place, the line needs to be reconfigured in order to improve its productivity. This study presents a type II robotic assembly line balancing (rALB-II) problem, in which the assembly tasks have to be assigned to workstations, and each workstation needs to select one of the available robots to process the assigned tasks with the objective of minimum cycle time. An innovative genetic algorithm (GA) hybridized with local search is proposed for the problem. The genetic algorithm uses a partial representation technique, where only part of the decision information about a candidate solution is expressed in the chromosome and the rest is computed via a heuristic method. Based on different neighborhood structures, five local search procedures are developed to enhance the search ability of GA. The coordination between these procedures is well considered in order to escape from local optima and to reduce computation time. The performance of the hybrid genetic algorithm (hGA) is tested on 32 rALB-II problems and the obtained results are compared with those by other methods.
Introducing AutoCAD Civil 3D 2009
Authors: James,  P.E. Wedding, Dana,  E.I.T. Probert
Venue:  (2008)

Learn the basics of AutoCAD Civil 3D easily and efficiently from the straightforward explanations and realistic exercises in Introducing AutoCAD Civil 3D 2009. In this helpful introductory guide, you will find an overview of key concepts and in-depth, detailed coverage of special topics like lines and arcs, points, surveying, parcels, surfaces, alignments, profiles, corridors, grading, sections, pipes, and project management. If you are a civil engineer or civil engineering student, you will understand how to apply AutoCAD Civil 3D to real-world, professional situations after reading this book.
Energy Efficiency of Power-Gating in Low-Power Clocked Storage Elements
Authors: Christophe Giacomotto, Mandeep Singh, Milena Vratonjic, Vojin G. Oklobdzija
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)

An analysis of the efficiency of power-gating for Clocked Storage Elements (CSEs) is presented. Two CSE topologies: the Transmission Gate Master Slave latch (TGMS) and the Write Port Master Slave latch (WPMS) are examined along with their respective circuits with sleep transistors. In this work, we study the benefits of adding sleep transistors coupled with regular clock-gating during inactive mode. We examine the energy savings for standard clock gated CSEs versus their power gated counterparts. This is done by studying how the leakage energy saved with power gating offsets the energy consumed by the extra transistors added to support it. It is not always beneficial to add sleep transistors when deciding between power-gating or just using clock-gating. We also study how the results and tradeoff change with voltage scaling.