Miracle-dz/UniFAR-FTUs huggingface dataset:
Active Manual Movement Improves Directional Perception of Illusory Force

Active touch sensing is known to facilitate the discrimination or recognition of the spatial properties of an object from the movement of tactile sensors on the skin and by integrating proprioceptive feedback about hand positions or motor commands related to ongoing hand movements. On the other hand, several studies have reported that tactile processing is suppressed by hand movement. Thus, it is unclear whether or not the active exploration of force direction by using hand or arm movement improves the perception of the force direction. Here, we show that active manual movement in both the rotational and translational directions enhances the precise perception of the force direction. To make it possible to move a hand in space without any physical constraints, we have adopted a method of inducing the sensation of illusory force by asymmetric vibration. We found that the precision of the perceived force direction was significantly better when the shoulder is rotated medially and laterally. We also found that directional errors supplied by the motor response of the perceived force were smaller than those resulting from perceptual judgments between visual and haptic directional stimuli. These results demonstrate that active manual movement boosts the precision of the perceived direction of an illusory force.
Robustness of a Class of Feedback-Controlled Uncertain Nonlinear Systems in the Presence of Singular Perturbations

A class of uncertain, singularly perturbed, nonlinear, control systems described by ordinary differential equations is considered. The uncertainties are characterized deterministically; the singular perturbation is characterized by a real non-negative system parameter ¿. For ¿ = 0, the system order is lower than that for ¿ ≫ 0. Based only on information available on the uncertain reduced-order system (¿ = 0), controllers are presented which assure that the behavior of the feedback controlled reduced-order system is close to that of global uniform asymptotic stability about zero. Subject to the same controllers, the full-order system (¿ ≫ 0) has the same qualitative behavior, provided ¿ ≪ ¿*, where ¿* ≫ 0 can be computed from the available information. The results are illustrated by application to a simple electromechanical system.
Electronic health records and disease registries to support integrated care in a health neighbourhood: an ontology-based methodology

Disease registries derived from Electronic Health Records (EHRs) are widely used for chronic disease management (CDM). However, unlike national registries which are specialised data collections, they are usually specific to an EHR or organization such as a medical home. We approached registries from the perspective of integrated care in a health neighbourhood, considering data quality issues such as semantic interoperability (consistency), accuracy, completeness and duplication. Our proposition is that a realist ontological approach is required to systematically and accurately identify patients in an EHR or data repository of EHRs, assess intrinsic data quality and fitness for use by members of the multidisciplinary integrated care team. We report on this approach as applied to routinely collected data in an electronic practice based research network in Australia.
Biomass concentration and biofilm characteristics in high-performance fluidized-bed biofilm reactors.

Two laboratory scale fluidized-bed biofilm reactors (FBBRs) were used to investigate the biomass concentration and the biofilm characteristics in a high performance FBBR used for the denitrification of exceptionally high-nitrate wastewater (1000 mg-N/L). Reported correlations by other workers for predicting the biomass concentration in FBBR were examined for their validity in comparison with the experimental results of this study and the best set of applicable correlations was recommended. The effects of the two main operational parameters, the superficial velocity and nitrogen loading rate on the biomass concentration in the FBBR were also studied. Correlations for the drag coefficient and the expansion index from the literature, together with the biofilm dry density correlation produced from this study were found to produce the best prediction of the FBBR biomass concentration compared to other reported correlations. The average biomass concentration in the FBBR decreased with the increase of the superficial velocity in the range of 45 to 65 m/h at all the applied nitrogen loadings (i.e. 6, 8, 12 and 16 kg-N/m3(bed). d).
The structure of Ni-TiC composite coatings deposited by PPTAW method

In this paper, the structure investigations of Ni-TiC composite coatings deposited on low carbon steel (S355J0) using plasma powder transferred arc welding (PPTAW) are presented. A blend of nickel alloy powder with 40 vol% TiC was selected as the precursor material for fabricating Ni-TiC composite coatings. The obtained composite layers were characterized by macro and microstructural examination. The distribution of carbide grains in the nickel matrix was characterized by fractal analysis. In addition, the volume fraction of TiC inclusion in the nickel matrix and coating dilution as a function hardfacing parameters were calculated. Metallographic examination revealed that the coatings obtained within the range of a 60÷80 A welding current have discontinuities in the interface layer substrate and a number of large air bubbles. The composite coatings obtained with a welding current higher than 80 A were correctly formed. The microstructure of the composite coatings contains large and small irregular titanium carbide particles. As a result of the interaction between the nickel alloy matrix and high energy plasma arc with titanium carbide during the surfacing process, small particles are formed. Both the dilution coefficient and volume fraction of TiC increase with an increase in welding current. The last part of the paper includes the results of the fractal dimension measurements of coating cross-sections. For the analyzed structures, the percentage of TiC and linear fractal dimension were determined using the line counting dimension method (LCD), which is a modification of the box counting dimension method (BCD).
Comparison of the Effects of Dexmedetomidine and Remifentanil on Cognition State After Cataract Surgery

Background Dexmedetomidine is a potent and highly specific α2-adrenoreceptor agonist that induces sedative and analgesic effects over a short-term period. As a result of these benefits, dexmedetomidine may be a better alternative than other available drugs for keeping the patient’s cognition state in an acceptable condition after outpatient ophthalmic surgeries. Objectives This randomized study was conducted to compare the sedative effects of dexmedetomidine and remifentanil on the cognitive state of patients who have undergone cataract surgery. Patients and Methods A total of 100 patients who were candidates for cataract surgery under local anesthesia received either dexmedetomidine (50 patients; D group) or remifentanil (50 patients; R group) in a double-blind, randomized study. The baseline cardiovascular status and mini mental state examination (MMSE) score for each patient were recorded. As a loading dose, dexmedetomidine (0.5 µg/kg) and remifentanil (0.1 µg/kg) were infused at 10 minutes and 5 minutes before topical anesthesia, respectively. Subsequently, the maintenance dose was administered at 0.2 µg/kg/hour and 0.05 µg/kg/minutes in the D and R groups, respectively. The surgical procedure was begun when the bispectral index (BIS) reached 70 - 80. MMSE test was done at a postanesthetic care unit (PACU) 120 minutes after the discontinuation of the drug. Results There was no statistically significant difference between the MMSE scores of the two groups before surgery (P = 0.6), but the MMSE test conducted at the PACU revealed significantly better cognitive outcomes in the D group than in the R group in patients younger and older than 65 years (P = 0.03 and P = 0.0001, respectively). Conclusions This study revealed that dexmedetomidine may be a suitable agent for sedation in cataract surgery because it results in a more favorable postoperative cognitive status than remifentanil. Likewise, dexmedetomidine had no significant adverse effects on cardiovascular or respiratory systems.
Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing

We present a machine-checked correctness proof for information flow noninterference based on interprocedural slicing. It reuses a correctness proof of the context-sensitive interprocedural slicing algorithm of Horwitz, Reps, and Binkley. The underlying slicing framework is modular in the programming language used; by instantiating this framework the correctness proofs hold for the respective language, without reproving anything in the correctness proofs for slicing and noninterference. We present instantiations with two different languages to show the applicability of the framework, and thus a verified noninterference algorithm for these languages. The formalization and proofs are conducted in the proof assistant Isabelle/HOL.
Autonomous gait selection for energy efficient walking

In this paper, we investigate the question of how a legged robot can walk efficiently by taking advantage of its ability to alter its gait as a function of statistical (large-scale) terrain properties. One of the contributions of this paper is the algorithm to achieve real-time terrain identification and autonomous gait adaptation on a legged robot. We approach this problem by first classifying the terrains based on their proprioceptive responses and identifying the terrain in real-time. Then we choose an optimal gait to best suit the identified terrain type. We exploit our recent findings regarding gaits, estimated from terrain-contact signatures, in order to obtain an optimized mapping between terrain signatures and terrain-specific gaits. We evaluate our algorithm on synthetic data, and real robot data collected on different terrains and naturally occurring terrain transitions. Another key contribution of this work is the statistical verification that precise gait selection can lead to energy savings in practice in legged robots. This assessment of energy efficiency, achieved by gait adaptation, is among the firsts of its kind in gait adaptation literature. We also present an analysis of the effect of terrain transition frequency on our gait adaptation algorithm. Our results are supported by validation using both synthetic data and field testing.
Diagnosis of pediatric urolithiasis: role of ultrasound and computerized tomography.

PURPOSE Pediatric urolithiasis is believed to be uncommon, and may present without the classic symptoms of renal colic. The objectives of this study were to describe the presenting features and radiographic evaluation of pediatric urolithiasis, and to determine the accuracy of ultrasound and unenhanced computerized tomography (CT) in detecting urolithiasis. MATERIALS AND METHODS We retrospectively reviewed the charts of children 0 to 18 years old with urolithiasis. Data collected included age, sex, race, presenting symptoms, radiographic studies performed during initial evaluation, calculus location and family history of urolithiasis. RESULTS A total of 75 patients had complete data for analysis. Of these patients 54 (72%) had urolithiasis symptoms (flank pain, gross hematuria or both). Patients with urolithiasis symptoms were older at diagnosis (median age 11.9 years vs 1.0 years, p <0.001) and were more likely to have a family history of urolithiasis (54% vs 14%, p = 0.002). The 39 CTs performed were accurate in detecting calculi in children with urolithiasis symptoms (96% to 100%) and in those without symptoms (100%). The 36 ultrasounds performed had more variable accuracy in children with urolithiasis symptoms (33% to 100%) vs those without symptoms (89%). Ultrasound failed to detect urolithiasis in 41% of the patients with urolithiasis symptoms, compared to 5% with CT. CT was also highly accurate regardless of calculus location (89% to 100%), whereas ultrasound was again more variable (kidney 90%, kidney and ureter 75%, ureter alone 38%). CONCLUSIONS Ultrasound failed to detect calculi in 41% of the children with urolithiasis symptoms, whereas CT was highly accurate in all situations. Unenhanced CT should be performed in all children with persistent urolithiasis symptoms and nondiagnostic ultrasound.
Effects of Exercise Intensity, Duration and Recovery on in vitro Neutrophil Function in Male Athletes

The aim of the present study was to compare the effects of exercise at 80% VO2max (resulting in fatigue within 1 h) with more prolonged exercise at a lower work rate (55% VO2max for up to 3 h) on blood neutrophil function and plasma concentrations of cortisol, glutamine and glucose. Eighteen healthy male subjects (mean+/-SD age 22.5+/-3.7 yrs, VO2max 60.1+/-6.6 ml x kg(-1) x min(-1)) cycled on an electrically braked ergometer at 80% VO2max to fatigue (37+/-19 min). On another occasion, separated by at least one week, subjects performed exercise on the same ergometer at 55% VO2max for 3 h or to fatigue, whichever was the sooner. Mean exercise time was 164+/-23 min. The order of the trials was randomised. Both exercise bouts caused significant (p<0.05) elevations of the blood leucocyte count and plasma cortisol concentration and reductions in the in vitro neutrophil degranulation response to bacterial lipopolysaccharide and oxidative burst activity. After exercise at the lower work rate for a longer duration, plasma cortisol concentration was higher, blood leucocyte and neutrophil counts were higher, blood lymphocytes, plasma glucose and indices of neutrophil function were lower than those observed at 80% VO2max. Plasma glutamine only fell significantly during recovery after the more prolonged exercise. We conclude that when exercise is very prolonged, the diminution of innate immune function is greater, or at least as great as that observed after fatiguing exercise at higher work rates. Furthermore, reductions in neutrophil function after exercise at 80% VO2max were not related to changes in the plasma glutamine concentration, although both plasma glutamine and neutrophil function were decreased at 1 and 2.5 h post-exercise in the long duration exercise trial.
Decreased Expression of Liver X Receptor-α in Macrophages Infected with Chlamydia pneumoniae in Human Atherosclerotic Arteries in situ

In in vitro experiments, Chlamydia pneumoniae has been shown to infect macrophages and to accelerate foam cell formation. It has been hypothesized that the C. pneumoniae infection affects foam cell formation by suppressing the expression of liver X receptors (LXR), but whether such an event occurs in human atherosclerosis is not known. In this study we examined carotid artery segments, obtained by endarterectomy, in which the presence of C. pneumoniae was confirmed by both polymerase chain reaction and immunohistochemistry. The expression of LXR-α in macrophages infected with C. pneumoniae and macrophages that were not infected was compared using a quantitative immunohistochemical analysis. The analysis revealed a 2.2-fold reduction in the expression of LXR-α in C. pneumoniae-infected cells around the lipid cores in atherosclerotic plaques. In the cytoplasm of laser-capture microdissected cells that were immunopositive for C. pneumoniae, electron microscopy demonstrated the presence of structures with the appearance of elementary, reticulate and aberrant bodies of C. pneumoniae. We conclude that LXR-α expression is reduced in C. pneumoniae-infected macrophages in human atherosclerotic lesions which supports the hypothesis that C. pneumoniae infection might suppress LXR expression in macrophages transforming into foam cells.
Floral Patterning in Lotus japonicus1[w]

Floral patterning in Papilionoideae plants, such as pea (Pisum sativum) and Medicago truncatula, is unique in terms of floral organ number, arrangement, and initiation timing as compared to other well-studied eudicots. To investigate the molecular mechanisms involved in the floral patterning in legumes, we have analyzed two mutants, proliferating floral meristem and proliferating floral organ-2 (pfo-2), obtained by ethyl methanesulfonate mutagenesis of Lotus japonicus. These two mutants showed similar phenotypes, with indeterminate floral structures and altered floral organ identities. We have demonstrated that loss of function of LjLFY and LjUFO/Pfo is likely to be responsible for these mutant phenotypes, respectively. To dissect the regulatory network controlling the floral patterning, we cloned homologs of the ABC function genes, which control floral organ identity in Arabidopsis (Arabidopsis thaliana). We found that some of the B and C function genes were duplicated. RNA in situ hybridization showed that the C function genes were expressed transiently in the carpel, continuously in stamens, and showed complementarity with the A function genes in the heterogeneous whorl. In proliferating floral meristem and pfo-2 mutants, all B function genes were down-regulated and the expression patterns of the A and C function genes were drastically altered. We conclude that LjLFY and LjUFO/Pfo are required for the activation of B function genes and function together in the recruitment and determination of petals and stamens. Our findings suggest that gene duplication, change in expression pattern, gain or loss of functional domains, and alteration of key gene functions all contribute to the divergence of floral patterning in L. japonicus.
RASSF1A Interacts with Microtubule-Associated Proteins and Modulates Microtubule Dynamics

The candidate tumor suppressor gene RASSF1A is inactivated in many types of adult and childhood cancers. However, the mechanisms by which RASSF1A exerts its tumor suppressive functions have yet to be elucidated. To this end, we performed a yeast two-hybrid screen to identify novel RASSF1A-interacting proteins in a human brain cDNA library. Seventy percent of interacting clones had homology to microtubule-associated proteins, including MAP1B and VCY2IP1/C19ORF5. RASSF1A association with MAP1B and VCY2IP1/C19ORF5 was subsequently confirmed in mammalian cell lines. This suggested that RASSF1A may exert its tumor-suppressive functions through interaction with the microtubules. We demonstrate that RASSF1A associates with the microtubules, causing them to exist as hyperstabilized circular bundles. We found that two naturally occurring tumor-associated missense substitutions in the RASSF1A coding region, C65R and R257Q, perturb the association of RASSF1A with the microtubules. The C65R and R257Q in addition to VCY2IP1/C19ORF5 showed reduced ability to induce microtubule acetylation and were unable to protect the microtubules against the depolymerizing action of nocodazole. In addition, wild-type RASSF1A but not the C65R or the R257Q is able to block DNA synthesis. Our data identify a role for RASSF1A in the regulation of microtubules and cell cycle dynamics that could be part of the mechanism(s) by which RASSF1A exerts its growth inhibition on cancer cells.
Growth hormone excess in children with neurofibromatosis type‐1 and optic glioma

In children with neurofibromatosis type 1 (NF1) and optic pathways glioma (OPG), growth hormone (GH) excess has been rarely reported and mainly associated to central precocious puberty. The aim of our study is to evaluate the prevalence of GH excess, the association with central precocious puberty, the relation with tumor site and the evolution over time in a large cohort of children with NF1 and OPG. Sixty‐four NF1 children with OPG were evaluated. Patients with stature and/or height velocity >2 SD for age were studied for GH secretion. Seven out of 64 children (10.9%) with NF1 and optic pathways glioma showed GH excess, isolated in 5 cases and associated to central precocious puberty in 2. All the children with GH excess had a tumor involving the chiasma. Children with GH excess underwent medical treatment with lanreotide and a minimum clinical/biochemical follow up of 2 years is reported. The present study demonstrates that GH excess should be considered as a relative frequent endocrine manifestation in NF1 patients, similarly to central precocious puberty. Therefore, these patients should undergo frequent accurate auxologic evaluations. On the other hand, an increase in height velocity in children with NF1, even despite normal ophthalmological exams, can suggest the presence of OPG and therefore represents an indication to perform brain MRI.
Energy-Aware Competitive Power Control in Relay-Assisted Interference Wireless Networks

Competitive power control for energy efficiency maximization in wireless interference networks is addressed, for the scenarios in which the users' SINR can be expressed as either (a) γ=(α p)/(φ p+ω), or (b) γ=(α p+β p^{2})/(φ p+ω), with p the user's transmit power. The considered SINR expressions naturally arise in relay-assisted systems. The energy efficiency is measured in bit/Joule and is defined as the ratio of a proper function of the SINR, divided by the consumed power. Unlike most previous related works, in the definition of the consumed power, not only the transmit power, but also the circuit power needed to operate the devices is accounted for. A non-cooperative game theoretic approach is employed and distributed power control algorithms are proposed. For both SINR expressions (a) and (b), it is shown that the competitive power allocation problem always admits a Nash equilibrium. Moreover, for the SINR (a), the equilibrium is also shown to be unique and the best-response dynamic is guaranteed to converge to such unique equilibrium. For the two-user case, the efficient computation of the Pareto frontier of the considered game is addressed, and, for benchmarking purposes, a social optimum solution with fairness constraint is derived.
Epilepsy Surgery in Young Children With Tuberous Sclerosis: Results of a Novel Approach

OBJECTIVE. Tuberous sclerosis complex (TSC) is associated with medically refractory epilepsy and developmental delay in children and usually results from cortical tubers. Seizures that begin in young patients are often refractory and may contribute to development delay. Functional outcome is improved when seizures are controlled at an early age. Previous reports have shown modest benefit from surgical resection of single tubers/seizure foci in older children; however, many children with TSC develop uncontrolled seizures before age 1. To identify patients who might benefit from surgery and to maximize outcome, we used a novel surgical approach in young children that consists of invasive intracranial monitoring, which is typically 3-staged and often bilateral. METHODS. Of 110 consecutive children who underwent epilepsy surgery by a single surgeon in the past 6 years, 25 patients (9 boys and 16 girls) had TSC. At the time of their first surgery at our institution, they were a median age of 4.0 years. A total of 31 separate admissions for epilepsy surgery in these 25 patients were identified. Bilateral electrode placement was performed in 13 children whose seizures could not be lateralized definitively preoperatively, and 22 patients underwent 3-stage surgeries. RESULTS. At 6 months or longer after the initial resection, 21 (84%) children were class I, 2 (8%) children were class II, and 2 (8%) children were class IV. At a mean follow-up of 28 months, 17 (68%) children were class I, 6 (24%) were class II, and 2 (8%) were class III. Four of the 5 children who initially were rejected as surgical candidates because of multifocality and who required initial bilateral electrode study are now seizure-free. CONCLUSIONS. This approach can help to identify both primary and secondary epileptogenic zones in young TSC patients with multiple tubers. Multiple or bilateral seizure foci are not necessarily a contraindication to surgery. Long-term follow-up will determine whether this approach has durable effects.