Results 21 to 30 of about 265,300 (270)
[my]-Bis(diphenylphosphanyl)borato-[kappa]2P:P'-bis[dicarbonyl([eta]5-cyclopentadienyl)iron(II)] tetrachloridoferrate(III) chloroform solvate [PDF]
, 2008 The title compound, [Fe2(C5H5)2(C24H22BP2)(CO)4][FeCl4]·CHCl3, is an oxidation product of CpFe(CO)2PPh2BH3. One pair of phenyl rings attached to the two different P atoms are almost parallel, as are the other pair [dihedral angles = 8.7 (5) and 8.9 (5)°].
Franz Dornhaus +5 more
core +2 more sources
Expected and unexpected products of reactions of 2-hydrazinylbenzothiazole with 3-nitrobenzenesulfonyl chloride in different solvents [PDF]
, 2018 Acknowledgements We thank the EPSRC National Crystallography Service (University of Southampton) for the X-ray data collections.
de Souza, Marcus V. N. +3 more
core +5 more sources
Biomolecules, 2021 Food and feed safety are of paramount relevance in everyday life. The awareness that different chemicals, e.g., those largely used in agriculture, could present both environmental problems and health hazards, has led to a large limitation of their use ...
Jelena Loncar +6 more
doaj +1 more source
Screening and Enzymatic Properties of Lipase-producing Strains and Effects of Their Inoculation on Flavor Compounds of Fermented Sour Meat [PDF]
Shipin Kexue, 2023 In this study, six lipase-producing strains from food sources were screened for their ability to produce lipase. Among them, Staphylococcus epidermidis N30 and Yarrowia lipolytica C11 demonstrated high enzyme activities of 1.07 and 0.84 U/mL ...
JIANG Cuicui, SHANG Hao, ZHANG Sufang, LIANG Huipeng, JI Chaofan, CHEN Yingxi, LIN Xinping
doaj +1 more source
Library abstraction for C/C++ concurrency [PDF]
, 2013 When constructing complex concurrent systems, abstraction is vital: programmers should be able to reason about concurrent libraries in terms of abstract specifications that hide the implementation details.
Alexey Gotsman +4 more
core +3 more sources
Discovery of dual tubulin-NEDDylation inhibitors with antiproliferative activity
Journal of Enzyme Inhibition and Medicinal Chemistry, 2023 Although various dual-target tubulin inhibitors have been designed and synthesised, no dual tubulin-NEDDylation inhibitors as antiproliferative agents were reported so far.
Dong-Jun Fu, Ting Wang
doaj +1 more source
Overhauling SC atomics in C11 and OpenCL [PDF]
, 2015 Despite the conceptual simplicity of sequential consistency (SC), the semantics of SC atomic operations and fences in the C11 and OpenCL memory models is subtle, leading to convoluted prose descriptions that translate to complex axiomatic formalisations.
Alastair F. Donaldson +5 more
core +2 more sources
Verifying C11-style weak memory libraries [PDF]
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021 Deductive verification of concurrent programs under weak memory has thus far been limited to simple programs over a monolithic state space. For scalabiility, we also require modular techniques with verifiable library abstractions. This paper addresses this challenge in the context of RC11 RAR, a subset of the C11 memory model that admits relaxed and ...
Dalvandi, Sadegh, Dongol, Brijesh
openaire +2 more sources
iScience, 2021 Summary: Gpr52 is an orphan G-protein-coupled receptor of unknown physiological function. We found that Gpr52-deficient (Gpr52−/−) mice exhibit leanness associated with reduced liver weight, decreased hepatic de novo lipogenesis, and enhanced insulin ...
Mitsuo Wada +8 more
doaj +1 more source
A Program Logic for Reasoning About C11 Programs With Release-Sequences
IEEE Access, 2020 With the popularity of weak/relaxed memory models widely used in modern hardware architectures, the C11 standard introduced a language level weak memory model, A.K.A the C11 memory model, that allows C/C++ programs to exploit the optimisation provided by
Mengda He, Shengchao Qin, Zhiwu Xu
doaj +1 more source