15940423
k-Path Partitions in Trees
For a fixed positive integer k, the k-path partition problem is to partition the vertex set of a graph into the smallest number of paths such that each path has at most k vertices. The 2-path partition problem is equivalent to the edge-cover problem. This paper presents a linear-time algorithm for the k-path partition problem in trees. The algorithm is applicable to the problem of finding the minimum number of message originators necessary to broadcast a message to all vertices in a tree network in one or two time units.
36905463
Quasi-threshold Graphs
Abstract Quasi-threshold graphs are defined recursively by the following rules: 1. (1) K1 is a quasi-threshold graph, 2. (2) adding a new vertex adjacent to all vertices of a quasi-threshold graph results in a quasi-threshold graph, 3. (3) the disjoint union of two quasi-threshold graphs is a quasi-threshold graph. This paper gives some new equivalent definitions of a quasi-threshold graph. From them, linear time recognition algorithms follow. We also give linear time algorithms for the edge domination problem and the bandwidth problem in this class of graphs.
16598523
Algorithmic Aspects of the Generalized Clique-transversal Problem on Chordal Graphs
Suppose G = (V, E) is a graph in which each maximal clique Ci is associated with an integer ri, where 0 ⩽ ri ⩽ ¦Ci¦. The generalized clique transversal problem is to determine the minimum cardinality of a subset D of V such that ¦D ∩ Ci¦ ⩾ ri for every maximal clique Ci of G. The problem includes the clique-transversal problem, the i, 1 clique-cover problem, and for perfect graphs, the maximum q-colorable subgraph problems as special cases. This paper gives complexity results for the problem on subclasses of chordal graphs, e.g., strongly chordal graphs, k-trees, split graphs, and undirected path graphs.
6655534
Wing transmission for a micromechanical flying insect
Flapping wings provide unmatched manoeuvrability for flying microrobots. Recent advances in modelling insect aerodynamics show that adequate wing rotation at the end of the stroke is essential for generating adequate flight forces. We developed a thorax structure using four bar frames combined with an extensible fan-fold wing to provide adequate wing stroke and rotation. Flow measurements on a scale model of the beating wing show promising aerodynamics. Calculations using a simple resonant mechanical circuit model show that piezoelectric actuators can generate sufficient power, force and stroke to drive the wings at 150 Hz.
4914234
SwinDeW-S: extending P2P workflow systems for adaptive composite Web services
SwinDeW, an innovative decentralised workflow management system, has established an underlying framework for peer-to-peer (P2P) based business process coordination environments. SwinDeW-S extends SwinDeW to support adaptive composite service orchestration in the era of service-oriented computing. This paper comprehensively presents features of SwinDeW-S, including the P2P network establishment, the messaging mechanism, the service deployment and enactment, the service discovery and advertisement, and the service flow execution. The prototypical extension of SwinDeW to SwinDeW-S and the advantages of SwinDeW-S are also examined and analysed. With the innovative integration of service and P2P-based enterprise application techniques, SwinDeW-S can support composite service orchestration, deployment and execution.
4917474
Effective Visualisation of Workflow Enactment
Although most existing teamwork management systems support user-friendly interface to some extent, few of them have take into consideration of the special requirements of workflow visualisation. This paper realises the unique features of visualisation for run-time workflow, i.e., workflow enactment and execution. We present a detailed discussion of the emerging problems against the general aesthetic criteria for drawing the workflow layout. In order to support most essential workflow enactment facilities, the following three mechanisms are provided. Firstly, Sugiyama algorithm has been systematically incorporated into our prototype to create well structured workflow layout initially. Secondly, when the workflow process dynamically changes, we can adjust workflow layout by our force-scan algorithm to retain the mental maps created earlier among team members. Thirdly, we have also applied the technique of the fisheye view to offer a context focus mechanism for workflow users and to utilise the screen size more effectively. With these visualisation techniques, a better atmosphere may be facilitated for teamwork.
206485325
Password memorability and security: empirical results
Users rarely choose passwords that are both hard to guess and easy to remember. To determine how to help users choose good passwords, the authors performed a controlled trial of the effects of giving users different kinds of advice. Some of their results challenge the established wisdom.
4689080
Local Discontinuous Galerkin Methods for Partial Differential Equations with Higher Order Derivatives
In this paper we review the existing and develop new local discontinuous Galerkin methods for solving time dependent partial differential equations with higher order derivatives in one and multiple space dimensions. We review local discontinuous Galerkin methods for convection diffusion equations involving second derivatives and for KdV type equations involving third derivatives. We then develop new local discontinuous Galerkin methods for the time dependent bi-harmonic type equations involving fourth derivatives, and partial differential equations involving fifth derivatives. For these new methods we present correct interface numerical fluxes and prove L2 stability for general nonlinear problems. Preliminary numerical examples are shown to illustrate these methods. Finally, we present new results on a post-processing technique, originally designed for methods with good negative-order error estimates, on the local discontinuous Galerkin methods applied to equations with higher derivatives. Numerical experiments show that this technique works as well for the new higher derivative cases, in effectively doubling the rate of convergence with negligible additional computational cost, for linear as well as some nonlinear problems, with a local uniform mesh.