Results 41 to 50 of about 2,511,435 (296)
MedComm, 2020 Highly upregulated in liver cancer (HULC) had a significant predictive effect on tumor growth and metastasis of hepatocellular carcinoma (HCC); however, the mechanisms of HULC on HCC still need to be clarified. We attempted to determine the roles of HULC
Haiming Zhang +5 more
doaj +1 more source
Indian Journal of Transplantation, 2022 Introduction: Kidney transplantation is the renal replacement therapy (RRT) of choice for patients with end-stage renal disease. Although outcomes of deceased-donor kidney transplantation are inferior when compared to live donor kidney transplantation ...
A Ayyappa +5 more
doaj +1 more source
Accounting of the magnetic field of the power supply system of a power-capacitive technical object
Российский технологический журнал, 2020 The paper shows the approach and the result of taking into account the mutual influence of on-board subsystems of a complex technical object along the DC power supply circuits.
A. T. Tarlanov, Z. M. Kurbanismailov
doaj +1 more source
The process of adapting an online induction course to support distinct student cohorts
Journal of Learning Development in Higher Education, 2022 Successful student transition into higher education is fundamental for student retention and future success. We have previously adapted a freely available online induction course to meet the needs of incoming Medicine (MBChB) students.
Kirsty McIntyre, Jennifer O'Neill
doaj +1 more source
For Finitary Induction-Induction, Induction Is Enough.
, 2019 Inductive-inductive types (IITs) are a generalisation of inductive types in type theory. They allow the mutual definition of types with multiple sorts where later sorts can be indexed by previous ones. An example is the Chapman-style syntax of type theory with conversion relations for each sort where e.g. the sort of types is indexed by contexts.
Ambrus Kaposi +2 more
openaire +3 more sources
Induction in component-based software synthesis
Lietuvos Matematikos Rinkinys, 2023 The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method.
Vaidas Giedrimas
doaj +1 more source
Materials & Design, 2019 Numerical and Gleeble experimental data are combined to predict potential microstructure and hardness profiles through the wall thickness of an induction hardened slurry transportation pipe made of a recently developed 0.4 wt% C, Nb-microalloyed steel ...
Vahid Javaheri +4 more
doaj +1 more source
SPEED CONTROL OF PERMANENT MAGNET SYNCHRONOUS MOTOR USING DIFFERENT STRATEGY OF SLIDING MODE APPROACH [PDF]
Journal of Engineering Science and Technology, 2017 In order to optimize the speed-control performance of the PMSM system with different disturbances and uncertainties, hybrid nonlinear speed-controls for the PMSM, based sliding-mode control, is developed.
I. BAKHTI +3 more
doaj
OX40 Regulates Both Innate and Adaptive Immunity and Promotes Nonalcoholic Steatohepatitis
Cell Reports, 2018 Summary: Both innate and adaptive immune cells are involved in the pathogenesis of nonalcoholic steatohepatitis (NASH), but the crosstalk between innate and adaptive immunity is largely unknown.
Guangyong Sun +20 more
doaj +1 more source
A Categorical Semantics for Inductive-Inductive Definitions [PDF]
, 2011 Induction-induction is a principle for defining data types in Martin-Lof Type Theory. An inductive-inductive definition consists of a set A, together with an A-indexed family B : A → Set, where both A and B are inductively defined in such a way that the constructors for A can refer to B and vice versa.
Thorsten Altenkirch +3 more
openaire +4 more sources