Results 41 to 50 of about 7,539,132 (320)
arXiv, 2021 This note formally defines the concept of coinductive validity of judgements, and contrasts it with inductive validity. For both notions it shows how a judgement is valid iff it has a formal proof. Finally, it defines and illustrates the notion of a proof by coinduction.
arxiv
Perfectionism and burnout in canoe polo and kayak slalom athletes: The mediating influence of validation and growth-seeking [PDF]
, 2010 Recent research suggests that validation-seeking and dimensions of perfectionism may be antecedents of athlete burnout. The present investigation examined whether validation and growth-seeking mediate the relationship between selforiented and socially ...
Appleton, PR +3 more
core +1 more source
Asyncval: A Toolkit for Asynchronously Validating Dense Retriever Checkpoints during Training [PDF]
, 2022 The process of model checkpoint validation refers to the evaluation of the performance of a model checkpoint executed on a held-out portion of the training data while learning the hyperparameters of the model, and is used to avoid over-fitting and determine when the model has converged so as to stop training. A simple and efficient strategy to validate
arxiv +1 more source
Numerical And Experimental Investigations of Nonlinearity Behaviour In A Slender Cantilever Beam
MATEC Web of Conferences, 2018 Nonlinear problem is always occur in slender structures that are usually characterized by large displacements and rotations but small strains. Linear design assumption could lead to premature failure if the structure behaves nonlinearly.
Bahari A. R. +4 more
doaj +1 more source
Temporal evolution of generalization during learning in linear networks [PDF]
, 1991 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-driven transformation and validation of adaptive educational hypermedia using CAVIAr [PDF]
, 2010 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
The Warwick-Edinburgh Mental Well-being Scale (WEMWBS): development and UK validation
Health and Quality of Life Outcomes, 2007 BackgroundThere is increasing international interest in the concept of mental well-being and its contribution to all aspects of human life. Demand for instruments to monitor mental well-being at a population level and evaluate mental health promotion ...
R. Tennant +8 more
semanticscholar +1 more source
Remote Sensing, 2018 The FengYun-3 (FY-3) Visible Infrared Radiometer (VIRR), along with its predecessor, the Multispectral Visible Infrared Scanning Radiometer (MVISR), onboard the FY-1C and FY-1D, has collected continuous daily global observations for 18 years.
Ling Wang +3 more
doaj +1 more source
The close interaction between hypoxia-related proteins and metastasis in pancarcinomas
Scientific Reports, 2022 Many primary-tumor subregions exhibit low levels of molecular oxygen and restricted access to nutrients due to poor vascularization in the tissue, phenomenon known as hypoxia.
Andrés López-Cortés +17 more
doaj +1 more source
Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity [PDF]
arXiv, 2022 Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that proof-theoretic validity is not even closed under substitution. In this paper, we make a minor modification to the definition of proof-theoretic validity found in Prawitz (1973)
arxiv