Cover Image

ARCADE: An interactive playground for real-time immersed topology optimization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aragón, Alejandro M., Algra, Hendrik J.
Format:	Preprint
Published:	2025
Subjects:	Computational Engineering, Finance, and Science 35Q93, 49M41, 65K10, 74P15, J.2; J.6; D.2.2; D.2.3; D.2.6; D.2.10; D.2.13; K.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model Generation with LLMs: From Requirements to UML Sequence Diagrams
by: Ferrari, Alessio, et al.
Published: (2024)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

From Domain Understanding to Design Readiness: a playbook for GenAI-supported learning in Software Engineering
by: Wlodarski, Rafal
Published: (2026)

An Evaluation of a Structured Spreadsheet Development Methodology
by: Rajalingham, Kamalasen, et al.
Published: (2008)

Thinking is Bad: Implications of Human Error Research for Spreadsheet Research and Practice
by: Panko, Raymond R.
Published: (2008)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
by: Grossman, Thomas A.
Published: (2008)

Teaching spreadsheet development using peer audit and self-audit methods for reducing error
by: Chadwick, David, et al.
Published: (2008)

Myriad People Open Source Software for New Media Arts
by: Baudry, Benoit, et al.
Published: (2025)

Selecting Cybersecurity Requirements: Effects of LLM Use and Professional Software Development Experience
by: Fujs, Damjan, et al.
Published: (2025)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
by: Ariamajd, Armin, et al.
Published: (2025)

Code Documentation and Analysis to Secure Software Development
by: Attie, Paul, et al.
Published: (2024)

GazePrinter: Visualizing Expert Gaze to Guide Novices in a New Codebase
by: Kuang, Peng, et al.
Published: (2026)

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

Spreadsheet Engineering: A Research Framework
by: Grossman, Thomas A.
Published: (2007)

Extending and Applying Automated HERMES Software Publication Workflows
by: Kernchen, Sophie, et al.
Published: (2024)

Beyond the Tip of the Iceberg: Understanding SATD in Dockerfiles through the Lens of Co-evolution
by: Minn, Wei, et al.
Published: (2026)

Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
by: Michael, Judith, et al.
Published: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Meta-Monomorphizing Specializations
by: Bruzzone, Federico, et al.
Published: (2026)

Can AI Lower the Barrier to Cybersecurity? A Human-Centered Mixed-Methods Study of Novice CTF Learning
by: Schachner, Cathrin, et al.
Published: (2026)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
by: Bruzzone, Federico, et al.
Published: (2026)

Interpretation as a factor in understanding flawed spreadsheets
by: Banks, David A., et al.
Published: (2008)

Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
by: Rust, Alan, et al.
Published: (2008)

Spreadsheet Hell
by: Murphy, Simon
Published: (2008)

Impact of Errors in Operational Spreadsheets
by: Powell, Stephen G., et al.
Published: (2008)

Enterprise Spreadsheet Management: A Necessary Good
by: Baxter, Ralph
Published: (2008)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
by: Kratz, Maximilian, et al.
Published: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
by: Ehmes, Sebastian, et al.
Published: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
by: Kratz, Maximilian, et al.
Published: (2025)

Litrepl: Literate Paper Processor Promoting Transparency More Than Reproducibility
by: Mironov, Sergei
Published: (2025)

CTF as a Service: A reproducible and scalable infrastructure for cybersecurity training
by: Miguel, Carlos Jimeno, et al.
Published: (2026)

Protecting Spreadsheets Against Fraud
by: Mittermeir, Roland T., et al.
Published: (2008)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)

Novel Development of LLM Driven mCODE Data Model for Improved Clinical Trial Matching to Enable Standardization and Interoperability in Oncology Research
by: Shekhar, Aarsh, et al.
Published: (2024)