ppxscal/embedding_network huggingface dataset:
Factors Affecting Audio and Text-Based Communication Media Choice in Global Software Development Projects
Authors: Tuomas Niinimaki, Arttu Piri, Casper Lassenius
Venue: Proceedings of the 2009 Fourth IEEE International Conference on Global Software Engineering (2009)

Software development as a knowledge intensive activity involves high requirements for communication and collaboration between its practitioners. In global software development, geographical, cultural and language distances bring additional challenges to communication. While text-based communication is very common in global software projects, recent improvements in telecommunications technology and network infrastructure have enabled ad-hoc audio conferencing as an economically feasible and available communication medium. Media richness theory suggests audio conferencing as a richer medium to have potential in leveraging uncertainty and equivocality, while media synchronicity theory suggests using multiple communication media to accomplish a task. This empirical qualitative study is based on 57 interviews from eight global software development projects. We discovered that self-conception of poor language skills leads to preference to use text-based communication media. We also found out that technical personnel tends to prefer text-based communication media more than non-technical team members.
Capturing User Intent for Analytic Process
Authors: Eugene Santos,  Jr., Hien Nguyen, John Wilkinson, Fei Yu, Deqing Li, Keum Kim, Jacob Russell, Adam Olson
Venue: Proceedings of the 17th International Conference on User Modeling, Adaptation, and Personalization: formerly UM and AH (2009)

We are working on the problem of modeling an analyst's intent in order to improve collaboration among intelligence analysts. Our approach is to infer the analyst's goals, commitment, and actions to improve the effectiveness of collaboration. This is a crucial problem to ensure successful collaboration because analyst intent provides a deeper understanding of what analysts are trying to achieve and how they are achieving their goals than simply modeling their interests. The novelty of our approach relies on modeling the process of committing to a goal as opposed to simply modeling topical interests. Additionally, we dynamically generate a goal hierarchy by exploring the relationships between concepts related to a goal. In this short paper, we present the formal framework of our intent model, and demonstrate how it is used to detect the common goals between analysts using the APEX dataset.
HoverFlow: expanding the design space of around-device interaction
Authors: Sven Kratz, Michael Rohs
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

In this paper we explore the design space of around-device interaction (ADI). This approach seeks to expand the interaction possibilities of mobile and wearable devices beyond the confines of the physical device itself to include the space around it. This enables rich 3D input, comprising coarse movement-based gestures, as well as static position-based gestures. ADI can help to solve occlusion problems and scales down to very small devices. We present a novel around-device interaction interface that allows mobile devices to track coarse hand gestures performed above the device's screen. Our prototype uses infrared proximity sensors to track hand and finger positions in the device's proximity. We present an algorithm for detecting hand gestures and provide a rough overview of the design space of ADI-based interfaces.
Automatic segmentation and summarization of meeting speech
Authors: Gabriel Murray, Pei-Yun Hsueh, Simon Tucker, Jonathan Kilgour, Jean Carletta, Johanna Moore, Steve Renals
Venue: Proceedings of Human Language Technologies: The Annual Conference of the North American Chapter of the Association for Computational Linguistics: Demonstrations on XX (2007)

AMI Meeting Facilitator is a system that performs topic segmentation and extractive summarisation. It consists of three components: (1) a segmenter that divides a meeting into a number of locally coherent segments, (2) a summarizer that selects the most important utterances from the meeting transcripts, and (3) a compression component that removes the less important words from each utterance based on the degree of compression the user specified. The goal of the AMI Meeting Facilitator is two-fold: first, we want to provide sufficient visual aids for users to interpret what is going on in a recorded meeting; second, we want to support the development of downstream information retrieval and information extraction modules with the information about the topics and summaries in meeting segments.
UXDs-driven conceptual design process model for contradiction solving using CAIs
Authors: Runhua Tan, Jianhong Ma, Fang Liu, Zihui Wei
Venue: Computers in Industry (2009)

Design is situational, which means the explicit consideration of the state of the environment, the knowledge and experience of the designer, and the interaction between the designer and the environment during designing interact. When computer-aided innovation systems (CAIs) are applied to the design, the environment and the situation are different from the traditional design process and environment. The basic principles of some CAIs available in the world market are directly related to theory of inventive problem solving (TRIZ). Special TRIZ solutions, which have a few inventive principles and the related cases for contradiction problem solving, are medium-solutions to domain problems. The second stage analogy process is used to generate domain solutions and in this process, the TRIZ solutions are used as source designs of analogy-based process. Unexpected discoveries (UXDs) are the key factors to trigger designers to generate new ideas for domain solutions. The type of UXDs for the specific TRIZ solutions is studied and a UXDs-driven contradiction solving for conceptual design is formed. A case study shows the application of the process step by step.
A Study of the RF Characteristics for Wireless Sensor Deployment in Building Environment
Authors: Essa Jafer, Brendan O'Flynn, Cian O'Mathuna, Rosta Spinar
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

In this paper, The radio Frequency (RF) Monitoring and Measurement of the Environmental Research Institute (ERI) located in Cork city will be monitored and analyzed in both the Zigbee (2.44 GHz) and the industrial, scientific and medical (ISM 433MHz). The main objective of this survey is to confirm what the noise and interferences threat signals exist in these bands. It was agreed that the surveys would be carried out in 5 different rooms and areas that are candidates for the Wireless Sensors deployments. Based on the carried on study, A Zigbee standard Wireless Sensor Network (WSN) will be developed employing a number of motes for sensing number of signals like temperature, light and humidity beside the RSSI and battery voltage monitoring. Such system will be used later on to control and improve indoor building climate at reduced costs, remove the need for cabling and both installation and operational costs are significantly reduced.
Software Design Methodology for Set-Top Box
Authors: Chao Gao, Lei Wang, Hong Ni
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

Digital TV industry is developing rapidly recent years in China, which brings up generous commercial value and opens a great software market. However, this field is divided into more than 300 parts, where services are different from one to another. As a result, it’s difficult to design software of the Set-Top Box for developers, and usually they have to change from one platform to another, in order to meet the network operator’s needs. To resolve this problem, we propose a brand new software stack in this paper, which is well-layered and extendable, to make the software design easy and effective, and to make the applications reusable on different platforms. We have implemented this software stack to 3 different platforms, which performed pretty well and made the project ahead of schedule.
Verification of Concurrent Programs with Chalice
Authors: K. Rustan Leino, Peter Müller, Jan Smans
Venue: Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures (2009)

A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes describe a verifier for concurrent programs called Chalice.Chalice's verification methodology centers around permissions and permission transfer. In particular, a memory location may be accessed by a thread only if that thread has permission to do so. Proper use of permissions allows Chalice to deduce upper bounds on the set of locations modifiable by a method and guarantees the absence of data races for concurrent programs. The lecture notes informally explain how Chalice works through various examples.
An Information-Theoretic Approach for Multi-task Learning
Authors: Pei Yang, Qi Tan, Hao Xu, Yehua Ding
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

Multi-task learning utilizes labeled data from other "similar" tasks and can achieve efficient knowledge-sharing between tasks. In this paper, a novel information-theoretic multi-task learning model, i.e. IBMTL, is proposed. The key idea of IBMTL is to minimize the loss mutual information during the classification, while constrain the Kullback Leibler divergence between multiple tasks to some maximal level. The basic trade-off is between maximize the relevant information while minimize the "dissimilarity" between multiple tasks. The IBMTL algorithm is compared with TrAdaBoost which extends AdaBoost for transfer learning. The experiments were conducted on two data sets for transfer learning, Email spam-filtering data set and sentiment classification data set. The experimental results demonstrate that IBMTL outperforms TrAdaBoost.
Global Visualization and Quantification of Compressible Vortex Loops
Authors: H. Zare-Behtash, N. Gongora-Orozco, K. Kontis
Venue: Journal of Visualization (2009)

The physics of compressible vortex loops generated due to the rolling up of the shear layer upon the diffraction of a shock wave from a shock tube is far from being understood, especially when shock-vortex interactions are involved. This is mainly due to the lack of global quantitative data available which characterizes the flow. The present study involves the usage of the PIV technique to characterize the velocity and vorticity of compressible vortex loops formed at incident shock Mach numbers of M = 1.54 and 1.66. Another perk of the PIV technique over purely qualitative methods, which has been demonstrated in the current study, is that at the same time the results also provide a clear image of the various flow features. Techniques such as schlieren and shadowgraph rely on density gradients present in the flow and fail to capture regions of the flow influenced by the primary flow structure which would have relatively lower pressure and density. Various vortex loops, namely, square, elliptic and circular, were generated using different shape adaptors fitted to the end of the shock tube. The formation of a coaxial vortex loop with opposite circulation along with the generation of a third stronger vortex loop ahead of the primary with same circulation direction are of the interesting findings of the current study.
Learning causal models for noisy biological data mining: an application to ovarian cancer detection
Authors: Ghim-Eng Yap, Ah-Hwee Tan, Hwee-Hwa Pang
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Undetected errors in the expression measurements from high-throughput DNA microarrays and protein spectroscopy could seriously affect the diagnostic reliability in disease detection. In addition to a high resilience against such errors, diagnostic models need to be more comprehensible so that a deeper understanding of the causal interactions among biological entities like genes and proteins may be possible. In this paper, we introduce a robust knowledge discovery approach that addresses these challenges. First, the causal interactions among the genes and proteins in the noisy expression data are discovered automatically through Bayesian network learning. Then, the diagnosis of a disease based on the network is performed using a novel error-handling procedure, which automatically identifies the noisy measurements and accounts for their uncertainties during diagnosis. An application to the problem of ovarian cancer detection shows that the approach effectively discovers causal interactions among cancer-specific proteins. With the proposed error-handling procedure, the network perfectly distinguishes between the cancer and normal patients.
Improvement of Member's Concentration during Discussion
Authors: Junko Ichino, Kazuhiro Takeuchi, Hitoshi Isahara
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

We developed face-to-face single display groupware (SDG) that has a novel circular frame and enhanced multiple pointers. The aim of the study is to encourage groups to concentrate on their discussions and thereby improve their cooperative decision-making. We analyzed the information input methods and information that should be shared in a face-to-face SDG by surveying related work. The interface was designed based on this analysis. Three experiments were carried out, with a general parallel input system tested for comparison. The results proved that group task accuracy, participants' memory, and their subjective evaluation improved when our SDG was used.
The Crossing Number of Graphs: Theory and Computation
Authors: Petra Mutzel
Venue: Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday (2009)

This survey concentrates on selected theoretical and computational aspects of the crossing number of graphs. Starting with its introduction by Turán, we will discuss known results for complete and complete bipartite graphs. Then we will focus on some historical confusion on the crossing number that has been brought up by Pach and Tóth as well as Székely. A connection to computational geometry is made in the section on the geometric version, namely the rectilinear crossing number. We will also mention some applications of the crossing number to geometrical problems. This review ends with recent results on approximation and exact computations.
Enriching software architecture documentation
Authors: Anton Jansen, Paris Avgeriou, Jan Salvador van der Ven
Venue: Journal of Systems and Software (2009)

The effective documentation of Architectural Knowledge (AK) is one of the key factors in leveraging the paradigm shift toward sharing and reusing AK. However, current documentation approaches have severe shortcomings in capturing the knowledge of large and complex systems and subsequently facilitating its usage. In this paper, we propose to tackle this problem through the enrichment of traditional architectural documentation with formal AK. We have developed an approach consisting of a method and an accompanying tool suite to support this enrichment. We evaluate our approach through a quasi-controlled experiment with the architecture of a real, large, and complex system. We provide empirical evidence that our approach helps to partially solve the problem and indicate further directions in managing documented AK.
Chess Metaphors: Artificial Intelligence and the Human Mind
Authors: Diego Rasskin-Gutman
Venue:  (2009)

When we play the ancient and noble game of chess, we grapple with ideas about honesty, deceitfulness, bravery, fear, aggression, beauty, and creativity, which echo (or allow us to depart from) the attitudes we take in our daily lives. Chess is an activity in which we deploy almost all our available cognitive resources; therefore, it makes an ideal laboratory for investigation into the workings of the mind. Indeed, research into artificial intelligence (AI) has used chess as a model for intelligent behavior since the 1950s. In Chess Metaphors, Diego Rasskin-Gutman explores fundamental questions about memory, thought, emotion, consciousness, and other cognitive processes through the game of chess, using the moves of thirty-two pieces over sixty-four squares to map the structural and functional organization of the brain. Rasskin-Gutman focuses on the cognitive task of problem solving, exploring it from the perspectives of both biology and AI. He examines concept after concept, move after move, delving into the varied mental mechanisms and the cognitive processes underlying the actions of playing chess. Bringing the game of chess into a larger framework, he analyzes its collateral influences that spread along the frontiers of games, art, and science. Finally, he investigates AI's effort to program a computer that could beat a flesh-and-blood grandmaster (and win a world chess championship) and how the results fall short when compared to the truly creative nature of the human mind.
A frame-based probabilistic framework for spoken dialog management using dialog examples
Authors: Kyungduk Kim, Cheongjae Lee, Sangkeun Jung, Gary Geunbae Lee
Venue: Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue (2008)

This paper proposes a probabilistic framework for spoken dialog management using dialog examples. To overcome the complexity problems of the classic partially observable Markov decision processes (POMDPs) based dialog manager, we use a frame-based belief state representation that reduces the complexity of belief update. We also used dialog examples to maintain a reasonable number of system actions to reduce the complexity of the optimizing policy. We developed weather information and car navigation dialog system that employed a frame-based probabilistic framework. This framework enables people to develop a spoken dialog system using a probabilistic approach without complexity problem of POMDP.
Low frequency ultrasounds in medicine
Authors: A. S. Fiorillo, D. Grimaldi, S. A. Pullano
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

Ultrasound energy at frequency lower than 200 kHz has been used recently in medical field for transdermal drug transport and therapy with experimental results better than high frequency ultrasound at few MHz. As a consequence, the low frequency ultrasounds are gained more interest in the medical field. In the paper we review the most promising application of low frequency ultrasounds with emphasis on technology transducers and measurements. Furthermore, we propose a piezopolymer transducer, originally aimed to emulate the bat bio-sonar, that has low acoustic impedance to match biological tissue. It is light, small and low cost and could be used for medical application.
E-mail-based Information Utilization System
Authors: Shinya Kambori, Hitoshi Aida
Venue: Proceedings of the 2009 Ninth Annual International Symposium on Applications and the Internet (2009)

We propose a system to utilize information received via e-mail. The proposed system works as an e-mail client, organizes pieces of information in e-mail messages and assists the users to find information which they look for. To categorize and explore relationships among pieces of information, the system utilizes meta-information attached in the form of an XML document. In addition, a new message model, "Paragraph-unit model", is applied to the system in order to organize information efficiently. This model enables more flexible organizing than traditional message-unit-based processing.
Enhanced Target Collision Resistant Hash Functions Revisited
Authors: Mohammad Reza Reyhanitabar, Willy Susilo, Yi Mu
Venue: Fast Software Encryption: 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers (2009)

Enhanced Target Collision Resistance (eTCR) property for a hash function was put forth by Halevi and Krawczyk in Crypto 2006, in conjunction with the randomized hashing mode that is used to realize such a hash function family. eTCR is a strengthened variant of the well-known TCR (or UOWHF) property for a hash function family (i.e. a dedicated-key hash function). The contributions of this paper are twofold. First, we compare the new eTCR property with the well-known collision resistance (CR) property, where both properties are considered for a dedicated-key hash function. We show there is a separation between the two notions, that is in general, eTCR property cannot be claimed to be weaker (or stronger) than CR property for any arbitrary dedicated-key hash function. Second, we consider the problem of eTCR property preserving domain extension. We study several domain extension methods for this purpose, including (Plain, Strengthened, and Prefix-free) Merkle-Damgård, Randomized Hashing (considered in dedicated-key hash setting), Shoup, Enveloped Shoup, XOR Linear Hash (XLH), and Linear Hash (LH) methods. Interestingly, we show that the only eTCR preserving method is a nested variant of LH which has a drawback of having high key expansion factor. Therefore, it is interesting to design a new and efficient eTCR preserving domain extension in the standard model.
Period Doubling in the R&#x00f6;ssler System&#x2014;A Computer Assisted Proof
Authors: Daniel Wilczak, Piotr Zgliczy&#x0144;ski
Venue: Foundations of Computational Mathematics (2009)

Using rigorous numerical methods, we validate a part of the bifurcation diagram for a Poincar&#x00e9; map of the R&#x00f6;ssler system (R&#x00f6;ssler in Phys. Lett. A 57(5):397&#x2013;398, 1976)&#x2014;the existence of two period-doubling bifurcations and the existence of a branch of period two points connecting them. Our approach is based on the Lyapunov&#x2013;Schmidt reduction and uses the C r -Lohner algorithm (Wilczak and Zgliczy&#x0144;ski, available at http://www.ii.uj.edu.pl/~wilczak) to obtain rigorous bounds for the R&#x00f6;ssler system.
Computer-aided sketching as a tool to promote innovation in the new product development process
Authors: Pedro Company, Manuel Contero, Peter Varley, Nuria Aleixos, Ferran Naya
Venue: Computers in Industry (2009)

Sketching is an established part of engineering culture. Sketches assist product designers during the creative stages of design and help them to develop inventions. Paper-and-pencil sketching is highly useful but lacks functionalities, mainly because it is disconnected from the rest of the (computer-aided) design process. However, CAS tools are not yet as usable as paper-and-pencil, although they provide full integration with the subsequent phases of the design processes (CAD, CAE, CAM, etc.) and other interesting functionalities. We desire computer-aided sketching (CAS) tools which furnish users with the sketching environment they require to make full use of their conceptual design and innovation talents, while providing full integration with the subsequent phases of the design processes (CAD, CAE, CAM, etc.). In this paper we discuss the importance of sketching in conceptual design, we review the current situation of engineering sketching, and we then analyze the main characteristics which a successful and fully integrated CAS tool should include. We consider CAS, not as a single problem, but as at least three: thinking, prescriptive and talking sketches require different approaches to functionality. Finally, we present the current state of the art in CAS tools by describing the main features and outstanding problems of our own applications.