Search Results - "Roorda, Jan"
-
1
Is home spirometry useful in diagnosing asthma in children with nonspecific respiratory symptoms?
Published in Pediatric pulmonology (01-04-2010)“…Background Variation of lung function is considered to be a hallmark of asthma. Although guidelines recommend measuring it as a diagnostic tool for asthma, the…”
Get full text
Journal Article -
2
Comparison between peak expiratory flow and FEV1 measurements on a home spirometer and on a pneumotachograph in children with asthma
Published in Pediatric pulmonology (01-09-2007)“…Background The accuracy of electronic portable home spirometers has been demonstrated in vitro using computer‐based waveforms. We assessed the agreement in…”
Get full text
Journal Article -
3
Model Checking Verilog Descriptions of Cell Libraries
Published in 2009 Ninth International Conference on Application of Concurrency to System Design (01-07-2009)“…We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can…”
Get full text
Conference Proceeding -
4
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
Published in Logical methods in computer science (01-01-2009)“…Generalised Symbolic Trajectory Evaluation (GSTE) is a high-capacity formal verification technique for hardware. GSTE uses abstraction, meaning that details of…”
Get full text
Journal Article -
5
One year treatment with salmeterol compared with beclomethasone in children with asthma
Published in American journal of respiratory and critical care medicine (01-09-1997)Get full text
Journal Article -
6
Follow−up of asthma from childhood to adulthood: Influence of potential childhood risk factors on the outcome of pulmonary function and bronchial responsiveness in adulthood
Published in Journal of allergy and clinical immunology (01-03-1994)“…The outcome of asthma in 406 children, aged 8 to 12 years, was studied. Follow−up in adulthood was 86%, with a mean age of 24.7 years and a mean interval of…”
Get full text
Journal Article -
7
Impact of a technological disaster on young children: A five-year postdisaster multiinformant study
Published in Journal of traumatic stress (01-12-2009)“…Children exposed to a technological disaster during an understudied part of the lifespan, preschool age and early middle childhood, were assessed in a 5‐year…”
Get full text
Journal Article -
8
The Importance of Estimating Selection Bias on Prevalence Estimates Shortly After a Disaster
Published in Annals of epidemiology (01-10-2006)“…The aim was to study selective participation and its effect on prevalence estimates in a health survey of affected residents 3 weeks after a man-made disaster…”
Get full text
Journal Article -
9
Physical and mental health shortly after a disaster: first results from the Enschede firework disaster study
Published in European journal of public health (01-06-2006)“…Objectives: Two to three weeks after the explosion of a fireworks storage facility in a residential area (May 2000, Enschede, The Netherlands) we assessed the…”
Get full text
Journal Article -
10
Effect on growth of inhaled steroid therapy
Published in The Journal of pediatrics (01-02-1999)Get full text
Journal Article -
11
Bronchodilator Response in Asthmatic Children is Significantly Reduced When Measured Immediately After Methacholine Challenge
Published in The Journal of asthma (01-01-2002)“…Aim: Airway responses to a bronchodilator (BDR) and to methacholine are frequently measured in the assessment of childhood asthma and in pulmonary research…”
Get full text
Journal Article -
12
Determinants of Response in a Longitudinal Health Study following the Firework-Disaster in Enschede, the Netherlands
Published in European journal of epidemiology (01-10-2005)“…Very few longitudinal health studies after disasters published data on the determinants of loss to follow up. However, these determinants provide important…”
Get full text
Journal Article -
13
Response of preschool children with asthma symptoms to fluticasone propionate
Published in Journal of allergy and clinical immunology (01-10-2001)“…Background: Many uncertainties remain in the diagnosis and treatment of preschool children with asthma symptoms. Objective: We sought to determine the…”
Get full text
Journal Article -
14
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
Published 08-04-2009“…Logical Methods in Computer Science, Volume 5, Issue 2 (April 8, 2009) lmcs:1028 Generalised Symbolic Trajectory Evaluation (GSTE) is a high-capacity formal…”
Get full text
Journal Article -
15
Role of shoulder ultrasonography in the evaluation of the painful shoulder
Published in European journal of radiology (1995)“…The purpose of this study was to determine the accuracy of ultrasonography in the detection of rotator cuff tears. In a prospective study of 41 patients, the…”
Get full text
Journal Article -
16
Poor inhalation technique, even after inhalation instructions, in children with asthma
Published in Pediatric pulmonology (01-01-2000)“…The aim of this study was to evaluate the effect of instructions to children with asthma (given by general practitioners or by pharmacy assistants) on how to…”
Get full text
Journal Article -
17
Reasons not to have your daughter vaccinated against the human papilloma virus in Twente: a questionnaire study
Published in Nederlands tijdschrift voor geneeskunde (2010)“…To gain insight into parents' decision-making process, and their reasons for participation in the human papilloma virus (HPV) vaccination programme in the…”
Get more information
Journal Article -
18
Comparison between peak expiratory flow and FEV 1 measurements on a home spirometer and on a pneumotachograph in children with asthma
Published in Pediatric pulmonology (01-09-2007)“…Abstract Background The accuracy of electronic portable home spirometers has been demonstrated in vitro using computer‐based waveforms. We assessed the…”
Get full text
Journal Article -
19
Iterated Belief Change in Multi-Agent Systems
Published in Logic journal of the IGPL (01-03-2003)“…We give a model for iterated belief change in multi-agent systems. The formal tool we use for this is a combination of modal and dynamic logic. Two core…”
Get full text
Journal Article -
20
Comparison between peak expiratory flow and FEV(1) measurements on a home spirometer and on a pneumotachograph in children with asthma
Published in Pediatric pulmonology (01-09-2007)“…The accuracy of electronic portable home spirometers has been demonstrated in vitro using computer-based waveforms. We assessed the agreement in vivo between…”
Get full text
Journal Article