ppxscal/embedding_network huggingface dataset:
MobileMiner: a real world case study of data mining in mobile communication
Authors: Tengjiao Wang, Bishan Yang, Jun Gao, Dongqing Yang, Shiwei Tang, Haoyu Wu, Kedong Liu, Jian Pei
Venue: Proceedings of the 35th SIGMOD international conference on Management of data (2009)

Mobile communication data analysis has been often used as a background application to motivate many data mining problems. However, very few data mining researchers have a chance to see a working data mining system on real mobile communication data. In this demo, we showcase our new system MobileMiner on a real mobile communication data set, which presents a case study of business solutions using state-of-the-art data mining techniques. MobileMiner adaptively profiles users' behavior from their calling and moving record streams. Customer segmentation and social community analysis can be conducted based on user profiles. We show how data mining techniques can help in mobile communication data analysis. Moreover, we also show some interesting observations which still cannot be mined by the current techniques, and thus may motivate new research and development.
A direct-write microfluidic fabrication process for CMOS-based Lab-on-Chip applications
Authors: Ebrahim Ghafar-Zadeh, Mohamad Sawan, Daniel Therriault, Sumitra Rajagopalan, Vamsy P. Chodavarapu
Venue: Microelectronic Engineering (2009)

In this paper, we propose an efficient microfluidic fabrication process for Lab-on-Chip (LoC) applications. This low temperature process is employed to implement different microfluidic components including microchannels, microvalves as well as microfluidic packaging of CMOS chips. Furthermore, we describe the applicability of this direct-write microfluidic fabrication process (DWFP) for LoCs by demonstrating the experimental results of a thermally-actuated microvalve incorporated with a capacitive sensor.
Modeling and management of process in numerical engineering: application in foundry
Authors: B. Bertrand, F. Danesi, N. Gardan, Y. Gardan
Venue: Proceedings of the 7th WSEAS international conference on System science and simulation in engineering (2008)

This paper presents the process modeling and the different models, tools and means of process visualization. A foundry process is being created here (the casting system design). We develop a computer aided design application in order to validate the process. Engineering data and global process are taken into consideration. Thus we integrate the trade knowledge management, the trade rules, and the different factors which affect the product lifecycle. We include more information in the process modelling as the trade rules.
Statistical timing and leakage power analysis of PD-SOI digital circuits
Authors: Kyung Ki Kim, Yong-Bin Kim
Venue: Analog Integrated Circuits and Signal Processing (2009)

This paper presents a fast statistical static timing and leakage power analysis in Partially-Depleted Silicon-On-Insulator (PD-SOI) CMOS circuits in BSIMSOI3.2 100 nm technology. The proposed timing analysis considers floating body effect on the propagation delay for more accurate timing analysis in PD-SOI CMOS circuits. The accuracy of modeling the leakage power in PD-SOI CMOS circuits is improved by considering the interactions between the subthreshold leakage and the gate tunneling leakage, the stacking effect, the history effect, and the fanout effect. The proposed timing and leakage power analysis algorithms are implemented in Matlab, Hspice, and C language. The proposed methodology is applied to ISCAS85 benchmarks, and the results show that the error is within 5% compared with random simulation results.
Interaction design guidelines on critiquing-based recommender systems
Authors: Li Chen, Pearl Pu
Venue: User Modeling and User-Adapted Interaction (2009)

A critiquing-based recommender system acts like an artificial salesperson. It engages users in a conversational dialog where users can provide feedback in the form of critiques to the sample items that were shown to them. The feedback, in turn, enables the system to refine its understanding of the user's preferences and prediction of what the user truly wants. The system is then able to recommend products that may better stimulate the user's interest in the next interaction cycle. In this paper, we report our extensive investigation of comparing various approaches in devising critiquing opportunities designed in these recommender systems. More specifically, we have investigated two major design elements which are necessary for a critiquing-based recommender system: critiquing coverage--one vs. multiple items that are returned during each recommendation cycle to be critiqued; and critiquing aid--system-suggested critiques (i.e., a set of critique suggestions for users to select) vs. user-initiated critiquing facility (i.e., facilitating users to create critiques on their own). Through a series of three user trials, we have measured how real-users reacted to systems with varied setups of the two elements. In particular, it was found that giving users the choice of critiquing one of multiple items (as opposed to just one) has significantly positive impacts on increasing users' decision accuracy (particularly in the first recommendation cycle) and saving their objective effort (in the later critiquing cycles). As for critiquing aids, the hybrid design with both system-suggested critiques and user-initiated critiquing support exhibits the best performance in inspiring users' decision confidence and increasing their intention to return, in comparison with the uncombined exclusive approaches. Therefore, the results from our studies shed light on the design guidelines for determining the sweetspot balancing user initiative and system support in the development of an effective and user-centric critiquing-based recommender system.
A benchmarked automated progress measurement system for haptic motor rehabilitation
Authors: Ruba Kayyali, Shervin Shirmohammadi
Venue: International Journal of Advanced Media and Communication (2009)

As Haptic devices become more affordable and economical, research in Haptic-based virtual rehabilitation systems is gaining more interest. In addition to the benefits provided by virtual rehabilitation, Haptics offer force and tactile feedback which can be crucial for much upper and lower extremity rehabilitation. In this paper, we present such a system that provides a rich media environment for motor rehabilitation of stroke patients. The system can be used by Occupational Therapists (OTs) to measure and monitor the progress of rehab patients. This is an expanded version of a paper presented at the 3rd IEEE International Workshop on Medical Measurements and Applications, 9 10 May 2008, Ottawa, ON, Canada.
Online fuzzy identification for an intelligent controller based on a simple platform
Authors: Sašo Blaič, Igor Škrjanc, Samo Gerkšič, Gregor Dolanc, Stanko Strmčnik, Mincho B. Hadjiski, Anna Stathaki
Venue: Engineering Applications of Artificial Intelligence (2009)

The paper presents the identification issues of the self-tuning nonlinear controller ASPECT (Advanced control algorithmS for ProgrammablE logiC conTrollers). The controller is implemented on a simple PLC platform with an extra mathematical coprocessor, but is intended for the advanced control of complex processes. The model of the controlled plant is obtained by means of experimental modelling. A special batch-wise algorithm that is based on the Takagi-Sugeno model and uses ''fuzzy instrumental variables'' technique is described in the paper. Many robustness problems of the classical adaptive approaches can be circumvented to some extent by the proposed batch-wise approach combined with a supervisory mechanism. The paper also includes some experimental results on the hydraulic pilot plant and some simulation case studies.
Towards service-oriented recommendation functionalities within pervasive e-learning systems
Authors: Mihaela Brut, Dana Al-Kukhun, Florence Sedes
Venue: International Journal of Business Intelligence and Data Mining (2009)

In the age of mobile computing where users can access learning materials while moving around different locations, a teacher, a student or a document might often face difficulties in being integrated within different e-learning systems. Focusing on the Computer Science field, we present a service-oriented solution for providing users with recommendations of interest documents and possible collaborators, enhancing their mobility within a pervasive e-learning system. Our solution is based on the ACM classification system, which is used to develop user competence profiles, to annotate materials, and to recommend them.
Boolean Propagation Based on Literals for Quantified Boolean Formulae
Authors: Igor Stéphan
Venue: Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy (2006)

This paper proposes a new set of propagation rules for quantified Boolean formulae based on literals and generated automatically thanks to quantified Boolean formulae certificates. Different decompositions by introduction of existentially quantified variables are discussed in order to construct complete systems. This set of rules is compared with already proposed quantified Boolean propagation rule sets and Stålmarck's method.
Focused search for arguments from propositional knowledge
Authors: Vasiliki Efstathiou, Anthony Hunter
Venue: Proceeding of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008 (2008)

Classical propositional logic is an appealing option for modelling argumentation but the computational viability of generating an argument is an issue. Here we propose ameliorating this problem by harnessing the notion of a connection graph to reduce the search space when seeking all the arguments for a claim from a knowledgebase. For a set of clauses, a connection graph is a graph where each node is a clause and each arc denotes that there exist complementary disjuncts in the pair of nodes. For a set of formulae in conjunctive normal form, we use the notion of the connection graph for the set of clauses obtained from the conjuncts in the formulae. When seeking arguments for a claim, we can focus our search on a particular subgraph of the connection graph that we call the focal graph. Locating this subgraph is relatively inexpensive in terms of computational cost. In addition, using (as the search space) the formulae of the initial knowledgebase, whose conjuncts relate to this subgraph, can substantially reduce the cost of looking for arguments. We provide a theoretical framework and algorithms for this proposal, together with some theoretical results and some preliminary experimental results to indicate the potential of the approach.
Managing the culloden battlefield invisible mobile guidance experience
Authors: Tom Pfeifer, Paul Savage, Bronwen Robinson
Venue: Proceedings of the 6th international workshop on Managing ubiquitous communications and services (2009)

Implementations of location based services have long been researched and well understood in the research domain, however real examples of useful applications of location aware technology are still scarce today. In this paper we present how that knowledge and experience in research was applied to manage the battlefield site at Culloden, bringing the visitor experience there to a new level. Using state of the art GPS triggering and standards based approach the system provides a consistent user experience with reliable results in terms of availability of relevant content. This paper discusses not only the technology but also the impact of real live deployment on the implementation.
Supporting lightweight adaptations in context-aware wireless sensor networks
Authors: Amirhosein Taherkordi, Romain Rouvoy, Quan Le-Trung, Frank Eliassen
Venue: Proceedings of the 1st International Workshop on Context-Aware Middleware and Services: affiliated with the 4th International Conference on Communication System Software and Middleware (COMSWARE 2009) (2009)

Context-aware environments are being populated with Wireless Sensor Networks (WSNs), observing sensory context elements, and adapting their behavior accordingly. Although adaptation has been known as a common approach for addressing context-awareness, the resource-scarceness of WSNs raises the requirements for lightweight adaptations. The related work in the field of updating WSN applications mostly focuses on i) developing techniques to distribute a monolithic program to a set of nodes or ii) reprogramming the whole sensor nodes, which have been seen as impractical and inefficient solutions for a large number of sensors deployed in inaccessible regions. In this paper, we propose a new software development paradigm, which revisits the way WSN applications are designed in order to optimize the adaptation process. Our approach promotes lightweight adaptation by proposing a component model reconfiguring modules at the behavior-level instead of component-level. We evaluate this model by analyzing a sample reconfigurable application atop Contiki---a popular operating system for sensor nodes. The preliminary analysis shows that our adaptation approach is efficient in terms of energy consumption, memory usage, and reconfiguration complexity.
Holistic Electronic & Mobile Government Platform Architecture
Authors: Athanasios Karantjias, Spyridon Papastergiou, Despina Polemi
Venue: Proceeding of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering (2008)

The growth of high speed e/m-services imposes requirements including: security, which fosters user trust in mobile services, interoperability, which enables cross-domain mobile service communication and wireless application integration; high administration on the services, organizing embedded logic of applications into separate and easily changed “state machines” to allow new level of processes within governmental services, and scalability and extensibility, which ensure that existing services and modules are not degraded and can be easily extended in new, more advance ones. This paper proposes a secure and interoperable governmental platform architecture for complex e/m services, which integrate peak XML-based technologies.
Windows Debugging: Practical Foundations
Authors: Dmitry Vostokov
Venue:  (2009)

Written by the founder of DumpAnalysis.org this book is not about bugs or debugging techniques but about background knowledge everyone needs to start experimenting with WinDbg, learn from practical experience and read other advanced debugging books. Solid understanding of fundamentals like pointers is needed to analyze stack traces beyond !analyze -v and lmv WinDbg commands. This is the book to help technical support and escalation engineers and Windows software testers without the knowledge of assembly language to master necessary prerequisites to understand and start debugging and crash dump analysis on Windows platforms. It doesn't require any specific knowledge, fills the gap and lowers the learning curve. The book is also useful for software engineers coming from managed code or Java background, engineers coming from non-Wintel environments, Windows C/C++ software engineers without assembly language background, security researchers and beginners learning Windows software disassembling and reverse engineering techniques. This book can also be used as Intel assembly language and Windows debugging supplement for relevant undergraduate level courses.
Resurrecting Bomba Kryptologiczna: Archaeology of Algorithmic Artefacts, I
Authors: David Link
Venue: Cryptologia (2009)

The procedure executed on the Polish Bomba Kryptologiczna is reconstructed on the basis of Marian Rejewski's accounts and simulative experiment. An original Wehrmacht message from the period in question is broken to illustrate the effectiveness of the hardware and the routines employed. The authenticity of the indicators given in Rejewski's first and later reports is investigated and the circuitry of a simplified version of the bomba presented.
Analysis of the Utility of Classical and Novel Speech Quality Measures for Speaker Verification
Authors: Alberto Harriero, Daniel Ramos, Joaquin Gonzalez-Rodriguez, Julian Fierrez
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

In this work, we analyze several quality measures for speaker verification from the point of view of their utility, i.e., their ability to predict performance in an authentication task. We select several quality measures derived from classic indicators of speech degradation, namely ITU P.563 estimator of subjective quality, signal to noise ratio and kurtosis of linear predictive coefficients. Moreover, we propose a novel quality measure derived from what we have called Universal Background Model Likelihood (UBML), which indicates the degradation of a speech utterance in terms of its divergence with respect to a given universal model. Utility of quality measures is evaluated following the protocols and databases of NIST Speaker Recognition Evaluation (SRE) 2006 and 2008 (telephone-only subset), and ultimately by means of error-vs.-rejection plots as recommended by NIST. Results presented in this study show significant utility for all the quality measures analyzed, and also a moderate decorrelation among them.
Engineers Guide to MATLAB, 3rd edition
Authors: Edward B. Magrab, Shapour Azarm, Balakumar Balachandran, James Duncan, Keith Herold, Gregory Walsh
Venue:  (2007)

For engineering students in MATLAB and Numerical Methods courses. The text is designed to develop a strong working knowledge of MATLAB, and to use this capability to write efficient, compact programs to solve engineering problems of varying complexity. It can also be used as a supplement for many engineering courses that use MATLAB, as a reference for obtaining numerical solutions to a wide range of engineering problems and as a source of applications of a wide variety of MATLAB solution techniques.
Improving organisational learning for project success: a knowledge management perspective
Authors: Shiow-Luan Wang, Chun-Hui Wu, Chyuan Perng
Venue: International Journal of Information Systems and Change Management (2008)

Knowledge provides experiences, analysis, skills and capabilities for the renewal of organisations. Knowledge management (KM) drives the process improvement and makes technology transfer easier; especially, in a technology-driven organisation. Project success includes aspects of system development orientations and critical skills. Organisational learning has long been realised as a key strategy for improving knowledge transfer towards project success. The purpose of this study is to discuss the impact of organisational learning on project performance and to find out the needs of setting the KM unit within project-based organisation. The cooperation with one another is emphasised in project team workplace. Data are collected by surveying and interviewing people in a software development project in Taiwan. The results indicate that improving organisational learning has a positive influence on project success and these conclusions should help managers revisit their priorities in terms of the relative efforts in organisational learning.
Neural Computations That Support Long Mixed Sequences of Knowledge Acquisition Tasks
Authors: Leslie G. Valiant
Venue: Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation (2009)

In this talk we shall first give a brief review of a quantitative approach to understanding neural computation [4-6]. We target so-called random access tasks, defined as those in which one instance of a task execution may need to access arbitrary combinations of items in memory. Such tasks are communication intensive, and therefore the known severe constraints on connectivity in the brain can inform their analysis.
Detecting unanticipated aspect interferences at runtime with compositional intentions
Authors: Antoine Marot, Roel Wuyts
Venue: Proceedings of the Workshop on AOP and Meta-Data for Software Evolution (2009)

Aspect-oriented software development (AOSD) is a technique that helps software evolution by separating different concerns in different aspects and advices. Unfortunately, it still suffers from well-known composition issues, in particular from runtime interferences between advices. Much work has been done so far in order to solve such interferences, but most approaches rely on global predicates or variables that are defined by one aspect and then referred to by other aspects. As a consequence, an aspect has to be somehow aware of all other aspects in order to detect possible conflicts. This threatens the separation of concerns principle and therefore the benefits of AOSD for software evolution as well. This paper proposes an advice annotation mechanism, called compositional intentions, that respects the separation of concerns principle and allows the detection of semantic interferences at runtime.
Function-based haptic collaboration in X3D
Authors: Lei Wei, Alexei Sourin, Herbert Stocker
Venue: Proceedings of the 14th International Conference on 3D Web Technology (2009)

We seek to further expand X3D by augmenting it with function-based definitions of geometry, appearance and tangible physical properties. Besides using alone, the introduced nodes can augment and enrich the standard X3D shapes by function-defined geometry, appearance and tangible physical properties. These new virtual objects can be explored haptically with various desktop force-feedback devices. We also propose a general visual and haptic collaborative framework for using it with X3D. We implement it as new pilot versions of BS Collaborate server and BS Contact VRML/X3D viewer. In our collaborative framework, two pipelines---visual and haptic---complement each other to provide a simple and efficient solution to problems requiring collaboration in shared virtual spaces on the web.
Reconstructing Geons in Database Semantics
Authors: Roland Hausser
Venue: Proceeding of the 2006 conference on Information Modelling and Knowledge Bases XVII (2006)

Database semantics (dbs) was developed originally to model the basic mechanism of natural language communication (Hausser 2001). This important application is extended here to another crucial task of cognitive modelling, namely the task of pattern completion during recognition. It consists in efficiently reconstructing a complex concept from its basic parts. It is shown that the data structure of dbs, called a word bank, supports recognition by providing for any elementary concept matching part of a complex external object all potential candidates connected to it. In this way recognition is provided with a limited set of concepts to actively try to match against other parts of the complex object. Once a second basic concept has been matched successfully and connected to the first, the database provides a much smaller list of potential candidates for a third basic concept, etc. This algorithm converges very quickly. The basic concepts are defined as geons, in accordance with the RBC (recognition by components) or geon theory by (Biederman, 1987). Geons are structures of a complexity intermediate between features and templates, e.g., cubes, spheres, or cylinders. The approach works also for the hypothetical reconstruction of the unseen side of a known object, explained by (Barsalu, 1999) on the basis of frames.
Technology strategy and managementDealing with the venture capital crisis
Authors: Michael Cusumano
Venue: Communications of the ACM (2009)

How New Zealand and other small, isolated markets can act as "natural incubators."