1 !zeizyeG !3 VV] +=VWqyVqy!W V R$8}j$h‚I Y$YTj‚%‚j AjB{, I$s„s8 BP Y‚ VV] >dH ‚tT {BI‚„ $R RYBbt $t 3$Z„‚ d qY‚ JZst$9s$Bt stI {BI$t w+]D 8BIZj‚ bY${Y $R {‚t„sj B Y$R bB„, $R RYBbt $t 8B„‚ I‚s$j 3$-‚I j‚tY 8BI$h‚I I$R{„‚‚ {BR$t‚ „stRT PB„8 {Bt%‚„R s P„s8‚ BP d(1; $8‚ IB8s$t Rs8}j‚R $tB Y‚ R}‚{„sj IB8s$t qY‚ $8‚ IB8s$t Iss $R sjRB $t}Z

Social networks enable multimedia sharing between worldwide users, however, there is no automatic mechanism implemented aiming to verifying multimedia use. This has been known as a highly challenging problem due to the variety of media types and huge amount of information they convey. As a participating team of MediaEval 2016, we propose a hybrid approach for detecting misused multimedia on Twi...

Assuring the quality of software requirement specifications is critical. Poor requirement specifications may make costly errors during the development process. Therefore methods and techniques for verification and validation of software requirement specifications are fundamentally important. This survey presents taxonomy of verification and validation of requirements and specifications that rep...

Some preliminary results about the verification and validation of SCIAMACHY’s Absorbing Aerosol Index (AAI) are presented. The operational AAI level 2 product of SCIAMACHY is compared to our own AAI algorithm, developed at KNMI. The operational product shows general agreement with the KNMI algorithm but both suffer from large errors in reflectancees, resulting in a large off-set. Also, the negl...

Verification of open programs can be challenging in the presence of an unconstrained environment. Verifying properties that depend on the environment yields a large class of uninteresting false alarms. Using a verifier on a program thus requires extensive initial investment in modeling the environment of the program. We propose a technique called angelic verification for verification of open pr...

Knowing how scientific results are obtained, meaning to know which methods, techniques, algorithms, software etc. were used, is important for those scientific results to be credible. Documentation and provenance data provide exactly this information. However, providing documentation and provenance data is not trivial. In the domain of Modeling & Simulation a multitude of different building bloc...

The CIA World Factbook is a prime example of a curated database – a database that is constructed and maintained with a great deal of human effort in collecting, verifying, and annotating data. Preservation of old versions of the Factbook is important for verification of citations; it is also essential for anyone interested in the history of the data such as demographic change. Although the Fact...

There are several components that typically are included in a comprehensive protocol for the selection and fitting of hearing aids. Areas such as assessment, selection, fitting, verification, orientation, counseling, and real-world validation often are included. Each step plays an important role in assuring a successful audiologic treatment and rehabilitation process. As mentioned, one of these...

Doctoral students are required to prepare and defend a research proposal. In this paper, we present five steps for doctoral students to identify the questions that are worthy of investigation and thence to develop a research plan and proposal. Our method involves five steps, namely, Step 1: Frame the problem Step 2: Develop a research plan Step 3: Verification and validation Step 4: Proposal te...