Results 11 to 20 of about 1,169,039 (310)
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 +3 more sources
Speech Pauses and Pronominal Anaphors
Frontiers in Computer Science, 2021 This paper addresses the usefulness of speech pauses for determining whether third person neuter gender singular pronouns refer to individual or abstract entities in Danish spoken language.
Costanza Navarretta
doaj +1 more source
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
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
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
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
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