Results 61 to 70 of about 57,481 (264)
Fluent temporal logic for discrete-time event-based models [PDF]
, 2005 Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties.
Emmanuel Letier +11 more
core +1 more source
What Museum Guests Think About When They Think About Belonging
Curator: The Museum Journal, EarlyView.ABSTRACT A sense of belonging is one of the most fundamental human needs and is threaded through all aspects of a museum guest's experience. Using a previously validated model and survey of belonging in museums, we surveyed 1780 guests leaving eight different museums and similar cultural institutions across the United States.
C. Aaron Price +3 more
wiley +1 more source
On Relaxing Metric Information in Linear Temporal Logic
, 2011 Metric LTL formulas rely on the next operator to encode time distances, whereas qualitative LTL formulas use only the until operator. This paper shows how to transform any metric LTL formula M into a qualitative formula Q, such that Q is satisfiable if ...
Furia, Carlo A., Spoletini, Paola
core +2 more sources
Bake Sales to Save Nature: Why Wall Street Conservation Survives
Development and Change, EarlyView.ABSTRACT Academics have spent decades analysing the harms and failures of market and finance‐led biodiversity policy. Yet, even though ‘selling nature to save it’ looks less like the promised green capitalism and more like a decades‐long bake sale in that its efforts are small, piecemeal and rely on copious amounts of cheap capital, the approach ...
Jessica Dempsey
wiley +1 more source
Prevalence of Stuttering in Javanroud\'s Bilingual Students
Journal of Rehabilitation, 2008 Objective: Study of prevalence of stuttering in Iranian bilingual societies is essential for determine the effects of linguistic factors in stuttering and therapy demands in these bilingual societies.
Hiva Mohammadi +3 more
doaj
Stuttering in children - a literature review update
Cadernos de Saúde, 2019 Introduction: Stuttering is a fluency disorder in which the flow of speech is disrupted. The disorder is frequently misunderstood and to better analyze it is necessary to understand stuttering as more than a speech problem.
Mónica Soares Rocha +2 more
doaj +1 more source
Auditory-motor adaptation is reduced in adults who stutter but not in children who stutter [PDF]
, 2016 Previous studies have shown that adults who stutter produce smaller corrective motor responses to compensate for unexpected auditory perturbations in comparison to adults who do not stutter, suggesting that stuttering may be associated with deficits ...
Cai, Shanqing +4 more
core
Rights, Pains and Illusions: The Experiences of Welsh‐Speakers at Wales’ ‘Flagship’ Prison
The Howard Journal of Crime and Justice, EarlyView.ABSTRACT This article challenges claims of ‘inherent’ bilingualism in Wales’ largest prison, HMP Berwyn. Drawing on semi‐structured interviews and extensive documentary research, we find that Welsh‐speaking prisoners at this ‘flagship’ prison have experienced widespread neglect of their needs and overt interferences with their use of the Welsh language.
Robert Jones, Gregory Davies
wiley +1 more source
Separability in the Ambient Logic [PDF]
, 2008 The \it{Ambient Logic} (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data.
Andrew Gordon +3 more
core +7 more sources
Journal of Fish Biology, EarlyView.Abstract Genomic resources, new microsatellite markers and a novel observation of a fractal pattern in the genetic population structure are presented for curimba, Prochilodus lineatus, a freshwater migratory model species of South America. Our main goals were to investigate the presence of mixed fish stocks and the effects of damming‐induced ...
Gabriel M. Yazbeck +5 more
wiley +1 more source