ppxscal/embedding_network huggingface dataset:
On the use of fuzzy inference techniques in assessment models: part II: industrial applications
Authors: Kai Meng Tay, Chee Peng Lim
Venue: Fuzzy Optimization and Decision Making (2008)

In this paper, we study the applicability of the monotone output property and the output resolution property in fuzzy assessment models to two industrial Failure Mode and Effect Analysis (FMEA) problems. First, the effectiveness of the monotone output property in a single-input fuzzy assessment model is demonstrated with a proposed fuzzy occurrence model. Then, the usefulness of the two properties to a multi-input fuzzy assessment model, i.e., the Bowles fuzzy Risk Priority Number (RPN) model, is assessed. The experimental results indicate that both the fuzzy occurrence model and Bowles fuzzy RPN model are able to fulfill the monotone output property, with the derived conditions (in Part I) satisfied. In addition, the proposed rule refinement technique is able to improve the output resolution property of the Bowles fuzzy RPN model.
The 4C Reference Model for Distributed User Interfaces
Authors: Alexandre Demeure, Jean-Sébastien Sottet, Gaëlle Calvary, Joëlle Coutaz, Vincent Ganneau, Jean Vanderdonckt
Venue: Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems (2008)

Distributed User Interfaces (DUIs) are those interfaces whose different parts can be distributed in time and space on different monitors, screens, and computing platforms, depending on several parameters expressing the context of use, such as the user, the computing platform, and the physical environment in which the user is carrying out her interactive task. To understand and classify existing approaches for DUIs and to identify underexplored situations of DUIs, a reference model for DUIs is introduced that examines DUIs according to four "C' dimensions: computation (what is distributed?), communication (when is it distributed?), coordination (who is it distributed?), and con-figuration (from where and to where is the distribution operated?). At the core of this reference model exists the original notion of user interface habitat, that is the place where a particular type of user interface is normally found. According to this notion, it is possible to explore and investigate a wide spectrum of DUIs among which we exemplify several cases coming from our existing research and development of DUIs.
Numerical method for a class of optimal control problems subject to nonsmooth functional constraints
Authors: C. Z. Wu, K. L. Teo, Yi Zhao
Venue: Journal of Computational and Applied Mathematics (2008)

In this paper, we consider a class of optimal control problems which is governed by nonsmooth functional inequality constraints involving convolution. First, we transform it into an equivalent optimal control problem with smooth functional inequality constraints at the expense of doubling the dimension of the control variables. Then, using the Chebyshev polynomial approximation of the control variables, we obtain an semi-infinite quadratic programming problem. At last, we use the dual parametrization technique to solve the problem.
A case study of classroom experience with client-based team projects
Authors: Joo Tan, Mark Jones
Venue: Journal of Computing Sciences in Colleges (2008)

Today's software landscape requires an enormous amount of team effort in order to efficiently and effectively design and implement a significant information system. Employers increasingly seek computer science graduates with team project experiences. Employers also value good communication skills, and those that are well-rounded in technical skills and are able to work well with other people. In academia, teaching a team-based project course places additional demands on the instructor beyond the traditional lecture-style classroom. Issues faced include assessment and evaluation of each student's participation and contribution in a project, evaluating and correcting technical documents written by students, project management of the teams, and resolving conflicts that arise within a team. A substantial amount of time and effort outside the classroom is needed to successfully teach team project courses. As a result, many instructors are reluctant to pursue such courses in a computer science curriculum. This paper is a case study of four specific team-based projects that happened within a one semester time frame. Its purpose is to provide best practices for teaching team project courses. Management and assessment procedures used during the semester are described. The four projects are then explained in more detail. Next, issues that arise within each project are discussed. Finally, observations about each project are provided.
RT oblivious erasure correcting
Authors: Amos Beimel, Shlomi Dolev, Noam Singer
Venue: IEEE/ACM Transactions on Networking (TON) (2007)

An erasure correcting scheme is rateless if it is designed to tolerate any pattern of packet loss and reveal the transmitted information after a certain number of packets is received. On the one hand, transmission schemes that use rateless erasure correcting schemes do not usually use a feedback channel. However, they may require significant amount of additional processing by both the sender and the receiver. On the other hand, automatic repeated request protocols use a feedback channel to assist the sender, and do not usually require information processing. In this work we present a combined approach, where a lean feedback channel is used to assist the sender to efficiently transmit the information. Our Real-Time oblivious approach minimizes the processing time and the memory requirements of the receiver and, therefore, fits a variety of receiving devices. In addition, the transmission is real-time where the expected number of original packets revealed when a packet is received is approximately the same throughout the entire transmission process. We use our end-to-end scheme as a base for broadcast (and multicast) schemes. An overlay tree structure is used to convey the information to a large number of receivers. Moreover, the receivers may download the information from a number of senders or even migrate from one sender to another.
Derivation and validation of a novel implicit second-order accurate immersed boundary method
Authors: Andreas Mark, Berend G. M. van Wachem
Venue: Journal of Computational Physics (2008)

A novel implicit second-order accurate immersed boundary method (IBM) for simulating the flow around arbitrary stationary bodies is developed, implemented and validated in this paper. The IBM is used to efficiently take into account the existence of bodies within the fluid domain. The flow domain consist of simple Cartesian cells whereas the body can be arbitrary. At the triangulated interface of the body and the fluid, the immersed boundary, the coefficients obtained from discretizing the Navier-Stokes equations are closed with a second-order accurate interpolation arising from the immersed boundary condition employed at the interface. Two different conditions are developed in this paper and it is shown that for the mirroring method the resulting coefficients lead to a well-posed and diagonally dominant system which can be efficiently solved with a preconditioned Krylov sub-space solver. The immersed boundary condition generates a fictitious reversed velocity field inside the immersed boundary, which is excluded from the continuity equation to account for the presence of the IB in the pressure correction equation, resulting in no mass flux over the IB. The force acting on the object from the fluid is determined by integrating the pressure and the viscous forces over the object. The method is validated by simulating the flow around a sphere for a range of Re numbers. It is shown that the drag is very well in agreement with experimental data. Accuracy and convergence studies are employed, proving the second-order accuracy of the method and showing the superiority in convergence rate compared to other IBM. Finally the drag force of a cluster of non-spherical particles is employed to show the generality and potential of the method.
Adaptive control of nonlinear PID-based analog neural networks for a nonholonomic mobile robot
Authors: Jun Ye
Venue: Neurocomputing (2008)

An adaptive controller of nonlinear PID-based analog neural networks is developed for the velocity- and orientation-tracking control of a nonholonomic mobile robot. A superb mixture of a conventional PID controller and a neural network, which has powerful capability of continuously online learning, adaptation and tackling nonlinearity, brings us the novel nonlinear PID-based analog neural network controller. It is appropriate for a kind of plant with nonlinearity uncertainties and disturbances. Computer simulation for a differentially driven nonholonomic mobile robot is carried out in the velocity- and orientation-tracking control of the nonholonomic mobile robot. The effectiveness of the proposed control algorithm is demonstrated through the simulation experiment, which shows its superior performance and disturbance rejection.
Proposing a new architecture for mobile information and consultation support systems
Authors: Morteza Mosavi, Mahdi Jalili-Kharaajoo
Venue: Proceedings of the 4th WSEAS International Conference on Telecommunications and Informatics (2005)

Access to the real-time information and consultations, irrelevant of their complexity, focused on exact needs and independent of location are essential factors to all busy people, specifically businessmen and specialists nowadays. In this paper, we present a new m-service concept, which could be employed as a very widespread commercial service among people holding any kind of mobile devices. To implement, we propose a model consists of front-end, a GUI receiving user's commands and requests through his/her mobile device and back-end, a database-support expert system, provides the expected services to users. Due regard to the nature of the m-commerce, this model should be enriched by an encrypted authentication level, also a method to determine the precise geographical location and local time of users. Predictive and situation-sensitive information and intellectual and self-tuning consultations are the most concerned services could be served. From the architectural point of view, the proposed system has a layered model, each rely on the service that its sub-layer provides and completes requests come from its super-layer. This model is formed by a five-layered architecture, namely Physical Communication (PC), Data Control (DC), Knowledge Management and Data Base (KMDB), Intelligent Process (IP) and User Interface (UI), respectively. We call this system: Mobile Information and Consultation Support System (MICSS).
Symbolic noise analysis approach to computational hardware optimization
Authors: Arash Ahmadi, Mark Zwolinski
Venue: Proceedings of the 45th annual Design Automation Conference (2008)

This paper addresses the problem of computational error modeling and analysis. Choosing different word-lengths for each functional unit in hardware implementations of numerical algorithms always results in an optimization problem of trading computational error with implementation costs. In this study, a symbolic noise analysis method is introduced for high-level synthesis, which is based on symbolic modeling of the error bounds where the error symbols are considered to be specified with a probability distribution function over a known range. The ability to combine word-length optimization with high-level synthesis parameters and costs to minimize the overall design cost is demonstrated using case studies.
Reconstructing the paleoclimate record of Lupobupo salt lake with Landsat TM data
Authors: G. Guo, D. Xu
Venue: International Journal of Remote Sensing (2007)

Luobupo salt lake is famous for its ring shape which looks like a big ear observed from satellite image. These rings recorded the information about water retreat and advance. In this paper TM data is used to study the brightness of these rings and then deduce the paleoclimate. The result showed that the brightness curve of these rings has a similar climate trend to that deduced from Guliya ice core record.
N-smarts: networked suite of mobile atmospheric real-time sensors
Authors: Richard Honicky, Eric A. Brewer, Eric Paulos, Richard White
Venue: Proceedings of the second ACM SIGCOMM workshop on Networked systems for developing regions (2008)

By attaching sensors to GPS-enabled cell phones, we can gather the raw data necessary to begin understand how urban air pollution impacts both individuals and communities. In this paper we introduce a hardware and software platform for exploring algorithms and data gathered from pollution sensors integrated into cell phones, and discuss our main research agenda going forward.
The power of two min-hashes for similarity search among hierarchical data objects
Authors: Sreenivas Gollapudi, Rina Panigrahy
Venue: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2008)

In this study we propose sketching algorithms for computing similarities between hierarchical data. Specifically, we look at data objects that are represented using leaf-labeled trees denoting a set of elements at the leaves organized in a hierarchy. Such representations are richer alternatives to a set. For example, a document can be represented as a hierarchy of sets wherein chapters, sections, and paragraphs represent different levels in the hierarchy. Such a representation is richer than viewing the document simply as a set of words. We measure distance between trees using the best possible super-imposition that minimizes the number of mismatched leaf labels. Our distance measure is equivalent to an Earth Mover's Distance measure since the leaf-labeled trees of height one can be viewed as sets and can be recursively extended to trees of larger height by viewing them as set of sets. We compute sketches of arbitrary weighted trees and analyze them in the context of locality-sensitive hashing (LSH) where the probability of two sketches matching is high when two trees are similar and low when the two trees are far under the given distance measure. Specifically, we compute sketches of such trees by propagating min-hash computations up the tree. Furthermore, we show that propagating one min-hash results in poor sketch properties while propagating two min-hashes results in good sketches.
Primal-dual RNC approximation algorithms for (multi)-set (multi)-cover and covering integer programs
Authors: S. Rajagopalan
Venue: Proceedings of the 1993 IEEE 34th Annual Foundations of Computer Science (1993)

We build on the classical greedy sequential set cover algorithm, in the spirit of the primal-dual schema, to obtain simple parallel approximation algorithms for the set cover problem and its generalizations. Our algorithms use randomization, and our randomized voting lemmas may be of independent interest. Fast parallel approximation algorithms were known before for set cover, though not for any of its generalizations.
Incremental and adaptive abnormal behaviour detection
Authors: Tao Xiang, Shaogang Gong
Venue: Computer Vision and Image Understanding (2008)

We develop a novel visual behaviour modelling approach that performs incremental and adaptive model learning for online abnormality detection in a visual surveillance scene. The approach has the following key features that make it advantageous over previous ones: (1) Fully unsupervised learning: both feature extraction for behaviour pattern representation and model construction are carried out without the laborious and unreliable process of data labelling. (2) Robust abnormality detection: using Likelihood Ratio Test (LRT) for abnormality detection, the proposed approach is robust to noise in behaviour representation. (3) Online and incremental model construction: after being initialised using a small bootstrapping dataset, our behaviour model is learned incrementally whenever a new behaviour pattern is captured. This makes our approach computationally efficient and suitable for real-time applications. (4) Model adaptation to reflect changes in visual context. Online model structure adaptation is performed to accommodate changes in the definition of normality/abnormality caused by visual context changes. This caters for the need to reclassify what may initially be considered as being abnormal to be normal over time, and vice versa. These features are not only desirable but also necessary for processing large volume of unlabelled surveillance video data with visual context changing over time. The effectiveness and robustness of our approach are demonstrated through experiments using noisy datasets collected from a real world surveillance scene. The experimental results show that our incremental and adaptive behaviour modelling approach is superior to a conventional batch-mode one in terms of both performance on abnormality detection and computational efficiency.
Breast Imaging with Ultrasound Tomography: Clinical Results at the Karmanos Cancer Institute
Authors: Neb Duric, Cuiping Li, Carri Glide-Hurst, Peter Littrup, Lianjie Huang, Jessica Lupinacci, Steven Schmidt, Olsi Rama, Lisa Bey-Knight, Yang Xu
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02 (2008)

We report and discuss clinical breast imaging results obtained with operator independent ultrasound tomography. A series of in-vivo experiments were carried out using a recently upgraded clinical prototype based on the principles of ultrasound tomography. The in-vivo performance of the prototype was assessed by imaging patients at the Karmanos Cancer Institute. Our techniques successfully demonstrated in-vivo tomographic imaging of breast architecture in both reflection and transmission imaging modes. Masses as small as 6 mm in size were detected. These initial results indicate that operator-independent whole-breast imaging and the detection of cancerous breast masses are feasible using ultrasound tomography techniques. This approach has the potential to provide a low cost, non-invasive, and non-ionizing means of evaluating breast masses. Future work will concentrate on extending these results to larger trials.
Information Retrieval in Network Administration
Authors: Ashley George, Adetokunbo Makanju, A. Nur Zincir-Heywood, Evangelos E. Milios
Venue: Proceedings of the Communication Networks and Services Research Conference (2008)

Network administration is a task that requires experience in relating symptoms of network problems with possible causes and corrective actions. We describe the design of a system and more specifically its information retrieval component, which aims to retrieve articles relevant to a given problem case from a collection of articles describing previously solved problems and their associated solutions. An article is described by a term vector. We present a methodology for defining the vocabulary and preliminary results for assessing the quality of expert-proposed modifications to the vocabulary. We obtain vocabulary-derived document classes from a self-organising map and assess vocabulary quality using the quality of classification into these classes.
The AUTOSAR Timing Model - Status and Challenges -
Authors: Kai Richter
Venue: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (2006)

Even though recognized as a major challenge in system integration, the recently published AUTOSAR standard lacks aspects of timing and performance. Reasons include mismatch between industry requirements and many -mostly academic- timing analysis approaches. The talk highlights key technical and non-technical challenges for defining a comprehensive timing model for AUTOSAR, and outlines requirements for possible solutions. Examples from practice and a look into the industrial process of designing -and the way of thinking- shall help structuring the discussions.
Perceptions and use of electronic media: Testing the relationship between organizational interpretation differences and media richness
Authors: Mariko Kishi
Venue: Information and Management (2008)

How do managers perceive and use media? Media richness theory (MRT) appears to provide persuasive answers to this, but does it work when electronic media is used? Surveys of Japanese managers showed that the perceptions of media, including electronic media, did not contradict MRT. But, even so, the use of rich media was found to be influenced more strongly by whether the media was traditional or electronic, with respect to organizational interpretation of its environment. The perception and use of electronic media may not correspond, though they have generally been assumed to do so.
The Influence of Independent Scheduling Delay on Multi-Query Processing Based on Fork-Join
Authors: Yong Wang, Limei Jiao, Ying Liu, Huaiming Song
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

Fork-join is a basic query processing model in shared-nothing parallel database systems. A query Q is decomposed into a number of sub-queries, and each of which is processed independently on a processing element(PE), then all the results of sub-queries are “joined” and returned as Q’s results. In this scheme, the query processing time of Q depends on the time of its last finished sub-query. Though it is very important, there are few works studied the performance of multi-query processing on Fork-join model. In this paper, we present a model, called CSD(Coefficient of Scheduling Distance), to evaluate the influence of independent PE scheduling on the total completion time . All the experiments are conducted on DBroker, a large-scale production system for network security management. The experimental results show that the CSD model is accurate and effective.
Connected subgraphs with small degree sums in 3-connected planar graphs
Authors: Hikoe Enomoto, Katsuhiro Ota
Venue: Journal of Graph Theory (1999)

It is well-known that every planar graph has a vertex of degree at most five. Kotzig proved that every 3-connected planar graph has an edge xy such that deg(x) + deg (y) &le; 13. In this article, considering a similar problem for the case of three or more vertices that induce a connected subgraph, we show that, for a given positive integer t, every 3-connected planar graph G with |V(G)| &ge; t has a connected subgraph H of order t such that &Sigma;x&epsilon;V(H) degG(x) &le; 8t - 1. As a tool for proving this result, we consider decompositions of 3-connected planar graphs into connected subgraphs of order at least t and at most 2t - 1. &copy; 1999 John Wiley Sons, Inc. J Graph Theory 30: 191203, 1999
Simulator for training operators of electric substations of transmission
Authors: Clara Inés Peña, Gilberto Carrillo, Javier Gelvis, Jorge O. Ariza
Venue: Proceedings of the 2007 Euro American conference on Telematics and information systems (2007)

The operation of electrical transmission substations is a field of potential development of systems focused on process optimization. This has motivated the design and implementation of a training system for the electrical substations operators using knowledge based ICT (Information and Communication Technologies) systems to offer tools that identify skillful actions and abilities required. This document offers a contribution to new training process alternatives supported in simulation techniques and Artificial Intelligence to encourage the active, meaningful and assisted learning, the self assessment and the acquisition of abilities for the electrical transmission substation operation.