ppxscal/embedding_network huggingface dataset:
Confronting the performances of a switched Ethernet network with industrial constraints by using the network calculus: Research Articles
Authors: Jean-Philippe Georges, Thierry Divoux, Eric Rondeau
Venue: International Journal of Communication Systems (2005)

The Ethernet network is more and more used to interconnect industrial devices. The objective of this paper is to study the performances of such a network to support real-time communications. For this, first we propose a general representation to model a switched Ethernet network by using a sequence of elementary components such as buffers, multiplexers, etc. Second, we aggregate the individual temporal properties of each component given in the Cruz' survey to obtain a global formula enabling one to calculate the maximum end-to-end delay for any industrial communication scenarios. Finally, we deduce the limits of the switched Ethernet network regarding the number of input&#x002F;output cards connected to the network and to the sizes of periodic and aperiodic messages. Copyright &copy; 2005 John Wiley & Sons, Ltd.
Mapping Between Data Sources on the Web
Authors: George H. L. Fletcher, Catharine M. Wyss
Venue: Proceedings of the International Workshop on Challenges in Web Information Retrieval and Integration (2005)

The data mapping problem is to discover effective mappings between structured representations of data. These mappings are the basic 'glue' for facilitating large-scale ad-hoc information sharing between autonomous peers in a dynamic environment. Automating their discovery is one of the fundamental unsolved challenges for information integration and sharing on the Web. We outline a general approach to automating the discovery of mappings between relational data sources which leverages new perspectives on the data mapping problem and report on a prototype implementation. Our approach utilizes heuristic search within a space delineated by basic relational transformation operators. A further novelty of our approach is that these operators include data to metadata transformations (and vice versa), allowing a generalization of previous solutions such as token-based schema matching.
Wearable Data Aquisition for Heartbeat and Respiratory Information
Authors: Harao Noma, Kiroshi Kagure, Yoshitaka Nakajima, Hideo Shnimonomura, Mieko Oshaga
Venue: Proceedings of the Ninth IEEE International Symposium on Wearable Computers (2005)

We are aiming at to establish the technology for measuring herartbeat and respiration without placing excessive load on subjects in daily situations. In this paper, we focus on the NAM (Non-Audible Murmur) microphone, a small skin-attached microphone developed to record NAMs. The device can simultaneously work as an accoustic sensor for sounds that are related to the user's psycologial signs. We confirm the existence of the heartbeat and respiratory information in the NAM sounds and discuss the possibility of extracting these indeices.
A nanoscale approach to the electrical properties of MOS memory devices with Si-nanocrystals
Authors: M. Porti, M. Avidano, M. Nafría, X. Aymerich, J. Carreras, B. Garrido
Venue: Microelectronic Engineering (2005)

Memory devices based on MOS structures with Silicon nanocrystals (Si-nc) embedded in the gate oxide have been investigated at the nanoscale with a Conductive Atomic Force Microscope (C-AFM). The high lateral resolution of this technique allows to study extremely small areas (∼300nm2) and, therefore, the electrical properties of a reduced number of Si-nc. C-AFM experiments have demonstrated that Si-nc enhance the gate oxide electrical conduction due to assisted tunneling. On the other hand, Si-nc can act as trapping centers. The amount of charge stored in Si-nc has been estimated through the change induced in the barrier height measured from the I-V characteristics. The results show that only ∼20% of the Si-nc are charged (in agreement with the macroscopic characterization), demonstrating that C-AFM is a powerful tool to investigate the performance of Si-nc memory devices.
Volume 2 number 2 SICSIM Newsletter
Venue: ACM SIGSIM Simulation Digest (1973)

SICSIM announces a name change: The acronym now represents the Special interest Committee on Simulation. The word "Digital" was removed from the title to reflect more accurately the large membership base of the varied (including analog and hybrid) simulation disciplines. 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
Transparent Data Structures, or How to Make Search Trees Robust in a Distributed Environmen
Authors: Miroslaw Korzeniowski, Christian Scheideler
Venue: Proceedings of the 8th International Symposium on Parallel Architectures,Algorithms and Networks (2005)

In this paper we propose a new class of memory models, called transparent memory models, for implementing data structures so that they can be emulated in a distributed environment in a scalable, efficient and robust way. Transparent memory models aim at combining the advantages of the pointer model and the linear addressable memory model without inheriting their disadvantages. We demonstrate the effectiveness of our approach by looking at a specific memory model, called the hypertree memory model, and by implementing a search tree in it that matches, in an amortized sense, the performance of the best search trees in the pointer model yet can efficiently recover from arbitrary memory faults.
VirtuaLatin " Towards a Musical Multi-Agent System
Authors: David Murray-Rust, Alan Smaill, Manuel Contreras Maya
Venue: Proceedings of the Sixth International Conference on Computational Intelligence and Multimedia Applications (2005)

This project investigates the use of multi-agent systems for musical accompaniment¹. It details the construction and analysis of a percussive agent, able to add timbales accompaniment to pre-recorded salsa music. We propose, implement and test a novel representational structure directed towards latin music, and develop a music listening system designed to build up these high level representations. We develop a generative system which uses expert knowledge and high level representations to manage a set ofbehaviours which combine and alter templates in a musically sensitive manner. Overall, we find that the agent is capable of creating accompaniment which is indistinguishable from human playing to the general public, and difficult for domain experts to identify
An integrated system: virtual reality, haptics and modern sensing technique (VHS) for post-stroke rehabilitation
Authors: Shih-Ching Yeh, Albert Rizzo, Weirong Zhu, Jill Stewart, Margaret McLaughlin, Isaac Cohen, Younbo Jung, Wei Peng
Venue: Proceedings of the ACM symposium on Virtual reality software and technology (2005)

In this paper, we introduce an interdisciplinary project, involving researchers from the fields of Physical Therapy, Computer Science, Psychology, Communication and Cell Neurobiology, to develop an integrated virtual reality, haptics and modern sensing technique system for post-stroke rehabilitation. The methodology to develop the system includes identification of movement pattern, development of simulated task and diagnostics. Each part of the methodology can be achieved through several sub-steps that are described in detail in this paper. The system is designed from Physical Therapy perspective that can address the motor rehabilitation needs of stroke patients. The system is implemented through stereoscopic displays, force feedback devices and modern sensing techniques that have game-like features and can capture accurate data for further analysis. Diagnostics and evaluation can be made through an Artificial Intelligence based model using collected data and clinical tests have been conducted.
Challenges and constraints to the diffusion of biometrics in information systems
Authors: Akhilesh Chandra, Thomas Calderon
Venue: Communications of the ACM (2005)

Biometrics are a promising technology for improving security, if they can overcome technical and social challenges.
Representation of Cyclic Colour Spaces within Quantum Space
Authors: Michael Nolle, Bernhard Omer
Venue: Proceedings of the Digital Image Computing on Techniques and Applications (2005)

Data of circular nature occurs frequently in several areas of science. In this paper we deal with data of this type, namely the HSI colour space. We show how one may embed this space into a quantum state space where distance measures exists that take the circular nature of the given data into account. This might hint that the quantum state space is useful not only for the problem at hand but may be used apart from quantum mechanics and quantum computations to solve classical problems as well.
An operational demonstration of a mobile network with a fairly large number of nodes
Authors: Keiichi Shima, Yojiro Uo, Nobuo Ogashiwa, Satoshi Uda
Venue: Proceedings of the International Symposium on Applications on Internet Workshops (2006)

The network mobility technology in the Internet area has been discussed for a long time and the specification has been finally published as RFC3963 from IETF. We had created an actual mobile network which contains a few hundreds of nodes to prove the technology works in a real environment. We confirmed that the technology works well basically however, we faced a long service disruption while moving. In this paper, we discuss the detailed configuration of the mobile network and the problem faced during the operation.
A tool for automatic UML model consistency checking
Authors: Jocelyn Simmonds, M. Cecilia Bastarrica
Venue: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005)

Automated consistency checking of UML models becomes necessary as models grow in size and complexity. Because the UML metamodel does not enforce model consistency, there are no guidelines as how to approach the consistency problem. Current solutions are partial and tools are mostly of academic nature. The translation of the metamodel and the user designed model into Description Logics has proved to be useful in detecting a large set of inconsistencies. We present MCC, a UML model consistency checker, built as a plug-in for Poseidon for UML, and relying on Racer as a reasoning engine. We propose a usable and scalable solution, interoperable with a known modeling tool.
Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis
Authors: Mark E. M. Stewart
Venue: Proceedings of the 29th Annual IEEE/NASA on Software Engineering Workshop (2005)

This paper presents an implementation and critical analysis of a technique for automated, rigorous scientific program comprehension and error detection. The procedure involves taking a user's existing code, adding semantic declarations for some primitive variables, symbolically executing the user's code, and recognizing semantic concepts from the symbolic expressions generated. This analysis provides high-level, semantic information and detects errors in a user's code. Symbolic execution of a 5k line of code (LOC) scientific code demonstrates implementation of a practical symbolic execution / semantic analysis tool. Despite the promise of this technique, one key challenge is examined, namely ensuring reliability during the symbolic execution / semantic analysis procedure.
Traffic Analysis and Video Quality Evaluation of Multiple Description Coded Video Services for Fourth Generation Wireless IP Networks
Authors: Frank H. Fitzek, Başak Can, Ramjee Prasad, Marcos Katz
Venue: Wireless Personal Communications: An International Journal (2005)

For the performance evaluation of future wireless communication systems, such as the fourth generation wireless networks, traffic traces of realistic services are needed. Multiple description coding (MDC) is gaining a lot of interest lately and is a viable solution to provide robust video services over single or multi hop wireless networks and MDC introduces more flexibility for network coding. Furthermore it has the capability to support heterogeneous terminals as they are accepted to be used in 4G wireless networks. By means of twelve well known video sequences, in different video formats, we generate the frame size traces and evaluate the multiple description coding characteristics. In addition to that we highlight the expected overhead due to the underlying RTP/UDP/IP protocol suite. As an objective quality measurement at the application layer, we investigate the video quality in dependency of lost and error-prone descriptors. This allows researcher to convert the network losses of their network models directly into video quality values. This step makes the work unique as single layer coded video streams would always need further postprocessing to retrieve the video quality.
Estimation and Ranking of Alternatives under Interval Uncertainty
Authors: A. O. Ovezgel'Dyev, K. E. Petrov
Venue: Cybernetics and Systems Analysis (2005)

A method is proposed to estimate and rank alternative decisions with interval representation of their characteristics. The method is verified experimentally.
Quantifying the benefits of immersion for collaboration in virtual environments
Authors: Michael Narayan, Leo Waugh, Xiaoyu Zhang, Pradyut Bafna, Doug Bowman
Venue: Proceedings of the ACM symposium on Virtual reality software and technology (2005)

Collaborative Virtual Environments allow multiple users to interact collaboratively while taking advantage of the perceptual richness that Virtual Environments (VEs) provide. In this paper, we demonstrate empirically that increasing the level of immersion in a VE can have a beneficial effect on the usability of that environment in a collaborative context. We present the results of a study in which we varied two immersive factors, stereo and head tracking, within the context of a two person collaborative task. Our results indicate that stereo can have a positive effect on task performance; that different levels of immersion have effects that vary with gender; and that varying the level of immersion has a pronounced effect on communication between users. These results show that the level of immersion can play an important role in determining user performance on some collaborative tasks.
Dna based self-assembly and nano-device: theory and practice
Authors: Peng Yin
Venue:  (2005)

The construction of complex systems at the 1&ndash;100 nanometer (1 nanometer = 10 &minus;9 meter) scale is a key challenge in current nanoscience. This challenge can be most effectively addressed by the &ldquo;bottom-up&rdquo; nano-construction methodology based on self-assembly, a process in which substructures autonomously associate with each other to form superstructures driven by the selective affinity of the substructures. DNA, with its immense information encoding capacity and well defined Watson-Crick complementarity, has recently emerged as an excellent material for constructing self-assembled nano-structures. In this dissertation, we study four closely related aspects of DNA based self-assembly and nano-devices: complexity of self-assembly, fault-tolerant self-assembly, DNA robotics devices, and DNA computing devices. Complexity of self-assembly. We establish a framework that models assemblies resulting from the cooperative effects of repulsion and attraction forces in a general setting of graphs. By capturing a much wider range of interesting self-assembly phenomena, it advances previous work that models simple rectangular grid structures formed by only attraction force. We define an accretive graph assembly model and a self-destructible graph assembly model, and obtain several complexity results including the first PSPACE-complete result in the study of self-assembly. Fault tolerant self-assembly. Fault tolerance is essential for building complex synthetic self-assembled systems at the molecular scale. In the practical context of algorithmic DNA tiling lattices, we propose an information encoding scheme using overlaid redundant computation, which, for the first time, reduces the error rate from e to e3 without increasing the size of the assembled lattice. DNA robotics devices. A major challenge in nanotechnology is to precisely transport a nanoscale object from one location on a nano-structure to another location along a designated path. To address this challenge, we design DNA motors capable of autonomous, unidirectional, progressive linear motion along self-assembled DNA tracks. The practicality of the designs is partially supported by the experimental construction of a three-anchorage autonomous DNA walking device. DNA computing devices. Building on the designs of the above robotics devices, we obtain the designs of autonomous DNA mechanical computing devices embedded in DNA lattices. These devices represent a novel converging point for studies on nano-lattice assembly, nano-robotics, and nano-computing. In particular, we present the designs of an autonomous universal DNA Turing machine and an autonomous universal DNA cellular automaton.
Computer-supported collaborative learning in composition classrooms in saudi arabia
Authors: Herb Stahlke
Venue:  (2005)

This study investigated the reactions of Saudi college students to collaborative learning techniques introduced in two modalities: face-to-face and web-based. Quantitative data were collected with a questionnaire that examined the changes of three constructs: attitudes toward collaboration, social self-efficacy, and perceived peer academic support of composition students at Umm Alqura University, Saudi Arabia. Students in the experimental group collaborated electronically using Blackboard, a web-based environment, while students in the control group collaborated face-to-face. Students' responses to the questionnaire did not show any significant differences between the experimental group and control group with respect to the three variables. Three factors might have led to such results. First, one of the scales used in the questionnaire had low reliability that could have affected its procedure implementation. Second, collaborative learning is a new technique to Saudi students that could have contradicted the learning styles they studied according to since elementary school. Third, there were technical obstacles experienced during the experiment (i.e. not enough computer labs and no full access to the Internet) that could have been a discouraging factor for the subjects. Qualitative data collected through a post-study survey reflected the participants' positive attitudes towards peer response techniques applied throughout the experiment, giving and receiving comments, and working with computers. Such positive attitudes reflect the need to update composition teaching methods, introduce process-oriented pedagogies, foster group work strategies, and develop more computer resources and networking facilities.
Maximum weight independent sets and matchings in sparse random graphs. Exact results using the local weak convergence method
Authors: David Gamarnik, Tomasz Nowicki, Grzegorz Swirszcz
Venue: Random Structures Algorithms (2006)

Let G(n,c&#x002F;n) and Gr(n) be an n-node sparse random graph and a sparse random r-regular graph, respectively, and let I(n,r) and I(n,c) be the sizes of the largest independent set in G(n,c&#x002F;n) and Gr(n). The asymptotic value of I(n,c)&#x002F;n as n &rarr; &infin;, can be computed using the Karp-Sipser algorithm when c &le; e. For random cubic graphs, r = 3, it is only known that .432 &le; lim infn I(n,3)&#x002F;n &le; lim supn I(n,3)&#x002F;n &le; .4591 with high probability (w.h.p.) as n &rarr; &infin;, as shown in Frieze and Suen [Random Structures Algorithms 5 (1994), 649&ndash;664] and Bollabas [European J Combin 1 (1980), 311&ndash;316], respectively. In this paper we assume in addition that the nodes of the graph are equipped with nonnegative weights, independently generated according to some common distribution, and we consider instead the maximum weight of an independent set. Surprisingly, we discover that for certain weight distributions, the limit limn I(n,c)&#x002F;n can be computed exactly even when c > e, and limn I(n,r)&#x002F;n can be computed exactly for some r &ge; 1. For example, when the weights are exponentially distributed with parameter 1, limn I(n,2e)&#x002F;n &ap; .5517, and limn I(n,3)&#x002F;n &ap; .6077. Our results are established using the recently developed local weak convergence method further reduced to a certain local optimality property exhibited by the models we consider. We extend our results to maximum weight matchings in G(n,c&#x002F;n) and Gr(n). For the case of exponential distributions, we compute the corresponding limits for every c > 0 and every r &ge; 2. &copy; 2005 Wiley Periodicals, Inc. Random Struct. Alg., 2006
Augmented Foam: A Tangible Augmented Reality for Product Design
Authors: Woohun Lee, Jun Park
Venue: Proceedings of the 4th IEEE/ACM International Symposium on Mixed and Augmented Reality (2005)

Computer Aided Design applications have become designers' inevitable tools for expressing and simulating innovative ideas and concepts. However, replacing traditional materials and mock-ups with 3D CAD systems, designers are faced with the intangibility problem, unable to physically interact with test products in early stages of design process. As a touchable and graspable interface based on 3D CAD data, we propose Augmented Foam, which applies Augmented Reality technologies to physical blue foams. Using Augmented Foam, a blue foam mock-up is overlaid with a 3D virtual object, which is rendered with the same CAD model used for mock-up production. We presented a method to correct occlusions of the virtual products by user's hand. Augmented Foam was tested for a mug design and a cleaning robot design. Designers were able to inspect and evaluate the design alternatives interactively and efficiently.
Information Assurance Visualizations for Specific Stages of Situational Awareness and Intended Uses: Lessons Learned
Authors: Anita D'Amico, Michael Kocka
Venue: Proceedings of the IEEE Workshops on Visualization for Computer Security (2005)

Information visualization has proven to be a valuable tool for working more effectively with complex data and maintaining situational awareness in demanding operational domains. Unfortunately, many applications of visualization technology fall short of expectations because the technology is used inappropriately: the wrong tool applied in the wrong way. A study of visualization techniques as applied to one particularly demanding area - information assurance - leads to the conclusion that there is a proper and formal way to approach designing visualization techniques for maintaining situational awareness in complex domains. Visualization techniques should be specifically designed or selected to align with one of the three identified stages of situational awareness - perception, comprehension, or projection - and with one of . . . - five standard uses of visualization: monitoring, inspecting, exploring, forecasting, or communicating. Greater value can be realized b; selecting the right visualization technique to focus on each operational task, rather than searching for a single allencompassing solution to fit every need. Examples of how visualizations can be used to support specific tasks of IA analysis are presented, with examples based on a review of available literature, a formal cognitive task analysis performed by the authors, and lessons learned from direct experience with developing IA visualizations and training analysts in their use.