Results 11 to 20 of about 33,954 (218)
Abstract Constraint Data Types [PDF]
, 2015 Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e.g., [2]), which he explored in a variety of domains over many years. Throughout his career, he has also inspired countless researchers in related areas.
Fiadeiro, José Luiz +1 more
openaire +4 more sources
Implementation of Abstract Data Types in Dynamic Sketches for Learning Geometry
Informatics in Education, 2014 A long-term observation of students' usage of a dynamic geometry in a classroom at all grade levels has challenged to develop an approach for learning and understanding mathematics in an easier way for both students and teachers. The paper deals with the
Egle JASUTE, Valentina DAGIENE
doaj +1 more source
EPISCORE: cell type deconvolution of bulk tissue DNA methylomes from single-cell RNA-Seq data
Genome Biology, 2020 Cell type heterogeneity presents a challenge to the interpretation of epigenome data, compounded by the difficulty in generating reliable single-cell DNA methylomes for large numbers of cells and samples.
Andrew E. Teschendorff +3 more
doaj +1 more source
Catalogue of Rangomaramidae (Diptera: Bibionomorpha) types housed in the collection of the Museu de Zoologia da Universidade de São Paulo, Brazil [PDF]
Papéis Avulsos de Zoologia, 2020 This paper provides a catalogue of the type specimens of Rangomaramidae (Diptera: Bibionomorpha) held in the collection of the Museu de Zoologia da Universidade de São Paulo, Brazil (MZUSP).
Rafaela Lopes Falaschi +2 more
doaj +1 more source
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jean-Pierre Jouannaud, Mitsuhiro Okada
openaire +2 more sources
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
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
Levinson type inequalities for higher order convex functions via Abel–Gontscharoff interpolation
Advances in Difference Equations, 2019 In this paper, Levinson type inequalities are studied for the class of higher order convex functions by using Abel–Gontscharoff interpolation. Cebyšev, Grüss, and Ostrowski-type new bounds are also found for the functionals involving data points of two ...
Muhammad Adeel +3 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
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