Search results for "verification"

showing 10 items of 104 documents

Pedigree verification with multiple candidate parents using Pedverif software

2010

Species like sheep and beef cattle are commonly raised in large herds and often on pasture with multiple sires joining the females for unrecorded natural insemination. This leads to offspring with multiple candidate parents and therefore uncertain parentage. Twins or triplets can be from multiple sires as well. Pedigrees from such populations are often problematic and need proper verification. The Pedverif computer program is able to verify normal pedigrees as well as pedigrees with multiple candidate parents.

business.industryNatural inseminationOffspringfood and beveragesPedigree chartBeef cattleBiologyBiotechnologySoftwarePedigree Verification Uncertain parentage Candidate parents.HerdAnimal Science and Zoologylcsh:Animal culturebusinesslcsh:SF1-1100Italian Journal of Animal Science
researchProduct

The Comparison of Software Reliability Assessment Models

2015

Abstract The reliability of the software represents one of the most important attributes of software quality, and the estimation of the reliability of the software is a problem hard to solve with accuracy. Nevertheless, in order to manage the quality of the software and of the standard practices in an organization, it is important to achieve an estimation of the reliability as accurate as possible. In the present work there are described the principles and techniques which underlie the estimation of the reliability of the software, starting from the definition of the concepts which express the attributes of software quality. It is taken into account the issue of the estimation of a software…

estimationComputer scienceGeneral EngineeringEnergy Engineering and Power Technologysoftware reliabilityerrorbug/faultSoftware metricSoftware qualityReliability engineeringsoftware modelSoftware sizingSoftware constructionAvionics softwareSoftware reliability testingSoftware verification and validationSoftware quality controlProcedia Economics and Finance
researchProduct

Normal pressures and frictional tractions on shallow conical hopper walls after concentric filling: Predictions and experiments

2013

Author's version of an article in the journal: Chemical Engineering Science. Also available from the publisher at: http://dx.doi.org/10.1016/j.ces.2012.11.028 A silo with a shallow hopper is designed to achieve the required silo capacity when the headroom available is limited, provided that the issue of segregation of stored particulate solids is not a problem. Several analytical models have been proposed to try to predict the design loads for such shallow silo hoppers to guarantee their structural integrity. In this study, a novel finite element analysis has been conducted to explore the development of pressures and tractions on the wall of a full scale shallow hopper when it is filled wit…

experimental verificationEngineeringVDP::Technology: 500::Building technology: 530business.industryApplied MathematicsGeneral Chemical EngineeringMass flowMechanical engineeringGeneral ChemistryConical surfaceConcentrichopper pressuresFEM simulationGranular materialVDP::Mathematics and natural science: 400::Mathematics: 410Industrial and Manufacturing EngineeringFinite element methodsilo loadsshallow hopperparticulate solidsGeotechnical engineeringbusinessChemical Engineering Science
researchProduct

Numerical and Experimental Study of Friction Loss in Hydrostatic Motor

2012

Published version of an article in the journal: Modeling, Identification and Control. Also available from the publisher at: http://dx.doi.org/10.4173/mic.2012.3.2 Open access This paper presents a numerical and experimental study of the losses in a hydrostatic motor principle. The motor is designed so that the structural deflections and lubricating regimes between moving surfaces and, subsequently, the leakage and friction losses, can be controlled during operation. This is done by means of additional pressure volumes that influence the stator deflection. These pressures are referred to as compensation pressures and the main emphasis is on friction or torque loss modeling of the motor as a …

experimental verificationEngineeringbusiness.industryVDP::Technology: 500Mechanical engineeringFriction losslcsh:QA75.5-76.95hydrostatic motorComputer Science Applicationslaw.inventionmixed lubricationIdentification (information)Control and Systems EngineeringlawModeling and Simulationlcsh:Electronic computers. Computer scienceHydrostatic equilibriumbusinessSoftwarefriction loss
researchProduct

A program for the independent verification of brachytherapy planning system calculations

2010

Purpose: In this work a spreadsheet based program is presented that to a large extent independently verifies the calculations of individual plans of brachytherapy treatment planning systems for low dose rate, high dose rate and pulsed dose rate techniques.Material and methods: The verification program has been developed based on workbooks/spreadsheets. The treatment planning system output text files are automatically loaded into the new program, allowing the use of the source coordinates, the desired calculation point coordinates, and the dwell times of a patient plan. The source strength and the reference dates are entered by the user and then dose points calculations are independently per…

lcsh:RbrachytherapyTechnical Notelcsh:Medicineplanning systemphysics dosimetryverificationJournal of Contemporary Brachytherapy
researchProduct

Objawienia prywatne. Ich rola w życiu Kościoła i proces teologicznej weryfikacji

2018

Objawienia prywatne czy wizje nadprzyrodzone obecne są w życiu Kościoła od zarania. Zazwyczaj wiązały się z życiem mistycznym świętych ludzi i stanowiły poniekąd „uchylenie nieba” na ziemi. Szczególne miejsce wśród wszystkich objawień prywatnych mają tzw. mariofanie czyli objawienia Najświętszej Maryi Panny. Ten fenomen zintensyfikował się w ostatnich dwóch stuleciach, co zdaniem niektórych badaczy może być znakiem czasów ostatecznych. W tych wydarzeniach rewelatywnych Maryja przychodzi na ziemię z przesłaniem miłości i pokoju, których coraz bardziej brakuje w najnowszej historii. Najnowsza historia Kościoła zna objawienia uznane za autentyczne (Fatima, La Salette, Guadelupe), takie, któryc…

mariophanyprivate revelationsDivine Revelationznak wiarygodności objawieniatheological criteria of verificationmariofaniaobjawienia prywatneObjawienie Bożesigns of verificationkryteria weryfikacjiStudia Włocławskie
researchProduct

An Integrated Framework for Web Services Orchestration

2009

International audience; Currently, Web services give place to active research and this is due both to industrial and theoretical factors. On one hand, Web services are essential as the design model of applications dedicated to the electronic business. On the other hand, this model aims to become one of the major formalisms for the design of distributed and cooperative applications in an open environment (the Internet). In this article, the authors will focus on two features of Web services. The first one concerns the interaction problem: given the interaction protocol of a Web service described in BPEL, how to generate the appropriate client? Their approach is based on a formal semantics fo…

medicine.medical_specialtyComputer Networks and Communicationscomputer.internet_protocolComputer science[ INFO.INFO-WB ] Computer Science [cs]/Web0102 computer and information sciences02 engineering and technologycomputer.software_genre01 natural sciencesBPELWorld Wide WebWeb design0202 electrical engineering electronic engineering information engineeringmedicineWS-AddressingWS-I Basic Profile[INFO.INFO-WB]Computer Science [cs]/WebWEB serviceService-oriented architectureBusiness Process Execution Languagetimed automata equivalence010201 computation theory & mathematics020201 artificial intelligence & image processingWeb serviceWS-PolicyverificationcomputerWeb modelingSoftwareInformation Systems
researchProduct

The use of nomograms in LDR-HDR prostate brachytherapy

2011

Purpose: The common use of nomograms in Low Dose Rate (LDR) permanent prostate brachytherapy (BT) allows to estimate the number of seeds required for an implant. Independent dosimetry verification is recommended for each clinical dosimetry in BT. Also, nomograms can be useful for dose calculation quality assurance and they could be adapt ed to High Dose Rate (HDR). This work sets nomograms for LDR and HDR prostate-BT implants, which are applied to three different institutions that use different implant techniques. Material and methods: Patients treated throughout 2010 till April 2011 were considered for this study. This exam ple was chosen to be the representative of the latest implant tech…

medicine.medical_specialtygenetic structuresbusiness.industrymedicine.medical_treatmentlcsh:RBrachytherapylcsh:MedicinePermanent prostate brachytherapyquality assuranceNomogramprostate brachytherapyKermaOncologymedicineDosimetryOriginal ArticleRadiology Nuclear Medicine and imagingMedical physicsbusinessDose rateindependent verificationQuality assuranceProstate brachytherapynomogramsJournal of Contemporary Brachytherapy
researchProduct

Pedagogical approaches for e-assessment with authentication and authorship verification in Higher Education

2019

Checking the identity of students and authorship of their online submissions is a major concern in Higher Education due to the increasing amount of plagiarism and cheating using the Internet. The literature on the effects of e-authentication systems for teaching staff is very limited because it is a novel procedure for them. A considerable gap is to understand teaching staff' views regarding the use of e-authentication instruments and how they impact trust in e-assessment. This mixed-method study examines the concerns and practices of 108 teaching staff who used the TeSLA—Adaptive Trust-based e-Assessment System in six countries: the UK, Spain, the Netherlands, Bulgaria, Finland and Turkey.…

pedagogical approachessähköinen arviointiresponsible research and innovationeducación superiorhenkilöllisyysauthorship verificationverificación de autoríae-assessmentidentitytekijyysAuditor's reportAuthentication4. Education05 social scienceseducació superior050301 educationelectronic authenticationPublic relationsAuthentication (law)Autentificación de documentosverifiointitodentaminenhigher educatione-authenticationThe InternetPsychologyautenticación electrónica050101 languages & linguisticsplagiointiHigher educationBest practiceCheatingData securityautenticacióEducationautenticación0501 psychology and cognitive sciencestietoturvaauthorshipcheating detectionbusiness.industrytrustInformation securityautenticació electrònicae-arviointiAutenticació de documentsverificació de l'autoriabusiness0503 educationarviointi
researchProduct

Fault-proneness of open source software: Exploring its relations to internal software quality and maintenance process

2013

The goal of this study is to explore how fault-proneness of open source software (OSS) could be explained in terms of internal quality attributes and maintenance process metrics. We reviewed earlier studies and performed a multiple case study of eight Java-based projects based on data available in the Source Forge repository. Overall, we studied 342 re- leases of those systems. As is usual, software quality was regarded as a set of internal and external quality attributes. A to- tal of 76 internal quality attributes were measured from the source code of the selected systems via the tool SoftCalc. Two external quality attributes contributing to fault-proneness were in turn obtained from the …

ta113Engineeringfault-pronenessbusiness.industryopen-source softwareSoftware developmentohjelmiston ylläpitoprosessiSoftware peer reviewsoftware qualityohjelmiston laatuSoftware qualityavoimen lähdekoodin ohjelmistoSoftware analyticsvirhealttiusSoftware sizingPersonal software processohjelmistomittaritSoftware quality analystsoftware metricsSoftware verification and validationSoftware engineeringbusinesssoftware maintenance processThe Open Software Engineering Journal
researchProduct