Trefferliste "Verification & Validation Of AI" - alle CDs, Bücher, LPs 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, …

Terry Riley (geb. 1935)

The Columbia Recordings

Terry Riley (E-Orgel, E-Cembalo, Keyboards, Goblet Drum, Tamburin), Adam Miller, John Cale

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

Capella de la Torre, Katharina Bäuml

Henry Purcell (1659-1695)

Lieder "Love Songs"

Dorothee Mields, Lautten Compagney, Wolfgang Katschner

Kate Crawford,

Atlas der KI

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

Kate Crawford,

Atlas der KI

Weder künstlich noch intelligent ? eine kritische Analyse der KI-IndustrieWir tendieren dazu, Künstliche Intelligenz als eine wundersame und körperlose Form der maschinellen Klugheit zu betrachten. Von de…

Keep 'Em Flying

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 pr…

Helen Grime (geb. 1981)

Kammermusik

Hebrides Ensemble

Marina Baranova (geb. 1981)

Cosmic Calendar

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

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

Eric Coates (1886-1957)

The Definitive Eric Coates - Eric Coates conducts his own Compositions

Sigurd Rascher, London Symphony Orchestra, London Philharmonic Orchestra, Light Symphony Orchestra, National Symphony Orchestra, New Symphony Orchestra, Concert Orchestra, Eric Coates and his Concert Orch…

Ludwig van Beethoven (1770-1827)

Tripelkonzert op.56

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

Vassilina Serfimova - Bach Mirror

Vassilina Serfimova (Marimba), Thomas Enhco (Klavier)