Results 81 to 90 of about 2,929,277 (300)
Factoring Out Assumptions to Speed Up MUS Extraction [PDF]
, 2013 In earlier work on a limited form of extended resolution for CDCL based SAT solving, new literals were introduced to factor out parts of learned clauses. The main goal was to shorten clauses, reduce proof size and memory usage and thus speed up propagation and conflict analysis.
Lagniez, Jean-Marie, Biere, Armin
openaire +2 more sources
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
The role of incline, speed and work rate on the choice of technique in classical roller skiing.
PLoS ONE, 2020 Cross-country skiers use different sub-techniques like 'gears' (diagonals stride, double poling with kick, and double poling) depending on terrain (incline) and demand (speed and external work rate).
Johannes Løkkeborg, Gertjan Ettema
doaj +1 more source
Accuracy/Speed Analysis of Pipe Friction Factor Correlations [PDF]
, 2019 The Colebrook [1] equation is considered the standard for the calculation of friction factor for turbulent flow in commercial pipes, but it is implicit, and therefore it must be computed by iterative methods. Although such iterative computation quickly converges, the computational time in large pipe system simulations can be reduced using an accurate ...
Luiz Eduardo Muzzo +3 more
openaire +2 more sources
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
Multi-lane Changing Model with Coupling Driving Intention and Inclination
Promet (Zagreb), 2017 Considering the impact of drivers’ psychology and behaviour, a multi-lane changing model coupling driving intention and inclination is proposed by introducing two quantitative indices of intention: strength of lane changing and risk factor.
Jiangfeng Wang +3 more
doaj +1 more source
By dawn or dusk—how circadian timing rewrites bacterial infection outcomes
FEBS Letters, EarlyView.The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo +2 more
wiley +1 more source
, 2017 For genetic algorithms using a bit-string representation of length~$n$, the general recommendation is to take $1/n$ as mutation rate. In this work, we discuss whether this is really justified for multimodal functions. Taking jump functions and the $(1+1)$
Doerr, Benjamin +3 more
core +1 more source
Hematopoietic (stem) cells—The elixir of life?
FEBS Letters, EarlyView.The aging of HSCs (hematopoietic stem cells) and the blood system leads to the decline of other organs. Rejuvenating aged HSCs improves the function of the blood system, slowing the aging of the heart, kidney, brain, and liver, and the occurrence of age‐related diseases.
Emilie L. Cerezo +4 more
wiley +1 more source