ppxscal/embedding_network huggingface dataset:
Exponential decay of errors of a fundamental solution method applied to a reduced wave problem in the exterior region of a disc
Authors: Fumihiro Chiba, Teruo Ushijima
Venue: Journal of Computational and Applied Mathematics (2009)

This paper concerns a fundamental solution method (FSM, in abbreviation) applied to a reduced wave problem in the exterior region of a disc. The convergent rate of approximate solutions to the exact one is proven to be asymptotically exponentially decreasing with respect to the number N of collocation points employed in an approximate problem. Using obtained FSM solutions we add two numerical tests: numerical estimate of errors including cases of high wave numbers; and visualization of total waves appeared in the scattering phenomena around a circular obstacle in the cases of @k=50 and @k=100, where @k is a normalized wave number, defined through @k= length of wave number vector x radius of the disc. In the second test, the total waves almost vanish behind the disc, seemingly corresponding to the phenomenon of shadowing in the classical literature of physics.
Practical Tactics for Separation Logic
Authors: Andrew Mccreight
Venue: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (2009)

We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctness properties of complex pointer-intensive programs. Our goal is to make separation logic as easy to use as the standard logic of a proof assistant. We have developed tactics for the simplification, rearranging, splitting, matching and rewriting of separation logic assertions as well as the discharging of a program verification condition using a separation logic description of the machine state. We have implemented our tactics in the Coq proof assistant, applying them to a deep embedding of Cminor, a C-like intermediate language used by Leroy's verified CompCert compiler. We have used our tactics to verify the safety and completeness of a Cheney copying garbage collector written in Cminor. Our ideas should be applicable to other substructural logics and imperative languages.
Acceptance of Future Technologies Using Personal Data: A Focus Group with Young Internet Users
Authors: Fabian Hermann, Doris Janssen, Daniel Schipke, Andreas Schuller
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

Future technologies in smart and social environments are expected to use personal data extensively. As young users of today's social web platforms already take risks of privacy loss, the question of acceptance of technology using personal data and influencing factors appears of to be of strong relevance. We present results from a focus group with ten young internet users which indicate different attitudes on privacy and different aspects of social influence on use decisions. Implications for technology acceptance theories are discussed.
Mobile Phone Interfaces for Informal Education
Authors: Júlio Cesar Reis, Rodrigo Bonacin, Maria Cecília Martins
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

The mobile computing represents a new possibility for the people "learning while doing" their everyday activities. The advent of mobile devices has created new opportunities that go beyond the simple communication; their software interfaces have a primary role in enabling the communication and collaboration among the evolved parties. In a learning environment for informal education, it is essential to design interfaces that minimize the interaction difficulties and maximize the learning activities itself. To achieve this, in this work is presented a design proposal and prototype of a mobile phone interface for mobile collaborative discussion. The proposal combines mobile learning with collaborative learning, stimulating the constitution of communities of practice aiming to promote the informal education.
Security policy specification for home network
Authors: Geon Woo Kim, Deok Gyu Lee, Jong Wook Han, Sang Wook Kim
Venue: International Journal of Ad Hoc and Ubiquitous Computing (2009)

As home network is expanding into ubiquitous computing environment and numerous home network services are available, we need to protect home network system from illegal accesses and a variety of threats. Home network is exposed to various cyber attacks of internet, involving hacking, malicious codes, worms, viruses, DoS attacks, and eavesdropping since it is connected to internet. So in this paper, we propose a new specification for security policy on home network for guaranteeing reliability and availability including authentication, authorisation and security policy deployment.
Face Detection Using a Time-of-Flight Camera
Authors: Martin Böhme, Martin Haker, Kolja Riemer, Thomas Martinetz, Erhardt Barth
Venue: Proceedings of the DAGM 2009 Workshop on Dynamic 3D Imaging (2009)

We adapt the well-known face detection algorithm of Viola and Jones to work on the range and intensity data from a time-of-flight camera. The detector trained on the combined data has a higher detection rate (95.3%) than detectors trained on either type of data alone (intensity: 93.8%, range: 91.2%). Additionally, the combined detector uses fewer image features and hence has a shorter running time (5.15 ms per frame) than the detectors trained on intensity or range individually (intensity: 10.69 ms, range: 5.51 ms).
Algorithm Research on Project Risk Fuzzy Evaluation
Authors: Kaidi Liu, Jimei Hao, Yanjun Pang
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

The core of project risk fuzzy evaluation is membership transformation, but the transformation algorithm includes redundancy that is useless for classification. In order to overcome the redundancy, we can excavate the information of the object classification hided in index membership to define the divisional right by the method of data excavation based on entropy, delete redundant index membership that are useless for classification by distinguishable weight, and extract effective value to compute object membership. Based on this, a new fuzzy comprehensive evaluation model to project risk fuzzy evaluation is proposed.
Stability Analysis of Grooved Journal Bearings in High-Speed Hard Disk Drive Considering Thermal Effect
Authors: Honglai Li, Shuzhong Lin, Jing Wang, Zhiguo Zheng, Jintai Lin, Zhongyu Liang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

A micro-rotating machinery such as hard disk drive requires high efficiency and robust dynamics in high operating speed. Herringbone grooved journal bearings are widely used for this application thanks to their excellent dynamic characteristics. The clearance between sleeve and shaft is filled with fluid lubricant. However, the temperature of the fluid film rises significantly as the frictional heat, thereby the viscosity of the fluid and the clearance of hydrodynamic bearings decrease. In this article, the thermal expansion of the sleeve’s inner radius was determined by LUO Zai’s method. It shows that the variation of clearance is an important design consideration which affects the stability of the hydrodynamic bearing of a hard disk drive spindle motor.
overView: physically-based vibrotactile feedback for temporal information browsing
Authors: Steven Strachan, Grégoire Lefebvre, Sophie Zijp-Rouzier
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

An approach to providing tangible feedback to users of a mobile device in both highly visual touchscreen-based and eyes-free interaction scenarios and the transition between the two is presented. A rotational dynamical systems metaphor for the provision of feedback is proposed, which provides users with physically based feedback via the audio, tactile and visual senses. By using a consistent metaphor in this way it is possible to support the seamless movement between highly visual touch-based interaction and eyes-free gestural interaction.
Regression Models of Atlas Appearance
Authors: Torsten Rohlfing, Edith V. Sullivan, Adolf Pfefferbaum
Venue: Proceedings of the 21st International Conference on Information Processing in Medical Imaging (2009)

Models of object appearance based on principal components analysis provide powerful and versatile tools in computer vision and medical image analysis. A major shortcoming is that they rely entirely on the training data to extract principal modes of appearance variation and ignore underlying variables (e.g., subject age, gender). This paper introduces an appearance modeling framework based instead on generalized multi-linear regression. The training of regression appearance models is controlled by independent variables. This makes it straightforward to create model instances for specific values of these variables, which is akin to model interpolation. We demonstrate the new framework by creating an appearance model of the human brain from MR images of 36 subjects. Instances of the model created for different ages are compared with average shape atlases created from age-matched sub-populations. Relative tissue volumes vs. age in models are also compared with tissue volumes vs. subject age in the original images. In both experiments, we found excellent agreement between the regression models and the comparison data. We conclude that regression appearance models are a promising new technique for image analysis, with one potential application being the representation of a continuum of mutually consistent, age-specific atlases of the human brain.
Understanding the Challenges in Securing Internet Routing
Authors: Ricardo Oliveira, Mohit Lad, Lixia Zhang
Venue: Proceedings of the 2009 Ninth Annual International Symposium on Applications and the Internet (2009)

The Internet routing system plays an essential role of gluing together tens of thousands of individual networks to create a global data deliverysubstrate.Over the years many efforts have been devoted to securing the routing system and a plethoraof solutions have been proposed.Yet none of the solutions has seen wide adoption in the operational Internet and the routing system security remains a serious concern.In this paper we articulate the fundamental challenges in rolling out new security solutions to the global routing system by categorizing the various proposed solutions into a few classes and identifying the difficulties and remaining issues in deploying each class of solutions.Our examination of the solution space shows that monitoring is an essential component in securing the routing system, and that the "detect and react'' class of solutions have the lowest hurdle in deployment and thus are most readily acceptable by the network operational community.
E-Mail Address Privacy via PEA's (Proxy E-Mails Accounts)
Authors: Syed Rahman Mashwani, Shah Khusro, A. Min Tjoa
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Doing business electronically is a major tendency among customers and businesses but there is always a threat about personal information privacy. E-mail address is one thing about which customers expect that e-businesses will not misuse it. Most e-businesses have privacy policy but that usually changes with time. And in case of violating privacy it is difficult to find the original source of violation. A lot of research work has been done to protect mailboxes from spam messages and to make e-mail addresses difficult to be harvested. However, these methods do not prove helpful in finding the original source of violation and those that do exist often require modification in either mail server or mail client which our proposed does not require. The main feature of our proposed system is to help users detect the exact source from where e-mail address was misused and to find the violators who violated the e-mail privacy policy by sending spam messages or selling e-mail addresses to third parties. Finding the exact privacy policy violators enables us to take legal action against them. And after finding a specific source, through this system a user can easily cut-off his relationship with them and by doing so they will not be able to send e-mails in future. So, people will not have to change their e-mail addresses again and again. If e-mail address is placed at “n” different places and is misused from one place then instead of making and redistributing new e-mail address to all correspondents, the exact correspondent is found out and dealt with, and for others the e-mail address does not change. It also indirectly helps the e-businesses in making the decision to change the format of placing e-mail addresses on site to make it difficult for harvesting. The Proposed system can be installed easily and does not need any change in the current infrastructure
A Hybrid Approach Handling Imbalanced Datasets
Authors: Paolo Soda
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

Several binary classification problems exhibit imbalance in class distribution, influencing system learning. Indeed, traditional machine learning algorithms are biased towards the majority class, thus producing poor predictive accuracy over the minority one. To overcome this limitation, many approaches have been proposed up to now to build artificially balanced training sets. Further to their specific drawbacks, they achieve more balanced accuracies on each class harming the global accuracy. This paper first reviews the more recent method coping with imbalanced datasets and then proposes a strategy overcoming the main drawbacks of existing approaches. It is based on an ensemble of classifiers trained on balanced subsets of the original imbalanced training set working in conjunction with the classifier trained on the original imbalanced dataset. The performance of the method has been estimated on six public datasets, proving its effectiveness also in comparison with other approaches. It also gives the chance to modify the system behaviour according to the operating scenario.
Application and Realization of Combined Neural Network in Architecture Design of Information Systems
Authors: Xu Xiaomin, Hu Ju
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Being based strongly on experience, while weekly on theories characterizes the architecture design of information systems, In this paper, by adopting SOM and BP neural network techniques, a multi-layer combined architecture of neural networks is put forward and realized, in the pattern-based methods of comprehensive design of information system; consequently a scientific and effective approach is searched to design the information system, as a contributive attempt to combine the artificial intelligence and information system development.
Multi-layer and Multi-aspect Design of CA System Security
Authors: Li-na Lan, Xin-yue Liu, Tao-hai Yang
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Security of CA system is a critical component which influences the security in E-Commerce. This paper analyzes the network architecture of CA system, and presents multi-layer and multi-aspect security architecture of CA system. This security design focuses on the network layer and application layer. Firewalls divide CA system network into different security grade areas. The following methods are employed in the application layer for security protects: add the sender time stamp in the packets to prevent repeat packets attack; clear to 0 in memory and save as encrypted data in the database for the important data to prevent invalid reading; use central monitor system. The design is employed in a real CA system successfully.
IBM Websphere Datapower B2b Appliance Xb60 Revealed
Venue:  (2009)

The IBM WebSphere DataPower B2B Appliance XB60 is a purpose-built, easy-to-use appliance that incorporates business-to-business (B2B) and integration functions into a consolidated B2B-i solution, providing a high-performance and security-enhanced B2B solution for trading partner connections. Part 1 of this IBM Redbooks publication provides a brief introduction to B2B and how the technology has evolved over the years along with a description of the most common B2B technologies and an overview of the IBM Software Services for WebSphere B2B Deployment methodology. Part 2 of this book provides step-by-step information related to the installation and configuration of the appliance and troubleshooting tips to use to resolve common configuration issues. Part 3 of this book provides common B2B scenarios that demonstrate how to integrate with other IBM products and how to trade EDI, XML, and binary data utilizing AS2 and AS3 B2B messaging protocols. This book was developed as a guide for anyone who is interested in deploying B2B integration solutions utilizing purpose-built appliances. 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
Extracting Relations from Chinese Web Documents Using Kernel Methods
Authors: Jing Qiu, Lejian Liao
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Extracting instances of a given target relation from a given Web page corpus seems to be the basic work to exploit nearly endless source of knowledge which provided by the World Wide Web. In this paper, we present an automated system which could extract instances of an arbitrary given binary relation from Chinese Web documents in domain of football games. Different syntactic sources are combined by Kernel methods. And dependency path is used as pattern information when discover relation pairs. Moreover, composite kernels are developed to show the usefulness of different syntactic sources. Experimental results show the effectiveness and benefits of our approach.
Exploiting contexts to deal with uncertainty in classification
Authors: Bianca Zadrozny, Gisele L. Pappa, Wagner Meira,  Jr., Marcos André Gonçalves, Leonardo Rocha, Thiago Salles
Venue: Proceedings of the 1st ACM SIGKDD Workshop on Knowledge Discovery from Uncertain Data (2009)

Uncertainty is often inherent to data and still there are just a few data mining algorithms that handle it. In this paper we focus on how to account for uncertainty in classification algorithms, in particular when data attributes should not be considered completely truthful for classifying a given sample. Our starting point is that each piece of data comes from a potentially different context and, by estimating context probabilities of an unknown sample, we may derive a weight that quantifies their influence. We propose a lazy classification strategy that incorporates the uncertainty into both the training and usage of classifiers. We also propose uK-NN, an extension of the traditional K-NN that implements our approach. Finally, we illustrate uK-NN, which is currently being evaluated experimentally, using a document classification toy example.
A Review of Uncertainty Methods Employed in Water Quality Modeling
Authors: Sen Peng, Xinhua Zhao
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

The aquatic environment is a complicated system with uncertainty. The study of uncertainty in water quality modeling can improve people’s understanding of the nature of the aquatic environment and it is important to the development of water quality modeling. The typology and sources of uncertainty is represented to improve the understanding and characterizing of the uncertainty in water quality modeling process. And according to the different sources, a comprehensive review on different methods of uncertainty study is made. The integration of different uncertainty methods, mathematical theories and algorithms is an important trend of water quality modeling research. The research on uncertainty is an essential part of water quality modeling. It is suggested that uncertainty should be investigated systemically within the entire process of water quality modeling.
The role of PASTA in network measurement
Authors: Françis Baccelli, Sridhar Machiraju, Darryl Veitch, Jean Bolot
Venue: IEEE/ACM Transactions on Networking (TON) (2009)

Poisson Arrivals SeeTimeAverages (PASTA) is a well-known property applicable to many stochastic systems. In active probing, PASTA is invoked to justify the sending of probe packets (or trains) at Poisson times in a variety of contexts. However, due to the diversity of aims and analysis techniques used in active probing, the benefits of Poisson-based measurement, and the utility and role of PASTA, are unclear. Using a combination of rigorous results and carefully constructed examples and counterexamples, we map out the issues involved and argue that PASTA is of very limited use in active probing. In particular, Poisson probes are not unique in their ability to sample without bias. Furthermore, PASTA ignores the issue of estimation variance and the central need for an inversion phase to estimate the quantity of interest based on what is directly observable. We give concrete examples of when Poisson probes should not be used, explain why, and offer initial guidelines on suitable alternative sending processes.
Separation of Overlapping and Touching Lines within Handwritten Arabic Documents
Authors: Nazih Ouwayed, Abdel Belaïd
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

In this paper, we propose an approach for the separation of overlapping and touching lines within handwritten Arabic documents. Our approach is based on the morphology analysis of the terminal letters of Arabic words. Starting from 4 categories of possible endings, we use the angular variance to follow the connection and separate the endings. The proposed separation scheme has been evaluated on 100 documents contains 640 overlapping and touching occurrences reaching an accuracy of about 96.88%.
Similarity Algorithm Based on Weighted Hierarchical Structure of XML Document
Authors: Xia Sun, Hong-Bin Cheng, Hai-Jun Wang
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

A similarity algorithm based on weighted hierarchical structure of XML document is brought forward. The algorithm can calculate the similarity among XML documents efficiently according to hierarchical structure. It can be powerful enough to distinguish the similar structural documents. Experimental results prove that the algorithm reduces the complexity and has fairly high performance. The approach presented in this paper can be used in many applications, such as clustering, structural extracting and change checking of XML documents, etc.
A Framework for Mining Stochastic Model of Business Process in Mobile Environments
Authors: Haiyang Hu, Bo Xie, Jidong Ge, Yi Zhuang, Hua Hu
Venue: Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20 - 23, 2009 (2009)

Using portable terminals do mobile business management is a trend in modern business process system. As the features of mobile wireless environments are dynamic and open, logs of business process system are often incomplete and noisy. In this situation, to model and analyze the behavior and performance of business process system efficiently, a framework is proposed in this paper to support mining and generating a formal stochastic model from the incomplete and noisy log related to the business system. Its architecture is presented, and the technology of maximum likelihood estimation to the tasks missing labels and association analysis on the task relations are discussed in details.