Results 21 to 30 of about 717,652 (279)
CPT: Pharmacometrics & Systems Pharmacology, 2023 As a result of the escalating number of new cancer treatments being developed and competition among pharmaceutical companies, decisions regarding how to proceed with phase III trials are frequently based on findings from either single‐arm phase I ...
Shu‐Wen Teng +8 more
doaj +1 more source
Proof Scores in the OTS/CafeOBJ Method [PDF]
, 2003 A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several case studies. The way makes it possible to divide a formula stating an invariant property under discussion into reasonably small ones, each of which is proved by writing proof ...
Kazuhiro Ogata 0001, Kokichi Futatsugi
openaire +1 more source
Can smartwatches replace smartphones for posture tracking? [PDF]
, 2015 This paper introduces a human posture tracking platform to identify the human postures of sitting, standing or lying down, based on a smartwatch. This work develops such a system as a proof-of-concept study to investigate a smartwatch's ability to be ...
Cai, Jun Yu Jacinta +7 more
core +3 more sources
The Chelsea Critical Care Physical Assessment Tool (CPAx): validation of an innovative new tool to measure physical morbidity in the general adult critical care population; an observational proof-of-concept pilot study. [PDF]
, 2013 Objective To develop a scoring system to measure physical morbidity in critical care – the Chelsea Critical Care Physical Assessment Tool (CPAx). Method The development process was iterative involving content validity indices (CVI), a focus group and an ...
Corner, EJ +6 more
core +1 more source
Decision-making style of agribusiness managers
Agricultural Economics (AGRICECON), 2019 How agricultural managers gain, process and use information in decision-making and problem-solving process refers to decision-making styles. A successful decision depends on the flexibility of using decision-making styles in different situations.
Katarina Remenova, Nadezda Jankelova
doaj +1 more source
Is there an interplay between adherence to mediterranean diet, antioxidant status, and vascular disease in atrial fibrillation patients? [PDF]
, 2016 Mediterranean Diet (Med-Diet) is associated with reduced incidence of vascular events (VEs) in atrial fibrillation (AF), but the mechanism accounting for its beneficial effect is only partially known.
Cristina Nocella +8 more
core +1 more source
Symbolic Analysis and Verification of Hybrid Post-Quantum TLS 1.2
IEEE AccessTransport Layer Security (TLS) is a fundamental protocol for securing communications over untrusted networks. With the rising threat of quantum computing, Amazon Web Services (AWS) proposed Hybrid Post-Quantum (PQ) TLS, an extended version of TLS 1.2 ...
Duong Dinh Tran +3 more
doaj +1 more source
BMC Endocrine Disorders, 2018 Background The adverse effects of growth hormone (GH) deficiency (GHD) in adults (AGHD) on metabolism and health-related quality of life (HRQoL) can be improved with GH substitution.
Peter H. Kann +7 more
doaj +1 more source
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol
IEEE AccessFacing the quantum attack threat, a quantum-resistant version of the SSH Transport Layer protocol has been proposed and been standardized by an IETF working group.
Duong Dinh Tran +4 more
doaj +1 more source
Asymptotic optimality of the quasi-score estimator in a class of linear score estimators [PDF]
, 2006 We prove that the quasi-score estimator in a mean-variance model is optimal in the class of (unbiased) linear score estimators, in the sense that the difference of the asymptotic covariance matrices of the linear score and quasi-score estimator is ...
Kukush, Alexander, Schneeweiß, Hans
core +2 more sources