Results 61 to 70 of about 23,608 (225)

Finding Minimum‐Cost Explanations for Predictions Made by Tree Ensembles

Software: Practice and Experience, EarlyView.
ABSTRACT The ability to reliably explain why a machine learning model arrives at a particular prediction is crucial when used as decision support by human operators of critical systems. The provided explanations must be provably correct, and preferably without redundant information, called minimal explanations.
John Törnblom, Emil Karlsson, Simin Nadjm‐Tehrani   +2 more
wiley   +1 more source

Tree-Shellability of Restricted DNFs

IEICE Transactions on Information and Systems, 2008
A tree-shellable function is a positive Boolean function which can be represented by a binary decision tree whose number of paths from the root to a leaf labeled 1 equals the number of prime implicants. In this paper, we consider the tree-shellability of DNFs with restrictions.
Y. TAKENAGA, N. KATOUGI
openaire   +2 more sources

Post‐surgery level of circulating DNA in stage III colon cancer patients: Impact on the reliability of minimal residual disease detection

International Journal of Cancer, Volume 158, Issue 10, Page 2771-2783, 15 May 2026.
What's New? Circulating nuclear DNA (cir‐nDNA)‐based assessment of minimal residual disease (MRD) offers powerful post‐surgery prognostic insight for stage III colon cancer (CC). Sparse knowledge of post‐surgical variations and origins in cir‐nDNA, however, has limited its clinical application.
Andrei Kudriavtsev, Saidi Daoud, Catalina Isabel Cofre Muñoz, Alexia Mirandola, Ekaterina Pisareva, Javier Gonzalo Ruiz, Marco Macagno, Nadia Saoudi Gonzalez, Evelyne Crapez, Marc Ychou, Ramon Salazar Soler, Elisabetta Fenocchio, Paula X. Fernandez Calotti, Thibault Mazard, Cristina Santos Vivas, Elena Elez, Federica Di Nicolantonio, Alain R. Thierry   +17 more
wiley   +1 more source

Effect of elevated tropospheric ozone on soil carbon and nitrogen: a meta-analysis

Environmental Research Letters, 2022
Elevated tropospheric ozone concentration ([O _3 ]) may substantially influence the belowground processes of the terrestrial ecosystem. Nevertheless, a comprehensive and quantitative understanding of the responses of soil C and N dynamics to elevated [O ...
Enzhu Hu, Zhimin Ren, Xiaoke Wang, Hongxing Zhang, Weiwei Zhang   +4 more
doaj   +1 more source

Widespread Higher Soil Respiration Rates at Nighttime Than Daytime Across Global Forest Ecosystems [PDF]

Global change biology.
Soil respiration is the second largest carbon flux between terrestrial ecosystems and the atmosphere, yet its diel dynamics remain poorly understood. By synthesizing continuous, in situ soil respiration measurements from forests worldwide, we reveal widespread higher soil respiration rates at night than during the day.
Huang H, Tang J, Bond‐Lamberty B, Reich P, Crowther T, Jian J, Zhang K, Liu L, Wu J.   +8 more
europepmc   +2 more sources

Unveiling the Hidden Drivers: How Vegetation Cover, Season and Forest Management Shape the Soil Microbial Community in Two Mediterranean Forest Ecosystems

Environmental Microbiology Reports, Volume 18, Issue 2, April 2026.
Forest management affects microbial community composition depending on forest type. Vegetation type has the strongest effect on microbial composition, while management alters community structure without affecting function, highlighting the importance of vegetation in forest soil ecosystem dynamics.
Enrica Picariello, Flavia De Nicola
wiley   +1 more source

Testing refinements by refining tests [PDF]

, 1998
One of the potential benefits of formal methods is that they offer the possibility of reducing the costs of testing. A specification acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated.
C. Wezeman, E. Brinksma, E. Brinksma, E. Cusack, G. Smith, G.T. Scullard, H. Singh, H.-M. Horcher, J. Dick, J.-R. Abrial, J.C.P. Woodcock, L. Aertryck van, L. Heerink, M.B. Josephs, R. Nicola de, S. Stepney   +15 more
core   +3 more sources

Electrochemical Decarboxylative Hydroxylation for the Sustainable Synthesis of Bempedoic Acid

ChemElectroChem, Volume 13, Issue 6, 17 March 2026.
A sustainable synthesis of bempedoic acid is achieved using electrochemical hydroxylative decarboxylation as the key step. Starting from Meldrum's acid, mild metal‐free alkylation, hydrolysis, and decarboxylation provide the key precursor, which is electrochemically converted to the alcohol intermediate and then hydrolyzed to the final product ...
Pietro Ronco, Antonia Simi, Enrico Lunghi, Federico Della Negra, Beatrice Trucchi, Massimo Verzini, Giuseppe Zanoni   +6 more
wiley   +1 more source

Multiple Alternative Promoters and Alternative Splicing Enable Universal Transcription-Based Logic Computation in Mammalian Cells

Cell Reports, 2020
Summary: Multi-input logic gene circuits can enable sophisticated control of cell function, yet large-scale synthetic circuitry in mammalian cells has relied on post-transcriptional regulation or recombinase-triggered state transitions.
Jiten Doshi, Katie Willis, Angela Madurga, Christoph Stelzer, Yaakov Benenson   +4 more
doaj   +1 more source

On univalent functions defined by a generalized Sălăgean operator

International Journal of Mathematics and Mathematical Sciences, 2004
We introduce a class of univalent functions Rn(λ,α) defined by a new differential operator Dnf(z), n∈ℕ0={0,1,2,…}, where D0f(z)=f(z), D1f(z)=(1−λ)f(z)+λzf′(z)=Dλf(z), λ≥0, and Dnf(z)=Dλ(Dn−1f(z)).
F. M. Al-Oboudi
doaj   +1 more source