| 1. |
- Sloot, Frea, et al.
(författare)
-
Inventory of current EU paediatric vision and hearing screening programmes
- 2015
-
Ingår i: Journal of Medical Screening. - : SAGE Publications. - 0969-1413 .- 1475-5793. ; 22:2, s. 55-64
-
Tidskriftsartikel (refereegranskat)abstract
- Objective: To examine the diversity in paediatric vision and hearing screening programmes in Europe. Methods: Themes for comparison of screening programmes derived from literature were used to compile three questionnaires on vision, hearing, and public health screening. Tests used, professions involved, age, and frequency of testing seem to influence sensitivity, specificity, and costs most. Questionnaires were sent to ophthalmologists, orthoptists, otolaryngologists, and audiologists involved in paediatric screening in all EU full-member, candidate, and associate states. Answers were cross-checked. Results: Thirty-nine countries participated; 35 have a vision screening programme, 33 a nation-wide neonatal hearing screening programme. Visual acuity (VA) is measured in 35 countries, in 71% of these more than once. First measurement of VA varies from three to seven years of age, but is usually before age five. At age three and four, picture charts, including Lea Hyvarinen, are used most; in children over four, Tumbling-E and Snellen. As first hearing screening test, otoacoustic emission is used most in healthy neonates, and auditory brainstem response in premature newborns. The majority of hearing testing programmes are staged; children are referred after 1–4 abnormal tests. Vision screening is performed mostly by paediatricians, ophthalmologists, or nurses. Funding is mostly by health insurance or state. Coverage was reported as >95% in half of countries, but reporting was often not first-hand. Conclusion: Largest differences were found in VA charts used (12), professions involved in vision screening (10), number of hearing screening tests before referral (1–4), and funding sources (8).
|
|
| 2. |
- Sanchez Perez, Cesar, 1981, et al.
(författare)
-
A survey of challenges for runtime verification from advanced application domains (beyond software)
- 2019
-
Ingår i: Formal Methods in System Design. - : Springer Science and Business Media LLC. - 1572-8102 .- 0925-9856. ; 54:3, s. 279-335
-
Tidskriftsartikel (refereegranskat)abstract
- Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target systems. In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges. The computational models that characterize these domains require to devise new techniques beyond the current state of the art in runtime verification.
|
|
