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 20 of 16637 for “"programs"”.
-
Corporate Wellness Programs
<p>This study addresses Workplace Wellness Programs (WWP) in large and small businesses to assess if and how they are effective, what employers perceived about WWP, and what components from a WWP are perceived as best for achieving desired results. In order to address this, 10 large and small …
-
Computer Logic Programs
Made available in DSpace on 2014-12-05T21:50:17Z (GMT). No. of bitstreams: 1 6003879.pdf: 2955786 bytes, checksum: f8932bcfde996d40e6bc70c74e643445 (MD5) Previous issue date: 1960
-
Neuropsychology in counseling psychology programs: exploration of self-efficacy and training programs
… training needs for counseling psychology programs. Past research has suggested that counseling psychology programs are less effective at preparing trainees for neuropsychological practice due to limited course offerings or available clinical opportunities (Larson & Agresti, 1992; Norcross, …
-
New Teacher Induction Programs: Effective Support Through Mentoring Programs and Coaching Practices
<p>With the current teacher shortage and the numerous reported accounts of new teachers feeling stressed, overwhelmed, and ill prepared, the United States is in a dangerous situation that could result in even more of a teacher shortage if leaders do not find a way to better support new teachers and …
-
Finite Algorithms for Global Optimization of Concave Programs and General Quadratic Programs
This document examines finiteness issues in the context of structured global optimization problems. Specific aspects of this research include: (1) Development of finite algorithms, (2) Analysis of the algorithms' computational complexity, (3) Demonstrating the efficiency of the algorithms in …
-
Symcretic testing of programs
… loops that occur in many real-world programs. This dissertation describes symcretic execution, a novel method for efficiently finding targeted inputs. Symcretic execution overcomes the limitations of symbolic backward execution by integrating it with concrete forward execution. The …
-
Parametric Inversion of Programs
… extends the theory to encompass inversion of programs. Specifically, we introduce a language, IR, and address problems related to inversion of a simple code block, control flow, and re-use of variables. This includes a practical implementation in Julia that is able to correctly invert a suite …
-
Portable high-performance programs
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.
-
Executing multithreaded programs efficiently
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.
-
Using dynamic analysis to infer Python programs and convert them into database programs
… system that automatically infers and regenerates programs that access databases. The developer first implements a Python program that uses lists and dictionaries to implement the database functionality. Nero then instruments the Python list and dictionary implementations and uses active learning …
-
Collegiate Academic Enhancement Programs: The Benefits of Multi-Year Programs Compared to the Benefits of One-Year Programs for Traditionally Underrepresented Students
… of this success many institutions offer programs designed to increase the academic performance of their students especially those classified as incoming freshmen. Others are more focused and target those who are from underrepresented populations. Nonetheless not many programs have been …
-
Participation in employee involvement programs
The thesis examines issues associated with an employee's inclination to participate in an employee involvement program. The critical challenge confronting management of attracting and maintaining the effective participation of employees is central to the success of a participatory strategy. …
-
Hospital Based Postpartum Care Programs
… research available regarding the success of such programs in meeting childbearing families' needs, especially those discharged before 48 hours. This will attempt to examine through survey inquiry, what programs hospitals have developed to provide care to postpartum families.<br /> Health care …
-
Water development programs in India
… by integrating their approaches into already programs in order to promote donor harmonization. It is also important to identify and occupy niches for activities and to promote harmonization among donors on state and federal sides. The empirical results demonstrate the need for a harmonization …
-
Functional models of procedural programs
… be brought to bear In the analysis of procedural programs. The thesis Introduces a simple technique called "Abstraction Projection", with which the programmer may project a model onto a sub domain suitable for a particular analytic task. Abstraction Projection removes from the model all details …
-
Automatic Differentiation of Parallel Programs
… techniques developed to enable AD of parallel programs were applied to a variety of applications, ranging from a simple test problem to a parallel molecular dynamics application. The results confirm the need for and efficacy of several techniques. They also verify the prediction that the …
-
Local Reasoning for Stateful Programs
"Programs are called stateful when they manipulate the state of a computer explicitly, for example, by assignment. The main theme of the thesis is reasoning about stateful programs. In fact, for the past 30 years, significant efforts have been made for obtaining good reasoning principles to ensure …
Page 1 of 832