Phase Bubbles and Spatiotemporal Chaos in Granular Patterns

We use inelastic hard sphere molecular dynamics simulations and laboratory experiments to study patterns in vertically oscillated granular layers. The simulations and experiments reveal that {\em phase bubbles} spontaneously nucleate in the patterns when the container acceleration amplitude exceeds a critical value, about $7g$, where the pattern is approximately hexagonal, oscillating at one-fourth the driving frequency ($f/4$). A phase bubble is a localized region that oscillates with a phase opposite (differing by $\pi$) to that of the surrounding pattern; a localized phase shift is often called an {\em arching} in studies of two-dimensional systems. The simulations show that the formation of phase bubbles is triggered by undulation at the bottom of the layer on a large length scale compared to the wavelength of the pattern. Once formed, a phase bubble shrinks as if it had a surface tension, and disappears in tens to hundreds of cycles. We find that there is an oscillatory momentum transfer across a kink, and this shrinking is caused by a net collisional momentum inward across the boundary enclosing the bubble. At increasing acceleration amplitudes, the patterns evolve into randomly moving labyrinthian kinks (spatiotemporal chaos). We observe in the simulations that $f/3$ and $f/6$ subharmonic patterns emerge as primary instabilities, but that they are unstable to the undulation of the layer. Our experiments confirm the existence of transient $f/3$ and $f/6$ patterns.Comment: 6 pages, 12 figures, submitted to Phys. Rev. E on July 1st, 2001. for better quality figures, visit http://chaos.ph.utexas.edu/research/moo

Mutator Dynamics on a Smooth Evolutionary Landscape

We investigate a model of evolutionary dynamics on a smooth landscape which features a ``mutator'' allele whose effect is to increase the mutation rate. We show that the expected proportion of mutators far from equilibrium, when the fitness is steadily increasing in time, is governed solely by the transition rates into and out of the mutator state. This results is a much faster rate of fitness increase than would be the case without the mutator allele. Near the fitness equilibrium, however, the mutators are severely suppressed, due to the detrimental effects of a large mutation rate near the fitness maximum. We discuss the results of a recent experiment on natural selection of E. coli in the light of our model.Comment: 4 pages, 3 figure

On the Complexity of Case-Based Planning

We analyze the computational complexity of problems related to case-based planning: planning when a plan for a similar instance is known, and planning from a library of plans. We prove that planning from a single case has the same complexity than generative planning (i.e., planning "from scratch"); using an extended definition of cases, complexity is reduced if the domain stored in the case is similar to the one to search plans for. Planning from a library of cases is shown to have the same complexity. In both cases, the complexity of planning remains, in the worst case, PSPACE-complete

The Complex Ginzburg-Landau Equation in the Presence of Walls and Corners

We investigate the influence of walls and corners (with Dirichlet and Neumann boundary conditions) in the evolution of twodimensional autooscillating fields described by the complex Ginzburg-Landau equation. Analytical solutions are found, and arguments provided, to show that Dirichlet walls introduce strong selection mechanisms for the wave pattern. Corners between walls provide additional synchronization mechanisms and associated selection criteria. The numerical results fit well with the theoretical predictions in the parameter range studied.Comment: 10 pages, 9 figures; for related work visit http://www.nbi.dk/~martine

Influence of through-flow on linear pattern formation properties in binary mixture convection

We investigate how a horizontal plane Poiseuille shear flow changes linear convection properties in binary fluid layers heated from below. The full linear field equations are solved with a shooting method for realistic top and bottom boundary conditions. Through-flow induced changes of the bifurcation thresholds (stability boundaries) for different types of convective solutions are deter- mined in the control parameter space spanned by Rayleigh number, Soret coupling (positive as well as negative), and through-flow Reynolds number. We elucidate the through-flow induced lifting of the Hopf symmetry degeneracy of left and right traveling waves in mixtures with negative Soret coupling. Finally we determine with a saddle point analysis of the complex dispersion relation of the field equations over the complex wave number plane the borders between absolute and convective instabilities for different types of perturbations in comparison with the appropriate Ginzburg-Landau amplitude equation approximation. PACS:47.20.-k,47.20.Bp, 47.15.-x,47.54.+rComment: 19 pages, 15 Postscript figure

Is Context-aware Reasoning = Case-based Reasoning?

The purpose of this paper is to explore the similarities and differences and then argue for the potential synergies between two methodologies, namely Context-aware Reasoning and Case-based Reasoning, that are amongst the tools which can be used for intelligent environment (IE) system development. Through a case study supported by a review of the literature, we argue that context awareness and case based reasoning are not equal and are complementary methodologies to solve a domain specific problem, rather, the IE development paradigm must build a cooperation between these two approaches to overcome the individual drawbacks and to maximise the success of the IE systems

Pattern selection as a nonlinear eigenvalue problem

A unique pattern selection in the absolutely unstable regime of driven, nonlinear, open-flow systems is reviewed. It has recently been found in numerical simulations of propagating vortex structures occuring in Taylor-Couette and Rayleigh-Benard systems subject to an externally imposed through-flow. Unlike the stationary patterns in systems without through-flow the spatiotemporal structures of propagating vortices are independent of parameter history, initial conditions, and system length. They do, however, depend on the boundary conditions in addition to the driving rate and the through-flow rate. Our analysis of the Ginzburg-Landau amplitude equation elucidates how the pattern selection can be described by a nonlinear eigenvalue problem with the frequency being the eigenvalue. Approaching the border between absolute and convective instability the eigenvalue problem becomes effectively linear and the selection mechanism approaches that of linear front propagation. PACS: 47.54.+r,47.20.Ky,47.32.-y,47.20.FtComment: 18 pages in Postsript format including 5 figures, to appear in: Lecture Notes in Physics, "Nonlinear Physics of Complex Sytems -- Current Status and Future Trends", Eds. J. Parisi, S. C. Mueller, and W. Zimmermann (Springer, Berlin, 1996

Pattern selection in the absolutely unstable regime as a nonlinear eigenvalue problem: Taylor vortices in axial flow

A unique pattern selection in the absolutely unstable regime of a driven, nonlinear, open-flow system is analyzed: The spatiotemporal structures of rotationally symmetric vortices that propagate downstream in the annulus of the rotating Taylor-Couette system due to an externally imposed axial through-flow are investigated for two different axial boundary conditions at the in- and outlet. Unlike the stationary patterns in systems without through-flow the spatiotemporal structures of propagating vortices are independent of parameter history, initial conditions, and system's length. They do, however, depend on the axial boundary conditions, the driving rate of the inner cylinder and the through-flow rate. Our analysis of the amplitude equation shows that the pattern selection can be described by a nonlinear eigenvalue problem with the frequency being the eigenvalue. Approaching the border between absolute and convective instability the eigenvalue problem becomes effectively linear and the selection mechanism approaches that one of linear front propagation. PACS:47.54.+r,47.20.Ky,47.32.-y,47.20.FtComment: 15 pages (LateX-file), 8 figures (Postscript

Online dispute resolution: an artificial intelligence perspective

Litigation in court is still the main dispute resolution mode. However, given the amount and characteristics of the new disputes, mostly arising out of electronic contracting, courts are becoming slower and outdated. Online Dispute Resolution (ODR) recently emerged as a set of tools and techniques, supported by technology, aimed at facilitating conflict resolution. In this paper we present a critical evaluation on the use of Artificial Intelligence (AI) based techniques in ODR. In order to fulfill this goal, we analyze a set of commercial providers (in this case twenty four) and some research projects (in this circumstance six). Supported by the results so far achieved, a new approach to deal with the problem of ODR is proposed, in which we take on some of the problems identified in the current state of the art in linking ODR and AI.The work described in this paper is included in TIARAC - Telematics and Artificial Intelligence in Alternative Conflict Resolution Project (PTDC/JUR/71354/2006), which is a research project supported by FCT (Science & Technology Foundation), Portugal. The work of Davide Carneiro is also supported by a doctoral grant by FCT (SFRH/BD/64890/2009).Acknowledgments. The work described in this paper is included in TIARAC - Telematics and Artificial Intelligence in Alternative Conflict Resolution Project (PTDC/JUR/71354/2006), which is a research project supported by FCT (Science & Technology Foundation), Portugal. The work of Davide Carneiro is also supported by a doctoral grant by FCT (SFRH/BD/64890/2009)