195 Results for : verify

  • Thumbnail
    Adjusting Autonomy in Multi-Agent Bioinformatics Integration Systems
    During task composition, such as can be found indistributed query processing, workflow systems and AIplanning, decisions have to be made by the system andpossibly by users with respect to how a given problemshould be solved. Although there is often more thanone correct way of solving a given problem, thesemultiple solutions do not necessarily lead to thesame result. Some researchers are addressing thisproblem by providing data provenance information.Others use expert advice encoded in a supportingknowledge-base. However, users do not usually trustcomplete automation during decision-making forcertain domains with natural variation, like biology;they need a way to be able to control and/orintervene with the system's reasoning to verify partsof the process. This book provides a thoroughanalysis of the problem and presents a data-centricmethodology of measuring decision criticality anddescribe its potential use. We argue that agenttechnology is a natural fit for the design ofdistributed heterogeneous integration systems,particularly in bioinformatics, and we propose amulti-agent system design and architecture as thebasis of our framework.
    • Shop: buecher
    • Price: 40.99 EUR excl. shipping
  • Thumbnail
    DNSSEC Mastery, 2nd Edition
    DNS The world's most successful distributed database-and the most naïve. The Domain Name System is one of the Internet's oldest protocols, designed for a network without hostile users. Intruders targeting a network start by investigating their DNS. DNS Security Extensions, or DNSSEC, hardens DNS and brings it into the 21st century. Learning DNSSEC required wading through years of obsolete tutorials, dead ends, and inscrutable standards. Until now. This new edition of DNSSEC Mastery will have DNS administrators deploying DNSSEC with industry-standard software in hours instead of weeks. You will:Understand what DNSSEC provides Configure your servers to resist attack Verify your environment supports modern DNS Debug DNSSEC and the Chain of Trust Sign your zones and attach them to the Chain of Trust Conceal zone data with NSEC3 Automate DNSSEC maintenance Roll over keys to maintain integrity Implement DNSSEC on private networks Securely distribute security-critical information via DNS And more! DNSSEC Mastery transforms DNS from a headache to a solution.
    • Shop: buecher
    • Price: 22.99 EUR excl. shipping
  • Thumbnail
    100+1 Trivia Questions with Interesting Facts: Famous People , Hörbuch, Digital, ungekürzt, 95min
    Did you know, that Leonardo DiCaprio was named Leonardo because when he first kicked, his pregnant mom looked at a Leonardo da Vinci painting in a museum in Italy?Did you know, that Elon Musk was so introspective as a child that his parents and doctors requested exams to verify if he was deaf? Do you know, what former James Bond actor died in 2017?Did you know, Michael Jackson started experimenting with plastic surgery after he was seriously injured resulting in burns on his face and scalp while shooting a commercial for Pepsi?You will find these, and many other interesting facts in this audiobook. With this audiobook, get your friends and family together and enjoy a wonderful and entertaining evening! ungekürzt. Language: English. Narrator: Kevin Hung-Liang. Audio sample: https://samples.audible.de/bk/acx0/159708/bk_acx0_159708_sample.mp3. Digital audiobook in aax.
    • Shop: Audible
    • Price: 9.95 EUR excl. shipping
  • Thumbnail
    Tampico Trauma: The Jake Sullivan Series, Book 10 , Hörbuch, Digital, ungekürzt, 174min
    Having narrowly escaped a deadly attack in Bavaria, Jake and Mike return to Washington, D.C., and reveal what they believe to be the true identity of “The Package” and the role played by Group 45 in its disappearance.Still in need of the key to break Simon Branson’s code, and ordered by President Fletcher to verify the identity and whereabouts of “The Package”, Jake and Mike travel to South America and then Mexico in search of the truth. That truth will come to light in a final confrontation in Tampico, Mexico, where unspeakable evil was hidden for decades in the world of art and culture. The final confrontation between Jake and Mike and the leaders of Group 45 is an unbelievable ending they never saw coming. ungekürzt. Language: English. Narrator: Thomas Block. Audio sample: https://samples.audible.de/bk/acx0/226402/bk_acx0_226402_sample.mp3. Digital audiobook in aax.
    • Shop: Audible
    • Price: 9.95 EUR excl. shipping
  • Thumbnail
    Pushed: Make Me, Book 2 , Hörbuch, Digital, ungekürzt, 536min, (USK 18)
    He ruined all her grand plans of ignoring him when he came back a hard and hot master.... After mysteriously missing for more than two months, the vanilla man of Catherine Woods' not-so-vanilla dreams turns up at her front door. The news he shares is too incredible to believe, but if she wants to work with him and verify it as fact, he requires her to agree to one thing. "I'll be the man you need me to be. I'm prepared to explore your deepest, darkest fantasies. I want to take you down, put you on your knees, so I can lift you up and praise you after you've pleased me. I'm prepared to fight for the right to do this. You've been the ghost in my bed long enough. It's time you came out of the shadows. It's not going to be easy. It's not going to be gentle or nice, but we both know that's not what does it for you. This is." When she saw the metal collar precariously hanging over two of his fingers, a hot thrill zinged through her. "You've been searching for a place." The steel glinted in the porch light as it slowly swung to and fro. "And here it is. Right where I want you. Wrapped around my fingers." Catherine was prepared for many great things when Jude Wilde returned, but none of those things included him being transformed into a hard and hot master. When he was an arrogant, vanilla jerk, she could turn him away. Now? Now, she wasn't sure whether she was agreeing to be his because she wanted to verify inconceivable facts or experience the kind of hard he was offering. Jude had been to hell and back. He'd survived, and now he was ready to live the kind of life that mattered...with her. He was tired of being haunted by the past he and Cat never got the chance to create. The here and now, that's what he was after - well, that and a chance at making her his before he needed to tell her the truth. ungekürzt. Language: English. Narrator: Wen Ross, Kai Kennicott. Audio sample: https://samples.audible.de/bk/acx0/043888/bk_acx0_043888_sample.mp3. Digital audiobook in aax.
    • Shop: Audible
    • Price: 9.95 EUR excl. shipping
  • Thumbnail
    Unanswered Questions in the Sunday News , Hörbuch, Digital, ungekürzt, 149min
    When I taught, it was my duty to begin each class with a premise - the more provocative, the better. Each minute in this book draws a student into a debate. Who wins the debate is less important than making sure a student has both feet in the argument. It is impossible to listen to this book without growing. Unless learning is fun, your student won't care. This book contains subjects like: How the Sabbath Could Save America; Seventh Grade Math Proves Noah's Flood; Did Your God Assist a Suicide?; Earth's Magnetism Predicts its End; and What is God's Wife's Name? In addition, this book shows parents how to create a curriculum for journalism. This will challenge everything you thought you knew. A perfect textbook for teaching how to verify facts and journalism. ungekürzt. Language: English. Narrator: James Gillies. Audio sample: https://samples.audible.de/bk/acx0/066203/bk_acx0_066203_sample.mp3. Digital audiobook in aax.
    • Shop: Audible
    • Price: 9.95 EUR excl. shipping
  • Thumbnail
    STUDY ON IMPLEMENTATION USAGE & ACCEPTANCE OF MIS IN INDIAN INDUSTRIES
    STUDY ON IMPLEMENTATION USAGE & ACCEPTANCE OF MIS IN INDIAN INDUSTRIES ab 84.99 € als Taschenbuch: A Study Carried out to verify the Implementation Usage & Acceptance of MIS In Small Medium & Large Scale Industries. Aus dem Bereich: Bücher, Taschenbücher, Wirtschaft & Soziales,
    • Shop: hugendubel
    • Price: 84.99 EUR excl. shipping
  • Thumbnail
    Casio FX-87DE Plus 2nd Edition
    Casio FX-87DE Plus 2nd EditionTechnisch-wissenschaftlicher Rechner mit natürlichem Display, Verteilungsfunktionen und physikalischen Konstanten.natürliches Display502 FunktionenSolar + Batterie (LR44)HardcaseVerteilungsfunktionen: Normalverteilung und inverse Normalverteilung, Binomialverteilung, PoissonverteilungWertetabelleperdiodischer Dezimalbruch40 physikalische Konstanten164 Einheitenumrechnungenganzzahlige ZufallszahlenDisplayTyp: 31 * 96 FULL DOTalgebraische Eingabelogik: Natural V.P.A.M.Anzahl Zeichen/Zeilen: 15/1 + 10/1Anzeige Mantisse - Exponent: 10 + 2SpeicherWiederholungsfunktionVariablenspeicher: 9Elementare MathematikFunktionen: 502wissenschaftliche Konstanten: 40Einheitenumrechnungen: 164Bruchrechnung: 2 ModiWinkelmaße: DEG/RAD/GRADUmrechnungen zwischen >DEG/>RAD/>GRADKoordinaten-Umwandlung Pol ÷ Rectrigonometrische Funktionen sin/cos/tan/sin-1/cos-1/tan-1hyperbolische Funktionen sinh/cosh/tanh/sinh-1/cosh-1/tanh-1Exponent, log, In, 10x, exmathematische Funktionen √, x2, x-1, 1/x, x!, √, xy, √, x1/yBerechnungen zur Basis n (Hexadezimal/Dezimal/Binär/Oktal)logische Operatoren (AND/Or..)Berechnungen im SexagesimalsystemProzentberechnungRestfunktionPrimfaktorzerlegungtechnische Notation ENG/ENGZufallszahlengeneratorggT/kgV-FunktionBase-N BerechnungenPrüffunktion "Verify"Wertetabelleperiodischer DezimalbruchStatistikSummenbildung von ∑x, ∑x2Summenbildung von ∑x, ∑y, ∑x2, ∑y2, ∑xyStandardabweichungen f. gruppierte und ungruppierte WerteVerteilungsfunktionen (Normalverteilung, inverse Normalverteilung, Binomialverteilung, Poissonverteilung)RegressionsanalysePermutation (nPr), Kombinatorik (nCr)Differential- und IntegralrechnungSonstigesMenüsprache: deutschAbschaltautomatikbediengleiche Emulator-Software: optionalHinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
    • Shop: buecher
    • Price: 27.99 EUR excl. shipping
  • Thumbnail
    Static Timing Analysis for Nanometer Designs: A Practical Approach
    iming, timing, timing! That is the main concern of a digital designer charged with designing a semiconductor chip. What is it, how is it T described, and how does one verify it? The design team of a large digital design may spend months architecting and iterating the design to achieve the required timing target. Besides functional verification, the t- ing closure is the major milestone which dictates when a chip can be - leased to the semiconductor foundry for fabrication. This book addresses the timing verification using static timing analysis for nanometer designs. The book has originated from many years of our working in the area of timing verification for complex nanometer designs. We have come across many design engineers trying to learn the background and various aspects of static timing analysis. Unfortunately, there is no book currently ava- able that can be used by a working engineer to get acquainted with the - tails of static timing analysis. The chip designers lack a central reference for information on timing, that covers the basics to the advanced timing veri- cation procedures and techniques.
    • Shop: buecher
    • Price: 248.99 EUR excl. shipping
  • Thumbnail
    Static Timing Analysis for Nanometer Designs (eBook, PDF)
    iming, timing, timing! That is the main concern of a digital designer charged with designing a semiconductor chip. What is it, how is it T described, and how does one verify it? The design team of a large digital design may spend months architecting and iterating the design to achieve the required timing target. Besides functional verification, the t- ing closure is the major milestone which dictates when a chip can be - leased to the semiconductor foundry for fabrication. This book addresses the timing verification using static timing analysis for nanometer designs. The book has originated from many years of our working in the area of timing verification for complex nanometer designs. We have come across many design engineers trying to learn the background and various aspects of static timing analysis. Unfortunately, there is no book currently ava- able that can be used by a working engineer to get acquainted with the - tails of static timing analysis. The chip designers lack a central reference for information on timing, that covers the basics to the advanced timing veri- cation procedures and techniques.
    • Shop: buecher
    • Price: 121.95 EUR excl. shipping

Similar searches: