Abstract Crowdsourced meteorological observations are becoming more prevalent and in some countries their spatial resolution already far exceeds that of traditional networks. However, due to the larger uncertainty associated with these observations, quality control (QC) is an essential step. Spatial QC methods especially well suited for such dense networks since they utilize information from ne...

We seek the best stroke sequences of a finite-size swimming predator chasing non-motile point or prey at low Reynolds number. use optimal control to globally solutions for former and reinforcement learning (RL) general situations. The is represented by squirmer model that can translate forward laterally, rotate generate stresslet flow. identify predator's squirming achieve time-optimal (TO) eff...

A model predictive control algorithm based on offline optimization of prediction dynamics enables an efficient online computation. However, the price for this efficiency is a reduction in degree optimality. This article presents new method overcoming weakness, yielding significant improvement optimality, and achieving with no increase computational load. Two numerical examples comparison to ear...

The design of an optimizing compiler for a large and rich language poses problems beyond those of sheer size and cost. One of the most serious is that the wealth and variety of the language makes it possible to express the same logical function in terms of many different source constructs. The choice may be based on naturalness of language use, program readability, ease of debugging, compil...