Miracle-dz/UniFAR-FTUs huggingface dataset:
Simultaneous Measurements of Action Potential Duration and Intracellular ATP in Isolated Ferret Hearts Exposed to Cyanide

Shortening of the cardiac action potential during ischemia and anoxia is likely to contribute to the decline in contractility that occurs under such conditions. It has been hypothesized that a decrease in the intracellular ATP concentration ([ATP]1) underlies the changes in the action potential. The recently discovered potassium channel activated at low ATP concentrations might provide the link between action potential shortening and low [ATP]1. However, it has yet to be shown that [ATP]1 falls to the range required for channel activation at the time when action potential shortening occurs. We have measured action potentials and [ATP]1 simultaneously in isolated ferret hearts during ininbition of both oxidative phosphorylation and anaerobic glycolysis (metabolic blockade). Metabolic blockade caused a rapid decline in cardiac contractility, accompanied by a rapid fall in action potential duration. [ATP]1 fell only slightly and remained well above the range where activation of the ATP-sensitive K+ channel would be expected to occur. Moreover, rentroduction of glucose to the perfusate led to a substantial recovery in both contraction and in action potential duration, again in the absence of any great change in [ATP]1. These results suggest that the action potential shortening observed in metabolic blockade cannot be explained by the simple hypothesis of K+ channel opening as a consequence of a decrease in bulk [ATP]1 unless the K± for suppression of channel activity by ATP is very much ingher in intact cells than in any of the patch configurations studied. An alternative explanation is that the channel may be regulated under these conditions by mechanisms other than a change in [ATP]1.
Counseling, quality of life, and acute postoperative pain in elderly patients with hip fracture

Introduction Hip fractures represent one of the most important causes of morbidity and mortality in elderly people. Anxiety and depression affect their quality of life and increase pain severity, and have adverse effects on functional recovery. Recent World Health Organization guidelines emphasize that therapeutic regimes need to be individualized and combined with psychological support. This study was launched with the primary endpoint of assessing if and to what extent client-centered therapy affects the perception of pain, reduces anxiety and depression, and increases the quality of life of elderly patients with hip fracture. Materials and methods Forty patients were admitted to the Orthopedic and Trauma Surgery ward for hip fracture. Patients were randomly divided into two subgroups: (1) case (group C), had to receive patient-centered counseling throughout the hospitalization; and (2) control (group NC), receiving the analgesic treatment without receiving counseling. Short Form-36-item Health Survey Questionnaire, State–Trait Anxiety Inventory, and Hamilton Rating Scale for Depression scores were recorded before any treatment, at discharge, and after 30 days. Pain levels were evaluated by means of Visual Analog Scale every 12 hours during the hospitalization from the day of surgery until day 5. Results The hierarchical clustering analysis identified before any treatment were two clusters based on different physical functioning perceptions and role limitations, which were due to physical and emotional problems. Counseling did have a positive impact on quality of life on all patients, but in a more relevant way if patients were low functioning upon admittance to the ward. Anxiety and depression decreased in patients undergoing counseling, and their pain levels were lower than among patients not receiving it. Conclusion This study reveals that hip fracture patients can be clustered on the basis of Short Form-36 baseline scores. Counseling affects the evolution of mental and physical status in these patients, and the major benefit is reported in patients whose quality of life perception is worse after the trauma. Decreasing anxiety and depression levels, as well as more satisfying pain management, assessed by means of specific tests, confirm the effectiveness of counseling in elderly patients with hip fracture.
Effect of Reinforcement of Oral Health Education Message through Short Messaging Service in Mobile Phones: A Quasi-Experimental Trial

Objective. This paper aims to assess the effectiveness of reinforcement of oral health education message through short messaging service (SMS) in mobile phones. Material and Methods. 400 subjects from two colleges (200 from each college) belonging to 18–20 years age group possessing mobile phones were randomly selected and baseline examination of oral hygiene and gingival status was carried out using Oral Hygiene Index (OHI) and Gingival Index (GI). Oral health education was provided to all the subjects. Oral health education message was reinforced through short messaging service (SMS) in mobile phones for the subjects belonging to the intervention group. There was no such reinforcement for the control group. Follow-up examinations were done at the end of 1st, 2nd, 3rd, and 6th month. After the 3rd month, subjects of the intervention group did not receive oral health education message through short messaging service (SMS) and were followed up after next three months. Compiled data was analyzed using SPSS version 16 statistical software. Result. Mean OHI and GI scores in intervention group were significantly (p < 0.01) less than those of control group after the 2nd, 3rd, and 6th month. Conclusion. Reinforcement of oral health education message through short messaging service (SMS) is effective media to improve oral health.
Software-Based Protection against Changeware

We call changeware software that surreptitiously modifies resources of software applications, e.g., configuration files. Changeware is developed by malicious entities which gain profit if their changeware is executed by large numbers of end-users of the targeted software. Browser hijacking malware is one popular example that aims at changing web-browser settings such as the default search engine or the home page. Changeware tends to provoke end-user dissatisfaction with the target application, e.g. due to repeated failure of persisting the desired configuration. We describe a solution to counter changeware, to be employed by vendors of software targeted by changeware. It combines several protection mechanisms: white-box cryptography to hide a cryptographic key, software diversity to counter automated key retrieval attacks, and run-time process memory integrity checking to avoid illegitimate calls of the developed API.
Learning and Matching of Dynamic Shape Manifolds for Human Action Recognition

In this paper, we learn explicit representations for dynamic shape manifolds of moving humans for the task of action recognition. We exploit locality preserving projections (LPP) for dimensionality reduction, leading to a low-dimensional embedding of human movements. Given a sequence of moving silhouettes associated to an action video, by LPP, we project them into a low-dimensional space to characterize the spatiotemporal property of the action, as well as to preserve much of the geometric structure. To match the embedded action trajectories, the median Hausdorff distance or normalized spatiotemporal correlation is used for similarity measures. Action classification is then achieved in a nearest-neighbor framework. To evaluate the proposed method, extensive experiments have been carried out on a recent dataset including ten actions performed by nine different subjects. The experimental results show that the proposed method is able to not only recognize human actions effectively, but also considerably tolerate some challenging conditions, e.g., partial occlusion, low-quality videos, changes in viewpoints, scales, and clothes; within-class variations caused by different subjects with different physical build; styles of motion; etc
Temporal Link Prediction Using Time Series of Quasi-Local Node Similarity Measures

Evolving networks, which are composed of objects and relationships that change over time, are prevalent in many real-world domains and have become an significant research topic in recent years. Most of the previous link prediction studies neglect the evolution of the network over time and mainly focus on the predicting the future links based on a static features of nodes and links. However, real-world networks have complex dynamic structures and non-linear varying topological features, which means that both nodes and links of the networks may appear or disappear. These dynamicity of the networks make link prediction a more challenging task. To overcome these difficulties, link prediction in such networks must model nonlinear temporal evolution of the topological features and link occurrences information of the network structure simultaneously. In this article, we propose a novel link prediction method based on NARX Neural Network for evolving networks. Our model first calculates similarity scores based on quasi-local measures for each pair of nodes in different snapshots of the network and create time series for each pair. Then, NARX network is effectively applied to prediction of the future node similarity scores by using past node similarities and node connectivities. The proposed method is tested on DBLP coauthorship networks. It is shown that combining time information with node similarities and node connectivities improves the link prediction performance to a large extent.
Drosophila melanogaster White Mutant w1118 Undergo Retinal Degeneration

Key scientific discoveries have resulted from genetic studies of Drosophila melanogaster, using a multitude of transgenic fly strains, the majority of which are constructed in a genetic background containing mutations in the white gene. Here we report that white mutant flies from w1118 strain undergo retinal degeneration. We observed also that w1118 mutants have progressive loss of climbing ability, shortened life span, as well as impaired resistance to various forms of stress. Retinal degeneration was abolished by transgenic expression of mini-white+ in the white null background w1118. We conclude that beyond the classical eye-color phenotype, mutations in Drosophila white gene could impair several biological functions affecting parameters like mobility, life span and stress tolerance. Consequently, we suggest caution and attentiveness during the interpretation of old experiments employing white mutant flies and when planning new ones, especially within the research field of neurodegeneration and neuroprotection. We also encourage that the use of w1118 strain as a wild-type control should be avoided.
Changes in intragastric meal distribution are better predictors of gastric emptying rate in conscious pigs than are meal viscosity or dietary fibre concentration

The effect of dietary fibre on the gastric emptying rate of solids is controversial. Similarly, the mechanisms by which it modulates food intake are partially unknown. Gastric emptying and proximal v. distal stomach filling were evaluated in triplicate on four conscious pigs using scintigraphic imaging. Each animal received in an isoenergetic manner a concentrate low-fibre diet enriched in starch (S) and two high-fibre diets based on sugar beet pulp (BP) or wheat bran (WB). All meals had the same viscosity before ingestion (100.0–100.5 Pa.s). Viscosity of the gastric contents was measured in four additional animals fitted with a gastric cannula. The gastric emptying rate of BP diet was significantly slower than S and WB diets (t1/2 78.4 (SEM 5.68), 62.8 (sem 10.01) and 111.6 (sem 10.82) min for S, WB and BP diets respectively, P<0.05). For BP diet only, rate of distal stomach filling was steady during the first 120 min after the meal whereas that of S and WB diets decreased in an exponential manner. Numerous backflow episodes from the distal into the proximal stomach were observed for BP diet that generated the larger intragastric viscosity (0.26 (sem 0.03), 0.3 (sem 0.02) and 0.52 (sem 0.002) Pa.s for S, WB and BP respectively). In conclusion, viscosity of the meal or the percentage total fibre, unlike viscosity of the gastric contents, are poor predictors for emptying. The reduced emptying rate observed with BP is associated with major changes in intragastric distribution of the meal absent with WB and S diets.
A mobile-device-based event reporting scheme for WSNs

In recent years, an increasing number of researchers have become involved in wireless sensor networks (WSNs) and cloud computing. However, integrating WSN and cloud computing technology to monitor the environment is still an open issue. In this paper, we propose a mobile-device-based environmental monitor based on SaaS (Software as a Service) of cloud computing architecture. The proposed model is a mobile-device-based event reporting scheme. In an environmental monitoring system since there are some events (such as structural damage to dams and bridges) that cannot be reported automatically, we propose using a mobile device to report such events. The proposed scheme can defend against Denial of Service (DoS) and man-in-the-middle attacks, achieve mutual authentication, ensure data security and address network security issues.
Matching Theory: Applications in wireless communications

Matching theory is a powerful tool to study the formation of dynamic and mutually beneficial relations among different types of rational and selfish agents. It has been widely used to develop high performance, low complexity, and decentralized protocols. In this article, a comprehensive survey of matching theory, its variants, and their significant properties appropriate for the demands of wireless communications and network engineers is provided. Recent research progress in applying matching theory to wireless communications to address major technical opportunities and challenges is presented. A novel classification of matching models from the practical perspective is provided, and the properties and structure of each model are explained. This will enable a network designer to select an appropriate matching model for a specific application in wireless communications. Finally, the application of different matching models to various emerging wireless networks is discussed.
Altered resting‐state activity in seasonal affective disorder

At present, our knowledge about seasonal affective disorder (SAD) is based mainly up on clinical symptoms, epidemiology, behavioral characteristics and light therapy. Recently developed measures of resting‐state functional brain activity might provide neurobiological markers of brain disorders. Studying functional brain activity in SAD could enhance our understanding of its nature and possible treatment strategies. Functional network connectivity (measured using ICA‐dual regression), and amplitude of low‐frequency fluctuations (ALFF) were measured in 45 antidepressant‐free patients (39.78 ± 10.64, 30 ♀, 15 ♂) diagnosed with SAD and compared with age‐, gender‐ and ethnicity‐matched healthy controls (HCs) using resting‐state functional magnetic resonance imaging. After correcting for Type 1 error at high model orders (inter‐RSN correction), SAD patients showed significantly increased functional connectivity in 11 of the 47 identified RSNs. Increased functional connectivity involved RSNs such as visual, sensorimotor, and attentional networks. Moreover, our results revealed that SAD patients compared with HCs showed significant higher ALFF in the visual and right sensorimotor cortex. Abnormally altered functional activity detected in SAD supports previously reported attentional and psychomotor symptoms in patients suffering from SAD. Further studies, particularly under task conditions, are needed in order to specifically investigate cognitive deficits in SAD. Hum Brain Mapp 35:161–172, 2014. © 2012 Wiley Periodicals, Inc.
Localization of small heat shock proteins to the higher plant endomembrane system

Three related gene families of low-molecular-weight (LMW) heat shock proteins (HSPs) have been characterized in plants. We describe a fourth LMW HSP family, represented by PsHSP22.7 from Pisum sativum and GmHSP22.0 from Glycine max, and demonstrate that this family of proteins is endomembrane localized. PsHSP22.7 and GmHSP22.0 are 76.7% identical at the amino acid level. Both proteins have amino-terminal signal peptides and carboxyl-terminal sequences characteristic of endoplasmic reticulum (ER) retention signals. The two proteins closely resemble class I cytoplasmic LMW HSPs, suggesting that they evolved from the cytoplasmic proteins through the addition of the signal peptide and ER retention motif. The endomembrane localization of these proteins was confirmed by cell fractionation. The polypeptide product of PsHSP22.7 mRNA was processed to a smaller-M(r) form by canine pancreatic microsomes; in vivo, GmHSP22.0 polysomal mRNA was found to be predominantly membrane bound. In vitro-processed PsHSP22.7 corresponded in mass and pI to one of two proteins detected in ER fractions from heat-stressed plants by using anti-PsHSP22.7 antibodies. Like other LMW HSPs, PsHSP22.7 was observed in higher-molecular-weight structures with apparent masses of between 80 and 240 kDa. The results reported here indicate that members of this new class of LMW HSPs are most likely resident ER proteins and may be similar in function to related LMW HSPs in the cytoplasm. Along with the HSP90 and HSP70 classes of HSPs, this is the third category of HSPs localized to the ER.
Specific Effects of Ribosome-Tethered Molecular Chaperones on Programmed −1 Ribosomal Frameshifting

ABSTRACT The ribosome-associated molecular chaperone complexes RAC (Ssz1p/Zuo1p) and Ssb1p/Ssb2p expose a link between protein folding and translation. Disruption of the conserved nascent peptide-associated complex results in cell growth and translation fidelity defects. To better understand the consequences of deletion of either RAC or Ssb1p/2p, experiments relating to cell growth and programmed ribosomal frameshifting (PRF) were assayed. Genetic analyses revealed that deletion of Ssb1p/Ssb2p or of Ssz1p/Zuo1p resulted in specific inhibition of −1 PRF and defects in Killer virus maintenance, while no effects were observed on +1 PRF. These factors may provide a new set of targets to exploit against viruses that use −1 PRF. Quantitative measurements of growth profiles of isogenic wild-type and mutant cells showed that translational inhibitors exacerbate underlying growth defects in these mutants. Previous studies have identified −1 PRF signals in yeast chromosomal genes and have demonstrated an inverse relationship between −1 PRF efficiency and mRNA stability. Analysis of published DNA microarray experiments reveals conditions under which Ssb1, Ssb2, Ssz1, and Zuo1 transcript levels are regulated independently of those of genes encoding ribosomal proteins. Thus, the findings presented here suggest that these trans-acting factors could be used by cells to posttranscriptionally regulate gene expression through −1 PRF.
BDS: a BDD-based logic optimization system

This paper describes a new BDD-based logic optimization system, BDS. It is based on a recently developed theory for BDD-based logic decomposition, which supports both algebraic and Boolean factorization. New techniques, which are crucial to the manipulation of BDDs in a partitioned Boolean network environment, are described in detail. The experimental results show that BDS has a capability to handle very large circuits. It offers a superior runtime advantage over SIS, with comparable results in terms of circuit area and often improved delay.
Affordances for robots: a brief survey

In this paper, we consider the influence of Gibson's affordance theory on the design of robotic agents. Affordance theory (and the ecological approach to agent design in gen- eral) has in many cases contributed to the development of successful robotic systems; we provide a brief survey of AI research in this area. However, there remain signifi- cant issues that complicate discussions on this topic, particularly in the exchange of ideas between researchers in artificial intelligence and ecological psychology. We identify some of these issues, specifically the lack of a generally accepted definition of "affordance" and fundamental differences in the current approaches taken in AI and ecological psychology. While we consider reconciliation between these fields to be possible and mutually beneficial, it will require some flexibility on the issue of direct perception.
A simulation study on Map/Reduce framework in wireless data center environment

Big data has different characteristics from the traditional data. It has large volume and various type and requires real-time processing. To process the big data, cluster based parallel and distributed computing model, Map/Reduce has been introduced. The Map/Reduce is basically designed for the cluster where the processing units are connected to each other with wired network, called data center. However, in the future, the wireless data center would be introduced since it has low installation and management complexity and cost. To introduce the wireless data center, we need to answer the fundamental question, “How does Map/Reduce framework would operate in the wireless data center? ” To answer the question, in this paper, we perform simulation study of the Map/Reduce application in the wireless environment. We introduce the basic simulation model and the results of the simulation study to verify the potential of the wireless data center.
Delta–Sigma A/D Conversion Via Time-Mode Signal Processing

In this paper, a signal processing methodology is proposed that performs delta-sigma (DeltaSigma) analog-to-digital (A/D) conversion on voltage signals while implementing all the circuits in a digital CMOS logic style. This methodology, called time-mode (TM) signal processing, uses time-difference variables as an intermediate signal between the input voltage and the digital output. The resulting low-cost silicon devices offer very compact, low-power, high-speed, and robust A/D converter (ADC) alternatives. A first-order DeltaSigma ADC is implemented using this methodology. Two ICs were fabricated in a 0.18- mum CMOS technology to demonstrate the feasibility of the TM DeltaSigma ADC approach. The first IC implements a single-ended input design while a differential design was fabricated in the second IC. Experimental results reveal that these devices can achieve 7-9-bit resolutions within 125-400-kHz bandwidths, while occupying areas smaller than 50 mum &times;50 mum and consuming less than 800 muW.
Automated Theorem Proving

Material for the course Automated Theorem Proving at Carnegie Mellon University, Fall 1999. This includes revised versions from the course notes on Linear Logic (Spring 1998) and Computation and Deduction (Spring 1997). Material for this course is available at http://www.cs.cmu.edu/~fp/courses/atp/. Please send comments to fp@cs.cmu.edu This material is in rough draft form and is likely to contain errors. Furthermore, citations are in no way adequate or complete. Please do not cite or distribute this document.