ppxscal/embedding_network huggingface dataset:
Optimal selections of orthodontic mini-implant diameter and length by biomechanical consideration: A three-dimensional finite element analysis
Authors: Lin Jiang, Liang Kong, Tao Li, Zexu Gu, Rui Hou, Yinzhong Duan
Venue: Advances in Engineering Software (2009)

A finite element analysis was carried out to evaluate continuous and simultaneous variations of orthodontic mini-implant diameter and length, and to identify their optimal ranges in the maxillary posterior region. Within the ranges of diameter from 1.0mm to 2.0mm and the length from 6.0mm to 16.0mm, our results showed that the increases of the diameter and length reduced the maximum equivalent stresses in cortical, cancellous bones and mini-implant by 80.94%, 91.84% and 86.11%, respectively, and the maximum displacement in the mini-implant by 81.29%. When the diameter exceeded 1.5mm and the length exceeded 11.0mm, the mini-implant achieved the best stability and the lowest levels of stress and displacement. At the similar increment, the change in the diameter was more effective than the change of length in reducing bone-implant complex stresses and enhancing mini-implant stability. Diameter exceeding 1.5mm in combination with the longest length in safety range were the optimal biomechanical choice for the maxillary posterior region in a screwed orthodontic mini-implant.
Global Classification of Two-Component Approximately Integrable Evolution Equations
Authors: Peter H. van&#x00a0;der Kamp
Venue: Foundations of Computational Mathematics (2009)

We globally classify two-component evolution equations, with homogeneous diagonal linear part, admitting infinitely many approximate symmetries. Important ingredients are the symbolic calculus of Gel&#x2019;fand and Diki&#x012d;, the Skolem&#x2013;Mahler&#x2013;Lech theorem, an algorithm of Smyth, and results on diophantine equations in roots of unity obtained by Beukers. 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
Integrated Software Engineering Methodology
Authors: Zhao Chi-long, Tu Hong-lei, Sun Wei
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

In this paper, the meta-data oriented method in software engineering is illustrated in detail. Summarize that the four methods, which are procedure-oriented, object-oriented, meta-data oriented, and formalization modeling, consist a relatively complete software engineering methodology. This paper also proposed a practical theory on software system implementation, which is flow-oriented analysis, meta-data oriented design, object-oriented implementation, functionality-oriented test and procedure-oriented management.
Cryptanalysis of RadioGatún
Authors: Thomas Fuhr, Thomas Peyrin
Venue: Fast Software Encryption: 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers (2009)

In this paper we study the security of the RadioGatún family of hash functions, and more precisely the collision resistance of this proposal. We show that it is possible to find differential paths with acceptable probability of success. Then, by using the freedom degrees available from the incoming message words, we provide a significant improvement over the best previously known cryptanalysis. As a proof of concept, we provide a colliding pair of messages for RadioGatún with 2-bit words. We finally argue that, under some light assumption, our technique is very likely to provide the first collision attack on RadioGatún.
Development of a Kinematic Hand Model for Study and Design of Hose Installation
Authors: Thomas J. Armstrong, Christopher Best, Sungchan Bae, Jaewon Choi, D. Christian Grieshaber, Daewoo Park, Charles Woolley, Wei Zhou
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

Kinematic hand models can be used to predict where workers will place their fingers on work objects and the space required by the hand. Hand postures can be used to predict hand strength. Kinematic models also can be used to predict tissue stresses and to study work-related musculoskeletal disorders. Study and design of manual hose installation is an important application for kinematic hand models. Hoses are widely used in many mechanical systems such as autos, aircraft and home appliance, which are all mass-produced on assembly lines. Studies of automobile assembly jobs show that hose installations are one of the most physically demanding jobs that workers perform. Hoses are a good starting point for kinematic model development because they can be characterized as simple cylinders.
Scalable Detection of MPI-2 Remote Memory Access Inefficiency Patterns
Authors: Marc-André Hermanns, Markus Geimer, Bernd Mohr, Felix Wolf
Venue: Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface (2009)

Wait states in parallel applications can be identified by scanning event traces for characteristic patterns. In our earlier work, we have defined such patterns for mpi-2 one-sided communication, although still based on a trace-analysis scheme with limited scalability. Taking advantage of a new scalable trace-analysis approach based on a parallel replay, which was originally developed for mpi-1 point-to-point and collective communication, we show how wait states in one-sided communications can be detected in a more scalable fashion. We demonstrate the scalability of our method and its usefulness for the optimization cycle with applications running on up to 8,192 cores.
Large eddy simulation of turbulent heat transport in the Strait of Gibraltar
Authors: Mofdi El-Amrani, Mohammed Seaïd
Venue: Mathematics and Computers in Simulation (2009)

We develop a numerical model for large eddy simulation of turbulent heat transport in the Strait of Gibraltar. The flow equations are the incompressible Navier-Stokes equations including Coriolis forces and density variation through the Boussinesq approximation. The turbulence effects are incorporated in the system by considering the Smagorinsky model. As a numerical solver we propose a finite element semi-Lagrangian method. The solution procedure consists of combining a non-oscillatory semi-Lagrangian scheme for time discretization with the finite element method for space discretization. Numerical results illustrate a buoyancy-driven circulations along the Strait of Gibraltar and the sea-surface temperature is flushed out and move to northeast coast. The Ocean discharge and the temperature difference are shown to control the plume structure.
Crossing Spatial and Temporal Boundaries in Globally Distributed Projects: A Relational Model of Coordination Delay
Authors: Jonathon N. Cummings, J. Alberto Espinosa, Cynthia K. Pickering
Venue: Information Systems Research (2009)

In globally distributed projects, members have to deal with spatial boundaries (different cities) and temporal boundaries (different work hours) because other members are often in cities within and across time zones. For pairs of members with spatial boundaries and no temporal boundaries (those in different cities with overlapping work hours), synchronous communication technologies such as the telephone, instant messaging (IM), and Web conferencing provide a means for real-time interaction. However, for pairs of members with spatial and temporal boundaries (those in different cities with nonoverlapping work hours), asynchronous communication technologies, such as e-mail, provide a way to interact intermittently. Using survey data from 675 project members (representing 5,674 pairs of members) across 108 projects in a multinational semiconductor firm, we develop and empirically test a relational model of coordination delay. In our model, the likelihood of delay for pairs of members is a function of the spatial and temporal boundaries that separate them, as well as the communication technologies they use to coordinate their work. As expected, greater use of synchronous web conferencing reduces coordination delay for pairs of members in different cities with overlapping work hours relative to pairs of members with nonoverlapping work hours. Unexpectedly, greater use of asynchronous e-mail does not reduce coordination delay for pairs of members in different cities with nonoverlapping work hours, but rather reduces coordination delay for those with overlapping work hours. We discuss the implications of our findings that temporal boundaries are more difficult to cross with communication technologies than spatial boundaries.
Task tolerance of MT output in integrated text processes
Authors: John S. White, Jennifer B. Doyon, Susan W. Talbott
Venue: ANLP-NAACL 2000 Workshop: Embedded Machine Translation Systems (2000)

The importance of machine translation (MT) in the stream of text-handling processes has become readily apparent in many current production settings as well as in research programs such as the Translingual Information Detection, Extraction, and Summarization (TIDES) program. The MT Proficiency Scale project has developed a means of baselining the inherent "tolerance" that a text-handling task has for raw MT output, and thus how good the output must be in order to be of use to that task. This method allows for a prediction of how useful a particular system can be in a text-handling process stream, whether in integrated, MT-embedded processes, or less integrated user-intensive processes.
Quality-driven architecture development using architectural tactics
Authors: Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park
Venue: Journal of Systems and Software (2009)

This paper presents a quality-driven approach to embodying non-functional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architectural building blocks, providing general architectural solutions for common issues pertaining to quality attributes. In this approach, architectural tactics are represented as feature models, and their semantics is defined using the Role-Based Metamodeling Language (RBML) which is a UML-based pattern specification notation. Given a set of NFRs, architectural tactics are selected and composed, and the composed tactic is used to instantiate an initial architecture for the application. The proposed approach addresses both the structural and behavioral aspects of architecture. We describe the approach using tactics for performance, availability and security to develop an architecture for a stock trading system. We demonstrate tool support for instantiating a composed tactic to generate an initial architecture of the stock trading system.
Relationship between Approximability and Request Structures in the Minimum Certificate Dispersal Problem
Authors: Tomoko Izumi, Taisuke Izumi, Hirotaka Ono, Koichi Wada
Venue: Proceedings of the 15th Annual International Conference on Computing and Combinatorics (2009)

Given a graph G = (V,E) and a set R ¿ V×V of requests, we consider to assign a set of edges to each node in G so that for every request (u, v) in R the union of the edge sets assigned to u and v contains a path from u to v. The Minimum Certificate Dispersal Problem (MCD) is defined as one to find an assignment that minimizes the sum of the cardinality of the edge set assigned to each node. In this paper, we give an advanced investigation about the difficulty of MCD by focusing on the relationship between its (in)approximability and request structures. We first show that MCD with general R has ¿(logn) lower and upper bounds on approximation ratio under the assumption P ¿ NP, where n is the number of nodes in G. We then assume R forms a clique structure, called Subset-Full, which is a natural setting in the context of the application. Interestingly, under this natural setting, MCD becomes to be 2-approximable, though it has still no polynomial time approximation algorithm whose factor better than 677/676 unless P = NP. Finally, we show that this approximation ratio can be improved to 3/2 for undirected variant of MCD with Subset-Full.
Marked adpositions
Authors: S. A. M. Lestrade
Venue: Proceedings of the Third ACL-SIGSEM Workshop on Prepositions (2006)

This paper discusses the partitive-genitive case alternation of Finnish adpositions. This case alternation is explained in terms of bidirectional alignment of markedness in form and meaning. Marked PP meanings are assigned partitive case, unmarked ones genitive case.
Interactive Fluid Simulation Using Augmented Reality Interface
Authors: Makoto Fujisawa, Hirokazu Kato
Venue: Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009 (2009)

This paper presents an interactive fluid simulation system using augmented reality interface. The presented system uses Smoothed Particle Hydrodynamics to simulate the behavior of liquid and adopts a particle-particle interaction approach to calculate the surface tension that becomes important in a small-scale liquid. Fluid-solid interaction can be calculated effectively by representing a solid as a distance function. Therefore, the shape of the solid can be represented precisely without increasing the number of the particles. Moreover, The system can directly operate the solid by augmented reality interface.
Motor Fault Diagnosis Based on Wavelet Energy and Immune Neural Network
Authors: Xin Wen, David Brown, Honghai Liu, Qizheng Liao, Shimin Wei
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Motor fault diagnosis methods are crucial in acquiring safe and reliable operation in motor drive systems. In this paper, a new method for the motor fault diagnosis is proposed based on wavelet packet transform (WPT) and artificial neural network (ANN). The energy of the vibration signals of motor can be obtained by the multi-decomposition of WPT and used as feature values of ANN inputs for fault diagnosis system. The artificial immune algorithm (AIA) for data clustering is employed to adaptively choose the centers and widths of the hidden layer centers of the radial basis function neural network (RBFNN). The simulation experiment results show the applicability and effectiveness of the proposed method to motor fault diagnosis.
The Application of Fuzzy Control in Strategic Decision-Making of Small and Medium Enterprises
Authors: Zhengyuan Jia, Lihua Gong, Jia Han
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

In China small and medium enterprises is an important component of the national economic system, and play an essential role in the development of national economy. small and medium enterprises (SMEs) are different from the mature large-scale enterprises, having their own special attributes, and management focus, with its corporate strategy being not clear and fuzzy. This paper aiming at the strategy of small and medium-sized enterprises special attributes develops the decision-making tool of small and medium enterprises (SMEs) under the conditions of strategic ambiguity policy through combination with the theory of fuzzy control. The model can help small and medium enterprises (SMEs) train their own core strengths, and will enable enterprise to explore gradually clearer development strategy.
Confluence of Active and Passive Control Mechanisms Enabling Autonomy and Terrain Adaptability for Robots in Variable Environments
Authors: Richard H. Harkins, Thomas Dunbar, Alexander S. Boxerbaum, Richard J. Bachmann, Roger D. Quinn, Ravi Vaidyanathan, Stuart C. Burgess
Venue: Proceedings of the Advances in Electrical and Electronics Engineering - IAENG Special Edition of the World Congress on Engineering and Computer Science 2008 (2008)

We report the successful design and fabrication of an autonomous robot, dubbed the CASE/NPS Beach Whegs™ robot, capable of navigating the challenging terrain of the non-submersed surf-zone region based on abstracted biological inspiration. Abstracted biological inspiration attempts to distill salient biological principles and implement them using presently available technologies; its efficacy lies in the successful fusion of organic and inorganic architectures such that the proper level of influence of biology is established for optimum performance. The CASE/NPS Beach Whegs™ robot benefits from insect inspired mechanisms of locomotion for movement over challenging and different terrains. The robot’s mechanics are an integrated and essential part of its control system. It does not have, or need, sensors and control circuits to actively change its gait. Instead, its mechanics cause it to passively adapt its gait appropriately to very different terrains. Therefore, its motor control circuits are reduced to controlling broad directives of the robot. Its navigational system is a higher-level circuit that communicates desired speed and heading to the local control system. The confluence of active and passive control mechanisms in the robot have resulted in a system with the simplicity of a wheeled vehicle that nevertheless facilitates the mobility of a legged vehicle.
MOVE: A Generic Service Composition Framework for Service Oriented Architectures
Authors: Albert Rainer, Jürgen Dorn
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

One main requirement for virtual organizations are shortterm collaborations between business partners to provide efficient and individualized services to customers. The MOVE project targets at a methodology and a software framework to support such flexible collaborations based on process oriented design and communication by Web services. MOVEs framework supports the graphical design and verification of business processes, the execution and supervision of processes in transaction-oriented environment, and the dynamic composition and optimization of processes. A business process may be composed from a set of Web services, deployed itself as Web service and executed in the framework. The automated composition of processes from Web services is implemented with methods from AI-planning. We map Web service descriptions, domain knowledge and customer requests into PDDL, an input language of AI-planners. We show the performance of our program with one typical AI planning system and give some implementation details. Finally we conclude with some remarks about further research.
3D Virtual Environments for the Rehabilitation of the Blind
Authors: Julio Villane, Jaime Sánchez
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

The accretion of orientation and mobility skills in blind people is fundamental for the development of an independent life. To these ends, activities oriented towards reinforcing this line of knowledge require direct interactions with spaces in real places, and the assistance of an educator or a companion as well. The objective of this study was to design, implement and evaluate 3D virtual environments in order to evaluate orientation and mobility learning in an unfamiliar environment based on the use of such environments. The procedure was provided by a learning stage in which the user learned to move about in the virtual environments, followed by an interaction stage in which he/she traveled virtually through the environments, to then travel the virtual environments that had been navigated virtually in the real world. To simulate the virtual surroundings, Unreal Engine was used, which is a gaming engine that allows for the construction of scenarios through a graphic editor. The results obtained show that the users were able to run the established route without any difficulties, for which reason it can be established that it is possible to produce mental models of real places through virtual interactions guided only by auditory cues.
Texture Image Classification Using Perceptual Texture Features and Gabor Wavelet Features
Authors: Muwei Jian, Lei Liu, Feng Guo
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

Texture is a key component for human visual perception and plays an important role in image-related applications. This paper combines perceptual texture features and Gabor wavelet features for texture image classification. Three new texture features which are proved to be in accordance with human visual perception are introduced. These features include directionality, contrast and coarseness in wavelet domain. We test our proposed method using the Brodatz texture database, and the experimental results show the scheme has produced promising results.
Quantum Algorithms of the Vertex Cover Problem on a Quantum Computer
Authors: Weng-Long Chang, Ting-Ting Ren, Mang Feng, Shu-Chien Huang, Lai Chin Lu, Kawuu Weicheng Lin, Minyi Guo
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

In this paper, it is demonstrated that solving an instance of the vertex cover problem of any graph G with m edges and n vertices can be implemented by Hadamard gates, NOT gates, CNOT gates, CCNOT gates, Grover’s operators, and quantum measurements on a quantum computer. To test our theory, an NMR (nuclear magnetic resonance) experiment for the simplest vertex-cover problem is also performed.
An Electromechanical Film Sensor Based Wireless Ballistocardiographic Chair: Implementation and Performance
Authors: Sakari Junnila, Alireza Akhbardeh, Alpo Värri
Venue: Journal of Signal Processing Systems (2009)

New sensor technologies open possibilities for measuring traditional biosignals in new innovative ways. This, together with the development of signal processing systems and their increasing computing power, can sometimes give new life to old measurement techniques. Ballistocardiogram (BCG) is one such technique, originally promising but later replaced by the now very popular electrocardiogram. It's usability was previously limited by the large size of the devices required to record it, and the complex nature of the recorded signal, which gave little information in visual inspection. In this paper, we present how a lightweight and flexible electromechanical film (EMFi) sensor can be used to record BCG. A ballistocardiographic chair, designed to look like a normal office chair, was built and fitted with two sensitive EMFi sensors. Two different measurement setups to record the signal from the EMFi sensors were developed. The first, so-called wired setup, uses a commercial bio-amplifier, and a special pre-amplifier to interface to it. The latter, so-called wireless setup, uses our own hardware to transmit the recorded digitized signals wirelessly to a nearby PC. Both of these systems are presented and their performance evaluated. Also, the suitability, limitations and advantages of the EMFi sensor over existing sensors and methods are discussed. The validity of the EMFi sensor and amplifier output is tested using a mechanical vibrator. Lastly, a summary of signal analysis methods developed for our system is given. The developed systems have be used for medical BCG measurements, and the recordings indicate that the both the systems are functional and capture useful BCG signal components.