ppxscal/embedding_network huggingface dataset:
Fast simulation of skin sliding
Authors: Xiaosong Yang, Richard Southern, Jian Jun Zhang
Venue: Computer Animation and Virtual Worlds (2009)

Skin sliding is the phenomenon of the skin moving over underlying layers of fat, muscle and bone. Due to the complex interconnections between these separate layers and their differing elasticity properties, it is difficult to model and expensive to compute. We present a novel method to simulate this phenomenon at real-time by remeshing the surface based on a parameter space resampling. In order to evaluate the surface parametrization, we borrow a technique from structural engineering known as the force density method (FDM)which solves for an energy minimizing form with a sparse linear system. Our method creates a realistic approximation of skin sliding in real-time, reducing texture distortions in the region of the deformation. In addition it is flexible, simple to use, and can be incorporated into any animation pipeline. Copyright &copy; 2009 John Wiley & Sons, Ltd. This paper presents a novel method to simulate skin sliding at real-time by remeshing the surface based on a parameter space resampling. In order to evaluate the surface parametrization, we use the force density method which solves for an energy minimizing form with a sparse linear system. Our method creates a realistic approximation of skin sliding in real-time, reducing texture distortions. In addition it is flexible, simple to use, and can be incorporated into any animation pipeline.
Operation-based versioning of metamodels with COPE
Authors: Markus Herrmannsdoerfer
Venue: Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models (2009)

Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel. In response to changing requirements and technological progress, the domains and thus the metamodels are subject to change. Manually migrating existing models to a new version of their metamodel is tedious and error-prone. Hence, adequate tool support is required to support the maintenance of modeling languages. COPE provides adequate tool support by specifying the coupled evolution of metamodels and models. In this paper, we present the tool support to record the operations carried out on the metamodel directly through an editor. These operations can be enriched by instructions on how to migrate corresponding models. To further reduce migration effort, COPE provides high-level operations which have built-in meaning in terms of the migration of models.
Genetic Optimization of the Multi-Location Transshipment Problem with Limited Storage Capacity
Authors: Nabil Belgasmi Lamjed Ben Saïd Khaled Ghédira
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

Lateral Transshipments afford a valuable mechanism for compensating unmet demands only with on-hand inventory. In this paper we investigate the case where locations have a limited storage capacity. The problem is to determine how much to replenish each period to minimize the expected global cost while satisfying storage capacity constraints. We propose a Real-Coded Genetic Algorithm (RCGA) with a new crossover operator to approximate the optimal solution. We analyze the impact of different structures of storage capacities on the system behaviour. We find that Transshipments are able to correct the discrepancies between the constrained and the unconstrained locations while ensuring low costs and system-wide inventories. Our genetic algorithm proves its ability to solve instances of the problem with high accuracy.
On delay-sensitive communication over wireless systems
Authors: Jean-Francois Chamberland, Scott Miller
Venue:  (2008)

This dissertation addresses some of the most important issues in delay-sensitive communication over wireless systems and networks. Traditionally, the design of communication networks adopts a layered framework where each layer serves as a &ldquo;black box&rdquo; abstraction for higher layers. However, in the context of wireless networks with delay-sensitive applications such as Voice over Internet Protocol (VoIP), on-line gaming, and video conferencing, this layered architecture does not offer a complete picture. For example, an information theoretic perspective on the physical layer typically ignores the bursty nature of practical sources and often overlooks the role of delay in service quality. The purpose of this dissertation is to take on a cross-disciplinary approach to derive new fundamental limits on the performance, in terms of capacity and delay, of wireless systems and to apply these limits to the design of practical wireless systems that support delay-sensitive applications. To realize this goal, we consider a number of objectives. (1) Develop an integrated methodology for the analysis of wireless systems that support delay-sensitive applications based, in part, on large deviation theory. (2) Use this methodology to identify fundamental performance limits and to design systems which allocate resources efficiently under stringent service requirements. (3) Analyze the performance of wireless communication networks that takes advantage of novel paradigms such as user cooperation, and multi-antenna systems. Based on the proposed framework, we find that delay constraints significantly influence how system resources should be allocated. Channel correlation has a major impact on the performance of wireless communication systems. Sophisticated power control based on the joint space of channel and buffer states are essential for delay-sensitive communications.
Automated Detection of Load Changes in Large-Scale Networks
Authors: Felipe Mata, Javier Aracil, Jose Luis García-Dorado
Venue: Proceedings of the First International Workshop on Traffic Monitoring and Analysis (2009)

This paper presents a new online algorithm for automated detection of load changes, which provides statistical evidence of stationary changes in traffic load. To this end, we perform continuous measurements of the link load, then look for clusters in the dataset and finally apply the Behrens-Fisher hypothesis testing methodology. The algorithm serves to identify which links deviate from the typical load behavior. The rest of the links are considered normal and no intervention of the network manager is required. Due to the automated selection of abnormal links, the Operations Expenditure (OPEX) is reduced. The algorithm has been applied to a set of links in the Spanish National Research and Education Network (RedIRIS) showing good results.
Improving "email speech acts" analysis via n-gram selection
Authors: Vitor R. Carvalho, William W. Cohen
Venue: Proceedings of the HLT-NAACL 2006 Workshop on Analyzing Conversations in Text and Speech (2006)

In email conversational analysis, it is often useful to trace the the intents behind each message exchange. In this paper, we consider classification of email messages as to whether or not they contain certain intents or email-acts, such as "propose a meeting" or "commit to a task". We demonstrate that exploiting the contextual information in the messages can noticeably improve email-act classification. More specifically, we describe a combination of n-gram sequence features with careful message preprocessing that is highly effective for this task. Compared to a previous study (Cohen et al., 2004), this representation reduces the classification error rates by 26.4% on average. Finally, we introduce Ciranda: a new open source toolkit for email speech act prediction.
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
Authors: Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

This paper extends a rewriting approximations-based theoretical framework in which the security problem - secrecy preservation against an active intruder - may be semi-decided through a reachability analysis. In a recent paper, we have shown how to semi-decide whether a security protocol using algebraic properties of cryptographic primitives is safe. In this paper, we investigate the dual - insecurity - problem: we explain how to semi-decide whether a protocol using cryptographic primitive algebraic properties is unsafe. This improvement offers us to draw automatically a complete diagnostic of a security protocol with an unbounded number of sessions. Furthermore, our approach is supported by the tool TA4SP successfully applied for analysing the NSPK-xor protocol and the Diffie-Hellman protocol.
Complexity comparison of Lagrange and Newton polynomial based revocation schemes
Authors: Dokouzyannis Stavros, Spaliaras Iraklis
Venue: Proceedings of the 2nd conference on European computing conference (2008)

Two revocation schemes are compared, based on Lagrange interpolation [1] and Newton coefficients [2], allowing disconnection of up to r subscribers in Broadcast Distribution/Encryption Systems. The computational complexity measures are carefully analyzed, so that a digital system designer to be able to fit the design of Smart Card and Secret Controller to the broadcast parameters and requirements. The careful analysis of both methods has not proven the superior dominance of the Newton over the Lagrange scheme. Both methods are comparable and the improvement introduced by the Newton method is not significant for a designer working in a real production field.
Security and Dependability for Ambient Intelligence, 1st edition
Authors: George Spanoudakis, Antonio Maa Gomez, Spyros Kokolakis
Venue: Advances In Information Security (2009)

Security and Dependability for Ambient Intelligence is the primary publication for the SERENITY approach which provides security and dependability (S&D) solutions for dynamic, highly distributed and heterogeneous systems. The term Ambient Intelligence identifies an ambitious vision for pushing technological developments, that will enable heterogeneous networked systems and devices with computing capabilities (cars, house applications, mobile phones etc.). The objective of SERENITY is to enhance the security and dependability of ambient intelligence systems by providing a framework supporting the automated integration, configuration, monitoring and adaptation of security and dependability mechanisms. Security and Dependability for Ambient Intelligence, an edited volume contributed by world leaders in this field, covers the foundations of ambient systems, the problems that their highly dynamic and heterogeneous nature poses to security and dependability and solutions. These solutions include the language that has developed for specifying S&D patterns. This volume is designed for researchers and practitioners focusing on the dynamic integration, deployment and verification of security solutions in highly distributed systems incorporating ambient intelligence features. This book is also suitable as a reference or secondary text book for advanced-level students in computer science or electrical engineering.
Adobe After Effects CS3 Professional Studio Techniques
Authors: Mark Christiansen
Venue:  (2007)

This is the only book in the After Effects market to focus exclusively on the creation of visual effects, and is a one-stop resource for anyone who wants in-depth explanations that demystify the realm of visual effects and how they were created, thanks to veteran author Mark Christiansen's friendly and accessible style. A thoroughly packed, informative read, this masterful guide focuses on explaining the essential concepts, features, and techniques that are key to creating seamless movie-quality visual effects. Readers will learn how to put After Effects to work to create the shots they need. Users who are comfortable with After Effects will find a helpful review of After Effects fundamentals--managing footage, viewing and editing layers, animating type, and more--so they can learn how to work smarter and more efficiently. Readers of all levels will learn core techniques for effects compositing: color matching, keying, rotoscoping, motion tracking, and emulating the camera. The final section of the book delves into creative explorations, demonstrating actual effects that readers might want to re-create. Readers will also find comprehensive coverage of all that's new in this upgrade. Throughout the book, beautiful full-color examples demonstrate what's possible, while the companion DVD offers plenty of sample footage and dozens of demos of the most useful After Effects plug-ins. .
A New Algorithm for the Selection of Control Cells in Boundary-Scan Interconnect Test
Authors: A. Quiros-Olozabal, M. A. Cifredo-Chacon
Venue: Journal of Electronic Testing: Theory and Applications (2009)

This paper presents an algorithm for the generation of the values to be loaded in the control cells of a Boundary-Scan (BS) chain during an interconnect test. The algorithm selects several groups of control cells while avoiding that two or more drivers excite the same net at the same time, allowing every net to be active for every test vector and testing every driver after the execution of the overall test process. It allows for 100% detection of short, open, stuck-at and driver transition faults on fully controllable and observable BS nets on virtually any BS board. In fact, only two minor requirements are imposed: (1) the sets of nets affected by two different control cells must be disjoint or one of them must be included in the other; (2) every net of a set affected by a control cell must have the same number of drivers. In addition, the algorithm can be implemented very easily, avoiding the need to explore all the possible combinations of values to be loaded in the control cells.
Verifying the Conformance of Agents with Multiparty Protocols
Authors: Laura Giordano, Alberto Martelli
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

The paper defines a notion of conformance of a set of k agents with a multiparty protocol with k roles, requiring the agents to be interoperable and to produce correct executions of the protocol. Conditions are introduced that enable each agent to be independently verified with respect to the protocol.
Software Engineering Practices: An Auditor's Perspective
Authors: Krzysztof Sacha
Venue: Proceeding of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07 (2007)

This report details part of the results of five software audits that were done to evaluate various aspects of the quality in five very big software projects. One result of our work was a method for software quality evaluation, which is described in detail elsewhere. Another result was a review of the software engineering practices and methods that were used throughout those projects by the development companies. The paper presents a survey of these practices and tries to answer the question which software development paradigms, processes and methods are used in the software industry and which of them can contribute to the final success of the project more than the others.
A higher-order strategy for eliminating common subexpressions
Authors: R. Daniel Resler, Victor Winter
Venue: Computer Languages, Systems and Structures (2009)

Optimizing compilers often perform an operation known as common subexpression elimination to improve code efficiency. Typically this is accomplished either by pruning a directed acyclic graph to replace eliminated subexpressions by memory fetches of stored values or by using partial-redundancy elimination, a data-flow analysis method. In this paper a higher-order strategic method is presented that rewrites expression trees to eliminate common subexpressions using equivalences in the lambda calculus. This approach offers several advantages-it is intuitive, transformations can be defined and applied within a high-level rewrite system, and it uses transformations for which correctness preservation can be proven.
Multi-step Annotation to Promote Reflective Learning with a Mobile Phone
Authors: N. Gotoda, K. Matsuura, K. Kanenishi, K. Niki, Y. Yano
Venue: Proceeding of the 2006 conference on Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding (2006)

The current Japanese society makes people bring mobile phone all the time and some university officially admits students to use it in the lecture. This paper proposes multi-step annotation environment using mobile phone as a trigger to start reflective learning. In the lecturing time, only thing to do is marking the important slide of the power-point by way of e-mail on the mobile phone. After the lecture, a student, who is the author of the e-mail, has to fulfill the annotating content marked by the e-mail. This paper reports the design and development of such a system.
A novel SONOS-type flash device with stacked charge trapping layer
Authors: Zong-Hao Ye, Kuei-Shu Chang-Liao, Te-Chiang Liu, Tien-Ko Wang, Pei-Jer Tzeng, Cha-Hsin Lin, Min-Jinn Tsai
Venue: Microelectronic Engineering (2009)

Although enhancement in electrical properties of flash devices with HfO"2 charge trapping layer has been reported, there are serious problems in retention characteristics. In this work, a novel SONOS-type flash device with TaN/Al"2O"3/HfO"2/Si"3N"4/SiO"2/Si structure is presented. Experimental results show that the program/erase speeds of the proposed devices can be enhanced by over one thousand times and the retention characteristic is improved as well.
Inducing student interaction in a virtual environment
Authors: Felipe Tirado, Alfonso Bustos, Alejandro Miranda, Ana Elena Del Bosque
Venue: Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education (2009)

In this paper we are reporting on an experimental research study. The study employed a mixed teaching procedure (traditional classroom -face to face- and virtual classroom). The purpose of the study was to induce student interactions in a virtual environment. The aim was to develop a series of specific skills by means of collaborative online work including collective essays and digital presentations.
Multi-tiered Peer Learning Support
Authors: C. -K. Looi, E. Ong, L. -H. Wong
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

We propose a Multi-tier Learning Support Scheme (MTLS) which enables effective and scalable peer support in a collaborative online learning environment to address its inherent problem of being unstructured and undirected. The structure consists of four tiers in descendent order, namely, e-Guru, e-Experts, e-Helpers and e-Learners. At the bottom tier, peer learners help each other with their problems. When issues and problems arise at a lower level that cannot be satisfactorily resolved at that level, the next level is invoked. This project looks into the “when” and “how” of “invoking the next level” as well as pedagogical frameworks for fostering peer learning.
Interface design and evaluation of a personal information space for mobile learners
Authors: Dionisios N. Dimakopoulos, George D. Magoulas
Venue: International Journal of Mobile Learning and Organisation (2009)

In response to the market penetration of mobile phones, educational institutions will soon focus on delivering information to mobile phones. This paper presents the design and evaluation of a prototype mobile application for lifelong learning. The application is a personal information space for mobile learners to access, compose and manage their learning in a variety of settings. As a result of the evaluation, a revised set of design guidelines is produced that can potentially feed into other attempts to develop a framework for designing applications for mobile learners.
Negotiation Process for Multi-Agent DSS for Manufacturing System
Authors: Noria Taghezout, Pascale Zaraté
Venue: Proceeding of the 2008 conference on Collaborative Decision Making: Perspectives and Challenges (2008)

Agents and multi-agent systems constitute nowadays a very active field of research. This field is very multidisciplinary since it is sustained by Artificial Intelligence, Distributed Systems, Software Engineering, etc. In most agent applications, the autonomous components need to interact. They need to communicate in order to solve differences of opinion and conflicts of interest. They also need to work together or simply inform each other. It is however important to note that a lot of existing works do not take into account the agents' preferences. In addition, individual decisions in the multi-agent domain are rarely sufficient for producing optimal plans which satisfy all the goals. Therefore, agents need to cooperate to generate the best multi-agent plan through sharing tentative solutions, exchanging sub goals, or having other agents' goals to satisfy. In this paper, we propose a new negotiation mechanism independent of the domain properties in order to handle real-time goals. The mechanism is based on the well-known Contract net Protocol. Integrated Station of Production agents will be equipped with a sufficient behavior to carry out practical operations and simultaneously react to the complex problems caused by the dynamic scheduling in real situations. These agents express their preferences by using ELECTRE III method in order to solve differences. The approach is tested through simple scenarios.
Interconnecting Data Centers Using VPLS, 1st edition
Authors: Nash Darukhanawalla, Patrice Bellagamba
Venue: Networking Technology (2009)

As data centers grow in size and complexity, enterprises are adopting server virtualization technologies such as VMware, VMotion, NIC teaming, and server clustering to achieve increased efficiency of resources and to ensure business resilience. However, these technologies often involve significant expense and challenges to deal with complex multisite interconnections and to maintain the high availability of network resources and applications. Interconnecting Data Centers Using VPLS presents Virtual Private LAN Service (VPLS) based solutions that provide high-speed, low-latency network and Spanning Tree Protocol (STP) isolation between data centers resulting in significant cost savings and a highly resilient virtualized network. The design guidance, configuration examples, and best practices presented in this book have been validated under the Cisco Validated Design (CVD) System Assurance program to facilitate faster, more reliable and more predictable deployments. The presented solutions include detailed information about issues that relate to large Layer 2 bridging domains and offer guidance for extending VLANs over Layer 3 networks using VPLS technology. Implementing this breakthrough Data Center Interconnect (DCI) strategy will evolve your network to support current server virtualization techniques and to provide a solid foundation for emerging approaches. The book takes you from the legacy deployment models for DCI, problems associated with extending Layer 2 networks, through VPN technologies, to various MST-, EEM-, and GRE-based deployment models and beyond. Although this book is intended to be read cover-to-cover, it is designed to be flexible and allow you to easily move between chapters to develop the solution most compatible with your requirements. Describes a variety of deployment models to effectively transport Layer 2 information, allowing your virtualization solution to operate effectively Explains benefits and trade-offs of various solutions for you to choose the solution most compatible with your network requirements to ensure business resilience Provides detailed design guidance and configuration examples that follow Cisco best practice recommendations tested within the CVD This book is part of the Networking Technology Series from Cisco Press, which offers networking professionals valuable information for constructing efficient networks, understanding new technologies, and building successful careers. $60.00 USA / $72.00 CAN