Trefferliste "Verification & Validation Of AI" - alle Bücher, CDs, DVDs und mehr

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

The Curious Bards - (Ex) Tradition

The Curious Bards

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Ashley

Analysis and Validation of a Non-Isolated Cuk Converter in Continuous Conduction Mode

As per the control-to-output voltage transfer function Tp for lossless Cuk converter, the conjugate complex zeros are on the right-half plane zeros. The behavior of zeros for variation in the duty cycle …

Capella de la Torre - Air Music (Tales of Flying Creatures and Heavenly Breezes)

Capella de la Torre, Katharina Bäuml

Kate Crawford,

Atlas der KI

Wir tendieren dazu, künstliche Intelligenz als eine wundersame und körperlose Form der maschinellen Klugheit zu betrachten. Von der preisgekrönten Wissenschaftlerin Kate Crawford lernen wir hingegen, dass…

Kate Crawford,

Atlas der KI

Weder künstlich noch intelligent - eine kritische Analyse der KI-Industrie Wir tendieren dazu, künstliche Intelligenz als eine wundersame und körperlose Form maschineller Klugheit zu betrachten. Von der…

Marina Baranova (geb. 1981)

Cosmic Calendar

Martina Baranova (Klavier), Olga Heydrich (Flöte), Vadym Pogorilyy (French Horn), Kana Sugimura (Violine), Martha Bijlsma (Cello)

William L Oberkampf, Christopher J Roy

Verification, Validation, and Uncertainty Quantification in Scientific Computing

"This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problem…

Henry Purcell (1659-1695)

Lieder "Love Songs"

Dorothee Mields, Lautten Compagney, Wolfgang Katschner

Keep 'Em Flying

Danish National Symphony Orchestra - Raiders of the Symphony

Christina Astrand, Beate Mordal, Danish National Concert Choir, Danish National Symphony Orchestra, Christian Schumann

Renaud Capucon - Cinema 2 (180g)

Renaud Capucon, Les Siecles, Duncan Ward

Jóhann Jóhannsson (1969-2018)

DroneMass (Messe/Oratorium für Streichquartett,Vokalensemble,Elektronik)

American Contemporary Music Ensemble, Theatre of Voices, Paul Hillier

Vassilina Serfimova - Bach Mirror

Vassilina Serfimova (Marimba), Thomas Enhco (Klavier)

Ludwig van Beethoven (1770-1827)

Tripelkonzert op.56

Nicola Benedetti, Sheku Kanneh-Mason, Benjamin Grosvenor, Gerald Finley, Philharmonia Orchestra, Santtu-Matias Rouvali

Robert Docker (1918-1992)

Orchesterwerke "Three Contrasts"

William Davies (Klavier), David Presley (Oboe), RTE Concert Orchestra, Barry Knight