Jun 9, 2020 · Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems.

RWTH Publications - RWTH Publications. ... recid: Record ID. Document types. journal article ... RWTH Aachen (no further subdivision) (21,340). Public Reference ...

In the course of this thesis, the design and implementation of the real-time room acoustics simulation software RAVEN will be described, which is a vital part ...

Measurement of the τ lepton polarization in Z boson decays in proton-proton collisions at $ \sqrt{s} $ = 13 TeV · CMS Collaboration (Collaboration author) ...

URL: https://worldwide.espacenet.com/patent/search/family/007642063/publication/EP1283692B1?q=EP1283692. Patent 2005. 2024-05-29 08:48. Hornhautprothese · Klee ...

Aug 3, 2022 · To add symbolic reasoning capability to a connectionist model (either black-box MCAE model or surrogate), a domain-specific knowledge graph (KG) ...

May 7, 2021 · This dataset contains time-series data (time, current, voltage, temperature) of a cyclic aging test of 48 lithium-ion battery cells.

We propose: (1) a novel pipeline for extracting a comprehensive set of visual features, which are detect- able by a pathologist, as well as sub-visual features, ...