Modular and Agentic AI Design, Jailbreaking and Scheming Behaviour as Challenges to the EU AI Act
Procontainers for idioms, arrows and monads
An Agda formalization of nonassociative Lambek calculus and its metatheory
Comparing Traditional and eXtended Reality-based Learning: Effects on Performance, Emotions, and Cognitive Aspects
Tuning ester derivatives of organosolv vs technical lignin for improved thermoplastic materials
Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
From Virtual to Reality: A Structured Framework to Training Humanoid Robots for Elderly Care Using Learning from Demonstration
Wear resistance analysis of duplex interpenetrating ceramic composites via in-situ vibration monitoring
Enhancing the Aspect Robustness Score of the HAABSA++ Model Using Adversarial Training
Establishing Visualization-to-Hardware Communication Through Middleware for Digital Twin with ROS-Compatible Microcontrollers Latency Tests
Rapid and scalable combustion synthesis of (Mo2/3Y1/3)2AlC i-MAX as the precursor for vacancy-ordered MXene
Integration of AI Code-Writing Assistants in IT Higher Education
Assessment of tribological performance of 3D printed macro features on the metallic surface
Counterpart-based quantified temporal logics