Search for essays about: "library and"

Showing result 1 - 5 of 125 essays containing the words library and.

  2. 1. An Extensible and Scalable Agent-Based Simulation of Barter Economics

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Pelle Evensen; Mait Märdin; [2010-03-04T15:15:53Z]
    Keywords : ;

    Abstract : Cover:Relative private price visualisation for bartering agents. See Appendix A.2.7, page 67. READ MORE

  4. 2. The Infinox Infinity Inferrer - A Complement to Finite Model Finding

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : ANN LILLIESTRÖM; [2010-03-04T12:17:59Z]
    Keywords : ;

    Abstract : Infinox is an automated reasoning tool that can disprove the existence of finitemodels of first-order theories. It is a tool of both theoretical and practical valueand is especially well suited as a complement to finite model finders. READ MORE

  5. 3. Icke- farmakologiska behandlingsmetoder för kvinnor med primär dysmenorré : Evidensbaserad omvårdnad

    University essay from Uppsala universitet/Institutionen för folkhälso- och vårdvetenskap; Uppsala universitet/Institutionen för folkhälso- och vårdvetenskap

    Author : Tommy Carlsson; Klara Naji; [2010]
    Keywords : Complementary therapies; Literature review; Nursing; Primary dysmenorrhea; Self care;

    Abstract : Bakgrund: Primär dysmenorré, svår menstruationssmärta utan sjukdomsrelaterad bakomliggande orsak, är det vanligaste gynekologiska besväret för unga kvinnor. Idag fokuseras behandlingen av menstruationssmärta på läkemedel. Det har dock visats att kvinnor även använder sig av ickefarmakologiska metoder för att lindra sin smärta. READ MORE

  6. 4. Evaluating and Implementing JPEG XR Optimized for Video Surveillance

    University essay from Linköpings universitet/Datorteknik

    Author : Lang Yu; [2010]
    Keywords : Video Surveillance; JPEG XR; Encoder; SoC; Evaluation; PSNR; Compression Ratio; Implementation; PCT; Quantization; Adaptive Prediction; Adaptive Entropy Coding;

    Abstract : This report describes both evaluation and implementation of the new coming image compression standard JPEG XR. The intention is to determine if JPEG XR is an appropriate standard for IP based video surveillance purposes. Video surveillance, especially IP based video surveillance, currently has an increasing role in the security market. READ MORE

  7. 5. A Model-Based Approach for Reliability Prediction

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Per Askvid; [2010]
    Keywords : FIDES; RODON; Model based; Reliability prediction;

    Abstract : When developing products, reliability is an important factor that has to be considered. For safety critical systems it is important to know the probability that an item will perform a required function without failure under stated conditions for a stated period of time. READ MORE