Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Behavior program"”.
-
Program Synthesis with Symbolic Properties
Program synthesis is the task of automatically writing computer programs given a specification for their behavior. Program synthesis is challenging due to the combinatorial nature of the search space. In the short term, improving program synthesis could make people vastly more productive, by …
-
SPEST – A Tool for Specification-Based Testing
… JML is a widely used language for behavior program specification. A second experiment evaluated readability through a sur- vey comparing SPEST generated tests against tests written by well established software developers. The results from the experiments showed that SPEST’s …
-
Perceived effectiveness of alternative programming : a case study /
The topic of this research was alternative programming in secondary public education. The purpose of this research was to explore the perceived effectiveness of two public secondary programs that are aJternative to mainstream or "regular" education. Two case study sites were used to research …
-
Behavior and temporal-based effects of sustainable self-consolidating concrete in bridge structures
… and a field study of time-dependent field-based behavior of HS-SCC in Bridge A7957 MO, USA. In the first part, an experimental program was conducted to develop a new class of SCC incorporating up to 70% cement replacement with fly ash. Three replacement levels (50%, 60%, and 70%) by weight were …
-
Establishing Persistent and Positive Behaviors Among Military Veterans in Distress: Factors contributing to successful change in the face of challenges.
… the influence of Warriors’ Ascent, a 501(c)(3) program designed for active military service members, veterans, and first responders and focused on addressing mental health issues and improving quality of life. Beginning in 2016, I took part in recruiting military veterans to collect survey data …
-
Hälsopromotion i skolan. Utvärdering av DISA - ett program för att förebygga depressiva symtom hos ungdomar.
… Symptoms In Swedish Adolescents) is a cognitive behavioral intervention aimed at preventing stress and depressive symptoms in adolescents. It is frequently used in Swedish schools for students aged 13-15 years. DISA is commonly offered to females, but at some schools, the intervention is also …