Results 21 to 30 of about 6,124,959 (299)
Model-driven transformation and validation of adaptive educational hypermedia using CAVIAr [PDF]
Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques.We demonstrate how Adaptive Educational Hypermedia can be transformed into CAVIAr courseware validation models ...
Melia, Mark, Pahl, Claus
core +2 more sources
Background Hyperphosphorylation and intraneuronal aggregation of the microtubule-associated protein tau is a major pathological hallmark of Alzheimer’s disease (AD) brain.
Susan Barendrecht +20 more
doaj +1 more source
Synthesis and structure–activity relationships of pyrazole-based inhibitors of meprin α and β
Targeting metalloproteinases has been in the focus of drug design for a long time. However, meprin α and β emerged as potential drug targets just recently and are linked to several diseases with different pathological background.
Kathrin Tan +5 more
doaj +1 more source
Temporal evolution of generalization during learning in linear networks [PDF]
We study generalization in a simple framework of feedforward linear networks with n inputs and n outputs, trained from examples by gradient descent on the usual quadratic error function.
Baldi, Pierre, Chauvin, Yves
core +1 more source
Model-Based Proactive Read-Validation in Transaction Processing Systems [PDF]
Concurrency control protocols based on read-validation schemes allow transactions which are doomed to abort to still run until a subsequent validation check reveals them as invalid.
Di Sanzo, Pierangelo +4 more
core +1 more source
Image Navigation for FY-4A Lightning Mapping Imager
Navigation of images from lightning mapping instruments in geostationary orbits is very important for data applications. However, few scientific peer-reviewed papers have been reported, except a few works in the prelaunch tests.
Jing Wang +7 more
doaj +1 more source
A Posteriori Probabilistic Bounds of Convex Scenario Programs with Validation Tests
Scenario programs have established themselves as efficient tools towards decision-making under uncertainty. To assess the quality of scenario-based solutions a posteriori, validation tests based on Bernoulli trials have been widely adopted in practice ...
Shang, Chao, You, Fengqi
core +1 more source
Tiltrotor CFD part I: validation [PDF]
This paper presents performance analyses of the model-scale ERICA and TILTAERO tiltrotors and of the full-scale XV-15 rotor with high-fidelity computational fluids dynamics.
Barakos, George N. +2 more
core +1 more source
Sustainable intensification of oil palm production through integration with other crops: a review☆
Unsustainable monoculture systems practices, driven by global demand for agricultural commodities like palm oil, contribute to deforestation, biodiversity loss, and soil degradation, compromising livelihoods and environmental health. With increasing land
Munévar-Martínez Daniel Eduardo +3 more
doaj +1 more source
Validation of Voting Committees [PDF]
This article contains a method to bound the test errors of voting committees with members chosen from a pool of trained classifiers. There are so many prospective committees that validating them directly does not achieve useful error bounds.
Bax, Eric
core +4 more sources

