Results 11 to 20 of about 566,370 (267)

Investigating the Impact of Fall-proof Exercises on the Balance System of Elderly Women With Knee Osteoarthritis [PDF]

Sālmand
Objectives The impairment of balance is a significant complication that affects older people suffering from knee osteoarthritis, potentially leading to falls.
Hadis Sheikhshoaei, Saeid Bahiraei, Marta Safavi   +2 more
doaj   +2 more sources

Formal verification of TLS 1.2 by automatically generating proof scores

Computers and Security, 2022
Duong Dinh Tran, Kazuhiro Ogata
exaly   +2 more sources

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method

IEEE Access, 2021
We demonstrate the power of the simulation-based invariant verification technique through two case studies in which it is formally verified that two mutual exclusion protocols, MCS protocol and Anderson protocol, enjoy the mutual exclusion property by ...
Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata   +2 more
doaj   +1 more source

ANALISIS KEMAMPUAN PEMBUKTIAN MATEMATIS PADA MATA KULIAH TEORI RING DITINJAU DARI PENDIDIKAN SEKOLAH MENENGAH

Jurnal Lebesgue, 2023
Mathematical proof is a crucial component in studying mathematics, especially at advanced levels. Previous research has reported that many students face difficulties in solving mathematical proof problems, including in rings theory course.
Nina Agustyaningrum, Paskalia Pradanti, Dita Aldila Krisma   +2 more
doaj   +1 more source

Sustainable Development Goal indicator for measuring availability and affordability of medicines for children: a proof-of-concept study

BMJ Open, 2023
Objectives To complement Sustainable Development Goal (SDG) indicator 3.b.3 that monitors access to medicines for all, a corresponding child-specific methodology was developed tailored to the health needs of children. This methodology could aid countries
Fatima Suleman, Aukje K Mantel-Teeuwisse, Hendrika A van den Ham, Iris R Joosse   +3 more
doaj   +1 more source

Variability in Donor-Derived Cell-Free DNA Scores to Predict Mortality in Heart Transplant Recipients – A Proof-of-Concept Study

Frontiers in Immunology, 2022
BackgroundOver the last decade, expanding use of molecular diagnostics in heart transplantation has allowed implementation of non-invasive surveillance strategies for monitoring allograft health. The commercially available HeartCare platform combines the
Megan Kamath, Grigoriy Shekhtman, Tristan Grogan, Michelle J. Hickey, Irina Silacheva, Karishma S. Shah, Kishan S. Shah, Adrian Hairapetian, Diego Gonzalez, Giovanny Godoy, Elaine F. Reed, David Elashoff, Galyna Bondar, Mario C. Deng   +13 more
doaj   +1 more source

Potential utility of risk stratification for multicancer screening with liquid biopsy tests

npj Precision Oncology, 2023
Our proof-of-concept study reveals the potential of risk stratification by the combined effects of age, polygenic risk scores (PRS), and non-genetic risk factors in increasing the risk-benefit balance of rapidly emerging non-invasive multicancer early ...
Elle S. Kim, Robert B. Scharpf, Montserrat Garcia-Closas, Kala Visvanathan, Victor E. Velculescu, Nilanjan Chatterjee   +5 more
doaj   +1 more source

Effects of Long-Term Paired Associative Stimulation on Strength of Leg Muscles and Walking in Chronic Tetraplegia: A Proof-of-Concept Pilot Study

Frontiers in Neurology, 2020
Recovery of lower-limb function after spinal cord injury (SCI) is dependent on the extent of remaining neural transmission in the corticospinal pathway.
Andrei Rodionov, Sarianna Savolainen, Erika Kirveskari, Erika Kirveskari, Jyrki P. Mäkelä, Anastasia Shulga, Anastasia Shulga   +6 more
doaj   +1 more source

Dimensional clinical phenotyping using post‐mortem brain donor medical records: post‐mortem RDoC profiling is associated with Alzheimer's disease neuropathology

Alzheimer’s & Dementia: Diagnosis, Assessment & Disease Monitoring, 2023
Introduction Transdiagnostic dimensional phenotypes are essential to investigate the relationship between continuous symptom dimensions and pathological changes.
Jonathan Vogelgsang, Shu Dan, Anna P. Lally, Michael Chatigny, Sangeetha Vempati, Joshua Abston, Peter T. Durning, Derek H. Oakley, Thomas H. McCoy, Torsten Klengel, Sabina Berretta   +10 more
doaj   +1 more source

Study protocol for “MDMA-assisted therapy as a treatment for major depressive disorder: A proof of principle study”

Frontiers in Psychiatry, 2022
BackgroundMajor depressive disorder (MDD) is a world-leading cause of disability. The available treatments are not effective in all patients, and there is a significant need for more effective treatment options.
Tor-Morten Kvam, Tor-Morten Kvam, Ivar W. Goksøyr, Lowan H. Stewart, Lowan H. Stewart, Dimitris Repantis, Jan Ivar Røssberg, Jan Ivar Røssberg, Ole A. Andreassen, Ole A. Andreassen   +9 more
doaj   +1 more source