Miracle-dz/UniFAR-FTUs huggingface dataset:
Robust Stride Segmentation of Inertial Signals Based on Local Cyclicity Estimation

A novel approach for stride segmentation, gait sequence extraction, and gait event detection for inertial signals is presented. The approach operates by combining different local cyclicity estimators and sensor channels, and can additionally employ a priori knowledge on the fiducial points of gait events. The approach is universal as it can work on signals acquired by different inertial measurement unit (IMU) sensor types, is template-free, and operates unsupervised. A thorough evaluation was performed with two datasets: our own collected FRIgait dataset available for open use, containing long-term inertial measurements collected from 57 subjects using smartphones within the span of more than one year, and an FAU eGait dataset containing inertial data from shoe-mounted sensors collected from three cohorts of subjects: healthy, geriatric, and Parkinson’s disease patients. The evaluation was performed in controlled and uncontrolled conditions. When compared to the ground truth of the labelled FRIgait and eGait datasets, the results of our evaluation revealed the high robustness, efficiency (F-measure of about 98%), and accuracy (mean absolute error MAE in about the range of one sample) of the proposed approach. Based on these results, we conclude that the proposed approach shows great potential for its applicability in procedures and algorithms for movement analysis.
Bond Risk Premia and Gaussian Term Structure Models

Cochrane and Piazzesi (2005) show that (i) lagged forward rates improve the predictability of annual bond returns, adding to current forward rates, and that (ii) a Markovian model for monthly forward rates cannot generate the pattern of predictability in annual returns. These results stand as a challenge to modern Markovian dynamic term structure models (DTSMs). We develop the family of conditional mean DTSMs where the yield dynamics depend on current yields and their history. Empirically, we find that (i) current and past yields generate cyclical risk-premium variations, (ii) the model risk premia offer better returns forecasts, and (iii) the model coefficients are close to Cochrane-Piazzesi regressions of long-horizon returns. Yield decompositions differ significantly from what a standard model suggests - the expectation component decreases less in a recession and increases less in the recovery. A small Markovian factor “hidden” in measurement error (Duffee, 2011) explains some of the differences but is not sufficient to match the evidence.
Shape equivalence, nonstable K-theory and AH algebras

We give several necessary and sufficient conditions for an AH algebra to have its ideals generated by their projections. Denote by C the class of AH algebras as above and in addition with slow dimension growth. We completely classify the algebras in C up to a shape equivalence by a K-theoretical invariant. For this, we show first, in particular, that any C∗-algebra in C is shape equivalent to an AH algebra with slow dimension growth and real rank zero (generalizing so a result of ElliottGong); then, we use a classification result of Dadarlat-Gong. We prove that any AH algebra in C has stable rank one (i.e., in the unital case, that the set of the invertible elements is dense in the algebra), generalizing results of Blackadar-DadarlatRørdam and of Elliott-Gong. Other nonstable K-theoretical results for C∗-algebras in C are also proved, generalizing results of Dadarlat-Némethi, Martin-Pasnicu and Blackadar.
Norton Equivalent Circuit for Pulsed Photoconductive Antennas—Part II: Experimental Validation

This second part of two papers’ sequence presents the experimental validation of the Norton equivalent circuit model for pulsed photoconductive antennas (PCAs) provided in the first paper of the sequence. To this goal, different prototypes of photoconductive antenna sources have been manufactured and assembled. The average powers radiated and their pertinent energy spectral densities have been measured. In order to obtain a validation of the original equivalent circuit proposed, an auxiliary electromagnetic analysis of the complete setup, including the quasi-optical (QO) link for the signals from the antenna feeds to the detectors had to be developed. By using the combined theoretical model (circuit and quasi-optics), an excellent agreement is achieved between the measured power and the power estimated. This agreement fully validates the circuit model, which can now be used to design new PCAs, including optical and electrical features of the semiconductor materials, as well as the details of the antenna gaps and the purely QO components.
Comparative Effectiveness and Cost Effectiveness of a Multitarget Stool DNA Test to Screen for Colorectal Neoplasia.

BACKGROUND & AIMS We developed a model to determine whether a multitarget stool DNA (MT-sDNA) test that detects colorectal cancer (CRC) and polyps with higher sensitivity and lower specificity, but at a higher cost, than the fecal immunochemical test (FIT) can be used in screening. METHODS We used a Markov model of average-risk CRC screening to compare the effectiveness and cost effectiveness of screening with the MT-sDNA test vs FIT or colonoscopy. We accounted for the complex longitudinal participation patterns observed in organized programs vs opportunistic screening, as well as organized programs' patient support costs and differential payment rates by commercial insurers vs Medicare. RESULTS With optimal adherence, yearly FIT and colonoscopy every 10 years were dominant (more effective and less costly) than MT-sDNA every 3 years. Compared with successful organized FIT programs (50% consistent and 27% intermittent participation; patient support costs, $153/cycle), the patient support program for the MT-sDNA test would need 68% of subjects to participate consistently and 32% to participate intermittently every 3 years, or the MT-sDNA test would need to cost 60% less than in the base case ($260 commercial payment and $197 Medicare payment), for the MT-sDNA test to be preferred over FIT at a threshold of $100,000 per quality-adjusted life-year (QALY) gained. Compared with opportunistic yearly FIT screening (15% consistent and 30% intermittent participation), performing the MT-sDNA test every 3 years would cost less than $100,000 per QALY gained if the MT-sDNA test achieved a participation rate more than 1.7-fold that of FIT. The results were robust in sensitivity analyses. Assuming equal participation across strategies and a threshold of $100,000 per QALY gained, FIT was preferred in 99.3% of iterations in Monte Carlo simulation. CONCLUSIONS In a Markov model, we found FIT and colonoscopy to be more effective and less costly than the MT-sDNA test when participation rates were equal for all strategies. For the MT-sDNA test to be cost effective, the patient support program included in its cost would need to achieve substantially higher participation rates than those of FIT, whether in organized programs or under the opportunistic screening setting that is more common in the United States than in the rest of the world.
In vivo skin friction measurements

1. The use of a highly polished stainless steel disc or hemispherical probe produces "wrinkling" or "twisting" of the skin surface during rotation, especially at higher normal loads. The use of an intentionally toughened probe produces friction data which satisfy the simple laws of friction. 2. The force of friction is not a linear function of the normal load as suggested by Amonton's Law, F where F is the force of friction, L is the normal load and/z is a constant called COEFFICIENT OF FRICTION. A different expression, F = KL n, was found to describe our results fairly well. K and n are constants. The deviation from Amonton's law is attributed to the elastic behavior of skin. 3. Dry skin produces low friction values. Much higher values are obtained on hydrated skin. A rationale for this behavior is proposed. 4. To produce immediate and significant changes in the friction properties of skin, sufficient quantifies of
Decidability of conversion for type theory in type theory

Type theory should be able to handle its own meta-theory, both to justify its foundational claims and to obtain a verified implementation. At the core of a type checker for intensional type theory lies an algorithm to check equality of types, or in other words, to check whether two types are convertible. We have formalized in Agda a practical conversion checking algorithm for a dependent type theory with one universe à la Russell, natural numbers, and η-equality for Π types. We prove the algorithm correct via a Kripke logical relation parameterized by a suitable notion of equivalence of terms. We then instantiate the parameterized fundamental lemma twice: once to obtain canonicity and injectivity of type formers, and once again to prove the completeness of the algorithm. Our proof relies on inductive-recursive definitions, but not on the uniqueness of identity proofs. Thus, it is valid in variants of intensional Martin-Löf Type Theory as long as they support induction-recursion, for instance, Extensional, Observational, or Homotopy Type Theory.
Genetic Polymorphisms Associated With Constipation and Anticholinergic Symptoms in Patients Receiving Clozapine

Background Clozapine impairs gastrointestinal motility owing to its anticholinergic and antiserotonergic properties. This commonly leads to constipation and potentially to more severe complications such as bowel obstruction and ischemia. The aim of this study was to determine whether genetic variations in the genes encoding muscarinic and serotonergic receptors (CHRM2, CHRM3, HTR2, HTR3, HTR4, and HTR7) explain the variations in incidence of constipation and anticholinergic symptoms during clozapine treatment. Genes associated with opiate-induced constipation were also included in this analysis (TPH1, OPRM1, ABCB1, and COMT). Procedures Blood samples from 176 clozapine-treated, Finnish, white patients with schizophrenia were genotyped. Constipation and anticholinergic symptoms were rated using the Liverpool University Neuroleptic Side Effect Rating Scale self-report questionnaire. In total, 192 single-nucleotide polymorphisms (SNPs) were detected and grouped to formulate a weighted genetic-risk score (GRS). Results No significant associations between individual SNPs or GRSs and constipation or laxative use were observed. A GRS of 19 SNPs in CHRM2, CHRM3, HTR3C, HTR7, ABCB1, OPRM1, and TPH1 was associated with anticholinergic symptoms in a generalized linear univariate model, with body mass index, clozapine monotherapy, and GRS as explaining variables (permuted P = 0.014). Generalized linear univariate model analysis performed on the opiate-induced constipation–associated SNPs and a single CHRM3 SNP revealed an association between anticholinergic symptoms and a score of 8 SNPs (adjusted P = 0.038, permuted P = 0.002). Conclusions Two GRSs are able to predict the risk of anticholinergic symptoms in patients receiving clozapine and possibly an increased risk of gastrointestinal hypomotility.
A Meta-Analysis of Zilpaterol and Ractopamine Effects on Feedlot Performance, Carcass Traits and Shear Strength of Meat in Cattle

This study is a meta-analysis of the effects of the beta-agonists zilpaterol hydrochloride (ZH) and ractopamine hydrochloride (RAC) on feedlot performance, carcase characteristics of cattle and Warner Bratzler shear force (WBSF) of muscles. It was conducted to evaluate the effect of the use of these agents on beef production and meat quality and to provide data that would be useful in considerations on the effect of these agents on meat quality in Meat Standards Australia evaluations. We conducted a comprehensive literature search and study assessment using PubMed, Google Scholar, ScienceDirect, Scirus, and CAB and identification of other studies from reference lists in papers and searches. Searches were based on the key words: zilpaterol, zilmax, ractopamine, optaflexx, cattle and beef. Studies from theses obtained were included. Data were extracted from more than 50 comparisons for both agents and analysed using meta-analysis and meta-regression. Both agents markedly increased weight gain, hot carcase weight and longissimus muscle area and increased the efficiency of gain:feed. These effects were particularly large for ZH, however, fat thickness was decreased by ZH, but not RAC. Zilpaterol also markedly increased WBSF by 1.2 standard deviations and more than 0.8 kg, while RAC increased WBSF by 0.43 standard deviations and 0.2 kg. There is evidence in the ZH studies, in particular, of profound re-partitioning of nutrients from fat to protein depots. This work has provided critically needed information on the effects of ZH and RAC on production, efficiency and meat quality.
Le Journal Canadien Des Sciences Neurologiques Anterior versus Posterior Decompression for Symptomatic Spinal Metastasis

Management of patients with symptomatic spinal metastasis is designed to (1) relieve pain, and (2) restore or preserve neurologic function. The surgical strategy must include provisions for decompression of the dural sac and nerve roots, and stabilization of the spinal column. The optimal surgical approach, whether from in front or from behind is determined by a number of factors including (1) tumour location, (2) spinal level, (3) fixation factors, (4) patient debility. RESUME: Decompression anterieure versus decompression posterieure dans le cas de metastases spinales symptomatiques Le traitement des patients prSsentant des metastases spinales vise essentiellement 1) a soulager la douleur et 2) a restorer ou a preserver la fonction nerveuse. La manoeuvre chirurgicale doit prevoir la decompression du sac dural et des racines nerveuses et la stabilisation de l'epine dorsale. La meilleure approche chirurgicale, qu'elle soit anterieure ou posterieure, est determinee par un certain nombre de facteurs dont 1) la localisation de la tumeur; 2) son niveau; 3) les elements de fixation; 4) I'etat de debilite du patient.
Independent Expansion of Zincin Metalloproteinases in Onygenales Fungi May Be Associated with Their Pathogenicity

To get a comprehensive view of fungal M35 family (deuterolysin) and M36 family (fungalysin) genes, we conducted genome-wide investigations and phylogenetic analyses of genes in these two families from 50 sequenced Ascomycota fungi with different life styles. Large variations in the number of M35 family and M36 family genes were found among different fungal genomes, indicating that these two gene families have been highly dynamic through fungal evolution. Moreover, we found obvious expansions of Meps in two families of Onygenales: Onygenaceae and Arthodermataceae, whereas species in family Ajellomycetace did not show expansion of these genes. The strikingly different gene duplication and loss patterns in Onygenales may be associated with the different pathogenicity of these species. Interestingly, likelihood ratio tests (LRT) of both M35 family and M36 family genes suggested that several branches leading to the duplicated genes in dermatophytic and Coccidioides fungi had signatures of positive selection, indicating that the duplicated Mep genes have likely diverged functionally to play important roles during the evolution of pathogenicity of dermatophytic and Coccidioides fungi. The potentially positively selected residues discovered by our analysis may have contributed to the development of new physiological functions of the duplicated Mep genes in dermatophytic fungi and Coccidioides species. Our study adds to the current knowledge of the evolution of Meps in fungi and also establishes a theoretical foundation for future experimental investigations.
SPLLIFT: statically analyzing software product lines in minutes instead of years

A software product line (SPL) encodes a potentially large variety of software products as variants of some common code base. Up until now, re-using traditional static analyses for SPLs was virtually intractable, as it required programmers to generate and analyze all products individually. In this work, however, we show how an important class of existing inter-procedural static analyses can be transparently lifted to SPLs. Without requiring programmers to change a single line of code, our approach SPLLIFT automatically converts any analysis formulated for traditional programs within the popular IFDS framework for inter-procedural, finite, distributive, subset problems to an SPL-aware analysis formulated in the IDE framework, a well-known extension to IFDS. Using a full implementation based on Heros, Soot, CIDE and JavaBDD, we show that with SPLLIFT one can reuse IFDS-based analyses without changing a single line of code. Through experiments using three static analyses applied to four Java-based product lines, we were able to show that our approach produces correct results and outperforms the traditional approach by several orders of magnitude.
Histone deacetylation promotes transcriptional silencing at facultative heterochromatin

It is important to accurately regulate the expression of genes involved in development and environmental response. In the fission yeast Schizosaccharomyces pombe, meiotic genes are tightly repressed during vegetative growth. Despite being embedded in heterochromatin these genes are transcribed and believed to be repressed primarily at the level of RNA. However, the mechanism of facultative heterochromatin formation and the interplay with transcription regulation is not understood. We show genome-wide that HDAC-dependent histone deacetylation is a major determinant in transcriptional silencing of facultative heterochromatin domains. Indeed, mutation of class I/II HDACs leads to increased transcription of meiotic genes and accumulation of their mRNAs. Mechanistic dissection of the pho1 gene where, in response to phosphate, transient facultative heterochromatin is established by overlapping lncRNA transcription shows that the Clr3 HDAC contributes to silencing independently of SHREC, but in an lncRNA-dependent manner. We propose that HDACs promote facultative heterochromatin by establishing alternative transcriptional silencing.
The optimal night-time home blood pressure monitoring schedule: agreement with ambulatory blood pressure and association with organ damage

Objective: Night-time home blood pressure (HBP) monitoring has emerged as a feasible, reliable and low-cost alternative to ambulatory blood pressure (ABP) monitoring. This study evaluated the optimal schedule of night-time HBP monitoring in terms of agreement with night-time ABP and association with preclinical target-organ damage. Methods: Untreated hypertensive adults were evaluated with ABP (24-h) and HBP monitoring (daytime: six days, duplicate morning and evening measurements; night-time: three nights, three-hourly automated measurements/night), and determination of left ventricular mass index, common carotid intima–media thickness and urinary albumin excretion. Results: A total of 94 patients with all nine night-time HBP measurements were analysed [mean age 51.8 ± 11.1 (SD) years, men 57%). By averaging an increasing number of night-time systolic HBP readings, there was a consistent trend towards stronger association of night-time HBP with night-time ABP (correlation coefficients r increased from 0.69 to 0.81), and with target-organ damage indices (for left ventricular mass index r increased from 0.13 to 0.22, carotid intima–media thickness 0.12–0.25, urinary albumin excretion 0.33–0.41). However, no further improvement in the association was observed by averaging more than four to six night-time readings. The diagnostic agreement between HBP and ABP in detecting nondippers was improved by averaging more readings, with a plateau at four readings (single reading: agreement 81%, kappa 0.37; four readings: 88%, 0.49; nine readings: 84%, 0.40). Conclusion: A two-night HBP schedule (six readings) appears to be the minimum requirement for a reliable assessment of night-time HBP, which gives reasonable agreement with ABP and association with preclinical organ damage.
A continuous time-resolved measure decoded from EEG oscillatory activity predicts working memory task performance

Objective. Working memory (WM), crucial for successful behavioral performance in most of our everyday activities, holds a central role in goal-directed behavior. As task demands increase, inducing higher WM load, maintaining successful behavioral performance requires the brain to work at the higher end of its capacity. Because it is depending on both external and internal factors, individual WM load likely varies in a continuous fashion. The feasibility to extract such a continuous measure in time that correlates to behavioral performance during a working memory task remains unsolved. Approach. Multivariate pattern decoding was used to test whether a decoder constructed from two discrete levels of WM load can generalize to produce a continuous measure that predicts task performance. Specifically, a linear regression with L2-regularization was chosen with input features from EEG oscillatory activity recorded from healthy participants while performing the n-back task, n∈[1,2]. Main results. The feasibility to extract a continuous time-resolved measure that correlates positively to trial-by-trial working memory task performance is demonstrated (r = 0.47, p < 0.05). It is furthermore shown that this measure allows to predict task performance before action (r = 0.49, p < 0.05). We show that the extracted continuous measure enables to study the temporal dynamics of the complex activation pattern of WM encoding during the n-back task. Specifically, temporally precise contributions of different spectral features are observed which extends previous findings of traditional univariate approaches. Significance. These results constitute an important contribution towards a wide range of applications in the field of cognitive brain–machine interfaces. Monitoring mental processes related to attention and WM load to reduce the risk of committing errors in high-risk environments could potentially prevent many devastating consequences or using the continuous measure as neurofeedback opens up new possibilities to develop novel rehabilitation techniques for individuals with degraded WM capacity.
One-Way Shear Strength of Thick Slabs and Wide Beams

This paper discusses nine recent tests designed to investigate if current provisions for one-way shear in the ACI 318-05 Building Code are unconservative when applied to thick slabs or large, wide beams. The tests addressed the influence of member width and the presence of shrinkage and temperature reinforcement, which are two factors that may influence the shear capacity of slabs. Member width was observed to have no significant effect on the shear stress at failure for one-way slabs and for wide beams. The presence of shrinkage and temperature reinforcement also did not influence the one-way shear capacity. These findings indicate that ACI 318-05's provisions, which dictate different levels of useable shear capacity for slabs, wide beams and narrow beams, can result in inadequate levels of safety for both thick slabs and large wide beams. Because narrow design strips have been shown to behave in shear in a similar manner to wider members, the well-established size effect of decreasing shear stress at failure as the member depth increases also applies to wide beams and thick one-way slabs. The author recommends that ACI 318-05's basic expression for shear strength be reformulated to better predict the shear capacity of members regardless of depth or classification.