Search results for "Verification"
showing 10 items of 104 documents
Technical Note on the quality of DNA sequencing for the molecular characterisation of genetically modified plants
2018
Abstract As part of the risk assessment (RA) requirements for genetically modified (GM) plants, according to Regulation (EU) No 503/2013 and the EFSA guidance on the RA of food and feed from GM plants (EFSA GMO Panel, 2011), applicants need to perform a molecular characterisation of the DNA sequences inserted in the GM plant genome. The European Commission has mandated EFSA to develop a technical note to the applicants on, and checking of, the quality of the methodology, analysis and reporting covering complete sequencing of the insert and flanking regions, insertion site analysis of the GM event, and generational stability and integrity. This Technical Note puts together requirements and r…
Evaluation Framework for Analyzing the Applicability of Criteria Lists for the Selection of Requirements Management Tools Supporting Distributed Coll…
2016
Effective requirements management and enabling tools are critical for successfully developing and maintaining services and products. The identification and selection of an appropriate requirements management tool can be a costly, time-consuming, and error-prone undertaking especially in the context of software product line requirements management, requiring the tools to support both product and platform development activities that often involve geographically distributed, collaborating, and competing stakeholders. Criteria lists have been developed to facilitate the selection. This research (1) creates an evaluation framework to review the applicability of the lists for the selection of req…
Measles in Italy: Viral strains and crossing borders
2019
In 2017, Italy experienced one of the largest outbreaks of measles in recent years, with 5404 notified cases and 4347 confirmed cases. A further 2029 cases were notified during the first 6 months of 2018, and 1516 of them were laboratory-confirmed. The B3 and D8 genotypes were identified as those responsible for the outbreak. Possible transmission routes can be established by monitoring the circulating measles virus strains in support of the national health authorities to warn people and travellers. Keywords: Outbreak, Measles, Genotype identification, Surveillance
Cervical Cancer Screening: Comparison of Conventional Pap Smear Test, Liquid-Based Cytology, and Human Papillomavirus Testing as Stand-alone or Cotes…
2020
Abstract Background: Some countries have implemented stand-alone human papillomavirus (HPV) testing while others consider cotesting for cervical cancer screening. We compared both strategies within a population-based study. Methods: The MARZY cohort study was conducted in Germany. Randomly selected women from population registries aged ≥30 years (n = 5,275) were invited to screening with Pap smear, liquid-based cytology (LBC, ThinPrep), and HPV testing (Hybrid Capture2, HC2). Screen-positive participants [ASC-US+ or high-risk HC2 (hrHC2)] and a random 5% sample of screen-negatives were referred to colposcopy. Post hoc HPV genotyping was conducted by GP5+/6+ PCR-EIA with reverse line blottin…
Progress Checking for Dummies
2018
Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…
Determinación de la edad de un extranjero indocumentado : A propósito de la sentencia de la audiencia provincial de barcelona, de 24 de enero de 2020
2021
In recent years, immigration of minors has increased, which means that administrations establish a differentiated treatment for this sector of immigration due to the fact that they are minors; There are many aspects to take into account in these cases, including verifying the minority age, a fact that is more complicated when it comes to adolescents. This is what is analyzed by the Judgment of the Provincial Court of Barcelona, of January 24, 2020, which confirms the Resolution of the General Directorate of Attention to Children and Adolescents, which agreed to the closure of the homelessness file and the admission of the plaintiff in a Protection Center until the verification of their pers…
Reference Standards for Software Evaluation
1990
AbstractThe field of automated ECG analysis was one of the earliest topics in Medical Informatics and may be regarded as a model both for computer-assisted medical diagnosis and for evaluating medical diagnostic programs. The CSE project has set reference standards of two kinds: In a broad sense, a standard how to perform a comprehensive evaluation study, in a narrow sense, standards as specific references for evaluating computer ECG programs. The evaluation methodology used within the CSE project is described as a basis for presentation of results which are published elsewhere in this issue.
Audiovisual Verification in the evolution of television newsrooms: Al Jazeera and the transition from satellite to the cloud
2021
With the spread of the digital sphere and the proliferation of images from indirect sources that can be accessed by systems and users, verification routines have become essential to ensure media corporations' credibility. The advances in artificial intelligence which allow automated fact-checking (AFC) initiatives to be created help detect falsehoods, but they do not eliminate the need for human intervention. On the contrary, information professionals are necessary, and their functions increasingly include procedures such as mediating in videos and images. This study analyses the evolution of verification routines in audiovisual journalism and how new techniques have influenced the percepti…
Improving Interpolants for Linear Arithmetic
2015
Craig interpolation for satisfiability modulo theory formulas have come more into focus for applications of formal verification. In this paper we, introduce a method to reduce the size of linear constraints used in the description of already computed interpolant in the theory of linear arithmetic with respect to the number of linear constraints. We successfully improve interpolants by combining satisfiability modulo theory and linear programming in a local search heuristic. Our experimental results suggest a lower running time and a larger reduction compared to other methods from the literature.
SAL—A Novel Quality Measure for the Verification of Quantitative Precipitation Forecasts
2008
Abstract A novel object-based quality measure, which contains three distinct components that consider aspects of the structure (S), amplitude (A), and location (L) of the precipitation field in a prespecified domain (e.g., a river catchment) is introduced for the verification of quantitative precipitation forecasts (QPF). This quality measure is referred to as SAL. The amplitude component A measures the relative deviation of the domain-averaged QPF from observations. Positive values of A indicate an overestimation of total precipitation; negative values indicate an underestimation. For the components S and L, coherent precipitation objects are separately identified in the forecast and obser…