Coordinated Projects

The ever-growing number of protein-ligand complex structures can give fundamental insights into protein functions and protein-ligand interactions, especially in the field of protein kinase research. The number of tools to mine this data for individually defined structural motifs is restricted due to the challenging task of developing efficient index structures for 3D data in relational databases. [...]

The design of energy- and area-efficient systems is important for modern technology. One approach to increase these efficiencies is approximate computing. [...]

The problem of generating a minimal implementation of a given Boolean function is called exact synthesis. The parameter to be minimized is often the total number of gates used for the implementation. [...]

The number of publications concerning Pan-Assay Interference Compounds and related problematic structural motifs in screening libraries is constantly growing. In consequence, filter collections are merged, extended but also critically discussed. [...]

We propose Syntax-Guided Property Enumeration, a method for automatically obtaining a set of short and readable temporal logic properties from sequential logic networks. Each property is a temporal logic formula which describes a relation between the primary inputs, the primary outputs, and the latches of the network over time. [...]

We present an outline of the field of Design Understanding and summarize state-of-the-art research in deriving human-understandable knowledge in form of logic properties from an unknown design..

The GBTX ASIC is a standard solution for providing fast control and data readout for radiation detectors used in HEP experiments. However, it is subject to export control restrictions due to the usage of radiation-hard technology. [...]

Over a decade ago, it was confirmed that detonation nanodiamond (DND) powders reflect very cold neutrons (VCNs) diffusively at any incidence angle and that they reflect cold neutrons quasi-specularly at small incidence angles. In the present publication, we report the results of a study on the effect of particle sizes on the overall efficiency of neutron reflectors made of DNDs [...]

The NA61/SHINE experiment at the CERN Super Proton Synchrotron (SPS) studies the onset of deconfinement in hadron matter by a scan of particle production in collisions of nuclei with various sizes at a set of energies covering the SPS energy range. This paper presents results on inclusive double-differential spectra, transverse momentum and rapidity distributions and mean multiplicities of $\pi ^\pm $, $K^\pm $, p and $\bar{p}$ produced in the 20% most central$^7$Be+$^9$Be collisions at beam momenta of 19A, 30A, 40A, 75A and 150A ${\mathrm{Ge} \mathrm{V}}\!/\!c$. [...]

The physics goal of the strong interaction program of the NA61/SHINE experiment at the CERN Super Proton Synchrotron (SPS) is to study the phase diagram of hadronic matter by a scan of particle production in collisions of nuclei with various sizes at a set of energies covering the SPS energy range. This paper presents differential inclusive spectra of transverse momentum, transverse mass and rapidity of $\pi ^{-}$ mesons produced in central${}^{40}$Ar+${}^{45}$Sc collisions at beam momenta of 13A, 19A, 30A, 40A, 75A and 150$A\,\text{ Ge }\text{ V }\!/\!\textit{c}$. [...]