About

Log in?

DTU users get better search results including licensed content and discounts on order fees.

Anyone can log in and get personalized features such as favorites, tags and feeds.

Log in as DTU user Log in as non-DTU user No thanks

DTU Findit

Recent

Boolean: (bicycle AND helmet) OR (head AND protection) (always group AND in parenthesis)
Title: title:(climate change)
Author: author:("bohr niels" OR "bohr n") (avoid only full first name)
Phrase: "water pump control" (does not work with wildcards)
Wildcards: wom?n pharm*

More help on how to search

Flexible matching

About search syntax

Search syntax Advanced
Close advanced
{{problem}}
By field Using AND/OR By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}: ( )

Since our index often lack the full first name of people it can be difficult to correctly search by author.

Fill in the fields and let us help you build a good query:

If you need to find everything possible, consider only searching by last name.

Use "Starting year" to ignore publications out of year range.

Author: Frost remove
Filter results...

Interpreted as:

title:(Effective AND Programming)

Filter results
Access
Type
Language
Year
From DTU
Advanced
Previous 1 - 8 of 8 Next
Export
10 items by relevance
1 PhD Thesis

Effective Programming

Frost, Jacob

Technical University of Denmark — 1996

To investigate the use of VTLoE as a basis for formal derivation of functional programs with effects. As a part of the process, a number of issues central to effective formal programming are considered. In particular it is considered how to develop a proof system suitable for pratical reasoning

Year: 1996

Language: English

More...
fpklami neocj hdg b
2 Printed book

Effective programming

Frost, J.; Technical University of Denmark. Department of Information Technology; DTU; Danmarks Tekniske Universitet

Year: 1996

Language: English

More...
g npheakcifmbodl j
3 Journal article

Understanding the impact of effective teenage pregnancy prevention programs

Frost, J J; Forrest, J D

Family Planning Perspectives — 1995, Volume 27, Issue 5, pp. 188-195

or indirectly provide access to contraceptive services. Comparisons between treatment and control groups show that all four programs that measured changes in rates of sexual initiation among adolescents had a significant effect on that outcome, reducing the proportion of adolescents who initiated sexual

Year: 1995

Language: English

More...
a lkmcjgefi odphnb
4 Journal article

Understanding the Impact of Effective Teenage Pregnancy Prevention Programs

Frost, Jennifer J.; Forrest, Jacqueline Darroch

Family Planning Perspectives — 1995, Volume 27, Issue 5, pp. 188

or indirectly provide access to contraceptive services. Comparisons between treatment and control groups show that all four programs that measured changes in rates of sexual initiation among adolescents had a significant effect on that outcome, reducing the proportion of adolescents who initiated sexual

Year: 1995

Language: Undetermined

More...
ib lcegon kdmj aphf
5 Journal article

Effects of an Extensive Program for Stimulating Phonological Awareness in Preschool Children

Lundberg, Ingvar; Frost, Jørgen; Petersen, Ole-Peter

Reading Research Quarterly — 1988, Volume 23, Issue 3, pp. 263-284

's progress in reading and spelling in first and second grades. The design of the study permitted the authors to assess the specificity of the training effects. The program had no significant effect on functional linguistic skills, such as comprehension of oral instructions, or vocabulary. It did not affect

Year: 1988

Language: Undetermined

More...
fhjn olbigd akmpce
6 Journal article

Intrathecal baclofen infusion. Effect on bladder management programs in patients with myelopathy : Effect on Bladder Management Programs in Patients with Myelopathy

Frost, F; Nanninga, J; Penn, R; Savoy, S; Wu, Y

American Journal of Physical Medicine and Rehabilitation — 1989, Volume 68, Issue 3, pp. 112-115

function were associated with the initiation of intrathecal therapy and with changes in pump-delivered dosages. In selected patients, intrathecal baclofen infusion can have a beneficial effect on bladder management programs.

Year: 1989

Language: English

More...
a gdhfilbojpm cek n
7 Journal article

Relative Efficacy of Self-directed and Therapist-assisted Telehealth Models of a Parent-mediated Intervention for Autism: Examining Effects on Parent Intervention Fidelity, Well-being, and Program Engagement

Ingersoll, Brooke; Frost, Kyle M; Straiton, Diondra; Ramos, Anamiguel Pomales; Howard, Mya

Journal of Autism and Developmental Disorders — 2023, pp. 1-15

to a therapist-assisted, self-directed, or resource support control group. Participants were assessed at intake, after 6 months (post), and at a 3-month follow-up. There was a significant treatment effect for parent learning for the therapist-assisted but not self-directed program; when analysis was limited to parents

Year: 2023

Language: English

More...
g ljekmon abhcifp d
8 Journal article

Effect of diuretic-based antihypertensive treatment on cardiovascular disease risk in older diabetic patients with isolated systolic hypertension. Systolic Hypertension in the Elderly Program Cooperative Research Group

Curb, J D; Pressel, S L; Cutler, J A; Savage, P J; Applegate, W B; Black, H; et al. (8 more)

Jama — 1996, Volume 276, Issue 23, pp. 1886-1892

To assess the effect of low-dose, diuretic-based antihypertensive treatment on major cardiovascular disease (CVD) event rates in older, non-insulin-treated diabetic patients with isolated systolic hypertension (ISH), compared with nondiabetic patients. Double-blind, randomized, placebo-controlled trial: the Systolic Hypertension in the Elderly Program (SHEP). Multiple clinical and support centers in the United States. A total of 4736 men and women aged 60 years and older at baseline with ISH (systolic blood pressure [BP], > or = 160 mm Hg; diastolic BP, <90 mm Hg) at baseline, 583 non...

Year: 1996

Language: English

More...
akcfpe mgl binojh d

DTU users get better search results including licensed content and discounts on order fees.

Log in as DTU user