ocean waters often show layered structures especially where exchange flow between two basins occurs. these structures are often attributed to processes such as double.diffusive convection, internal waves, turbulent modulated mixing. in this paper by examining the vertical structures of temperature, salinity and density, of the middle parts of caspian sea it is shown that such layered structure ...

This paper focuses on decidability problems for metric and layered temporal logics which allow one to model time granularity in various contexts. The decidability of pure metric (non-granular) fragments and of metric temporal logics endowed with nitely many layers has been already proved by reduction to the decidability problem of the well-known theory S1S. In the present work, we prove the dec...

In recent years, layered bismuth oxyhalide nanomaterials have received more and more interest as promising photocatalysts because their unique layered structures endow them with fascinating physicochemical properties; thus, they have great potential photocatalytic applications for environment remediation and energy harvesting. In this article, we explore the synthesis strategies and growth mech...

Results based on ab initio density functional calculations indicate that cubic diamond, boron nitride, and many other cubic structures including rocksalt share a general graphitization tendency in ultrathin films terminated by close-packed (111) surfaces. Whereas such compounds often show an energy preference for cubic rather than layered atomic arrangements in the bulk, the surface energy of l...

of Ph.D. Thesis Automata for Branching and Layered Structures