ppxscal/embedding_network huggingface dataset:
Numerical analysis of the early age behavior of concrete structures with a hydration based microplane model
Authors: Yun Lee, Jin-Keun Kim
Venue: Computers and Structures (2009)

To simulate the early age behavior of concrete structures composed of young concrete, a finite element analysis (FEA) was implemented with the hydration based microplane model. Structural behaviors were investigated with concrete age for a massive concrete wall and slab. From FEA, it was found that surface cracking at early age occurred via different crack driving mechanisms. In the case of combined hydration heat and shrinkage, later surface cracking was produced by differential drying shrinkage. A numerical analysis performed with the hydration based microplane model successfully simulated the typical cracking patterns due to edge restraint in the concrete slab.
Mixing Content and Endless Collaboration --- MashUps: Towards Future Personal Learning Environments
Authors: Andreas Auinger, Martin Ebner, Dietmar Nedbal, Andreas Holzinger
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

The recent movement by major Web services towards making many application programming interfaces (APIs) available for public use has led to the development of the new MashUp technology, a method of merging content, services and applications from multiple web sites. The new technology is now being successfully applied in the academic community to enrich and improve learning and teaching applications. This paper examines its implementation and use, discusses methods and styles of usage and highlights the advantages and disadvantages of client and server application, based on related work and recent experiences gathered with a large university-wide open learning management system (WBT-Master/TeachCenter of Graz University of Technology), which allows lecturers to use diverse web resources.
Measuring Error of 5-Station TDOA Positioning System for Moving-Target Alone Straight Line
Authors: Yu Tao
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

Based on the least square method and error estimation theory, the planar positioning error of 5-station TDOA positioning system with a redundant measuring station was studied by numerical computation method in three-dimensional space. Result obtained is different from that based on probability positioning algorithm. The comparison compared with the 4-station TOA positioning system indicates that the measuring error of variable nearly parallel to coordinate axis can be significantly reduced by increasing the quantity of measuring station providing that the target moves alone straight line in horizontal.
Did you put it on the wiki?: information sharing through wikis in interdisciplinary design collaboration
Authors: Ammy Jiranida Phuwanartnurak
Venue: Proceedings of the 27th ACM international conference on Design of communication (2009)

Interdisciplinary design is challenging, in large measure, because of the difficulty in communicating and coordinating across disciplines. Team members from different disciplines may view and solve the same problem from different perspectives, with their own unique method and language, which may create barriers to information sharing. Wikis, in particular, have gained popularity as a collaborative tool and have been claimed to support collaboration and information sharing. Despite the increasing use of wikis in design projects, there has been little research attention to how wikis are actually used by design teams. This paper describes a field study of two interdisciplinary design teams, seeking to discover how wikis support information sharing in software development projects. The study provides empirical evidence on the use of wikis in interdisciplinary design work, which will be used to develop guidelines on the effective use of wikis to support interdisciplinary design collaboration.
Cost-Based Vectorization of Instance-Based Integration Processes
Authors: Matthias Boehm, Dirk Habich, Steffen Preissler, Wolfgang Lehner, Uwe Wloka
Venue: Proceedings of the 13th East European Conference on Advances in Databases and Information Systems (2009)

The inefficiency of integration processes--as an abstraction of workflow-based integration tasks--is often reasoned by low resource utilization and significant waiting times for external systems. With the aim to overcome these problems, we proposed the concept of process vectorization. There, instance-based integration processes are transparently executed with the pipes-and-filters execution model. Here, the term vectorization is used in the sense of processing a sequence (vector) of messages by one standing process. Although it has been shown that process vectorization achieves a significant throughput improvement, this concept has two major drawbacks. First, the theoretical performance of a vectorized integration process mainly depends on the performance of the most cost-intensive operator. Second, the practical performance strongly depends on the number of available threads. In this paper, we present an advanced optimization approach that addresses the mentioned problems. Therefore, we generalize the vectorization problem and explain how to vectorize process plans in a cost-based manner. Due to the exponential complexity, we provide a heuristic computation approach and formally analyze its optimality. In conclusion of our evaluation, the message throughput can be significantly increased compared to both the instance-based execution as well as the rule-based process vectorization.
A technology compatibility kit for safety critical Java
Authors: Lei Zhao, Daniel Tang, Jan Vitek
Venue: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (2009)

Safety Critical Java is a specification designed to case development and analysis of safety critical programs that must be certified. Since it is being developed with the Java Community Process, a Technology Compatibility Kit is required so that all aspiring implementations can check for conformance to the specification. In this paper, we present design considerations for an open source compatibility kit. Also we present initial experiments in using our kit to test a reference implementation being developed concurrently with the specification. The testing results are reported and discussed.
Stretching and wiggling liquids
Authors: Doyub Kim, Oh-young Song, Hyeong-Seok Ko
Venue: ACM SIGGRAPH Asia 2009 papers (2009)

This paper presents a novel framework for simulating the stretching and wiggling of liquids. We demonstrate that complex phase-interface dynamics can be effectively simulated by introducing the Eulerian vortex sheet method, which focuses on the vorticity at the interface (rather than the whole domain). We extend this model to provide user control for the production of visual effects. Then, the generated fluid flow creates complex surface details, such as thin and wiggling fluid sheets. To capture such high-frequency features efficiently, this work employs a denser grid for surface tracking in addition to the (coarser) simulation grid. In this context, the paper proposes a filter, called the liquid-biased filter, which is able to downsample the surface in the high-resolution grid into the coarse grid without unrealistic volume loss resulting from aliasing error. The proposed method, which runs on a single PC, realistically reproduces complex fluid scenes.
On Characteristics of Biorthogonal Nonseparable Bivariate Wavelet Packets
Authors: Xiaodong Zhang, Deyao Song
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

In this paper, the notion of multiresolution analysis for bivariate function space is introduced. The concept of nonseparable biorthogonal bivariate wavelet packets is proposed, which is a generalization of uni-wavelet packets. A procedure for constructing them is presented by using separable variable method. Next, the biorthogonality property of biorthogonal bivariate wavelet packets is characterized and biorthogonality formulas regarding the wavelet packets are obtained.
Modeling resource sharing for a road-side access point supporting drive-thru internet
Authors: Wee Lum Tan, Wing Cheong Lau, OnChing Yue
Venue: Proceedings of the sixth ACM international workshop on VehiculAr InterNETworking (2009)

Drive-thru Internet systems are multiple-access wireless networks in which users in moving vehicles can connect to a road-side access point (AP) to obtain Internet connectivity for some period of time as the vehicles pass through the AP's coverage range. In order to evaluate the type of communication services and the quality-of-service that these systems can provide, in this paper, we investigate the data communication performance of a vehicle in Drive-thru Internet systems. In particular, we derive practical analytical models with tractable solutions to characterize the average and the distribution of the number of bytes downloaded by a vehicle by the end of its sojourn through an AP's coverage range, in the presence of other vehicles contending for the same AP's resources. Our models are able to quantify the impact of road traffic density, vehicle speed, service penetration rate, AP's transmission range and the corresponding bit rate, on the amount of data downloaded by an individual vehicle. In terms of analysis technique, we map the study of our vehicular data downloading process into the transient analysis of a series of Markov reward processes. Our use of Markov reward model is novel in the sense that we only select from the corresponding Markov chain, a subset of relevant sample paths that matches the required behavior of our vehicular flow model. Using simulations, we also perform sensitivity analysis to verify our modeling assumptions. We believe our work offers a unique analytical framework based on which the interplay between vehicular traffic parameters and a vehicle's data communication performance in a Drive-thru Internet system can be studied and optimized in a systematic, quantitative manner.
Usability Evaluation of Dynamic RSVP Interface on Web Page
Authors: Ya-Li Lin, Darcy Lin
Venue: Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009 (2009)

The usability of rapid serial visual presentation (RSVP) interface was evaluated using subjective preference questionnaire and performance measurement methods. Forty-two students voluntarily participated in this study. The results indicated the shelf interface moving from bottom-left to upper-right along a linear trajectory with moving speed of 20~30 frame per second (FPS) are most preferable. The carousel interface following circular trajectory in clockwise with moving speed of 10~15 FPS are most preferable. "Meets user experience", "aesthetic and simple design", "effective to use", and "easy to learn" all conform to the usability goals. In addition, the results based on performance measurement showed a logistic regression model with RSVP mode and moving speed are fitted very well. There is the highest probability estimation of correct recognition for the carousel interface and moving speed of 30 FPS, however, the shelf interface and 15 FPS has the lowest probability estimation of correct recognition.
Analysis for the Radiation Characteristics of Symmetrical Dipole Antenna in Mine Tunnel
Authors: Meifeng Gao
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Using green’s function in waveguide, the symmetrical dipole antenna integral equation in rectangle tunnel is established. With the Method-of-Moments (MoM), the radiation modes of symmetrical dipole are analyzed. At last, the TE mode and TM mode electric field strength is presented. Numerical results show that the TE mode and TM mode electric field strength near to the antenna vary little with the frequency or electric conductivity of tunnel wall changing. And the attenuation rate of TE mode electric field strength in far from the antenna is smaller than TM mode at the same condition.
Content Personalization for Inclusive Education through Model-Driven Engineering
Authors: Christopher Power, Richard Paige
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

Content personalization of e-learning resources has the opportunity to encourage self-directed learning and collaborative activities between students with varying cultures and backgrounds. In the case of students with disabilities, it also has the potential to provide equality of access to learning resources that can be presented in formats that are compatible with a student's needs and preferences. In this paper, a framework is presented for doing this type of content personalization for students with disabilities using Model-Driven Engineering tools and techniques.
Efficient parallel processing with spin-wave nanoarchitectures
Authors: Mary M. Eshaghian-Wilner, Shiva Navab
Venue: The Journal of Supercomputing (2009)

In this paper, we study the algorithm design aspects of three newly developed spin-wave architectures. The architectures are capable of simultaneously transmitting multiple signals using different frequencies, and allow for concurrent read/write operations. Using such features, we show a number of parallel and fault-tolerant routing schemes and introduce a set of generic parallel processing techniques that can be used for design of fast algorithms on these spin-wave architectures. We also present a set of application examples to illustrate the operation of the proposed generic parallel techniques.
The Logical Approach to Low-Level Stack Reasoning
Authors: Xinyu Jiang, Yu Guo, Yiyun Chen
Venue: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Formal verification of low-level programs often require explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to very complex specifications and make proof construction more difficult. In this paper, we develop a new logic system based on the idea of memory adjacency from stack typing. It is a variant of bunched logic, and can be easily integrated into separation logic to reason about the interaction between stacks and heaps. Our logic is especially convenient for reasoning about stack operations, and it greatly simplifies both the specification and the proof of properties about stack-allocated data.
The relevance of a cognitive model of the mental lexicon to automatic word sense disambiguation: invited talk
Authors: Martha Palmer, Susan Brown
Venue: Proceedings of the Workshop on Human Judgements in Computational Linguistics (2008)

Supervised word sense disambiguation requires training corpora that have been tagged with word senses, and these word senses typically come from a pre-existing sense inventory. Space limitations imposed by dictionary publishers have biased the field towards lists of discrete senses for an individual lexeme. Although some dictionaries use hierarchical entries to emphasize relations between senses, many do not. WordNet, which has been the default choice of NLP researchers for sense tagging because of its broad coverage and easy accibility, does not have hierarchical entries. Could the relations between senses that are captured by a hierarchy be useful to NLP systems? Concerns have also been raised about whether or not WordNet's word senses are unnecessarily fine-grained. WSD systems are obviously more successful in distinguishing coarse-grained senses than fine-grained ones (Navigli, 2006), but important information could be lost if fine-grained distinctions are ignored. Recent psycholinguistic evidence seems to indicate that closely related word senses may be represented in the mental lexicon much like a single sense, whereas distantly related senses may be represented more like discrete entities (Brown, 2008). These results suggest that, for the purposes of WSD, closely related word senses can be clustered together into a more general sense with little meaning loss. This talk will describe this psycholinguistic research and its current implications for automatic word sense disambiguation, as well as plans for future research and its possible impact.
Classification Rule Mining Using LPP and MA
Authors: Xuelin Chen
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

To efficiently resolve classification rule mining problem, a novel classification rule mining algorithm is proposed by using Locality pursuit projection (LPP) and memetic algorithm (MA) in this paper. Experimental results show that the proposed algorithm achieves much better performance than other related classification rule mining algorithms in terms of predictive accuracy and rule list mined simplicity. 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
Supporting subject matter annotation using heterogeneous thesauri
Authors: Michiel Hildebrand, Jacco van Ossenbruggen, Lynda Hardman, Geertje Jacobs
Venue: International Journal of Human-Computer Studies (2009)

We performed a user experiment in which museum professionals used vocabularies from the Web for annotating the subject matter of museum objects. In this paper, we study the requirements on the underlying RDF dataset, search algorithms and user interface design in a real world setting. We identify the advantages of reusing vocabularies from the Web and discuss how and to what extent the disadvantages can be overcome. The study is performed at the Print Room of the Rijksmuseum Amsterdam, where currently a large collection of prints, photographs and drawings is being catalogued. We report on the analysis of the current practice of professional cataloguers, the iterative design of an annotation tool and a qualitative evaluation of this tool with a user experiment in a realistic annotation environment. We discuss our findings in terms of their impact on the RDF data, the semantic search functionality and the user interface.
Research and Development of Rice Color Sorter
Authors: Zhihong Wu, Yuan Zhu, Guoqiang Chen, Xinying Shi, Jiayun Feng
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Due to the system complexity (coordination among a large amount of optical sensors and actuators) and huge signal processing demand in the rice color sorter, a distributed control solution based on CAN(Controller Area Network)-Bus is proposed, which interconnects many low level control units. The principle and implementation of a whole electronic system of rice sorter is proposed and discussed. The experimental results show that the developed rice sorter has the characteristics of higher efficiency, reliability, maintainability, and so on.
Study on the Optimal Internal Processes Designing of Vegetable Distribution Center Based on Tracing Information Collection of Material Flow
Authors: Jinping Wang, Liwei Bao
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

According to the principle of Just-in-time (JIT), an optimized design of job processing flow of storage, distribution and package etc. for vegetable distribution center has been presented by applying technology of RFID and barcode to obtain tracing information of material flow and to control the processing flow in this paper. In accordance with the physical and biological characteristics of fresh vegetable and requirements of quick circulation of the vegetable distribution center, the optimal internal processes designing has been proposed to realize the timely and balancing job processing flow to improve replenishment efficiency and fulfillment rate for diversiform demand of sales terminals by implementing the synchronization between information flow and material flow.
Vis-A-Wis: Improving Visual Accessibility through Automatic Web Content Adaptation
Authors: Giuseppe Santucci
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

The accessibility of Web content is gaining an increasing interest and several research activities deal with standards and methodologies for enforcing Web sites accessibility and usability. In spite of all these efforts most of the actual Web sites are still not accessible at all. The reason of that is twofold: from on side, most of Web site developers are unaware of the actual standards and methodologies for accessibility; on the other side, such standards are still too broad to address in an effective way all the accessibility issues. This paper attacks the Web accessibility problem following two different paths: (1) it focuses on a subset of the accessibility issues, i.e., problems associated with hypo-sight and color-blindness, and (2) it provides means for automatically adapting, i.e., transcoding any existing Web page, increasing its accessibility with respect to the aforementioned disabilities.
The Importance of Information in the Process of Acquisition and Usage of a Medicine for Patient Safety: A Study of the Brazilian Context
Authors: Patricia Lopes Fujita, Carla Galvão Spinillo
Venue: Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009 (2009)

Considering the importance of oral and visual information on acquisition and use of medication, this paper discusses the outcomes of an analytical study on the cognitive load in performing the task "take a medicine" during a health treatment process (acquisition, usage and disposal of medicine) in Brazil. The task was described in a flowchart according to the steps/actions, decision points and expected outcomes to a successful performance. This allowed finding out the task informational structure during the process of taking a medicine. Then, the cognitive activities in each moment of the process were identified. The outcomes indicate the highest cognitive load occurs in the acquisition of information by patients during a health treatment process, what would affect task performance. The findings ratify the relevance of information on the process of acquisition and usage of medicines by Brazilian patients.
Analysis of probability distribution of a random variable of an execution time of the program in the presence of random failures
Authors: K. K. Klyuchnikov
Venue: Automation and Remote Control (2009)

The mathematical model of an estimation of an execution time of the program in the presence of random failures is studied. For decreasing of influence of failures on a program execution time the known method of checkpoints is considered. The main objective consists in reception of the formula for a distribution function of a random variable of an execution time of the program and an estimation of a quantile of the received distribution. Properties of a mean value of a random variable of an execution time of the program are studied.