Combining Detection and Verification for Secure Vehicular Cooperation Groups
Sign Up to like & getrecommendations! Published in 2020 at "ACM Transactions on Cyber-Physical Systems"
DOI: 10.1145/3322129
Abstract: Coordinated vehicles for intelligent traffic management are instances of cyber-physical systems with strict correctness requirements. A key building block for these systems is the ability to establish a group membership view that accurately captures the… read more here.
Keywords: view correctness; view; detection verification; correctness ... See more keywords
Detection and Verification of a Key Intermediate in an Enantioselective Peptide Catalyzed Acylation Reaction
Sign Up to like & getrecommendations! Published in 2022 at "Molecules"
DOI: 10.3390/molecules27196351
Abstract: Until now, the intermediate responsible for the acyl transfer of a highly enantioselective tetrapeptide organocatalyst for the kinetic resolution of trans-cycloalkane-1,2-diols has never been directly observed. It was proposed computationally that a π-methylhistidine moiety is… read more here.
Keywords: verification key; reaction; spectroscopy; acylation ... See more keywords