Miracle-dz/UniFAR-FTUs huggingface dataset:
Novel Protein Kinases Associated with Calcineurin B–like Calcium Sensors in Arabidopsis

Members of the Arabidopsis calcineurin B–like Ca2+ binding protein (AtCBL) family are differentially regulated by stress conditions. One AtCBL plays a role in salt stress; another is implicated in response to other stress signals, including drought, cold, and wounding. In this study, we identified a group of novel protein kinases specifically associated with AtCBL-type Ca2+ sensors. In addition to a typical protein kinase domain, they all contain a unique C-terminal region that is both required and sufficient for interaction with the AtCBL-type but not calmodulin-type Ca2+ binding proteins from plants. Interactions between the kinases and AtCBLs require micromolar concentrations of Ca2+, suggesting that increases in cellular Ca2+ concentrations may trigger the formation of AtCBL–kinase complexes in vivo. Unlike most serine/threonine kinases, the AtCBL-interacting kinase efficiently uses Mn2+ to Mg2+ as a cofactor and may function as a Mn2+ binding protein in the cell. These findings link a new type of Ca2+ sensors to a group of novel protein kinases, providing the molecular basis for a unique Ca2+ signaling machinery in plant cells.
The acute effects of resistance exercise on affect, anxiety, and mood – practical implications for designing resistance training programs

ABSTRACT Research in aerobic exercise has linked the affective responses (pleasure–displeasure) experienced during exercise to future exercise participation. While this is yet to be confirmed in anaerobic activities, it can be inferred that making resistance exercise (RE) more psychologically rewarding is an important consideration. The purpose of this article is to review the acute effects of RE on affect, anxiety, and mood and to draw conclusions on how to maximize feelings of pleasure in an effort to increase rates of participation. This review provides evidence to support lower training volumes performed at low to moderate intensities (50–70% 1RM) with long inter-set rest intervals (90–150 s). Additional recommendations are provided based on physiological and theoretical support, but there is a strong need for more research on the affective experience of RE.
Studies of six new viruses in tumor-bearing mice.

Guaroa virus inhibited or destroyed ascites tumors (Ehrlich or Sarcoma 180) of Swiss white mice when inoculated intraperitoneally from 1 to 6 days after tumor injection. Thirty of 79 virus-treated mice survived 30 days after injection of Ehrlich ascites cells without accumulation of ascites, whereas all but two of 73 controls died with a mean survival time of 15 days. With Sarcoma 180 ascites, eleven of 30 treated mice survived 30 days without ascites, whereas all but one of 20 controls died in an average of 17 days. No deaths were attributable to the Guaroa virus. Germistan and Oriboca viruses inhibited the ascites tumors but were so virulent that the treated mice died sooner than did the controls. Sindbis, Chickungunya, and Middleberg viruses had no detectable oncolytic effect. Limited studies of virus distribution in blood, brain, and tumor are recorded. None of the viruses significantly inhibited the growth of subcutaneous Ehrlich or Sarcoma 180 tumors.
Technique of XeCl-excilamps computer modeling

The procedure of electric-discharge XeCl-excilamps modeling is presented. There are many reports on the different models of XeCl-excilamps, but for practical applications and theoretical analysis having clear physical sense it is useful to consider a general procedure. In general case program of XeCl-excilamps modeling includes the next subprograms: the subprogram for solution of Boltzmann equation for electrons; subprogram for calculation of solving of set of equations for kinetic processes; subprogram for calculation of solving of set of equations for electric circuit of excitation system; data base for cross-section of reaction with electron participation; data base for rate coefficients of reactions with heavy particles, ions and photons participation. The model must be able to calculate an electrons concentration, density of excimer XeCl* molecules and specific energy deposition in active medium. The knowledge of XeCl* molecules concentration has allowed to evaluate the excilamp output power.
Corrosion of Electrical Conductors in Pulp and Paper Industrial Applications

Electrical equipment supplying and distributing energy is used in every pulp and paper industrial process. Many components made of various metallic and dielectric materials are vulnerable to corrosive atmospheres often present in the pulp and paper industrial facilities. Corrosion of electrical conductors may result in fast and irreversible deterioration, causing production loss and safety hazards. The paper reviews the most severe corrosion problems effecting conductivity of electrical contacts that result in overheating of electrical equipment used in this industry. A number of various protecting means are suggested to slow down corrosion of silver and copper and other metals most often used in electrical equipment. The paper discusses implementations and the value of various condition-monitoring techniques to provide timely maintenance of electrical equipment exposed to corrosive environments in the pulp and paper facilities.
Aminopyridine block of transient potassium current

The blocking action of 4-aminopyridine (4-AP) and 3, 4-diaminopyridine (Di-AP) on transient potassium current (IA) in molluscan central neurons was studied in internal perfusion voltage-clamp experiments. Identical blocking effects were seen when the drugs were applied either externally or internally. It was found that aminopyridines have two kinds of effects on IA channels. The first involves block of open channels during depolarizing pulses and results in a shortening of the time to peak current and an increase in the initial rate of decay of current. This effect of the drug is similar to the block of delayed potassium current by tetraethylammonium (TEA). The other effect is a steady block that increases in strength during hyperpolarization, is removed by depolarization, and is dependent on the frequency of stimulation. The voltage dependence of steady state block approximates the voltage dependence of inactivation gating a changes e-fold in approximately 10 mV. These data suggest that the strength of block may depend on the state of IA gating such that the resting state of the channel with open inactivation gate is more susceptible to block than are the open or inactivated states. A multistate sequential model for IA gating and voltage-dependent AP block is developed.
Subluminous O Stars - Origin and Evolutionary Links

Hot subluminous stars can be roughly divided into B- and O-types. Unlike the latter many sdBs are found in close binaries, indicating that binary evolution plays a vital role. Recent NLTE spectral analyses revealed that an evolutionary link between sdB stars and sdO stars is plausible only for the helium-deficient sdO stars, i.e. they are the likely successors to sdB stars. The atmospheric properties of helium-enriched sdO stars can be explained by the late hot flasher as well as by the white-dwarf merger scenarios, although both models do not match the observed properties of helium-enriched sdO stars in detail. The white dwarf merger scenario is favoured because it naturally explains the scarcity of close binaries amongst helium-enriched sdO stars. A hyper-velocity sdO star moving so fast that it is unbound to the Galaxy has probably been ejected by the super-massive black hole in the Galactic centre.
Content-Adaptive Packet-Layer Model for Quality Assessment of Networked Video Services

Packet-layer models are designed to use only the information provided by packet headers for real-time and non-intrusive quality monitoring of networked video services. This paper proposes a content-adaptive packet-layer (CAPL) model for networked video quality assessment. Considering the fact that the quality degradation of a networked video significantly relies on the temporal as well as the spatial characteristics of the video content, temporal complexity is incorporated in the proposed model. Due to very limited information directly available from packet headers, a simple and adaptive method for frame type detection is adopted in the CAPL model. The temporal complexity is estimated using the ratio of the number of bits for coding P and I frames. The estimated temporal complexity and frame type are incorporated in the CAPL model together with the information about the number of bits and positions of lost packets to obtain the quality estimate for each frame, by evaluating the distortions induced by both compression and packet loss. A two-level temporal pooling is employed to obtain the video quality given the frame quality. Using content related information, the proposed model is able to adapt to different video contents. Experimental results show that the CAPL model significantly outperforms the G.1070 model and the DT model in terms of widely used performance criteria, including the Root-Mean-Squared Error (RMSE), the Pearson Correlation Coefficient (PCC), the Spearman Rank Order Correlation Coefficient (SCC), and the Outlier Ratio (OR).
Program Synthesis of Parallel Scans by Sagar Jain Research Project

We consider the problem of synthesis of data parallel and task parallel implementations of the scan also known as prefix sum. The user provides an example scan network as an input along with a partial program with missing array index expressions. We then manually extract the constraints for index expressions from the partial program such that the given example network is satisfied. Finally, the generated constraints are solved using linear programming solver. We found that our method is general enough to synthesize data parallel implementations of previously described parallel scan networks.
Association of Sjögrens Syndrome in Patients with Chronic Hepatitis Virus Infection: A Population-Based Analysis

Objective The association between Sjögren’s syndrome (SS) and chronic hepatitis virus infection is inconclusive. Hepatitis B (HBV) and hepatitis C virus (HCV) infections are highly prevalent in Taiwan. We used a population-based case-control study to evaluate the associations between SS and HBV and HCV infections. Materials and Methods We identified 9,629 SS patients without other concomitant autoimmune diseases and 38,516 sex- and age-matched controls without SS from the Taiwan National Health Insurance claims data between 2000 and 2011. We utilized multivariate logistic regression to estimate the odds ratios (ORs) and 95% confidence intervals (CIs) of the associations between SS and HBV and HCV infections. Sex- and age-specific (<55 and ≥55 years) risks of SS were evaluated. Results The risk of SS was higher in patients with HCV than in those without chronic viral hepatitis (OR = 2.49, 95% CI = 2.16–2.86). Conversely, HBV infection was not associated with SS (OR = 1.10, 95% CI = 0.98–1.24). Younger HCV patients were at a higher risk for SS (<55 years: OR = 3.37, 95% CI = 2.62–4.35; ≥55 years: OR = 2.20, 95% CI = 1.84–2.62). Men with HCV were at a greater risk for SS (women: OR = 2.26, 95% CI = 1.94–2.63; men: OR = 4.22, 95% CI = 2.90–6.16). Only men with chronic HBV exhibited a higher risk of SS (OR = 1.61, 95% CI = 1.21–2.14). Conclusion HCV infection was associated with SS; however, HBV only associated with SS in men.
Fault Detection Based on Data Mining Theory

In this paper, we adopt a novel applied approach to fault detection based on data mining theory. In our researches, global information will be introduced into the electric power system, we are using mainly cluster analysis technology of data mining theory to resolve fast and exact discrimination of faulty components and faulty sections, and finally accomplish fault detection in electric power systems. Data mining theory is defined as the process of automatically extracting valid, novel, potentially useful and ultimately comprehensive information from large databases. It has been widely utilized in both academic and applied scientific researches in which the data sets are generated by experiments. Data mining theory will contribute a lot in the study of fault detection.
A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces

Fokkink and Zantema ((1994) Computer Journal 37:259-267) have shown thatbisimulation equivalence has a finite equational axiomatization over the languageof Basic Process Algebra with the binary Kleene star operation (BPA*). In lightof this positive result on the mathematical tractability of bisimulation equivalenceover BPA*, a natural question to ask is whether any other (pre)congruence relationin van Glabbeek's linear time/branching time spectrum is finitely (in)equationallyaxiomatizable over it. In this paper, we prove that, unlike bisimulation equivalence,none of the preorders and equivalences in van Glabbeek's linear time/branching timespectrum, whose discriminating power lies in between that of ready simulation andthat of completed traces, has a finite equational axiomatization. This we achieve byexhibiting a family of (in)equivalences that holds in ready simulation semantics, thefinest semantics that we consider, whose instances cannot all be proven by means ofany finite set of (in)equations that is sound in completed trace semantics, which isthe coarsest semantics that is appropriate for the language BPA*. To this end, forevery finite collection of (in)equations that are sound in completed trace semantics, webuild a model in which some of the (in)equivalences of the family under considerationfail. The construction of the model mimics the one used by Conway ((1971) RegularAlgebra and Finite Machines, page 105) in his proof of a result, originally due toRedko, to the effect that infinitely many equations are needed to axiomatize equalityof regular expressions.Our non-finite axiomatizability results apply to the language BPA* over an arbitrarynon-empty set of actions. In particular, we show that completed trace equivalenceis not finitely based over BPA* even when the set of actions is a singleton.Our proof of this result may be easily adapted to the standard language of regular expressions to yield a solution to an open problem posed by Salomaa ((1969) Theoryof Automata, page 143). Another semantics that is usually considered in process theory is trace semantics.Trace semantics is, in general, not preserved by sequential composition, and istherefore inappropriate for the language BPA*. We show that, if the set of actionsis a singleton, trace equivalence and preorder are preserved by all the operators inthe signature of BPA, and coincide with simulation equivalence and preorder, respectively.In that case, unlike all the other semantics considered in this paper, tracesemantics have nite, complete equational axiomatizations over closed terms. AMS Subject Classification (1991): 08A70, 03C05, 68Q10, 68Q40, 68Q45,68Q55, 68Q68, 68Q70.CR Subject Classification (1991): D.3. 1, F.1. 1, F.1. 2, F.3. 2, F.3. 4, F.4. 1.Keywords and Phrases: Concurrency, process algebra, Basic Process Algebra(BPA*), Kleene star, bisimulation, ready simulation, simulation, completed trace semantics,ready trace semantics, failure trace semantics, readiness semantics, failuressemantics, trace semantics, equational logic, complete axiomatizations.
USO DA NEUROIMAGEM NA IMAGÉTICA MOTORA APÓS ACIDENTE VASCULAR ENCEFÁLICO: UMA REVISÃO SISTEMÁTICA

OBJETIVO: Identificar estudos que compilem os achados de neuroimagem apos Acidente Vascular Encefalico durante o treinamento com Imagetica Motora (IM). METODO: Foram realizadas buscas nas seguintes bases de artigos: Medline, atraves da PUBMED; SCOPUS e Web of Science. Os descritores utilizados para a presente revisao sistematica da literatura foram: “Functional Neuroimaging” (MESH); “Neuroimaging” (MESH); “Motor imagery” (termo livre); “Mental Practice” (termo livre); “Stroke” (MESH). RESULTADOS: Dos 222 artigos encontrados, 11 foram selecionados: 10 usaram fMRI, e 01 usou EEG. As areas cerebrais mais estudadas foram as areas motoras, destacando-se M1 (72,7%), PM (63,6%) e SMA (54,5%). Os estudos de forma geral registraram que apos a IM houve maior conectividade entre essas areas, principalmente quando associada a execucao motora. CONCLUSOES: Essa revisao auxiliou na compilacao do conhecimento das areas cerebrais envolvidas durante a IM atraves de estudos de neuroimagem. A IM parece estar envolvida com as areas cerebrais motoras. Supoe-se ainda que a IM promove conexoes neurais mais fortes quando associada a execucao motora. A homogeneizacao da amostra principalmente com relacao ao tempo de AVE e area cerebral da lesao, sao pontos a serem melhor explorados em estudos futuros. A estrategia de associar a IM a execucao motora parece ser eficaz para reabilitacao de individuos pos-AVE.
An exploratory study on current software development practices in Malaysia focusing on agile based software development

Agile based software development has gained much interest among practitioners and researchers due its ability to produce high quality software in a shorter time of period. Even though its importance has been revealed, nevertheless, only few studies were conducted regarding its current practices in Malaysian software industry.Thus, a survey was conducted to study the practices and perception on the agile based software development in real-world projects.This paper discusses on the findings from the study.Structured questionnaire was used for data collection purpose.For data analysis, simple statistical methods were used which are frequency and cross tabulation. Outcome from this study reveals that agile based software development practices are important to produce high quality software. Thus, it prolonged to the needs of incorporating agile based software development practices as the reference standard in the process based software certification model which will be proposed.
Two dimensional imaging of extended targets by MIMO radar using hopped frequency signal

Multiple input multiple output (MIMO) radar transmits orthogonal or non-coherent waveforms which greatly improve the array aperture. Works published generally only consider narrow band signal and/or point targets located in one range cell. In this paper, the study of range and azimuth angle imaging of extended targets employing wideband hopped frequency signals is discussed. Hopped frequency signal are sensitive to a targetpsilas speed. A kurtosis based criterion is presented for doing motion compensation. In order to mitigate the high side lobe of the hopped frequency signal, a ldquoCLEANrdquo based signal processing procedure is also presented.
Mutiv: Music-based Mobile Application to Support Joggers

Regular jogging help people maintain their health. However, it is burdensome to keep working out without clear motivation. Although mobile applications has been developed to overcome the challenge, little is known about the guildelines for designing mobile applications that address the needs and barriers of joggers. In this study, we identified joggers' needs and barriers and used them to produce ten principles for designing mobile applications. We then created Mutiv, a web-based prototype of the mobile application based on the principles and evaluated the satisfaction of the joggers of the prototype.
Aalborg Universitet Tunable Design for LTE Mobile-Phones

Antenna volume has become a critical parameter in mobile phone antenna design, as broader bandwidths are required for high connectivity between users. Shrinking the antenna size affects its efficiency, if one does not sacrifice bandwidth. This paper proposes an architecture to address the need for small and wide-band antennas. The study focuses on the low-frequencies (700 MHz 960 MHz) in order to address a tough scenario for small platforms. A tunable design of the front-end and the antennas of the mobile phone is proposed and investigated. Operation is achieved on all low-bands with an efficiency of -3 dB at 700 MHz.
Title : Bifurcation and Singularity Analysis of a Molecular Network for the Induction of Long-Term Memory

Withdrawal reflexes of the mollusc Aplysia exhibit sensitization, a simple form of long-term memory (LTM). Sensitization is due, in part, to long-term facilitation (LTF) of sensorimotor neuron synapses. LTF is induced by the modulatory actions of serotonin (5-HT). Pettigrew et al. (1) developed a computational model of the nonlinear intracellular signaling and gene network that underlies the induction of 5-HT–induced LTF. The model simulated empirical observations that repeated applications of 5-HT induce persistent activation of protein kinase A (PKA) and that this persistent activation requires a supra-threshold exposure of 5-HT. The present study extends the analysis of the Pettigrew model by applying bifurcation analysis, singularity theory and numerical simulation. Using singularity theory, classification diagrams of parameter space were constructed, identifying regions with qualitatively different steady-state behaviors. The graphical representation of these regions illustrates the robustness of these regions to changes in model parameters. Because persistent protein kinase A (PKA) activity correlates with Aplysia LTM, the analysis focuses on a positive feedback loop in the model that tends to maintain PKA activity. In this loop, PKA phosphorylates a transcription factor (TF-1), thereby increasing the expression of an ubiquitin hydrolase (Ap-Uch). Ap-Uch then acts to increase PKA activity, closing the loop. This positive feedback loop manifests multiple, coexisting steady states, or multiplicity, which provides a mechanism for a bistable switch in PKA activity. Following the removal of 5-HT, the PKA activity either returns to its basal level (reversible switch) or remains at a high level (irreversible switch). Such an irreversible switch might be a mechanism that contributes to the persistence of LTM. The classification diagrams also identify parameters and processes that might be manipulated, perhaps pharmacologically, to enhance the induction of memory. Rational drug design, to affect complex processes such as memory formation, can benefit from this type of analysis.
Stable quadruped walking with the adjustment of the center of gravity

The quadruped robot excels in tight space traversing and rough terrain locomotion because of its higher flexibility and better environment adaptability. Aiming at passing through tight spaces with free-collision, an adjustment approach of the Center of Gravity (COG) is designed to realize stable quadruped walking. The Hopf oscillator based Central Pattern Generator (CPG), utilized in this paper, can generate rhythmic control signals with different frequencies for the swing phase and the stance phase. The COG is adjusted through the rhythmic medium value transition, which automatically generates smooth trajectories according to preset parameters. We also propose a rhythmic bias compensation method to maintain the rhythmic medium positions of legs vertical to the ground to alleviate the bump caused by the body pitch. Still, an adjustment technique for the hip motion amplitude is developed to maintain the uniform motion when the robot posture changes. We evaluate the performance of the COG adjustment approach on a simulated quadruped robot model, and the simulation of the tight space negotiating of the robot model demonstrates the stable quadruped locomotion.