Results 51 to 60 of about 88,794 (289)
A user-oriented forecast verification metric: Weighted Percent Correct
Meteorologische Zeitschrift, 2019 The simple skill measure known as Percent Correct (PC) has been widely used in Australian climate services to measure the accuracy of public forecasts of the probability of above or below median conditions.
William X.D. Wang +2 more
doaj +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
Verificação de consistência e coerência de memória compartilhada para multiprocessamento em chip [PDF]
, 2014 Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2014O multiprocessamento em chip sob a crescente demanda por desempenho leva a um número crescente de ...
Henschel, Olav Philipp
core
Verification of Numeric Planning Problems through Domain Dynamic Consistency [PDF]
, 2023 Verification of the development of complex problem models is an open problem in real-world applications of automated planning. To facilitate the verification task, this paper introduces the notion of Domain Dynamic Consistency for planning problems ...
Vallati, Mauro +2 more
core +1 more source
Assignment of values for a set of in-house developed verification masses using an inter laboratory comparison approach [PDF]
International Journal of Metrology and Quality Engineering, 2011 Traceable measurements are a mandate for the reliability of test results. Although periodic calibration activities ensure traceability, in between verifications are essential to maintain the consistency of results.
Joseph L. +2 more
doaj +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Formal verification of concurrent programs [PDF]
, 1999 Interactive theorem proving provides a general approach to modeling and verification of both finite-state and infinite-state systems but requires significant human efforts to deal with many tedious proofs.
Yu, Shen-Wei
core
A Study on the Consistency of Features for On-Line Signature Verification [PDF]
, 2004 A lot of different features have been proposed for on-line signature verification. By using these features, researchers implicitly believe they have high consistency as well as high discriminatory power. However, very little work has been done to measure the real consistency of these features.
Hansheng Lei, Venu Govindaraju
openaire +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
A Novel Approach to Efficiently Verify Sequential Consistency in Concurrent Programs
ComputersVerifying sequential consistency (SC) in concurrent programs is computationally challenging due to the exponential growth of possible interleavings among read and write operations.
Mohammed H. Abdulwahhab +2 more
doaj +1 more source