A raster-based algorithm for drawing circles is derived by using the so-called assertion-guided approach to program construction. The initially derived form is slightly different from published ones. It can, however, be transformed into the secondorder midpoint circle-drawing algorithm. Because of the rigour of the approach, the correctness of the derived algorithm is assured. The approach also...

in this paper, the non-linear dynamic response of novel steel sandwich panel with hollow i-core subjected to blast loading was studied. special emphasis is placed on the evaluation of midpoint displacements and energy dissipation of the models. several parameters such as boundary conditions, strain rate, mesh dependency and asymmetrical loading are considered in this study. the material and geo...

BACKGROUND AND OBJECTIVES The precise location of the adductor canal remains controversial among anesthesiologists. In numerous studies of the analgesic effect of the so-called adductor canal block for total knee arthroplasty, the needle insertion point has been the midpoint of the thigh, determined as the midpoint between the anterior superior iliac spine and base of patella. "Adductor canal b...

Abstract For a polygon $$x=(x_j)_{j\in \mathbb {Z}}$$ x = ( j ) ? Z in $$\mathbb {R}^n$$ R n we consider ...

The integration of the rotation from a given angular velocity is often required in practice. The present paper explores how the choice of the parametrization of rotation, when employed in conjuction with different numerical time-integration schemes, effects the accuracy and the computational efficiency. Three rotation parametrizations – the rotational vector, the Argyris tangential vector and t...