Results 11 to 20 of about 542,050 (166)
Validation of the Arabic version of the Ocular Surface Disease Index Questionnaire [PDF]
International Journal of Ophthalmology, 2021 AIM: To develop an Arabic version of the ocular surface disease index (OSDI) and to assess its reliability and validity. METHODS: A cross sectional study was carried out to validate the Arabic version of the OSDI questionnaire.
May M. Bakkar +2 more
doaj +1 more source
Frontiers in Medicine, 2022 BackgroundBlood gas analyzers (BGAs) and dry biochemistry analyzers for potassium and sodium are based on direct electrode methods, and both involve glucose oxidase for glucose detection. However, data are lacking regarding whether the results of the two
Hongxiang Xie +8 more
doaj +1 more source
Applied Sciences, 2023 Most of the aspect-based sentiment analysis research completes the two subtasks (aspect terms extraction and aspect sentiment classification) separately, and it cannot see the full picture and actual effect of the complete aspect-based sentiment analysis.
Musheng Chen +3 more
doaj +1 more source
Journal of Inequalities and Applications, 2019 In this paper, we establish the strong consistency and complete consistency of the Priestley–Chao estimator in nonparametric regression model with widely orthant dependent errors under some general conditions.
Qihui He
doaj +1 more source
Research on Granular Conversion Computing in Algebraic Quotient Space [PDF]
Jisuanji kexue yu tansuo, 2022 Granular computing is a problem processing paradigm based on multi-level structure, which has attracted extensive attention of domestic and foreign scholars in recent years.
WEI Zongxuan, WANG Jiayang
doaj +1 more source
Data Consistency Theory and Case Study for Scientific Big Data
Information, 2019 Big data technique is a series of novel technologies to deal with large amounts of data from various sources. Unfortunately, it is inevitable that the data from different sources conflict with each other from the aspects of format, semantics, and value ...
Peng Shi +4 more
doaj +1 more source
Consistency and Completeness of Rewriting in the Calculus of Constructions [PDF]
Logical Methods in Computer Science, 2006 Adding rewriting to a proof assistant based on the Curry-Howard isomorphism, such as Coq, may greatly improve usability of the tool. Unfortunately adding an arbitrary set of rewrite rules may render the underlying formal system undecidable and inconsistent.
Daria Walukiewicz-Chrzaszcz +1 more
openaire +5 more sources
The Complexity of Rooted Phylogeny Problems [PDF]
Logical Methods in Computer Science, 2011 Several computational problems in phylogenetic reconstruction can be formulated as restrictions of the following general problem: given a formula in conjunctive normal form where the literals are rooted triples, is there a rooted binary tree that ...
Manuel Bodirsky, Jens K Mueller
doaj +1 more source
A new perspective on completeness and finitist consistency
Journal of Logic and Computation, 2023 Abstract In this paper, we study the metamathematics of consistent arithmetical theories $T$ (containing $\textsf {I}\varSigma _{1}$); we investigate numerical properties based on proof predicates that depend on numerations of the axioms. Numeral Completeness. For every true (in $\mathbb {N}$) sentence $\vec {Q}\vec {x}.\varphi (\vec {x})
Paulo Guilherme Santos +2 more
openaire +1 more source
MathematicsIn this paper, we study the complete consistency of the G-M estimator in a nonparametric regression model based on extended negatively dependent errors, and we obtain the convergence rates of the complete consistency by using the inequalities for ...
Cong Qu, Shuili Zhang
doaj +1 more source