ppxscal/embedding_network huggingface dataset:
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
Authors: Gilles Bernot, Fariza Tahi
Venue: Fundamenta Informaticae (2009)

The main contribution of this work is a mathematical theorem which establishes a necessary and sufficient condition to preserve the behaviour of a genetic regulatory network when it is embedded into a larger network. We adopt the modelling approach of Ren&eacute; Thomas, which provides a discrete representation of biological regulatory networks. This framework is entirely formalized using labelled graphs with semantics defined in terms of state graphs with transitions. Our theorem offers the possibility to automatically verify whether a subnetwork has autonomous behaviour. It will allow biologists to better identify relevant sets of genes which should be studied together.
Forging New Frontiers: Fuzzy Pioneers I, 1st edition
Authors: Masoud Nikravesh, Janusz Kacprzyk, Lotfi A. Zadeh
Venue: Studies In Fuzziness And Soft Computing (2007)

The 2005 BISC International Special Event-BISCSE 05 'FORGING THE FRONTIER' was held in the University of California, Berkeley, WHERE FUZZY LOGIC BEGAN, from November 3 through 6, 2005. The successful applications of fuzzy logic and it s rapid growth suggest that the impact of fuzzy logic will be felt increasingly in coming years. Fuzzy logic is likely to play an especially important role in science and engineering, but eventually its influence may extend much farther. In many ways, fuzzy logic represents a significant paradigm shift in the aims of computing - a shift which reflects the fact that the human mind, unlike present day computers, possesses a remarkable ability to store and process information which is pervasively imprecise, uncertain and lacking in categoricity. The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two books. The papers include reports from the different front of soft computing in various industries and address the problems of different fields of research in fuzzy logic, fuzzy set and soft computing. The book provides a collection of forty four (44) articles in two volumes.
Multi-user OFDMA Frame Aggregation for Future Wireless Local Area Networking
Authors: James Gross, Oscar Puñal, Marc Emmelmann
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

State-of-the-art wireless local area networking enables frame aggregation as approach to increase MAC efficiency. However, frame aggregation is limited to the aggregation of packets destined for the same station. In order to serve different stations, the access point still has to contend for the channel multiple times. In this paper we propose and evaluate a novel approach that enables multi-user frame aggregation. We combine this concept with channel-dependent OFDMA resource assignments, yielding a higher PHY efficiency (by exploiting multi-user diversity and instantaneous channel state information) as well as a higher MAC efficiency. The downside to this approach is the increase in protocol overhead to enable such multi-user OFDMA frame aggregation. However, we show that the proposed approach outperforms state-of-the-art 802.11n for different packet sizes and stations to be served.
On exact exponential stability assignment of retarded delay systems via static output-feedback controllers
Authors: Zhan Shu, James Lam
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

This paper addresses the static output-feedback (SOF) exponential stabilization problem of retarded delay systems with a specification on the decay rate and decay coefficient. A novel Lyapunov-Krasovskii functional equipped with appropriate exponential terms is provided to establish a new condition for exponential stability. Based on this and an augmentation technique, a necessary and sufficient condition for quadratic SOF exact exponential stabilizability is proposed. An efficient iteration algorithm is then given to solve the proposed condition. Using the proposed approach, no structural constraints are imposed on the slack matrices when the controller matrix is parameterized, and the obtained controller not only stabilizes the original system but also guarantees that the closed-loop system possess desirable transient properties. Numerical examples are used to show the effectiveness of the theoretical results.
Multigraphs with &#x0394;&#x00a0;&#x2265; 3 are Totally-(2&#x0394;&#x2212;1)-Choosable
Authors: Daniel W. Cranston
Venue: Graphs and Combinatorics (2009)

The total graph T(G) of a multigraph G has as its vertices the set of edges and vertices of G and has an edge between two vertices if their corresponding elements are either adjacent or incident in G. We show that if G has maximum degree &#x0394;(G), then T(G) is (2&#x0394;(G)&#x00a0;&#x2212;&#x00a0;1)-choosable. We give a linear-time algorithm that produces such a coloring. The best previous general upper bound for &#x0394;(G) > 3 was $$\lfloor{\frac{3}{2}\Delta(G)+2 \rfloor}$$, by Borodin et al. When &#x0394;(G)&#x00a0;=&#x00a0;4, our algorithm gives a better upper bound. When &#x0394;(G)&#x2208;{3,5,6}, our algorithm matches the best known bound. However, because our algorithm is significantly simpler, it runs in linear time (unlike the algorithm of Borodin et al.).
A direct matrix method for computing analytical Jacobians of discretized nonlinear integro-differential equations
Authors: Kevin T. Chu
Venue: Journal of Computational Physics (2009)

In this article, we present a simple direct matrix method for analytically computing the Jacobian of nonlinear algebraic equations that arise from the discretization of nonlinear integro-differential equations. The method is based on a formulation of the discretized equations in vector form using only matrix-vector products and component-wise operations. By applying simple matrix-based differentiation rules, the matrix form of the analytical Jacobian can be calculated with little more difficulty than required to compute derivatives in single-variable calculus. After describing the direct matrix method, we present numerical experiments demonstrating the computational performance of the method, discuss its connection to the Newton-Kantorovich method and apply it to illustrative 1D and 2D example problems from electrochemical transport.
Energy Adaptive Sensor Scheduling for Noisy Sensor Measurements
Authors: Suhinthan Maheswararajah, Siddeswara Mayura Guru, Yanfeng Shu, Saman Halgamuge
Venue: Proceedings of the 5th IEEE International Conference on Distributed Computing in Sensor Systems (2009)

In wireless sensor network applications, sensor measurements are corrupted by noises resulting from harsh environmental conditions, hardware and transmission errors. Minimising the impact of noise in an energy constrained sensor network is a challenging task. We study the problem of estimating environmental phenomena (e.g., temperature, humidity, pressure) based on noisy sensor measurements to minimise the estimation error. An environmental phenomenon is modeled using linear Gaussian dynamics and the Kalman filtering technique is used for the estimation. At each time step, a group of sensors is scheduled to transmit data to the base station to minimise the total estimated error for a given energy budget. The sensor scheduling problem is solved by dynamic programming and one-step-look-ahead methods. Simulation results are presented to evaluate the performance of both methods. The dynamic programming method produced better results with higher computational cost than the one-step-look-ahead method.
Efficient algorithms for descendant-only tree pattern queries
Authors: Michaela Götz, Christoph Koch, Wim Martens
Venue: Information Systems (2009)

Tree pattern matching is a fundamental problem that has a wide range of applications in Web data management, XML processing, and selective data dissemination. In this paper we develop efficient algorithms for the tree homeomorphism problem, i.e., the problem of matching a tree pattern with exclusively transitive (descendant) edges. We first prove that deciding whether there is a tree homeomorphism is LOGSPACE-complete, improving on the current LOGCFL upper bound. Furthermore, we develop a practical algorithm for the tree homeomorphism decision problem that is both space- and time-efficient. The algorithm is in LOGDCFL and space consumption is strongly bounded, while the running time is linear in the size of the data tree. This algorithm immediately generalizes to the problem of matching the tree pattern against all subtrees of the data tree, preserving the mentioned efficiency properties.
A Programmable Memory Hierarchy for Prefetching Linked Data Structures
Authors: Chia-Lin Yang, Alvin Lebeck
Venue: Proceedings of the 4th International Symposium on High Performance Computing (2009)

Prefetching is often used to overlap memory latency with computation for array-based applications. However, prefetching for pointer-intensive applications remains a challenge because of the irregular memory access pattern and pointer-chasing problem. In this paper, we use a programmable processor, a prefetch engine (PFE), at each level of the memory hierarchy to cooperatively execute instructions that traverse a linked data structure. Cache blocks accessed by the processors at the L2 and memory levels are proactively pushed up to the CPU.We look at several design issues to support this programmable memory hierarchy. We establish a general interaction scheme among three PFEs and design a mechanism to synchronize the PFE execution with the CPU. Our simulation results show that the proposed prefetching scheme can reduce up to 100% of memory stall time on a suite of pointer-intensive applications, reducing overall execution time by an average 19%.
Malaysian Female Pre-service Teachers Online: Exploring Their Internet Use and Attitudes
Authors: Su Luan Wong, Siew Fung Ng, Sai Hong Tang
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 discusses the Internet use and attitudes of female pre-service teachers with differing levels of Internet experience. This study was conducted at Universiti Putra Malaysia, one of the premier universities in Malaysia and is an analysis of early returns of a large scale study. The study is exploratory in essence and seeks to ascertain the comfort level of female pre-service teachers where the Internet is concerned.
Dynamics of a population model controlling the spread of plague in prairie dogs
Authors: Catalin Georgescu, Dan Van Peursem
Venue: Proceedings of the 15th american conference on Applied mathematics (2009)

The infestation of prairie dog population with the deadly Yersinia Pestis has been recently the object of investigation of numerous biologists due to the potentially high risk of contamination of the human population. In the present paper we construct and analyze a model describing the interaction between the prairie dog population (as the host population) and the flea population (as the vector population) and derive the existence (under certain conditions impose to the main parameter) of an equilibrium that plays the role of a global attractor.
AGV Mind Model and Its Usage for Autonomous Decentralized FMS by Change of Mind
Authors: Hidehiko Yamamoto, Takayoshi Yamada, Shinsuke Kato
Venue: Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (2009)

We propose the mind modeling which is the complicated expression of combinations from the three elements: Unit, Load, Stimulation. The mind changes like the human mind behavior. The Unit has two states that are regular and active which can be changed. The change of Mind is expressed by the change of the Unit. Even if the same situation happens, it takes different actions when the mind is changed. By using the mind model for the autonomous decentralized FMS, it is ascertained that it can reduce the collisions between each AGV.
Staff Detection with Stable Paths
Authors: Jaime dos Santos Cardoso, Artur Capela, Ana Rebelo, Carlos Guedes, Joaquim Pinto da Costa
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2009)

The preservation of musical works produced in the past requires their digitalization and transformation into a machine-readable format. The processing of handwritten musical scores by computers remains far from ideal. One of the fundamental stages to carry out this task is the staff line detection. We investigate a general-purpose, knowledge-free method for the automatic detection of music staff lines based on a stable path approach. Lines affected by curvature, discontinuities, and inclination are robustly detected. Experimental results show that the proposed technique consistently outperforms well-established algorithms.
User-Centered Development of a Visual Exploration System for In-Car Communication
Authors: Michael Sedlmair, Benjamin Kunze, Wolfgang Hintermaier, Andreas Butz
Venue: Proceedings of the 10th International Symposium on Smart Graphics (2009)

Modern premium automobiles are equipped with an increasing number of Electronic Control Units (ECUs). These ECUs are interconnected and form a complex network to provide a wide range of advanced vehicle functionality. Analyzing the flow of messages in this network and tracking down problems has become a major challenge for automotive engineers. By observing their working practices, we found that the tools they currently use are mostly text-based and largely fail to provide correlations among the enormous amount of data. We established requirements for a more appropriate (visual) tool set. We followed a user-centered approach to design several visualizations for in-car communication processes, each with a clear purpose and application scenario. Then we used low-fidelity prototypes to evaluate our ideas and to identify the "working" designs. Based on this selection, we finally implemented a prototype and conducted an expert evaluation which revealed the emergence of a novel mental model for thinking about and discussing in-car communication processes.
Teaching digital library concepts using digital library applications
Authors: Jeffrey Pomerantz, June Abbas, Javed Mostafa
Venue: International Journal on Digital Libraries (2009)

Many digital library topics may be taught using digital library applications, in the context of project-based digital library courses. Several digital library applications exist, and these applications are used as teaching tools to illustrate the functionality of digital libraries as well as the design decisions that go into them. Using digital library applications as teaching tools provides a valuable learning experience for students, and may provide useful feedback to the developers of DL applications. This paper identifies and explores DL topics that may most effectively be taught using DL applications, in the context of project-based DL courses.
Impulse-based rigid body interaction in SPH
Authors: Seungtaik Oh, Younghee Kim, Byung-Seok Roh
Venue: Computer Animation and Virtual Worlds (2009)

A new boundary force is proposed to solve rigid body interaction in SPH (Smoothed Particle Hydrodynamics). The new boundary force is impulse-based rather than potential-based. The impulse is converted to a boundary force with a fundamental observation that the impulse is a momentum change which is a result of a force acting on an object during a time interval. Our new impulse-based boundary force gives more stable and accurate results in all kinds of rigid body interactions, especially in rigid&mdash;rigid interaction since our boundary force faithfully reflects the dynamic features of rigid body. With our impulse-based boundary force, SPH fluid solver is capable of full two way interaction of fluid and rigid body and it turns to be a particle-based rigid body solver if only rigid bodies are simulated without fluid. Copyright &copy; 2009 John Wiley & Sons, Ltd. A new method is presented to solve rigid body interaction in SPH. The new method is impulse-based and it gives more stable and plausible results than the conventional method in fluid-rigid and rigid-rigid interactions. Our SPH solver with this method may be regarded as a particle-based rigid body solver capable of two-way coupling to fluid and rigid body.
In-field healing of integration problems with COTS components
Authors: Herve Chang, Leonardo Mariani, Mauro Pezze
Venue: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009)

Developers frequently integrate complex COTS frameworks and components in software applications. COTS products are often only partially documented, and developers may misuse technologies and introduce integration faults, as witnessed by the many entries in fault repositories. Once identified, common integration problems and their fixes are usually documented in forums and fault repositories on the Web, but this does not prevent them to occur in the field when COTS products are reused.
Presentation Review Supporting Environment with Realtime-Created Hypervideo Technique
Authors: Ryo Okamoto, Akihiro Kashihara
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

The peer review in a presentation rehearsal enables the presenter to be aware of the insufficiency or incompleteness of his/her knowledge and to refine his/her knowledge, presentation materials, and oral expressions. However, it is not so easy for the peers to review the presentation in an instructive way, and it is not easy for the presenter to review the results from the peers to refine his/her knowledge. Our approach to the issues is to utilize realtime-created hypervideo technique for the peer review support. In this paper, we discuss difficulties of the peer review in the presentation rehearsal, and propose the framework of the presentation review environment with realtime-created hypervideo. And also, we describe the prototype system which we have developed based on the framework.
Empirical evaluation of selected best practices in implementation of software process improvement
Authors: Tihana Galinac
Venue: Information and Software Technology (2009)

To be successfully applied in practice, software process improvement (SPI) needs not only identifying what needs to be improved, and which factors will influence its success, but also guidelines on how to implement those improvements and meet the factors. This paper proposes an SPI implementation strategy that has been developed in lines with standard SPI models and frameworks, intended to be suitable for global software development (GSD), and exploiting ideas of incremental deliveries, short iterations with frequent reviews and close collaboration with customers. Quantitative analyses of data from case studies within large GSD show that improvement teams implementing the strategy are more likely to have better progress and achieve better effectiveness in terms of improvement deployment within development teams. The results could be useful to SPI practitioners in making their SPI initiatives more successful.
Agent-based modeling and simulation of network softbots' competition
Authors: Igor Kotenko, Alexander Ulanov
Venue: Proceeding of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering (2006)

The research devoted to design and implementation of new knowledge-based methods and tools for verification and validation of complex software systems is now an important direction of scientific investigations. The paper describes the approach and software environment developed for agent-based modeling and simulation of defense against coordinated distributed attacks in the Internet. According to this approach, the cybernetic opposition of malefactors and defense systems in the Internet is represented by competition of antagonistic softbots' teams. The possibility of the approach application is analyzed by testing the defense mechanisms against Distribute Denial of Service attacks.
Internet-based Framework for Empowering Social Change- An Application of the Principles and Methodologies of Human Systems Design
Authors: Doug Walton
Venue:  (2007)

The initially much-lauded vision of the Internet as a means of returning political power to the citizens, engaging public deliberation, and improving civil rights worldwide has, over the past 15 years, produced lackluster results and has been subject to considerable criticism. Still, the hope for a socially conscious, egalitarian solution remains. A major impediment is that the challenge is exceedingly complex, involving many disciplines that conceptualize the issue in disparate terms. The text explores the principles and methdologies of human systems design to create a comprehensive, transdisciplinary framework for technologically enhancing the the structures of web-based public discourse. This book thus offers a coherent image of how large-scale public dialogue in modern global society can be conducted in a way that will mitigate and counterbalance the machinations of governmental and societal power and enable the public will to operate in a manner consistent with democratic theory. This image offers change agents a guiding design for integrating emerging web 2.0 solutions, many of which are free or low cost, into a powerful platform for scaling societal change. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Concurrent Engineering --past, present and future
Authors: P. M. Wognum, R. Curran, P. Ghodous, R. Goncalves, A. Lloyd, R. Roy
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

Concurrent Engineering received much attention all over the world in the past two decades. The concept comprises integration of technology, but also of various functional areas within and between organisations with a strong focus on enterprise-wide processes. In addition, new forms of business have emerged, due to new technological developments. In the literature, much emphasis has been given to such new technological development, but the importance of applied research is increasingly being recognized. The concept of Concurrent Engineering has strongly developed over the years and has been given many different names. In the ISPE lecture to be presented at the conference, the development of the concept will be addressed, as demonstrated through the work published in the many proceedings of the CE conference. Various areas for current and future research and application will be presented, and reference made to the future relevance of concurrent engineering as a discipline.
Distributed coordinate-free algorithm for full sensing coverage
Authors: Xiaoyun Li, David K. Hunter
Venue: International Journal of Sensor Networks (2009)

This paper shows how a distributed algorithm, derived and justified through computational geometry, can detect and recover holes in the coverage provided by wireless sensor networks. Computational geometry is used to define conditions for the existence of holes in sensor coverage and based on these conditions, it is used to generate new distributed algorithms to detect and recover coverage holes. The algorithm does not require coordinates or location information and requires only minimal connectivity information. Most holes can be detected with very low probability of error and simulation results suggest that redundant nodes are selected efficiently for activation when recovering the hole. Unlike existing proposals, the complexity of the algorithms described here does not depend on the overall size of the network and they do not require flooding, with its associated high level of traffic.