Results 21 to 30 of about 76,513 (294)
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
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
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 ...
Sadegh Dalvandi, Brijesh Dongol
openaire +3 more sources
Owicki-Gries Reasoning for C11 RAR (Artifact) [PDF]
, 2020 The paper "Owicki-Gries Reasoning for C11 RAR" introduces a new proof calculus for the C11 RAR memory model that allows Owicki-Gries proof rules for compound statements, including non-interference, to remain unchanged.
Wehrheim, Heike +3 more
core +1 more source
Gestión de la tecnología e innovación: un Modelo de Redes Bayesianas
Economía Teoría y Práctica, 2019 La presente investigación tiene como propósito fundamental estudiar y analizar la gestión de la tecnología e innovación a través de Redes Bayesianas, para lo cual se realiza un modelo en el que se identifican y cuantifican los diversos factores que ...
Antonia Terán Bustamante +2 more
doaj +1 more source
Microorganisms, 2022 Biosurfactant-producing bacteria can be found in contaminated environments such as biopurification systems (BPS) for pesticide treatments. A total of 18 isolates were screened to determine their ability to produce extracellular biosurfactants, using ...
M. Cristina Diez +5 more
doaj +1 more source
A new link function for the prediction of binary variables
Croatian Review of Economic, Business and Social Statistics, 2018 If there are no heavy sanctions in place to prevent it, the problem of the cancellation of appointments can lead to huge economic losses and can have a significant impact on underutilized resources of healthcare facilities.
Gheno Gloria
doaj +1 more source
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies ⋆ [PDF]
, 2021 Deductive verification techniques for C11 programs have advanced significantly in recent years with the development of operational semantics and associated logics for increasingly large fragments of C11.
dongol, Brijesh
core +1 more source
Scientific Reports, 2022 Total petroleum hydrocarbons (TPHs)—(aliphatic and aromatic) were analysed for in atmospheric rainwater between April–June; July–August; September–October depicting early, mid, late rain of 2019.
Daniel Omeodisemi Omokpariola +4 more
doaj +1 more source
Frontiers in Chemistry, 2022 Diarylamines are a class of important skeleton widely existing in drugs or natural products. To discover novel diarylamine analogues as potential drugs, two series of diamide and carboxamide derivatives containing diarylamine scaffold were designed ...
Shaoyong Ke +11 more
doaj +1 more source