Results 141 to 150 of about 178,207 (183)

Defining a Double Team Semantics for Generalized Quantifiers

, 2012
In this brief technical report we sketch a semantics for fi rst-order logic with generalized quantifiers based on double teams. We also define the notion of a generalized atom. Such atoms can be used in order to define extensions of first-order logic with a team-based semantics.
openaire   +1 more source

A model for correlation-based choreographic programming. [PDF]

PeerJ Comput Sci
Giallorenzo S, Montesi F, Gabbrielli M.
europepmc   +1 more source

Enhancing Bidirectional Encoder Representations From Transformers (BERT) With Frame Semantics to Extract Clinically Relevant Information From German Mammography Reports: Algorithm Development and Validation.

J Med Internet Res
Reichenpfader D, Knupp J, von Däniken SU, Gaio R, Dennstädt F, Cereghetti GM, Sander A, Hiltbrunner H, Nairz K, Denecke K.   +9 more
europepmc   +1 more source

Symbolism itself does not improve memory for elements on the periodic table. [PDF]

Sci Rep
Roberts BRT, Tran SHN, Fernandes MA.
europepmc   +1 more source

EMFSA: Emoji-based multifeature fusion sentiment analysis. [PDF]

PLoS One
Tang H, Tang W, Zhu D, Wang S, Wang Y, Wang L.   +5 more
europepmc   +1 more source

LViT-Net: a domain generalization person re-identification model combining local semantics and multi-feature cross fusion. [PDF]

Vis Comput Ind Biomed Art
Hu X, Liu P, Wang X, Wu P, Tang R.
europepmc   +1 more source

Standardizing free-text data exemplified by two fields from the Immune Epitope Database. [PDF]

J Biomed Semantics
Duesing S, Bennett J, Overton JA, Vita R, Peters B.   +4 more
europepmc   +1 more source

Filling the gap: brief neuropsychological assessment protocol for glioma patients undergoing awake surgeries. [PDF]

Front Psychol
Ohy JB, Formentin C, Gripp DA, Nicácio JA, Velho MC, Vilany LN, Greggianin GF, Sartori B, Campos ACP, Verst SM, Maldaun MVC.   +10 more
europepmc   +1 more source

Integration of large-scale community-developed causal loop diagrams: a Natural Language Processing approach to merging factors based on semantic similarity. [PDF]

BMC Public Health
Valdivia Cabrera M, Johnstone M, Hayward J, Bolton KA, Creighton D.   +4 more
europepmc   +1 more source

Psychomedical named entity recognition method based on multi-level feature extraction and multi-granularity embedding fusion. [PDF]

Sci Rep
Liu Z, Zhang G, Shen Y.
europepmc   +1 more source