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 4482 for “"explicit"”.

  1. Explicit parallel programming

    … and readability). A new language called Explicit Parallel Programming (EPP), attempts to provide this quality by separating the responsibility for the execution of run time actions from the responsibility for deciding the order in which they occur. The ordering of a parallel algorithm is …

    vt Repository record for Explicit parallel programming (opens in a new tab)

  2. Explicit results on primes

    lethbridge

  3. Topics in explicit number theory

    lethbridge

  4. Explicit Regularization for Overparameterized Models

    … problems, it is desirable to incorporate explicit regularization in the objective to avoid overfitting the data. Typically, the regularized objective is solved via weight decay. However, optimizing with weight decay can be challenging because we cannot tell if the solution has reached a …

    mit Repository record for Explicit Regularization for Overparameterized Models (opens in a new tab)

  5. Explicit multiplicative relations between Gauss sums

    … have been given. Here, we provide an explicit product formula giving an infinite class of new sign ambiguities and resolve the ambiguous sign in terms of the order of the ideal class of quadratic primes.

    lsu-thes Repository record for Explicit multiplicative relations between Gauss sums (opens in a new tab)

  6. Effect of oblateness in explicit guidance

    Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1963.

    mit Repository record for Effect of oblateness in explicit guidance (opens in a new tab)

  7. Implicit and Explicit Attitudes Towards Body Images

    … differences of men's and women's implicit and explicit attitudes towards three constructs of body images: muscular, obese, and skinny. Participants were 101 volunteers and included 31 male and 70 female college students attending Western Kentucky University. Age of the participants ranged from …

    wku-diss Repository record for Implicit and Explicit Attitudes Towards Body Images (opens in a new tab)

  8. Conjunctive polymorphic type checking with explicit types

    … programmer, at times, may be required to supply explicit types in order for type inference to succeed. In this way, the power of conjunctive types is preserved, yet compile-time type inference can be done for a large class of polymorphic functions, including those typeable with parametric types. …

    vt Repository record for Conjunctive polymorphic type checking with explicit types (opens in a new tab)

  9. Implicit-explicit methods for time-dependent PDE’s

    … problems with terms of different types, implicit-explicit (IMEX) schemes have been used, especially in conjunction with spectral methods. For convection-diffusion problems, for example, one would use an explicit scheme for the convection term and an implicit scheme for thediffusion term. …

    ubc Repository record for Implicit-explicit methods for time-dependent PDE’s (opens in a new tab)

  10. An Explicit Construction of Sheaves in Context

    … document details the body of theory necessary to explicitly construct sheaves of sets on a site together with the development of supporting material necessary to connect sheaf theory with the wider mathematical contexts in which it is applied. Of particular interest is a novel presentation of the …

    cuny-grad Repository record for An Explicit Construction of Sheaves in Context (opens in a new tab)

  11. Load Balancing Parallel Explicit State Model Checking

    <p>This research first identifies some of the key concerns about the techniques and algorithms developed for distributed and parallel model checking; specifically, the inherent problem with load balancing and large queue sizes resultant in a static partition algorithm. This research then presents a …

    byu Repository record for Load Balancing Parallel Explicit State Model Checking (opens in a new tab)

  12. Explicit Software Speculation for Dynamic Language Runtimes

    I demonstrate that explicit speculation improves the performance of dynamic language implementations on existing managed runtimes by speculatively executing dynamic language code with a common case interpretation of the language semantics. I implement a variety of optimizations at a high level, …

    uiuc Repository record for Explicit Software Speculation for Dynamic Language Runtimes (opens in a new tab)

  13. Explicit Reflection in an Introductory Physics Course

    This dissertation details a classroom intervention that supplements assigned in-class problems in weekly problem sets with reflective activities that are aimed to assist in knowledge integration. Using the framework of cognitive load theory, this intervention should assist in schema acquisition …

    uiuc Repository record for Explicit Reflection in an Introductory Physics Course (opens in a new tab)

  14. Explicit mathematical models for behavioral science theories

    … three different applications that (1) specify explicit mathematical models for various behavioral science theories, (2) verify the logical consistency of the formalized set of assumptions, and (3) examine the deductive content of the theories' models.

    uiuc Repository record for Explicit mathematical models for behavioral science theories (opens in a new tab)

  15. Deep generative models via explicit Wasserstein minimization

    This thesis provides a procedure to fit generative networks to target distributions, with the goal of a small Wasserstein distance (or other optimal transport costs). The approach is based on two principles: (a) if the source randomness of the network is a continuous distribution (the …

    uiuc Repository record for Deep generative models via explicit Wasserstein minimization (opens in a new tab)

  16. Explicit approximation methods for initial-value problems

    Explicit difference approximations of parabolic initial boundary value problems are usually stable only if a difference grid with a limited time-step is used. By considering the one-dimensional diffusion equation as an example, it is shown in the following work that simple smoothing formulas can be …

    cape-town Repository record for Explicit approximation methods for initial-value problems (opens in a new tab)

  17. Explicit zero density for the Riemann zeta function

    lethbridge

  18. Perron's formula and resulting explicit bounds on sums

    lethbridge

Page 1 of 225