Results 11 to 20 of about 951,231 (259)
A Computationally Surveyable Proof of the Group Properties of an Elliptic Curve [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We present an elementary proof of the group properties of the elliptic curve known as "Curve25519", as a component of a comprehensive proof of correctness of a hardware implementation of the associated Diffie-Hellman key agreement algorithm.
David M. Russinoff
doaj +1 more source
Frontiers in Microbiology, 2023 Understanding the effects of dosing non-toxigenic Clostridia to cows is rare and has received little attention so far. In the present study, a total of eight lactating dairy cows were divided in two groups: control (n = 4) or Clostridia challenged (oral ...
Hye Won Kim +8 more
doaj +1 more source
Bilateral absence of the deep brachial artery
Folia Morphologica, 2023 The aim of the following study was to present and comprehensively describe a case of a bilateral absence of the deep brachial artery (DBA). Furthermore, its embryology and clinical significance will also be discussed. During routine dissection, a 71-year-
W. Przybycień +8 more
doaj +1 more source
Canadian Prosthetics & Orthotics Journal, 2018 INTRODUCTION Myoelectric hands progressed from single grip hands (traditional myoelectric devices (TH)) to be multi-grip hands (MGH) which are hypothesized to bring more degrees of freedom, greater range of motion and improved grasping capabilities1,2.
Ivana Popovic +12 more
doaj +1 more source
Nihon Kikai Gakkai ronbunshu, 2021 The motion of an arm installed to a multicopter can possibly disturb its orientation. To realize an aerial manipulation by using a multicopter with a robot arm, a control of its center of gravity (COG) is required. In previous study, we proposed a design
Nozomu MATSUNAGA +4 more
doaj +1 more source
ACM Transactions on Programming Languages and Systems, 2021 We report on the process for formal concurrency modelling at Arm. An initial formal consistency model of the Arm achitecture, written in the cat language, was published and upstreamed to the herd+diy tool suite in 2017. Since then, we have extended the original model with extra features, for example, mixed-size accesses, and produced two provably ...
Alglave, Jade +4 more
openaire +2 more sources
Journal of Surgical Ultrasound, 2021 Purpose: The purpose of this study was to evaluate the safety, technical feasibility, and complications of ultrasound-guided placement of totally implantable venous access ports (TIVAPs) in the arm compared to the chest for patients with cancer in a ...
Dong Hyun Lim +5 more
doaj +1 more source
FARMS PARTICIPATING IN THE AGRI-ENVIRONMENTAL-CLIMATE MEASURE AGAINST A BACKGROUND OF OTHER FARMS [PDF]
Annals of the Polish Association of Agricultural and Agribusiness Economists, 2019 The progressive effects of climate change and persistent negative trends in the state of the natural environment of many rural areas in the European Union and throughout the world are reasons for which there is an urgent need to carry out activities with
Agata Żak, Marek Zieliński
doaj +1 more source
Journal Coaching Education Sports, 2021 Penelitian ini bertujuan untuk mengetahui kontribusi kekuatan otot lengan, daya tahan otot tungkai, dan koordinasi mata tangan terhadap kemapmuan passing bawah dalam permainan bolavoli. Penelitian ini termasuk jenis penelitian deskriptif.
Sahabuddin, Hikmad Hakim, Muslim
doaj +1 more source
Frontiers in Veterinary ScienceOne alternative to early cow–calf separation is continuous foster cow-calf contact, where one cow nurses two to four calves without being milked. However, multiple sucklings may compromise teat and body condition and affect fertility.
Katharina A. Zipp +2 more
doaj +1 more source