ppxscal/embedding_network huggingface dataset:
Experimental validation of compact damping models of perforated MEMS devices
Authors: Timo Veijola, Giorgio De Pasquale, Aurelio Som&#x00e0;
Venue: Microsystem Technologies (2009)

Measured damping coefficients of six different perforated micromechanical test structures are compared with damping coefficients given by published compact models. The motion of the perforated plates is almost translational, the surface shape is rectangular, and the perforation is uniform validating the assumptions made for compact models. In the structures, the perforation ratio varies from 24 to 59%. The study of the structure shows that the compressibility and inertia do not contribute to the damping at the frequencies used (130&#x2013;220&#x00a0;kHz). The damping coefficients given by all four compact models underestimate the measured damping coefficient by approximately 20%. The reasons for this underestimation are discussed by studying the various flow components in the models.
Toward a Cooperative Recognition of Human Behaviors and Related Objects
Authors: Tadahiro Kitahashi, Atsuhiro Kojima, Mirai Higuchi, Kunio Fukunaga
Venue: Proceeding of the 2006 conference on Information Modelling and Knowledge Bases XVII (2006)

Recently we proposed a new scheme of aiming at scene recognition by understanding human activities, objects and environment from video images including these constituents. The most significant difference of this approach from conventional ones is the proposal of a method for cooperative understanding of humans' actions and related objects through analyzing motion of humans' face and hands. It is based on the idea that usefulness and functions of an object a person is going to deal with could be inferred from analyzing the person s movements because of that human motions, especially trajectories of face and hands, and the relative position and movement of the objects are closely related to the usage and the states of the objects. In this paper, we will describe the above mentioned scheme focusing on the structure of database and its usage in inference for recognizing human movements and objects. e-mail: kt@ksc.kwansei.ac.jp, fax:+81-79565-9077, ark@center.osakafu-u.ac.jp, fukunaga@cs.osakafu-u.ac.jp.
Abstract specification of legal contracts
Authors: Cristian Prisacariu, Gerardo Schneider
Venue: Proceedings of the 12th International Conference on Artificial Intelligence and Law (2009)

The paper presents an action-based formal language called CL for abstract specification of legal contracts. The purpose of the language is to be used to reason about legal contracts (and electronic contracts on the long run). CL combines the legal notions obligation, permission, and prohibition from deontic logic with the action modality of propositional dynamic logic (PDL). The deontic modalities are applied only over actions, thus following the ought-to-do approach. The language includes a synchrony operator to model "actions performed at the same time", and a special complementation operation to encode the violation of obligations. The language has a formal semantics in terms of normative structures, specially defined to capture several natural properties of legal contracts. We focus on the informal presentation of the choices made when designing CL, and its semantics.
"Why can't we share?": applying a stakeholder model to investigate implementing inter-governmental networks
Authors: Kimberly Stoltzfus
Venue: Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government (2009)

"Why can't we share?" This was a question posed by a coalition of U.S. justice agency members who organized meetings in 2004 to discuss issues related to inter-governmental coordination and communication (p. 1) [1]. This question is the basis of this exploratory phase of a study on intergovernmental agency collaboration designed to increase information sharing through the implementation of a communication technology platform. Grounded in the perceptions of government leaders whose departments are pursuing federally sponsored initiatives to improve and dramatically transform inter-agency information sharing, this study explores the bases upon which these leaders make decisions about the implementation of the program. Specifically, this study expands on a stakeholder framework first introduced by Lewis in 2007 [2] that models organizational change. I propose to broaden this model's scope and refinement of its propositions in light of information sharing change and the government context during the early planning phase.
Some aspects of parameter identification in a mean reverting financial asset model with time-dependent volatility
Authors: B. Hofmann, R. Kramer, M. Richter
Venue: International Journal of Computer Mathematics (2009)

The present paper deals with several aspects and procedures of identification in a financial market model with time-dependent volatility function and mean reverting stochastic drift term. For this term, an external source of randomness is permitted. In this context, the corresponding inverse problem of option pricing is considered. Here it is of importance that the classical Black-Scholes formula remains unaffected by the drift term. On the other hand, estimating the quadratic variation of the process, high-frequency asset price data are used directly for calibrating the volatility function. We suggest an estimator that is based on a projection on an orthonormal wavelet basis. Finally, classical maximum likelihood methods are applied to estimate the parameters included in the drift term.
Balancing of mixed-model two-sided assembly lines
Authors: Uğur Özcan, Bilal Toklu
Venue: Computers and Industrial Engineering (2009)

This paper presents a new mathematical model and a simulated annealing algorithm for the mixed-model two-sided assembly line balancing problem. The proposed mathematical model minimizes the number of mated-stations (i.e., the line length) as the primary objective and minimizes the number of stations (i.e., the number of operators) as a secondary objective for a given cycle time. In the proposed simulated annealing algorithm, two performance criteria are considered simultaneously: maximizing the weighted line efficiency and minimizing the weighted smoothness index. The proposed approach is illustrated with an example problem, and its performance is tested on a set of test problems. The experimental results show that the proposed approach performs well.
Toward a Safer and More Secure Cyberspace
Authors: Seymour E. Goodman, Herbert S. Lin
Venue:  (2007)

Given the growing importance of cyberspace to nearly all aspects of national life, a secure cyberspace is vitally important to the nation, but cyberspace is far from secure today. The United States faces the real risk that adversaries will exploit vulnerabilities in the nation's critical information systems, thereby causing considerable suffering and damage. Online e-commerce business, government agency files, and identity records are all potential security targets."Toward a Safer and More Secure Cyberspace" examines these Internet security vulnerabilities and offers a strategy for future research aimed at countering cyber attacks. It also explores the nature of online threats and some of the reasons why past research for improving cybersecurity has had less impact than anticipated, and considers the human resource base needed to advance the cybersecurity research agenda. This book will be an invaluable resource for Internet security professionals, information technologists, policy makers, data stewards, e-commerce providers, consumer protection advocates, and others interested in digital security and safety.
Power System Aggregate Load Area Dynamic Modeling by Learning Based on WAMS
Authors: Huimin Yang, Jinyu Wen
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

This paper is concerned with an investigation of a methodology using intelligent learning techniques based on WAMS to construct power system load area model. An aggregate load area dynamic model (ALADM) is proposed to represent large area loads of power system. A population diversity-based genetic algorithm (GA) combined with the recursive least squares (RLS) method is used to obtain the structure and parameters of the load model. Simulation results on EPRI 36-bus power system is given to show the potential of this new methodology of power system modeling.
Human Identification and Positioning System Based on the Combination of Motion Sensor Video Camera
Authors: Junichi Tajima, Kimio Shintani, Hirohide Haga, Shigeo Kaneda
Venue: Proceeding of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering (2008)

In this paper, we propose a method of sensor data processing that detects the direction and the stride of walking. We have proposed a positioning system using only a combination of passive motion sensors and image data, but the precision of the positioning of the previous method was insufficient. The previous method, which counted the number of steps from the up-and-down motion of the foot, had severe limitations. It only could detect forward motion, and therefore could handle less flexibility of walking. In order to solve this problem, we paid attention to the movement of the swing phase and the stance phase of walking and detected the direction and the stride of walking, using data of horizontal acceleration. The proposed method recognizes movement to the front and rear, and to the right and left. Acquired sensor data will be collated with the image data from a camera. Based on the prototype system, the experimental evaluation of the proposed method is demonstrated.
Smoothing a tera-word language model
Authors: Deniz Yuret
Venue: Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics on Human Language Technologies: Short Papers (2008)

Frequency counts from very large corpora, such as the Web 1T dataset, have recently become available for language modeling. Omission of low frequency n-gram counts is a practical necessity for datasets of this size. Naive implementations of standard smoothing methods do not realize the full potential of such large datasets with missing counts. In this paper I present a new smoothing algorithm that combines the Dirichlet prior form of (Mackay and Peto, 1995) with the modified back-off estimates of (Kneser and Ney, 1995) that leads to a 31% perplexity reduction on the Brown corpus compared to a baseline implementation of Kneser-Ney discounting.
Semantic and pragmatic annotation for government information discovery, sharing and collaboration
Authors: Janice Warner, Soon Ae Chun
Venue: Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government (2009)

Collaboration and information sharing between organizations that share a common goal is becoming increasingly important. Effective sharing promotes efficiency and productivity as well as enhances customer service. With Internet connectivity widely available, sharing and access to information is relatively simple to implement. However, the abundance causes another problem - the difficulty of determining where truly useful and relevant information is housed. Information resources, such as data, documents, multimedia objects and services stored in different agencies need to be easily discovered and shared. We propose a collaborative semantic and pragmatic annotation environment where resources of each agency can be annotated by users in the government social network. This collaborative annotation captures not only the semantics but also the pragmatics of the resources, such as who, when, where, how and why the resources are used. The benefits of semantic and pragmatic annotation tags will include an ability to filter, discover and search new and dynamic as well as hidden resources, to navigate between resources in a search by traversing semantic relationships, and to recommend the most relevant government information distributed over different agencies. A distributed architecture of a tagging system is shown and tag-based search is illustrated.
Foundation Expression Blend 3 with Silverlight, 1st edition
Authors: Victor Gaudioso
Venue:  (2009)

The only real tool for developing cross-platform Rich Internet Applications (RIAs) for that last 11 years has been Flash; until now! Silverlight 3 allows you to develop cross-platform Rich Internet Applications in a fraction of the time because of the extensive and very powerful .NET 3.5 libraries, the powerful, design friendly Blend 3 Integrated Development Environment, and an enhanced workflow that allows designers and developers to work on the same set of files at the same time. Develop stunning RIAs in a short time. Learn some basic Object Oriented Programming Principles. Get familiar with the Blend 3 development environment. What you'll learn Learn the Blend 3 and Visual Studio 2008 Integrated Development Environments (IDE). Learn how to create stunning animations using Silverlight 3 Storyboards. Learn how to incorporate video and sound into your RIAs with the Silverlight MediaElement. Learn about and how to develop quickly using Silverlight 3's reusable resources such as UserControls, ControlTemplates and DataTemplates. Learn about the new Visual State Manager and the State panel in Blend 3 to quickly and easily add MouseEnter and MouseLeave states to your UserControls. Put everything you have learned together to create a sample Silverlight 3 website. Who is this book for? Web designers and developers wanting to learn Expression Blend 3 from the ground up. Those who have a background in the development of RIAs and want to learn this new technology.
An Efficient Analytical Model for the Dimensioning of WiMAX Networks
Authors: Bruno Baynat, Georges Nogueira, Masood Maqbool, Marceau Coupechoux
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

This paper tackles the challenging task of developing a simple and accurate analytical model for performance evaluation of WiMAX networks. The need for accurate and fast-computing tools is of primary importance to face complex and exhaustive dimensioning issues for this promising access technology. In this paper, we present a generic Markovian model developed for three usual scheduling policies (slot sharing fairness, throughput fairness and opportunistic scheduling) that provides closed-form expressions for all the required performance parameters at a click speed. This model is compared in depth with realistic simulations that show its accuracy and robustness regarding the different modeling assumptions. Finally, the speed of our analytical tool allows us to carry on dimensioning studies that require several thousands of evaluations, which would not be tractable with any simulation tool.
Proposition of NON-probabilistic entropy as reliability index for decision making
Authors: Eduard Diez-Lledo, Joseph Aguilar-Martin
Venue: Proceeding of the 2006 conference on Artificial Intelligence Research and Development (2006)

After the definition of probabilistic entropy proposed by Shannon, many other authors have adapted this theory to the domain of the non-probabilistic entropy and the fuzzy sets towards the fuzzy entropy theory. The main goal of the fuzzy entropy is to provide an index so that the fuzzy degree (fuzziness) of a non-probabilistic set could be quantified. The mathematical expression proposed by DeLuca and Termini for the calculation of the concept of fuzziness was based in that also proposed by Shannon since it is considered as a reference in the domain of uncertainty measure and information. However, other function families have been introduced as measures of uncertainty not only in the classic concept of information theory but also in other areas like decision making and model recognition. The fuzziness indexes are widely used with great relevance in the field of uncertainty management applied to complex systems. Most of those indexes are proposed in decision-making theory so as to discern between two exclusive choices. We proposed in this paper an index that could express the reliability of making a decision taking in account the information provided by a non-probabilistic set of alternatives.
Computation of the exact and approximate radicals of ideals: techniques based on matrices of traces, moment matrices and bezoutians
Authors: Agnes Szanto
Venue:  (2008)

The main focus of this work is to solve polynomial systems which have roots with multiplicities or roots forming small clusters. The motivation for this investigation comes from the fact that such systems cause instability and traditional numerical methods are generally unable to handle them. Consider the zero dimensional ideal I &sub; C [x1,..., xm] generated by the polynomials f1,..., fs. For systems with multiple roots, we compute the radical I using a method based on Dickson&rsquo;s lemma, reducing the problem to computing the nullspace of a matrix of traces R. This method is &ldquo;global&rdquo; in the sense that it does not require any local approximation of the roots of the system. We also show that by computing a system of matrices of traces {R, Rx1,...,Rzm } defined in (1.1) we can compute a system of multiplication matrices { M&prime;z1,...M&prime; xm } of the radical I , which allows in turn to compute the now single roots of I as eigenvalues of the multiplication matrices. For systems with roots forming small clusters, we adapt Dickson&rsquo;s lemma to compute the &ldquo;approximate radical&rdquo; of the ideal I&d5; . The approximate radical ideal has exactly one root in each cluster for sufficiently small clusters. The main ingredient of the approximate case algorithm is to compute the numerical nullspace of the matrix of traces R corresponding to I&d5; . To compute the numerical nullspace of R we propose to use Gaussian elimination with pivoting or singular value decomposition. We prove that if I&d5; has k distinct zero clusters each of radius at most &egr; in the &infin;-norm, then k steps of Gaussian elimination on the matrix of traces yields a submatrix with all entries asymptotically equal to &egr;2. We also show that the (k + 1)-th singular value of the matrix of traces is proportional to &egr; 2. The resulting approximate radical has one root in each cluster with coordinates which are the arithmetic mean of the cluster, up to an error term asymptotically equal to &egr;2. In the univariate case our method gives an alternative to known approximate square-free factorization algorithms which is simpler and its accuracy is better understood. Finally, we address the problem of efficiently computing the matrix of traces R from a set of generating polynomials {f1,..., fs} of I . We propose a method to compute moment matrices, and in particular matrices of traces for I using Sylvester type resultant matrices of f1,..., fs and a polynomial J, which generalizes the Jacobian, under some technical assumptions on I . Additionally, we give bounds for the degree needed in the computation of the Sylvester matrices in the algorithm. We also investigate how to compute matrices of traces from the Bezoutian of the generating polynomials f1,..., fm of I and their Jacobian J in the case where we have a well constrained system, i.e. m = s. In this case we can reduce the Bezout matrix to a matrix of traces with respect to a certain canonical basis of C [x1,..., xm]/ I .
Design of the active steering fuzzy controller with the degree of non-uniformity for a scaled railway vehicle
Authors: Min-Soo Kim
Venue: Proceedings of the 9th WSEAS international conference on Robotics, control and manufacturing technology (2009)

This paper presents a technique for improving the performance of active steering fuzzy control systems by adequately changing the widths of triangular fuzzy membership functions. Running curve railway, the wheelsets of conventional vehicles generally misalign radically with the track increasing wheel/rail contact forces and resulting in increased wheel and rail wear. To solve these problems, modified suspension system designs, application for alternate wheel profiles, active and semi-active steering techniques have been proposed. Active steering system has proven its ability to bridge the gap between stability and curve friendliness. Experiment results show that the proposed fuzzy controller robustly yields good performance comparing with conventional controller.
PCB inspection for missing or misaligned components using background subtraction
Authors: K. Sundaraj
Venue: WSEAS Transactions on Information Science and Applications (2009)

Automated visual inspection (AVI) is becoming an integral part of modern surface mount technology (SMT) assembly process. This high technology assembly, produces printed circuit boards (PCB) with tiny and delicate electronic components. With the increase in demand for such PCBs, high-volume production has to cater for both the quantity and zero defect quality assurance. The ever changing technology in fabrication, placement and soldering of SMT electronic components have caused an increase in PCB defects both in terms of numbers and types. Consequently, a wide range of defect detecting techniques and algorithms have been reported and implemented in AVI systems in the past decade. Unfortunately, the turn-over rate for PCB inspection is very crucial in the electronic industry. Current AVI systems spend too much time inspecting PCBs on a component-by-component basis. In this paper, we focus on providing a solution that can cover a larger inspection area of a PCB at any one time. This will reduce inspection time and increase the throughput of PCB production. Our solution is targeted for missing and misalignment defects of SMT devices in a PCB. An alternative visual inspection approach using color background subtraction is presented to address the stated defect. Experimental results of various defect PCBs are also presented.
Covering of problem in wireless sensor networks
Authors: Sayed Mostafa Torabi, Mohammad Ali Samadian
Venue: Proceedings of the 8th Wseas international conference on Telecommunications and informatics (2009)

Sensor networks have attracted a lot of notice. Thus environments may consist of many inexpensive nodes, each capable of collecting, storing, and processing environmental information, and communicating with neighboring nodes through wireless links. We first study several relevant computational geometric problems. Then, a number of papers aimed at solving the coverage problem in wireless sensor networks are discussed. We will address issues such as surveillance and exposure of sensor networks, coverage and connectivity in network deployment, and coverage- and energy-preserving protocols for sensor networks.
Writer Identification of Chinese Handwriting Using Grid Microstructure Feature
Authors: Xin Li, Xiaoqing Ding
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

This paper proposes a histogram-based feature to Chinese writer identification. It is called grid microstructure feature. The feature is extracted from the edge image of the real handwriting image. The positions of edge pixel pairs are used to describe the characteristics in a local grid around every edge pixel. After global statistic, the probability density distribution of different pixel pairs is regarded as the feature representing the writing style of the handwriting. Then the similarity of two handwritings is measured with the improved weighted visions of some original metric. On the HIT-MW Chinese handwriting database involving 240 writers, the best Top-1 identification accuracy is 95.0% and the Top-20 accuracy reaches 99.6%.