ppxscal/embedding_network huggingface dataset:
The Gabor-Based Tensor Level Set Method for Multiregional Image Segmentation
Authors: Bin Wang, Xinbo Gao, Dacheng Tao, Xuelong Li, Jie Li
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

This paper represents a new level set method for multiregional image segmentation. It employs the Gabor filter bank to extract local geometrical features and builds the pixel tensor representation whose dimensionality is reduced by using the offline tensor analysis. Then multiphase level set functions are evolved in the tensor field to detect the boundaries of the corresponding image. The proposed method has three main advantages as follows. Firstly, employing the Gabor filter bank, the model is more robust against the salt-and-pepper noise. Secondly, the pixel tensor representation comprehensively depicts the information of pixels, which results in a better performance on the non-homogenous image segmentation. Thirdly, the model provides a uniform equation for multiphase level set functions to make it more practical. We apply the proposed method to synthetic and medical images respectively, and the results indicate that the proposed method is superior to the typical region-based level set method.
Intervention in context-sensitive probabilistic Boolean networks revisited
Authors: Babak Faryabi, Golnaz Vahedi, Jean-Francois Chamberland, Aniruddha Datta, Edward R. Dougherty
Venue: EURASIP Journal on Bioinformatics and Systems Biology (2009)

An approximate representation for the state space of a context-sensitive probabilistic Boolean network has previously been proposed and utilized to devise therapeutic intervention strategies. Whereas the full state of a context-sensitive probabilistic Boolean network is specified by an ordered pair composed of a network context and a gene-activity profile, this approximate representation collapses the state space onto the gene-activity profiles alone. This reduction yields an approximate transition probability matrix, absent of context, for the Markov chain associated with the context-sensitive probabilistic Boolean network. As with many approximation methods, a price must be paid for using a reduced model representation, namely, some loss of optimality relative to using the full state space. This paper examines the effects on intervention performance caused by the reduction with respect to various values of the model parameters. This task is performed using a new derivation for the transition probability matrix of the context-sensitive probabilistic Boolean network. This expression of transition probability distributions is in concert with the original definition of context-sensitive probabilistic Boolean network. The performance of optimal and approximate therapeutic strategies is compared for both synthetic networks and a real case study. It is observed that the approximate representation describes the dynamics of the context-sensitive probabilistic Boolean network through the instantaneously random probabilistic Boolean network with similar parameters.
A model of refactoring physically and virtually separated features
Authors: Christian Kästner, Sven Apel, Martin Kuhlemann
Venue: Proceedings of the eighth international conference on Generative programming and component engineering (2009)

Physical separation with class refinements and method refinements à la AHEAD and virtual separation using annotations à la #ifdef or CIDE are two competing implementation approaches for software product lines with complementary advantages. Although both approaches have been mainly discussed in isolation, we strive for an integration to leverage the respective advantages. In this paper, we lay the foundation for such an integration by providing a model that supports both physical and virtual separation and by describing refactorings in both directions. We prove the refactorings complete, so every virtually separated product line can be automatically transformed into a physically separated one (replacing annotations by refinements) and vice versa. To demonstrate the feasibility of our approach, we have implemented the refactorings in our tool CIDE and conducted four case studies.
A Novel Information Measure for Adaptive Controllers in Swarm Systems
Authors: Paolo Di Prodi, Bernd Porr, Florentin Worogtter
Venue: Proceedings of the 2009 Advanced Technologies for Enhanced Quality of Life (2009)

In this work we have developed an information measure called maxcorr suitable for closed loop controllers that makes use of temporal unsupervised learning. It is novel because is computed at the input side of the controller and consider the semantic value of signals, rather then being based on the non semantic approach of Shannon's entropy. The maxcorr can be applied to individual agents to estimate their learning ability, but most importantly to social swarms where agents are learning all the time to achieve a common goal. Indeed in a social system all agents learn at the same time thus being unpredictable. However maxcorr quantitatively explains how agents of a social system select information to make the closed loop model more predictable. Results are compatible with the Luhmann's theory of social differentiation.
Reliability aware yield improvement technique for nanotechnology based circuits
Authors: C. Argyrides, G. Dimosthenous, D. K. Pradhan, C. A. Lisboa, L. Carro
Venue: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes (2009)

Lithography based IC manufacturing is approaching its physical limits in terms of feature size. In this scenario, nanotechnology based manufacturing, relying on self-assembly of nanotubes or nanowires, has been predicted as an alternative to CMOS technology. However, such processes are expected to have high defect density and therefore must be handled through effective defect tolerant techniques. In this paper, an innovative technique is proposed, which for a given circuit size utilizes different combinations of defect-free crossbars to build the desired circuit with improved yield. The goal of the proposed approach is to increase the number of defect free crossbars and the total yield, by connecting defect free subsets together. The reliability of the resulting circuits has been estimated, and the results have shown that the application of the proposed approach provides significant yield improvement, but also may decrease the reliability due to the growing number of interconnections. To overcome this drawback, a guideline to optimize the architecture by exploring an optimal trade-off between yield and reliability is proposed.
Degradation of Humic Acid by TiO2 Nonutubes/UV/O3
Authors: Liuming Pan, Min Ji, Bin Lu, Xiuduo Wang, Lejun Zhao
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

Titanium dioxide nanotubes were prepared and used as catalyzers for titanium dioxide nanotubes/UV/O3 to degrade humic acid. And the optimal parameters of titanium dioxide nanotubes/UV/O3 were investigated. The combined treatment showed the synergetic effect of photocatalysis and ozonation. When calcined at 400 °C, titanium dioxide nanotubes had the best catalysis for photocatalytic ozonation. With a view of TOC removal and treatment cost, the best degradation of humic acid by titanium dioxide nanotubes/UV/O3 was obtained to 80.12% under the optimal condition, which was the reaction temperature of 30 °C, pH value of 8.5-10.7, titanium dioxide nanotubes dosage of 0.4 g/L, ozone dosage of 0.383 g/h and light intensity of 0.62 mW/cm2.
Structural Reliability Calculation Based on JC Method
Authors: Chang-long Wang
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

In order to make a set of complete theoretical calculation methods of structure design on crest spillway of face rockfill dam, proposed from view of the mechanical point，according to stability analysis of chute bottom slab for crest spillway of face rockfill dam, obtained the anti-slidestable performance function, used computer program of JC method to calculate structural reliability. Applications showed the theoretical design method can further improve the structure design theory of crest spillway of face rockfill dam, it can achieve the better and credible calculating results, provide the reference for future engineering applications.
Building Graphical Models from Relational Databases for Context-Aware Querying
Authors: Jiping Zheng, Jin Sun
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Context-aware plays an important role in modern society, especially to preference queries for user preferences depend on user current contexts. Popular mobile devices such as GPS, sensors and RFIDs produce context information to facilitate user right information acquisition. Due to that relational database is a powerful and sophisticated tool to manage large amount of data efficiently, context information can be taken as data items stored in the relational databases. To evaluate context-aware queries, graphical models are built from these relational data thus context-aware queries can be realized to query the constructed graphical models. To build a graphical model, user-defined methods are time-consuming and notefficient. To solve this problem, sophisticated database techniques are thoroughly exploited as well as synthesizingpowerful ideas for defining probability distributions over relational domains to learn the graphical models, then query the learned models to realize context-awareness.
An Improved Two-Dimensional Entropic Thresholding Method Based on Ant Colony Genetic Algorithm
Authors: Xiaohong Shen, Yulin Zhang, Fangzhen Li
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

The conventional two-dimensional (2-D) entropic thresholding is time consuming due to the exhaustive search in 2-D space. An improved 2-D entropic thresholding method based on ant colony genetic algorithm is proposed. This method extends ant colony genetic algorithm to 2-D discrete space optimization and includes the conventional 2-D entropic thresholding method. In this method, the ant is at the same time the chromosome. To reflect the collaboration of ants, the 2-D entropy of the ant as well as the pheromone is used to construct the fitness function. The best threshold vector is obtained by the genetic evolution of ant colony. Experiments show that the accuracy, stability and search efficiency of this method are better than that of the 2-D entropic algorithm based on genetic algorithm or ant colony optimization.
Agent Contest Competition: 4th Edition
Authors: Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Peter Novák
Venue: Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers (2009)

This paper summarises the Agent Contest 2008, organised in association with ProMAS'08. The aim of the contest is to stimulate research in the area of multi-agent systems by identifying key problems and collecting suitable benchmarks that can serve as milestones for evaluating new tools, models, and techniques to develop multi-agent systems. The first two editions of this contest were organised in association with CLIMA conference series and the third edition was organised in association with ProMAS'07. Based on the experiences from the previous three editions ([16,17,18]), the contest scenario has been changed to test the participating multi-agent systems on their abilities to coordinate and cooperate. We wanted to emphasise team work and team strategy issues in a dynamic environment where teams compete for the same resources. Seven groups from Iran, Ireland, England, France, Germany, Poland, and Turkey did participate in this years contest.
Counter Abstraction in the CSP/FDR setting
Authors: Tomasz Mazur, Gavin Lowe
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

In this paper we consider an adaptation of counter abstraction for the CSP/FDR setting. The technique allows us to transform a concurrent system with an unbounded number of agents into a finite-state abstraction. The systems to which the method can be applied are composed of many identical node processes that run in parallel with a controller process. Refinement checks on the abstract state machine can be performed automatically in the traces and stable failures models using the FDR model checker. We illustrate the method on an example based on a multiprocessor operating system.
Visualized Geology Spatial Data Classifying Based on Integrated Techniques between GIS and SDM
Authors: Zelu Jia, Yaolin Liu
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

A brief introduction to the integrated technology between Geographic Information System (GIS) and Spatial Data Mining (SDM). Then a spatial data mining prototype system called Visual Geo-Classify System (VGCS) use to classify spatial data based on Visual C++ 6.0 and MapObject2.0 is designed and developed, the system is used Bayesian Network and decision tree as the basic data mining algorithms, and using a combination of training and learning to achieve the geo-spatial data classification. The authors used examples of data verified the effectiveness on system performance, algorithms and the rules. The results indicate that this prototype system is a practical and extensible Visual Interactive Spatial Data Mining tool, the system can achieve the interactive control of data mining course dynamic and real-time, and the process and models of geo-spatial data classification are visualized, and the result of data mining can be visual displayed, as well as visual thought, can be visual analyzed and can be visual evaluated.
The Beacon Movement Detection Problem in Wireless Sensor Networks for Localization Applications
Authors: Sheng-Po Kuo, Hsiao-Ju Kuo, Yu-Chee Tseng
Venue: IEEE Transactions on Mobile Computing (2009)

Localization is a critical issue in wireless sensor networks. In most localization systems, beacons are being placed as references to determine the positions of objects or events appearing in the sensing field. The underlying assumption is that beacons are always reliable. In this work, we define a new Beacon Movement Detection (BMD) problem. Assuming that there are unnoticed changes of locations of some beacons in the system, this problem concerns how to automatically monitor such situations and identify such unreliable beacons based on the mutual observations among beacons only. Existence of such unreliable beacons may affect the localization accuracy. After identifying such beacons, we can remove them from the localization engine. Four BMD schemes are proposed to solve the BMD problem. Then, we evaluate how these solutions can improve the accuracy of localization systems in case there are unnoticed movements of some beacons. Simulation results show that our solutions can capture most of the unnoticed beacon movement events and thus can significantly alleviate the degradation of such events.
Combinatorial generalizations of generalized quadrangles of order (2, 2)
Authors: Andrzej Owsiejczuk, Małgorzata Prażmowska
Venue: Designs, Codes and Cryptography (2009)

We study substructures of a projective space PG(n, 2) represented in terms of elementary combinatorics of finite sets, which generalize the Sylvester's representation of the generalized quadrangle of order (2, 2). Their synthetic properties are established and automorphisms are characterized.
Estimating smooth distribution function in the presence of heteroscedastic measurement errors
Authors: Xiao-Feng Wang, Zhaozhi Fan, Bin Wang
Venue: Computational Statistics Data Analysis (2010)

Measurement error occurs in many biomedical fields. The challenges arise when errors are heteroscedastic since we literally have only one observation for each error distribution. This paper concerns the estimation of smooth distribution function when data are contaminated with heteroscedastic errors. We study two types of methods to recover the unknown distribution function: a Fourier-type deconvolution method and a simulation extrapolation (SIMEX) method. The asymptotics of the two estimators are explored and the asymptotic pointwise confidence bands of the SIMEX estimator are obtained. The finite sample performances of the two estimators are evaluated through a simulation study. Finally, we illustrate the methods with medical rehabilitation data from a neuro-muscular electrical stimulation experiment.
A Study of Service Innovation Design in Cultural and Creative Industry
Authors: Yu-Yuan Ko, Po-Hsien Lin, Rungtai Lin
Venue: Proceedings of the 3rd International Conference on Internationalization, Design and Global Development: Held as Part of HCI International 2009 (2009)

Service design is considered to be one of the pivotal components in cultural and creative design industries which has a significant impact on consumer perception of innovation. Despite service design's recognized importance, cultural and creative industries lack a systematic approach to it. Therefore, based on the "Taiwan experience", this paper proposes a service innovation design model and provides examples illustrating how to transfer cultural features into service design, and design these cultural features into modern products to reinforce their design value. Results presented herein create an interface for looking at the way service innovation design crosses over cultures, as well as illustrating the interwoven experience of service design and cultural creativity in the innovation design process.
A Functional Safety Analysis Approach for Analyzing CBTC System
Authors: Xianqiong Zhao, Tao Tang, Fei Yan
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

With the fast development of the communication technology, the reliability and the availability of the wireless-communication have been greatly improved, and the Communication Based Train Control System (CBTC) has been formed. The Zone Controller is a subsystem of the CBTC system, which plays the role of computing and presenting Movement Authority (MA) to the train and managing the train. So the safety of the ZC subsystem will directly influence the safety of the train. This paper has taken the ZC subsystem as an example, particularly the functions of MA computation, to describe a Functional Safety Analysis Approach and its concrete implementation in the CBTC system.
Diffusion generated motion for grain growth in two and three dimensions
Authors: Matt Elsey, Selim Esedoglu, Peter Smereka
Venue: Journal of Computational Physics (2009)

An efficient algorithm for accurately simulating curvature flow for large networks of curves in two dimensions and surfaces in three dimensions on uniform grids is proposed. This motion arises in the technologically important problem of simulating grain boundary motion in polycrystalline materials. In this formulation grain boundaries are zero-level sets of signed distance functions. Curvature motion is achieved by first diffusing locally maintained signed distance functions followed by a reinitialization step. A technique is devised to allow a single signed distance function to represent a large subset of spatially separated grains. Hundreds of thousands of grains can be simulated using a small number of signed distance functions (in this work, 32 in two dimensions and 64 in three dimensions are more than sufficient) using modest computational hardware.
Practical Algebraic Attacks on the Hitag2 Stream Cipher
Authors: Nicolas T. Courtois, Sean O'Neil, Jean-Jacques Quisquater
Venue: Proceedings of the 12th International Conference on Information Security (2009)

Hitag2 is a stream cipher that is widely used in RFID car locks in the automobile industry. It can be seen as a (much) more secure version of the [in]famous Crypto-1 cipher that is used in MiFare Classic RFID products [14,20,15]. Recently, a specification of Hitag2 was circulated on the Internet [29]. Is this cipher secure w.r.t. the recent algebraic attacks [8,17,1,25] that allowed to break with success several LFSR-based stream ciphers? After running some computer simulations we saw that the Algebraic Immunity [25] is at least 4 and we see no hope to get a very efficient attack of this type.However, there are other algebraic attacks that rely on experimentation but nevertheless work. For example Faugère and Ars have discovered that many simple stream ciphers can be broken experimentally with Gröbner bases, given an extremely small quantity of keystream, see [17]. Similarly reduced-round versions of DES [9] and KeeLoq [11,12] were broken using SAT solvers, that actually seem to outperform Gröbner basis techniques. Thus, we have implemented a generic experimental algebraic attack with conversion and SAT solvers,[10,9]. As a result we are able to break Hitag2 quite easily, the full key can be recovered in a few hours on a PC. In addition, given the specific protocol in which Hitag2 cipher is used in cars, some of our attacks are practical.
Statistics for People Who (Think They) Hate Statistics: Excel 2007 Edition
Authors: Neil J. Salkind
Venue:  (2009)

Utilizing the personable and clear approach that made Statistics for People Who (Think They) Hate Statistics a bestseller, Neil J. Salkind focuses on the use of Excel as the primary analytic tool in the Second Edition of Statistics for People Who Think They Hate Statistics Excel 2007 Edition. Salkind walks readers through various statistical procedures, beginning with correlations and graphical representation of data and ending with inferential techniques and analysis of variance. Throughout the book, he reveals the full capabilities of Excel, beginning with Part I, which is an introduction to Excel to the end, where he presents an extensive overview of Excel functionality.Key Features of the Second Edition:Reflects all Excel material based on Excel 2007 including all screen grabs Moves the reliability and validity chapter forward Offers more examples throughout the text and more end of chapter exercisesIncludes new and updated icons to explore certain topics in detailPresents the answers to the Time to Practice exercises to follow in chapter rather than at end of bookContains an Appendix detailing the differences between Excel 2003 to Excel 2007Incorporates the use of the new Data Analysis Toolpak optionCovers formulas and functions in more detailIntended AudienceThis text is designed for students taking Introduction to Statistics courses in applied disciplines, especially in business & management and the human services.