ppxscal/embedding_network huggingface dataset:
The Construction for Guarantee and Ability of Early Warning and Response of Water Pollution Emergencies in Wuhan City, China
Authors: Xuying Yuan, Yijin Wu, Bei Huang, Wei Liao, Shuang Liang, Liangyue Tian, Xi Huang, Hao Zhang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

Water pollution incidents have taken place in China frequently resulting in an enormous economic loss. How to solve the problem timely, effectively and efficiently becomes a significant issue to scrub the deleterious effects of sudden pollution accidents. Emergency pollution incident management system is a complete system composed of data layer, model layer and the system interface layer. It has early warning functions such as the real-time monitoring of water quality and prediction of pollution emergencies. To take Wuhan city for example, this system realize the function of attribute query, mouse fixed-point tracking, input of incidents site and output of transportation process as well as extension of pollutants cluster from time to time. It can also query the water quality in different time. The system can be enhanced profoundly and will shorten the response time in a large scale. The successful control methods provide references and technical support for watershed management of pollution accidents in other area.
Towards a Subject-Centered Analysis for Automated Video Surveillance
Authors: Michela Farenzena, Loris Bazzani, Vittorio Murino, Marco Cristani
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

In a typical video surveillance framework, a single camera or a set of cameras monitor a scene in which human activities are carried out. In this paper, we propose a complementary framework where human activities can be analyzed under a subjective point of view. The idea is to represent the focus of attention of a person in the form of a 3D view frustum, and to insert it in a 3D representation of the scene. This leads to novel inferences and reasoning on the scene and the people acting in it. As a particular application of this proposed framework, we collect the information from the subjective view frusta in an Interest Map, i.e. a map that gathers in an effective and intuitive way which parts of the scene are observed more often in a defined time interval. The experimental results on standard benchmark data witness the goodness of the proposed framework, encouraging further efforts for the development of novel applications in the same direction.
User Authentication with Keystroke Dynamics Using Fixed Text
Authors: Mariusz Rybnik, Piotr Panasiuk, Khalid Saeed
Venue: Proceedings of the 2009 International Conference on Biometrics and Kansei Engineering (2009)

User authentication is an important problem for any restricted access computer system, especially with remote access. Constant spread of Internet makes efficient remote authentication a pressing issue while the distributed nature of interaction introduces additional difficulties. Authentication methods based on most biometrics techniques require dedicated hardware that is unhandy for remote applications. In contrast keystroke dynamics requires only limited dedicated software and does not require any dedicated hardware. The approach we propose is aimed at efficient user authentication with keystroke dynamics using short fixed text, that may for example occur simultaneously to logging process. We have tested the suggested approach on a large group of individuals, with data gathered over Internet using browser-based WWW application. The obtained results are promising and encourage further development in this area.
A Software Certification Consortium and its Top 9 Hurdles
Authors: John Hatcliff, Mats Heimdahl, Mark Lawford, Tom Maibaum, Alan Wassyng, Fred Wurden
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

In August of 2007 and December of 2007, North American academic researchers, industry representatives and regulators were invited to meetings in Washington and Minneapolis, respectively, with the goal of forming a Software Certification Consortium (SCC). At the first meeting, objectives were established for the consortium and a certification grand challenge was issued. At the second meeting, all participants were asked to complete the statement: ''Software certification is hard because ...''. The group then synthesized the results into a ''Top 9'' list by means of discussion and voting. In this article, we describe the goals that we believe should be the goals of SCC, via details of these Top 9 hurdles that are preventing us from making software certification part of the mainstream.
Constraint Based Languages for Biological Reactions
Authors: Marco Bottalico, Stefano Bistarelli
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

In this paper, we describe two techniques based on Concurrent Constraint Programming, to model biological systems: timed process calculus (ntcc) and stochastic Concurrent Constraint Programming (sCCP). We build a simple biochemical reaction, from an enzymatic reaction and we write it be using the different models.
Hyperelastic Model of Anisotropic Fiber Reinforcements within Intestinal Walls for Applications in Medical Robotics
Authors: P. Ciarletta, P. Dario, F. Tendick, S. Micera
Venue: International Journal of Robotics Research (2009)

The development of an anatomically realistic model of intestinal tissue is essential for the progress of several clinical applications of medical robotics. A hyperelastic theory of the layered structure of the intestine is proposed in this paper to reproduce its purely elastic passive response from the structural organization of its main constituents. The hyperelastic strain energy function is decoupled into an isotropic term, describing the ground biological matrix, and an anisotropic term, describing the single contributions of the directional fiber-reinforcements. The response of the muscular coat layer has been modeled as a stiffening effect due to two longitudinal and circular muscular reinforcements. The contribution of the submucosa has been described from a uniform distribution of fibrillar collagen in a cross-ply arrangement. An experimental procedure has been proposed in order to characterize the passive response of porcine intestinal samples from planar uniaxial traction and shear tests. The experimental data have been non-linearly fitted in the least square sense with the results of the theoretical predictions. The mechanical parameters have been fitted with high accuracy (Rmin=0.9329, RMSEmax =0.01167), demonstrating the ability of the model to reproduce the mechanical coupling due to the presence of multiple directional reinforcements. The fundamental mechanical role of collagen morphology in the passive biomechanical behavior of intestinal wall is demonstrated. These results may drive a better understanding of the key factors in growth and remodeling of healthy and diseased tissue, together with numerous applications in robotic endoscopy, minimally invasive surgery, and biomedical research.
A Comprehension Based Cognitive Model of Situation Awareness
Authors: Martin R. Baumann, Josef F. Krems
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

For safe driving it is an inevitable precondition that the driver possesses a correct mental representation of the current traffic situation, the situation model. This mental representation not only involves a representation of objects and situational features relevant to the driver's behaviour, but also the driver's expectations about the future development of the traffic situation. A concept that describes the processes and the factors influencing them is situation awareness (SA) [1]. Until now the cognitive mechanisms underlying situation awareness have been far from properly understood. In this paper we propose a process model of situation awareness that views the construction of the situation model as a comprehension process comparable to discourse comprehension. Two experiments will be presented briefly that address some predictions derived from this model. The last section of the paper describes a current project that aims at implementing this model in the cognitive architecture ACT-R.
Prototype Implementation of a Goal-Based Software Health Management Service
Authors: Matthew Barry, Gregory Horvath
Venue: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (2009)

The FAILSAFE project is developing concepts and prototype implementations for software health management in mission-critical real-time embedded systems.The project unites features of the industry standard ARINC 653 Avionics Application Software Standard Interface and JPL's Mission Data System (MDS) technology.The ARINC 653 standard establishes requirements for the services provided by partitioned real-time operating systems.The MDS technology provides a state analysis method, canonical architecture, and software framework that facilitates the design and implementation of software-intensive complex systems.We use the MDS technology to provide the health management function for an ARINC 653 application implementation.In particular, we focus on showing how this combination enables reasoning about and recovering from application software problems.Our prototype application software mimics the Space Shuttle orbiter's abort control sequencer software task, which provides safety-related functions to manage vehicle performance during launch aborts.We turned this task into a goal-based function that, when working in concert with the software health manager, aims to work around software and hardware problems in order to maximize abort performance results.In order to make it a compelling demonstration for current aerospace initiatives, we additionally imposed on our prototype a number of requirements derived from NASA's Constellation Program. Lastly, the ARINC 653 standard imposes a number of requirements on the system integrator for developing the requisite error handler process.Under ARINC 653, the health monitoring (HM) service is invoked by an application calling the application error service or by the operating system or hardware detecting a fault.It is these HM and error process details that we implement with the MDS technology, showing how a state-analytic approach is appropriate for identifying fault determination details, and showing how the framework supports acting upon state estimation and control features in order to achieve safety-related goals.We describe herein the requirements, design, and implementation of our software health manager and the software under control. We provide details of the analysis and design for the Phase II prototype, and describe future directions for the remainder of Phase II and the new topics we plan to address in Phase III.
Systems Analysis and Design for Advanced Modeling Methods: Best Practices, 1st edition
Authors: Akhilesh Bajaj, Akhilesh Bajaj, Stanislaw Wrycza
Venue:  (2009)

The field of systems analysis and design is experiencing ongoing changes that significantly impact the way information systems are being analyzed and designed in practice. Systems Analysis and Design for Advanced Modeling Methods: Best Practices collects work representing leading research in the area of systems analysis and design practices and methodologies. This "Premier Reference Source" provides researchers, academicians, and practitioners with a useful overview and related references in the field.
User experience of speech controlled media center for physically disabled users
Authors: Hannu Soronen, Santtu Pakarinen, Mervi Hansen, Markku Turunen, Jaakko Hakulinen, Juho Hella, Juha-Pekka Rajaniemi, Aleksi Melto, Tuuli Laivo
Venue: Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era (2009)

In this paper, we present results from a long-term user pilot study of speech controlled media center. The pilot users in this case were physically disabled and the system was installed in their apartment for six weeks. We designed a multimodal media center interface based on speech. Full speech control is provided with a hands-free speech recognition input method for people with physical disabilities. In addition, the application includes a zoomable context + focus GUI in tight combination with speech output. The resulting interface was designed following human-centered principles. Finally, the results of user experience studies are presented.
Improving TCP performance for vertical handover in heterogeneous wireless networks
Authors: Hojin Kim, SuKyoung Lee
Venue: International Journal of Communication Systems (2009)

The incorporation of wireless local area networks (WLANs) into existing cellular networks as supplementary access technologies has become an issue of great interest. However, vertical handover (VHO), which allows users to roam between a WLAN and a cellular network, causes an abrupt change in certain link characteristics such as the round trip time and data rate. Owing to such changes, reordering problem and premature timeout occur and trigger unnecessarily fast retransmission during VHO, causing throughput degradation. Thus, we propose a new transmission control protocol (TCP) mechanism, which resolves the reordering problem by suppressing unnecessary retransmission caused by spurious duplicate acknowledgments (dupacks) incurred because of the reordering problem, and prevents premature timeout by employing an adaptive retransmission timer. We analytically investigate the throughput of our proposed TCP scheme. The numerical and simulation results show that our proposed TCP performs better in terms of throughput than other schemes appearing in the literature. Copyright &copy; 2009 John Wiley & Sons, Ltd. Vertical handovers in heterogeneous networks might cause TCP performance degradation because of undesirable phenomena such as reordering problem and premature timeout. In this paper, we propose a new TCP mechanism that suppresses unnecessary retransmission and prevents premature timeout in the vertical handover by employing an adaptive retransmission timer. We analytically investigate the throughput of our proposed TCP scheme. The numerical and simulation results show that the proposed TCP performs better in terms of throughput than other schemes appearing in the literature. Copyright &copy; 2009 John Wiley & Sons, Ltd.
Tightly packed tries: how to fit large models into memory, and make them load fast, too
Authors: Ulrich Germann, Eric Joanis, Samuel Larkin
Venue: Proceedings of the Workshop on Software Engineering, Testing, and Quality Assurance for Natural Language Processing (2009)

We present Tightly Packed Tries (TPTs), a compact implementation of read-only, compressed trie structures with fast on-demand paging and short load times. We demonstrate the benefits of TPTs for storing n-gram back-off language models and phrase tables for statistical machine translation. Encoded as TPTs, these databases require less space than flat text file representations of the same data compressed with the gzip utility. At the same time, they can be mapped into memory quickly and be searched directly in time linear in the length of the key, without the need to decompress the entire file. The overhead for local decompression during search is marginal.
Foundations of Green IT: Consolidation, Virtualization, Efficiency, and ROI in the Data Center, 1st edition
Authors: Marty Poniatowski
Venue:  (2009)

This book comprehensively discusses design considerations for the truly energy efficient data center. Scott Davis, Chief Data Center Architect, Office of the CTO, VMware, Inc. This Book Isnt About Evangelizing Green It: Its About Getting Down in the Trenches and Making It Work In Foundations of Green IT, a team of leading Green IT consultants presents the detailed technical information data center professionals need to systematically identify the right improvements, implement them, maximize savings, and accurately calculate business value. Marty Poniatowski and his team present comprehensive case studies reflecting their unsurpassed Green IT experience, complete with detailed implementation diagrams and performance information. Youll find independent, detailed coverage of solutions from HP, VMware, EMC, Cisco, and other leading vendors, with optimized sample designs and realistic ROI projections. Whether youre a CIO or IT director, architect or administrator, if you want to improve IT efficiency, this is your definitive resource. Three comprehensive, start-to-finish case studies Analyze current environments, set goals, define implementation plans, and calculate ROI for: Server and desktop consolidation and virtualization Data center backup/recovery/archiving, including replication Networking, including VoIP background Plus practical coverage of these Green IT topics: Designing data centers for greater efficiency and lower power usage Leveraging cloud computing Consolidating Microsoft SQL Server instances Reducing PC-related power usage and waste About CDI, the company behind this book: This book was written collaboratively by many CDI technical experts, led by Marty Poniatowski. CDI is an infrastructure services firm with practices focusing on virtualization, storage, networking, data center design, and other green services. It has clients in all industries, notably financial services, pharmaceuticals, and healthcare.
Answering regular path queries in expressive description logics: an automata-theoretic approach
Authors: Diego Calvanese, Thomas Eiter, Magdalena Ortiz
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to answer complex queries beyond instance retrieval, taking into account constraints expressed in a knowledge base. We consider this task for positive existential path queries (which generalize conjunctive queries and unions thereof), whose atoms are regular expressions over the roles (and concepts) of a knowledge base in the expressive DL ALCQIbreg. Using techniques based on two-way tree-automata, we first provide an elegant characterization of TBox and ABox reasoning, which gives us also a tight EXPTIME bound. We then prove decidability (more precisely, a 2EXPTIME upper bound) of query answering, thus significantly pushing the decidability frontier, both with respect to the query language and the considered DL. We also show that query answering is Exp-SPACE-hard already in rather restricted settings.
Stable high-order quadrature rules with equidistant points
Authors: Daan Huybrechs
Venue: Journal of Computational and Applied Mathematics (2009)

Newton-Cotes quadrature rules are based on polynomial interpolation in a set of equidistant points. They are very useful in applications where sampled function values are only available on a regular grid. Yet, these rules rapidly become unstable for high orders. In this paper we review two techniques to construct stable high-order quadrature rules using equidistant quadrature points. The stability follows from the fact that all coefficients are positive. This result can be achieved by allowing the number of quadrature points to be larger than the polynomial order of accuracy. The computed approximations then implicitly correspond to the integral of a least squares approximation of the integrand. We show how the underlying discrete least squares approximation can be optimised for the purpose of numerical integration.
Groundwater Quality Research Based on PDA and 3S Technology
Authors: Yan Zhang, Bin Xu, Qiao Liang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

Investigation of groundwater quality is the basic research to examination of the status of groundwater resources, evaluation of the groundwater quality, groundwater carrying capacity and study of groundwater pollution. Under systems engineering and software engineering methods, this paper focuses on PDA and 3S technology’s application procedure in groundwater quality investigation and groundwater quality assessment system design. And it is tested in Jinghuiqu Irrigation District. Compare with traditional methods, the investigation become more efficient, more precise and more credible.
Middleware for energy-awareness in mobile devices
Authors: Yu Xiao, Ramya Sri Kalyanaraman, Antti Ylä-Jääski
Venue: Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE (2009)

The growing complexity of mobile applications coupled with slow progress in the development of batteries has led to the requirement of energy-awareness in mobile devices. Nevertheless, no general solution exists for supporting energy-awareness across various mobile platforms and application domains. To address the above mentioned problems, we propose a middleware framework which utilizes the concept of application classification, and power estimation to accomplish application-specific power management, as well as providing basic support for active power management and fundamental services for energy-aware applications. To this end, we have implemented a basic prototype reflecting the functionalities of our framework, and evaluated it using mobile YouTube.
Measuring Permissivity in Finite Games
Authors: Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

In this paper, we extend the classical notion of strategies in turn-based finite games by allowing several moves to be selected. We define and study a quantitative measure for permissivity of such strategies by assigning penalties when blocking transitions. We prove that for reachability objectives, most permissive strategies exist, can be chosen memoryless, and can be computed in polynomial time, while it is in NP ¿ coNP for discounted and mean penalties.
Iteration Grove Theories with Applications
Authors: Z. Ésik, T. Hajgató
Venue: Proceedings of the 3rd International Conference on Algebraic Informatics (2009)

Iteration grove theories are iteration theories equipped with an additive structure satisfying certain one-sided distributivity laws. In any iteration grove theory, the fixed point operation determines and is determined by a generalized star operation that takes familiar form in many applications. We relate properties of the dagger operation to properties of the generalized star operation and present some applications to continuous functions over complete lattices, continuous monoids, and to tree languages.
Asbestos Detection from Microscope Images Using Support Vector Random Field of Local Color Features
Authors: Yoshitaka Moriguchi, Kazuhiro Hotta, Haruhisa Takahashi
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

In this paper, an asbestos detection method from microscope images is proposed. The asbestos particles have different colors in two specific angles of the polarizing plate. Therefore, human examiners use the color information to detect asbestos. To detect the asbestos by computer, we develop the detector based on Support Vector Machine (SVM) of local color features. However, when it is applied to each pixel independently, there are many false positives and negatives because it does not use the relation with neighboring pixels. To take into consideration of the relation with neighboring pixels, Conditional Random Field (CRF) with SVM outputs is used. We confirm that the accuracy of asbestos detection is improved by using the relation with neighboring pixels.