Results 81 to 90 of about 250,783 (371)
Clinical Pharmacology &Therapeutics, EarlyView.We present model‐informed selection of the recommended dose for expansion (RDE) of investigational oral ATR inhibitor tuvusertib, by integrating clinical pharmacokinetics (PK), pharmacodynamics (PD), and safety data from DDRiver Solid Tumors 301 trial Part A1 (NCT04170153).
Jatinder Kaur Mukker +20 more
wiley +1 more source
Canadian Journal of Cardiology, 2006 Geoffrey Rose was not a Grand Master of the Priory of Scion, but rather a well-known British epidemiologist and author of The Strategy of Preventive Medicine (1). His book frames our understanding of the concept of risk. Clinicians constantly estimate risk when faced with an individual patient and act on that determination.
openaire +2 more sources
Sediment‐stressed reefs over the past 420 Myr
The Depositional Record, EarlyView.In order to fully elucidate the relationship between siliciclastic sedimentation and reef development, there needs to be a significant step change in how we record ancient and recent reefs. Only through the collection of constrained quantitative data, we can progress beyond the largely conjectural associations postulated for many ancient reefal systems.
Tanja Unger +4 more
wiley +1 more source
Studia Semiotyczne, 2019 DOI: http://doi.org/10.26333/sts.xxxii2.09 The affirmative answer to the title question is justified in two ways: logical and empirical. (1) The logical justification is due to Gödel’s discovery (1931) that in any axiomatic formalized theory, having ...
Witold Marciszewski
doaj
Ordering infinite utility streams comes at the cost of a non-Ramsey set. [PDF]
The existence of a Paretian and finitely anonymous ordering in the set of infnite utility streams implies the existence of a non-Ramsey set (a nonconstructive object whose existence requires the axiom of choice).
Lauwers, Luc
core +3 more sources
A Mechanical Verification of the Independence of Tarski's Euclidean Axiom
, 2012 This thesis describes the mechanization of Tarski's axioms of plane geometry in the proof verification program Isabelle. The real Cartesian plane is mechanically verified to be a model of Tarski's axioms, thus verifying the consistency of the axiom ...
T. Makarios
semanticscholar +1 more source
Michigan Mathematical Journal, 1999 \textit{M. Bestvina} [in Mich. Math. J. 43, No. 1, 123-139 (1996; Zbl 0872.57005)], considered an object he called a \(Z\)-structure associated to a group \(G\), which plays the role of a boundary of \(G\). He introduced a notion called Axiom H, which can be satisfied by a \(Z\)-structure.
openaire +3 more sources
On the Applicability of the Advocacy Coalition Framework for Analyzing EU Policy Processes
European Policy Analysis, EarlyView.ABSTRACT Initially developed for the US context, the Advocacy Coalition Framework (ACF) is increasingly used to analyze policy processes in the EU. But policymaking in EU differs from the US context, why the applicability of ACF in the EU context should be scrutinized.
Fredrik von Malmborg
wiley +1 more source
Application of Axiomatic Design principles in conceptual design
MATEC Web of Conferences, 2018 The main objective of this paper is to propose a modified methodology for concept evaluation by applying Axiomatic Design principles. Several drawbacks were recognised during the literature review and application of established Axiomatic Design ...
Delaš Josipa +2 more
doaj +1 more source
Reverse Mathematics and parameter-free Transfer
, 2018 Recently, conservative extensions of Peano and Heyting arithmetic in the spirit of Nelson's axiomatic approach to Nonstandard Analysis, have been proposed.
Berg, Benno van den, Sanders, Sam
core +1 more source