Results 111 to 120 of about 57,481 (264)
Property Checking Without Invariant Generation
, 2020 We introduce a procedure for proving safety properties. This procedure is based on a technique called Partial Quantifier Elimination (PQE). In contrast to complete quantifier elimination, in PQE, only a part of the formula is taken out of the scope of ...
Goldberg, Eugene
core
A Grounded Theory Analysis on the Parenting Experience of Mothers of Children Who Stutter [PDF]
, 2016 Soyoung Choi, Moonja Shin, Song MiSeung
openalex +1 more source
Social Phobia in Persian Adults with Stuttering
Journal of Rehabilitation Sciences and Research, 2018 Background: Stuttering is a communication disorder. It is expected that stuttering may have negative impact on individuals’ mental and emotional health, which may affect their quality of life.
Ahmad Poormohammad +3 more
doaj
Some Challenges of Specifying Concurrent Program Components
, 2018 The purpose of this paper is to address some of the challenges of formally specifying components of shared-memory concurrent programs. The focus is to provide an abstract specification of a component that is suitable for use both by clients of the ...
Hayes, Ian J.
core +1 more source
Relationship between grammatical development and stuttering in young children [abstract] [PDF]
, 2005 only availableFaculty Mentor: Stacy Wagovich, Communication Science & DisordersBackground: Over the past decade, there has been increased interest in the effects of developing language skills on stuttering in young children.
Wilt, Kimberly
core
Attentional Demand of Speech in Children and Adolescents with Developmental Stuttering [PDF]
Journal of Advanced Biomedical Sciences, 2012 Background & Objective: Stuttering is a prevalent disorder in children and adolescents. Because attention is the only fuel resource for cognitive functions and the language have high cognitive functions, then it is possible that speech difficulties are ...
Hajar Bahrami +2 more
doaj
Advances in Understanding Stuttering as a Disorder of Language Encoding
, 2023 Nan Bernstein Ratner +1 more
openalex +1 more source
Hand Preference in Stuttering: Meta-Analyses [PDF]
, 2023 Μαριέττα Παπαδάτου-Παστού +5 more
openalex +1 more source
Bounded LTL Model Checking with Stable Models
, 2001 In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous systems a generalisation of communicating automata, 1-safe Petri nets, are used.
F. Fages +4 more
core +8 more sources
Linguistic Development in Stuttering Children [PDF]
, 2008 María del Carmen Pamplona +2 more
openalex +1 more source