Results 121 to 130 of about 3,794,962 (338)

An Efficient Algorithm for Monitoring Practical TPTL Specifications

, 2016
We provide a dynamic programming algorithm for the monitoring of a fragment of Timed Propositional Temporal Logic (TPTL) specifications. This fragment of TPTL, which is more expressive than Metric Temporal Logic, is characterized by independent time ...
Dokhanchi, Adel, Fainekos, Georgios, Hoxha, Bardh, Tuncali, Cumhur Erkan   +3 more
core   +1 more source

Lessons Learned From a Delayed‐Start Trial of Modafinil for Freezing of Gait in Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Freezing of gait (FOG) in people with Parkinson's disease (PwPD) is debilitating and has limited treatments. Modafinil modulates beta/gamma band activity in the pedunculopontine nucleus (PPN), like PPN deep brain stimulation. We therefore tested the hypothesis that Modafinil would improve FOG in PwPD.
Tuhin Virmani, Lakshmi Pillai, Reid D. Landes, Aliyah Glover, Shannon Doerhoff, Jennifer Kleiner, Mitesh Lotia, Rohit Dhall, Edgar Garcia‐Rill   +8 more
wiley   +1 more source

COMPLIANCE TO QUALITY CRITERIA OF EXISTING REQUIREMENTS ELICITATION METHODS [PDF]

In this article we define a requirements elicitation method based on natural language modelling. We argue that our method complies with synthesized quality criteria for RE methods, and compare this with the compliance of traditional RE methods (EER, ORM,
Bollen,Peter, Simons,John
core   +1 more source

ALS With and Without Upper Motor Neuron Signs: A Comparative Study Supporting the Gold Coast Criteria

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective The Gold Coast criteria permit diagnosis of amyotrophic lateral sclerosis (ALS) even without upper motor neuron (UMN) signs. However, whether ALS patients with UMN signs (ALSwUMN) and those without (ALSwoUMN) share similar characteristics and prognoses remains unclear.
Hee‐Jae Jung, E‐nae Cheong, Jungmin So, Heung‐Won Kang, Yangsean Choi, Eun‐Jae Lee, Hyunjin Kim, Young‐Min Lim   +7 more
wiley   +1 more source

A 73‐Year‐Old Man With Several Years of Difficulty Climbing Stairs and Frequent Tripping

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT A 73‐year‐old man presented with progressive weakness and atrophy predominantly affecting the distal finger flexors and quadriceps muscles. Electrophysiological studies demonstrated mixed myogenic and neurogenic features. Muscle MRI showed inflammatory changes, and muscle biopsy revealed granulomatous myositis with histologic features ...
Mehmet Can Sari, Arens Taga, Sonya Ulrike Steele, Ahmet Hoke   +3 more
wiley   +1 more source

Defining DSL design principles for enhancing the requirements elicitation process

Acta Universitaria, 2012
La Elicitación de Requisitos propicia el entendimiento de las necesidades de los usuarios con respecto a un desarrollo de software. Los métodos que se emplean provienen de las ciencias sociales por lo que se carece de una retroalimentación ejecutable ...
Gustavo Arroyo, Josep Silva, Isela Navarro, J. Guadalupe Ramos-Díaz   +3 more
doaj  

Experiences of using a game for improving learning in software requirements elicitation

Computer Applications in Engineering Education, 2018
Many recent studies have demonstrated that the traditional methods used in teaching software requirements elicitation are ineffective because they frequently produce unskilled graduates who are inappropriately trained to apply their practical knowledge ...
I. García, C. Pacheco, Andrés León, J. Calvo-Manzano   +3 more
semanticscholar   +1 more source

TBK1‐Associated Primary Lateral Sclerosis Followed by Right Temporal Variant Frontotemporal Dementia

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT We report a 58‐year‐old woman with a novel splice‐site variant in the TANK‐binding kinase 1 (TBK1:c.993–2A>C p.Ala332TyrfsTer39) who sequentially developed primary lateral sclerosis (PLS) followed by right temporal variant frontotemporal dementia (rtvFTD). Neuroimaging demonstrated right anterior temporal atrophy before cognitive symptoms, and
Tomoyasu Matsubara, Naoki Kihara, Satoko Miyatake, Koji Fujita, Konoka Tachibana, Ryosuke Miyamoto, Hiroki Yamazaki, Yusuke Osaki, Nazere Keyoumu, Yuki Kuwano, Nobutoshi Morimoto, Suzuran Saito, Eriko Koshimizu, Yoichi Otomi, Kenji Ishibashi, Masafumi Harada, Naomichi Matsumoto, Hiroyuki Morino, Yuishin Izumi   +18 more
wiley   +1 more source

Levantamiento de requerimientos basados en el conocimiento del proceso

Revista Científica, 2012
This paper presents research results of the project entitled methods for requirements elicitation based on process knowledge, and enhanced by Colciencias the Technological University of Pereira, in it describes the traditional methods of requirements ...
Henry León Pérez Virgen, Carlos Alberto Salamando Mejía, Luz Stella Valencia Ayala   +2 more
doaj  

Epilepsy‐Associated Variants of a Single SCN1A Codon Exhibit Divergent Functional Properties

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Pathogenic variants in SCN1A, which encodes the voltage‐gated sodium channel NaV1.1, are associated with multiple epilepsy syndromes exhibiting a range of clinical severity. SCN1A variants are reported in different syndromes, including Dravet syndrome, which is associated with loss‐of‐function, whereas neonatal/infantile‐onset ...
Lanie N. Liebovitz, Christopher H. Thompson, Linda C. Laux, Alfred L. George Jr.   +3 more
wiley   +1 more source