Community discovery using nonnegative matrix factorization

Complex networks exist in a wide range of real world systems, such as social networks, technological networks, and biological networks. During the last decades, many researchers have concentrated on exploring some common things contained in those large networks include the small-world property, power-law degree distributions, and network connectivity. In this paper, we will investigate another important issue, community discovery, in network analysis. We choose Nonnegative Matrix Factorization (NMF) as our tool to find the communities because of its powerful interpretability and close relationship between clustering methods. Targeting different types of networks (undirected, directed and compound), we propose three NMF techniques (Symmetric NMF, Asymmetric NMF and Joint NMF). The correctness and convergence properties of those algorithms are also studied. Finally the experiments on real world networks are presented to show the effectiveness of the proposed methods.     

Experimental test of a robust formation controller for marine unmanned surface vessels

Experiments with two formation controllers for marine unmanned surface vessels are reported. The formation controllers are designed using the nonlinear robust model-based sliding mode approach. The marine vehicles can operate in arbitrary formation configurations by using two leader-follower control schemes. For the design of these controller schemes 3 degrees of freedom (DOFs) of surge, sway, and yaw are assumed in the planar motion of the marine surface vessels. Each vessel only has two actuators; therefore, the vessels are underactuated and the lack of a kinematic constraint puts them into the holonomic system category. In this work, the position of a control point on the vessel is controlled, and the orientation dynamics is not directly controlled. Therefore, there is a potential for an oscillatory yaw motion to occur. It is shown that the orientation dynamics, as the internal dynamics of this underactuated system, is stable, i.e., the follower vehicle does not oscillate about its control point during the formation maneuvers. The proposed formation controller relies only on the state information obtained from the immediate neighbors of the vessel and the vessel itself. The effectiveness and robustness of formation control laws in the presence of parameter uncertainty and environmental disturbances are demonstrated by using both simulations and field experiments. The experiments were performed in a natural environment on a lake using a small test boat, and show robust performance to parameter uncertainty and disturbance. This paper reports the first experimental verification of the above mentioned approach, whose unique features are the use of a control point, the zero-dynamic stability analysis, the use of leader-follower method and a nonlinear robust control approach.     

Monte Carlo techniques for phrase-based translation

Recent advances in statistical machine translation have used approximate beam search for NP-complete inference within probabilistic translation models. We present an alternative approach of sampling from the posterior distribution defined by a translation model. We define a novel Gibbs sampler for sampling translations given a source sentence and show that it effectively explores this posterior distribution. In doing so we overcome the limitations of heuristic beam search and obtain theoretically sound solutions to inference problems such as finding the maximum probability translation and minimum risk training and decoding.     

Fluid Simulation with Articulated Bodies

We present an algorithm for creating realistic animations of characters that are swimming through fluids. Our approach combines dynamic simulation with data-driven kinematic motions (motion capture data) to produce realistic animation in a fluid. The interaction of the articulated body with the fluid is performed by incorporating joint constraints with rigid animation and by extending a solid/fluid coupling method to handle articulated chains. Our solver takes as input the current state of the simulation and calculates the angular and linear accelerations of the connected bodies needed to match a particular motion sequence for the articulated body. These accelerations are used to estimate the forces and torques that are then applied to each joint. Based on this approach, we demonstrate simulated swimming results for a variety of different strokes, including crawl, backstroke, breaststroke, and butterfly. The ability to have articulated bodies interact with fluids also allows us to generate simulations of simple water creatures that are driven by simple controllers.     

Systems modelling for effective mine water management

Concerns about the difficulties in securing water have led the Australian coal mining industry to seek innovative ways to improve its water management and to adopt novel strategies that will lead to less water being used and more water being reused. Simulation tools are essential to assess current water management performance and to predict the efficiency of potential strategies. As water systems on coal mines are complex and consist of various inter-connected elements, a systems approach was selected, which views mine site water management as a system that obtains water from various sources (surface, groundwater), provides sufficient water of suitable quality to the mining tasks (coal beneficiation, dust suppression, underground operations) and maintains environmental performance. In this paper, the model is described and its calibration is illustrated. The results of applying the model for the comparison of the water balances of 7 coal mines in the northern Bowen Basin (Queensland, Australia) are presented. The model is used to assess the impact of applying specific water management strategies. Results show that a simple systems model is an appropriate tool for assessing site performance, for providing guidance to improve performance through strategic planning, and for guiding adoption of site objectives.     

Creating non-minimal triangulations for use in inference in mixed stochastic/deterministic graphical models

We demonstrate that certain large-clique graph triangulations can be useful for reducing computational requirements when making queries on mixed stochastic/deterministic graphical models. This is counter to the conventional wisdom that triangulations that minimize clique size are always most desirable for use in computing queries on graphical models. Many of these large-clique triangulations are non-minimal and are thus unattainable via the popular elimination algorithm. We introduce ancestral pairs as the basis for novel triangulation heuristics and prove that no more than the addition of edges between ancestral pairs needs to be considered when searching for state space optimal triangulations in such graphs. Empirical results on random and real world graphs are given. We also present an algorithm and correctness proof for determining if a triangulation can be obtained via elimination, and we show that the decision problem associated with finding optimal state space triangulations in this mixed setting is NP-complete.     

Trading Off Cache Capacity for Low-Voltage Operation

Two proposed techniques let microprocessors operate at low voltages despite high memory-cell failure rates. They identify and disable defective portions of the cache at two granularities: individual words or pairs of bits. Both techniques use the entire cache during high-voltage operation while sacrificing cache capacity during low-voltage operation to reduce the minimum voltage below 500 mV.     

An investigation of multiphase CFD modelling of a lateral sloshing tank

A near-resonant, sway-induced sloshing flow in a rectangular tank is used to compare a homogeneous and inhomogeneous multiphase approach for fluid density and viscosity in a commercial CFD code. Dimensional analysis of the relative motion between the phases suggests the application of an inhomogeneous multiphase model whereas previous published work has used the computationally cheaper homogeneous (or average property) approach. The comparison between the computational and experimental results shows that the homogeneous model tends to underestimate the experimental peak pressures by up to 50%. The inhomogeneous multiphase model gives good agreement with the experimental pressure data. Examination of the relative velocity at the fluid interface confirms that the inhomogeneous model is the appropriate model to use for the simulation of a violent sloshing flow.