Results 71 to 80 of about 2,777,990 (323)
On the complexity of cutting-plane proofs
Discrete Applied Mathematics, 1987 As introduced by \textit{V. Chvatal} [Discrete Math. 4, 305-337 (1973; Zbl 0253.05131)] cutting planes provide a canonical way of proving that every integral solution of a given system of linear inequalities satisfies another specified inequality. In this note we make several observations on the complexity of such proofs in general and when restricted ...
William J. Cook +2 more
openaire +3 more sources
Наука и техника, 2016 The paper contains an analysis of dimple geometric parameters obtained on wire surface during its in its electrical discharge machining. A photography and description of one of the dimples has been given in the paper.
M. G. Kiselev +3 more
doaj +1 more source
Ligand‐dependent transcriptional heterogeneity in cell cycle gene expression delays G1/S entry
FEBS Letters, EarlyView.EGF and HRG induce distinct G1/S progression programs in ErbB2‐amplified BT474 breast cancer cells. Despite activating the potent ErbB2–ErbB3 heterodimer, HRG does not accelerate cell‐cycle entry. Instead, EGF promotes earlier restriction‐point passage via ERK–FOS signaling, whereas HRG activates the AKT–MYC axis, driving transcriptional heterogeneity ...
Ririn Rahmala Febri +5 more
wiley +1 more source
International Journal of Gerontology, 2009 Background: Precise left atrial (LA) volume quantification, representative of LA function, is of extraordinary clinical prognostic value. However, a detailed description of pathophysiology in different disease populations and interactions with aging by ...
Cheng-Ting Tsai +5 more
doaj +1 more source
Технічна інженерія, 2021 The wholeness of the stone monolith is saved when separating of it occur with the diamond wire machines. However, there are some problems and questions – what are the optimal dimensions of the monolith and the angles of drilling for contouring with ...
R.R. , N.M. , M.A. , V.V. , S.I.
doaj +1 more source
Synergistic perspectives—How single‐molecule biophysics complement biochemical understanding
FEBS Letters, EarlyView.In this review, we discuss how ensemble biochemistry and single‐molecule approaches are complementary, outline commonly used single‐molecule techniques, and illustrate their relevance through two representative case studies: chromatin organization by SMC complexes and pathway choice during DNA double‐strand break repair.
Sara De Bragança +2 more
wiley +1 more source
Understanding Cutting Planes for QBFs [PDF]
, 2016 We define a cutting planes system CP+8red for quantified Boolean formulas (QBF) and analyse the proof-theoretic strength of this new calculus. While in the propositional case, Cutting Planes is of intermediate strength between resolution and Frege, our ...
Chew, Leroy +7 more
core +1 more source
Revista Colombiana de Estadística, 2005 La regresión cuantílica es un problema de optimización convexa no diferenciable. Se examinan las ventajas y desventajas con relación a la necesidad de recursos de memoria y tiempo de cálculo de tres métodos clásicos de solución: dos de optimización ...
HÉCTOR MANUEL MORA ESCOBAR
doaj
Translophagy—A potential link between autophagy impairment and translational errors
FEBS Letters, EarlyView.Neurodegenerative diseases are characterised by the accumulation of abnormal proteins and protein aggregates, but their origin often remains unknown. We propose that selective autophagy removes damaged protein‐making machinery, preventing errors during protein synthesis.
Mykola V. Korolchuk +11 more
wiley +1 more source
Experimental Analysis and Geometrical Modeling of Cutting Conditions Effect in 5 Axis Milling with Ti6Al4V Alloy [PDF]
, 2012 The 5 axis continuous milling is an advanced technique for free-form surfaces manufacturing. In finishing, this technique uses ball-end or hemispherical milling cutter.
PRAT, David +3 more
core +1 more source