ppxscal/embedding_network huggingface dataset:
GSPN-based modeling and analysis for robotized assembly system
Authors: Yongfa Qin, Rongyou Xu
Venue: Proceedings of the 2008 IEEE International Conference on Robotics and Biomimetics (2009)

Generalized Stochastic Petri-Nets (GSPN) is a kind of high-level abstraction modeling tool for a system with complex state transitions. A GSPN model will conduce to rational decision making during a design process for a system. In this paper a robotized assembly system with complex workflow (assembly tasks flow) is studied, and GSPN model is used to analyze deeply qualitative and quantitative properties of the robotized assembly system. The model will facilitate assessing average performance and testing correctness and consistent of operating sequences of the robotized assembly system. Several performance indexes of GSPN model are formulated such as the probability of a state, math expectation of tokens of a place, firing rate of exponent transitions and average waiting time of a place. On the basis of the method, an A robotized assembly workstation for a automotive transmission component is designed and built successfully.
Systems with a switch and estimation of absolute stability region
Authors: A. I. Barkin
Venue: Automation and Remote Control (2009)

Two methods are proposed for estimation of absolute stability region in the space of parameters. The first method uses nontrivial necessary conditions, which follow from stability of switching systems. The second method is a modification of the harmonic balance approach; it is used for approximate determination of existence of periodic modes that arise when stability is lost.
Performance based decisions under uncertainty and risk
Authors: James A. Reneke
Venue:  (2008)

Decision making has became increasingly complex as risky decisions are made in uncertain environments. To minimize risk, the problem of quantifying risk becomes very significant. In our review of the literature, we found a number of different risk measures. A closer study reveals that most of these risk measures define both risk and uncertainty in many different ways. In this dissertation, we model uncertainty and risk based on the Knightian definition of uncertainty and risk. We propose this alternative modeling paradigm and introduce our decision making methodology by solving an illustrative problem presented by a group of decision makers from Sandia Laboratories. Multicriteria decision problems for complex systems with interacting components require the algebra of operator representations and the separability of these representations to include the feedback due to the interacting uncertainties. However, the sum of these separable representations need not be separable. We propose a separable approximation for the sum and bound the errors due to the approximation. The issue of consistency of our decision making methodology is also studied by resolving the Ellsberg Paradox where Ellsberg claims that good decision makers should violate Savage's axioms at times. We show that our methodology provides consistent decisions without violating Savage's axioms. This consistency of our methodology is attributed to handling the multiple criteria without aggregation. Due to this concept of de-aggregated multiple criteria, we believe that the conventional portfolio selection problems may mislead the decision maker by confounding the criteria. We propose an alternate portfolio selection procedure from a given feasible set of portfolios. Real data for Real Estate Investment Trusts, traded in NYSE, was used to create a consistent portfolio. In this dissertation, only the initial work for this portfolio selection problem is presented. Finally, we discuss the directions for future research.
Knowledge Aware Bisimulation and Anonymity
Authors: Han Zhu, Yonggen Gu, Xiaojuan Cai
Venue: Proceedings of the 9th International Conference on Computational Science: Part I (2009)

We propose a knowledge aware bisimulation equivalence relation on the Calculus of Applied Pi Calculus. Applied Pi is well-known for discribing and analyzing security protocols. Our equivalence relation is especially useful in analyzing the property of anonymity. We give an analysis of iKP anonymity as a running example to show the effectiveness of this approach.
On the consistent rewriting of conjunctive queries under primary key constraints
Authors: Jef Wijsen
Venue: Information Systems (2009)

This article deals with the computation of consistent answers to queries on relational databases that violate primary key constraints. A repair of such inconsistent database is obtained by selecting a maximal number of tuples from each relation without ever selecting two distinct tuples that agree on the primary key. We are interested in the following problem: Given a Boolean conjunctive query q, compute a Boolean first-order (FO) query @j such that for every database db, @j evaluates to true on db if and only if q evaluates to true on every repair of db. Such @j is called a consistent FO rewriting of q. We use novel techniques to characterize classes of queries that have a consistent FO rewriting. In this way, we are able to extend previously known classes and discover new ones. Finally, we use an Ehrenfeucht-Fraisse game to show the non-existence of a consistent FO rewriting for @?x@?y(R(x@?,y)@?R(y@?,c)), where c is a constant and the first coordinate of R is the primary key.
Enhancing the quality of use case models and activity diagrams using a differential quality model
Authors: Narasimha Bolloju, Sherry X Sun
Venue: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology (2009)

Use case models and activity diagrams play an important role in the early stages of requirement specification for systems development. When complex use cases descriptions are supplemented with corresponding activity diagrams to represent the same set of requirements from different perspectives, inconsistencies between pairs of related artifacts affect the quality of the resulting models. This paper presents a differential quality model, which can be utilized for enhancing the quality of those UML models.
Post-communial sticheron in the Byzantine-Slavic liturgical formularies: musical and liturgical aspects
Authors: Šimon Marinčák
Venue: Proceedings of the 10th WSEAS international conference on Acoustics & music: theory & applications (2009)

Liturgical formularies of the Byzantine (or Constantinopolitan) tradition have undergone many intercalations and omissions that have modified its actual cursus during the centuries. Post-Communial Sticheron 'We have seen the true light' belongs to more recent additions and have not been explained satisfactorily yet. This chant has not been a stable part of the liturgical formulary before 17th century and its insertion and stabilization after the Communion rites is still quite obscure. Interesting is its musical mutation from the original Octoechal modal musical system to a system of a free composition is some cultural traditions, again, not explained satisfactorily yet. This paper will bring the historical overview that will set into chronological table the process of accession of this sticheron into the Byzantine liturgical formularies, as well as the comparison of various musical models both Octoechal and compositional.
Capturing Knowledge Worker Behavior Based on Information Diffusion Theory
Authors: Masayuki Ishikawa, Peter Geczy, Noriaki Izumi, Takahira Yamaguchi
Venue: Proceeding of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering (2008)

By analyzing the information diffusion in a studied large scale corporate portal, we discovered that only small population of users is sufficient to initiate the widespread of innovation. Applying these findings, we conducted analytic experiment for novel recommendation algorithm based on the browsing features of identified selected users and discovered that the first 10 users accessing a particular page play the key role in the information spread.
Learning to assess the quality of scientific conferences: a case study in computer science
Authors: Waister Silva Martins, Marcos André Gonçalves, Alberto H.F. Laender, Gisele L. Pappa
Venue: Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries (2009)

Assessing the quality of scientific conferences is an important and useful service that can be provided by digital libraries and similar systems. This is specially true for fields such as Computer Science and Electric Engineering, where conference publications are crucial. However, the majority of the existing approaches for assessing the quality of publication venues has been proposed for journals. In this paper, we characterize a large number of features that can be used as criteria to assess the quality of scientific conferences and study how these several features can be automatically combined by means of machine learning techniques to effectively perform this task. Within the features studied are citations, submission and acceptance rates, tradition of the conference, and reputation of the program committee members. Among our several findings, we can cite that: (1) separating high quality conferences from medium and low quality ones can be performed quite effectively, but separating the last two types is a much harder task; and (2) citation features followed by those associated with the tradition of the conference are the most important ones for the task.
Many-to-many disjoint paths in faulty hypercubes
Authors: Xie-Bin Chen
Venue: Information Sciences: an International Journal (2009)

This paper considers the problem of many-to-many disjoint paths in the hypercube Q"n with f"v faulty vertices and f"e faulty edges, and obtains the following result. For any integer k with 1=
Stability from structure: metabolic networks are unlike other biological networks
Authors: P. van Nes, D. Bellomo, M. J. T. Reinders, D. de Ridder
Venue: EURASIP Journal on Bioinformatics and Systems Biology (2009)

In recent work, attempts have been made to link the structure of biochemical networks to their complex dynamics. It was shown that structurally stable network motifs are enriched in such networks. In this work, we investigate to what extent these findings apply to metabolic networks. To this end, we extend a previously proposed method by changing the null model for determining motif enrichment, by using interaction types directly obtained from structural interaction matrices, by generating a distribution of partial derivatives of reaction rates and by simulating enzymatic regulation on metabolic networks. Our findings suggest that the conclusions drawn in previous work cannot be extended to metabolic networks, that is, structurally stable network motifs are not enriched in metabolic networks.
Game-based admission control for wireless systems
Authors: Benjamin Yolken, Nicholas Bambos
Venue: Proceedings of the 4th Annual International Conference on Wireless Internet (2008)

Much previous work has examined the wireless power control problem using tools from game theory, an economic concept which describes the behavior of interdependent but non-cooperative users. In this paper, we expand these ideas to the antecedent process of deciding which users may participate in the network, i.e. the admission control problem. In particular, we propose three distinct pricing schemes for influencing users as they make their participation decisions. We fully characterize the equilibria induced by each and then test their performance in a simulated, wireless environment. Our preliminary results show that these schemes have the potential to produce high quality outcomes in an incentive-compatible way.
Acceptance of systems development methodologies: testing a theoretically integrated model
Authors: James T.C. Teng, Sridhar Nerur
Venue:  (2008)

Industry reports continue to portray a dismal picture of software development project success. Software projects continue to be over budget, overdue and lacking in quality and desired functionality. A variety of innovative methodologies and tools have been introduced to aid in improving the software development process. However, there has been reluctance to commit to their usage. The goal of this research is to examine the reasons a software developer makes a commitment to use a given development methodology. We used a theoretically integrated approach to study this phenomenon, drawing on theories from the fields of marketing as well as psychology. This thesis is in the form of a three essay structure. In the first essay, we developed an instrument to measure process agility and applied the instrument in an empirical study. The second essay investigated the impact of process agility as well as specific innovation characteristics on a developer&rsquo;s commitment to using the methodology. Applying the psychological theory of Self-Determination, we explored whether there are innate psychological needs that mediate the relationship between these factors and an individual&rsquo;s commitment to using the methodology. The third summarizes the results of the second study for practitioners, providing industry with information to aid in the implementation of new development methodologies and processes. This research makes significant contributions. First, it conceptualizes, operationalizes, and develops a standard measure of process agility in the context of software development methodologies. Second it applies the process agility instrument to investigate the relationship between the agility of a methodology and a developer&rsquo;s motivation to be committed to the methodology thus presenting empirical support for a positive relationship between process agility and developer motivation. Third, it builds upon prior research by integrating Self-Determination Theory (SDT) into current usage models, thereby providing an explanatory link between Diffusion Theory with its associated factors and individual commitment to usage. This contributes toward a deeper understanding of the underlying reasons for the effects of certain factors on technology implementation as well as making significant progress toward the development of a model for determining individual developers&rsquo; intention to commit to and support the use of a given software development methodology. Fourth, this research provides insight and helpful diagnostics to facilitate and assist practitioners in their efforts to implement new software development methodologies. Finally, it gives direction for future research in terms of employing the agility measurement instrument to examine other phenomena such as project outcomes as well as providing for further validation of the Software Development Methodology acceptance model.
Semantic blocking for Record Linkage
Authors: Jordi Nin, Víctor Muntés-Mulero, Norbert Martínez-Bazan, Josep L. Larriba-Pey
Venue: Proceeding of the 2007 conference on Artificial Intelligence Research and Development (2007)

Record Linkage (RL) is an important component of data cleaning and integration and data processing in general. For years, many efforts have focused on improving the performance of the RL process, either by reducing the number of record comparisons or reducing the number of attribute comparisons, which reduces the computational time, but increases the amount of error. However, the real bottleneck of RL is the post-process, where the results have to be reviewed by experts that decide which pairs or groups of records are real links and which are false hits. In this paper we show that exploiting the semantic relationships (e.g. foreign key), established between one or more data sources, makes it possible to find a new sort of semantic blocking method that improves the number of hits and reduces the amount of review effort.
On-Line Signature Matching Based on Hilbert Scanning Patterns
Authors: Alireza Ahrary, Hui-Ju Chiang, Sei-Ichiro Kamata
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

Signature verification is a challenging task, because only a small set of genuine samples can be acquired and usually no forgeries are available in real application. In this paper, we propose a novel approach based on Hilbert scanning patterns and Gaussian mixture models for automatic on-line signature verification. Our system is composed of a similarity measure based on Hilbert scanning patterns and a simplified Gaussian mixture model for decision-level evaluation. To be practical, we introduce specific simplification strategies for model building and training. The system is compared to other state-of-the-art systems based on the results of the First International Signature Verification Competition (SVC 2004). Experiments are conducted to verify the effectiveness of our system.
In search of common ground: A task conceptualization to facilitate the design of (e)learning environments with design patterns
Authors: Ilya Zitter, Geert Kinkhorst, Robert-jan Simons, Olle ten Cate
Venue: Computers in Human Behavior (2009)

Many studies report changes taking place in the field of higher education, changes which present considerable challenges to educational practice. Educational science should contribute to developing design guidance, enabling practitioners to respond to these challenges. Design patterns, as a form of design guidance, show potential since they promise to facilitate the design process and provide common ground for communication. However, the potential of patterns has not been fully exploited yet. We have proposed the introduction of a task conceptualization as an abstract view of the concept chosen as central: the task. The choice of the constituting elements of the task conceptualization has established an analytical perspective for analysis and (re)design of (e)learning environments. One of the constituting elements is that of 'boundary objects', which has added a focus on objects facilitating the coordination, alignment and integration of collaborative activities. The presented task conceptualization is deliberately generic in nature, to ease the portability between schools of thought and make it suitable for a wide target audience. The conceptualization and the accompanying graphical and textual representations have shown much promise in supporting the process of analysis and (re)design and add innovative insights to the domain of facilitating the creation of design patterns.
Indirect adaptive routing on large scale interconnection networks
Authors: Nan Jiang, John Kim, William J. Dally
Venue: Proceedings of the 36th annual international symposium on Computer architecture (2009)

Recently proposed high-radix interconnection networks [10] require global adaptive routing to achieve optimum performance. Existing direct adaptive routing methods are slow to sense congestion remote from the source router and hence misroute many packets before such congestion is detected. This paper introduces indirect global adaptive routing (IAR) in which the adaptive routing decision uses information that is not directly available at the source router. We describe four IAR routing methods: credit round trip (CRT) [10], progressive adaptive routing (PAR), piggyback routing (PB), and reservation routing (RES). We evaluate each of these methods on the dragonfly topology under both steady-state and transient loads. Our results show that PB, PAR, and CRT all achieve good performance. PB provides the best absolute performance, with 2-7% lower latency on steady-state uniform random traffic at 70% load, while PAR provides the fastest response on transient loads. We also evaluate the implementation costs of the indirect adaptive routing methods and show that PB has the lowest implementation cost requiring
A mathematical model and a computer tool for the Tower of Hanoi and Tower of London puzzles
Authors: Andreas M. Hinz, Anton Kostov, Fabian Kneiíl, Fatma Sürer, Adrian Danek
Venue: Information Sciences: an International Journal (2009)

We propose a mathematical model for the Towers of Hanoi and London based on state graphs. The analysis of this model allows to address questions like equivalence of puzzles, difficulty of tasks and optimality of solutions using topological, metric and symmetry properties of the corresponding graphs. The mathematical model serves as a base for a computer program to administer tower puzzles in a variety of psychological test situations. It is suitable for bedside use and is equipped with numerous devices for post-processing of recorded data. Among these features is the graphical representation of the projection of the path taken by a test person onto the state graph.
Analyzing a socio-technical visualization tool using usability inspection methods
Authors: Erik Trainer, Stephen Quirk, Cleidson de Souza, David Redmiles
Venue: Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (2008)

Ariadne is a novel visualization tool that allows end users to explore the socio-technical relationships in software development projects. Essentially the visualization is a variant of a social network graph. It is based on the observation that dependencies between software components create dependencies between the developers implementing those components. This relationship emerged in our own and other researchers’ field studies of software projects. Large software development projects require management of dependencies by managers and developers to ensure the smooth coordination of work. We sought to evaluate our visualization to assess its utility. Although we had some informal trials with potential end users, we sought a deeper analysis before further refinement of the tool and evaluation on a larger scale. Usability inspection methods provided one potential avenue. Moreover, such inspection methods yield a kind of rationale not directly derived from human subjects evaluations. We report on the application of these inspection methods and discuss the implications of their results in the context of usability evaluations for visual interfaces.
Repairing Disengagement With Non-Invasive Interventions
Authors: Ivon Arroyo, Kimberly Ferguson, Jeff Johns, Toby Dragon, Hasmik Meheranian, Don Fisher, Andrew Barto, Sridhar Mahadevan, Beverly P. Woolf
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

We evaluated the impact of a set of interventions to repair students' disengagement while solving geometry problems in a tutoring system. We present a deep analysis of how a tutor can remediate a student's disengagement and motivation with self-monitoring feedback. The analysis consists of a between-subjects analyses on students learning and on students' attitudes towards mathematics and perceptions of the software, and a deeper analysis on students' engagement within the tutor. Results show that the general trend over time is for students to become more disengaged while using a tutor, yet students can be coaxed into reengagement after viewing interventions that promote self-reflection and self-monitoring --a simple open-learner model accompanied by suggestions and encouragement.