Results 61 to 70 of about 36,047,180 (365)
FEBS Letters, EarlyView.Low‐density lipoprotein receptor‐related protein 6 (LRP6) is a key receptor for the Wnt antagonist Dickkopf1 (DKK1). DKK1 protein expression is induced in a bleomycin (BLM)‐induced lung injury model. We show that DKK1 induces proinflammatory and profibrotic genes in lung fibroblasts.
Eun‐Ah Sung +6 more
wiley +1 more source
A new type of mass structured data duplicate data check
MATEC Web of Conferences, 2016 In this study, the data processing method of a large-scale isoface is used to reduce the storage space of internal memory, improve data structure, and achieve predictability.
Huang Wen Qi +3 more
doaj +1 more source
Large Scale Generation of Labeled Type Data for Python [PDF]
arXiv, 2022 Recently, dynamically typed languages, such as Python, have gained unprecedented popularity. Although these languages alleviate the need for mandatory type annotations, types still play a critical role in program understanding and preventing runtime errors.
arxiv
A Logic for Abstract Data Types as Existential Types [PDF]
, 1999 The second-order lambda calculus allows an elegant formalisation of abstract data types (ADT's) using existential types. Plotkin and Abadi's logic for parametricity [PA93] then provides the useful proof principle of simulation for ADT's, which can be used to show equivalence of data representations.
Erik Poll, Jan Zwanenburg
openaire +3 more sources
Inductive-data-type systems [PDF]
Theoretical Computer Science, 2002 Comment: Theoretical Computer Science (2002)
Blanqui, Frédéric +2 more
openaire +3 more sources
Analyzing and interpreting data from likert-type scales.
Journal of Graduate Medical Education, 2013 Likert-type scales are frequently used in medical education and medical education research. Common uses include end-of-rotation trainee feedback, faculty evaluations of trainees, and assessment of performance after an educational intervention.
Gail M. Sullivan, A. Artino
semanticscholar +1 more source
FEBS Letters, EarlyView.LHCPs are transported to the thylakoid membrane via the (cp)SRP pathway. This process involves a transit complex of (cp)SRP43, (cp)SRP54 and LHCP, which interacts with (cp)FtsY and Alb3 at the membrane. GTP hydrolysis by (cp)SRP54 and (cp)FtsY triggers complex dissociation.
Victor Zegarra +7 more
wiley +1 more source
Research on data pricing model based on data market type
大数据, 2023 The market is the process of establishing product prices, and the methods of establishing prices in different markets are different.The pricing model of product is an abstraction of the process of establishing product prices in the market.At present, the
Hongrun REN, Yangyong ZHU
doaj
Type Prediction With Program Decomposition and Fill-in-the-Type Training [PDF]
arXiv, 2023 TypeScript and Python are two programming languages that support optional type annotations, which are useful but tedious to introduce and maintain. This has motivated automated type prediction: given an untyped program, produce a well-typed output program. Large language models (LLMs) are promising for type prediction, but there are challenges: fill-in-
arxiv
Data types, abstract data types and their specification problem
Theoretical Computer Science, 1979 AbstractA formal framework is proposed for discussing the algebraic properties of data types. In particular, the specification problem, i.e. the problem how a particular data type can be finitely specified, is discussed. Denotational and operational approaches are compared.
openaire +2 more sources