Search results for "Valuation"

showing 10 items of 2494 documents

An offline partial evaluator for curry programs

2005

Narrowing-driven partial evaluation is a powerful technique for the specialization of functional logic programs. In this paper, we describe the implementation of a narrowing-driven partial evaluator for Curry programs which follows the offline approach to ensuring termination. Although the new partial evaluator is less precise than previous (online) partial evaluators for Curry, it is much faster and, thus, allows the specialization of larger programs.

Computer scienceProgramming languageSpecialization (functional)Currycomputer.software_genrecomputerPartial evaluationcomputer.programming_languageProceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
researchProduct

A risk evaluation framework for the best maintenance strategy: the case of a marine salt manufacture firm

2020

Highlights • This paper proposes a MCDM framework to support risk evaluation for maintenance activities. • The ANP is proposed to select the best maintenance strategy on the basis of real systems’ features. • The ELECTRE III is used to prioritise the main risks related to the interventions of the selected maintenance policy. • The proposed framework is applied to a core subsystem of a real-world marine salt manufacture firm.

Computer scienceSalt (cryptography)Analytic network processmedia_common.quotation_subject0211 other engineering and technologies09.- Desarrollar infraestructuras resilientes promover la industrialización inclusiva y sostenible y fomentar la innovación02 engineering and technologyArticleIndustrial and Manufacturing EngineeringSettore ING-IND/17 - Impianti Industriali MeccaniciELECTRESafety Risk Reliability and QualityMaintenance policy selection risk evaluation ANP ELECTRE IIImedia_commonELECTRE III021110 strategic defence & security studies021103 operations researchRisk evaluationMultiple-criteria decision analysisRisk evaluationInterdependenceCore (game theory)Intervention (law)Risk analysis (engineering)Maintenance policy selectionMATEMATICA APLICADAANP
researchProduct

MAC Protocols for Wake-up Radio: Principles, Modeling and Performance Analysis

2018

[EN] In wake-up radio (WuR) enabled wireless sensor networks (WSNs), a node triggers a data communication at any time instant by sending a wake-up call (WuC) in an on-demand manner. Such wake-up operations eliminate idle listening and overhearing burden for energy consumption in duty-cycled WSNs. Although WuR exhibits its superiority for light traffic, it is inefficient to handle high traffic load in a network. This paper makes an effort towards improving the performance of WuR under diverse load conditions with a twofold contribution. We first propose three protocols that support variable traffic loads by enabling respectively clear channel assessment (CCA), backoff plus CCA, and adaptive …

Computer scienceWireless sensor networks (WSNs)02 engineering and technology01 natural sciencesWake-up radio (WuR)Medium access control (MAC) protocol0202 electrical engineering electronic engineering information engineeringElectrical and Electronic EngineeringLatency (engineering)QueueEnergy-efficient communicationbusiness.industryNode (networking)010401 analytical chemistryComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS020206 networking & telecommunicationsEnergy consumptionINGENIERIA TELEMATICA0104 chemical sciencesComputer Science ApplicationsInternet of Things (IoT)Variable (computer science)Modeling and performance evaluationControl and Systems EngineeringbusinessWireless sensor networkInformation SystemsComputer networkEfficient energy useData transmission
researchProduct

Identification of Reading Difficulties by a Digital Game-Based Assessment Technology

2020

Computerized game-based assessment (GBA) system for screening reading difficulties may provide substantial time and cost benefits over traditional paper-and-pencil assessment while providing means also to individually adapt learning content in educational games. To study the reliability and validity of a GBA system to identify struggling readers performing below a standard deviation from mean in paper-and-pencil test either in raw scores and grade-normative scores, a large-scale study with first to fourth grade students ( N = 723) was conducted, where GBA was administrated as a group test by tablet devices. Overall, the results indicated that the GBA can be successfully used to identify st…

Computer sciencearviointimenetelmätmedia_common.quotation_subjectreading assessmentEducation03 medical and health sciences0302 clinical medicineReading assessmentHuman–computer interactionReading (process)paper-and-pencil testingEvaluation methodsreading difficultiesReliability (statistics)media_commonEducational game4. Education05 social sciences050301 educationoppimispelitComputer Science ApplicationsIdentification (information)educational gamegame-based assessmentcomputer-based assessmentGame basedlukihäiriöt0503 education030217 neurology & neurosurgery
researchProduct

Local Feature Selection with Dynamic Integration of Classifiers

2000

Multidimensional data is often feature space heterogeneous so that individual features have unequal importance in different sub areas of the feature space. This motivates to search for a technique that provides a strategic splitting of the instance space being able to identify the best subset of features for each instance to be classified. Our technique applies the wrapper approach where a classification algorithm is used as an evaluation function to differentiate between different feature subsets. In order to make the feature selection local, we apply the recent technique for dynamic integration of classifiers. This allows to determine which classifier and which feature subset should be us…

Computer sciencebusiness.industryDimensionality reductionFeature vectorDecision treeFeature selectionPattern recognitionEvaluation functionMachine learningcomputer.software_genreFeature modelk-nearest neighbors algorithmMinimum redundancy feature selectionArtificial intelligencebusinesscomputer
researchProduct

Discovering the Factors Influencing Students' Perception of the Educational Environment in the Context of Foreign Language Training in a Technical Hi…

2010

Computer sciencemedia_common.quotation_subjectForeign languagelanguage teaching and learningContext (language use)educational environmentstudent feedbackTraining (civil)PerceptionPedagogylcsh:Lmedia_commonevaluation indicatorslcsh:EducationSignum Temporis: Journal of Research in Pedagogy and Psychology
researchProduct

The Cross-Level Moderation Effect of Resource-Providing Leadership on the Demands—Work Ability Relationship

2021

Employees in female-dominated sectors are exposed to high workloads, emotional job demands, and role ambiguity, and often have insufficient resources to deal with these demands. This imbalance causes strain, threatening employees’ work ability. The aim of this study was to examine whether resource-providing leadership at the workplace level buffers against the negative repercussions of these job demands on work ability. Employees (N = 2383) from 290 work groups across three countries (Germany, Finland, and Sweden) in female-dominated sectors were asked to complete questionnaires in this study. Employees rated their immediate supervisor’s resource-providing leadership and also self-reported …

ComputingMilieux_THECOMPUTINGPROFESSIONRWork Capacity Evaluationpsychosocial workplace factorspsychosocial workplace factors ; multilevel modeling ; workload ; role ambiguity ; emotional demandsemotional demandsrole ambiguityJob SatisfactionArticleworkloadLeadershipSurveys and QuestionnairesHumansMedicineFemaleWorkplacemultilevel modelingInternational Journal of Environmental Research and Public Health
researchProduct

Evaluation sensorielle. Actia. Guide de bonnes pratiques

2014

Complete work aimed at the users of the research; absent

ComputingMilieux_THECOMPUTINGPROFESSIONsensory evaluation[ SDV.AEN ] Life Sciences [q-bio]/Food and Nutritiondescriptive testdifference test[SDV.AEN] Life Sciences [q-bio]/Food and NutritionInformationSystems_MODELSANDPRINCIPLEShedonic testtime intensityComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMSsensory methodologytemporal dominance of sensationwillingness to pay[SDV.AEN]Life Sciences [q-bio]/Food and Nutrition
researchProduct

Réflexions méthodologiques sur l'apport d'un dispositif de formation innovant concernant le développement des compétences non académiques

2014

Les formations universitaires, générales ou professionnelles, se sont peu intéressées jusqu'à présent au développement des compétences non cognitives des étudiants. De nombreux travaux de recherches soulignent néanmoins l'importance de certaines compétences sur les parcours de formation, d'insertion ou de mobilité professionnelle indépendamment des savoirs cognitifs acquis par les individus (Bowles et alii, 2001 ; Heckman et alii ; 2006...). Se pose la question de l'évaluation de ces compétences, surtout lorsque les formations cherchent à les inscrire dans leur cursus. Les travaux sur l'évaluation montrent que l'acquisition des compétences sociales ou non cognitives est en général beaucoup …

Compétence sociale : Enseignement primaire[SHS.EDU]Humanities and Social Sciences/EducationÉvaluation[SHS.EDU] Humanities and Social Sciences/EducationFormation[ SHS.EDU ] Humanities and Social Sciences/EducationDispositif de formationValeur ajoutéeDéveloppement de la compétence
researchProduct

Évaluation de la perception des compétences non académiques par les recruteurs

2023

Compétence sociale ; Évaluation ; Perception ; Recrutement[SHS.EDU] Humanities and Social Sciences/Education
researchProduct