نتائج البحث

Motion events in Swedish and French:a Holistic Spatial Semantics analysis

• Authors : Vesnina, Nataliia

Subjects: Holistic Spatial Semantics; Manner; motion events

• Source: Vesnina , N 2024 , ' Motion events in Swedish and French : a Holistic Spatial Semantics analysis ' , Language and Cognition . https://doi.org/10.1017/langcog.2023.62

تفاصيل العنوان

Modular Denotational Semantics for Effects with Guarded Interaction Trees

• Authors : Frumin, Dan; Timany, Amin; Birkedal, Lars

Subjects: Coq; denotational semantics; Iris

• Source: Frumin , D , Timany , A & Birkedal , L 2024 , ' Modular Denotational Semantics for Effects with Guarded Interaction Trees ' , Proceedings of the ACM on Programming

تفاصيل العنوان

An analysis of national media coverage of a parental leave reform investigating sentiment, semantics and contributors

• Authors : Vermillet, Arnault-Quentin; Krejberg, Sara Engsig; Nielsen, Julie Svinth

• Source: Vermillet , A-Q , Krejberg , S E , Nielsen , J S & Parsons , C 2024 , ' An analysis of national media coverage of a parental leave reform investigating sentiment,

تفاصيل العنوان

Towards Univalent Reference Types:The Impact of Univalence on Denotational Semantics

• Authors : Sterling, Jonathan; Gratzer, Daniel; Birkedal, Lars ...

Subjects: guarded recursion; higher-order store; homotopy type theory

• Source: Sterling , J , Gratzer , D & Birkedal , L 2024 , Towards Univalent Reference Types : The Impact of Univalence on Denotational Semantics . in A Murano & A Silva (eds) ,

تفاصيل العنوان

Sheaf Semantics of Termination-Insensitive Noninterference

• Authors : Sterling, Jonathan; Harper, Robert; Felty, Amy P.

Subjects: Artin gluing; denotational semantics; information flow

• Source: Sterling , J & Harper , R 2022 , Sheaf Semantics of Termination-Insensitive Noninterference . in A P Felty (ed.) , 7th International Conference on Formal Structures for

تفاصيل العنوان

Application ofComputable Distributions to the Semantics of Probabilistic Programs

• Authors : Huang, Daniel; Morrisett, Greg; Spitters, Bas

Subjects: Computable distributions; Probabilistic programs; Realizability

• Source: Huang , D , Morrisett , G & Spitters , B 2020 , Application ofComputable Distributions to the Semantics of Probabilistic Programs . in Foundations of Probabilistic

تفاصيل العنوان

Polycystic ovary syndrome, medical semantics, and the political ecology of health in India

• Authors : Pathak, Gauri Sanjeev

Subjects: India; medical semantics; metabolic syndrome disorders

• Source: Pathak , G S 2020 , ' Polycystic ovary syndrome, medical semantics, and the political ecology of health in India ' , Anthropology & Medicine , vol. 27 , no. 1 , pp.

تفاصيل العنوان

Brain Signatures of Embodied Semantics and Language:A Consensus Paper

• Authors : Bechtold, Laura; Cosper, Samuel H.; Malyshevskaya, Anastasia

Subjects: EEG; embodied cognition; language learning

• Source: Bechtold , L , Cosper , S H , Malyshevskaya , A , Montefinese , M , Morucci , P , Niccolai , V , Repetto , C , Zappa , A & Shtyrov , Y 2023 , ' Brain Signatures of Embodied

تفاصيل العنوان

Islaris:verification of machine code against authoritative ISA semantics

• Authors : Sammler, Michael; Hammond, Angus; Lepigre, Rodolphe ...

Subjects: Arm; assembly; Coq

• Source: Sammler , M , Hammond , A , Lepigre , R , Campbell , B , Pichon-Pharabod , J , Dreyer , D , Garg , D & Sewell , P 2022 , Islaris : verification of machine code against authoritative ISA

تفاصيل العنوان

Cognitive Cultural Semantics:A Nordic guide to Natural Semantic Metalanguage (NSM)

• Authors : Levisen, Carsten; Fernández, Susana S.; Hein, Jan

• Source: Levisen , C , Fernández , S S & Hein , J 2022 , ' Cognitive Cultural Semantics : A Nordic guide to Natural Semantic Metalanguage (NSM) ' , Scandinavian Studies in

تفاصيل العنوان