Results 51 to 60 of about 605,840 (270)
Terminology of mathematics: conventionality and correctness
Lietuvos Matematikos Rinkinys, 2003 The conventionality and correctness of the terminology of mathematics in textbooks are disscused. The concepts of the solution of equation, of the graph of a function, of the elementary event and other are analyzed.
Eugenijus Stankus
doaj +3 more sources
Correcting dispersion corrections with density-corrected DFT
Journal of Chemical Theory and ComputationAlmost all empirical parameterizations of dispersion corrections in DFT use only energy errors, thereby mixing functional and density-driven errors. We introduce density and dispersion-corrected DFT (D2C-DFT), a dual-calibration approach that accounts for density delocalization errors when parametrizing dispersion interactions.
Minhyeok Lee +7 more
openaire +2 more sources
On correctness of buffer implementations in a concurrent lambda calculus with futures [PDF]
, 2009 Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other.
Niehren, Joachim +3 more
core +2 more sources
A Correctness Result for Online Robust PCA
, 2015 This work studies the problem of sequentially recovering a sparse vector $x_t$ and a vector from a low-dimensional subspace $l_t$ from knowledge of their sum $m_t = x_t + l_t$. If the primary goal is to recover the low-dimensional subspace where the $l_t$
Lois, Brian, Vaswani, Namrata
core +1 more source
Polynomial-Time Fence Insertion for Structured Programs [PDF]
, 2019 To enhance performance, common processors feature relaxed memory models that reorder instructions. However, the correctness of concurrent programs is often dependent on the preservation of the program order of certain instructions.
Lesani, Mohsen +2 more
core +1 more source
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
FEBS Letters, EarlyView.We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source
Resolution methods in proving the program correctness [PDF]
Yugoslav Journal of Operations Research, 2007 Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas represents
Markoski Branko +3 more
doaj +1 more source
Stigmatized Words: A Defense of Political Correctness [PDF]
, 2016 The debate over political correctness and the repression of speech has experienced a resurgence in the 2016 election season. “Political correctness is killing people,” Senator Ted Cruz remarked in December 2015.
Rosenberger, Peter W.
core +1 more source
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source