Results 21 to 30 of about 11,396,305 (309)
Algorithmic aspects of type-based program synthesis [PDF]
, 2019 In the area of type-based program synthesis, the decision problem of inhabitation (given a type environment Gamma and a type tau, is there a term M such that M can be assigned the type tau in Gamma?) corresponds to existence of a program (term M) that ...
Dudenhefner, Andrej
core +1 more source
Player Types: A Meta-synthesis
Transactions of the Digital Games Research Association, 2014 This paper investigates different ways in which players have been typified in past research literature in order to distinguish relevant typologies for further research as well as for designing and marketing of games. The goal is to synthesize the results of various studies and to find the prevailing concepts, compare them, and draw implications to ...
Hamari, Juho, Tuunanen, Janne
openaire +3 more sources
Muscle fiber type-dependent differences in the regulation of protein synthesis. [PDF]
PLoS ONE, 2012 This study examined fiber type-dependent differences in the regulation of protein synthesis in individual muscle fibers found within the same whole muscle.
Craig A Goodman +3 more
doaj +1 more source
Molecules, 2021 Rearrangement reactions are efficient strategies in organic synthesis and contribute enormously to the development of energetic materials. Here, we report on the preparation of a fused energetic structure of 7-nitro-3,5-dihydro-4H-pyrazolo[4,3-d][1,2,3 ...
Fu-Qiang Bi +4 more
doaj +1 more source
Novel GPR120 Agonists with Improved Pharmacokinetic Profiles for the Treatment of Type 2 Diabetes
Molecules, 2021 GPR120 is a promising target for the treatment of type 2 diabetes (T2DM), which is activated by free fatty acids (FFAs) and stimulates the release of glucagon-like peptide-1(GLP-1).
Guoxia Ji +7 more
doaj +1 more source
PKR acts early in infection to suppress Semliki Forest virus production and strongly enhances the type I interferon response [PDF]
, 2009 The double-stranded RNA-activated protein kinase (PKR) is a key regulator of protein translation, interferon (IFN) expression and cell survival. Upon infection of vertebrate cells in continuous culture, the alphavirus Semliki Forest virus (SFV) initiates
Fragkoudis, R. +20 more
core +1 more source
Characterization and application of carboxylate-type zwitterions synthesized by one-step
Journal of Ionic Liquids, 2022 Zwitterions have been attracting great attention and the synthesis of carboxylate-type zwitterions is complicated than those of sulfonate-type zwitterions.
Tetsuo Komori +8 more
doaj +1 more source
BMC Pediatrics, 2021 Aims To synthesise the qualitative evidence on parents’ experiences of caring for a child aged ≤8 years with type 1 diabetes to identify: the challenges they encounter; their views about support received; ways in which support could be improved; and ...
B. Kimbell +4 more
doaj +1 more source
Mixin Composition Synthesis based on Intersection Types
Logical Methods in Computer Science, 2018 We present a method for synthesizing compositions of mixins using type inhabitation in intersection types. First, recursively defined classes and mixins, which are functions over classes, are expressed as terms in a lambda calculus with records. Intersection types with records and record-merge are used to assign meaningful types to these terms without ...
Jan Bessai +5 more
openaire +5 more sources
Transcription factor 7-like 2 gene links increased in vivo insulin synthesis to type 2 diabetes
EBioMedicine, 2018 Transcription factor 7-like 2 (TCF7L2) is the main susceptibility gene for type 2 diabetes, primarily through impairing the insulin secretion by pancreatic β cells. However, the exact in vivo mechanisms remain poorly understood.
Sjaam Jainandunsing +6 more
doaj +1 more source