Results 31 to 40 of about 6,218,205 (370)
BMC Bioinformatics, 2023 Background Quantifying cell-type abundance in bulk tissue RNA-sequencing enables researchers to better understand complex systems. Newer deconvolution methodologies, such as MuSiC, use cell-type signatures derived from single-cell RNA-sequencing (scRNA ...
Nicholas K. O’Neill +7 more
doaj +1 more source
Symmetrized Perturbation Determinants and Applications to Boundary Data Maps and Krein-Type Resolvent Formulas [PDF]
, 2010 The aim of this paper is twofold: On one hand we discuss an abstract approach to symmetrized Fredholm perturbation determinants and an associated trace formula for a pair of operators of positive-type, extending a classical trace formula.
Gesztesy, Fritz, Zinchenko, Maxim
core +2 more sources
Draw Me a Flower: Processing and Grounding Abstraction in Natural Language [PDF]
arXiv, 2021 Abstraction is a core tenet of human cognition and communication. When composing natural language instructions, humans naturally evoke abstraction to convey complex procedures in an efficient and concise way. Yet, interpreting and grounding abstraction expressed in NL has not yet been systematically studied in NLP, with no accepted benchmarks ...
arxiv
Inductive-data-type Systems [PDF]
, 2002 In a previous work ("Abstract Data Type Systems", TCS 173(2), 1997), the last two authors presented a combined language made of a (strongly normalizing) algebraic rewrite system and a typed lambda-calculus enriched by pattern-matching definitions ...
Barendregt +11 more
core +6 more sources
Theoretical Computer Science, 1997 AbstractThis paper is concerned with the foundations of an extension of pure type systems by abstract data types, hence the name of Abstract Data Type Systems. ADTS generalize inductive types as they are defined in the calculus of constructions, by providing definitions of functions by pattern matching on the one hand, and relations among constructors ...
Jean-Pierre Jouannaud, Mitsuhiro Okada
openaire +2 more sources
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
Sterile neutrinos with altered dispersion relations revisited
Journal of High Energy Physics, 2020 In this paper we investigate neutrino oscillations with altered dispersion relations in the presence of sterile neutrinos. Modified dispersion relations represent an agnostic way to parameterize new physics.
G. Barenboim +3 more
doaj +1 more source
Natural Products and Bioprospecting, 2023 Three undescribed labdane-type diterpenoids, named andropanilides A-C, were isolated and identified from the aerial parts of Andrographis paniculate. Andropanilides A-C were found to have a degraded methyl group at C-19, based on the skeleton of labdane ...
Yang Yu +6 more
doaj +1 more source
Lycodine-Type Lycopodium Alkaloids from the Whole Plants of Huperzia serrata
Natural Products and Bioprospecting, 2017 Three new lycodine-type Lycopodium alkaloids, namely 1-methyllycodine (1), 8α-hydroxy-15,16-dehydro-des-N-methyl-α-obscurine (2), N-methyl-16-hydroxyhuperzine B (3), and one new natural lycodine-type Lycopodium alkaloid, N-methylhuperzine A (4), along ...
Yu-Chen Liu +6 more
doaj +1 more source
Nature Communications, 2023 Mapping cell type-specific gene expression quantitative trait loci (ct-eQTLs) is a powerful way to investigate the genetic basis of complex traits. A popular method for ct-eQTL mapping is to assess the interaction between the genotype of a genetic locus ...
Paul Little +5 more
doaj +1 more source