ppxscal/embedding_network huggingface dataset:
Performance of several stabilized finite element methods for the Stokes equations based on the lowest equal-order pairs
Authors: Jian Li, Yinnian He, Zhangxin Chen
Venue: Computing (2009)

In this paper the performance of various stabilized mixed finite element methods based on the lowest equal-order polynomial pairs (i.e., P 1 &#x2212; P 1 or Q 1 &#x2212; Q 1) are numerically investigated for the stationary Stokes equations: penalty, regular, multiscale enrichment, and local Gauss integration methods. Comparisons between them will be carried out in terms of the critical factors: stabilization parameters, convergence rates, consistence, and mesh effects. It is numerically drawn that the local Gauss integration method is a favorite method among these methods.
Greedy colorings of uniform hypergraphs
Authors: András Pluhár
Venue: Random Structures Algorithms (2009)

We give a very short proof of an Erd&odblac;s conjecture that the number of edges in a non-2-colorable n-uniform hypergraph is at least f(n)2n, where f(n) goes to infinity. Originally it was solved by J&oacute;zsef Beck in 1977, showing that f(n) at least clog n. With an ingenious recoloring idea he later proved that f(n) &ge; cn1-3+o(1). Here we prove a weaker bound on f(n), namely f(n) &ge; cn1-4. Instead of recoloring a random coloring, we take the ground set in random order and use a greedy algorithm to color. The same technique works for getting bounds on k-colorability. It is also possible to combine this idea with the Lov&aacute;sz Local Lemma, reproving some known results for sparse hypergraphs (e.g., the n-uniform, n-regular hypergraphs are 2-colorable if n &ge; 8). &copy; 2009 Wiley Periodicals, Inc. Random Struct. Alg., 2009
Argumentative human computer dialogue for automated persuasion
Authors: Pierre Andrews, Suresh Manandhar, Marco De Boni
Venue: Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue (2008)

Argumentation is an emerging topic in the field of human computer dialogue. In this paper we describe a novel approach to dialogue management that has been developed to achieve persuasion using a textual argumentation dialogue system. The paper introduces a layered management architecture that mixes task-oriented dialogue techniques with chatbot techniques to achieve better persuasiveness in the dialogue.
Frozen sentences of Portuguese: formal descriptions for NLP
Authors: Jorge Baptista, Anabela Correia, Graça Fernandes
Venue: Proceedings of the Workshop on Multiword Expressions: Integrating Processing (2004)

This paper presents on-going research on the building of an electronic dictionary of frozen sentences of European Portuguese. It will focus on the problems arising from the description of their formal variation in view of natural language processing
Spatial Cues in Small Screen Devices: Benefit Or Handicap?
Authors: Martina Ziefle
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

Disorientation in small-screen-device menus is a frequent problem for many users. This study examines if navigation aids containing spatial information may reduce disorientation. Two aids were implemented into a simulated mobile phone: One aid contained spatial cues, providing an overview of menu locations and routes, the other delivered landmark knowledge, representing salient features on the route. Also, a condition without any aid was examined. 24 children and 24 adults solved four phone tasks twice. Dependent variables were navigation effectiveness and efficiency. Performance was lowest when users were not supported by any aid. The aid providing survey knowledge yielded the best performance. Though, the relative benefit by aids revealed to be age-related. While the aid providing survey knowledge was advantageous for all users, the aid delivering landmark knowledge was especially harmful for the children, which showed considerably more detouring in the menu. It is concluded that navigation aids reduce disorientation in small devices, especially those which support users to build up a spatial representation of the menu.
Estimation of a Stieltjes function expanded to Taylor series at complex conjugate points
Authors: Stanisław Tokarzewski, Alphonse Ph. Magnus, Jacek Gilewicz
Venue: Journal of Computational and Applied Mathematics (2009)

Taylor series expansions of a Stieltjes function f in various complex conjugate points are used to construct the so called unified continued fractions (UCF) terminated on P-th step by a remainder f"P^U named tail of f. We prove that, if f is a Stieltjes function then its tail f"P^U is also a Stieltjes function. The estimations of f are obtained in what follows. Numerical calculations of the new complex bounds on f generated by complex conjugate input data are carried out.
Coupled Minimum-Cost Flow Cell Tracking
Authors: Dirk Padfield, Jens Rittscher, Badrinath Roysam
Venue: Proceedings of the 21st International Conference on Information Processing in Medical Imaging (2009)

A growing number of screening applications require the automated monitoring of cell populations in a high-throughput, high-content environment. These applications depend on accurate cell tracking of individual cells that display various behaviors including mitosis, occlusion, rapid movement, and entering and leaving the field of view. We present a tracking approach that explicitly models each of these behaviors and represents the association costs in a graph-theoretic minimum-cost flow framework. We show how to extend the minimum-cost flow algorithm to account for mitosis and merging events by coupling particular edges. We applied the algorithm to nearly 6,000 images of 400,000 cells representing 32,000 tracks taken from five separate datasets, each composed of multiple wells.Our algorithm is able to track cells and detect different cell behaviors with an accuracy of over 99%.
The Brave Little Troll: a rhythmic game for deaf and hard of hearing children
Authors: Juho Jouhtimäki, Suvi Kitunen, Margaret Plaisted, Päivi Rainò
Venue: Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era (2009)

The Brave Little Troll is an educational tool designed for deaf and hearing-impaired (DHI) children aged 4 to 7. It aims to improve children's abilities in identifying and producing rhythmic patterns to support language perception and the early development stages of reading and comprehension.
Partial-order planning with concurrent interacting actions
Authors: Craig Boutilier, Ronen I. Brafman
Venue: Journal of Artificial Intelligence Research (2001)

In order to generate plans for agents with multiple actuators, agent teams, or distributed controllers, we must be able to represent and plan using concurrent actions with interacting effects. This has historically been considered a challenging task requiring a temporal planner with the ability to reason explicitly about time. We show that with simple modifications, the STRIPS action representation language can be used to represent interacting actions. Moreover, algorithms for partial-order planning require only small modifications in order to be applied in such multiagent domains. We demonstrate this fact by developing a sound and complete partial-order planner for planning with concurrent interacting actions, POMP, that extends existing partial-order planners in a straightforward way. These results open the way to the use of partial-order planners for the centralized control of cooperative multiagent systems.
Commercial Strategies for SME Developers of Mobile Phone Serious Games in UK Market
Authors: Chen Xin
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

This paper pointed out the potential commercial strategies for mobile game developers in the UK in the industry game market, which could be identified as a niche market, by comparing, analyzing and contrasting the current market situation in the appointed market. And the recommended commercial strategic model and strategies were presented at the end of this paper.
Wetland Survey in the Area of Poyang Lake Nature Reserves by High Resolution Image
Authors: Xinghua Le, Zhewen Fan, Yuping Yu, Yun Zhang, Bin Yong
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

In this paper, band 5, 4, 3 of TM image merges with PAN band of SPOT image by the method of HIS transformation which is ameliorated. The new image resolution is improved from 30 meters to 10 meters. The new image is classified into ten types of wetland by human’s judgment and field survey. The research area includes four nature reserve zones whose area is almost half of the area of Poyang Lake. The result of classification is transformed into vector data, and appended with attributive data. After analyzing the data, the detail wetland situation is worked out. All of the work indicates that it is accessible to survey the wetland environment by the merged image.
Programmable Accelerators for Reconfigurable Video Decoder
Authors: Tero Rintaluoma, Timo Reinikka, Joona Rouvinen, Jani Boutellier, Pekka Jääskeläinen, Olli Silvén
Venue: Proceedings of the 9th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation (2009)

Practically all modern video coding standards such as H.264, MPEG-4 and VC-1 are based on hybrid transform based block motion compensated techniques, that employ almost the same coding tools. The same approach is used with numerous non-standard proprietary codecs, with decoders available via Internet as browser plugins. For mobile devices power efficient hardware accelerators have been developed, but usually only a few standards are supported. Consequently, the decoding of the other formats, including the non-standard ones is done by software, sacrificing the battery life. In this paper we present programmable accelerators for arithmetic code decoding and motion compensation, that can be used with multiple video standards. These functions consume more than half of the cycles in software based decoders. Although the accelerators were originally designed for H.264 standard, they are rather generic for the respective coding tools. They have been implemented on application specific processor technology for flexibility and energy efficiency with the aim of achieving the performance needed for decoding high definition (1920x1088, 30 fps) video.
Research on Vortex Unstablity Caused by Bending Deformation of Drilling Bar in BTA Deep Hole Machining
Authors: Zhanqi Hu, Wu Zhao
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Vortex and unstability of bending boring bar caused by cutting fluid force are researched, with Timoshenko beam model and mated vibration model, based on which machining quality of BTA deep hole drilling and tools life can be promoted in practice. Linear equations of fluid force on boring bar is established first, stiffness coefficient and damping coefficient are gotten with Leono equation of unstable motion, and votex and unstability conditions of bending boring bar under the cutting fluid force are then derived. It is indicated that the main reason of votex and unstability of boring bar is G.E. function between the cutting fluid and the hole wall. Some rules are also derived with which cutting parameters can be selected reasonably, which is coincide with the parameters used in heavy machine building industry.
Empirical Research on Term Structure of Shibor Based on TARCH and PGARCH Model
Authors: Li Ning, He Dong-ping
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Central Bank has been promoting the market-based process of interest rate in recent years, and will foster Shanghai Interbank Offered Rate (Shibor) into benchmark interest rate. Time series theories, such as GARCH, TARCH and PARCH model, are respectively applied to estimate the term structure of Shibor. The empirical results show: First, as to the fitting results, the PARCH model is better than the GARCH and TGARCH model for fitting the term structure of overnight, one week, two week and one month Shibor, and the TARCH model is better than the GARCH and PARCH model for three month, six month, nine month and one year Shibor. Second, all kinds of Shibor have very strong mean-reversion characteristic. Third, diffusions of term structure of six month, nine month and one year Shibor have lever effect, and diffusions of term structure of overnight, one week, two week and one month have reverse lever effect.
Handling occluders in transitions from panoramic images: A perceptual study
Authors: Yann Morvan, Carol O'Sullivan
Venue: ACM Transactions on Applied Perception (TAP) (2009)

Panoramic images are very effective at conveying a visual sense of presence at very low cost and great ease of authoring. They are, however, limited in the navigation options they offer, unlike 3D representations. It is therefore desirable to provide pleasing transitions from one panorama to another, or from a panorama to a 3D model. We focus on motions where the viewers move toward an area of interest, and on the problem of dealing with occluders in their path. We discuss existing transition approaches, with emphasis on the additional information they require and on the constraints they place on the authoring process. We propose a compromise approach based on faking the parallax effect with occluder mattes. We conduct a user study to determine whether additional information does in fact increase the visual appeal of transitions. We observe that the creation of occluder mattes alone is only justified if the fake parallax effect can be synchronized with the camera motion (but not necessarily consistent with it), and if viewpoint discrepancies at occlusion boundaries are small. The faster the transition, the less perceptual value there is in creating mattes. Information on view alignment is always useful, as a dissolve effect is always preferred to fading to black and back.
Simulink Modeling of the 802.15.4 Physical Layer for Model-Based Design of Wireless Sensor Networks
Authors: Al-Khateeb Anwar, Luciano Lavagno
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

802.15.4 was developed to meet the needs for simple, low-power and low-cost wireless communication. In the past couple of years it has become a popular technology for wireless sensor networks. This paper focuses on developing MatLab/ Simulink models for the Zigbee protocol that can be used in a model-based design environment to provide opportunities for co-design of the application and the parameters of the communication stack. We provide examples of results relating the signal Bit Error Rate and Packet Reception Rate when varying the data rate, Signal to Noise Ratio, type of modulation, bit per symbol and number of nodes for three different channel models, AWGN, Rician and Rayleigh fading at different K-factor.
Study of Face Detection Algorithm for Real-time Face Detection System
Authors: Liying Lang, Weiwei Gu
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

In this paper, the Algorithm of face detection based on AdaBoost was studied, which is the multi-classifier cascade face detection algorithm and can attain real-time face detection in the system. It is a algorithm to automatically generate cascade classifier in the training process, which can effectively avoid the phenomenon of over trained. Compare to traditional AdaBoost face detection algorithm and feature subspace algorithm, the detection rate of the algorithm mentioned in this paper is not only higher nearly 10 percent, the detection velocity is also improved by more than one times. Also it is very robust to the illumination、 pose etc variations and suitable for the real-time face detection system.
Estimating Uncertainty in Brain Region Delineations
Authors: Karl R. Beutner,  Iii, Gautam Prasad, Evan Fletcher, Charles Decarli, Owen T. Carmichael
Venue: Proceedings of the 21st International Conference on Information Processing in Medical Imaging (2009)

This paper presents a method for estimating uncertainty in MRI-based brain region delineations provided by fully-automated segmentation methods. In large data sets, the uncertainty estimates could be used to detect fully-automated method failures, identify low-quality imaging data, or endow downstream statistical analyses with per-subject uncertainty in derived morphometric measures. Region segmentation is formulated in a statistical inference framework; the probability that a given region-delineating surface accounts for observed image data is quantified by a distribution that takes into account a prior model of plausible region shape and a model of how the region appears in images. Region segmentation consists of finding the maximum a posteriori (MAP) parameters of the delineating surface under this distribution, and segmentation uncertainty is quantified in terms of how sharply peaked the distribution is in the vicinity of the maximum. Uncertainty measures are estimated through Markov Chain Monte Carlo (MCMC) sampling of the distribution in the vicinity of the MAP estimate. Experiments on real and synthetic data show that the uncertainty measures automatically detect when the delineating surface of the entire brain is unclear due to poor image quality or artifact; the experiments cover multiple appearance models to demonstrate the generality of the method. The approach is also general enough to accommodate a wide range of shape models and brain regions.
An Interactive Layout Tool for BPMN
Authors: Philip Ef?nger, Martin Siebenhaller, Michael Kaufmann
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

Business processes are at the core of today’s businessworld. Most of the effort put into business processes in practice is either the task of designing a new process or the task of analyzing and improving an existing process. In both cases, visualizations of the process models support the user in achieving his objectives. In this paper, we present the first prototype of our tool “BPMN-Layouter”. Our supported notation language is the business process modeling notation (BPMN). The tool was implemented to integrate several concepts that we developed and adopted for the use in BPMN modeling. The integratedapproaches comprehend the tasks of finding an automatic layout for a BPMN model, increasing the readability of given visualizations and developing further existing BPMN models in an interactive fashion. Also, a method for automatic division of complex BPMN models is provided, too.
Healthcare non-adherence decisions and internet health information
Authors: James B. Weaver,  III, Nancy J. Thompson, Stephanie Sargent Weaver, Gary L. Hopkins
Venue: Computers in Human Behavior (2009)

While the internet is emerging as an important transforming mechanism for health care and public health, questions remain about its limitations. Growing evidence indicates that a significant proportion of internet health information consumers is engaging treatment strategies inconsistent with professional recommendations. This study aimed to distinguish internet users who report non-adherence behavior from their counterparts based on several personal and environmental determinants. Using information obtained via the internet to refuse or discontinue treatment recommended by a doctor or dentist proved to be a widespread (11.2%) behavior. Internet health information bolstered non-adherence appears strongly linked with personal determinants such as anxiety, diminishing health, and gender - a pattern consistent with prior adherence research - and with environmental determinants including the perceived importance of both internet health information and internet-facilitated interpersonal interactions as well as using the internet as a social support vehicle.
Creating Musical-Fountain Shows
Authors: Min-Joon Yoo, In-Kwon Lee
Venue: IEEE Computer Graphics and Applications (2009)

We developed an intelligent musical fountain authoring system, which reduces programming costs by generating musical fountain scenarios automatically from a musical accompaniment and some short sample scenarios using a Bayesian network. Users can visualize and manually adjust the resulting scenario before using it to control a real musical fountain.
An Organisational Platform for Holonic and Multiagent Systems
Authors: Nicolas Gaud, Stéphane Galland, Vincent Hilaire, Abderrafiâa Koukam
Venue: Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers (2009)

janus is a new multiagent platform that was specifically designed to deal with the implementation and deployment of holonic and multiagent systems. It is based on an organisational approach and its key focus is that it supports the implementation of the concepts of role and organisation as first-class entities. This consideration has a significant impact on agent implementation and allows an agent to easily and dynamically change its behaviour. The platform also natively manages the concept of holon to facilitate the deployment of holonic multiagent systems and thus contributes to fill the gap between conception and implementation phases in this domain. This article draws a complete description of janus and its main characteristics. A small example of a market-like community is also provided with the associated code review to illustrate the impact of a full organisational approach in terms of code modularity and reusability.
Wireless Networked Control Systems with Neuron Adaptive Control and Novel Smith Predictor
Authors: Wencai Du, Feng Du
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

In order to overcome poor adaptability of conventional PID controller and effectively restrain the impact of network delays, a novel approach is proposed that new Smith predictor combined with neuron adaptive control for the wireless networked control systems (WNCS). Because new Smith predictor doesn’t include network delay model, therefore network delay is no need to be measured, identified or estimated on line. Based on IEEE 802.11 b/g (WLAN), the results of simulation show validity of the control scheme.
Study on Application of Data Mining Technology to Modern Logistics Management Decision
Authors: Quan Congna, Zhao Huifeng, Li Bo
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

With the informationization, networking and intelligent development of modern logistics, the enormous data together with very critical knowledge hidden therein are generated from the management process of logistics enterprises. The data mining methods such as clustering, association rules, sequential pattern, statistics analysis, characteristics rules and so on can be used to find out the useful knowledge, enabling such data to become the real fortune of logistics companies and support their decisions and development. This paper introduces the significance of the application of data mining to modern logistics management decision, and then analyses in detail how to apply the data mining to modern logistics management decision and the key technology of the application. Finally, it is pointed out that the data mining technology is becoming more and more powerful in modern logistics management.
Abstracts of the CADO workshop on integer factorization
Authors: Emmanuel Thomé
Venue: ACM SIGSAM Bulletin (2009)

The CADO workshop on integer factorization was held in Nancy, France, on October 7-9th, 2008. The workshop was focused on the Number Field Sieve and its implementation aspects. Fifty participants attended the workshop. The workshop was organized by Pierrick Gaudry, Emmanuel Thomé and Paul Zimmermann.