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

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

The Curious Bards - (Ex) Tradition

The Curious Bards

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

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…

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…

Charles King,

Schule der Rebellen

Race, Sex, Gender: Die erstaunlichen Hintergründe für die Diskussion unserer Gegenwart und der Beginn der modernen Anthropologie um Franz Boas, Margaret Mead und Claude Lévi-StraussRace, Sex, Gender: Mit …

William L. Oberkampf, Christopher J. Roy

Verification, Validation, and Uncertainty Quantification in Scientific Computing

Can you trust results from modeling and simulation? This text provides a framework for assessing the reliability of and uncertainty included in the results used by decision makers and policy makers in ind…

Helen Grime (geb. 1981)

Kammermusik

Hebrides Ensemble

Renaud Capucon - Cinema 2 (180g)

Renaud Capucon, Les Siecles, Duncan Ward

Keep 'Em Flying

Marina Baranova (geb. 1981)

Cosmic Calendar

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

Henry Purcell (1659-1695)

Lieder "Love Songs"

Dorothee Mields, Lautten Compagney, Wolfgang Katschner

Ludwig van Beethoven (1770-1827)

Tripelkonzert op.56

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

Ludwig van Beethoven (1770-1827)

Tripelkonzert op.56 (180g)

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

Danish National Symphony Orchestra - Raiders of the Symphony

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