Results 71 to 80 of about 436,355 (315)
Speeding Up SMT-Based Quantitative Program Analysis [PDF]
Quantitative program analysis involves computing numerical quantities about individual or collections of program executions. An example of such a computation is quantitative information flow analysis, where one estimates the amount of information leaked about secret data through a program's output channels. Such information can be quantified in several
arxiv
A case study is to provide evidence of the feasibility, acceptance, and benefits of a computer game-assistedrepetitive task practice platform (G-RTP) in Upper extremity (UE) motor function of a child with CerebralPalsy (CP).Method: 4 year old left spastic CP was provided an individualized game-assisted therapy of 16 weeks.Outcome measures included PDMS-
Neha V Gaonkar+4 more
openaire +3 more sources
Online tools for virtual pair programming [PDF]
As agile methodologies advance in process maturity we find that most of their practices such as Test-Driven Development, refactoring, and pair programming (specifically for Extreme Programming) are becoming the order of the day in a number of ...
Mnkandla, E.
core
Using the Internet of Things to Teach Good Software Engineering Practice to High School Students [PDF]
This paper describes a course to introduce high school students to software engineering in practice using the Internet Of Things (IoT). IoT devices allow students to get quick, visible results without watering down technical aspects of programming ...
Julien, Christine
core +1 more source
Correspondence of MRI and nTMS With EDSS in Multiple Sclerosis: Longitudinal Follow‐Up Study
ABSTRACT Objectives Considering the characteristics of multiple sclerosis (MS) disease and its impact on motor disability, this study aims to assess the functional integrity of the corticospinal tract by examining motor evoked potentials (MEPs), Expanded Disability Status Scale (EDSS) scores, magnetic resonance imaging (MRI) lesion counts, and ...
Antonia Bralić+13 more
wiley +1 more source
Edge IoT Prototyping Using Model-Driven Representations: A Use Case for Smart Agriculture
Industry 4.0 is positioned at the junction of different disciplines, aiming to re-engineer processes and improve effectiveness and efficiency. It is taking over many industries whose traditional practices are being disrupted by advances in technology and
Ivan Guevara+4 more
doaj +1 more source
What influences the speed of prototyping? An empirical investigation of twenty software startups
It is essential for startups to quickly experiment business ideas by building tangible prototypes and collecting user feedback on them. As prototyping is an inevitable part of learning for early stage software startups, how fast startups can learn ...
AN Duc+17 more
core +1 more source
ABSTRACT Objective Sleep spindles are an electrophysiological fingerprint of the sleeping human brain. They can be described in terms of duration, frequency, amplitude, and density, and vary widely according to age and sex. Spindles play a role in sleep and wake functions and are altered in several neurological and psychiatric disorders.
Julien Coelho+8 more
wiley +1 more source
Towards supporting agile practice within the Libre software paradigm [PDF]
Abstrac
Adams, Paul, Boldyreff, Cornelia
core
Compound Heterozygous MRPS14 Variants Associated With Leigh Syndrome
ABSTRACT MRPS14 (uS14m) is a nuclear‐encoded ribosomal protein important for mitochondria‐specific translation. To date, only a single individual with a recessive MRPS14‐related disorder (also known as COXPD38) has been reported. We report an additional subject possessing novel compound heterozygous MRPS14 variants (p.Asp37Asn, p.Asn60Asp). The subject
Maria Gabriela Otero+15 more
wiley +1 more source