Miracle-dz/UniFAR-FTUs huggingface dataset:
Collaborative interaction points in post-discharge stroke care

Introduction Lack of appropriate electronic tools for supporting patient involvement and collaboration with care professionals is a problem in health care. Methods Care and rehabilitation processes of post-discharge stroke patients were analysed using the concept of interaction points where patients, next-of-kin and care professionals interact and exchange information. Thirteen interviews with care professionals and five non-participatory observations were performed. Data were analysed using content analysis and modelling of interaction points in the patient journey. Results Patient participation and interaction patterns vary; patients requiring home care have a passive role and next-of-kin or nurses become advocates by coordinating care on behalf of the patient, whereas patients who are able to visit primary care coordinate their own care by initiating interactions. Important categories of participation include the following: participation in care planning, in monitoring risk factors and in rehabilitation planning. Conclusions Designing a supportive electronic tool requires understanding the interactions and patients’ activity levels at each interaction point. A tool for patients with higher activity level should support them to coordinate their own care, whereas for a less-active patient group, the tool could focus on supporting next-of-kin and care professionals in motivating, guiding and including passive patients in their care and rehabilitation processes.
M G ] 1 0 Ju n 20 05 A combinatorial Yamabe flow in three dimensions

A combinatorial version of Yamabe flow is presented based on Euclidean triangulations coming from sphere packings. The evolution of curvature is then derived and shown to satisfy a heat equation. The Laplacian in the heat equation is shown to be a geometric analogue of the Laplacian of Riemannian geometry, although the maximum principle need not hold. It is then shown that if the flow is nonsingular, the flow converges to a constant curvature metric.
Protein aggregation can inhibit clathrin-mediated endocytosis by chaperone competition

Significance The aggregation of mutant proteins is pathologically implicated in a large number of neuropathies, including Huntington disease and ALS. Although the appearance of protein aggregates is known to sequester other proteins, how this results in the gain-of-function toxicity in these diseases is unclear. Here, we show that the aggregation of disease-associated proteins causes the reversible collapse of clathrin-mediated endocytosis (CME) and inhibits the internalization of membrane receptors that affect neuronal function. CME inhibition occurs through aggregate-mediated sequestration of the molecular chaperone heat shock cognate protein 70, which is essential for CME. We propose that a toxic “tug-of-war” occurs between aggregates and endogenous client proteins for available chaperones, leading to the collapse of multiple cellular processes in neurodegeneration and other protein conformation diseases. Protein conformational diseases exhibit complex pathologies linked to numerous molecular defects. Aggregation of a disease-associated protein causes the misfolding and aggregation of other proteins, but how this interferes with diverse cellular pathways is unclear. Here, we show that aggregation of neurodegenerative disease-related proteins (polyglutamine, huntingtin, ataxin-1, and superoxide dismutase-1) inhibits clathrin-mediated endocytosis (CME) in mammalian cells by aggregate-driven sequestration of the major molecular chaperone heat shock cognate protein 70 (HSC70), which is required to drive multiple steps of CME. CME suppression was also phenocopied by HSC70 RNAi depletion and could be restored by conditionally increasing HSC70 abundance. Aggregation caused dysregulated AMPA receptor internalization and also inhibited CME in primary neurons expressing mutant huntingtin, showing direct relevance of our findings to the pathology in neurodegenerative diseases. We propose that aggregate-associated chaperone competition leads to both gain-of-function and loss-of-function phenotypes as chaperones become functionally depleted from multiple clients, leading to the decline of multiple cellular processes. The inherent properties of chaperones place them at risk, contributing to the complex pathologies of protein conformational diseases.
2048 is (PSPACE) Hard, but Sometimes Easy

We prove that a variant of 2048, a popular online puzzle game, is PSPACE-Complete. Our hardness result holds for a version of the problem where the player has oracle access to the computer player's moves. Specifically, we show that for an $n \times n$ game board $\mathcal{G}$, computing a sequence of moves to reach a particular configuration $\mathbb{C}$ from an initial configuration $\mathbb{C}_0$ is PSPACE-Complete. Our reduction is from Nondeterministic Constraint Logic (NCL). We also show that determining whether or not there exists a fixed sequence of moves $\mathcal{S} \in \{\Uparrow, \Downarrow, \Leftarrow, \Rightarrow\}^k$ of length $k$ that results in a winning configuration for an $n \times n$ game board is fixed-parameter tractable (FPT). We describe an algorithm to solve this problem in $O(4^k n^2)$ time.
LTE performance evaluation of scheduling strategy in various environments

Long Term Evolution (LTE) is becoming the first choice of operators when constructing the new network infrastructure. This is due to its high throughput and low latency. Although the LTE can offer high-speed data service as a benefit of wideband application, the large bandwidth also results in huge control signaling cost. In this paper simulation has been used as an option to evaluate the performance of available scheduling strategy. Performance for various scheduling strategies was evaluated and optimum scheduling strategy was proposed. Simulation in different environment and scenarios were implemented for specific size of users. In addition, varying the bandwidth size was included to observe the performance.
Optimal PHY and MAC Protocols for Power-Limited Ad-hoc Networks Božidar Radunović

We consider a power-limited ad-hoc network with coherent radios in a slow-fading environment, and we analyze the performance of different physical layer (PHY) and medium access (MAC) schemes in such a network. Most of the existing analysis assume that PHY is based on the nearest neighbor decoding, which is not optimal in this case. Instead, we focus on the MLE detector. We show that, since some of the interference is mitigated by the MLE detector, the network design paradigm changes significantly: a non-coordinated PHY and MAC, in addition to a low complexity, exhibit better performance than more complex coordinated, currently used PHY and MAC schemes. Our results suggest that most of the complexity should be invested in a receiver design instead of intricate MAC or signaling protocols. We also present a novel algorithm, using Monte-Carlo method, to calculate bounds on the rates that can be achieved with MLE detector. We show that these rates can be achieved with a detector of linear complexity.
Defect Creation Stimulated by Thermally Activated Hole Trapping as the Driving Force Behind Negative Bias Temperature Instability in SiO2, SiON, and High-k Gate Stacks

Recent publications on negative bias temperature instability have clearly demonstrated the existence of two components contributing to the phenomenon, with one of them recovering over many timescales and the other being more or less permanent. Interestingly, these two components seem to be coupled since their effect cannot be separated by the application of different stress voltages and stress temperatures. Based on this scalability we suggest a new model which can explain the experimental data during both stress and recovery for our pure SiO2, oxynitride, and high-k devices under a wide range of experimental conditions.
Deformable B-Solids and Implicit Snakes for 3D Localization and Tracking of SPAMM MRI Data

To date, MRI? SPAMM data from different image slices have been analyzed independently. In this paper, we propose an approach for 3D tag localization and tracking of SPAMM data by a novel deformable B-solid. The solid is defined in terms of a 3D tensor product B-spline. The isoparametric curves of the B-spline solid have special importance. These are termed implicit snakes as they deform under image forces from tag lines in different image slices. The localization and tracking of tag lines is performed under constraints of continuity and smoothness of the B-solid. To track motion from boundaries and restrict image forces to the myocardium, a volumetric model is employed as a pair of coupled endocardial and epicardial B-spline surfaces. To recover deformations of the left ventricle (LV), an energy-minimization problem is posed where both tag and LV boundary data are used. The framework has been implemented on tag data from short axis (SA) cardiac images, as well as SA LV boundaries, and is currently being extended to include long axis data.
Mitigation Emission Strategy Based on Resonances from a Power Inverter System in Electric Vehicles

Large d v /d t and d i /d t outputs of power devices in the DC-fed motor power inverter can generate conducted and/or radiated emissions through parasitics that interfere with low voltage electric systems in electric vehicles (EVs) and nearby vehicles. The electromagnetic interference (EMI) filters, ferrite chokes, and shielding added in the product process based on the “black box” approach can reduce the emission levels in a specific frequency range. However, these countermeasures may also introduce an unexpected increase in EMI noises in other frequency ranges due to added capacitances and inductances in filters resonating with elements of the power inverter, and even increase the weight and dimension of the power inverter system in EVs with limited space. In order to predict the interaction between the mitigation techniques and power inverter geometry, an accurate model of the system is needed. A power inverter system was modeled based on series of two-port network measurements to study the impact of EMI generated by power devices on radiated emission of AC cables. Parallel resonances within the circuit can cause peaks in the S21 (transmission coefficient between the phase-node-to-chassis voltage and the center-conductor-to-shield voltage of the AC cable connecting to the motor) and Z11 (input impedance at Port 1 between the Insulated gate bipolar transistor (IGBT) phase node and chassis) at those resonance frequencies and result in enlarged noise voltage peaks at Port 1. The magnitude of S21 between two ports was reduced to decrease the amount of energy coupled from the noise source between the phase node and chassis to the end of the AC cable by lowering the corresponding quality factor. The equivalent circuits were built by analyzing current-following paths at three critical resonance frequencies. Interference voltage peaks can be suppressed by mitigating the resonances. The capacitances and inductances generating the parallel resonances and responsible elements were determined by the calculation through the equivalent circuits. A combination of mitigation strategies including adding common-mode (CM) ferrite chokes through the Y-caps and the AC bus bar was designed to mitigate the resonances at 6 MHz, 11 MHz, and 26 MHz related to the CM conducted emission by IGBT switching and the radiated emission of the AC cable. The values of Z11 decreased respectively by 15 dB at 6 MHz, 0.4 dB at 11 MHz, and 11.5 dB at 26 MHz and the values of S21 decreased respectively by 8.6 dB at 6 MHz, 7 dB at 11 MHz, and 6.3 dB at 26 MHz. An equivalent model of the power inverter system for real-time simulation in time domain was built to validate the mitigation strategy in simulation software PSPICE.
Adipose-Derived Regenerative Cell Injection Therapy for Postprostatectomy Incontinence: A Phase I Clinical Study

Purpose We report our initial experience with transurethral injection of autologous adipose-derived regenerative cells (ADRCs) for the treatment of urinary incontinence after radical prostatectomy. Materials and Methods After providing written informed consent, six men with persistent urinary incontinence after radical prostatectomy were enrolled in the study. Under general anesthesia, about 50 mL of adipose tissue was obtained from the patients by liposuction. ADRCs were obtained by separation with centrifugation using the Celution cell-processing device. A mixture of ADRCs and adipose tissue were transurethrally injected into the submucosal space of the membranous urethra. Functional and anatomical improvement was assessed using a 24-h pad test, validated patient questionnaire, urethral pressure profile, and magnetic resonance imaging (MRI) during 12-week follow-up. Results Urine leakage volume was improved with time in all patients in the 24-h pad test, with the exemption of temporal deterioration at the first 2 weeks post-injection in 2 patients. Subjective symptoms and quality of life assessed on the basis of questionnaire results showed similar improvement. The mean maximum urethral closing pressure increased from 44.0 to 63.5 cm H2O at 12 weeks after injection. MRI showed an increase in functional urethral length (from 6.1 to 8.3 mm) between the lower rim of the pubic bone and the bladder neck. Adverse events, such as pelvic pain, inflammation, or de novo urgency, were not observed in any case during follow-up. Conclusion This study demonstrated that transurethral injection of autologous ADRCs can be a safe and effective treatment modality for postprostatectomy incontinence.
The use of imagery to optimize anxiety levels in female intercollegiate water polo players

It has been shown that imagery training and visualization techniques can be used as an effective intervention for controlling levels of pre-competitive state anxiety. A review of literature was done to examine the relationship between anxiety/ imagery, and competitive performance. Subsequently, a study was conducted in which ten female intercollegiate water polo players completed a pre-imagery questionnaire and the Sport Competition Anxiety Test (SCAT) before beginning an imagery traihihg program. Imagery sessions were then conducted bo 18 competitive events, using the Competitive State Anxiety Inventory (CSAI-2) to measure preand post-imagery competitive state anxiety (cognitive and somatic) and state selfconfidence levels. Raw scores were computed arid the results showed that iridividual trait anxiety scores were an indicator for pre-imagery state arixiety scores. Iri addition# the use of imagery was associated with a decrease in team somatic and cognitive pre­ competitive state anxiety. Post-imagery training scores showed that individual and team state self­
Analysing the Program Analyser

The reliability of program analysis tools is clearly important if such tools are to play a serious role in improving the quality and integrity of software systems, and the confidence which users place in such systems. Yet our experience is that, currently, little attention is paid to analysing the correctness of program analysers themselves, beyond regression testing. In this position paper we present our vision that, by 2025, the use of more rigorous analyses to check the reliability of program analysers will be commonplace. Inspired by recent advances in compiler testing, we set out initial steps towards this vision, building upon techniques such as cross-checking, program transformation and program generation.
Hardware complexity metrics for high level synthesis of software functions

High level synthesis using C/C++ code of applications is rapidly gaining ground. Code profiling has traditionally been used to select code blocks to implement in hardware by using ASICs, FPGAs or other programmable logic. We present a set of new hardware complexity metrics to reason about the suitability of a software function for its implementation by hardware synthesis. Our proposed metrics bring in the hardware aware perspective in the design process and overcome certain specific but important limitations inherent in code profiling based analysis. The metrics defined in the current work also help in design management and are applicable to innovative and future applications which are not fully developed to enable their code profiling.
A 660MHz ZVS DC-DC converter using gate-driver charge-recycling in 0.18μm CMOS with an Integrated Output Filter

The design and manufacture of a prototype chip level power supply is described, with both simulated and experimental results. Of particular interest is the inclusion of a fully integrated on-chip LC filter. A high switching frequency of 660 MHz and the design of a device drive circuit reduce losses by supply stacking, low-swing signaling and charge recycling. The paper demonstrates that a chip level converter operating at high frequency can be built and shows how this can be achieved, using zero voltage switching techniques similar to those commonly used in larger converters. Both simulations and experimental data from a fabricated circuit in 0.18mum CMOS are included. The circuit converts 2.2V to 0.75~1.0V at ~55 mA.
The QBF Solver AIGSolve

AIGSolve is a rewriting-based solver based on And-Inverter Graphs (AIGs). In this approach, quantifiers are eliminated, starting with the inner-most quantifiers. Intermediate results are represented symbolically using AIGs [22, 23]. The basic method consists of cofactorbased quantifier elimination which is combined with a multitude of optimization approaches including a SATand BDD-based compaction of the representations, methods for preprocessing QBF-formulas based on incremental SAT, heuristics that exchange quantifiers of the same level, heuristics that use BDD-based quantifier elimination as an alternative, as well as structure extraction and structure exploitation for the processed
The Kiwifruit Emerging Pathogen Pseudomonas syringae pv. actinidiae Does Not Produce AHLs but Possesses Three LuxR Solos

Pseudomonas syringae pv. actinidiae (Psa) is an emerging phytopathogen causing bacterial canker disease in kiwifruit plants worldwide. Quorum sensing (QS) gene regulation plays important roles in many different bacterial plant pathogens. In this study we analyzed the presence and possible role of N-acyl homoserine lactone (AHL) quorum sensing in Psa. It was established that Psa does not produce AHLs and that a typical complete LuxI/R QS system is absent in Psa strains. Psa however possesses three putative luxR solos designated here as PsaR1, PsaR2 and PsaR3. PsaR2 belongs to the sub-family of LuxR solos present in many plant associated bacteria (PAB) that binds and responds to yet unknown plant signal molecules. PsaR1 and PsaR3 are highly similar to LuxRs which bind AHLs and are part of the canonical LuxI/R AHL QS systems. Mutation in all the three luxR solos of Psa showed reduction of in planta survival and also showed additive effect if more than one solo was inactivated in double mutants. Gene promoter analysis revealed that the three solos are not auto-regulated and investigated their possible role in several bacterial phenotypes.
EXPLAINING THE VOLATILITY SMILE : REDUCED-FORM VS . STRUCTURAL OPTION MODELS *

We employ a “reduced-form” approach to price European options. In contrast to “structural” models that assume stochastic processes for the underlying state variable(s), “reduced-form” models such as Stutzer (1996), Eberlein, Keller and Prause (1998), and Cochrane and Saa-Requejo (2000), directly fit the end distribution of the underlying state variable(s) with flexible statistical distributions. We derive an approximation formula that prices S&P 500 index options in closed form. Our model yields option prices that are more consistent with the data than the option prices that are generated by several widely used models. Although a quantitative comparison with other reduced-form models is more difficult, there are indications that our model is also more consistent with the data than these models.
Viral and Host Factors in Human Respiratory Syncytial Virus Pathogenesis

Human respiratory syncytial virus (RSV) was first isolated in 1956 from a laboratory chimpanzee with upper respiratory tract disease (for general reviews, see references [21][1], [57][2], [102][3], and [145][4]). RSV was quickly determined to be of human origin and was shown to be the leading
A large-scale sentiment analysis for Yahoo! answers

Sentiment extraction from online web documents has recently been an active research topic due to its potential use in commercial applications. By sentiment analysis, we refer to the problem of assigning a quantitative positive/negative mood to a short bit of text. Most studies in this area are limited to the identification of sentiments and do not investigate the interplay between sentiments and other factors. In this work, we use a sentiment extraction tool to investigate the influence of factors such as gender, age, education level, the topic at hand, or even the time of the day on sentiments in the context of a large online question answering site. We start our analysis by looking at direct correlations, e.g., we observe more positive sentiments on weekends, very neutral ones in the Science & Mathematics topic, a trend for younger people to express stronger sentiments, or people in military bases to ask the most neutral questions. We then extend this basic analysis by investigating how properties of the (asker, answerer) pair affect the sentiment present in the answer. Among other things, we observe a dependence on the pairing of some inferred attributes estimated by a user's ZIP code. We also show that the best answers differ in their sentiments from other answers, e.g., in the Business & Finance topic, best answers tend to have a more neutral sentiment than other answers. Finally, we report results for the task of predicting the attitude that a question will provoke in answers. We believe that understanding factors influencing the mood of users is not only interesting from a sociological point of view, but also has applications in advertising, recommendation, and search.
Performance Assessment of a Commercial GPS Receiver for Networking Applications

Recent years have seen an exponential increase of DVD equipped and navigation assisted cars. Nowadays a car trip can be both entertaining for passengers and computer assisted for drivers. In a further integration of automotive and information technologies, cars will be able to communicate to each other and to the Internet supporting safety, infotainment and pollution prevention applications. The research area which investigates topics, Vehicular Ad hoc NETworks (VANETs), is being widely investigated by both industry and academia. Position information plays a central role in many communication routing schemes designed for VANETs. This trend is justified by the feasibility of algorithms that route packets based on geographical proximity to the destination and by the widespread availability of navigation systems in cars. Geographical information is usually assumed accurate and precise. None of the algorithms available in literature, to the best of our knowledge, take into account possible position estimation errors. This paper is a first step in assessing the precision of a commercial GPS receiver for the support of vehicular communications. As we shall see, the performance of the receiver under investigation heavily depends on the type of urban area within this is employed. We believe that a strong understanding of the accuracy of such estimates is important to improve the performance and reliability of a vehicular network infrastructure.