ppxscal/embedding_network huggingface dataset:
Knowledge management in the HR sector of R&D organizations
Authors: Valentina Janev, Ana Dokic, Marija Minic, Sanja Vranes
Venue: Proceedings of the 9th WSEAS International Conference on International Conference on Automation and Information (2008)

This paper presents a solution for managing the specific HR assets in research organizations, i.e. the scientific track record of scientists and researchers. The solution has already been installed at the Mihajlo Pupin Institute (MPI) in Belgrade as a part of the knowledge management initiative started a few years ago. It is based on SAP Human Capital Management (HCM) solution that ensures standardized integration and automation of HR activities and provides a wide range of reporting options. However, as standard SAP HCM solution does not cover the specific aspects of the R&D business process, the additional functionalities were built upon the standard SAP system in order to keep an extensive record of the employee professional and scientific life including scientific and professional skills and expertise, degrees and certificates obtained, information about engagements in concrete projects with details about their roles and competences, scientific achievements (patents, technical solutions, scientific papers / books), other achievements / awards, etc. The new functionalities were build taking into consideration the recommendations of Serbian Ministry of Science for compilation of the Researchers file. The new HCM solution is used for analysis and reporting indoors, as well as towards Serbian Ministry of Science and Statistical Office of the Republic of Serbia. Moreover, CVs of researchers are also kept in several standard forms (European Commission, World Bank, Microsoft, etc), facilitating preparation of international project proposals and bidding material. In this paper we discuss the implementation aspects of the solution, as well as the lessons learned and the benefits gained.
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance
Authors: A. Burrieza, E. Muñoz-Velasco, M. Ojeda-Aciego
Venue: Current Topics in Artificial Intelligence: 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers (2007)

This paper continues the research line on the multimodal logic of qualitative reasoning; specifically, it deals with the introduction of the notions non-closeness and distance. These concepts allow us to consider qualitative sum of medium and large numbers. We present a sound and complete axiomatization for this logic, together with some of its advantages by means of an example.
Ubiquitous Recommendation Systems
Authors: David W. McDonald
Venue: Computer (2003)

In many popular visions of ubiquitous computing, the environment proactively responds to individuals who inhabit the space. For example, a display magically presents a personalized advertisement, the most relevant video feed, or the desired page from a secret government document. Such capabilityrequires more than an abundance of networked displays, devices, and sensors; it relies implicitly on recommendation systems that either directly serve the end user or provide critical services to some other application.
Empirical evaluations of regression test selection techniques: a systematic review
Authors: Emelie Engström, Mats Skoglund, Per Runeson
Venue: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (2008)

Regression testing is the verification that previously functioning software remains after a change. In this paper we report on a systematic review of empirical evaluations of regression test selection techniques, published in major software engineering journals and conferences. Out of 2,923 papers analyzed in this systematic review, we identified 28 papers reporting on empirical comparative evaluations of regression test selection techniques. They report on 38 unique studies (23 experiments and 15 case studies), and in total 32 different techniques for regression test selection are evaluated. Our study concludes that no clear picture of the evaluated techniques can be provided based on existing empirical evidence, except for a small group of related techniques. Instead, we identified a need for more and better empirical studies were concepts are evaluated rather than small variations. It is also necessary to carefully consider the context in which studies are undertaken.
Creativity for problem solvers
Authors: Ren&#x00e9; Victor Valqui Vidal
Venue: AI Society (2008)

This paper presents some modern and interdisciplinary concepts about creativity and creative processes specially related to problem solving. Central publications related to the theme are briefly reviewed. Creative tools and approaches suitable to support problem solving are also presented. Finally, the paper outlines the author&#x2019;s experiences using creative tools and approaches to: Facilitation of problem solving processes, strategy development in organisations, design of optimisation systems for large scale and complex logistic systems, and creative design of software optimisation for complex non-linear systems.
Implementing Efficient Dynamic Formal Verification Methods for MPI Programs
Authors: Sarvani Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
Venue: Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface (2008)

We examine the problem of formally verifying MPI programs for safety properties through an efficient dynamic (runtime) method in which the processes of a given MPI program are executed under the control of an interleaving scheduler. To ensure full coverage for given input test data, the algorithm must take into consideration MPI's out-of-order completion semantics. The algorithm must also ensure that nondeterministic constructs (e.g., MPI wildcard receive matches) are executed in all possible ways. Our new algorithm rewrites wildcard receives to specific receives, one for each sender that can potentially match with the receive. It then recursively explores each case of the specific receives. The list of potential senders matching a receive is determined through a runtime algorithm that exploits MPI's operation ordering semantics. Our verification tool ISP that incorporates this algorithm efficiently verifies several programs and finds bugs missed by existing informal verification tools.
Fuzzy k-NN Lung Cancer Identification by an Electronic Nose
Authors: Rossella Blatt, Andrea Bonarini, Elisa Calabró, Matteo Torre, Matteo Matteucci, Ugo Pastorino
Venue: Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory (2007)

We present a method to recognize the presence of lung cancer in individuals by classifying the olfactory signal acquired through an electronic nose based on an array of MOS sensors. We analyzed the breath of 101 persons, of which 58 as control and 43 suffering from different types of lung cancer (primary and not) at different stages. In order to find the components able to discriminate between the two classes `healthy' and `sick' as best as possible and to reduce the dimensionality of the problem, we extracted the most significative features and projected them into a lower dimensional space, using Nonparametric Linear Discriminant Analysis. Finally, we used these features as input to a pattern classification algorithm, based on Fuzzy k-Nearest Neighbors (Fuzzy k-NN). The observed results, all validated using cross-validation, have been satisfactory achieving an accuracy of 92.6%, a sensitivity of 95.3% and a specificity of 90.5%. These results put the electronic nose as a valid implementation of lung cancer diagnostic technique, being able to obtain excellent results with a non invasive, small, low cost and very fast instrument.
Managing Benefits in the Public Sector. Surveying Expectations and Outcomes in Norwegian Government Agencies
Authors: Leif Skiftenes Flak, Åke Grönlund
Venue: Proceedings of the 7th international conference on Electronic Government (2008)

Government agencies currently experience increasing pressure to document benefits from spending on eGovernment efforts. Hence, structured methods for benefits management (BM) are being developed. However, hardly any studies have investigated how such approaches are used and experienced. This study addresses this practice-research gap by reporting a study of a project involving 30 Norwegian government agencies using a common BM approach.A questionnaire was answered by project managers. Results show that that some 80 % of the managers considered their early quantifications of expected benefits to be realistic. Further, the managers found the approach useful. They felt projects became more focused, and expect to continue working with a BM approach. While the benefits that were identified and quantified in the reported projects represent estimates and not measurements, this study shows that BM can be useful --- and even welcomed --- in eGovernment projects and that demonstrating benefits from such projects can be accomplished.
Using artificial neural networks for modeling suspended sediment concentration
Authors: Yu-Min Wang, Seydou Traore, Tienfuan Kerh
Venue: Proceedings of the 10th WSEAS International Conference on Mathematical Methods and Computational Techniques in Electrical Engineering (2008)

For continuous monitoring of river water quality, this study assesses the potential of using artificial neural networks (ANNs) for modeling the event-based suspended sediments concentration (SSC) in Jiasian diversion weir in southern Taiwan. The hourly data collected include the water discharge, turbidity and SSC during the storm events. The feed forward backpropagation network (BP), generalized regression neural network (GRNN), and classical regression were employed to test their performances. The results showed that the performance of BP was slightly better than GRNN model. In addition, the classical regression performance was inferior to ANNs. Thus, using ANNs were more reliable than the classical method. Furthermore, the turbidity is a dominant variable over water discharge for SSC estimation in the weir.
Study on Fuzzy Theory Based Web Access Control Model
Authors: Cui-ru Wang, Shuang-xi Liu
Venue: Proceedings of the 2008 International Symposiums on Information Processing (2008)

Along with the constant development of online services, the application of traditional RBAC model for the user-role assignment and maintaining the user-role assignment become an arduous and error-prone task. In order to solve these problems, this paper proposes a trust based user-role assignment model for assign role to users. It is based on the users’ trustworthiness in the system, which is a fuzzy concept, the application of fuzzy theory to calculate the trust degree of users and the trust degree that the role needed, provides a new method for the user-role assignment.
Modeling Property Based Stream Templates with TTCN-3
Authors: Juergen Grossmann, Ina Schieferdecker, Hans-Werner Wiesbrock
Venue: Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop (2008)

Test evaluation and test assessment is a time consuming and resource intensive process. More than ever this holds for testing complex systems that emanate continuous or hybrid behavior. In this article we introduce an approach that eases the specification of black box tests for hybrid or continuous systems by means of signal properties applied for evaluation. A signal property allows the characterization of individual signal shapes. It is determined by the examination of the signal's value at time, the application of pre-processing functions (like first or higher order derivatives), and the analysis and detection of sequences of values that form certain shapes of a signal (e.g. local minima and maxima). Moreover we allow the combination of properties by logical connectives.The solution provided in this paper is based on terms and concepts defined for Continuous TTCN-3 (CTTCN-3) [12, 11], an extension of the standardized test specification language TTCN-3 [4]. Thus, we treat signals as streams and integrate the notion of signal properties with the notion of stream templates like they are already defined in CTTCN-3. Moreover, we provide a formal foundation for CTTCN-3 streams, for a selected set of signal properties and for their integration in CTTCN-3.
A Robotic Spectrometer System for LED Display Measurements
Authors: Glenn Mercier, Jonathan Ross, Paolo Ginobbi, Rama Venkat
Venue: Proceedings of the 2008 19th International Conference on Systems Engineering (2008)

Modern display systems use expensive Light Emitting Diode (LED)s, which eventually may fail or not perform as expected due to harsh weather and other environmental factors. A robotic spectrometer system is developed for measuring the output characteristics of each LED in every pixel and store them in a lookup table. This allows the system to adjust the output of each LED based on the results of the lookup table and helps to maintain the picture quality of the display. This system also allows the use of off the-shelf LEDs, whose operating characteristics are measured by the robotic spectrometer system in order to identify the optimal operating point. This system facilitates a viable method to improve existing displays, obtain better picture quality, and build displays with off-the-shelf components.
A Type-and-Identity-Based Proxy Re-encryption Scheme and Its Application in Healthcare
Authors: Luan Ibraimi, Qiang Tang, Pieter Hartel, Willem Jonker
Venue: Proceedings of the 5th VLDB workshop on Secure Data Management (2008)

Proxy re-encryption is a cryptographic primitive developed to delegate the decryption right from one party (the delegator) to another (the delegatee). In a proxy re-encryption scheme, the delegator assigns a key to a proxy to re-encrypt all messages encrypted with his public key such that the re-encrypted ciphertexts can be decrypted with the delegatee's private key. We propose a type-and-identity-based proxy re-encryption scheme based on the Boneh-Franklin Identity Based Encryption (IBE) scheme. In our scheme, the delegator can categorize messages into different types and delegate the decryption right of each type to the delegatee through a proxy. Our scheme enables the delegator to provide the proxy fine-grained re-encryption capability. As an application, we propose a fine-grained Personal Health Record (PHR) disclosure scheme for healthcare service by applying the proposed scheme.
On a Membrane Formation in a Spatio-temporally Generalized Prisoner's Dilemma
Authors: Yuji Katsumata, Yoshiteru Ishida
Venue: Proceedings of the 8th international conference on Cellular Automata for Reseach and Industry (2008)

A spatio-temporal generalization involves not only conventional temporal strategies that determine the player's action based on the opponent past actions but also spatial strategies based on the neighbor players' current actions and configurations. This framework allows the model to be dealt as a second order cellular automaton. With this involvement of the spatial strategies, we have observed a membrane formation which protects the cooperating clusters from being corroded by defecting intruders.
Measuring the life-cycle value of enduring systems
Authors: Tyson R. Browning, Eric C. Honour
Venue: Systems Engineering (2008)

A goal of systems development is to produce enduringly valuable product systems&mdash; i.e., systems that are valuable when delivered to their users and which continue to be attractive to their stakeholders over time. However, quantifying the life-cycle value (LCV) provided by a system has proven elusive. In this paper, we propose an approach to quantifying a system's LCV based on the key parameters that have perceived value to the system's stakeholders. For this, we draw upon insights from the management, marketing, product development, value engineering, and systems engineering literature. We then demonstrate our proposed approach with an example of a cellular telephone system. By designing systems for maximum LCV, systems architects and engineers will provide dramatically increased value to their organizations and other stakeholders. However, to provide maximum LCV, a system may need to be designed to facilitate adaptability to changing circumstances and stakeholder preferences. We conclude the paper with discussions of some of the major difficulties in measuring LCV and some of the opportunities for further research in this area. &copy; 2008 Wiley Periodicals, Inc. Syst Eng
Non-linear fluctuations of interfaces by the voter model and stopping times
Authors: Jun Wang, Qiuyuan Wang
Venue: Proceedings of the 7th WSEAS International Conference on Instrumentation, Measurement, Circuits and Systems (2008)

Applying the theory of voter model and the theory of stopping time, we investigate the statistical properties of the fluctuations of interfaces model that defined from the voter model. We show that the probability distributions of the fluctuations, under some conditions, converge to the corresponding distribution of a geometric Brownian motion.
SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs
Authors: Borzoo Bonakdarpour, Sandeep S. Kulkarni
Venue: Proceedings of the 19th international conference on Concurrency Theory (2008)

We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and an invariant. Each process is specified as a set of actions in a guarded command language, a set of variables that the process can read, and a set of variables that the process can write. Given a set of fault actions and a specification, the tool transforms the input distributed fault-intolerant program into a distributed fault-tolerant program via a symbolic implementation of respective algorithms.
Automatic Facial Feature Points Detection
Authors: Vitoantonio Bevilacqua, Alessandro Ciccimarra, Ilenia Leone, Giuseppe Mastronardi
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence (2008)

This paper presents an algorithm which detects automatically the feature points in a face image. This is a fundamental task in many applications, in particular in an automatic face recognition system. Starting from a frontal face image with a plain background we have effected an image segmentation to detect the different facial components (eyebrow, eyes, nose, mouth and chin). After this we have searched for the feature points of each face component. The algorithm has been tested on 320 face images taken from the Stirling University Face Database [10]. The points extracted in this way have been used in a face recognition algorithm based on the Hough transform.
Evaluation on Sustainable Development of China's Iron and Steel Industry
Authors: Shao Qiujun, Zhang Qun
Venue: Proceedings of the 2008 International Symposiums on Information Processing (2008)

This paper analyze the development status of China’s iron & steel industry and point out the problems that exist and describe the development prospect of China’s iron & steel industry. It lists the reasons that we must choose the means of sustainable development on the way to realize the change from an iron & steel big country to an iron and steel powerful country. Then, the paper gives mathematical model to calculate the sustainable development of the iron and steel industry. Finally some suggestions for the stable and healthily development of Chinese iron & steel industry are put forward in the paper.
New nonlinear residual feedback observer for fault diagnosis in nonlinear systems
Authors: Sridharakumar Narasimhan, Pramod Vachhani, Raghunathan Rengaswamy
Venue: Automatica (Journal of IFAC) (2008)

The increased complexity of plants and the development of sophisticated control systems have necessitated the parallel development of efficient Fault Detection and Isolation (FDI) systems. This paper discusses a model based technique, viz., observers for detecting and isolating parametric and sensor faults. In this paper, a novel diagonal nonlinear residual feedback observer is proposed which is valid for a certain class of nonlinear systems where, subject to other conditions, the state depends nonlinearly on the fault. A number of typical chemical engineering systems can be represented by models of this form. The structure of the observer ensures that the residuals are diagonally affected by the faults. Conditions for exact decoupling of residuals are presented and convergence of the observer in the presence of step faults is proved using Lyapunov like analysis. Multiple observers and a decision logic module are used for FDI when there are un-monitored faults. Results are presented from numerical simulations of an illustrative example and a typical chemical engineering system: a counter-current heat exchanger.
Automatic Construction of a Bug Library for Object-Oriented Novice Java Programmer Errors
Authors: Merlin Suarez, Raymund Sison
Venue: Proceedings of the 9th international conference on Intelligent Tutoring Systems (2008)

Machine learning techniques have been applied to the task of student modeling, more so in building tutors for acquiring programming skill. These were developed for various languages (Pascal, Prolog, Lisp, C++) and programming paradigms (procedural and declarative) but never for object-oriented programming in Java. JavaBugs builds a bug library automatically using discrepancies between a student and correct program. While other works analyze code snippets or UML diagrams to infer student knowledge of object-oriented design and programming, JavaBugs examines a complete Java program and identifies the most similar correct program to the student's solution among a collection of correct solutions and builds trees of misconceptions using similarity measures and background knowledge. Experiments show that JavaBugs can detect the most similar correct program 97% of the time, and discover and detect 61.4% of student misconceptions identified by the expert.
Real-Time Camera Planning for Navigation in Virtual Environments
Authors: Tsai-Yen Li, Chung-Chiang Cheng
Venue: Proceedings of the 9th international symposium on Smart Graphics (2008)

In this work, we have developed a real-time camera control module for navigation in virtual environments. With this module, the tracking motion of a third-person camera can be generated automatically to allow a user to focus on the control of an avatar. The core of this module consists of a motion planner that uses the probabilistic roadmap method and a lazy update strategy to generate the motion of the camera, possibly with necessary intercuts. A dynamic roadmap specified relative to the avatar is updated in real time within a time budget to account for occlusions in every frame of the control loop. In addition, the planner also allows a user to specify preferences on how the tracking motion is generated. We will use several examples to demonstrate the effectiveness of this real-time camera planning system.