Cover Image

Context, Composition, Automation, and Communication -- The C2AC Roadmap for Modeling and Simulation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Uhrmacher, Adelinde, Frazier, Peter, Hähnle, Reiner, Klügl, Franziska, Lorig, Fabian, Ludäscher, Bertram, Nenzi, Laura, Ruiz-Martin, Cristina, Rumpe, Bernhard, Szabo, Claudia, Wainer, Gabriel A., Wilsdorf, Pia
Format:	Preprint
Published:	2023
Subjects:	Computational Engineering, Finance, and Science I.6
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using (Not-so) Large Language Models to Generate Simulation Models in a Formal DSL: A Study on Reaction Networks
by: Kreikemeyer, Justin N., et al.
Published: (2025)

Optimizing Interventions for Agent-Based Infectious Disease Simulations
by: Wolpers, Anja, et al.
Published: (2026)

Visual Analysis of Time-Dependent Observables in Cell Signaling Simulations
by: Cibulski, Lena, et al.
Published: (2025)

Towards Learning Stochastic Population Models by Gradient Descent
by: Kreikemeyer, Justin N., et al.
Published: (2024)

RustyDL: A Program Logic for Rust
by: Drodt, Daniel, et al.
Published: (2026)

An Expressive Trace Logic for Recursive Programs
by: Gurov, Dilian, et al.
Published: (2024)

A Sequent Calculus For Trace Formula Implication
by: Heidler, Niklas, et al.
Published: (2025)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
by: Ludäscher, Bertram, et al.
Published: (2025)

On the Structure of Game Provenance and its Applications
by: Bowers, Shawn, et al.
Published: (2024)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
by: Hähnle, Reiner, et al.
Published: (2025)

SmartML: Towards a Modeling Language for Smart Contracts
by: Veschetti, Adele, et al.
Published: (2024)

Learning surrogate equations for the analysis of an agent-based cancer model
by: Burrage, Kevin, et al.
Published: (2025)

Reconciling Conflicting Data Curation Actions: Transparency Through Argumentation
by: Xia, Yilin, et al.
Published: (2024)

Logica-TGD: Transforming Graph Databases Logically
by: Skvortsov, Evgeny, et al.
Published: (2025)

AF-XRAY: Visual Explanation and Resolution of Ambiguity in Legal Argumentation Frameworks
by: Xia, Yilin, et al.
Published: (2025)

Wann war Arabien? Historische Zeiterfahrungen im Kontext einer Forschungsreise (1761-1767)
by: Hähnle, Mirjam
Published: (2024)

AutoDCWorkflow: LLM-based Data Cleaning Workflow Auto-Generation and Benchmark
by: Li, Lan, et al.
Published: (2024)

Building Whitespace-Sensitive Languages Using Whitespace-Insensitive Components
by: Hellwig, Alexander, et al.
Published: (2025)

Using Grammar Masking to Ensure Syntactic Validity in LLM-based Modeling Tasks
by: Netz, Lukas, et al.
Published: (2024)

A Calculus of Variations Approach to Stochastic Control
by: Lorig, Matthew
Published: (2025)

Optimal Control of the Ethena Yield-Bearing Stablecoin
by: Lorig, Matthew
Published: (2026)

Logical Robots: Declarative Multi-Agent Programming in Logica
by: Skvortsov, Evgeny, et al.
Published: (2026)

SciPrompt: Knowledge-augmented Prompting for Fine-grained Categorization of Scientific Topics
by: You, Zhiwen, et al.
Published: (2024)

Euler/X: A Toolkit for Logic-based Taxonomy Integration
by: Chen, Mingmin, et al.
Published: (2014)

A Web‐Based Architecture to Operationalize Geospatial Simulation Environments
by: Gabriel Wainer, et al.
Published: (2024)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
by: Grahl, Johanna, et al.
Published: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
by: Rumpe, Bernhard, et al.
Published: (2025)

Short-Rate-Dependent Volatility Models
by: Leung, Tim, et al.
Published: (2026)

Interest rate derivatives in a CTMC setting: pricing, replication and Ross recovery
by: Leung, Tim, et al.
Published: (2024)

CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
by: Li, Meng, et al.
Published: (2025)

Learning Context: A Unified Framework and Roadmap for Context-Aware AI in Education
by: Liu, Naiming, et al.
Published: (2025)

Optimal Liquidation of Perpetual Contracts
by: Donnelly, Ryan, et al.
Published: (2026)

Optimal positioning in derivative securities in incomplete markets
by: Leung, Tim, et al.
Published: (2024)

Rooftop and Community Solar Adoption with Income Heterogeneity
by: Rayal, Swapnil, et al.
Published: (2024)

CATs: whither and whence
by: Howard Wainer
Published: (2000)

Burguesías exportadoras: ¿un camino para el desarrollo de América Latina? El caso de la Argentina reciente
by: Andrés Wainer
Published: (2010)

Da adivinhação à dedução: os processos inferenciais em psicoterapia cognitivo-comportamental
by: Ricardo Wainer
Published: (2005)

LA RESTRICCIÓN EXTERNA AL CRECIMIENTO EN ARGENTINA EN EL PERIODO KIRCHNERISTA (2003 - 2015)
by: Andrés Wainer
Published: (2018)

¿Un puente al desarrollo? Cambios en el comercio de América Latina con Estados Unidos y China
by: Andrés Wainer
Published: (2023)

ESTUDIOS DE CASO ÚNICO EN EL CAMPO DE LA INVESTIGACIÓN ACTUAL EN PSICOLOGÍA CLÍNICA
by: Ariel Wainer
Published: (2012)