Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Karel Tuma
Follow
Activity
Upvotes
Folders
Articles
4
In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks
4 days ago by
Simon Schneider
and
others
Cryptography and Security
,
Software Engineering
Fast construction of the discrete Green operator for a second order ordinary differential equation
9 December 2024 by
Jan Blechta
and
others
Numerical Analysis
Usefulness of data flow diagrams and large language models for security threat validation: a registered report
15 August 2024 by
Winnie Bahati Mbaka
and
Katja Tuma
at
Vrije Universiteit Amsterdam
Software Engineering
Designing Secure AI-based Systems: a Multi-Vocal Literature Review
26 July 2024 by
Simon Schneider
and
others
Software Engineering
Risks of uncertainty propagation in Al-augmented security pipelines
14 July 2024 by
Emanuele Mezzi
and
others
Software Engineering
,
Artificial Intelligence
The Equality Maturity Model: an actionable tool to advance gender balance in leadership and participation roles
2 July 2024 by
Paloma Díaz
and
others
Human-Computer Interaction
,
H.m MISCELLANEOUS
Geometric re-meshing strategies to simulate contactless rebounds of elastic solids in fluids
17 December 2023 by
J. Fara
and
others
Numerical Analysis
,
Fluid Dynamics
Stability and error estimates of a linear numerical scheme approximating nonlinear fluid-structure interactions
12 January 2023 by
Sebastian Schwarzacher
and
others
Numerical Analysis
On compatibility of the Natural configuration framework with GENERIC: Derivation of anisotropic rate-type models
3 June 2021 by
Petr Pelech
and
others
Statistical Mechanics
,
Fluid Dynamics
Phase-field modeling of multivariant martensitic transformation at finite-strain: computational aspects and large-scale finite-element simulations
20 January 2021 by
Karel Tuma
and
others
Computational Physics
This is an AI-generated summary
Key points
Topics
Numerical Analysis
Fluid Dynamics
Statistical Mechanics
Computational Physics