Voigt System — Complete Scientific Framework
Fuente:
Zenodo
Salvato in:
| Autore principale: | VOIGT, Rafael Felippe |
|---|---|
| Natura: | Recurso digital |
| Lingua: | portoghese |
| Pubblicazione: |
Zenodo
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Systematic Analysis of Penalty-Optimised Illumination Design for Tomographic Volumetric Additive Manufacturing via the Extendable Framework TVAM AID Using the Core Imaging Library
di: Pellizzon, Nicole, et al.
Pubblicazione: (2026)
di: Pellizzon, Nicole, et al.
Pubblicazione: (2026)
ToolRosella: Translating Code Repositories into Standardized Tools for Scientific Agents
di: Di, Shimin, et al.
Pubblicazione: (2026)
di: Di, Shimin, et al.
Pubblicazione: (2026)
Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner
di: Conrad, Mirko, et al.
Pubblicazione: (2024)
di: Conrad, Mirko, et al.
Pubblicazione: (2024)
UMAT4COMSOL: An Abaqus user material (UMAT) subroutine wrapper for COMSOL
di: Lucarini, S., et al.
Pubblicazione: (2024)
di: Lucarini, S., et al.
Pubblicazione: (2024)
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
di: Ferrando, Angelo, et al.
Pubblicazione: (2024)
di: Ferrando, Angelo, et al.
Pubblicazione: (2024)
An Outline of Prognostics and Health Management Large Model: Concepts, Paradigms, and Challenges
di: Tao, Laifa, et al.
Pubblicazione: (2024)
di: Tao, Laifa, et al.
Pubblicazione: (2024)
CodeComplex: Dataset for Worst-Case Time Complexity Prediction
di: Baik, Seung-Yeop, et al.
Pubblicazione: (2024)
di: Baik, Seung-Yeop, et al.
Pubblicazione: (2024)
Automatizing Software Cognitive Complexity Reduction through Integer Linear Programming
di: Saborido, Rubén, et al.
Pubblicazione: (2024)
di: Saborido, Rubén, et al.
Pubblicazione: (2024)
3D Topological Modeling and Multi-Agent Movement Simulation for Viral Infection Risk Analysis
di: Jabi, Wassim, et al.
Pubblicazione: (2024)
di: Jabi, Wassim, et al.
Pubblicazione: (2024)
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
di: Zhang, Changjian, et al.
Pubblicazione: (2023)
di: Zhang, Changjian, et al.
Pubblicazione: (2023)
A Hybrid Optimization Framework for Spatial Packaging of Interconnected Systems
di: Westerhof, S., et al.
Pubblicazione: (2026)
di: Westerhof, S., et al.
Pubblicazione: (2026)
Introducing Repository Stability
di: Destefanis, Giuseppe, et al.
Pubblicazione: (2025)
di: Destefanis, Giuseppe, et al.
Pubblicazione: (2025)
Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
di: Schönig, Stefan, et al.
Pubblicazione: (2025)
di: Schönig, Stefan, et al.
Pubblicazione: (2025)
Quantitative Monitoring of Signal First-Order Logic
di: Chalupa, Marek, et al.
Pubblicazione: (2026)
di: Chalupa, Marek, et al.
Pubblicazione: (2026)
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
di: Vázquez, Gricel, et al.
Pubblicazione: (2026)
di: Vázquez, Gricel, et al.
Pubblicazione: (2026)
GeoWarp: An automatically differentiable and GPU-accelerated implicit MPM framework for geomechanics based on NVIDIA Warp
di: Zhao, Yidong, et al.
Pubblicazione: (2025)
di: Zhao, Yidong, et al.
Pubblicazione: (2025)
Large-Scale Simulations of Turbulent Flows using Lattice Boltzmann Methods on Heterogeneous High Performance Computers
di: Kummerländer, Adrian, et al.
Pubblicazione: (2025)
di: Kummerländer, Adrian, et al.
Pubblicazione: (2025)
Spatial Optimization of Interconnected Systems in Non-Convex Design Spaces
di: Westerhof, S., et al.
Pubblicazione: (2026)
di: Westerhof, S., et al.
Pubblicazione: (2026)
AI-Driven Resource Allocation Framework for Microservices in Hybrid Cloud Platforms
di: Barua, Biman, et al.
Pubblicazione: (2024)
di: Barua, Biman, et al.
Pubblicazione: (2024)
Circular Systems Engineering
di: David, Istvan, et al.
Pubblicazione: (2023)
di: David, Istvan, et al.
Pubblicazione: (2023)
Evaluation of gNB Monostatic Sensing for UAV Use Case
di: Blandino, Steve, et al.
Pubblicazione: (2026)
di: Blandino, Steve, et al.
Pubblicazione: (2026)
Twenty-five years of J-DSP Online Labs for Signal Processing Classes and Workforce Development Programs
di: Spanias, Andreas
Pubblicazione: (2026)
di: Spanias, Andreas
Pubblicazione: (2026)
Basilisk and Docker for Reproducible GN&C Simulation: A Workflow Reference
di: Gupta, Anubhav
Pubblicazione: (2026)
di: Gupta, Anubhav
Pubblicazione: (2026)
Data Architectures for AI-Ready Interoperable Public Transportation Ecosystems
di: Da Silva, Diego, et al.
Pubblicazione: (2026)
di: Da Silva, Diego, et al.
Pubblicazione: (2026)
Towards Comprehensive Legislative Requirements for Cyber Physical Systems Testing in the European Union
di: Nguyen, Guillaume, et al.
Pubblicazione: (2024)
di: Nguyen, Guillaume, et al.
Pubblicazione: (2024)
Towards Richer Challenge Problems for Scientific Computing Correctness
di: Sottile, Matthew, et al.
Pubblicazione: (2025)
di: Sottile, Matthew, et al.
Pubblicazione: (2025)
Knowledge Boundary Probing and Demand-Guided Intervention for LLM-Based Power System Code Generation
di: Wu, Hui, et al.
Pubblicazione: (2026)
di: Wu, Hui, et al.
Pubblicazione: (2026)
Impact of CALS on Electronic Publishing Systems and Users.
di: Beazley, William G.
Pubblicazione: (1990)
di: Beazley, William G.
Pubblicazione: (1990)
Models That Prove Their Own Correctness
di: Amit, Noga, et al.
Pubblicazione: (2024)
di: Amit, Noga, et al.
Pubblicazione: (2024)
HEAS: Hierarchical Evolutionary Agent-Based Simulation Framework for Multi-Objective Policy Search
di: Zhang, Ruiyu, et al.
Pubblicazione: (2025)
di: Zhang, Ruiyu, et al.
Pubblicazione: (2025)
Information-Theoretic Bounds and Task-Centric Learning Complexity for Real-World Dynamic Nonlinear Systems
di: Bulusu, Sri Satish Krishna Chaitanya, et al.
Pubblicazione: (2025)
di: Bulusu, Sri Satish Krishna Chaitanya, et al.
Pubblicazione: (2025)
A Generic Modelling Framework for Last-Mile Delivery Systems
di: Gürcan, Önder, et al.
Pubblicazione: (2025)
di: Gürcan, Önder, et al.
Pubblicazione: (2025)
A modular and extensible library for parameterized terrain generation
di: Wallin, Erik
Pubblicazione: (2025)
di: Wallin, Erik
Pubblicazione: (2025)
GALÆXI: Solving complex compressible flows with high-order discontinuous Galerkin methods on accelerator-based systems
di: Kempf, Daniel, et al.
Pubblicazione: (2024)
di: Kempf, Daniel, et al.
Pubblicazione: (2024)
A Performance-Portable, Massively Parallel Distributed Nonuniform FFT
di: Fischill, Paul, et al.
Pubblicazione: (2026)
di: Fischill, Paul, et al.
Pubblicazione: (2026)
TOPress: a MATLAB implementation for topology optimization of structures subjected to design-dependent pressure loads
di: Kumar, Prabhat
Pubblicazione: (2023)
di: Kumar, Prabhat
Pubblicazione: (2023)
BDDC Preconditioning on GPUs for Cardiac Simulations
di: Goebel, Fritz, et al.
Pubblicazione: (2024)
di: Goebel, Fritz, et al.
Pubblicazione: (2024)
General Field Evaluation in High-Order Meshes on GPUs
di: Mittal, Ketan, et al.
Pubblicazione: (2025)
di: Mittal, Ketan, et al.
Pubblicazione: (2025)
Toward a reliable PWM-based light-emitting diode visual stimulus for improved SSVEP response with minimal visual fatigue
di: Mouli, Surej, et al.
Pubblicazione: (2025)
di: Mouli, Surej, et al.
Pubblicazione: (2025)
SAT-CEP-monitor: An air quality monitoring software architecture combining complex event processing with satellite remote sensing
di: Semlali, Badr-Eddine Boudriki, et al.
Pubblicazione: (2024)
di: Semlali, Badr-Eddine Boudriki, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Systematic Analysis of Penalty-Optimised Illumination Design for Tomographic Volumetric Additive Manufacturing via the Extendable Framework TVAM AID Using the Core Imaging Library
di: Pellizzon, Nicole, et al.
Pubblicazione: (2026) -
ToolRosella: Translating Code Repositories into Standardized Tools for Scientific Agents
di: Di, Shimin, et al.
Pubblicazione: (2026) -
Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner
di: Conrad, Mirko, et al.
Pubblicazione: (2024) -
UMAT4COMSOL: An Abaqus user material (UMAT) subroutine wrapper for COMSOL
di: Lucarini, S., et al.
Pubblicazione: (2024) -
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
di: Ferrando, Angelo, et al.
Pubblicazione: (2024)