Results 11 to 20 of about 1,224,138 (305)
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
Optimization and design of a cable driven upper arm exoskeleton [PDF]
, 2009 This paper presents the design of a wearable upper arm exoskeleton that can be used to assist and train arm movements of stroke survivors or subjects with weak musculature.
Brackbill, E.A. +9 more
core +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
Simultaneous bilateral training for improving arm function after stroke [PDF]
, 2009 Background Simultaneous bilateral training, the completion of identical activities with both arms simultaneously, is one intervention to improve arm function and reduce impairment.
Morris, J. +12 more
core +1 more source
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