Taming the Generative AI Wild West: Integrating Knowledge Graphs in Digital Library Systems

Get full text

Optimal Sizing of Photovoltaic Systems With Flexible Curtailment Strategy

Get full text

Chemical Recommender System: Replacement Suggestions for Small Molecules

Get full text

A Tertiary Study on Approaches for Developing Recommender Systems

Get full text

An embedded vision-based system for cyclist detection and counting

Get full text

A Behavioral Theory for Distributed Systems with Weak Recovery

Get full text

A proof system for graph (non)-isomorphism verification

Get full text

Specification and Verification of Timing Properties in Interoperable Medical Systems

Get full text

The Complexity of Reachability in Affine Vector Addition Systems with States

Get full text

Affine Extensions of Integer Vector Addition Systems with States

Get full text

An extended type system with lambda-typed lambda-expressions

Get full text

Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems

Get full text

Higher-dimensional automata modeling shared-variable systems

Get full text

A coalgebraic treatment of conditional transition systems with upgrades

Get full text

Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically

Get full text

On Reachability for Unidirectional Channel Systems Extended with Regular Tests

Get full text

Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems

Get full text

Definability of linear equation systems over groups and rings

Get full text

A type reduction theory for systems with replicated components

Get full text

Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies

Get full text