:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Cabral, Juan B., Schachner, Alvaro Roy
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Optimization and Control Software Engineering
Accesso online:	https://arxiv.org/abs/2509.24996
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

GlycoPy: A CasADi-based Python Framework for Hierarchical Modeling, Optimization, and Control of Bioprocesses
di: Ma, Yingjie, et al.
Pubblicazione: (2026)

OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents
di: Xu, Yujia, et al.
Pubblicazione: (2026)

Inverse Optimality for Fair Digital Twins: A Preference-based approach
di: Masti, Daniele, et al.
Pubblicazione: (2025)

EV-EcoSim: A grid-aware co-simulation platform for the design and optimization of electric vehicle charging infrastructure
di: Balogun, Emmanuel, et al.
Pubblicazione: (2024)

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization
di: Lian, Junbo Jacob, et al.
Pubblicazione: (2026)

Algorithmic Detection of Rank Reversals, Transitivity Violations, and Decomposition Inconsistencies in Multi-Criteria Decision Analysis
di: Borda, Agustín, et al.
Pubblicazione: (2025)

How Low Can We Go? Minimizing Interaction Samples for Configurable Systems
di: Krupke, Dominik, et al.
Pubblicazione: (2025)

AgentChangeBench: A Multi-Dimensional Evaluation Framework for Goal-Shift Robustness in Conversational AI
di: Rana, Manik, et al.
Pubblicazione: (2025)

Absorber LLM: Harnessing Causal Synchronization for Test-Time Training
di: Zhang, Zhixin, et al.
Pubblicazione: (2026)

Adjoint Sensitivities for the Optimization of Nonlinear Structural Dynamics via Spectral Submanifolds
di: Pozzi, Matteo, et al.
Pubblicazione: (2025)

An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
di: Paul, Kawshik Kumar, et al.
Pubblicazione: (2025)

A Modular Approach to Stochastic Optimisation for Inverse Problems Using the Core Imaging Library
di: Papoutsellis, Evangelos, et al.
Pubblicazione: (2026)

MindOpt Adapter for CPLEX Benchmarking Performance Analysis
di: Sun, Mou, et al.
Pubblicazione: (2023)

Role of Conditional Statements in Software Engineering and Program Optimization
di: Kumar, Dr Kundan
Pubblicazione: (2026)

An Open Source Python Library for Anonymizing Sensitive Data
di: Díaz, Judith Sáinz-Pardo, et al.
Pubblicazione: (2024)

JAX-SSO: Differentiable Finite Element Analysis Solver for Structural Optimization and Seamless Integration with Neural Networks
di: Wu, Gaoyuan
Pubblicazione: (2024)

Optimization under uncertainty: understanding orders and testing programs with specifications
di: Jansson, Patrik, et al.
Pubblicazione: (2025)

LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generation
di: Ma, Zeyuan, et al.
Pubblicazione: (2024)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
di: Zuo, Jian, et al.
Pubblicazione: (2025)

Designing a Framework for Solving Multiobjective Simulation Optimization Problems
di: Chang, Tyler H., et al.
Pubblicazione: (2023)

CDOpt: A Python Package for a Class of Riemannian Optimization
di: Xiao, Nachuan, et al.
Pubblicazione: (2022)

On a probabilistic global optimizer derived from the Walker slice sampling
di: Gupta, Aditya, et al.
Pubblicazione: (2024)

ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems
di: Rego, Brenner S., et al.
Pubblicazione: (2025)

Context-Sensitive Pointer Analysis for ArkTS
di: Yang, Yizhuo, et al.
Pubblicazione: (2026)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
di: A., Gustavo Quiros, et al.
Pubblicazione: (2025)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
di: Alexopoulos, Angelos, et al.
Pubblicazione: (2025)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
di: Ellwein, Carsten, et al.
Pubblicazione: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
di: Krook, Jonas, et al.
Pubblicazione: (2022)

Improved algorithms and novel applications of the FrankWolfe.jl library
di: Besançon, Mathieu, et al.
Pubblicazione: (2025)

A Unified and Scalable Method for Optimization over Graphs of Convex Sets
di: Marcucci, Tobia
Pubblicazione: (2025)

A Practical GPU-Enhanced Matrix-Free Primal-Dual Method for Large-Scale Conic Programs
di: Lin, Zhenwei, et al.
Pubblicazione: (2025)

optHIM: Hybrid Iterative Methods for Continuous Optimization in PyTorch
di: Sridhar, Nikhil, et al.
Pubblicazione: (2025)

Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
di: Qu, Zheng, et al.
Pubblicazione: (2025)

Cardinal Optimizer (COPT) User Guide
di: Ge, Dongdong, et al.
Pubblicazione: (2022)

An efficient active-set method with applications to sparse approximations and risk minimization
di: Pougkakiotis, Spyridon, et al.
Pubblicazione: (2024)

Solving the Convex Flow Problem
di: Diamandis, Theo, et al.
Pubblicazione: (2024)

A Unified Funnel Restoration SQP Algorithm
di: Kiessling, David, et al.
Pubblicazione: (2024)

Optimistix: modular optimisation in JAX and Equinox
di: Rader, Jason, et al.
Pubblicazione: (2024)

Carbon-Taxed Transformers: A Green Compression Pipeline for Overgrown Language Models
di: Alam, Ajmain Inqiad, et al.
Pubblicazione: (2026)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
di: Gleirscher, Mario, et al.
Pubblicazione: (2017)