ppxscal/embedding_network huggingface dataset:
Statistical Deformable Model-Based Reconstruction of a Patient-Specific Surface Model from Single Standard X-ray Radiograph
Authors: Guoyan Zheng
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

In this paper, we present a hybrid 2D-3D deformable registration strategy combining a landmark-to-ray registration with a statistical shape model-based 2D-3D reconstruction scheme, and show its application to reconstruct a patient-specific 3D surface model of the pelvis from single standard X-ray radiograph. The landmark-to-ray registration is used to find an initial scale and an initial rigid transformation between the X-ray image and the statistical shape model. The estimated scale and rigid transformation are then used to initialize the statistical shape model-based 2D-3D reconstruction scheme, which combines statistical instantiation and regularized shape deformation with an iterative image-to-model correspondence establishing algorithm. Quantitative and qualitative results of a feasibility study on clinical and cadaveric datasets are given, which indicate the validity of our approach.
Research on Radar Emitters Classification with Fuzzy Support Vector Machines
Authors: Meng Yafeng, Ren Mingqiu, Cai Jinyan, Han Chunhui
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

In this paper, a novel method based on Kernel Principle Component Analysis is proposed to extract features of radar emitter signals image of Choi-Williams distribution. Then these discriminative and low dimensional features obtained were fed to the classifier designed for different radar LFM signals which is based on fuzzy Support Vector Machines (FSVMs). In simulation experiments, the classifier attains over 90% overall average correct classification rate. Experimental results show that the proposed FSVM classifier is efficient for different complex radar signals detection and classification.
Data-intensive text processing with MapReduce
Authors: Jimmy Lin, Chris Dyer
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Tutorial Abstracts (2009)

This half-day tutorial introduces participants to data-intensive text processing with the MapReduce programming model [1], using the open-source Hadoop implementation. The focus will be on scalability and the tradeoffs associated with distributed processing of large datasets. Content will include general discussions about algorithm design, presentation of illustrative algorithms, case studies in HLT applications, as well as practical advice in writing Hadoop programs and running Hadoop clusters.
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
Authors: David Niedzielski, Jeffery Ronne, Andreas Gampe, Kleanthis Psarris
Venue: Proceedings of the 16th International Symposium on Static Analysis (2009)

The Java platform requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is accessed. However, if it can be proven that the array index is within the bounds of the array, the check can be eliminated. We present a new algorithm based on extended Static Single Assignment (eSSA) form that builds a constraint system representing control flow qualified, linear constraints among program variables derived from program statements. Our system then derives relationships among variables, and provides a verifiable proof of its conclusions. This proof can be verified by a runtime system to minimize the analysis's performance impact. Our system simultaneously considers both control flow and data flow when analyzing the constraint system, handles general linear inequalities instead of simple difference constraints, and provides verifiable proofs for its claims. We present experimental results demonstrating that this method eliminates more bounds checks, and when combined with runtime verification, results in a lower runtime cost than prior work. Our algorithm improves benchmark performance by up to nearly 10% over the baseline SafeTSA system.
Operational set theory and small large cardinals
Authors: Solomon Feferman
Venue: Information and Computation (2009)

A new axiomatic system OST of operational set theory is introduced in which the usual language of set theory is expanded to allow us to talk about (possibly partial) operations applicable both to sets and to operations. OST is equivalent in strength to admissible set theory, and a natural extension of OST is equivalent in strength to ZFC. The language of OST provides a framework in which to express ''small'' large cardinal notions-such as those of being an inaccessible cardinal, a Mahlo cardinal, and a weakly compact cardinal-in terms of operational closure conditions that specialize to the analogue notions on admissible sets. This illustrates a wider program whose aim is to provide a common framework for analogues of large cardinal notions that have appeared in admissible set theory, admissible recursion theory, constructive set theory, constructive type theory, explicit mathematics, and systems of recursive ordinal notations that have been used in proof theory.
Validation of the HADRIAN System Using an ATM Evaluation Case Study
Authors: Steve J. Summerskill, Russell Marshall, Keith Case, Diane E. Gyi, Ruth E. Sims, Peter Davis
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

The HADRIAN human modelling system is under development as part of the EPSRC funded AUNT-SUE project. The HADRIAN system aims to foster a `design for all' ethos by allowing ergonomists and designers to see the effects of different kinds of disability on the physical capabilities of elderly and disabled people. This system is based upon the long established SAMMIE system, and uses data collected from 102 people, 79 of whom are registered as disabled, or have age related mobility issues. The HADRIAN system allows three dimensional CAD data of new products to be imported, with a subsequent automated analysis using all of the 102 sample members. The following paper describes the process and results gathered from a validation study using an ATM design as a case study. The results indicated that fine tuning of the behavioural data built into HADRIAN would improve the accuracy of an automated product analysis.
Two Kinds of B-Spline-Type Trigonometric Curves
Authors: Lanlan Yan, Jiongfeng Liang
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

Two kinds of trigonometric spline bases are constructed in this paper. Based on these bases, two kinds of trigonometric spline curves are defined. As each piece of these trigonometric spline curves are generated by three consecutive control points, these curves retain many properties of the quadratic B-spline curves, but they have better continuity than the quadratic B-spline curves. For equidistant knots, they have continuity under normal conditions, and the second kind of curve has continuity under special conditions. Besides, these trigonometric spline curves are closer to the control polygon than the quadratic B-spline curves when the shape parameters under special conditions. In the last, the trigonometric spline surfaces with shape parameters are also constructed and they have most properties of the corresponding trigonometric spline curves.
Multi-agent Negotiation Model Based on Organization
Authors: Ning Liu, Taoli Su
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

In a Multi-Agent System (MAS), negotiation is the key aspect to achieve Coordination, collaboration, conflictresolution and dealing with contradictions between individual Agent and a single Agent organization who have the property of independence and autonomy. Borrowed from modern organization theory, the paper proposed a Multi-Agent negotiation model based on organization, which greatly reduce the complexity of communication, improve the communication efficiency.
Optimal Supply Chain Inventory Decision Using Artificial Neural Network
Authors: Hsiao Ching Chen, Hui Ming Wee, Yao-Hung Hsieh
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

For years, researchers and practitioners have primarily investigated the various processes within manufacturing supply chains individually. In current global competitive market, enterprises must set up an efficient supply chain and network to cut cost efficiently. Each company aims to supply the right quantity of products to clients in right place and at right time with right cost evaluation. Each supplier must respond to the short life-cycle and quick response need for the terminal.In this study, we construct a supply chain framework with hybrid inventory decisions of supply chain numbers to consider the impact factors of the total supply chain cost. This paper develops an intelligent-agent system to simulate supply chain system. Artificial Neural Network (ANN) is used to derive the optimal inventory policies. We examine the performance of the optimal inventory policies by cutting costs and increasing supply chain efficiency. The proposed inventory decision using intelligent-agent and artificial neural network provides managerial insights on the impact of the decision making in factory, wholesaler, distributor and retailer.
The Frequency Injection Attack on Ring-Oscillator-Based True Random Number Generators
Authors: A. Theodore Markettos, Simon W. Moore
Venue: Proceedings of the 11th International Workshop on Cryptographic Hardware and Embedded Systems (2009)

We have devised a frequency injection attack which is able to destroy the source of entropy in ring-oscillator-based true random number generators (TRNGs). A TRNG will lock to frequencies injected into the power supply, eliminating the source of random jitter on which it relies. We are able to reduce the keyspace of a secure microcontroller based on a TRNG from 264 to 3300, and successfully attack a 2004 EMV (`Chip and PIN') payment card. We outline a realistic covert attack on the EMV payment system that requires only 13 attempts at guessing a random number that should require 232. The theory, three implementations of the attack, and methods of optimisation are described.
The impact of network topology on pure Nash equilibria in graphical games
Authors: Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Graphical games capture some of the key aspects relevant to the study and design of multi-agent systems. It is often of interest to find the conditions under which a game is stable, i.e., the players have reached a consensus on their actions. In this paper, we characterize how different topologies of the interaction network affect the probability of existence of a pure Nash equilibrium in a graphical game with random payoffs. We show that for tree topologies with unbounded diameter the probability of a pure Nash equilibrium vanishes as the number of players grows large. On the positive side, we define several families of graphs for which the probability of a pure Nash equilibrium is at least 1-1/e even as the number of players goes to infinity. We also empirically show that adding a small number of connection "shortcuts" can increase the probability of pure Nash.
Attenuation map estimation with SPECT emission data only
Authors: Yan Yan, Gengsheng Lawrence Zeng
Venue: International Journal of Imaging Systems and Technology (2009)

Quantitative single-photon emission computed tomography can be well achieved if photon attenuation is taken into account in the reconstruction process. Using a transmission scan is a common approach. A dramatic simplification could be made if the attenuation map could be obtained from the emission data. In this article, we propose a new method to estimate the attenuation map using the data consistency conditions of the attenuated Radon transform. It is based on deriving boundaries of the constant regions of the true attenuation map using an iterative algorithm. This new method is tested by Monte Carlo simulations with the attenuation and scattering effects. &copy; 2009 Wiley Periodicals, Inc. Int J Imaging Syst Technol, 19, 271&ndash;276, 2009
Privacy Weaknesses in Biometric Sketches
Authors: Koen Simoens, Pim Tuyls, Bart Preneel
Venue: Proceedings of the 2009 30th IEEE Symposium on Security and Privacy (2009)

The increasing use of biometrics has given rise to new privacy concerns. Biometric encryption systems have been proposed in order to alleviate such concerns: rather than comparing the biometric data directly, a key is derived from these data and subsequently knowledge of this key is proved. One specific application of biometric encryption is the use of biometric sketches: in this case biometric template data are protected with biometric encryption. We address the question whether one can undermine a user's privacy given access to biometrically encrypted documents, and more in particular, we examine if an attacker can determine whether two documents were encrypted using the same biometric. This is a particular concern for biometric sketches that are deployed in multiple locations: in one scenario the same biometric sketch is deployed everywhere; in a second scenario the same biometric data is protected with two different biometric sketches. We present attacks on template protection schemes that can be described as fuzzy sketches based on error-correcting codes. We demonstrate how to link and reverse protected templates produced by code-offset and bit-permutation sketches.
Broadening participationOpening remarks
Authors: Richard E. Ladner
Venue: Communications of the ACM (2009)

Highlighting efforts and providing the rationale to increase the participation and success of underrepresented groups in computing.
Learning to Coordinate Efficiently: a model-based approach
Authors: Ronen I. Brafman, Moshe Tennenholtz
Venue: Journal of Artificial Intelligence Research (2003)

In common-interest stochastic games all players receive an identical payoff. Players participating in such games must learn to coordinate with each other in order to receive the highest-possible value. A number of reinforcement learning algorithms have been proposed for this problem, and some have been shown to converge to good solutions in the limit. In this paper we show that using very simple model-based algorithms, much better (i.e., polynomial) convergence rates can be attained. Moreover, our model-based algorithms are guaranteed to converge to the optimal value, unlike many of the existing algorithms.
Web search intent induction via automatic query reformulation
Authors: Hal Daumé,  III, Eric Brill
Venue: Proceedings of HLT-NAACL 2004: Short Papers on XX (2004)

We present a computationally efficient method for automatic grouping of web search results based on reformulating the original query to alternative queries the user may have intended. The method requires no data other than query logs and the standard inverted indices used by most search engines. Our method outperforms standard web search in the task of enabling users to quickly find relevant documents for informational queries.
Problem Solving Cases in Microsoft Access and Excel, 7th edition
Authors: Ellen Monk, Spring W. Davidson, Joseph Brady
Venue:  (2009)

Apply Access and Excel effectively and efficiently to solve real-world business problems in this seventh edition of PROBLEM-SOLVING CASES IN MICROSOFT ACCESS AND EXCEL. With six individual tutorials that build a practical knowledge of Microsoft Office 2007 Access and Excel capabilities, this book sets the groundwork for applying these database and spreadsheet skills to actual scenarios. These scenarios take the form of 12 all-new case studies, which introduce problems that are likely to face today's business professionals and allow readers to apply the information gleaned from the tutorials to solve them. The seventh edition continues to offer a tutorial covering data analysis techniques and a second integration case, affording readers the most up-to-date, practical education in the most commonly used software programs.
Symbolic Knowledge Extraction from Support Vector Machines: A Geometric Approach
Authors: Lu Ren, Artur D' Garcez
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

This paper presents a new approach to rule extraction from Support Vector Machines (SVMs). SVMs have been applied successfully in many areas with excellent generalization results; rule extraction can offer explanation capability to SVMs. We propose to approximate the SVM classification boundary by solving an optimization problem through sampling and querying followed by boundary searching, rule extraction and post-processing. A theorem and experimental results then indicate that the rules can be used to validate the SVM with high accuracy and very high fidelity.
Combining Local Feature Histograms of Different Granularities
Authors: Ville Viitaniemi, Jorma Laaksonen
Venue: Proceedings of the 16th Scandinavian Conference on Image Analysis (2009)

Histograms of local features have proven to be powerful representations in image category detection. Histograms with different numbers of bins encode the visual information with different granularities. In this paper we experimentally compare techniques for combining different granularities in a way that the resulting descriptors can be used as feature vectors in conventional vector space learning algorithms. In particular, we consider two main approaches: fusing the granularities on SVM kernel level and moving away from binary or hard to soft histograms. We find soft histograms to be a more effective approach, resulting in substantial performance improvement over single-granularity histograms.
Decoupling Strategy Analysis of Winder's Tension Control System
Authors: Feng Ru, Jinfu Wu, Xiaosong Gao
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

On analyzing the working principle of the Winder Machine’ tension control system, this paper give a new scheme of the frequency control, and discovered the main points of the loader coupled-phenomena. Meanwhile a simple decoupling Strategy method is brought forward. Based on the system modeling, presented the effective winding strategy. Also the system's dynamic and static characters are analyzed.
Environment Abstraction with State Clustering and Parameter Truncating
Authors: Hong Pan, Yi Lv, Huimin Lin
Venue: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Environment abstraction enriches predicate abstraction by idea from counter abstraction to develop a framework for verification of parameterized systems. However, despite various effects, the constructed abstractions still go beyond the capability of the usual model checkers for many realistic systems. In this paper, a new technique, called state clustering, is proposed to group local states into a small number of clusters, by purely syntactic analysis. The size of array variables in the resulting abstractions are further reduced using parameter abstraction technique. By combining different abstraction techniques, real-life cache coherence protocols such as FLASH have been successfully verified.
Wired for Learning: An Educators Guide to Web 2.0
Authors: Terry T. Kidd, Irene Chen
Venue:  (2009)

Web 2.0 is a term used to describe an apparent second generation of the World Wide Web that emphasizes collaboration and sharing of knowledge and content among users. With the growing popularity of Web 2.0, there has been a burgeoning interest in education. Tools such as blogs, wikis, RSS, social networking sites, tag-based folksonomies, and peer-to-peer (P2P) media sharing applications have gained a prominence in teaching and learning. With "Wired for Learning: An Educators Guide to Web 2.0" there is tremendous potential for addressing the needs student, teachers, researchers, and practitioners to enhance the teaching and learning experiences through customization, personalization, and rich opportunities for networking and collaboration. The purpose of this text is to clarify and present applications and practices of Web 2.0 for teaching and learning to meet the educational challenges of students in diverse learning setting. This text will bring teachers and university education into a bold new reality and cause them to move to think differently about technology's potential for strengthening students' critical thinking, writing, reflection, and interactive learning.
An Information Visualization Approach to Hospital Shifts Scheduling
Authors: Carmelo Ardito, Paolo Buono, Maria F. Costabile, Rosa Lanzilotti, Adalberto L. Simeone
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

Scheduling staff shift work in a hospital ward is a well-known problem in the operation research field but, as such, it is very often studied from the algorithmic point of view and seldom from the human-computer interaction perspective. In most cases, the automatic solutions that operations research may provide do not satisfy the involved people. After discussing the inconveniences of an automatic approach with physicians, we have designed a staff scheduling system that combines an expert system with an information visualization (IV) system; in this way the schedule generated by the expert system is presented through the IV system to the schedule manager, who can modify the results if last minute changes are necessary, by directly manipulating the visualized data and obtaining immediate feedback about the changes made.
Requirement and Design Analysis for the Post-Trauma Mobile Psychology Service
Authors: Yang Ji, Nan Lin, Fan Zhang, Yangyi Wen, Kui Zhang, ZhuoHong Zhu, Chunlei Fan, Hao Wang, Kun Yu
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

In 2008, a serious earthquake struck Sichuan province. Tens of thousands of people in disaster areas have suffered injuries both in physical and mental aspects. Thus, a Post-Trauma Mobile Service (PTMS) is launched and implemented in Sichuan province, which creates a new mode of long-distance psychological counseling service. This study discusses the comparisons between mobile-based and traditional psychological counseling method, indicating that mobile-based method is a significant experiment both in the post-disaster psychological assistance work and mobile communication service. Besides, requirement analysis is explored, which guides the work of PTMS system design. The system design is described in three stages including architecture design, service mode design and industry chain analysis, in which online and offline service mode are highlighted. This study presents the implementation of PTMS service, which shows that the mobile-based platform and service mode have acceptable psychometric properties, equivalent with paper-based method.