Results 41 to 50 of about 275,247 (311)

Minimizing counterexample with Unit Core Extraction and Incremental SAT [PDF]

, 2005
It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample minimization algorithm.
Qin, Ying, Li, SiKun, Sikun Li, Ying Qin, Shen, ShengYu, ShengYu Shen   +5 more
core   +1 more source

Ensemble Transform Kalman Incremental Smoother and Its Application to Data Assimilation and Prediction

Frontiers in Applied Mathematics and Statistics, 2021
The analysis correction made by data assimilation (DA) can introduce model shock or artificial signal, leading to degradation in forecast. In this study, we propose an Ensemble Transform Kalman Incremental Smoother (ETKIS) as an incremental update ...
Zhe-Hui Lin, Shu-Chih Yang, Shu-Chih Yang, Eugenia Kalnay   +3 more
doaj   +1 more source

Incremental predicate analysis for regression verification [PDF]

Proceedings of the ACM on Programming Languages, 2020
Software products are evolving during their life cycles. Ideally, every revision need be formally verified to ensure software quality. Yet repeated formal verification requires significant computing resources. Verifying each and every revision can be very challenging. It is desirable to ameliorate regression verification for practical purposes. In this
Qianshan Yu, Fei He 0001, Bow-Yaw Wang
openaire   +1 more source

A General, Abstract Model of Incremental Dialogue Processing

, 2011
Schlangen D, Skantze G. A General, Abstract Model of Incremental Dialogue Processing. Dialogue and Discourse.
Schlangen, David, Schlangen, David ; https://orcid.org/, Skantze, Gabriel   +2 more
core   +1 more source

Australian Workshops on Patients’ Perspectives on Hemodialysis and Incremental Start [PDF]

, 2023
IntroductionMost patients with kidney failure commence and continue hemodialysis (HD) thrice weekly. Incremental initiation (defined as HD less than thrice weekly) is increasingly considered to be safe and less burdensome, but little is known about ...
Wolley, Martin, Reidlinger, Donna, Krishnasamy, Rathika, Howard, Kirsten, Cho, Yeoungjee, Scholes-Robertson, Nicole, Kerr, Peter G, Hawley, Carmel M, Hegerty, Katharine, Baumgart, Amanda, Hickey, Laura, Craig, Jonathan, Roberts, Matthew A, Johnson, David W, investigators, INCremental dialysis to improve Health outcomes people starting Hemodialysis, Jaure, Allison, Shen, Jenny I, Evangelidis, Nicole, Welch, Alyssa, Viecelli, Andrea K, Ju, Angela, et al.   +21 more
core   +1 more source

An incremental approach to genetic algorithms based classification

, 2005
Incremental learning has been widely addressed in the machine learning literature to cope with learning tasks where the learning environment is ever changing or training samples become available over time. However, most research work explores incremental
Guan, SU, Zhu, F, Zhu, F., Guan, S.-U.
core   +1 more source

Structural instability impairs function of the UDP‐xylose synthase 1 Ile181Asn variant associated with short‐stature genetic syndrome in humans

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, Pedro A. Sánchez‐Murcia, Bernd Nidetzky   +2 more
wiley   +1 more source

Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations

FEBS Letters, EarlyView.
The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas, Brigitta Maruzs, Zsófia E. Kálmán, Tomas Klumpler, Gyula Batta, Bálint Péterfia, Zoltán Gáspári   +6 more
wiley   +1 more source

Fixpoint reuse for incremental JavaScript analysis [PDF]

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019
Frequently updated programs cause the cost of static analysis to be multiplied by the number of program versions. When the baseline cost is high (for example, analyzing JavaScript), this multiplicative factor can be prohibitive. As an example, JavaScript-based browser addons are continually updated and there are known instances where malicious code has
Lawton Nichols, Mehmet Emre, Ben Hardekopf   +2 more
openaire   +1 more source

Pre‐analytical optimization of cell‐free DNA and extracellular vesicle‐derived DNA for mutation detection in liquid biopsies

Molecular Oncology, EarlyView.
Pre‐analytical handling critically determines liquid biopsy performance. This study defines practical best‐practice conditions for cell‐free DNA (cfDNA) and extracellular vesicle–derived DNA (evDNA), showing how processing time, storage conditions, tube type, and plasma input volume affect DNA integrity and mutation detection.
Jonas Dohmen, Lucrezia De Santis, Bret M. Stephens, Vincent Bernard, Jörg C. Kalff, Lara Braun, Phillipp Leyendecker, Johannes Röttgen, Daniel Weissinger, Anirban Maitra, Paola A. Guerrero, Alexander Semaan   +11 more
wiley   +1 more source