ppxscal/embedding_network huggingface dataset:
Effect of Environmental Silicic Concentration on ATPases of Diatom Ditylum Brightwelli Plasma Membrane
Authors: Jiang Zheng, Chong Li, Junrong Liang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Diatom Ditylum brightwelli (West) Grunow was cultivated for 5 days, under the environment of low silicon concentration (6 mg/L), high silicon concentration (150 mg/L) and normal silicon concentration (30 mg/L, control ) respectively. Then the plasma membrane of the diatom was extracted and purified by two-phase method. After the analysis ofthe Na+/K+-ATPase, Ca2+/Mg2+-ATPase and total ATPase activities of the plasma membrane, the results showed that the different environmental silicic concentrations had the different influences on theATPases of the diatom plasma membrane. In the high silicic environment, the total ATPase activity of the diatom plasma membrane was significantly higher than that of the control (p
Partial parse selection for robust deep processing
Authors: Yi Zhang, Valia Kordoni, Erin Fitzgerald
Venue: Proceedings of the Workshop on Deep Linguistic Processing (2007)

This paper presents an approach to partial parse selection for robust deep processing. The work is based on a bottom-up chart parser for HPSG parsing. Following the definition of partial parses in (Kasper et al., 1999), different partial parse selection methods are presented and evaluated on the basis of multiple metrics, from both the syntactic and semantic viewpoints. The application of the partial parsing in spontaneous speech texts processing shows promising competence of the method.
What You Feel Is What You Get: Mapping GUIs on Planar Tactile Displays
Authors: Maria Schiewe, Wiebke Köhlmann, Oliver Nadig, Gerhard Weber
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

Exploiting the advantages of planar tactile displays, we aim for efficient and effective information retrieval for blind users. To facilitate orientation, we define four regions segmenting the available space: header, body, structure, and detail region. Furthermore, we suggest four views--layout, outline, symbol and operating view--that define how detailed and in which manner information from window-based applications is displayed on tactile displays.
A New Fuzzy PID Controller for Time Delay Systems
Authors: Wenbo Na
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

This paper presents a practical method to design and implement a fuzzy PID controller for time delay systems.A new fuzzy PID control strategy is proposed to improve the control performances. The proposed strategy utilizes an innovative idea based on sectionalizing the error signal of the step response into three different functional zones. The supporting philosophy behind these three functional zones is to decompose the desired control objectives in terms of rising time, settling time and steady-state error measures maintained by an appropriate PID-type controller in each zone. Then, fuzzy membership factors are defined to configure the control signal on the basis of the fuzzy weighted PID outputs of all three zones. The obtained results illustrate the effectiveness of the proposed fuzzy PID control scheme in improving the performances of the implemented control systems for time delay.
Authentication Scheme of DRM System for Remote Users Based on Multimodal Biometrics, Watermarking and Smart Cards
Authors: Desong Wang, Jianping Li, Gokhan Memik
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

Digital Rights Management (DRM) system is the effective schemes for digital transactions. A novel authentication scheme of DRM system for remote users based on multimodal biometrics (such as iris and face feature) verification and watermarking and smart cards is described in this paper, which include two authentication phases, i.e. the client server authentication and the server authentication. For the client server authentication, we integrate watermarking technique and multimodal biometric system which is based on highly secure iris recognition and face recognition to provide more secure and reliable personal recognition. In watermarking algorithm, face image is chosen to be the host image, iris feature is selected to use as watermark hidden in the host face image. For the server authentication, the proposed scheme is an extended and generalized form of ElGamal signature scheme whose security is based on discrete logarithm problem, which is not yet forged. So the proposed scheme can achieve the rights management of digital content exactly through the illegal user access control. Meanwhile, the bimodal biometrics (iris and face) recognition provides the improvement in the accuracy performance of the system.
Logic Programming with Defaults and Argumentation Theories
Authors: Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor, Senlin Liang
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We present a model-theoretic semantics and study its reducibility and well-behavior properties. We use the framework as an elegant and flexible foundation to extend and improve upon Generalized Courteous Logic Programs (GCLP) [19]--one of the popular forms of defeasible reasoning. The extensions include higher-order and object-oriented features of Hilog and F-Logic [7,21]. The improvements include much simpler, incremental reasoning algorithms and more intuitive behavior. The framework and its Courteous family instantiation were implemented as an extension to the FLORA-2 system.
Induction Motor Drive System Based on the Flux Observer LESO and LADRC
Authors: Liying Liu, Zhenlin Xu, Qiang Mei
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

It is difficult to develop an accurate mathematical model for the induction motor and the robustness of vector control system is poor. This paper firstly uses the linear active disturbance rejection controller (LADRC) in inductor motor drive system. The controller is not overly dependent on the accurate mathematical model of motor, so the system is inherently robust, and it can estimate and compensate the general disturbance that includes the unknown internal dynamics and the external disturbance, so the rotor flux decouples with torque completely. Furthermore, the linear extended state observer (LESO) is used to observe rotor flux and it is robust to rotor resistance. Simulations show that the above control strategy has a better static and dynamic performances and the strong robustness.
Simplified Creation and Presentation of Non-linear Adaptive Content
Authors: Oliver Schneider, Udo Bleimann, Andrew D. Phippen, Bettina Harriehausen-Mühlbauer
Venue: Proceedings of the 4th International Conference on E-Learning and Games: Learning by Playing. Game-based Education System Design and Development (2009)

A interactive storytelling based service has been developed for the learning project Atlantis University. It provides methods for presenting user adaptive non-linear coherent content in the context of Extended Blended Learning. Like other non-linear projects, it has the problem that huge amount of content is needed.First the Atlantis University Project including the most significant methods used are presented briefly. Then an approach to overcome the problem by merging learner-types, a storytelling based coherence service and a content contribution system is presented.
Online Detection and Control System for Auto Body Welding Fixture
Authors: Jialiang Zhang, Jianguo Yang, Beizhi Li
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Welding fixtures are the most important devices for an automotive body welding assembly line. Aimed to detect dimensional deviation and control working quality in auto body assembly process of welding fixtures, this paper proposes detecting model based on auto body coordinate system, and develops a real-time detection and adaptive control system using eddy current sensor and an adaptive adjustment device. Tests show the validity of the on-line detection and alarm mechanism and the adaptive control system.
Turning lectures into comic books using linguistically salient gestures
Authors: Jacob Eisenstein, Regina Barzilay, Randall Davis
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Creating video recordings of events such as lectures or meetings is increasingly inexpensive and easy. However, reviewing the content of such video may be time-consuming and difficult. Our goal is to produce a "comic book" summary, in which a transcript is augmented with keyframes that disambiguate and clarify accompanying text. Unlike most previous keyframe extraction systems which rely primarily on visual cues, we present a linguistically-motivated approach that selects keyframes that contain salient gestures. Rather than learning gesture salience directly, it is estimated by measuring the contribution of gesture to understanding other discourse phenomena. More specifically, we bootstrap from multimodal coreference resolution to identify gestures that improve performance. We then select keyframes that capture these gestures. Our model predicts gesture salience as a hidden variable in a conditional framework, with observable features from both the visual and textual modalities. This approach significantly outperforms competitive baselines that do not use gesture information.
Collective Activations to Generate Self-Organizing Maps
Authors: Ryotaro Kamimura
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

In this paper, we propose a new method called collective activations to realize self-organizing maps. We suppose that all neurons collectively respond to input stimuli, and this collectiveness is represented by the sum of all neurons' activations. Learning consists of imitating these collective activations as much as possible. We applied the method to artificial data and a broadband survey problem. In all these problems, we could obtain self-organizing maps similar or, in some cases, superior to those obtained by conventional SOM. Thus, the present study is considered to be the first step toward more realistic self-organizing maps.
Population pharmacokinetic/pharmacodynamic mixture models via maximum a posteriori estimation
Authors: Xiaoning Wang, Alan Schumitzky, David Z. D'Argenio
Venue: Computational Statistics Data Analysis (2009)

Pharmacokinetic/pharmacodynamic phenotypes are identified using nonlinear random effect models with finite mixture structures. A maximum a posteriori probability estimation approach is presented using an EM algorithm with importance sampling. Parameters for the conjugate prior densities can be based on prior studies or set to represent vague knowledge about the model parameters. A detailed simulation study illustrates the feasibility of the approach and evaluates its performance, including selecting the number of mixture components and proper subject classification.
New Approach for the Pricing of Bond Option Using the Relation between the HJM Model and the BGM Model
Authors: Kisoeb Park, Seki Kim, William T. Shaw
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part II (2009)

In this paper, we propose a new approach for the pricing of bond options using the relation between the Heath-Jarrow-Morton (HJM) model and the Brace-Gatarek-Musiela (BGM) model. To derive a closed-form solution (CFS) of bond options on the HJM model with the BGM model, we first consider about basic concepts of the HJM model in which is hard to achieve the CFS of bond options. The second obtains the bond pricing equation through the fact that the spot rate is equal to the instantaneous forward rate. Furthermore, we derive the formula of the discount bond price using restrictive condition of Ritchken and Sankarasubramanian (RS). Finally, we get a CFS of bond options using the relation between the HJM volatility function ¿ f (t,T) and the BGM volatility function ¿(t,T) and give the analytic proof of bond pricing. In particular, we can confirm the humps in the pricing of bond call option occur while the graph of bond put option are decreasing functions of the maturity as the value of ¿(tenor) and ¿ r (volaitility of interest rate) are increasing with two scenarios. This result means a simple and reasonable estimate for the pricing of bond options under the proposed conditions.
A DC offset and CMRR analysis in a CMOS 0.35µm operational transconductance amplifier using Pelgrom's area/accuracy tradeoff
Authors: Juan Pablo Martinez Brito, Sergio Bampi
Venue: Microelectronics Journal (2009)

Nonideal factors which play a key role in performance and yield in high-precision operational amplifiers are rigorously investigated. Expressions for the offset voltage (V"o"s) and the common-mode rejection ratio (CMRR) are derived and correlated. The mismatch accuracy is analyzed for different transistor geometries in a CMOS OTA (operational transconductance amplifier) in 0.35@mm technology by using the Monte Carlo approach.
Experiences in developing and applying a software engineering technology testbed
Authors: Alexander Lam, Barry Boehm
Venue: Empirical Software Engineering (2009)

A major problem in empirical software engineering is to determine or ensure comparability across multiple sources of empirical data. This paper summarizes experiences in developing and applying a software engineering technology testbed. The testbed was designed to ensure comparability of empirical data used to evaluate alternative software engineering technologies, and to accelerate the technology maturation and transition into project use. The requirements for such software engineering technology testbeds include not only the specifications and code, but also the package of instrumentation, scenario drivers, seeded defects, experimentation guidelines, and comparative effort and defect data needed to facilitate technology evaluation experiments. The requirements and architecture to build a particular software engineering technology testbed to help NASA evaluate its investments in software dependability research and technology have been developed and applied to evaluate a wide range of technologies. The technologies evaluated came from the fields of architecture, testing, state-model checking, and operational envelopes. This paper will present for the first time the requirements and architecture of the software engineering technology testbed. The results of the technology evaluations will be analyzed from a point of view of how researchers benefitted from using the SETT. The researchers just reported how their technology performed in their original findings. The testbed evaluation showed (1) that certain technologies were complementary and cost-effective to apply; (2) that the testbed was cost-effective to use by researchers within a well-specified domain of applicability; (3) that collaboration in testbed use by researchers and the practitioners resulted comparable empirical data and in actions to accelerate technology maturity and transition into project use, as shown in the AcmeStudio evaluation; and (4) that the software engineering technology testbed's requirements and architecture were suitable for evaluating technologies and accelerating their maturation and transition into project use.
Minimum Interference Planar Geometric Topology in Wireless Sensor Networks
Authors: Trac N. Nguyen, Dung T. Huynh
Venue: Proceedings of the 4th International Conference on Wireless Algorithms, Systems, and Applications (2009)

The approach of using topology control to reduce interference in wireless sensor networks has attracted attention of several researchers. There are at least two definitions of interference in the literature. In a wireless sensor network the interference at a node may be caused by an edge that is transmitting data [15], or it occurs because the node itself is within the transmission range of another [3], [1], [6]. In this paper we show that the problem of assigning power to nodes in the plane to yield a planar geometric graph whose nodes have bounded interference is NP-complete under both interference definitions. Our results provide a rigorous proof for a theorem in [15] whose proof is unconvincing. They also address one of the open issues raised in [6] where Halldórsson and Tokuyama were concerned with the receiver model of node interference, and derived an $O(\sqrt {\Delta})$ upper bound for the maximum node interference of a wireless ad hoc network in the plane (Δ is the maximum interference of the so-called uniform radius network). The question as to whether this problem is NP-complete in the 2-dimensional case was left open.
Protecting Database Centric Web Services against SQL/XPath Injection Attacks
Authors: Nuno Laranjeiro, Marco Vieira, Henrique Madeira
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

Web services represent a powerful interface for back-end database systems and are increasingly being used in business critical applications. However, field studies show that a large number of web services are deployed with security flaws (e.g., having SQL Injection vulnerabilities). Although several techniques for the identification of security vulnerabilities have been proposed, developing non-vulnerable web services is still a difficult task. In fact, security-related concerns are hard to apply as they involve adding complexity to already complex code. This paper proposes an approach to secure web services against SQL and XPath Injection attacks, by transparently detecting and aborting service invocations that try to take advantage of potential vulnerabilities. Our mechanism was applied to secure several web services specified by the TPC-App benchmark, showing to be 100% effective in stopping attacks, non-intrusive and very easy to use.
Remote equipment monitoring system based on ARM9 and CAN bus
Authors: Xiaojun Zhao, Haixia Su, Mingwei Ren, Yong Cao, Lei Chen, Fei Wang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

In this paper, the remote monitoring system based on ARM9 and CAN bus is studied. It focuses on the ARM9 and Ethernet interface methods, CAN / Ethernet protocol conversion methods, and the construction of the network database. Adopting the technology, which is embedded Network interface device in the network environment of self-identification, self-description and interoperability, it will make the network sensor dynamic configuration and reconfiguration. Test results show that the system meets the requirements of automation equipment maintenance, real-time monitoring and reliability, so that it makes the effective realization of the remote monitoring equipment come true.
Scratch Line Detection and Restoration Based on Canny Operator
Authors: Zeng Qingyue, Ding Youdong
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

To detect and remove the scratch lines in old films, the basic features of scratch line and the fundamental principles of Canny operator are analyzed. After that, a scratch line detection and restoration algorithm based on Canny operator is put forward. The experimental result shows that the algorithm can precisely detect scratch lines in old films, and acquire information on the length, the start position and the terminal position of it to restore them effectively. Therefore, old films become more appealing with better subjective visual effects after restoration.
Development of a hybrid knowledge-based system for multiobjective optimization of power distribution system operations
Authors: Robert J. Sárfi, A. M. G. Solo
Venue: Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3 (2005)

The development of a hybrid knowledge-based system with a coupling between knowledge-based and numerical methods for multiobjective optimization of power distribution operations is described. The advantages of a hybrid knowledge-based system are described followed by the system objectives, means of control, and constraints. A framework is provided that describes the necessary development stages of a commercial knowledge-based package. An overview of the utility knowledge acquisition procedure is provided to appreciate the complexity of defining the rule base. This is followed by a description of the flow of information in a three-level hierarchical rule base and a summary of network radiality, parameter. and performance rules employed in this rule base. After a heuristic preprocessor identifies a list of switch closures that would seem to reduce total system losses, network radiality rules assess if a particular search path has identified a switch that can be closed and a corresponding switch opened to maintain the radiality of the system or if the path is worth pursuing further. Network parameter rules ensure the system operates within original design parameters. Network performance rules assess the reduction in total system losses of each proposed switching operation. Where there is a coupling between knowledge-based and numerical methods, the integration of numerical methods is described. Finally, the validation and simulations as well as the benefits of this hybrid knowledge-based system are described.
Multi-scale Based Adaptive SRAD for Ultrasound Images Enhancement
Authors: B. C. Yoo, J. G. Ryu, H. K. Park, T. H. Nishimura
Venue: Proceedings of the Advances in Electrical and Electronics Engineering - IAENG Special Edition of the World Congress on Engineering and Computer Science 2008 (2008)

These in this paper, we introduce the adaptive speckle reducing anisotropic diffusion(SRAD) that uses wavelet decomposition for speckle reduction and edge preservation in medical ultrasound images. The proposed algorithm first modifies coarse-to-fine classifier to determine the homogeneous region that operated as diffusion threshold in SRAD works. Next, SRAD filters are played on each sub-bands of decomposed wavelet domain with determined homogeneous regions as called “speckle scale function”. From this procedure, homogenous region can calculated without manual selection or preliminary exponential decay function. As a result, original SRAD filter will modified as adaptive one. Moreover, variety pattern of speckle is reduced by the proposed modified SRAD on multi-scale wavelet decomposing. Relying on this progress, the proposed method can improve the image quality for both speckle reduction and edge preservation. Finally, we validate our method to compare with conventional filter groups using artificial speckle image and clinical images. The experimental results show that the proposed method performed effectively both terms of speckle reduction and edge preservation.