new structural, metamorphic, finite strain and kinematic vorticity data for granitic gneiss and metavolcano-sedimentary rocks of thetanumaharea in the arabian shield in saudi arabia reveal a history of deformation reflecting different tectonic regimes. kinematic analysis shows their relationship to the nappe contacts between the granitic gneiss and metavolcano-sedimentary rocks and explains the...

The majority of vertebrates have a life span of greater than one year. Therefore individuals must be able to adapt to the annual cycle of changing conditions by adjusting morphology, physiology and behaviour. Phenotypic flexibility, in which an individual switches from one life history stage to another, is one way to maximize fitness in a changing environment. When environmental variation is lo...

The Central Limit Theorem (CLT) for additive functionals of Markov chains is a well-known result with long history. In this paper, we present applications to two finite-memory versions the Elephant Random Walk, solving problem from Gut and Stadtmüeller (2018). We also derivation CLT finite state chains, which based on positive recurrence, IID sequences some elementary linear algebra, focuses ch...

This paper proposes that we should avoid infinite sets in definitions of AI agent and their environments. For agents that evolve to increase their finite resources it proposes a self-modeling agent definition that avoids assumptions about the agent's future form. And it proposes a consistent and complete logical theory for reasoning by AI agents in our finite universe. 1 Finitely Computable Age...

Details of a unified creep-plasticity theory, based on the concept of an internal time, are presented, and a geometric interpretation of such a theory is given. A' tangent-stiffness' formulation, for the finite-element/boundary-element calculation of weak solutions of the strain-history in the structure, is presented. An implicit algorithm of generalized mid-point radial mapping for computing t...

This habilitation thesis gives an overview of five papers of the author in the area of verification, in particular, in the study of computational complexity of equivalence checking problems and related areas. The first of these papers, Sawa, Jančar: Equivalences on Finite-State Systems are PTIME-hard (2005), shows that deciding any relation between bisimulation equivalence (bisimilarity) and tr...