Results 21 to 30 of about 432,855 (169)
Consistency and Optimality [PDF]
, 2011 Assume that the problem Qo is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T U {ConT} as the minimal extension of T proving for some algorithm that it decides Qo as fast as any algorithm B with the property that T proves that B decides Qo.
Chen, Yijia +2 more
openaire +3 more sources
The influence of slag content on the mechanical properties of high-strength concrete [PDF]
Archives of Civil EngineeringIn light of the current situation where excessive amounts of excavated earth from subway tunnel construction are being stacked with low utilization and value, this study used residue as a mineral admixture to investigate the effects of different ...
Xiaochun Zhao, Meijiu Zhao
doaj +1 more source
Journal of Harbin University of Science and Technology, 2020 In order to accurately study the consistency between the door and the Bpillar during the collision process and better analyze the influence of the deformation of the front and rear doors on the B column deformation during the side collision of the door
WU Shi, ZHAO Hong-wei
doaj +1 more source
Remote Sensing, 2021 The space segment of all the five satellite systems capable of providing precise position services, namely BeiDou Navigation Satellite System (BDS) (including BDS-3 and BDS-2), Global Positioning System (GPS), GLObal NAvigation Satellite System (GLONASS),
Xuanping Li, Lin Pan
doaj +1 more source
Consistency of the decision-maker in pair-wise comparisons [PDF]
, 2006 Most authors assume that the natural behaviour of the decision-maker is being inconsistent. This paper investigates the main sources of inconsistency and analyses methods for reducing or eliminating inconsistency.
Temesi, József
core +1 more source
Evaluation of the Flow Table Method for Analyzing the Rheology of Concrete with Fibers [PDF]
Materials ResearchThe reinforcement of cementitious matrices with structural fibers in concrete production imposes restrictions on the workability of fresh concrete compared to that without fiber addition.
Dener Altheman +2 more
doaj +1 more source
“Saatlerin Tıkırtısı” Hikâyesi Üzerine Metin Dil Bilimsel Bir İnceleme
Sakarya University Journal of Education, 2018 Bu incelemede; YusufAtılgan’ın “zamanın geçmezliği” konusu üzerinde duran ve daha önce herhangi birdergide yayınlanmamış olan “Saatlerin Tıkırtısı” isimli hikâyesinin, metninbağdaşıklık görünümlerini yansıtan küçük yapısı ve tutarlılık ...
Aysel Huseynzade
doaj +1 more source
The Australasian Journal of Logic, 2021 This paper offers an elementary proof that formal arithmetic is consistent. The system that will be proved consistent is a first-order theory R♯, based as usual on the Peano postulates and the recursion equations for + and ×. However, the reasoning will apply to any axiomatizable extension of R♯ got by adding classical arithmetical truths ...
openaire +2 more sources
Consistency management with repair actions [PDF]
, 2003 Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent distributed documents.
Nentwich, C. +5 more
core +1 more source
Frontiers in PharmacologyIntroductionAmdizalisib (HMPL-689) is an ATP-competitive PI3Kδ inhibitor currently under investigation for treating Hodgkin’s lymphoma. This study aimed to evaluate the metabolism, excretion, pharmacokinetics, and safety profile of amdizalisib in healthy
Chun-Yang Zhao +21 more
doaj +1 more source