Results 41 to 50 of about 532,868 (319)
A comparison of oral narratives in children with specific language and non-specific language impairment [PDF]
Clinical Linguistics & Phonetics, 2010 This research investigated whether children with specific language impairment (SLI) and non-specific language impairment (NLI) could be differentiated by their oral narrative characteristics. Oral narrative samples were collected from 69 children and comparisons were made among four groups of participants.
Pearce, Wendy +2 more
openaire +5 more sources
, 2001 This paper presents an idiomatic construct for µ-charts which reflects the high-level specification construct of synchronization between activities. This, amongst others, has emerged as a common and useful idea during our use of µ-charts to design and ...
Anderson, Grant +2 more
core +2 more sources
Extended Resource Specification Language Reference Manual for ARC versions 0.8 and above [PDF]
, 2013 Extended Resource Specification Language Reference Manual for ARC versions 0.8 and ...
Ould-Saada, Farid
core +1 more source
The Specification Language TLA+ [PDF]
, 2007 The specification language TLA+ was designed by Lamport for formally describing and reasoning about distributed algorithms. It is based on a variant of Zermelo-Fränkel set theory and the Temporal Logic of Actions (TLA). A full description of the language and its use for specification appears in Lamport's book "Specifying Systems".
openaire +3 more sources
On the Structure and Complexity of Rational Sets of Regular Languages [PDF]
, 2013 In a recent thread of papers, we have introduced FQL, a precise specification language for test coverage, and developed the test case generation engine FShell for ANSI C.
Holzer, Andreas +3 more
core +2 more sources
AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B
Jordanian Journal of Computers and Information Technology, 2020 Transforming natural software requirements into a more formal specification is difficult and may be an excellent application for natural language processing. This problem is not recent.
Kheira-Zineb Bousmaha Ossoukine +1 more
doaj +1 more source
Knowledge-Based Synthesis of Distributed Systems Using Event Structures [PDF]
Logical Methods in Computer Science, 2011 To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if the specifications are written in a
Mark Bickford +3 more
doaj +1 more source
FEBS Letters, EarlyView.This work presents the characterization of MvoDUF2193, a Methanococcus voltae (Mvo) protein from the domain of unknown function (DUF) 2193 family. We demonstrate that MvoDUF2193 binds a single [4Fe–4S] cluster per subunit and that cluster occupancy regulates the transition from an apo tetramer to a [4Fe–4S] monomeric form. This structural transition is
Emily M. Dieter +8 more
wiley +1 more source
Adverse prognosis gene expression patterns in metastatic castration‐resistant prostate cancer
Molecular Oncology, EarlyView.We aggregated a cohort of 1012 mCRPC tissue samples from 769 patients and investigated the association of gene expression‐based pathways with clinical outcomes. Loss of AR signaling, high proliferation, and a glycolytic phenotype were independently prognostic for poor outcomes, and an adverse transcriptional feature score incorporating these pathways ...
Marina N. Sharifi +26 more
wiley +1 more source
The foundational legacy of ASL [PDF]
, 2015 . We recall the kernel algebraic specification language ASL and outline its main features in the context of the state of research on algebraic specification at the time it was conceived in the early 1980s. We discuss the most significant new ideas in ASL
Sannella, Donald, Tarlecki, Andrzej
core +1 more source