Results 71 to 80 of about 342,984 (310)
Constructive Dimension and Turing Degrees
, 2009 This paper examines the constructive Hausdorff and packing dimensions of Turing degrees. The main result is that every infinite sequence S with constructive Hausdorff dimension dim_H(S) and constructive packing dimension dim_P(S) is Turing equivalent to ...
A.M. Turing +24 more
core +3 more sources
Rank‐based estimation of propensity score weights via subclassification
Canadian Journal of Statistics, EarlyView.Abstract Propensity score (PS) weighting estimators are widely used for causal effect estimation and enjoy desirable theoretical properties, such as consistency and potential efficiency under correct model specification. However, their performance can degrade in practice due to sensitivity to PS model misspecification.
Linbo Wang +3 more
wiley +1 more source
A criterion of the existence of an embedding of a monothetic monoid into a topological group
Topological Algebra and its Applications, 2019 Using properties of unitary Cauchy filters on monothetic monoids, we prove a criterion of the existence of an embedding of such a monoid into a topological group.
Averbukh Boris G.
doaj +1 more source
Canadian Journal of Statistics, EarlyView.Abstract We establish the consistency and the asymptotic distribution of the least squares estimators of the coefficients of a subset vector autoregressive process with exogenous variables (VARX). Using a martingale central limit theorem, we derive the asymptotic normal distribution of the estimators. Diagnostic checking is discussed using kernel‐based
Pierre Duchesne +2 more
wiley +1 more source
Knowledge-Based Synthesis of Distributed Systems Using Event Structures [PDF]
Logical Methods in Computer Science, 2011 To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if the specifications are written in a
Mark Bickford +3 more
doaj +1 more source
On the definition of the classical connectives and quantifiers [PDF]
, 2015 Classical logic is embedded into constructive logic, through a definition of the classical connectives and quantifiers in terms of the constructive ones.Comment: Why is this a Proof?, Festschrift for Luiz Carlos Pereira ...
Dowek, Gilles
core +2 more sources
Proof constructions and evaluations
Educational Studies in Mathematics, 2009 In this article, we focus on a group of 39 prospective elementary (grades K-6) teachers who had rich experiences with proof, and we examine their ability to construct proofs and evaluate their own constructions. We claim that the combined "construction-evaluation" activity helps illuminate certain aspects of prospective teachers' and presumably other ...
Stylianides, A, Stylianides, G
openaire +2 more sources
Large Language Models for Clinical Trial Protocol Assessments
Clinical Pharmacology &Therapeutics, EarlyView.The purpose was to evaluate the utility of large language models (LLMs) for reviewing the statistical analysis plan (SAP) and pharmacokinetics–pharmacodynamics (PK–PD) components of clinical trial protocols. Clinical trial protocols and SAPs were obtained from clinicaltrials.gov for a testbed of 15 small‐molecule drugs, biologics, and global antibiotic
Euibeom Shin +2 more
wiley +1 more source
Ngos' Contributions to Innovation: Innovation Enablers or Lead Innovators?
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT This study explores how non‐governmental organisations (NGOs) engage with innovation processes. Drawing on a comparative case study of two NGOs working in water sustainability, the paper analyses NGO involvement across seven stages of the innovation process.
Maria Cristina Pietronudo +3 more
wiley +1 more source
A constructive proof of a concentration bound for real-valued random variables [PDF]
, 2020 Wolfgang Mulzer, Natalia Shenkman
openalex +1 more source