Results 11 to 20 of about 15,541,552 (290)
CoRR, 2020 Factorization -- a simple form of standardization -- is concerned with reduction strategies, i.e. how a result is computed. We present a new technique for proving factorization theorems for compound rewriting systems in a modular way, which is inspired by the Hindley-Rosen technique for confluence.
Accattoli, Beniamino +2 more
openaire +7 more sources
Global and regional burden of disease and injury in 2016 arising from occupational exposures: a systematic analysis for the Global Burden of Disease Study 2016 [PDF]
, 2020 OBJECTIVES: This study provides an overview of the influence of occupational risk factors on the global burden of disease as estimated by the occupational component of the Global Burden of Disease (GBD) 2016 study.
Khosravi, Mohammadhossein +2 more
core +1 more source
A method of factoring and the factorization of 𝐹₇ [PDF]
Mathematics of Computation, 1975 The continued fraction method for factoring integers, which was introduced by D. H. Lehmer and R. E. Powers, is discussed along with its computer implementation. The power of the method is demonstrated by the factorization of the seventh Fermat number
Morrison, Michael A., Brillhart, John
openaire +2 more sources
Discrete Applied Mathematics, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Golnaz Badkobeh +7 more
openaire +6 more sources
Global and regional burden of chronic respiratory disease in 2016 arising from non-infectious airborne occupational exposures: a systematic analysis for the Global Burden of Disease Study 2016 [PDF]
, 2020 OBJECTIVES: This paper presents detailed analysis of the global and regional burden of chronic respiratory disease arising from occupational airborne exposures, as estimated in the Global Burden of Disease 2016 study.
GBD 2016 Occupational Chronic Respiratory Risk Factors Collaborators +3 more
core +1 more source
Complete-factors and f-factors
Discrete Mathematics, 2000 Let \(G\) be a graph and \(F\) a spanning subgraph of \(G\) with at least two components and with all components complete. Let \(f\) be an integer-valued function defined on \(V(G)\) with \(\sum_{x \in V(G)} f(x)\) even. If for each component \(C\) of \(F\), \(G - V(C)\) has an \(f\)-factor (that is, a spanning subgraph \(H\) in which \(\deg_H(x) = f(x)
Hikoe Enomoto, Taro Tokuda
openaire +2 more sources
NeuroImage, 2023 Theories of attention argue that objects are the units of attentional selection. In real-word environments such objects can contain visual and auditory features. To understand how mechanisms of selective attention operate in multisensory environments, in
Laura-Isabelle Klatt +4 more
doaj +1 more source
Nuclear Engineering and Technology, 2017 The main control room (MCR) in advanced nuclear power plants (NPPs) has changed from analog to digital control system (DCS). Operation and control have become more automated, centralized, and accurate due to the digitalization of NPPs, which has improved
Yanhua Zou +4 more
doaj +1 more source
NeuroImage, 2022 What mechanisms underlie the transfer of a working memory representation into a higher-level code for guiding future actions? Electrophysiological correlates of attentional selection and motor preparation processes within working memory were investigated
Marlene Rösner +4 more
doaj +1 more source
Global burden and strength of evidence for 88 risk factors in 204 countries and 811 subnational locations, 1990-2021: a systematic analysis for the Global Burden of Disease Study 2021. [PDF]
BACKGROUND: Understanding the health consequences associated with exposure to risk factors is necessary to inform public health policy and practice. To systematically quantify the contributions of risk factor exposures to specific health outcomes, the ...
GBD 2021 Risk Factors Collaborators +1 more
core +3 more sources