Anatomical variation of a trifid (trifurcation) lateral root origin of the median nerve

Anatomic variations of the brachial plexus are common. Awareness of these variations is of paramount importance in clinical practice mainly in achieving best results in minimal invasive or surgical procedures. The aim of our study was to depict a case of a trifid lateral root origin of the medial nerve. This anatomical variation in the brachial plexus was encountered after dissection in upper extremities in a 90-year-old male cadaver

A Logic of Blockchain Updates

Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model

On Automated Lemma Generation for Separation Logic with Inductive Definitions

Separation Logic with inductive definitions is a well-known approach for deductive verification of programs that manipulate dynamic data structures. Deciding verification conditions in this context is usually based on user-provided lemmas relating the inductive definitions. We propose a novel approach for generating these lemmas automatically which is based on simple syntactic criteria and deterministic strategies for applying them. Our approach focuses on iterative programs, although it can be applied to recursive programs as well, and specifications that describe not only the shape of the data structures, but also their content or their size. Empirically, we find that our approach is powerful enough to deal with sophisticated benchmarks, e.g., iterative procedures for searching, inserting, or deleting elements in sorted lists, binary search tress, red-black trees, and AVL trees, in a very efficient way

Weak Chaos and the "Melting Transition" in a Confined Microplasma System

We present results demonstrating the occurrence of changes in the collective dynamics of a Hamiltonian system which describes a confined microplasma characterized by long--range Coulomb interactions. In its lower energy regime, we first detect macroscopically, the transition from a "crystalline--like" to a "liquid--like" behavior, which we call the "melting transition". We then proceed to study this transition using a microscopic chaos indicator called the \emph{Smaller Alignment Index} (SALI), which utilizes two deviation vectors in the tangent dynamics of the flow and is nearly constant for ordered (quasi--periodic) orbits, while it decays exponentially to zero for chaotic orbits as $\exp(-(\lambda_{1}-\lambda_{2})t)$, where $\lambda_{1}>\lambda_{2}>0$ are the two largest Lyapunov exponents. During the "melting phase", SALI exhibits a peculiar, stair--like decay to zero, reminiscent of "sticky" orbits of Hamiltonian systems near the boundaries of resonance islands. This alerts us to the importance of the $\Delta\lambda=\lambda_{1}-\lambda_{2}$ variations in that regime and helps us identify the energy range over which "melting" occurs as a multi--stage diffusion process through weakly chaotic layers in the phase space of the microplasma. Additional evidence supporting further the above findings is given by examining the $GALI_{k}$ indices, which generalize SALI (=$GALI_{2}$) to the case of $k>2$ deviation vectors and depend on the complete spectrum of Lyapunov exponents of the tangent flow about the reference orbit.Comment: 21 pages, 7 figures, submitted at PR

Case series and a systematic review concerning the level of the aortic bifurcation

Background: The aim of this study is to present the level of aortic bifurcation in a sample of Greek origin (case series) and to perform an up-to-date systematic review in the existing literature. Materials and methods: Seventy-six formalin-fixed adult cadavers were dissected and studied in order to research the level of aortic bifurcation. Additionally, PubMed and Google Scholar databases were searched for eligible articles concerning the level of aortic bifurcation for the period up to February 2020. Results: The mean level of aortic bifurcation according to our case series was the lower third of the L4 vertebral body (21/76, 27.6%). The level of aortic bifurcation ranged between the lower third of the L3 vertebral body and the lower third of the L5 body. No statistically significant correlation was found between the two sexes. The systematic review of the literature revealed 31 articles which were considered eligible and a total number of 3537 specimens were retracted. According to the recorded findings the most common mean level of aortic bifurcation was the body of L4 vertebra (1495/3537 cases, 42.2%), while the range of aortic bifurcation was described to occur from upper third of L3 vertebrae to the upper third of the S1 vertebrae in the 52.8% of the cases (1866/3537). Conclusions: The mean level of AA corresponds to the body of L4 and presents a great range (form L3U to S1U). Knowledge of the mean level of aortic bifurcation and its probable ranges is of great significance for interventional radiologists and especially vascular surgeons that deal with aneurism proximal to the aortic bifurcation

Anatomical study of the common iliac arteries

Background: The common iliac arteries (CIA) are the two terminal branches of the abdominal aorta which supply the pelvis and the lower extremities. The present study aims to examine the morphometric features of the CIA in a cadaveric sample and possible correlations between lengths.Materials and methods: Seventy-six formalin fixed cadavers of Greek origin were dissected in the Department of Anatomy, School of Medicine, National and Kapodistrian University of Athens. In each cadaver dissected, the abdominal aorta and the CIA were identified and their lengths were measured. Also the torso length was measured and the height of each cadaver. All the statistical analysis was done by SPSS 15.0.Results: The mean length of the left CIA was 6.12 cm (SD: ± 1.791, SE: 0.205) and that of the right one was 6.03 cm (SD: ± 1.607, SE: 0.184). The lengths of the CIA differed between the sexes, but no statistically significant difference was observed. Statistically significant differences regarding the torso lengths and body heights were found between the sexes, as well as a statistically strong correlation between the lengths of the left and right CIA in the cadavers dissected.Conclusions: The knowledge of the anatomy and morphology of the CIA is ofgreat clinical significance, given that abnormal course, length or branching pattern of these vessels are not uncommon and their clinical impact may be great. Mostly interventional radiologists and vascular surgeons should be aware of this knowledge

Complex statistics and diffusion in nonlinear disordered particle chains.

We investigate dynamically and statistically diffusive motion in a Klein-Gordon particle chain in the presence of disorder. In particular, we examine a low energy (subdiffusive) and a higher energy (self-trapping) case and verify that subdiffusive spreading is always observed. We then carry out a statistical analysis of the motion, in both cases, in the sense of the Central Limit Theorem and present evidence of different chaos behaviors, for various groups of particles. Integrating the equations of motion for times as long as 10(9), our probability distribution functions always tend to Gaussians and show that the dynamics does not relax onto a quasi-periodic Kolmogorov-Arnold-Moser torus and that diffusion continues to spread chaotically for arbitrarily long times