ppxscal/embedding_network huggingface dataset:
Structural differences between two graphs through hierarchies
Authors: Daniel Archambault
Venue: Proceedings of Graphics Interface 2009 (2009)

This paper presents a technique for visualizing the differences between two graphs. The technique assumes that a unique labeling of the nodes for each graph is available, where if a pair of labels match, they correspond to the same node in both graphs. Such labeling often exists in many application areas: IP addresses in computer networks, namespaces, class names, and function names in software engineering, to name a few. As many areas of the graph may be the same in both graphs, we visualize large areas of difference through a graph hierarchy. We introduce a path-preserving coarsening technique for degree one nodes of the same classification. We also introduce a path-preserving coarsening technique based on betweenness centrality that is able to illustrate major differences between two graphs.
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude
Authors: Francisco Durán, Peter Csaba Ölveczky
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

The goal of this paper is to serve as a practical guide for implementing extensions of Maude by giving an overview of how the Real-Time Maude tool has been developed by extending the implementation of Full Maude. After giving a high-level summary of the key functionality and structure of the implementation of Full Maude, we describe the implementation of the Real-Time Maude language and tool. This extension includes key issues such as adding new kinds of modules, rules, and commands; as well as the need to store additional information in the persistent state of the execution environment.
Study on the Structure of Argumentation in Case Law
Authors: Raquel Mochales, Marie-Francine Moens
Venue: Proceeding of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference (2008)

This paper investigates natural-language argumentation in the case law domain. The starting point is a study on the discoursive and argumentative characteristiques of ten legal documents from the European Court of Human Rights (ECHR). Then, a generalization of this study allows to formalize the structure of argumentation in the ECHR documents as a context-free grammar. The paper concludes with the evaluation of the grammar and a discussion of its main limitations.
Using 3D to visualise medical data
Authors: Monica Tavanti
Venue: Proceedings of the working conference on Advanced visual interfaces (2002)

Retrieving and managing medical information is a major problem for users, due to the massive and heterogeneous production of available data. One way of handling the complexity of this special information context could be to find alternative ways of structuring medical data. In this paper a database containing medical information about diseases is presented. The database implements a new approach, using a clustered organization of the data, that tries to provide consistency and homogeneity in the information so as to effectively support physicians and experts in the medical field. The database also implements a temporal and dynamic description of diseases, called the "temporal disease simulator," which can easily be visualised through a friendly three-dimensional interface. The paper summarises the specifications of the database and illustrates the design process of the interface for the "temporal disease simulator," describing its main features.
A tentative model for virtualized resource-aware dynamic media-oriented service composition
Authors: Dong-Hoon Yi, JongWon Kim
Venue: Proceedings of the 4th International Conference on Future Internet Technologies (2009)

As the Internet evolves into an irreplaceable service infrastructure for modern human life, a key issue to consider is that of creating and managing a rich variety of services while keeping aware of individual requirements with guaranteed QoS (Quality of Service). In this paper, we present a tentative model for virtualized resource-aware dynamic media-oriented service composition where the service overlayer, service aggregators and resource aggregators cooperate to achieve an effective coordination of the dynamically changing requirements according to user's context and resource heterogeneity. As a first step of this on-going effort, we attempt to propose a conceptual idea for resource-provisioned service overlay network called AptusNet by focusing our attention on the provisioning aspect of the service and virtualized resource components.
Selective finite element refinement in torsional problems based on the membrane analogy
Authors: N. Troyani, A. Pérez, C. Gomes, P. Baíz, Z. Da Fonseca
Venue: Finite Elements in Analysis and Design (2009)

This work presents a selective finite element refinement strategy based on the h-refinement type, in the context of a posteriori error estimates considerations (error computed after the application of the proposed refining scheme), based on a graphical procedure to determine progressively better estimates for the maximum shearing stress in prismatic torsional members. It is structured in an integrated FORTRAN code and DELPHI based environment to refine an initial arbitrary finite element mesh. The proposed procedure is founded on the membrane analogy that exists between membrane deflections and the torsion problem in the sense that the location of the membrane largest gradient drives the refining procedure. It is shown that multiple level application of the proposed method to two members with different cross sectional geometries with known analytic solutions leads to progressively more accurate estimates (
Contactless thermal characterization of high temperature test chamber
Authors: Gy&#x00f6;rgy Bogn&#x00e1;r, Z. Sz&#x0171;cs, V. Sz&#x00e9;kely, M. Rencz
Venue: Microsystem Technologies (2009)

In this paper the methodology and the results of a contactless thermal characterization of a high temperature test chamber will be introduced. The test chamber is used for fatigue testing of different MEMS devices where the homogenous temperature distribution within the close proximity from the heating filaments is very important. Our aim was to characterize the evolving temperature distribution inside the test chamber. In order to achieve smaller time constant a new contactless sensor card was developed. The contactless thermal characterization method introduced in this paper enables in situ heat distribution measurement inside the test chamber during operation, with the detection of potentially uneven heat distribution.
A unified approach for determining the underlying causes of non-stationary disturbances
Authors: Praveen Pankajakshan
Venue: International Journal of Computer Applications in Technology (2009)

In this paper, we propose a framework for the automatic detection and classification of power distribution feeder disturbances based on their underlying causes. The segmentation algorithm based on either a Kalman Filter (KF) or a Wavelet Filter divides the quasi-stationary Root-Mean-Square (RMS) of the captured signal into pre-disturbance, disturbance and post-disturbance regions. The pre- and post-disturbance segments are essentially stationary while the non-stationary nature is extracted as the disturbance segment. Each region is then represented as a sequence of predefined wave patterns or primitives. A syntactically correct combination of these primitives will define the morphology of the mother RMS signal. The grammar, the production rules and the model for each class is built from a set of positive examples (I&lt;SUB align=right&gt;+) by using a stochastic Error-Correcting Grammar Inference (ECGI) engine. When used in combination with a k-nearest neighbour algorithm (kNN) classifier, this framework can recognise any event and learn new patterns.
An algorithm to compute minimally grounded and admissible defence sets in argument systems
Authors: Gerard A. W. Vreeswijk
Venue: Proceeding of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006 (2006)

This paper presents a query-answering algorithm to compute minimal lines of defence around an individual argument. The algorithm returns all such defence sets together with an indication whether the defence is grounded or admissible. For every argument encountered in the search process the algorithm further indicates whether that argument is IN, OUT, or UNDEC (undecided) according to the grounded semantics. The presentation of the algorithm is followed by a correctness proof and a complexity analysis of other than worst cases. The algorithm is already functional in argument analysis and visualization tools.
Quality Improvement Incentives and Product Recall Cost Sharing Contracts
Authors: Gary H. Chao, Seyed M. R. Iravani, R. Canan Savaskan
Venue: Management Science (2009)

As companies outsource more product design and manufacturing activities to other members of the supply chain, improving end-product quality has become an endeavor extending beyond the boundaries of the firms' in-house process capabilities. In this paper, we discuss two contractual agreements by which product recall costs can be shared between a manufacturer and a supplier to induce quality improvement effort. More specifically, we consider (i) cost sharing based on selective root cause analysis (Contract S), and (ii) partial cost sharing based on complete root cause analysis (Contract P). Using insights from supermodular game theory, for each contractual agreement, we characterize the levels of effort the manufacturer and the supplier would exert in equilibrium to improve their component failure rate when their effort choices are subject to moral hazard. We show that both Contract S and Contract P can achieve the first best effort levels; however, Contract S results in higher profits for the manufacturer and the supply chain. For the case in which the information about the quality of the supplier's product is not revealed to the manufacturer (i.e., the case of information asymmetry), we develop a menu of contracts that can be used to mitigate the impact of information asymmetry. We show that the menu of contracts not only significantly decreases the manufacturer's cost due to information asymmetry, but also improves product quality.
Existence and Stability of Periodic Solutions for BAM Neural Networks with Time-Varying Delays and Impulses
Authors: Chunxue Wu, Bao Shi
Venue: Proceedings of the 6th International Symposium on Neural Networks on Advances in Neural Networks (2009)

By using the continuation theorem of Mawhin's coincidence degree theory, some new sufficient conditions are obtained for the existence and stability of periodic solution of BAM neural networks with variable delays and impulses, and without requirement of the boundedness of the activation functions.
Evolving Participation in Educational Technology Communities of Practice
Authors: Kathy Nolan, Mhairi (Vi) Maeers, David Friesen, Alec Couros
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

This paper explores research with faculty members engaged in playing with iBook technology; playing which occurs in a risk-free, supportive, enabling environment. These instructors are exploring new technologies in order to use them more effectively in their classrooms. As they learn with and from each other, and as they apply their new learning in their teaching, risk-free communities of practice emerge. The concept of play and playful activity as a part of authentic learning is emerging as a solid core of this research.
High performance stochastic simulation methods for chemically reacting systems
Authors: Linda Petzold
Venue:  (2008)

In biological systems formed by living cells, the small populations of some reactant species can result in dynamical behavior which cannot be captured by the traditional deterministic approaches. In that case, a more accurate simulation can be obtained by using the machinery of Markov process theory, specifically the Stochastic Simulation Algorithm (SSA). For realistic biochemical systems, the simulation with SSA carries an extremely high computational cost. Due to the central role that stochastic simulation plays in many fields such as system biology, ecology and materials, the development of high performance discrete stochastic simulation methods for chemically reacting systems has become an active research area in computational biology.This thesis addresses the computational demands of the SSA in two different, but complementary ways: faster algorithms and efficient use of high performance computing architectures. We explored the speed potential of high-performance SSA simulation first on clusters of workstations, and then on a General Purpose Graphics Processing Unit, which yielded a tremendous performance improvement that was demonstrated on a number of applications including biochemical simulations and a fish schooling model. Finally, we briefly introduce the stochastic simulation toolkit STOCHKIT, in which we played a leading role on the team, which aims to make the latest simulation technology accessible to systems biologists.
A solution to dynamic administration users in web application for assisted testing
Authors: Andy Stefanescu, Laura Stefanescu
Venue: Proceedings of the 2nd conference on European computing conference (2008)

The present paper has tried to expose, some theoretical and practical issues regarding the methodology of implementation an application what improvement the didactic evaluation. The computer-assisted testing presupposes the utilization computer systems and another associate technologist with intention of substantial decrease spent times of to teacher for testing and evaluating, the elimination errors of correction and why not, without subjective interpretations. Any dynamic application must let assures a solution for access to database, as much in the sense to query them, but and for the solution transactions which assure the usual operations to keep.
On multivariate projection operators
Authors: L. Szili, P. Vértesi
Venue: Journal of Approximation Theory (2009)

This paper deals with multivariate Fourier series considering triangular type partial sums. Among others we give the exact order of the corresponding operator norm. Moreover, a generalization of the so-called Faber-Marcinkiewicz-Berman theorem has been proved.
Evaluating outdoor play for children: virtual vs. tangible game objects in pervasive games
Authors: Iris Soute, Maurits Kaptein, Panos Markopoulos
Venue: Proceedings of the 8th International Conference on Interaction Design and Children (2009)

In this paper we report a case study where two versions of the same outdoor pervasive game were compared: one featuring a virtual game object and the other with a tangible representation of it. Our aim was to explore the effect on social interaction and physical activity; two characteristics of Head-Up Games. Based on evaluation with 27 children we can conclude that both approaches support Head-Up Games well, and offer different design opportunities that should be explored further.
A generational genetic algorithm with dynamic population size
Authors: Kehao Zhang
Venue: Proceedings of the 47th Annual Southeast Regional Conference (2009)

In this paper, a Generational Genetic Algorithm with Dynamic Population Size (GGAWD) is proposed. This algorithm and other Genetic Algorithms (GAs) are applied to F6* and F7* functions in order to find which algorithm is the best. The same evaluation times and runs are used to compare the effectiveness of the algorithms. For each algorithm, a wide range of parameters have been selected to find out which combinations give the best performance.
Resilient actors: a runtime partitioning model for pervasive computing services
Authors: Engineer Bainomugisha, Jorge Vallejos, Éric Tanter, Elisa Gonzalez Boix, Pascal Costanza, Wolfgang De Meuter, Theo D'Hondt
Venue: Proceedings of the 2009 international conference on Pervasive services (2009)

In pervasive computing, software applications vanish into the user's environment spreading their functionality to computers integrated into everyday devices. With the current state-of-the-art software tools, these characteristics put a great burden on programmers who have to enable the applications to dynamically partition across multiple devices, and to adapt such partitioning to frequent context changes such as network failures. This paper explores service partitioning techniques for development of pervasive computing applications. We propose a resilient actor model to structurally add service partitioning property to the pervasive applications. The service partitioning realised using resilient actor model happens at runtime, is user guided and the resulting partitioned application is retractable, and resilient to network failures.
InfoSecurity 2008 Threat Analysis
Authors: Craig Schiller, Seth Fogie, Colby DeRodeff, Michael Gregg
Venue:  (2007)

An all-star cast of authors analyze the top IT security threats for 2008 as selected by the editors and readers of Infosecurity Magazine. This book, compiled from the Syngress Security Library, is an essential reference for any IT professional managing enterprise security. It serves as an early warning system, allowing readers to assess vulnerabilities, design protection schemes and plan for disaster recovery should an attack occur. Topics include Botnets, Cross Site Scripting Attacks, Social Engineering, Physical and Logical Convergence, Payment Card Industry (PCI) Data Security Standards (DSS), Voice over IP (VoIP), and Asterisk Hacking. Each threat is fully defined, likely vulnerabilities are identified, and detection and prevention strategies are considered. Wherever possible, real-world examples are used to illustrate the threats and tools for specific solutions. * Provides IT Security Professionals with a first look at likely new threats to their enterprise * Includes real-world examples of system intrusions and compromised data * Provides techniques and strategies to detect, prevent, and recover * Includes coverage of PCI, VoIP, XSS, Asterisk, Social Engineering, Botnets, and Convergence
Injecting Dynamic Real-Time Data into a DDDAS for Forest Fire Behavior Prediction
Authors: Roque Rodríguez, Ana Cortés, Tomás Margalef
Venue: Proceedings of the 9th International Conference on Computational Science (2009)

This work presents a novel idea for forest fire prediction, based on Dynamic Data Driven Application Systems. We developed a system capable of assimilating data at execution time, and conduct simulation according to those measurements. We used a conventional simulator, and created a methodology capable of removing parameter uncertainty. To test this methodology, several experiments were performed based on southern California fires.
Embedded Multiprocessor Systems-on-Chip Programming
Authors: Jean-Yves Mignolet, Roel Wuyts
Venue: IEEE Software (2009)

Multiprocessor system-on-chip (MPSoC) platforms have found their way into embedded systems. The reason is a balanced combination of power efficiency with flexibility, which makes them cost effective compared to dedicated hardware or general-purpose platforms. However they're notoriously difficult to program because it's hard to develop programs that can exploit the parallel resources in such platforms. To help with cost effectively developing efficient code for an MPSoC system, a team of IMEC researchers has developing an MPSoC programming approach supported by a tool chain that enables the mapping of a single application on multiple cores. The tool chain consists of a tool that cleans C code so that it can be analyzed more efficiently, mapping tools that can manage memory hierarchies and generate source code for parallel threads, and a runtime library that abstracts the underlying hardware.
Linearizing control of the asynchronous motor with an interconnected observers for a special class of nonlinear systems
Authors: Chouya Ahmed
Venue: Proceedings of the 13th WSEAS international conference on Applied mathematics (2008)

This article presents a study by simulation with the software MATLAB/SIMULINK linearizing control input-output of a synchronous motor interconnected to two observers state of a special class of the nonlinear systems. Indeed, the gain of this observer (two observers of state of a special class of the non-linear systems) does not require the resolution of any dynamic system, it is given analytically. The results of simulation obtained prove that the presence of this observer makes it possible to ensure a better control of the behavior of the actuator in spite of the absence the flux and velocity pick-ups.
THESPIAN: An Architecture for Interactive Pedagogical Drama
Authors: Mei Si, Stacy C. Marsella, David V. Pynadath
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

Interactive drama is increasingly being used as a pedagogical tool in a wide variety of computer-based learning environments. However, the effort required to build interactive dramas is quite significant. We built Thespian, an architecture that supports faster development of IPDs, open-ended interaction, encoding of pedagogical goals and quantitative metrics for evaluating those goals. Thespian uses autonomous agents to control each character and assumes that the starting point for the design process is a set of standard scripts. A “fitting” algorithm facilitates the design process by automatically adjusting the goals of the agents so that the agents perform their roles according to the scripts. This also ensures the agents will behave true to their character's motivations even when the interactive drama deviates from the scripts. In this paper, we discuss this basic approach in detail and illustrate its application to the Tactical Language Training System.
Adjective Sense Disambiguation at the Border Between Unsupervised and Knowledge-Based Techniques
Authors: Florentina Hristea, Marius Popescu
Venue: Fundamenta Informaticae (2009)

The present paper extends a new word sense disambiguation method [9] to the case of adjectives. The method lies at the border between unsupervised and knowledge-based techniques. It performs unsupervised word sense disambiguation based on an underlying Na&iuml;ve Bayes model, while using WordNet as knowledge source for feature selection. The proposed extension of the disambiguation method makes ample use of the WordNet semantic relations that are typical of adjectives. Its performance is compared to that of previous approaches that rely on completely different feature sets. Test results show that feature selection using a knowledge source of type WordNet is more effective in the disambiguation of adjective senses than local type features (like part-of-speech tags) are.
Modelling of fiber metal laminate (FML) composite under block loading using the stiffness degradation model
Authors: S. Abdullah, A. Fahruddin, S. Junaidy, M. Z. Omar, M. Z. Nuawi
Venue: Proceedings of the 7th WSEAS international conference on System science and simulation in engineering (2008)

Most of the experimental fatigue tests were performed under constant amplitude loading. However, this type of loading is hardly present in an actual condition, for which the presence of variable amplitude loading or spectrum loading is seems vital. To present the effect of variable amplitude loading with respect to the fatigue failure of composite-based materials, thus, it is an idea to perform or to simulate the case using a set of block loading with various amplitude of low-high and high-low sequences. Perhaps, these sequences can be used for simulation and experimental purposes. In this paper, the authors discussed the effect of block loading towards the damage development in Fiber Metal Laminate (FML) composites. The simulation work was performed using the available stiffness degradation model, and the results were validated using the experimental data.