Miracle-dz/UniFAR-FTUs huggingface dataset:
Arabidopsis Receptor of Activated C Kinase1 Phosphorylation by WITH NO LYSINE8 KINASE1[OPEN]

Phosphorylation of a scaffold protein negatively regulates its function by affecting protein stability. Receptor of activated C kinase1 (RACK1) is a versatile scaffold protein that binds to numerous proteins to regulate diverse cellular pathways in mammals. In Arabidopsis (Arabidopsis thaliana), RACK1 has been shown to regulate plant hormone signaling, stress responses, and multiple processes of growth and development. However, little is known about the molecular mechanism underlying these regulations. Here, we show that an atypical serine (Ser)/threonine (Thr) protein kinase, WITH NO LYSINE8 (WNK8), phosphorylates RACK1. WNK8 physically interacted with and phosphorylated RACK1 proteins at two residues: Ser-122 and Thr-162. Genetic epistasis analysis of rack1 wnk8 double mutants indicated that RACK1 acts downstream of WNK8 in the glucose responsiveness and flowering pathways. The phosphorylation-dead form, RACK1AS122A/T162A, but not the phosphomimetic form, RACK1AS122D/T162E, rescued the rack1a null mutant, implying that phosphorylation at Ser-122 and Thr-162 negatively regulates RACK1A function. The transcript of RACK1AS122D/T162E accumulated at similar levels as those of RACK1S122A/T162A. However, although the steady-state level of the RACK1AS122A/T162A protein was similar to wild-type RACK1A protein, the RACK1AS122D/T162E protein was nearly undetectable, suggesting that phosphorylation affects the stability of RACK1A proteins. Taken together, these results suggest that RACK1 is phosphorylated by WNK8 and that phosphorylation negatively regulates RACK1 function by influencing its protein stability.
Notice of RetractionNotice of RetractionAdopting genetic algorithm for portfolio management

This research examines two different applications of the Genetic Algorithms (GA) in portfolio management. GA is adopted to determine the optimized parameter settings of different technical indicators and portfolio weighting. Different algorithms and the usage of different number of technical indicators are evaluated in different economic situation and GA shows its optimization power over different tasks in portfolio management.
‘You Need Them to Know Your Ways’: Service Users' Views About Valued Dimensions of Home Care

ABSTRACT Dominant approaches to evaluating supportive home care tend to be ‘top-down,’ undertaken from the vantage points of funding bodies and professionals, rather than from the perspectives of service users. A longitudinal, qualitative study of women receiving home care in Ontario, Canada explored their accounts of what constitutes good and responsive care. Participants identified four dimensions of care that they particularly valued: Minimized exposure, being known, staying in charge, and being able to speak. The implications of their perspectives for home care practice, evaluation and organization are discussed.
Perceptions of Cyberstalking Among College Students

This article contributes to a growing body of research investigating the phenomenon of cyberstalking. Participants consisted of 100 students from a state university and 656 students from a large private university. Data were gathered from students about responses to a cyberstalking scenario and their use and experiences with the Internet. Furthermore, an analysis and comparison of students who reported having been stalked to those who had been cyberstalked was completed. An unexpected finding was that male students were statistically more likely than female students to have been cyberstalked, and Caucasian males had the highest correlation. The conclusion indicates that for those individuals who were cyberstalked, the stalking perpetrator was most likely to be a former intimate partner. Recommendations for mental health professionals are provided. [Brief Treatment and Crisis Intervention 5:279–289 (2005)]
Plasma calcium fractions and the protein-binding of calcium in normal subjects and in patients with hypercalcaemia and hypocalcaemia

A study is reported of the estimation of plasma calcium fractions and the calcium-binding affinity of plasma proteins in a total sample of 59 people, which included 29 normal subjects and 30 patients with either hypercalcaemia or hypocalcaemia. It was demonstrated that when the sample was considered as a whole there was a significant correlation between the total plasma calcium concentration and the ultrafiltrable, ionized, and protein-bound calcium fractions and between the ultrafiltrable and ionized fractions. We have also demonstrated that in patients with either hypercalcaemia or hypocalcaemia, including acidotic uraemics, the calcium-binding affinity of the plasma proteins did not differ significantly from that in normal subjects. A significant correlation was also found between the total plasma calcium concentration and the ultrafiltrable, ionized and protein-bound calcium fractions when the normal subjects and the groups of patients with hypercalcaemia and hypocalcaemia due to chronic renal failure were considered as separate groups. The group of patients with hypercalcaemia included patients both with hyperparathyroidism and with hypercalcaemia due to other causes.
Real-time state estimation of the EPFL-campus medium-voltage grid by using PMUs

We describe the real-time monitoring infrastructure of the smart-grid pilot on the EPFL campus. We experimentally validate the concept of a real-time state-estimation for a 20 kV active distribution network. We designed and put into operation the whole infrastructure composed by the following main elements: (1) dedicated PMUs connected on the medium-voltage side of the network secondary substations by means of specific current/voltage transducers; (2) a dedicated communication network engineered to support stringent time limits and (3) an innovative state estimation process for real-time monitoring that incorporates phasor-data concentration and state estimation processes. Special care was taken to make the whole chain resilient to cyber-attacks, equipment failures and power outages. The achieved latency is within 65ms. The refresh rate of the estimated state is 20ms. The real-time visualization of the state estimator output is made publicly available, as well as the historical data (PMU measurements and estimated states). To the best of our knowledge, the work presented here is the first operational system that provides low-latency real-time state-estimation by using PMU measurements of a real active distribution network.
Self Development — Overcoming the Paradox

About three years ago we (Peter Honey as the outside consultant and Nigel Povah as ICL's inside skills trainer) were commissioned to design a self development workshop for ICL's sales force. Since then we have run ten workshops for about 100 participants and the amount of learning has been impressive and reactions very favourable.
Genetic variation in male-induced harm in Drosophila melanogaster

In Drosophila melanogaster, prolonged exposure to males reduces the longevity and fecundity of females. This harm arises from the effects of male courtship behaviours and the toxic side effects of the accessory gland proteins (Acps) in their seminal fluids. Here, we examine the relationship between male exposure and its harmful effect on the lifetime fitness of his mates, and quantify the genetic basis for this variation. We found significant additive genetic variation in the magnitude of harm that males impose on females by exposing females to males from a variety of hemiclonal backgrounds for either a brief or prolonged period of time and measuring their fecundity, a meaningful fitness index. Furthermore, we discovered a strong negative correlation between the magnitude of harm and the short-term effects of male exposure on female fitness. We discuss the evolutionary significance of these results with regards to potential life-history trade-offs in females, and its relationship to male body size.
Susceptibility of northern corn rootworm Diabrotica barberi (Coleoptera: Chrysomelidae) to mCry3A and eCry3.1Ab Bacillus thuringiensis proteins

The susceptibility of the northern corn rootworm Diabrotica barberi (Smith & Lawrence) to mCry3A and eCry3.1Ab proteins derived from Bacillus thuringiensis (Bt) was determined using a diet bioassay. Northern corn rootworm neonates were exposed to different concentrations of mCry3A and eCry3.1Ab, incorporated into artificial diet. Larval mortality was evaluated after 7 d. The mCry3A and eCry3.1Ab proteins were found to be toxic to the northern corn rootworm larvae. The LC50 and LC99 values for mCry3A were 5.13 and 2482.31 μg/mL, respectively. For eCry3.1Ab, the LC50 and LC99 values were 0.49 and 213.01 μg/mL. Based on the estimated lethal concentrations, eCry3.1Ab protein was more efficacious to northern corn rootworm larvae than mCry3A. These lethal concentration values will be used as diagnostic doses for routine annual monitoring for change in susceptibility of field collected northern corn rootworm to mCry3A, and eCry3.1Ab toxins.
More thoughts on specification and verification

be aware of the proof, at least on a level sufficient to convince another human of the validity of the vc. I therefore see no prospect i n the near term for mathematically naive users be able to use our mechanical tools to prove nontrivial programs correct-even whe n they can state the specifications and invariants accurately and the program itself is indeed correct. There are two positive aspects t o the situation. First, the lemmas that we must have our mechanical theorem-prover establish to enable it to discover the proof of th e key vcs are almost exactly those that we have to state informally in order to convince others of the correctness. Secondly, there are a large number of unemployed mathematicians in the world who could be trained to use today's tools. 1. INTRODUCTION This note discusses program specification, emphasizing the relationship to verification. It begins with a discussion of what forma l verification is, and then discusses what is today the most common paradigm for formal program verification, the use of a verificatio n condition generator. A number of difficulties are pointed out with this paradigm, and these are used to motivate to the use of a forma l specification language. A brief discussion of the state of the art in specification languages is given. The next section considers som e problems with a naive approach to program transformations, and then suggests how these might be solved by using a forma l specification language. Finally, some additional uses of specifications are briefly discussed. 2. THE FORMAL VERIFICATION PROBLE M It is meaningless to talk about formal verification unless each of the following has been provided : 1. Some properties which are to be verified, expressed in a formal language, hereafter called the specification language o f the verification problem. 2. A formal description of the system about which these properties are to be verified, expressed in a formal language , hereafter called the system description language of the verification problem. 3. A formal definition of the specification language which relates it to some underlying logical language having a precis e mathematical semantics and a set of inference rules which is consistent and complete. 4. A formal definition of the system description language which relates it to the same underlying logical language. One simple class of well-posed specification problems in the above sense is given as follows : …
The Toll‐like receptor 7 (TLR7)‐specific stimulus loxoribine uncovers a strong relationship within the TLR7, 8 and 9 subfamily

Loxoribine (7‐allyl‐7,8‐dihydro‐8‐oxo‐guanosine) acts as synthetic adjuvant in anti‐tumor responses. Here we first demonstrate that loxoribine activates cells of the innate immune system selectively via the Toll‐like receptor (TLR) 7/MyD88‐dependent signaling pathway. TLR7‐ and MyD88‐deficient immune cells fail to proliferate or produce cytokines in response to loxoribine, and genetic complementation of TLR7‐deficient cells with murine or human TLR7 confers responsiveness. Subsequently we show that cellular activation by loxoribine and resiquimod (R‐848), a stimulus for TLR7 and TLR8, depends on acidification and maturation of endosomes and targets MyD88 to vesicular structures with lysosomal characteristics. This mode of TLR7 and TLR8 action resembles CpG‐DNA‐driven TLR9 activation. We thus conclude that TLR7, 8 and 9 form a functional subgroup within the TLR family that recognizes pathogen‐associated molecular patterns in endosomal/lysosomal compartments.
Scalable Detection of Anomalous Patterns With Connectivity Constraints

We present GraphScan, a novel method for detecting arbitrarily shaped connected clusters in graph or network data. Given a graph structure, data observed at each node, and a score function defining the anomalousness of a set of nodes, GraphScan can efficiently and exactly identify the most anomalous (highest-scoring) connected subgraph. Kulldorff’s spatial scan, which searches over circles consisting of a center location and its k − 1 nearest neighbors, has been extended to include connectivity constraints by FlexScan. However, FlexScan performs an exhaustive search over connected subsets and is computationally infeasible for k > 30. Alternatively, the upper level set (ULS) scan scales well to large graphs but is not guaranteed to find the highest-scoring subset. We demonstrate that GraphScan is able to scale to graphs an order of magnitude larger than FlexScan, while guaranteeing that the highest-scoring subgraph will be identified. We evaluate GraphScan, Kulldorff’s spatial scan (searching over circles) and ULS in two different settings of public health surveillance. The first examines detection power using simulated disease outbreaks injected into real-world Emergency Department data. GraphScan improved detection power by identifying connected, irregularly shaped spatial clusters while requiring less than 4.3 sec of computation time per day of data. The second scenario uses contaminant plumes spreading through a water distribution system to evaluate the spatial accuracy of the methods. GraphScan improved spatial accuracy using data generated from noisy, binary sensors in the network while requiring less than 0.22 sec of computation time per hour of data.
From "Personalized" to "Precision" Medicine: The Ethical and Social Implications of Rhetorical Reform in Genomic Medicine.

Since the late 1980s, the human genetics and genomics research community has been promising to usher in a "new paradigm for health care"-one that uses molecular profiling to identify human genetic variants implicated in multifactorial health risks. After the completion of the Human Genome Project in 2003, a wide range of stakeholders became committed to this "paradigm shift," creating a confluence of investment, advocacy, and enthusiasm that bears all the marks of a "scientific/intellectual social movement" within biomedicine. Proponents of this movement usually offer four ways in which their approach to medical diagnosis and health care improves upon current practices, arguing that it is more "personalized," "predictive," "preventive," and "participatory" than the medical status quo. Initially, it was personalization that seemed to best sum up the movement's appeal. By 2012, however, powerful opinion leaders were abandoning "personalized medicine" in favor of a new label: "precision medicine. " The new label received a decisive seal of approval when, in January 2015, President Obama unveiled plans for a national "precision medicine initiative" to promote the development and use of genomic tools in health care.
jVerbs: ultra-low latency for data center applications

Network latency has become increasingly important for data center applications. Accordingly, several efforts at both hardware and software level have been made to reduce the latency in data centers. Limited attention, however, has been paid to network latencies of distributed systems running inside an application container such as the Java Virtual Machine (JVM) or the . NET runtime. In this paper, we first highlight the latency overheads observed in several well-known Java-based distributed systems. We then present jVerbs, a networking framework for the JVM which achieves bare-metal latencies in the order of single digit microseconds using methods of Remote Direct Memory Access (RDMA). With jVerbs, applications are mapping the network device directly into the JVM, cutting through both the application virtual machine and the operating system. In the paper, we discuss the design and implementation of jVerbs and demonstrate how it can be used to improve latencies in some of the popular distributed systems running in data centers.
On the performance evaluation of a vision-based human-robot interaction framework

This paper describes the performance evaluation of a machine vision-based human-robot interaction framework, particularly those involving human-interface studies. We describe a visual programming language called RoboChat, and a complimentary dialog engine which evaluates the need for confirmation based on utility and risk. Together, RoboChat and the dialog mechanism enable a human operator to send a series of complex instructions to a robot, with the assurance of confirmations in case of high task-cost or command uncertainty, or both. We have performed extensive human-interface studies to evaluate the usability of this framework, both in controlled laboratory conditions and in a variety of outdoors environments. One specific goal for the RoboChat scheme was to aid a scuba diver to operate and program an underwater robot in a variety of deployment scenarios, and the real-world validations were thus performed on-board the Aqua amphibious robot [4], in both underwater and terrestrial environments. The paper describes the details of the visual human-robot interaction framework, with an emphasis on the RoboChat language and the confirmation system, and presents a summary of the set of performance evaluation experiments performed both on- and off-board the Aqua vehicle.
Openness to Experience: Expanding the boundaries of Factor V

The fifth factor in lexical studies of trait adjectives is commonly interpreted as Intellect, whereas the corresponding factor derived from questionnaire studies is typically identified as Openness to Experience. Intellect as a construct is problematic because it erroneously suggests an equivalence of Factor V with intelligence, describes aspects of Factor III (Conscientiousness) as well as of Factor V, and fails to suggest the diverse psychological correlates that Factor V is known to have. By contrast, Openness to Experience is a broader construct that implies both receptivity to many varieties of experience and a fluid and permeable structure of consciousness. Data from analyses of adjectives, established personality questionnaires, and Hartmann's (1991) new Boundary Questionnaire support these interpretations. The construct of Openness can be transported across geographical and cultural boundaries to function as a universal dimension of personality structure.
Facilitating the use of large-scale biological data and tools in the era of translational bioinformatics

As both the amount of generated biological data and the processing compute power increase, computational experimentation is no longer the exclusivity of bioinformaticians, but it is moving across all biomedical domains. For bioinformatics to realize its translational potential, domain experts need access to user-friendly solutions to navigate, integrate and extract information out of biological databases, as well as to combine tools and data resources in bioinformatics workflows. In this review, we present services that assist biomedical scientists in incorporating bioinformatics tools into their research. We review recent applications of Cytoscape, BioGPS and DAVID for data visualization, integration and functional enrichment. Moreover, we illustrate the use of Taverna, Kepler, GenePattern, and Galaxy as open-access workbenches for bioinformatics workflows. Finally, we mention services that facilitate the integration of biomedical ontologies and bioinformatics tools in computational workflows.
Evaluation and projection of daily temperature percentiles from statistical and dynamical downscaling methods

Abstract. The study of extreme events has become of great interest in recent years due to their direct impact on society. Extremes are usually evaluated by using extreme indicators, based on order statistics on the tail of the probability distribution function (typically percentiles). In this study, we focus on the tail of the distribution of daily maximum and minimum temperatures. For this purpose, we analyse high (95th) and low (5th) percentiles in daily maximum and minimum temperatures on the Iberian Peninsula, respectively, derived from different downscaling methods (statistical and dynamical). First, we analyse the performance of reanalysis-driven downscaling methods in present climate conditions. The comparison among the different methods is performed in terms of the bias of seasonal percentiles, considering as observations the public gridded data sets E-OBS and Spain02, and obtaining an estimation of both the mean and spatial percentile errors. Secondly, we analyse the increments of future percentile projections under the SRES A1B scenario and compare them with those corresponding to the mean temperature, showing that their relative importance depends on the method, and stressing the need to consider an ensemble of methodologies.
Commonalities and Distinctive Patterns in Teachers' Integration of Computers

Through a nationwide survey of teachers experienced at integrating computers into their teaching, we probed who these teachers are, how they use computers in their classrooms, how their teaching has changed, and the barriers and incentives they experience. Overall trends indicate motivated and professional teachers who have learned to use computers in multiple ways and who believe their teaching has changed accordingly. An analysis of patterns in the sample describes five teacher segments, suggesting multiple profiles of integration. Finally, we analyze factors that have contributed to these teachers' accomplishments and implications for widespread integration of computers into teaching.
KOVA : A tool for kernel visualization and analysis

The time spent by an application can broadly be classified into two main categories — user mode and kernel mode. In order to optimize applications from a performance perspective, it is critical to know the code regions where they spend the bulk of their time. With datacenter applications becoming more I/O intensive and storage devices attaining higher performance with each generation, the contribution of the Linux kernel stack to overall performance is increasing to an all time high. These trends make it imperative to observe and visualize kernel behavior and performance in order to effectively optimize it for specific use cases. To that end, in this paper, we present KOVA: Kernel Overhead Visualization and Analysis framework that builds on top of existing kernel tracers to provide comprehensive insights into Linux kernel behavior.