Sökning: "accuracy"

Visar resultat 6 - 10 av 3296 avhandlingar innehållade ordet accuracy.

  1. 6. Language-Based Differential Privacy with Accuracy Estimations and Sensitivity Analyses

    Författare :Elisabet Lobo Vesga; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; haskell; accuracy; parametricity; Program reasoning; Functional Programming; concentration bounds; differential privacy;

    Sammanfattning : This thesis focuses on the development of programming frameworks to enforce, by construction, desirable properties of software systems. Particularly, we are interested in enforcing differential privacy -- a mathematical notion of data privacy -- while statically reasoning about the accuracy of computations, along with deriving the sensitivity of arbitrary functions to further strengthen the expressiveness of these systems. LÄS MER

  3. 7. Accuracy of protein synthesis and its tuning by mRNA modifications

    Författare :Gabriele Indrisiunaite; Måns Ehrenberg; Suparna Sanyal; Jaanus Remme; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Ribosome; Protein synthesis; Translation; Accuracy; Release factor; Termination; mRNA modifications; Biology with specialization in Molecular Biology; Biologi med inriktning mot molekylärbiologi;

    Sammanfattning : The ribosome is a large macromolecular complex that synthesizes all proteins in the cell in all kingdoms of life. Proteins perform many vital functions, ranging from catalysis of biochemical reactions to muscle movement. It is essential for cells and organisms that proteins are synthesized rapidly and accurately. LÄS MER

  4. 8. On improving robot positioning accuracy

    Författare :Junjie Yao; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; industrial robots; deviation matrix; modeling; robot kinematics; off-line programming; pose accuracy; ASEA Irb 6 2 robot; elastic deflection;

    Sammanfattning : .... LÄS MER

  5. 9. Accuracy, efficiency and robustness for rigid particle simulations in Stokes flow

    Författare :Anna Broms; Anna-Karin Tornberg; Mattias Sandberg; Eric Keaveny; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Stokes flow; rigid particles; accuracy; fundamental solutions; method of images; multiblob; contact avoiding; complementarity problem; barrier method; elliptic PDE; grid optimisation; pair-correction; boundary integral equations; Stokesflöde; noggrannhet; stela partiklar; fundamentallösningar; randintegralekvation; reflektionspunkter; multiblob; kontaktundvikande algoritmer; komplementaritetsproblem; barriärmetod; elliptisk PDE; gridoptimering; parkorrektion; Numerical Analysis; Numerisk analys;

    Sammanfattning : The thesis concerns simulation techniques for systems of nano- to micro-scaled rigid particles immersed in a viscous fluid, ubiquitous in nature and industry. With negligible fluid inertia, the set of PDEs known as the Stokes equations can be used to model the hydrodynamics. LÄS MER

  7. 10. Stability and accuracy in microchip lasers for high precision range finding

    Författare :Magnus Arvidsson; KTH; []
    Nyckelord :Range finding; Microchip laser; Q-switching active; passive; combined ; Jitter; Stabilization; Far-field timing; Accuracy;

    Sammanfattning : .... LÄS MER