ppxscal/embedding_network huggingface dataset:
Meteorological Visibility Measurements by a Micro Pulsed Lidar during the 2006 Qingdao International Sailing Regatta
Authors: Jinjia Guo, Xiaoquan Song, Zhishen Liu, Bin Zhang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Meteorological visibility is a basic parameter for aeronautical, seafaring, expressway and military operations. In most domestic and overseas meteorological departments, the method to measure visibility is by eyeballing, which lacks criteria and objectivity. Among the instruments for visibility measurement, lidar is a powerful tool by directly collecting the backscattering laser light from the atmosphere. During the 2006 Qingdao International Sailing Regatta, atmospheric horizontal visibility was measured by an eye-safe Micro-pulsed lidar (MPL) which was developed by the Ocean Remote Sensing Laboratory (ORSL) of the Ocean University of China (OUC) in Xiaomai island (36°3'9.91"N, 120°25'37.10"E) from August 18 to 29, 2006. Klett method was used for processing the data measured from MPL. In this 12 days period, the visibility ranges from 1km to 30 km, covering many different weather conditions. The MPL operated stably at all times including the continual measurement from August 21 to 23, 2006 for both days and nights. Simultaneous eye observation data from Qingdao Meteorological Bureau were obtained for comparison. Visibility results of MPL system show good agreement with the eye observations data, with a correlation coefficient of 0.88. Experiments and comparisons successfully prove the capability and feasibility of the MPL system for atmospheric visibility.
A Knowledge Base System Project for FO(.)
Authors: Marc Denecker
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

This talk reports on a project to build a Knowledge Base System (KBS) equipped with several forms of inference able to solve different sorts of tasks using the KB. The logic FO(.) used in the KBS is an extension of classical logic (FO) with various language primitives such as inductive definitions, aggregates, arithmetic, etc. The logic is a natural integration (and further extension) of classical logic and logic programming, and is based on the view of a logic program as a definition. We discuss informal and formal semantics of definitions in FO(.) and consider the relationship with other knowledge principles such as coinduction, the closed world assumption and causality and with the LP formalisms ASP, ALP and deductive databases. On the computational level, we will report on current attempts to build finite domain inference systems for model expansion, approximate reasoning, theory debugging and model revision, with special focus on the IDP-system, a model expansion system for FO(.).
A proactive space for rehabilitation, gaming and multimodal interaction: a poster presentation
Authors: Matti Linnavuo, Antti Ojapelto, Raimo Sepponen
Venue: Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era (2009)

Markets are waiting for new, innovative game control techniques from the game industry. At the same time people suffering from stroke or other neurologic problems could benefit from new rehabilitation systems. Education and exhibition can make use of new learning environments. This poster presents a proactive space concept to meet these needs. Proactive Space is a room, where sound, lights and display are controlled based on human location and other controls in the room.
On the identification of a class of linear models
Authors: Jin Tian
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

This paper deals with the problem of identifying direct causal effects in recursive linear structural equation models. The paper provides a procedure for solving the identification problem in a special class of models.
Faster Halvings in Genus 2
Authors: Peter Birkner, Nicolas Thériault
Venue: Selected Areas in Cryptography: 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers (2009)

We study divisor class halving for hyperelliptic curves of genus 2 over binary fields. We present explicit halving formulas for the most interesting curves (from a cryptographic perspective), as well as all other curves whose group order is not divisible by 4. Each type of curve is characterized by the degree and factorization form of the polynomial h(x) in the curve equation. For each of these curves, we provide explicit halving formulæ for all possible divisor classes, and not only the most frequent case where the degree of the first polynomial in the Mumford representation is 2. In the optimal performance case, where h(x) = x, we also improve on the state-of-the-art and when h(x) is irreducible of degree 2, we achieve significant savings over both the doubling as well as the previously fastest halving formulas.
GYDER: maxent metonymy resolution
Authors: Richárd Farkas, Eszter Simon, György Szarvas, Dániel Varga
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

Though the GYDER system has achieved the highest accuracy scores for the metonymy resolution shared task at SemEval-2007 in all six subtasks, we don't consider the results (72.80% accuracy for org, 84.36% for loc) particularly impressive, and argue that metonymy resolution needs more features.
An integrated data management approach to manage health care data
Authors: Diogo Guerra, Ute Gawlick, Pedro Bizarro
Venue: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems (2009)

Intensive Care Unit data management systems suffer from three problems: data and meta-data are spread out in different systems, there is a high rate of false positives due to default thresholds, and data mining predictions are not available in a timely manner. This proof-of-concept demonstration, based on the Intensive Care Unit environment of the University of Utah Health Sciences Center, presents a system that: i) integrates in one place historical data, events, rules, and data mining models; ii) is highly customizable letting users create or change rules; and iii) identifies possible future risks by performing data mining in soft-real-time. Using simulated inputs, we show the complete system working, including writing and editing rules, triggering simple alerts, prediction of cardiac arrests, and visual explanation of predictions
A vehicle routing system to solve a periodic vehicle routing problem for a food chain in Hong Kong
Authors: Jianfeng Zhu, Wenbin Zhu, Chan Hou Che, Andrew Lim
Venue: Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3 (2008)

In this paper, we describe the system that we have developed to solve a new variant of the periodic vehicle routing problem with time windows (PVRPTW) for one of the largest food and restaurant chains in Hong Kong. The extension is to limit the number of drivers that any store should see during the fixed period. We name this constraint as limited visiting quota (LVQ). We devise a new method to solve this problem. Our experimental results indicate that our method is able to reduce the number of vehicles used by 23% and thus bring substantial savings to our client. The solver has been integrated into an existing vehicle routing product called VROOM for the daily usage of our client.
Computer Vision Method in Music Interaction
Authors: Manitsaris Sotirios, Pekos Georgios
Venue: Proceedings of the 2009 First International Conference on Advances in Multimedia (2009)

This paper presents a method based on computer vision, which allows the gesture recognition of a pianist's right hand. The choice of computer vision as a processing method was made due to the lack of a satisfying fingering detection system addressing musicians. On the other hand, Hidden Markov Models (HMM) are an advisable mathematic theory managing stochastic processes such as human gestures. Both HMM and computer vision co-operate to achieve content-based video retrieval in Music Interaction, as presented in this paper. Thus, we developed a method of hand extraction, based on the special position assumed by the hand of the pianist. The study of the pianist fingering retrieval has been effectuated on four aspects: preparation and capture of video signal, hand segmentation, finger extraction, feature vector exportation and HMM classifier.
Assisted Breast Cancer Diagnosis Environment: A Tool for DICOM mammographic images analysis
Authors: Marcello Salmeri, Arianna Mencattini, Giulia Rabottino, Alfredo Accattatis, Roberto Lojacono
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

The paper presents a first implementation of a novel tool to assist radiologists in analyzing screening mammographic images. The software named Assisted Breast Cancer Diagnosis Environment (ABCDE) is able to acquire DICOM images (also in presence of Grayscale Softcopy Presentation State). It is designed to assist the doctor, as a second reader, during the various phases of the diagnosis. The program uses some public libraries and implements many new algorithms developed in the last years by the research group.
OCR Design and Technology for GCSE: Graphics
Authors: Kevin Crampton, John Rolfe
Venue:  (2009)

OCR Design and Technology for GCSE: Graphics is endorsed by OCR for use with the OCR Design and Technology for GCSE: Graphics specification. Underpinning theoretical knowledge is described using clear language, concise explanations and numerous full-colour illustrations. This knowledge is then referenced to each of the GCSE units, to ensure that both practical and examined work demonstrates a thorough understanding of the topic. Written by a team of senior examiners, this text encourages the innovation and creativity that are at the heart of the new OCR specifications. As such, the material has been created to help foster understanding and problem-solving. Illustrations, photographs and exemplar student projects are generously placed throughout the carefully designed text, to ensure students are fully engaged and motivated. The structure of the text fully reflects the modular nature of the GCSE and its inherent flexibility. The structure of the text fully reflects the modular nature of the GCSE and its inherent flexibility.
Shape Disparity Inspection of the Textured Object and Its Notification by Overlay Projection
Authors: Toshiyuki Amano, Hirokazu Kato
Venue: Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009 (2009)

In this paper we describe about use of the projector camera feedback system for shape disparity check of the textured object. Using the negative feedback in the proposed system, we realized real time shape disparity inspection and its visualization at the same time. In the experimental result, we confirmed the system has an ability to distinguish the 2 mm of shape disparity and its response time was 0.2 sec.
MPI on a Million Processors
Authors: Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Sameer Kumar, Ewing Lusk, Rajeev Thakur, Jesper Larsson Träff
Venue: Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface (2009)

Petascale machines with close to a million processors will soon be available. Although MPI is the dominant programming model today, some researchers and users wonder (and perhaps even doubt) whether MPI will scale to such large processor counts. In this paper, we examine this issue of how scalable is MPI. We first examine the MPI specification itself and discuss areas with scalability concerns and how they can be overcome. We then investigate issues that an MPI implementation must address to be scalable. We ran some experiments to measure MPI memory consumption at scale on up to 131,072 processes or 80% of the IBM Blue Gene/P system at Argonne National Laboratory. Based on the results, we tuned the MPI implementation to reduce its memory footprint. We also discuss issues in application algorithmic scalability to large process counts and features of MPI that enable the use of other techniques to overcome scalability limitations in applications.
Ultraviolet-A Radiation Accelerated N2O Emission in Winter-Wheat Ecosystem
Authors: Zhenghua Hu, Shutao Chen, Qiaohui Liu, Jingyan Jiang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Extensive research has been done to find the effect of enhanced UV-B (280-320nm) radiation on ecosystem, however, the available information related to the effect of UV-A (320-400nm) on ecosystem is limited. It merits further studies due to the facts that UV-A constitutes a major portion of the solar radiation and passes through the stratospheric ozone layer almost unattenuated. To investigate the impact of UV-A radiation on trace gases N2O emission from winter-wheat ecosystem, outdoor pot experiments with simulating 0%(CK) and 20% (T) supplemental of UV-A were conducted, and static dark chamber-gas chromatograph method were used to measure N2O fluxes. Results indicated that enhanced UV-A radiation increased N2O fluxes in bare soil, which N2O fluxes of T were 2.86 times larger than that of CK (p=0.059), also accelerated significantly N2O emission from winter-wheat ecosystem, which N2O fluxes of T were 1.33 times larger than that of CK (p=0.012).
Linguistic editing support
Authors: Michael Piotrowski, Cerstin Mahlow
Venue: Proceedings of the 9th ACM symposium on Document engineering (2009)

Unlike programmers, authors only get very little support from their writing tools, i.e., their word processors and editors. Current editors are unaware of the objects and structures of natural languages and only offer character-based operations for manipulating text. Writers thus have to execute complex sequences of low-level functions to achieve their rhetoric or stylistic goals while composing. Software requiring long and complex sequences of operations causes users to make slips. In the case of editing and revising, these slips result in typical revision errors, such as sentences without a verb, agreement errors, or incorrect word order. In the LingURed project, we are developing language-aware editing functions to prevent errors. These functions operate on linguistic elements, not characters, thus shortening the command sequences writers have to execute. This paper describes the motivation and background of the LingURed project and shows some prototypical language-aware functions.
Negotiation among autonomous computational agents: principles, analysis and challenges
Authors: Fernando Lopes, Michael Wooldridge, A. Q. Novais
Venue: Artificial Intelligence Review (2008)

Automated negotiation systems with software agents representing individuals or organizations and capable of reaching agreements through negotiation are becoming increasingly important and pervasive. Examples, to mention a few, include the industrial trend toward agent-based supply chain management, the business trend toward virtual enterprises, and the pivotal role that electronic commerce is increasingly assuming in many organizations. Artificial intelligence (AI) researchers have paid a great deal of attention to automated negotiation over the past decade and a number of prominent models have been proposed in the literature. These models exhibit fairly different features, make use of a diverse range of concepts, and show performance characteristics that vary significantly depending on the negotiation context. As a consequence, assessing and relating individual research contributions is a difficult task. Currently, there is a need to build a framework to define and characterize the essential features that are necessary to conduct automated negotiation and to compare the usage of key concepts in different publications. Furthermore, the development of such a framework can be an important step to identify the core elements of autonomous negotiating agents, to provide a coherent set of concepts related to automated negotiation, to assess progress in the field, and to highlight new research directions. Accordingly, this paper introduces a generic framework for automated negotiation. It describes, in detail, the components of the framework, assesses the sophistication of the majority of work in the AI literature on these components, and discusses a number of prominent models of negotiation. This paper also highlights some of the major challenges for future automated negotiation research.
Automatic Fontanel Extraction from Newborns' CT Images Using Variational Level Set
Authors: Kamran Kazemi, Sona Ghadimi, Alireza Lyaghat, Alla Tarighati, Narjes Golshaeyan, Hamid Abrishami-Moghaddam, Reinhard Grebe, Catherine Gondary-Jouet, Fabrice Wallois
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

A realistic head model is needed for source localization methods used for the study of epilepsy in neonates applying Electroencephalographic (EEG) measurements from the scalp. The earliest models consider the head as a series of concentric spheres, each layer corresponding to a different tissue whose conductivity is assumed to be homogeneous. The results of the source reconstruction depend highly on the electric conductivities of the tissues forming the head.The most used model is constituted of three layers (scalp, skull, and intracranial). Most of the major bones of the neonates' skull are ossified at birth but can slightly move relative to each other. This is due to the sutures, fibrous membranes that at this stage of development connect the already ossified flat bones of the neurocranium. These weak parts of the neurocranium are called fontanels. Thus it is important to enter the exact geometry of fontaneles and flat bone in a source reconstruction because they show pronounced in conductivity. Computer Tomography (CT) imaging provides an excellent tool for non-invasive investigation of the skull which expresses itself in high contrast to all other tissues while the fontanels only can be identified as absence of bone, gaps in the skull formed by flat bone. Therefore, the aim of this paper is to extract the fontanels from CT images applying a variational level set method. We applied the proposed method to CT-images of five different subjects. The automatically extracted fontanels show good agreement with the manually extracted ones.
Localized Parallel Algorithm for Bubble Coalescence in Free Surface Lattice-Boltzmann Method
Authors: Stefan Donath, Christian Feichtinger, Thomas Pohl, Jan Götz, Ulrich Rüde
Venue: Proceedings of the 15th International Euro-Par Conference on Parallel Processing (2009)

The lattice Boltzmann method is a popular method from computational fluid dynamics. An extension of this method handling liquid flows with free surfaces can be used to simulate bubbly flows. It is based on a volume-of-fluids approach and an explicit tracking of the interface, including a reconstruction of the curvature to model surface tension. When this algorithm is parallelized, complicated data exchange is required, in particular when bubbles extend across several subdomains and when topological changes occur through coalescence of bubbles. In a previous implementation this was handled by using all-to-all MPI communication in each time step, restricting the scalability of the simulations to a moderate parallelism on a small number of processors. In this paper, a new parallel bubble merge algorithm will be introduced that communicates updates of the bubble status only locally in a restricted neighborhood. This results in better scalability and is suitable for massive parallelism. The algorithm has been implemented in the lattice Boltzmann software framework waLBerla, resulting in parallel efficiency of 90% on up to 4080 cores.
The Impact of Culture on the Design of Arabic Websites
Authors: Aaron Marcus, Sundus Hamoodi
Venue: Proceedings of the 3rd International Conference on Internationalization, Design and Global Development: Held as Part of HCI International 2009 (2009)

This paper discusses issues regarding the influence of culture on Arabic Websites. Arabic Websites from three countries serve as an initial sample for this study. Do the Websites of Arabian countries reflect their culture? How specifically? Do they share attitudes about design? Can an Arabian designer achieve what users in other cultures need and want? What are differences reflected in the differences between Arabic countries in the Eastern world and Western countries? This paper discusses these and other issues.
A Multi-variable Algorithm for Placing Phi-nodes
Authors: Hongtu Ma, Rongcai Zhao, Ling Liang, Xun Li
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Based on the work of Cytron, we employ the concept of Dominance Frontier Inverse (DFI) to present an iterative algorithm to simultaneously place phi –nodes for all variables of a function. The set DFI(x) is a set of the nodes N whose dominance frontier is x. Two important properties of the set DFI(x) make this algorithm faster: (1) The set DFI(x) is empty if x has a single predecessor, that is only the DFI set of the join nodes may not be empty; (2) The nodes in the set DFI(x) must be nodes whose level is no smaller than the level of x on the dominator tree. After the DFI sets are calculated, the algorithm travels bottom-up on the dominator tree by levels, and iteratively computes a fixed point for the DFI sets of the join nodes with the same level, and after a fixed point is reached for the DFI sets of the level, the phi -nodes for multi-variable are placed on these join nodes. The advantage of this algorithm is that the phi -nodes doesn’t need to be placed for each variable separately. Experimental results of the C Specint2000 show that this algorithm is about 13.0% faster than Cytron’s algorithm on average, and especially for 176.gcc benchmark, the improvement is 20.7%, while it is 0.7% in Das.
Mixed-source multi-document speech-to-text summarization
Authors: Ricardo Ribeiro, David Martins de Matos
Venue: Proceedings of the Workshop on Multi-source Multilingual Information Extraction and Summarization (2008)

Speech-to-text summarization systems usually take as input the output of an automatic speech recognition (ASR) system that is affected by issues like speech recognition errors, disfluencies, or difficulties in the accurate identification of sentence boundaries. We propose the inclusion of related, solid background information to cope with the difficulties of summarizing spoken language and the use of multi-document summarization techniques in single document speech-to-text summarization. In this work, we explore the possibilities offered by phonetic information to select the background information and conduct a perceptual evaluation to better assess the relevance of the inclusion of that information. Results show that summaries generated using this approach are considerably better than those produced by an up-to-date latent semantic analysis (LSA) summarization method and suggest that humans prefer summaries restricted to the information conveyed in the input source.
Research on Spatiotemporal Expansion Query Based on Relational Database
Authors: Miao Lei
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Spatiotemporal data storage and application is hot research issue in GIS. In this paper based on RD, it is analyzed that spatiotemporal changes and how spatiotemporal data storage in the relational model - tuple version. In order to satisfy temporal query, relation algebraic operations need to expand. Those mainly reflect on the adjusting time span of relations Operational results. Firstly temporal predication tests to result tuple. Then according the type of relation operation determining how to adjust the tuple version-- reservations, delete copy or recomputed effective time interval.