We prove the existence of a subgame-perfect ε-equilibrium, for every ε > 0, in a class of multi-player games with perfect information, which we call free transition games. The novelty is that a non-trivial class of perfect information games is solved for subgameperfection, with multiple non-terminating actions, in which the payoff structure is generally not semi-continuous. Due to the lack of s...

Existing approaches for solving the lattice Boltzmann equations with finite difference methods are explicit and semi-implicit; both have certain stability constraints on the time step size. In this work, a fully implicit second-order finite difference scheme is developed. We focus on a parallel, highly scalable, Newton–Krylov–RAS algorithm for the solution of a large sparse nonlinear system of ...

[1] In drainage basin evolution models the implementation of sediment transport and sediment balance is constrained by numerical instabilities. In order to overcome these difficulties an implicit finite difference method is proposed. The method simultaneously adjusts the elevation at each node of the numerical grid, is unconditionally stable, and significantly reduces the computational time. Th...

Three studies offer novel evidence addressing the consequences of explicit–implicit sexual orientation (SO) ambivalence. In Study 1, self-identified straight females completed explicit and implicit measures of SO. The results revealed that participants with greater SO ambivalence took longer responding to explicit questions about their sexual preferences, an effect moderated by the direction of...

Balanced restoration consists in removing the effects of tectonic deformation in order to recover the depositional state of sedimentary layers. Restoration thus helps in the understanding of a geodynamic scenario, reduces structural uncertainties by testing the consistency of the structural model, and, under mechanical behavior assumptions, evaluates retro-deformation. We show how an elastic fi...

In this paper we define unconditional stability properties of exponential Runge-Kutta methods when they are applied to semi-linear systems of ordinary differential equations characterized by a stiff linear part and a nonstiff non-linear part. These properties are related to a class of systems and to a specific norm. We give sufficient conditions in order that an explicit method satisfies such p...

The characteristics of rainfall-runoff are important aspects of hydrological processes. In this study, rainfall-runoff processes and soil moisture dynamics at different soil depths and slope positions of grassland with two different row spacings (5 cm and 10 cm, respectively, referred to as R5 and R10) were analyzed, by means of a solution of rainfall simulation experiments. Bare land was also ...

In this paper, an alternating implicit block method for solving two dimensional scalar wave equation is presented. The new method consist of two stages for each time step implemented in alternating directions which are very simple in computation. To increase the speed of computation, a group of adjacent points is computed simultaneously. It is shown that the presented method increase the maximu...

The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of curves, called arrival curves, that express upper and lower bounds on the number of events that may arrive over any specified time interval. System properties may then be computed using algebraic techniques in a compositional w...

The efficient simulation of non-hydrostatic atmospheric dynamics requires time integration methods capable of overcoming the explicit stability constraints on time step size arising from acoustic waves. In this work we investigate various implicit-explicit (IMEX) additive Runge-Kutta (ARK) methods for evolving acoustic waves implicitly to enable larger time step sizes in a global non-hydrostati...