Results 21 to 30 of about 77,699 (297)
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
Forecasting Euro Area Inflation Using Single-Equation and Multivariate VAR–Models
Folia Oeconomica Stetinensia, 2017 Forecasting inflation is of key relevance for central banks, not least because the objective of low and stable inflation is embodied in most central banks’ mandates and the monetary policy transmission mechanism is well known to be subject to long and ...
Gerdesmeier Dieter +2 more
doaj +1 more source
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
Regression analysis CS←(C1 to C11) within students’ characteristics.
, 2023 Regression analysis CS←(C1 to C11) within students’ characteristics.
Vaishali Patil (14901507) +1 more
core +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
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
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
Molecular dynamics simulation of MAP30 interaction with c11-P peptide.
, 2023 Molecular dynamics simulation of MAP30 interaction with c11-P peptide.
Robert H. Shoemaker (146228) +7 more
core +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