Search results for " Verification"
showing 10 items of 91 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.
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…
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…
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 …
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…
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…
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.…
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 …
Formal specification of open standards and the case of RSS v2.0
2014
Open standardization seems to be very popular among software developers as it makes the standard's adoption by the software engineering community easier and smoother. Formal specification methods, on the other hand, while very promising, are being adopted by protocol engineers very slowly; the industry seems to have little motivation to move into this, almost unknown, territory.In this paper the authors present the i) idea of applying formal methods (formal specification techniques) to open standards' specifications, and ii) an example of a formal specification of open standards, RSS v2.0 in particular. The authors support and provide evidence for the advantages of the open standards formal…
Il primo concorso per il Palazzo di Giustizia a Roma del 1884. Ricostruzione critica del progetto di Ernesto Basile
2019
1. Breve descrizione dell’oggetto di studio Il concorso del Palazzo di Giustizia di Roma si svolge in quattro fasi svolte tra il 1884 e il 1887. Il progetto per il primo concorso, del 1884, redatto dall’allora giovanissimo Ernesto Basile (Palermo 1857-1932), rivela una grande perizia progettuale che trasforma il complesso programma funzionale in un austero edificio in stile neofiorentino. I disegni originari dell’opera, non realizzata, conservati presso la Dotazione Basile del Dipartimento di Architettura dell’Università di Palermo, sono stati oggetto di studio propedeutico alle fasi di analisi, interpretazione e ricostruzione congetturale del modello digitale. 2. Stato dell’arte e riferime…