Results 121 to 130 of about 47,472 (286)

Unifying Splitting. [PDF]

J Autom Reason, 2023
Ebner G, Blanchette J, Tourret S.
europepmc   +1 more source

Hidden Structure in Unsatisfiable Random 3-SAT: an Empirical Study

, 2004
Recent advances in propositional satisfiability (SAT) include studying the hidden structure of unsatisfiable formulas, i.e. explaining why a given formula is unsatisfiable.
Lynce, I., Marques-Silva, J. P.
core   +1 more source

Investigating How Firms in Emerging Economies Integrate AI‐Driven Systems and ESG Metrics Into Biodiversity Conservation and Circular Economy Strategies

Business Strategy and the Environment, EarlyView.
ABSTRACT This study investigates how firms in emerging economies integrate artificial intelligence (AI) with environmental, social, and governance (ESG) practices to enhance biodiversity conservation and circular economy outcomes. It examines the mediating role of corporate social responsibility (CSR) governance and the moderating effect of ...
Suleman Bawa, Simplice A. Asongu
wiley   +1 more source

Subuniformity of harmonic mean p$$ p $$‐values

Canadian Journal of Statistics, EarlyView.
Abstract We obtain several inequalities on the generalized means of dependent p$$ p $$‐values. In particular, the weighted harmonic mean of p$$ p $$‐values is strictly subuniform under several dependence assumptions of p$$ p $$‐values, including independence, negative upper orthant dependence, the class of extremal mixture copulas, and some Clayton ...
Yuyu Chen, Ruodu Wang, Yuming Wang, Wenhao Zhu   +3 more
wiley   +1 more source

Logics and admissible rules of constructive set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source

An observation‐driven state‐space model for claims size modelling

Canadian Journal of Statistics, EarlyView.
Abstract State‐space models are popular in econometrics. Recently, these models have gained some popularity in the actuarial literature. The best known state‐space models are of the Kalman‐filter type. These are called parameter‐driven because the observations do not impact the state‐space dynamics.
Jae Youn Ahn, Himchan Jeong, Mario V. Wüthrich   +2 more
wiley   +1 more source

On subset least squares estimation and prediction in vector autoregressive models with exogenous variables

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, Thanh‐Liem Huynh, Mylène Oscar   +2 more
wiley   +1 more source

Optimal dividends for a NatCat insurer in the presence of a climate tipping point

Canadian Journal of Statistics, EarlyView.
Abstract We study optimal dividend strategies for an insurance company facing natural catastrophe claims, anticipating the arrival of a climate tipping point after which the claim intensity and/or the claim size distribution of the underlying risks deteriorates irreversibly.
Hansjörg Albrecher, Pablo Azcue, Nora Muler   +2 more
wiley   +1 more source

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]

Sensors (Basel), 2022
Zbrzezny AM, Zbrzezny A.
europepmc   +1 more source

Asymptotic properties of cross‐classified sampling designs

Canadian Journal of Statistics, EarlyView.
Abstract We investigate the family of cross‐classified sampling designs across an arbitrary number of dimensions. We introduce a variance decomposition that enables the derivation of general asymptotic properties for these designs and the development of straightforward and asymptotically unbiased variance estimators.
Jean Rubin, Guillaume Chauvet
wiley   +1 more source