ppxscal/embedding_network huggingface dataset:
Socio-Technical Evaluation Matrix (STEM): A Collaborative Tool to Support and Facilitate Discussion on Socio-Technical Issues of a Design Process
Authors: Souleymane Boundaouda Camara, José Abdelnour-Nocera
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

STEM is an interactive web application designed to support and facilitate socio-technical discussions in a collaborative environment. This interactive demo shows how STEM aims to encompass issues with collaborative tools such as organisation of discussion threads by relevancy, interdependency and iteration of previous discussions.
New Perspectives on Microsoft Office 2007
Authors: Ann Shaffer, Patrick Carey
Venue:  (2009)

This is the latest book from Cengage Learning on New Perspectives on Microsoft[registered] Office 2007.
The subsequence composition of a string
Authors: Alberto Apostolico, Fabio Cunial
Venue: Theoretical Computer Science (2009)

Words that appear as constrained subsequences in a text-string are considered as possible indicators of the host string structure, hence also as a possible means of sequence comparison and classification. The constraint consists of imposing a bound on the number @w of positions in the text that may intervene between any two consecutive characters of a subsequence. A subset of such @w-sequences is then characterized that consists, in intuitive terms, of sequences that could not be enriched with more characters without losing some occurrence in the text. A compact spatial representation is then proposed for these representative sequences, within which a number of parameters can be defined and measured. In the final part of the paper, such parameters are empirically analyzed on a small collection of text-strings endowed with various degrees of structure.
The XML-λ XPath Processor: Benchmarking and Results
Authors: Jan Stoklasa, Pavel Loupal
Venue: Proceedings of the 6th International XML Database Symposium on Database and XML Technologies (2009)

This paper presents XML-λ, our approach to XML processing based on the simply typed λ-calculus. A λ-calculus model of both the XML and XPath languages is described and a prototype implementation is investigated. We benchmark the prototype implementation, comparing it to existing XPath processors -- Apache Xalan, Saxon, and Sun's Java JAXP. Surprisingly, although the prototype is more of an idea validation tool than a benchmark tuned software, XPath query evaluation is fast, especially on pre-loaded XML documents. Benchmark results support our decision to use XML-λ as an XML database data storage model. This work is part of a long-term effort targeted at designing a native XML database management system built upon this theoretical model.
Convective Heat Transfer Steady Thermal Stress and Effect Factors in a ZrO2/FGM/Ti-6Al-4V Composite EFBF Plate
Authors: Xu Yangjian, Tu Daihui, Wei Wei
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

A finite element model is constructed to analyze the steady thermal stress and effect factors in a ZrO2/FGM/Ti-6Al-4V composite EFBF plate under convective heat transfer boundary. From numerical calculation, when , T0=Ta =300K and Tb=1 800K, the stress distributions in the plate were obtained. The numerical results show that compared with h2= 2mm the tensile stress of h2=6mm reduces by 36.3%. With the increase of M, the stress on the metal surface reduces, and the stress on the ceramic surface increases. With the increase of porosity, the change of stress at the interface of the three-layered plate increases, and the tensile stress on the surface of ceramics reaches the maximum. Compared withwhen, the stress on the metal surface increases by 148%, and the stress on the ceramic surface increases by 165%. Compared with the nongraded two-layered ceramic/metal composite plate, the thermal stress of ZrO2/FGM/Ti-6Al-4V composite EFBF plate is very gentle. The results provide the foundations of theoretical calculation for the design and application of the composite plate.
A 14-b 32 MS/s pipelined ADC with fast convergence comprehensive background calibration
Authors: B. Jalali-Farahani, A. Meruva
Venue: Analog Integrated Circuits and Signal Processing (2009)

This paper presents the first aggressively calibrated 14-b 32 MS/s pipelined ADC. The design uses a comprehensive digital background calibration engine that compensates for linear and nonlinear errors as well as capacitor mismatch in multi-bit DAC. Background calibration techniques that estimate the errors by correlating the output of ADC with the calibration signal have a very slow convergence rate. This paper also presents a fully digital technique to speed up the convergence in the error estimation procedure. By digitally filtering the input signal during the error estimation, the convergence rate of the calibration has been improved significantly. Implemented in TSMC 0.25 μm technology, the pipelined ADC consumes 75 mA from 2.5 V and occupies 2.8 mm2 of active area. Measurement results show that calibration significantly improved dynamic (SNDR, SFDR) as well as static (DNL, INL) performance of the ADC.
e-Document management in situated interactivity: the WIL approach
Authors: Paolo Bottoni, Fernando Ferri, Patrizia Grifoni, Andrea Marcante, Piero Mussio, Marco Padula, Amanda Reggiori
Venue: Universal Access in the Information Society (2009)

Complex organizations need to manage a large amount of information that their employees produce and use in the form of documents: therefore, information systems are adopted to access these documents in electronic format (e-documents) through Intranet or Internet. These documents are composed, organized and annotated in different ways according to the rules adopted by specific professional communities. Such rules reflect the different and peculiar culture and skills of the communities producing them. The large amount of information available today can be potentially accessed in real time. This has increased the need for syntactic and semantic characterization of documents and for tools that allow their effective access and exploitation on the Net, their easy retrieval and management, their annotation to adapt and personalize them on the base of users&#x2019; characteristics and diversities. This paper describes the approach adopted for the Web Indexing Language (WIL) system, a system conceived for supporting users interactivity during editing, indexing, and annotating e-documents on the basis of conventions adopted for their production and distribution. In particular, the approach capitalizes on the notion that the document layout reflects the relationships among the different semantic components of the document. The model and the architecture of the WIL system aim at improving e-document indexing, searching, editing and annotating, and at exploiting the description of the logical structure of the document itself to squeeze the information about the document content which are usually grasped by a reader at a glance.
Web 2.0 proclivity: understanding how personal use influences organizational adoption
Authors: Jeff Cummings, Anne P. Massey, V. Ramesh
Venue: Proceedings of the 27th ACM international conference on Design of communication (2009)

Web 2.0 represents a major shift in how individuals communicate and collaborate with others. While many of these technologies have been used for public, social interactions (e.g., Wikipedia and YouTube), organizations are just beginning to explore their use in day-to-day operations. Due to relatively recent introduction and public popularity, Web 2.0 has led to a resurgent focus on how organizations can once again leverage technology within the organization for virtual and mass collaboration. In this paper, we explore some of the key questions facing organizations with regard to Web 2.0 implementation and adoption. We develop a model of "Web 2.0 Proclivity", defined as an individual's propensity to use Web 2.0 tools within the organization. Our model and set of associated hypotheses focuses on understanding an employee's internal Web 2.0 content behaviors based on non-work, personal use behaviors. To test our model and hypotheses, survey-based data was collected from a global engine design and manufacturing company. Our results show that Web 2.0 Proclivity is positively influenced by an employee's external behaviors and that differences exist across both functional departments and employee work roles. We discuss the research implications of our findings as well as how our findings and model of Web 2.0 Proclivity can be used to help guide organizational practice.
Factorial experimental design applied to DRIE for optimised process in power electronics applications requiring high-aspect ratio trenches
Authors: Magali Brunet, Pascal Dubreuil, Hicham Mahfoz-Kotb, Aline Gouantes, Anne-Marie Dorthe
Venue: Microsystem Technologies (2009)

A reliable factorial experimental design was applied to DRIE for specifically producing high-aspect ratio trenches. These trenches are to be used in power electronics applications such as active devices: deep trench superjunction MOSFET (DT-SJMOSFET) and passive devices: 3D integrated capacitors. Analytical expressions of the silicon etch rate, the verticality of the profiles, the selectivity of the mask and the critical loss dimension were extracted versus the process parameters. The influence of oxygen in the passivation plasma step was observed and explained. Finally, the analytical expressions were applied to the devices objectives. A perfectly vertical trench 100-&#x03bc;m deep was obtained for DT-SJMOSFET. Optimum conditions for reaching high-aspect ratio structures were determined in the case of high-density 3D capacitors.
The Real Performance Drivers behind XML Lock Protocols
Authors: Sebastian Bächle, Theo Härder
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

Fine-grained lock protocols should allow for highly concurrent transaction processing on XML document trees, which is addressed by the taDOM lock protocol family enabling specific lock modes and lock granules adjusted to the various XML processing models. We have already proved its operational flexibility and performance superiority when compared to competitor protocols. Here, we outline our experiences gained during the implementation and optimization of these protocols. We figure out their performance drivers to maximize throughput while keeping the response times at an acceptable level and perfectly exploiting the advantages of our tailor-made lock protocols for XML trees. Because we have implemented all options and alternatives in our prototype system XTC, benchmark runs for all "drivers" allow for comparisons in identical environments and illustrate the benefit of all implementation decisions. Finally, they reveal that careful lock protocol optimization pays off.
Design of an integrated low-noise read-out system for DNA capacitive sensors
Authors: Daniela De Venuto, Sandro Carrara, Bruno Riccò
Venue: Microelectronics Journal (2009)

This paper presents an electronic system for a fast DNA label-less detection. The sensitivity of the capacitive sensor in use is improved by depositing an insulating self-assembled monolayer (SAM) over the golden electrodes. The capacitance shift due to the hybridization effect is monitored by means of a charge-sensitive amplifier and digitalized by means of a comparator and a counter. The read-out solution demonstrates the ability to identify a 0.01% variation on the capacitive value of the sensor. Results from measurements with the optimized sensor show the reliability of the electronics. The investigated solution is suitable for monolithic systems or for a micro-fabricated array of sensors. An example of the integrated front-end is described and performances and noise evaluation are reported here.
Social signal processing: Survey of an emerging domain
Authors: Alessandro Vinciarelli, Maja Pantic, Hervé Bourlard
Venue: Image and Vision Computing (2009)

The ability to understand and manage social signals of a person we are communicating with is the core of social intelligence. Social intelligence is a facet of human intelligence that has been argued to be indispensable and perhaps the most important for success in life. This paper argues that next-generation computing needs to include the essence of social intelligence - the ability to recognize human social signals and social behaviours like turn taking, politeness, and disagreement - in order to become more effective and more efficient. Although each one of us understands the importance of social signals in everyday life situations, and in spite of recent advances in machine analysis of relevant behavioural cues like blinks, smiles, crossed arms, laughter, and similar, design and development of automated systems for social signal processing (SSP) are rather difficult. This paper surveys the past efforts in solving these problems by a computer, it summarizes the relevant findings in social psychology, and it proposes a set of recommendations for enabling the development of the next generation of socially aware computing.
Functional Accessibility Testing Using Best Practices
Authors: Jon Gunderson
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

The problem with many automated web accessibility testing tools is that they assume a repair oriented approach to web accessibility. The functional web accessibility approach is based on best practices design approach to creating web resources. The best practices build upon the use of web standards to increase developer acceptance, since developers benefit from the design efficiencies of web standards while they build highly accessible websites based on best practices coding techniques. Automated testing tools can be used to look for the best practices coding patterns to verify accessibility. The best practices are essentially effective techniques to implement web accessibility standards like Section 508 or guidelines like the W3C Web Content Accessibility Guidelines.
Intelligent Web Map Service Aggregation
Authors: Qiang Wang, Jiayao Wang
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

In order to provide intelligent and integrative Web Map Service applications for common users, this paper introduced agent-based methodology to realize flexible Web Map Services Aggregation on the Internet. According to the service aggregation procedure, we designed modules of agent-based user interface, service registry, service planning and service aggregation, explained the functions of role-oriented agents in detail.
Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation
Authors: Klaus Meer, Martin Ziegler
Venue: Foundations of Computational Mathematics (2009)

The word problem for discrete groups is well known to be undecidable by a Turing Machine; more precisely, it is reducible both to and from and thus equivalent to the discrete Halting Problem. The present work introduces and studies a real extension of the word problem for a certain class of groups which are presented as quotient groups of a free group and a normal subgroup. As a main difference to discrete groups these groups may be generated by uncountably many generators with index running over certain sets of real numbers. We study the word problem for such groups within the Blum&#x2013;Shub&#x2013;Smale (BSS) model of real number computation. The main result establishes the word problem to be computationally equivalent to the Halting Problem for such machines. It thus gives the first non-trivial example of a problem complete, that is, computationally universal for this model.
Parallel Communicating Grammar Systems with Regular Control
Authors: Dana Pardubská, Martin Plátek, Friedrich Otto
Venue: Proceedings of the 3rd International Conference on Algebraic Informatics (2009)

Parallel communicating grammar systems with regular control (RPCGS, for short) are introduced, which are obtained from returning regular parallel communicating grammar systems by restricting the derivations that are executed in parallel by the various components through a regular control language. For the class of languages that are generated by RPCGSs with constant communication complexity we derive a characterization in terms of a restricted type of freely rewriting restarting automaton. From this characterization we obtain that these languages are semi-linear, and that centralized RPCGSs with constant communication complexity are of the same generative power as non-centralized RPCGSs with constant communication complexity.
Cross-task knowledge-constrained self training
Authors: Hal Daumé,  III
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

We present an algorithmic framework for learning multiple related tasks. Our framework exploits a form of prior knowledge that relates the output spaces of these tasks. We present PAC learning results that analyze the conditions under which such learning is possible. We present results on learning a shallow parser and named-entity recognition system that exploits our framework, showing consistent improvements over baseline methods.
Knowledge Qualification through Argumentation
Authors: Loizos Michael, Antonis Kakas
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: default property classification in static domains, and default property persistence in temporal domains. Emphasis in this work is placed on the qualification problem, central when dealing with default reasoning, and in any attempt to integrate different forms of such reasoning.Our framework can be viewed as offering a semantics to two natural problems: (i) that of employing default static knowledge in a temporal setting, and (ii) the dual one of temporally projecting and dynamically updating default static knowledge.The proposed integration is introduced through a series of example domains, and is then formalized through argumentation. The semantics follows a pragmatic approach. At each time-point, an agent predicts the next state of affairs. As long as this is consistent with the available observations, the agent continues to reason forward. In case some of the observations cannot be explained without appealing to some exogenous reason, the agent revisits and revises its past assumptions.We conclude with some formal results, including an algorithm for computing complete admissible argument sets, and a proof of elaboration tolerance, in the sense that additional knowledge can be gracefully accommodated in any domain.
A spotlight on security and privacy risks with future household robots: attacks and lessons
Authors: Tamara Denning, Cynthia Matuszek, Karl Koscher, Joshua R. Smith, Tadayoshi Kohno
Venue: Proceedings of the 11th international conference on Ubiquitous computing (2009)

Future homes will be populated with large numbers of robots with diverse functionalities, ranging from chore robots to elder care robots to entertainment robots. While household robots will offer numerous benefits, they also have the potential to introduce new security and privacy vulnerabilities into the home. Our research consists of three parts. First, to serve as a foundation for our study, we experimentally analyze three of today's household robots for security and privacy vulnerabilities: the WowWee Rovio, the Erector Spykee, and the WowWee RoboSapien V2. Second, we synthesize the results of our experimental analyses and identify key lessons and challenges for securing future household robots. Finally, we use our experiments and lessons learned to construct a set of design questions aimed at facilitating the future development of household robots that are secure and preserve their users' privacy.
A Novel Strategy for Visual Tracking and Visual Information Extraction
Authors: Zhiyuan Liu, Bingbing Lee, Kai Lee, Jing Jiang, Meng Lee, Jiejun Qiu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

A novel strategy for the visual tracking and the information extracted problem is proposed which is for the case of maneuvering target. The strategy contains two methods. One is used to tracking, and the other one is used to extract the information of the vehicle. A non-linear estimation method using the particle filter to track objects is presented. During the tracking, a great deal of vehicle information is extracted at the same time, such as the type and velocity of vehicle. An improved Fisher Linear Discriminate is proposed to extract the license plate. By experiments, this strategy is proved much effectively, and the accuracy of tracking is improved greatly.
Automatic application of the category-partition method with loops support over functional requirements
Authors: Javier J. Gutiérrez, María J. Escalona, Manuel Mejías, Isabel M. Ramos, Claudia P. Gómez
Venue: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (2008)

This paper extends previous works about the automatic generation of test cases. The start point id the Category -Partition method and the extended use case pattern. This paper describes the automatism of both techniques and extends them to manage loops in use cases.
Sales Intelligence Using Web Mining
Authors: Viara Popova, Robert John, David Stockton
Venue: Proceedings of the 9th Industrial Conference on Advances in Data Mining. Applications and Theoretical Aspects (2009)

This paper presents a knowledge extraction system for providing sales intelligence based on information downloaded from the WWW. The information is first located and downloaded from relevant companies' websites and then machine learning is used to find these web pages that contain useful information where useful is defined as containing news about orders for specific products. Several machine learning algorithms were tested from which k-nearest neighbour, support vector machines, multi-layer perceptron and C4.5 decision tree produced best results in one or both experiments however k-nearest neighbour and support vector machines proved to be most robust which is a highly desired characteristic in the particular application. K-nearest neighbour slightly outperformed the support vector machines in both experiments which contradicts the results reported previously in the literature.
Handling outliers and concept drift in online mass flow prediction in CFB boilers
Authors: J. Bakker, M. Pechenizkiy, I. Žliobaitė, A. Ivannikov, T. Kärkkäinen
Venue: Proceedings of the Third International Workshop on Knowledge Discovery from Sensor Data (2009)

In this paper we consider an application of data mining technology to the analysis of time series data from a pilot circulating fluidized bed (CFB) reactor. We focus on the problem of the online mass prediction in CFB boilers. We present a framework based on switching regression models depending on perceived changes in the data. We analyze three alternatives for change detection. Additionally, a noise canceling and a state determination and windowing mechanisms are used for improving the robustness of online prediction. We validate our ideas on real data collected from the pilot CFB boiler.