ppxscal/embedding_network huggingface dataset:
Mechanised Translation of Control Law Diagrams into Circus
Authors: Frank Zeyda, Ana Cavalcanti
Venue: Proceedings of the 7th International Conference on Integrated Formal Methods (2009)

Previously we proposed a strategy for translating control law diagrams into Circus. Combining elements from Z, CSP, and a refinement calculus, Circus captures functional and dynamic aspects of a diagram, and allows us to formally verify implementations. The main contributions of this paper are first to discuss a generalisation of the existing translation strategy, motivated by its mechanisation and application to sizable examples. Secondly, we present a tool, the Circus Producer, which automates the translation, and describe how its architecture facilitates subsequent development of further verification tools.
Mathematical Methods for Mechanics: A Handbook with MATLAB Experiments, 1 edition
Authors: Eckart Gekeler
Venue:  (2008)

The interaction between mathematics and mechanics is a never ending source of new developments. This present textbook includes a wide ranging spectrum of topics from the three body problem and gyroscope theory to bifurcation theory, optimization, control and continuum mechanics of elastic bodies and fluids. For each of the covered topics the reader can practice mathematical experiments by using a large assortment of Matlab-programs which are available on the authors homepage. The self-contained and clear presentation including Matlab is often useful to teach technical details by the program itself (learning by doing), which was not possible by just presenting the formula in the past. The reader will be able to produce each picture or diagram from the book by themselves and to arbitrarily alter the data or algorithms. Recent Review of the German edition "This book introduces the engineering-oriented reader to all the mathematical tools necessary for solving complex problems in the field of mechanics. The mathematics- oriented reader will find various applications of mathematical and numerical methods for modelling comprehensive mechanical-technical practical problems. Therefore this book will be interesting not only for students of various fields but also for practitioners, development engineers or mathematicians" (Hans Bufler, in: Zentralblatt MATH, 2007, Vol. 1100, Issue 2)
Observing End-User Customisation of Electronic Patient Records
Authors: Cecily Morrison, Alan F. Blackwell
Venue: Proceedings of the 2nd International Symposium on End-User Development (2009)

The contemporary practice of medicine, which is concerned both with national standards of audit and innovation through local customisation, is a prime domain for end-user development. In this paper we describe four experiences of end-user development in this domain that offer interesting empirical examples. We look at existing practices through considering end-user customisation of paper charts (1), compare the end-user customisation facilities provided by two applications for electronic patient records (2), assess the structure of an actual end-user development using one of these (3), and propose a longitudinal study of end-user customisation building on this work (4).
Organizational issues of effective maintenance management
Authors: Gary L. Richardson, Charles W. Butler
Venue: Proceedings of the May 16-19, 1983, national computer conference (1983)

It is a continuing challenge to today's data processing (DP) organization to evolve a management structure that matches the technological advances of the system for which it is responsible. The goal of this paper is to synthesize the emerging role of a DP organization within its corporate environment, focusing particular attention on the issue of software maintenance. Attention is primarily on three dimensions of the required organization: the user view, organized by functional area; the technical view, organized by area of expertise; and the organizational view, arranged by planning horizon. The conclusion is drawn that a single group should have responsibility for integration and enhancement of all installed applications. The tasks of this group comprise software configuration control, operational integrity, performance tuning, and requirements analysis and planning support for installed systems.
Irregular Quasi-Cyclic LDPC Codes Design with Generalized ACE Constraint
Authors: Huan He, Youyun Xu, Yueming Cai
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 01 (2009)

In this paper, we proposed a construction of irregular QC-LDPC codes with improved Approximated Cycle Extrinsic Message Degree (ACE) properties. The codes construct using the algorithm proposed have simple structure with good performance. Simulation results show that the proposed algorithm outperforms original PEG algorithm in the error-floor region.
Enhanced authentication scheme with anonymity for roaming service in global mobility networks
Authors: Chin-Chen Chang, Chia-Yin Lee, Yen-Chang Chiu
Venue: Computer Communications (2009)

User authentication is an important security mechanism for recognizing legal roaming users. In 2006, Lee, Hwang, and Liao proposed an enhanced authentication scheme with user anonymity for roaming environments. This article shows that Lee-Hwang-Liao's scheme cannot provide anonymity under the forgery attack. Moreover, the heavy computation cost may consume battery power expeditiously for mobile devices. Therefore, we propose a novel authentication scheme to overcome these weaknesses that is efficient, secure, and suitable for battery-powered mobile devices in global mobility networks.
Effective Induction Motor Controller Based Voltage/Frequency
Authors: J. Liu, S. Mekhilef, H. Li
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

An effective scheme of induction motor control without using stator sensor is proposed in this paper. The effective scheme consist of speed calculation algorithm and voltage/frequency control. The speed calculation algorithm is achieved by sensoring the current of stator and compared with the prospective speed then calculation by DSP. The principles of constant voltage/frequency (V/Hz) control for AC Induction motor and sine wave generation of PWM technique are used. The control system has been tested at the real time operating conditions and the experimental results have shown that the system has good characteristic in steady state and during transient as well.
Integrated Image and Speech Analysis for Content-Based Video Indexing
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

In this paper we study an important problem in multimedia database, namely, the automatic extraction of indexing information from raw data based on video contents. The goal of our research project is to develop a prototype system for automatic indexing of sports videos. The novelty of our work is that we propose to integrate speech understanding and image analysis algorithms for extracting information. The main thrust of this work comes from the observation that in news or sports video indexing, usually speech analysis is more efficient in detecting events than image analysis. Therefore, in our system, the audio processing modules are first applied to locate candidates in the whole data. This information is passed to the video processing modules, which further analyze the video. The final products of video analysis are in the form of pointers to the locations of interesting events in a video. Our algorithms have been tested extensively with real TV programs, and results are presented and discussed in the paper.
Usability Measurement Using a Fuzzy Simulation Approach
Authors: Lu Liang, Xiaoling Deng, Yong Wang
Venue: Proceedings of the 2009 International Conference on Computer Modeling and Simulation (2009)

Usability is a three-dimensional quality of software product, encompassing efficiency, effectiveness and satisfaction. Satisfaction always relies on subjective judgment, but on some degree, the measurement of efficiency and effectiveness is able to be objectively calculated by some approaches, which can help designers to compare different prototype design candidates in the early stage of product development. To address the limitation of state-redundancy and inter-uncertainty of FSM, this paper introduces an existing approach to simplify a general FSM by reducing the redundant states, and proposes a fuzzy mathematical formula for calculating the probability of state-transition. Then, an algorithm for measuring efficiency and effectiveness data on simulated FSM is designed based on the fuzzy function. This measurement approach is very appropriate to be applied on the small-medium types of embedded software in practice.
On Architecting Software Fault Tolerance using Abstractions
Authors: Rogério de Lemos
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

In this position paper, we argue how architectural abstractions can be effective in developing fault-tolerant software systems. Depending on the fault model and the resources available, different abstractions can be employed for representing architectural issues related to fault tolerance. These architectural abstractions, and their internal views, can be instantiated into concrete components and connectors for designing fault-tolerant software architectures. Since structural and behavioural properties associated with these abstractions are formally specified, the process of verifying and validating software architectures can be automated. In this paper, we focus on two architectural abstractions: the idealised fault-tolerant architectural element (iFTE), which is based on exception handling, and the halt-on-failure architectural element (HoFE), which assumes crash failure semantics.
A Closed Form Solution to L2-Sensitivity Minimization of Second-Order State-Space Digital Filters Subject to L2-Scaling Constraints
Authors: Shunsuke Yamaki, Masahide Abe, Masayuki Kawamata
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

This paper proposes a closed form solution to L2-sensitivity minimization of second-order state-space digital filters subject to L2-scaling constraints. The proposed approach reduces the constrained optimization problem to an unconstrained optimization problem by appropriate variable transformation. Furthermore, restricting ourselves to the case of second-order state-space digital filters, we can express the L2-sensitivity by a simple linear combination of exponential functions and formulate the L2-sensitivity minimization problem by a simple polynomial equation. As a result, L2-sensitivity is expressed in closed form, and its minimization subject to L2-scaling constraints is achieved without iterative calculations.
Protocol interoperability in mobile IP enabled mobile ad hoc networks
Authors: Shuo Ding
Venue: Computer Standards Interfaces (2009)

A trend in future 4G wireless networks is the integration of MANETs into all-IP systems, which may enhance the flexibility and pervasiveness of 4G networks. One of the most crucial challenges in this field is the design of Protocol Interoperability to achieve the integration of MANET routing protocols and Mobile IP into the IP routing systems. This problem has not been effectively addressed by researches published thus far. This paper contributes solutions to solving this challenge. The protocol architecture and protocol interfaces are designed, which are suitable for gateways and mobile nodes in such Internet integrated MANETs supporting Mobile IP. Propagation methods of Mobile IP signalling messages with MANET routing information piggybacking are designed. Finally, an enhanced Mobile IP protocol suitable for MANET system is contributed. In summary, the contribution of this paper is a thorough scheme for establishing an IP/MIP/MANET integrated system.
An Approach to Identity Management for Service Centric Systems
Authors: Laurent Bussard, Elisabetta Nitto, Anna Nano, Olivier Nano, Gianluca Ripa
Venue: Proceedings of the 1st European Conference on Towards a Service-Based Internet (2008)

Today users consume applications composed by services from different providers across trust domains. By experience we know that security requirements and user identity management make services composition difficult. We believe that delegation of access rights across trust domains will become an essential mechanism in services composition scenarios. Users care about security but cannot deal with the variety of existing solutions for access control. A unified interface of access control and delegation is essential for multi-domain composite services. This paper addresses the problem of identity management for service-centric systems and proposes a novel approach based on an abstract delegation framework supporting different access control mechanisms. We show how the abstract delegation framework is designed to give control and clarity to the user consuming applications based on service composition. Besides the theoretical aspects, the paper shares experiences based on scenarios from the automotive industry.
RF-analog circuit design in scaled SoC
Authors: Nobuyuki Itoh, Mototsugu Hamada
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

Downscaling of process technology increases the development cost of RFCMOS SoC. Therefore, designers have to minimize the number of respins, and have to try to obtain higher yield. RFCMOS SoC consists of RF-analog, mixed-signal, logic and memory circuits. In order to realize a small number of respins number and higher yield, key issues are robust design methodology of RF-analog circuits, and full-chip verification. This paper describes practical techniques corresponding to those issues.
Experimental Evaluation of Deceptive Information Filtering in Context-Aware Service Selection
Authors: Murat Şensoy, Pınar Yolum
Venue: Trust in Agent Societies: 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008. Revised Selected and Invited Papers (2008)

Experience-based service selection refers to selection of service providers using others' experiences. An agent can represent its experience (its demand and received service) rigorously using an ontology. When agents report their experiences truthfully, experience-based service selection outperforms classical rating-based service selection, in which agents only report ratings for service providers. However, in many setting agents may prefer to lie about their experiences. This paper tackles the problem of handling deceptive information in the context of experience-based service selection. We apply three current approaches for filtering unfair ratings to filtering deceptive experience. We analyze these approaches when multiagent systems have different types of liars and report their performance in filtering deceptive experiences.
Independent sets in bounded-degree hypergraphs
Authors: Magnús M. Halldórsson, Elena Losievskaja
Venue: Discrete Applied Mathematics (2009)

In this paper we analyze several approaches to the Maximum Independent Set (MIS) problem in hypergraphs with degree bounded by a parameter @D. Since independent sets in hypergraphs can be strong and weak, we denote by MIS (MSIS) the problem of finding a maximum weak (strong) independent set in hypergraphs, respectively. We propose a general technique that reduces the worst case analysis of certain algorithms on hypergraphs to their analysis on ordinary graphs. This technique allows us to show that the greedy algorithm for MIS that corresponds to the classical greedy set cover algorithm has a performance ratio of (@D+1)/2. It also allows us to apply results on local search algorithms on graphs to obtain a (@D+1)/2 approximation for the weighted MIS and (@D+3)/5-@e approximation for the unweighted case. We improve the bound in the weighted case to @?(@D+1)/3@? using a simple partitioning algorithm. We also consider another natural greedy algorithm for MIS that adds vertices of minimum degree and achieves only a ratio of @D-1, significantly worse than on ordinary graphs. For MSIS, we give two variations of the basic greedy algorithm and describe a family of hypergraphs where both algorithms approach the bound of @D.
Bounded coordinate system indexing for real-time video clip search
Authors: Zi Huang, Heng Tao Shen, Jie Shao, Xiaofang Zhou, Bin Cui
Venue: ACM Transactions on Information Systems (TOIS) (2009)

Recently, video clips have become very popular online. The massive influx of video clips has created an urgent need for video search engines to facilitate retrieving relevant clips. Different from traditional long videos, a video clip is a short video often expressing a moment of significance. Due to the high complexity of video data, efficient video clip search from large databases turns out to be very challenging. We propose a novel video clip representation model called the Bounded Coordinate System (BCS), which is the first single representative capturing the dominating content and content&mdash;changing trends of a video clip. It summarizes a video clip by a coordinate system, where each of its coordinate axes is identified by principal component analysis (PCA) and bounded by the range of data projections along the axis. The similarity measure of BCS considers the operations of translation, rotation, and scaling for coordinate system matching. Particularly, rotation and scaling reflect the difference of content tendencies. Compared with the quadratic time complexity of existing methods, the time complexity of measuring BCS similarity is linear. The compact video representation together with its linear similarity measure makes real-time search from video clip collections feasible. To further improve the retrieval efficiency for large video databases, a two-dimensional transformation method called Bidistance Transformation (BDT) is introduced to utilize a pair of optimal reference points with respect to bidirectional axes in BCS. Our extensive performance study on a large database of more than 30,000 video clips demonstrates that BCS achieves very high search accuracy according to human judgment. This indicates that content tendencies are important in determining the meanings of video clips and confirms that BCS can capture the inherent moment of video clip to some extent that better resembles human perception. In addition, BDT outperforms existing indexing methods greatly. Integration of the BCS model and BDT indexing can achieve real-time search from large video clip databases.
Calibration of a path-dependent volatility model: Empirical tests
Authors: Paolo Foschi, Andrea Pascucci
Venue: Computational Statistics Data Analysis (2009)

The Hobson and Rogers model for option pricing is considered. This stochastic volatility model preserves the completeness of the market and can potentially reproduce the observed smile and term structure patterns of implied volatility. A calibration procedure based on ad-hoc numerical schemes for hypoelliptic PDEs is proposed and used to quantitatively investigate the pricing performance of the model. Numerical results based on S&P500 option prices are discussed.
Exploring 700mhz WiFi-based wireless mesh networking
Authors: Yan He, Van Nguyen, Dmitri Perkins, Nian-Feng Tzeng
Venue: Proceedings of the tenth ACM international symposium on Mobile ad hoc networking and computing (2009)

This paper describes the deployment and evaluation of a 700MHz WiFi-based Wireless Mesh Network (WMN) testbed. To our knowledge, this is the world's first WiFi-based testbed using the recently-released 700MHz frequency band and deployed under both indoor and outdoor environments, including open space and a Louisiana swamp with dense cypress trees. Initial experimental results show that the 700MHz WMN has a significantly larger transmission range and better penetration ability compared to a traditional 2.4GHz WMN, which indicates that utilizing the 700MHz frequency band will considerably enhance the performance of WMNs, including the ability to support real-time applications.
Formal Structure of Sanskrit Text: Requirements Analysis for a Mechanical Sanskrit Processor
Authors: Gérard Huet
Venue: Sanskrit Computational Linguistics: First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers (2009)

We discuss the mathematical structure of various levels of representation of Sanskrit text in order to guide the design of computer aids aiming at useful processing of the digitalised Sanskrit corpus. Two main levels are identified, respectively called the linear and functional level. The design space of these two levels is sketched, and the computational implications of the main design choices are discussed. Current solutions to the problems of mechanical segmentation, tagging, and parsing of Sanskrit text are briefly surveyed in this light. An analysis of the requirements of relevant linguistic resources is provided, in view of justifying standards allowing inter-operability of computer tools.This paper does not attempt to provide definitive solutions to the representation of Sanskrit at the various levels. It should rather be considered as a survey of various choices, allowing an open discussion of such issues in a formally precise general framework.
Scientific workflow design for mere mortals
Authors: Timothy McPhillips, Shawn Bowers, Daniel Zinn, Bertram Ludäscher
Venue: Future Generation Computer Systems (2009)

Recent years have seen a dramatic increase in research and development of scientific workflow systems. These systems promise to make scientists more productive by automating data-driven and compute-intensive analyses. Despite many early achievements, the long-term success of scientific workflow technology critically depends on making these systems useable by ''mere mortals'', i.e., scientists who have a very good idea of the analysis methods they wish to assemble, but who are neither software developers nor scripting-language experts. With these users in mind, we identify a set of desiderata for scientific workflow systems crucial for enabling scientists to model and design the workflows they wish to automate themselves. As a first step towards meeting these requirements, we also show how the collection-oriented modeling and design (comad) approach for scientific workflows, implemented within the Kepler system, can help provide these critical, design-oriented capabilities to scientists.
Investigation of the Arterial Stiffness on Renal Artery Doppler Sonograms
Authors: Mahmut Tokmakçı, Nuri Erdoğan
Venue: Journal of Medical Systems (2009)

This study aims to identify the effect of stiffness on renal artery Doppler sonograms by using a curve fitting approach. The study includes 20 patients with suspected renovascular hypertension. Each patient underwent recordings during renal artery examinations before and after administration of Captopril 25 mg (Kapril tablet, MN Pharmaceuticals, Istanbul, Turkey). Doppler signals were analyzed with short time Fourier transformation, followed by curve fitting to sonograms using Savitzky---Golay method. Doppler parameters obtained from pre- and post-Captopril curve-fitted sonograms were statistically compared with "Paired-Samples t-Test". Captopril administration resulted in a significant decrease in the mean frequency and a significant increase in Pulsatility Index of the periods. No significant difference was detected between maximum systolic and minimum diastolic frequencies, Resistivity Index, and the Acceleration Index. The computational approach in this study appears to be promising.