:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	VOIGT, Rafael Felippe
Format:	Recurso digital
Language:	Portuguese
Published:	Zenodo 2026
Subjects:	Computer Science, Software Engineering, Signal Processing, Computational Physics, Information Theory, Systems Engineering, Applied Mathematics, Statistical Modeling, Complex Systems, Scientific Software,
Online Access:	https://doi.org/10.5281/zenodo.18764893
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Systematic Analysis of Penalty-Optimised Illumination Design for Tomographic Volumetric Additive Manufacturing via the Extendable Framework TVAM AID Using the Core Imaging Library
by: Pellizzon, Nicole, et al.
Published: (2026)

ToolRosella: Translating Code Repositories into Standardized Tools for Scientific Agents
by: Di, Shimin, et al.
Published: (2026)

Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner
by: Conrad, Mirko, et al.
Published: (2024)

An Outline of Prognostics and Health Management Large Model: Concepts, Paradigms, and Challenges
by: Tao, Laifa, et al.
Published: (2024)

UMAT4COMSOL: An Abaqus user material (UMAT) subroutine wrapper for COMSOL
by: Lucarini, S., et al.
Published: (2024)

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
by: Ferrando, Angelo, et al.
Published: (2024)

3D Topological Modeling and Multi-Agent Movement Simulation for Viral Infection Risk Analysis
by: Jabi, Wassim, et al.
Published: (2024)

CodeComplex: Dataset for Worst-Case Time Complexity Prediction
by: Baik, Seung-Yeop, et al.
Published: (2024)

Automatizing Software Cognitive Complexity Reduction through Integer Linear Programming
by: Saborido, Rubén, et al.
Published: (2024)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
by: Zhang, Changjian, et al.
Published: (2023)

Impact of CALS on Electronic Publishing Systems and Users.
by: Beazley, William G.
Published: (1990)

A Hybrid Optimization Framework for Spatial Packaging of Interconnected Systems
by: Westerhof, S., et al.
Published: (2026)

Introducing Repository Stability
by: Destefanis, Giuseppe, et al.
Published: (2025)

Architecture-based Evolution of Dependable Software-intensive Systems
by: Heinrich, Robert
Published: (2023)

Ernst Denert Award for Software Engineering 2022
Published: (2024)

AI-Driven Resource Allocation Framework for Microservices in Hybrid Cloud Platforms
by: Barua, Biman, et al.
Published: (2024)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
by: Schönig, Stefan, et al.
Published: (2025)

Quantitative Monitoring of Signal First-Order Logic
by: Chalupa, Marek, et al.
Published: (2026)

GeoWarp: An automatically differentiable and GPU-accelerated implicit MPM framework for geomechanics based on NVIDIA Warp
by: Zhao, Yidong, et al.
Published: (2025)

Large-Scale Simulations of Turbulent Flows using Lattice Boltzmann Methods on Heterogeneous High Performance Computers
by: Kummerländer, Adrian, et al.
Published: (2025)

Basilisk and Docker for Reproducible GN&C Simulation: A Workflow Reference
by: Gupta, Anubhav
Published: (2026)

Data Architectures for AI-Ready Interoperable Public Transportation Ecosystems
by: Da Silva, Diego, et al.
Published: (2026)

Spatial Optimization of Interconnected Systems in Non-Convex Design Spaces
by: Westerhof, S., et al.
Published: (2026)

HEAS: Hierarchical Evolutionary Agent-Based Simulation Framework for Multi-Objective Policy Search
by: Zhang, Ruiyu, et al.
Published: (2025)

Computational Foundations for Strategic Coopetition: Formalizing Sequential Interaction and Reciprocity
by: Pant, Vik, et al.
Published: (2026)

Circular Systems Engineering
by: David, Istvan, et al.
Published: (2023)

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
by: Chu, Simon, et al.
Published: (2024)

LogoShapes: A library of NetLogo vector graphics
by: Vartanian, Daniel
Published: (2025)

Information-Theoretic Bounds and Task-Centric Learning Complexity for Real-World Dynamic Nonlinear Systems
by: Bulusu, Sri Satish Krishna Chaitanya, et al.
Published: (2025)

Models That Prove Their Own Correctness
by: Amit, Noga, et al.
Published: (2024)

Evaluation of gNB Monostatic Sensing for UAV Use Case
by: Blandino, Steve, et al.
Published: (2026)

Twenty-five years of J-DSP Online Labs for Signal Processing Classes and Workforce Development Programs
by: Spanias, Andreas
Published: (2026)

Toward a reliable PWM-based light-emitting diode visual stimulus for improved SSVEP response with minimal visual fatigue
by: Mouli, Surej, et al.
Published: (2025)

SAT-CEP-monitor: An air quality monitoring software architecture combining complex event processing with satellite remote sensing
by: Semlali, Badr-Eddine Boudriki, et al.
Published: (2024)

Towards Comprehensive Legislative Requirements for Cyber Physical Systems Testing in the European Union
by: Nguyen, Guillaume, et al.
Published: (2024)

Knowledge Boundary Probing and Demand-Guided Intervention for LLM-Based Power System Code Generation
by: Wu, Hui, et al.
Published: (2026)

Decisions under Uncertainty.
by: Malinconico, S. Michael
Published: (1984)

Towards Richer Challenge Problems for Scientific Computing Correctness
by: Sottile, Matthew, et al.
Published: (2025)

A Case Library for Teaching Usability Engineering: Design Rationale, Development, and Classroom Experience
by: Carroll, John M., et al.
Published: (2005)