Results 131 to 140 of about 4,638,570 (374)
In this randomized clinical trial conducted among 142 community‐dwelling older adults at high risk for falls over 12 months, a Dalcroze Eurhythmics exercise intervention (once weekly, group‐based) improved a variety of physical and cognitive/executive function outcomes compared with a multicomponent exercise intervention (twice weekly, group‐ and home ...
Mélany Hars+7 more
wiley +1 more source
The class of omega-regular languages provides a robust specification language in verification. Every omega-regular condition can be decomposed into a safety part and a liveness part.
Chatterjee, Krishnendu+1 more
core +2 more sources
Ogden's Lemma for Regular Tree Languages [PDF]
We motivate and prove a strong pumping lemma for regular tree languages. The new lemma can be seen as the natural correspondent of Ogden's lemma for context-free string languages.
arxiv
Assessing the Ecological Value: Monetizing Process Innovations in Tailored Forming
This article introduces a method for evaluating the sustainability of innovations, even with limited data. The method is illustrated through an analysis of the “Tailored Forming” technology, which explores the impact of sustainability on economic value added.
Jonas Schneider+4 more
wiley +1 more source
On regularity of context-free languages
AbstractThis paper considers conditions under which a context-free language is regular and conditions which imposed on (productions of) a rewriting system generating a context-free language will guarantee that the generated language is regular. In particular: 1.(1) necessary and sufficient conditions on productions of a unitary grammar are given that ...
David Haussler+2 more
openaire +3 more sources
Lower Bounds on Regular Expression Size [PDF]
We introduce linear programs encoding regular expressions of finite languages. We show that, given a language, the optimum value of the associated linear program is a lower bound on the size of any regular expression of the language. Moreover we show that any regular expression can be turned into a dual feasible solution with an objective value that is
arxiv
This study explores aerosol jet‐printed (AJP) surface roughness, its effects on the performance of microwave electronics, and its process contributors. First, an electromagnetic model is vetted for AJP's unique roughness signature. Simulations are built which show process‐induced roughness is as significant as conductor resistivity in driving microwave
Christopher Areias, Alkim Akyurtlu
wiley +1 more source
Language properties and Grammar of Parallel and Series Parallel Languages [PDF]
In this paper we have defined the language theoretical properties of Parallel languages and series parallel languages. Parallel languages and Series parallel languages play vital roles in parallel processing and many applications in computer programming.
arxiv
Laboratory protocols for producing thin‐film pH electrodes for sterilized single‐use technologies have been successfully developed into a semiautomated workflow, with higher throughput and precision of membrane thickness. Accuracies are within 0.05 pH units versus ground truth, and uncertainty analysis reveals the largest sources of error to be derived
Bingyuan Zhao+4 more
wiley +1 more source