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 15 of 15 for “"consistency check"”.

  1. Architectural Support for Software Debugging

    We also present an incremental checking framework, called iChecker, that leverages iWatcher to provide an iChecker library for efficient, incremental, run-time consistency checks of mutable data structures in C programs. The basic idea of iChecker is to perform a consistency check with a local …

    uiuc Repository record for Architectural Support for Software Debugging (opens in a new tab)

  2. A multimedia mail system with real-time support

    … efficient algorithms to support incremental consistency check, presentation schedule generation, and effective editing/filter functions for both authors and readers.

    concordia Repository record for A multimedia mail system with real-time support (opens in a new tab)

  3. Studies of resonance in ²³Na, ²⁶Mg, ⁴¹K, ⁵⁵Mn and ⁵⁹Co

    … well with the results gotten by this author. A consistency check obtained by using the values calculated in this work to compute the thermal absorption cross sections showed that the computed cross sections were smaller than or equal to the tabulated absorption cross sections of the elements. …

    vt Repository record for Studies of resonance in ²³Na, ²⁶Mg, ⁴¹K, ⁵⁵Mn and ⁵⁹Co (opens in a new tab)

  4. Analytic progress in open string field theory

    … analytic solutions and thus provides a nice consistency check on open string field theory.

    mit Repository record for Analytic progress in open string field theory (opens in a new tab)

  5. The effects of mechanical coupling on the electrical impedance of MEMS resonators for UHF filter applications

    … Q to the extracted circuit Q provides a consistency check for the technique. The parameter extraction technique is a useful first attempt to devise a comprehensive method for determining circuit parameters that will reliably reproduce the transfer function of an actual resonator. Finally, …

    mit Repository record for The effects of mechanical coupling on the electrical impedance of MEMS resonators for UHF filter applications (opens in a new tab)

  6. Statistical Quality Control Algorithm for In Situ Sea Surface Temperatures

    … behavior, and (3) a revised external reference check that compares smoothed satellite SST fields to platform-specific trend baselines. The approach is modular and platform-aware, enabling tailored thresholds and logic for drifting buoys, tropical moorings, and coastal moored buoys.</p> <p>Signal …

    cuny Repository record for Statistical Quality Control Algorithm for In Situ Sea Surface Temperatures (opens in a new tab)

  7. Anomalies and the Standard Model of Particle Physics

    … Standard Model and also use them to provide a consistency check as we explore its phase diagram. We start by reexamining local anomaly cancellation in the Standard Model. It has long been known that the requirement that all gauge anomalies and the mixed gauge-gravitational anomaly cancel lead …

    cambridge Repository record for Anomalies and the Standard Model of Particle Physics (opens in a new tab)

  8. The standard model in 5D : theoretical consistency and experimental constraints

    … TESLA specifications as an example. As a consistency check for the various models, we analyze Ward identities and the gauge boson equivalence theorem in W-pair production and find that gauge symmetry is preserved by a complex interplay of the Kaluza-Klein modes. In this context, we point …

    wurz-thes Repository record for The standard model in 5D : theoretical consistency and experimental constraints (opens in a new tab)

  9. Constraining fundamental physics from cosmology

    … directly reconstruct the power spectrum shape, a consistency check on the standard model. I find no evidence for deviation from scale-invariance, but current Lyman-α data do not have sufficient statistical power to robustly probe the shape of the power spectrum at these scales. In contrast, the …

    cambridge Repository record for Constraining fundamental physics from cosmology (opens in a new tab)

  10. Le infrastrutture verdi nei paesaggi del vino: Linee guida alla pianificazione

    … review, ii) context analysis, and iii) consistency check. The guidelines aim at improving the green infrastructures planning, governance, implementation, and monitoring. They embrace the perspectives of i) biological production 5 for a more sustainable viticulture, as demanded by local …

    cagliari Repository record for Le infrastrutture verdi nei paesaggi del vino: Linee guida alla pianificazione (opens in a new tab)

  11. A scenario-based technique to analyze UML design class models

    … not to the snapshot transition model. A design inconsistency exists if snapshot transitions that represent desired behaviors do not conform to the snapshot transition model, or if snapshot transitions representing undesired behaviors conform to the snapshot transition model. A Scenario-based UML …

    colostate Repository record for A scenario-based technique to analyze UML design class models (opens in a new tab)

  12. Managing the consistency of distributed documents

    … it becomes difficult to manually track and check the increasingly complex relationships between documents. The problem is compounded by current trends towards distributed working, either over the Internet or over a global corporate network in large organisations. This adds complexity as …

    ucl Repository record for Managing the consistency of distributed documents (opens in a new tab)

  13. Finite system size effects on the effective coupling in scalar quantum field theory

    … result. We then perform another non-trivial self-consistency check by verifying that the NLO 2 → 2 Page ii scattering amplitude satisfies unitarity in the form of the optical theorem, regardless of the number of compactified dimensions. In order to show this we derived a generalisation of a …

    cape-town Repository record for Finite system size effects on the effective coupling in scalar quantum field theory (opens in a new tab)

  14. Dynamics and statistics of hydrodynamically interacting particles in laminar flows

    … distribution functions is derived which allows a consistency check between independent measurements. Considering a system with several Brownian particles it is obvious that hydrodynamic interactions influence the correlations. In order to investigate this effect, we calculate the positional …

    bayreuth Repository record for Dynamics and statistics of hydrodynamically interacting particles in laminar flows (opens in a new tab)

  15. From image co-segmentation to discrete optimization in computer vision - the exploration on graphical model, statistical physics, energy minimization, and integer programming

    … object, while relying on the local topology consistency of both key point and segment layout for the robust recognition. The obtained initial foreground (the common object) in each image is refined through graphical model energy minimization based on a global appearance model extracted from …

    uiuc Repository record for From image co-segmentation to discrete optimization in computer vision - the exploration on graphical model, statistical physics, energy minimization, and integer programming (opens in a new tab)