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
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
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
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
Implementation and Evaluation of a Multivariate Abstraction-Based, Interval-Based Dynamic Time-Warping Method as a Similarity Measure for Longitudinal Medical Records [PDF]
, 2021 We extended dynamic time warping (DTW) into interval-based dynamic time warping (iDTW), including (A) interval-based representation (iRep): [1] abstracting raw, time-stamped data into interval-based abstractions, [2] comparison-period scoping, [3] partitioning abstract intervals into a given temporal granularity; (B) interval-based matching (iMatch ...
arxiv +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
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
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
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]
, 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