Fraunhofer-Publica
The Fraunhofer-Publica has been successfully documenting the research results of the Fraunhofer-Gesellschaft for over 30 years. The platform enables the collaborative linking of research-relevant objects and disseminates within the international scientific community.
The Fraunhofer-Publica thus fulfils its responsibility to promote the transfer of knowledge and know-how to industry and society.
Categories
Research outputs
As an application-oriented research organisation, Fraunhofer aims to conduct highly innovative and solution-oriented research - for the benefit of society and to strengthen the German and European economy.
Projects
Fraunhofer is tackling the current challenges facing industry head on. By pooling their expertise and involving industrial partners at an early stage, the Fraunhofer Institutes involved in the projects aim to turn original scientific ideas into marketable products as quickly as possible.
Researchers
Scientific achievement and practical relevance are not opposites - at Fraunhofer they are mutually dependent. Thanks to the close organisational links between Fraunhofer Institutes and universities, science at Fraunhofer is conducted at an internationally first-class level.
Institutes
The Fraunhofer-Gesellschaft is the leading organisation for applied research in Europe. Institutes and research facilities work under its umbrella at various locations throughout Germany.
Recent Additions
-
PublicationIn-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures( 2024)Formal verification of programmable memristive architectures utilizing emerging nonvolatile memory technologies such as Resistive Random-Access Memory (RRAM) has only been recently addressed by a few works at the software level. In this paper we propose an in-memory SAT solver utilizing inherent analog features of RRAM that enables formal verification of arbitrary designs within resistive crossbars. More importantly, this allows self-verification of in-memory implementations as the correctness of designs can be dynamically checked. Additionally, the required architecture is presented, along with a complexity analysis for latency and hardware overheads
-
Mainwork37th International Conference on VLSI Design, VLSID 2024. Proceedings(IEEE Computer Society Conference Publishing Services (CPS), 2024)
-
-
Most viewed
-
PublicationScalable Online Conformance Checking Using Incremental Prefix-Alignment Computation( 2021)Conformance checking techniques aim to collate observed process behavior with normative/modeled process models. The majority of existing approaches focuses on completed process executions, i.e., offline conformance checking. Recently, novel approaches have been designed to monitor ongoing processes, i.e., online conformance checking. Such techniques detect deviations of an ongoing process execution from a normative process model at the moment they occur. Thereby, countermeasures can be taken immediately to prevent a process deviation from causing further, undesired consequences. Most online approaches only allow to detect approximations of deviations. This causes the problem of falsely detected deviations, i.e., detected deviations that are actually no deviations. We have, therefore, recently introduced a novel approach to compute exact conformance checking results in an online environment. In this paper, we focus on the practical application and present a scalable, distributed implementation of the proposed online conformance checking approach. Moreover, we present two extensions to said approach to reduce its computational effort and its practical applicability. We evaluate our implementation using data sets capturing the execution of real processes.
-
PublicationRobust direction-of-arrival estimation of two simultaneous plane waves from a B-format signal( 2012)The instantaneous direction-of-arrival (DOA) of sound is a crucial parameter in the analysis of acoustic scenes. More complex acoustic scenes are often modelled as a sum of two plane waves, which requires a DOA estimator that can provide two DOAs per time and frequency. This paper proposes an approach which computes two DOAs per time and frequency from a B-format microphone signal. The proposed estimator outperforms the state-of-the-art approach by considering also diffuse sound and microphone noise in the signal model. The estimator includes an averaging process prior to computing the DOA estimates, as well as a fallback solution in case no valid results can be obtained. Simulation results demonstrate the practical applicability of the presented algorithm.
-
MainworkVerteilte Systeme - Organisation und Betrieb. Proceedings des 10. GI-Fachgesprächs über Rechenzentren(Deutscher Universitätsverlag, 1993)
-
Mainwork