Model-checking – Bücher, CDs, LPs und mehr, Seite 7

Omar Sanseviero, Pedro Cuenca, Apolinario Passos, Jonathan Whitaker

Hands-On Generative AI with Transformers and Diffusion Models

Learn to use generative AI techniques to create novel text, images, audio, and even music with this practical, hands-on book. Readers will understand how state-of-the-art generative models work, how to fi…

Thomas Kessel, Alexander Brandt, Jonas Offtermatt, Friedrich Augenstein

ChatGPT und Large Language Models? Frag doch einfach!

In diesem Band sind unter anderem Antworten auf diese Fragen zu lesen: Was sind eigentlich die Grundlagen einer generativen Künstlichen Intelligenz? Und wo liegen deren Stärken und Schwächen? Was versteht…

A³N²M: Approximation, Applications, and Analysis of Nonlocal, Nonlinear Models

This volume collects papers based on plenary and invited talks given at the 50th Barrett Memorial Lectures on Approximation, Applications, and Analysis of Nonlocal, Nonlinear Models that was organized by …

Isabella Catalina

Candice B - Top Models of MetArt.com

GANZ OBEN VON DER SÜSSEN SAHNE: DIE ULTRA-HEISSE CANDICE B. Die sinnliche Candice B. ist eine von MetArts Top Models. Eine so kurvenreiche ukrainische Schönheit weckt blitzartig die Aufmerksamkeit des erf…

Rose Eden

TLE - The Life Erotic.com World's Top Models

Diese Buch wird ein wilder Ritt werden! Blümchen-Sex kann ja durchaus süß sein, aber wenn Sie nach etwas Abenteuerlicherem suchen, ist The Life Erotic der richtige Ort dafür. 2009 gegründet, ist The Lif…

Cindy Lee

Model Express

Security, Trust and Privacy Models, and Architectures in IoT Environments

This book is dedicated to the issues of security, trust and privacy models, and architectures in IoT environments. The authors aim to capture the latest research and contributions from academy, industry, …

Guillaume Mercère

Data Driven Model Learning for Engineers

The main goal of this comprehensive textbook is to cover the core techniques required to understand some of the basic and most popular model learning algorithms available for engineers, then illustrate th…

Sebastian Raschka

Build a Large Language Model (from Scratch)

Learn how to create, train, and tweak large language models (LLMs) by building one from the ground up! In Build a Large Language Model (from Scratch) bestselling author Sebastian Raschka guides you step …

PCM-CMM2023: Theories, Models and Simulations of Complex Physical Systems

The idea of organizing the Polish Congress of Mechanics was born in 2005 among members of the Polish Society of Theoretical and Applied Mechanics. The first Congress has been organized in 2007. In 2013, t…

John Berryman, Albert Ziegler

Prompt Engineering for LLMs

Large language models (LLMs) are revolutionizing the world, promising to automate tasks and solve complex problems. A new generation of software applications are using these models as building blocks to u…

Maximilian Röhe

Dynamic Model-based Analysis of Oxygen Reduction Reaction in Gas Diffusion Electrodes

In this work, the first simulation model of oxygen depolarized cathodes (ODC), which are silver catalyst-based gas diffusion electrodes, is presented that considers the phase equilibrium of the gas-liquid…

AI Models for Blockchain-Based Intelligent Networks in IoT Systems

The goal of this book is to explore various security paradigms such as Machine Learning, Big data, Cyber Physical Systems, and Blockchain to address both intelligence and reconfigurability in various IoT …

Paul Krühner, Fred Espen Benth

Stochastic Models for Prices Dynamics in Energy and Commodity Markets

This monograph presents a theory for random field models in time and space, viewed as stochastic processes with values in a Hilbert space, to model the stochastic dynamics of forward and futures prices in…

Hermann Moshagen

The General Kelvin-Helmholtz Stability Model

This book presents a generalized version of the classical Kelvin-Helmholtz instability, a useful tool which allows for new approaches when studying stability problems in fluid mechanics, as well as its im…

Parekh

Beyond the Dish: Unveiling DNA Repair Mechanisms in 3D Cell Culture Models

Traditional cell culture methods, primarily utilizing flat, two-dimensional (2D) plastic dishes, have long been the cornerstone of biological research. However, these models often fail to accurately refle…

Herlie

Bridging the Gap Between Models and Reality: Coreference Effects in Natural Language

Natural language processing (NLP) strives to bridge the gap between the complex world of human language and the structured world of machines. Coreference, the phenomenon where words or phrases refer back …

Naviya

Bridging the Gap: Addressing Heterogeneity in Local Models for Enhanced Multiparty Learning

in the system. Note that all these works rely on a trusted central server to coor-dinate the distributed learning process, which obviously becomes a single point of failure and can be subject to attacks. …

Michael

The Science of Cities: Using Models and Systems to Shape Urban Futures

In "The Science of Cities: Using Models and Systems to Understand Urban Futures," you'll embark on a journey to decode the complexities of our urban world. This book unveils the power of using models and …