Results 51 to 60 of about 625,188 (172)
Near-Optimal UGC-hardness of Approximating Max k-CSP_R [PDF]
In this paper, we prove an almost-optimal hardness for Max $k$-CSP$_R$ based on Khot's Unique Games Conjecture (UGC). In Max $k$-CSP$_R$, we are given a set of predicates each of which depends on exactly $k$ variables.
Manurangsi, Pasin +2 more
core +2 more sources
Increasing the durability of cold forging dies hardening with intermediate tempering
Based on studies of the tool wear nature for cold stamping, the expediency of using heat treatment by quenching with intermediate tempering has been established.
D. M. Berdiev +2 more
doaj +1 more source
Global Cardinality Constraints Make Approximating Some Max-2-CSPs Harder [PDF]
Assuming the Unique Games Conjecture, we show that existing approximation algorithms for some Boolean Max-2-CSPs with cardinality constraints are optimal. In particular, we prove that Max-Cut with cardinality constraints is UG-hard to approximate within ~
Austrin, Per, Stankovic, Aleksa
core +2 more sources
PREDICTING ALUMINA COMPOSITES’ MECHANICAL CHARACTERISTICS USING A MACHINE LEARNING APPROACH [PDF]
Obtaining the requisite properties in alloys is crucial problem in the production of aluminium components, requiring great deal of time and effort for investigation and experimentation.
Ashwini Kumar +3 more
doaj +1 more source
Thermodynamic aspects of materials' hardness: prediction of novel superhard high-pressure phases
In the present work we have proposed the method that allows one to easily estimate hardness and bulk modulus of known or hypothetical solid phases from the data on Gibbs energy of atomization of the elements and corresponding covalent radii.
Aleshin V. G. +21 more
core +1 more source
Mechanical characterization of solution-derived nanoparticle silver ink thin films [PDF]
Mechanical properties of sintered silver nanoparticles are investigated via substrate curvature and nanoindentation methods. Substrate curvature measurements reveal that permanent microstructural changes occur during initial heating while subsequent ...
Greer, Julia R., Street, Robert A.
core +1 more source
The brown A. bisporus - a cultivated species and I. badia – a wild species of mushroom containing health-promoting properties has been selected to create functional foods.
Venugopal Kavya, Bernaś Emilia
doaj +1 more source
Enhanced thermal stability and fracture toughness of TiAlN coatings by Cr, Nb and V-alloying [PDF]
The effect of metal alloying on mechanical properties including hardness and fracture toughness were investigated in three alloys, Ti~0.33Al0.50(Me)~0.17N (Me¿=¿Cr, Nb and V), and compared to Ti0.50Al0.50N, in the as-deposited state and after annealing ...
Andersson, J. M. +7 more
core +2 more sources
This study focuses on the optimization of the submerged arc welding (SAW) process through the variation of welding voltage to achieve improved mechanical properties of butt-welded joints made from P355N fine-grained low-alloy carbon steel as a material ...
B. Dorel Cioroagă +5 more
doaj +1 more source
Hardness measures and resolution lower bounds [PDF]
Various "hardness" measures have been studied for resolution, providing theoretical insight into the proof complexity of resolution and its fragments, as well as explanations for the hardness of instances in SAT solving.
Beyersdorff, Olaf, Kullmann, Oliver
core

