نتایج جستجو برای: plural fluid

تعداد نتایج: 223962  

2006
Alexandre Denis Guillaume Pitel Matthieu Quignard

We present a model for resolution of plural references on groupings based on Reference Domains Theory. While the original theory doesn’t takes plural reference into account, this paper shows how several entities can be grouped together by building a new domain and how they can be accessed later on. We introduce the notion of superdomain representing the access structure to all the plural refere...

Journal: :American Journal of Roentgenology 1992

Journal: :Estudos Avançados 2007

Journal: :Revista Brasileira de Sexualidade Humana 2018

Journal: :Discurso 1979

Journal: :Nature 1976

2017
Salvatore Florio David Nicolas

Sentences that exhibit sensitivity to order (e.g. John and Mary arrived at school in that order and Mary and John arrived at school in that order) present a challenge for the standard formulation of plural logic. In response, some authors have advocated new versions of plural logic based on fine-grained notions of plural reference, such as serial reference [Hewitt 2012] and articulated referenc...

2015
Lindsay Butler Rosa Couoh Pool

We examine the effects of age and education on the production of variable grammatical morphology among speakers of Yucatec Maya. Our investigation focuses on the use of optional plural morphology when describing pictures of one, two and seven entities performing an action in Yucatec Maya. Our sample (N=69) compares children and adults ranging in age from 5 to 48 years old (mean=19.6, SD=12.1) w...

2010
Adrian Brasoveanu

The goal of this additional section is to further explore the semantic notion of plurality and argue that, in addition to plural reference to collections, natural language interpretation involves a notion of plural discourse reference that is essential for the interpretation of quantificationally dependent pronouns (and anaphoric expressions in general, e.g., definites, partitives, reciprocals ...

Journal: :Sci. Comput. Program. 2014
Néstor Cataño Ijaz Ahmed Radu I. Siminiceanu Jonathan Aldrich

We present a case study of verifying the design of a commercial multi-threaded task server (MTTS), developed by the Novabase company, used for massively parallelising computational tasks. In a first stage, we employed the Plural tool, which is designed to perform lightweight verification of Java programs using a Data Flow Analysis (DFA) framework, to specify and verify the MTTS. We wrote the Pl...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید