ppxscal/embedding_network huggingface dataset:
Efficient Parallelization of the Preconditioned Conjugate Gradient Method
Authors: Gilbert Accary, Oleg Bessonov, Dominique Fougère, Konstantin Gavrilov, Sofiane Meradji, Dominique Morvan
Venue: Proceedings of the 10th International Conference on Parallel Computing Technologies (2009)

In this paper we present methods for efficient parallelization of the solution of pressure Poisson equation arising in 3D CFD forest fire modeling. The solution procedure employs the Conjugate Gradient method with implicit Modified ILU (MILU) preconditioner. The basic idea for parallelizing recursive incomplete-decomposition algorithms is to use a direct nested twisted approach in combination with a staircase method. Parallelization of MILU-CG solver is implemented in OpenMP environment for Non-uniform memory (NuMA) computer systems. Performance results of the parallelized algorithm are presented and analyzed for different number of processors (up to 16).
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi
Authors: Alexander Lyaletski
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

A unified approach is developed for constructing first-order cut-free sequent calculi without equality representing two classes of modal logics in dependence of whether classical logic or intuitionistic one is taken as a basis. It uses the original notions of admissibility and compatibility, which, in general, permits to avoid skolemization being a forbidden operation for the logics under consideration.Additionally, it requires the modal sequent calculi to satisfy a so-called principle-subformula condition. Following the approach, cut-free sequent modal calculi avoiding the dependence of inference search on different orders of quantifier rules applications are described. Results relating to the coextensivity of various modal sequent calculi are given. The research gives a possibility to construct sound and complete methods for enough high efficient inference search in certain first-order modal logics if efficient technique for the handling of their propositional parts is available.
Mote Runner: A Multi-language Virtual Machine for Small Embedded Devices
Authors: A. Caracas, T. Kramp, M. Baentsch, M. Oestreicher, T. Eirich, I. Romanov
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

This paper introduces a new virtual machine for sensor networks and small embedded devices which has been designed with efficient resource usage and an event-driven programming model in mind. The virtual machine runs on 8, 16, and 32-bit micro-controllers with as little as 4KBof volatile and 32 KB of non-volatile memory. Our virtual machine is not bound to a single high-level programming language, but targets all strictly-typed programming languages.In conjunction with the virtual machine, we also present our development tool chain for Java and C#, and discuss the effects of our virtual machine design on these high-level languages. We also present a compact load-file format which allows applications to be stream-linked in a way that minimizes memory usage and bandwidth. All presented components are part of the IBM Mote Runner, a run-time environment for wireless sensor networks.
The GCA-w Massively Parallel Model
Authors: Rolf Hoffmann
Venue: Proceedings of the 10th International Conference on Parallel Computing Technologies (2009)

We introduce the GCA-w model (Global Cellular Automata with write access) that is an extension of the GCA (Global Cellular Automata) model, which is in turn an extension of the cellular automata (CA) model. All three models are called "massively parallel" because the models are based on cells that are updated synchronously in parallel. In the CA model, the cells have static links to their local neighbors whereas in the GCA model, the links are dynamic to any global neighbor. In both models, the access is "read-only". Thereby no write conflict can occur which reduces the complexity of the model and its implementation. The GCA model can be used for many parallel problems that can be described with a changing global (or locally restricted) neighborhood. The main restriction of the GCA model is the forbidden write access to neighboring cells. Although the write access can be emulated in O(log n) time this slowdown is not desired in practical applications. Therefore, the GCA-w model was developed. The GCA-w model allows to change the state of the own cell as well as the states of the neighboring cells. Thereby parallel algorithms can be executed faster and the activity of the cells can be controlled in order, e.g., to reduce power consumption or to use inactive cells for other purposes. The application of the GCA-w model is demonstrated for some parallel algorithms: pointer inversion, sorting with pointers, synchronization and Pascal's triangle. In addition, a hardware architecture is outlined which can execute this model.
Wireless Search and Rescue Command System Based on Live Animals
Authors: Bo You, Jiqiang Luan
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Aimed at their own respective characteristic and constraints of police dogs and robots in the fields of counterterrorism and rescuing, live animals and electrical device has been organically integrated, and wireless search rescue chain of command has been proposed and designed. It comprises of the portable handhold command systems devices and working dogs robotic systems. Through the Coding Orthogonal Frequency Division Multiplexing (COFDM) audio-visual system wireless transmission has been achieved; at the same time using Fast Fourier algorithm the real-time transmission of the system has also been improved. Through the experimental test, not only does the system avoid a routine search and rescue robot design complexity, but also broaden the scope of the search and rescue operations, and it is more suitable for the new requirements under complicated conditions.
A File Carving Algorithm for Digital Forensics
Authors: Deok-Gyu Park, Sang-Joon Park, Jong-Chan Lee, Si-Young No, Seong-Yoon Shin
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part I (2009)

The File-Carving algorithm when doing file rehabilitation, the part is which important. "Carving" is the term most often used to indicate the act of recovering a file from unstructured digital forensic images. Until present time the file caring algorithm which becomes known the file is continuous, n case it knows Header and Footer information the file carving which is accurate becomes accomplished. The present paper the hazard which amends the problem point where the original broad way rehabilitation does not become a file and it amends a problem point design.
Research on Chaotic Characteristics for Freeway Traffic Flow
Authors: Yu-mei Zhang, Shi-ru Qu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Applying single lane cellular automaton (CA) model, this paper discusses how vehicles affect each other so as to qualitatively account for chaotic mechanism for freeway traffic flow. Then, based on Greenshields’ model we construct dynamic discrete traffic flow model with the form of Logistic map and present dynamic analysis for this model. We take the occupancy as model variable and the ratio of free flow speed to average speed as the control parameters of the model. By controlling the constructed model parameters we theoretically analyze the different traffic flow condition and the producing and transformation mechanism of chaos for freeway traffic flow.
Deformation Analytic Computation of Throttle Slice of Shock Absorber
Authors: Changcheng Zhou, Canchang Liu, Leilei Zhao
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

Based on the governing differential equation for deformation of throttle slice, while satisfying required boundary conditions, an analytical formula for computing the deformation of throttle slice was presented through equivalency transformation, which is a concise, accurate and practical method for throttle slice design. The deformation at any radius was computed, compared with ANSYS FEA software by the simulation analysis. The result shows that the new method is an accurate analytical method for computing the deformation of throttle slice at any radius, suitable to use in the design of valves parameters.
Human Head Modeling and Personal Head Protective Equipment: A Literature Review
Authors: Jingzhou (James) Yang, Jichang Dai, Ziqing Zhuang
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

Human head is the most important but fragile part of human body. In order to design the head-gear and study the sophisticated capabilities of human head, the head models have been developing for decades. There are two types of human head models: digital headform and finite element model (biomechanical head model). The complexity of head structure makes these attempts very difficult until the invention of the high-speed computers and the modern medical devices like computed tomography (CT) or magnetic resonance imaging (MRI). Head modeling also has widely potential use in the design process of personal head and face protective equipment (PHFPE). Hazards of processes or environment, chemical hazards, radiological hazards, or mechanical irritants are encountered daily for workers. Those hazards are capable of causing injury or illness through absorption, inhalation, or physical contact. PHFPE includes helmets, masks, eye protection and hearing protection. This study attempts to review different kinds of head models and PHFPE, such as respirators, helmets and goggles. It mainly focuses on the historical developments.
Generalized Ball Curves of Ninth Degree
Authors: LanLan Yan, GuoGen Wu, JiongFeng Liang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Two kinds of polynomial bases with parameter are constructed in this paper. Based on these bases, two kinds of curves with shape parameter are defined. The first kind of curve contained the Wang-Ball and Said-Ball curve of ninth degree and many curves located between them. The second kind of curve contained the Said-Ball and Bézier curve of ninth degree and many curves located between them. By analyzing the relation between the new curves and the Bézier curve of ninth degree, the geometric meaning of the shape parameters are gotten, and the geometrical drawing method of the new curves are given out in virtue of the de-Casteljau algorithm of the Bézier curve.
A New Modeling Method on Skull Defect Repair
Authors: Fei You, Qingxi Hu, Yuan Yao, Qi Lu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

To obtain the fairing surface model of the loss part of detective skull rapidly, a new modeling method on skull defect repair is proposed in this paper. This method is to adopt the surface reconstruction algorithm to construct the local model of defective skull based on the sub-pixel cube model. The hole’s feature on the surface is automatically identified by adopting the dihedral angle criteria algorithm, and two three-dimensional polygons are generated by searching the boundary edge of the hole. The polygon is triangulated based on the minimum area principle, and the mesh is refined based on the shortest edge principle. The weighted umbrella-operator is applied to control the curvature transformation of the patching mesh for smoothing it, and the fairing surface patch is generated. Then, the prosthesis model of defective skull is generated by Boolean calculation between every two key models. The modeling efficiency and precision are too higher.
A Proposal of XB-Method, an Idea Generation System for New Services Using User Experiences
Authors: Naoka Misawa, Mitsuru Fujita
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

These days, due to diversifying standards of living, people seek such a sense of impression in products and services. We therefore developed XB-method, an idea generation system, in order to inspire the affecting experience, and that have been difficult through the conventional process in the current product planning. XB-method is a method which enables us to generate the affecting experience with multiplying the database of keywords statistically-extracted from user experiences by images of commodities in order to inspire the new product and services with the affecting experience effectively in user's perspective.
Evaluation of Scalable Proxy Mobile IPv6 in Wireless Mesh Networks
Authors: Huu-Nghia Nguyen, Christian Bonnet
Venue: Proceedings of the 2009 Second International Conference on Advances in Mesh Networks (2009)

This paper evaluates our work of Scalable Proxy Mobile IPv6 (SPMIPv6) in a Wireless Mesh Network (WMN), which is a promising solution for ubiquitous Internet access and a wide range of applications. The aspects of scalability and signaling cost are evaluated respectively: the scalability is evaluated by numerical analysis while the signaling cost with respect to delay is evaluated by a virtualization-based method. It is shown that the SPMIPv6 extension can scale the network better than the base Proxy Mobile IPv6 (PMIPv6) protocol. The quantitative results are provided to complete our previous qualitative results and to validate the application of SPMIPv6 for WMN.
Remote Conversation Support for People with Aphasia: Some Experiments and Lessons Learned
Authors: Kazuhiro Kuwabara, Shohei Hayashi, Takafumi Uesato, Kohei Umadome, Keisuke Takenaka
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

This paper describes a system for supporting remote conversation for people with aphasia. We have constructed an initial prototype using Skype for video chat and the RemoteX plug-in for screen sharing over a network. Preliminary experiments conducted using the prototype have revealed that simply providing video chat and screen-sharing functions is not sufficient for supporting remote conversation with people with aphasia. We propose various simple communication tools to facilitate questioning and answering in the remote conversation, where a person with aphasia can reply by marking an appropriate portion of a window provided by the tool. Their effectiveness is demonstrated through experiments.
A Real-Time Transfer and Adaptive Learning Approach for Game Agents in a Layered Architecture
Authors: Yingying She, Peter Grogono
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

Game agents(NPCs) should have the ability to react in cooperate, and have the ability to learn from mistakes and build up their own experience. In this paper, we describe a general approach for transfer learning and adaptive mechanism for game agents' real-time planning and learning system in which agents modify their behavior in response to changes of the PCs.
Reality of botnet cyberwarfare
Authors: Alan Zeichick
Venue: netWorker (2009)

Whoever knows isn't talking.
Integrating models of discrimination and characterization for learning from examples in open domains
Authors: Paul Davidsson
Venue: Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2 (1997)

It is argued that in applications of concept learning from examples where not every possible category of the domain is present in the training set (i.e., most real world applications), classification performance can be improved by integrating suitable discriminative and characteristic classification schemes. The suggested approach is to first discriminate between the categories present in the training set and then characterize each of these categories against all possible categories. To show the viability of this approach, a number of different discriminators and characterizers are integrated and tested. In particular, a novel characterization method that makes use of the information about the statistical distribution of feature values that can be extracted from the training examples is used. The experimental results strongly supports the thesis of the paper.
CR-Prolog as a Specification Language for Constraint Satisfaction Problems
Authors: Marcello Balduccini
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

In this paper we describe an approach for integrating CR-Prolog and constraint programming, in which CR-Prolog is viewed as a specification language for constraint satisfaction problems. Differently from other methods of integrating ASP and constraint programming, our approach has the advantage of allowing the use of off-the-shelf, unmodified ASP solvers and constraint solvers, and of global constraints, which substantially increases practical applicability.
Management at the Outsourcing Destination - Global Software Development in India
Authors: Sadhana Deshpande, Ita Richardson
Venue: Proceedings of the 2009 Fourth IEEE International Conference on Global Software Engineering (2009)

In Global Software Engineering Research, there have been many studies carried out from the perspective of the company who is outsourcing software development. However, very few studies focus on the companies to whom the software development is being outsourced. In this paper, we highlight India as a major outsourcing destination and present experience from companies that manage outsourced software development. In carrying out this activity, Indian software companies have confronted various issues which are local, remote, internal and external and for which solutions have been instigated. This paper presents research carried out within Indian software companies in which we investigated issues faced when implementing global software development and the solutions used by these companies. We present these solutions so that they can be followed by other outsourcing destinations thus enabling them to operate successfully across geographical, national and international cultural boundaries.
An Innovative Way of Understanding Learning Processes: Eye Tracking
Authors: Berrin Dogusoy, Kursat Cagiltay
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

This paper aims to present findings on the use of eye-tracking technology as a new approach from an educational perspective. The studies in this paper on relationship between learning and eye-movements have focused on concept-map formation, learning from multimedia materials, designing materials with different cognitive strategies, multimodal comprehension of language and graphics with and without annotation, computer games and cognitive style effects of computer based interfaces and hypertext environment. The results of the Middle East Technical University (METU) Human Computer Interaction (HCI) research group's eye-tracking based research studies presented and discussed how this approach helps educators to better understand learning processes of humans. Understanding and using this innovative approach is important for both educators and researchers in terms of comprehending learning processes deeply.
Interactive Sonification of Curve Shape and Curvature Data
Authors: Simon Shelley, Miguel Alonso, Jacqueline Hollowood, Michael Pettitt, Sarah Sharples, Dik Hermes, Armin Kohlrausch
Venue: Proceedings of the 4th International Conference on Haptic and Audio Interaction Design (2009)

This paper presents a number of different sonification approaches that aim to communicate geometrical data, specifically curve shape and curvature information, of virtual 3-D objects. The system described here is part of a multi-modal augmented reality environment in which users interact with virtual models through the modalities vision, hearing and touch. An experiment designed to assess the performance of the sonification strategies is described and the key findings are presented and discussed.
Orchestration support for request management in collaborative company networks
Authors: Heiko Thimm, Karsten Boye Rasmussen
Venue: International Journal of Computer Applications in Technology (2009)

Small and medium-sized companies benefit from participation in collaborative networks that allow the companies in symbiotic collaboration to perform tasks that would be out of reach for any single company. An inquiry to the network has to be orchestrated into a virtual organisation where each of the selected companies delivers products and services directed towards the fulfilment of the request. The orchestration is performed by a moderator who faces the challenge to select members for a configuration (network actor set) that constitutes the 'best fit' to an obtained inquiry. The 'fit' is determined by complicated constraints. These constraints refer to the multitude of different conditions and preferences relevant to orchestrating a virtual organisation including factors of the given inquiry, the offerings and preferences of the single companies and also the economic and collaboration history of the whole network. This paper describes the basic algorithmic design of an IT solution that acts as decision support for the moderator of company networks.
High-Speed Data Sampling Based on FPGA and Its Application in Flowmeter
Authors: Wang Yuhui, Dai Ju
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Abstract—The measurement principle and hardware structure of a new-style time-difference method ultrasonic flowmeter are presented. Software arithmetic based on FPGA high-speed data sampling technology is put forward. Sample speed is up to 80MHz and sample depth is 1K byte, it can fulfill the requirement of ultrasonic flowmeter software arithmetic to sampling. The design can upgrade on-line. Thus, system’s whole performance is improved.
Technology-Enhanced Role-Play for Intercultural Learning Contexts
Authors: Mei Yii Lim, Michael Kriegel, Ruth Aylett, Sibylle Enz, Natalie Vannini, Lynne Hall, Paola Rizzo, Karin Leichtenstern
Venue: Proceedings of the 8th International Conference on Entertainment Computing (2009)

Role-play can be a powerful educational tool, especially when dealing with social or ethical issues. However while other types of education activity have been routinely technology-enhanced for some time, the specific problems of supporting educational role-play with technology have only begun to be tackled recently. Within the eCIRCUS project we have designed a framework for technology-enhanced role-play with the aim of educating adolescents about intercultural empathy. This work was influenced by related fields such as intelligent virtual agents, interactive narrative and pervasive games. In this paper we will describe the different components of our role-play technology by means of a prototype implementation of this technology, the ORIENT showcase. Furthermore we will present some preliminary results of our first evaluation trials of ORIENT.