Miracle-dz/UniFAR-FTUs huggingface dataset:
Pipeline Production Data Model

With the rapid construction of long-distance oil and gas pipelines, big pipeline network was gradually formed in China and its surrounding areas, therefore the management of pipeline production becomes increasingly complicated and difficult. In this paper, we propose a data model for pipeline production to support the planning, scheduling, distribution, metering, energy consumption, process technology, professional computing and the other business in pipeline production. We also present a query language that can be used for discovering resources of interest in pipeline production based on the descriptions attached to the resources. Following our model and based on the actual business needs, we have implemented a pipeline production management system (PPMS). The system provides services for group company, professional companies, regional companies and their affiliated grassroots units, and overseas companies to improve the efficiency and effectiveness of pipeline production management as well as safeguard the accuracy and the completeness of data.
Enhanced Use of Radiance Data in NCEP Data Assimilation Systems

There have been significant changes in the use of radiance data at NCEP over the last few years. These changes have included a substantially increased volume of radiance data, an improved radiative transfer system, an improved forecast model (vertical/horizontal resolution, higher model top, improved physics), and improved quality control and bias correction techniques. Within an operational environment, it is necessary to continually maintain and enhance the system to improve the utilization of data. In addition, several new developments to utilize additional sources of radiance data (e.g., AIRS, SSM/IS, and geostationary/polar imagery) are under development. Enhancements in the use of the satellite data along with the current usage of satellite data will be discussed below. Experiments underway at NCEP directed towards the use of AIRS radiances, SSM/I radiances, GOES imager radiances and the use of radiances directly in the SST analysis will be briefly described.
Connexin43: a protein from rat heart homologous to a gap junction protein from liver

Northern blot analysis of rat heart mRNA probed with a cDNA coding for the principal polypeptide of rat liver gap junctions demonstrated a 3.0- kb band. This band was observed only after hybridization and washing using low stringency conditions; high stringency conditions abolished the hybridization. A rat heart cDNA library was screened with the same cDNA probe under the permissive hybridization conditions, and a single positive clone identified and purified. The clone contained a 220-bp insert, which showed 55% homology to the original cDNA probe near the 5' end. The 220-bp cDNA was used to rescreen a heart cDNA library under high stringency conditions, and three additional cDNAs that together spanned 2,768 bp were isolated. This composite cDNA contained a single 1,146-bp open reading frame coding for a predicted polypeptide of 382 amino acids with a molecular mass of 43,036 D. Northern analysis of various rat tissues using this heart cDNA as probe showed hybridization to 3.0-kb bands in RNA isolated from heart, ovary, uterus, kidney, and lens epithelium. Comparisons of the predicted amino acid sequences for the two gap junction proteins isolated from heart and liver showed two regions of high homology (58 and 42%), and other regions of little or no homology. A model is presented which indicates that the conserved sequences correspond to transmembrane and extracellular regions of the junctional molecules, while the nonconserved sequences correspond to cytoplasmic regions. Since it has been shown previously that the original cDNA isolated from liver recognizes mRNAs in stomach, kidney, and brain, and it is shown here that the cDNA isolated from heart recognizes mRNAs in ovary, uterus, lens epithelium, and kidney, a nomenclature is proposed which avoids categorization by organ of origin. In this nomenclature, the homologous proteins in gap junctions would be called connexins, each distinguished by its predicted molecular mass in kilodaltons. The gap junction protein isolated from liver would then be called connexin32; from heart, connexin43.
Optimal maintenance of a spanning tree

In this article, we show that keeping track of history enables significant improvements in the communication complexity of dynamic network protocols. We present a communication optimal maintenance of a spanning tree in a dynamic network. The amortized (on the number of topological changes) message complexity is O(V), where V is the number of nodes in the network. The message size used by the algorithm is O(log |ID|) where |ID| is the size of the name space of the nodes. Typically, log |ID| = O(log V). Previous algorithms that adapt to dynamic networks involved Ω (E) messages per topological change—inherently paying for re-computation of the tree from scratch. Spanning trees are essential components in many distributed algorithms. Some examples include broadcast (dissemination of messages to all network nodes), multicast, reset (general adaptation of static algorithms to dynamic networks), routing, termination detection, and more. Thus, our efficient maintenance of a spanning tree implies the improvement of algorithms for these tasks. Our results are obtained using a novel technique to save communication. A node uses information received in the past in order to deduce present information from the fact that certain messages were NOT sent by the node's neighbor. This technique is one of our main contributions.
Variation in Seed Dormancy Quantitative Trait Loci in Arabidopsis thaliana Originating from One Site

A Quantitative Trait Locus (QTL) analysis was performed using two novel Recombinant Inbred Line (RIL) populations, derived from the progeny between two Arabidopsis thaliana genotypes collected at the same site in Kyoto (Japan) crossed with the reference laboratory strain Landsberg erecta (Ler). We used these two RIL populations to determine the genetic basis of seed dormancy and flowering time, which are assumed to be the main traits controlling life history variation in Arabidopsis. The analysis revealed quantitative variation for seed dormancy that is associated with allelic variation at the seed dormancy QTL DOG1 (for Delay Of Germination 1) in one population and at DOG6 in both. These DOG QTL have been previously identified using mapping populations derived from accessions collected at different sites around the world. Genetic variation within a population may enhance its ability to respond accurately to variation within and between seasons. In contrast, variation for flowering time, which also segregated within each mapping population, is mainly governed by the same QTL.
Multipurpose audio watermarking

An audio protection and authentication scheme is proposed. By quantizing a host audio's FFT-coefficients as masking threshold units (MTUs), two complementary watermarks are designed and embedded using our cocktail watermarking method. For audio protection, high robustness can be achieved; whereas for audio authentication, tampered regions can be detected. Both of the above mentioned goals are accomplished in an oblivious manner. Experimental results indicate that our multipurpose audio watermarking scheme is remarkably effective.
Fine motor skill performance in Irish children

Background Motor skills are the basis for any bodily movement. They allow children to read, write, walk, talk and play sports. These skills play a central role in children's lives and specifically allow them to be physically active and healthy. However there is currently a lack of knowledge in relation to the level of fine motor skills in children both in Ireland and internationally. Fine motor skills are an essential component of numerous activities of daily life such as dressing and feeding and in addition to academic practices such as handwriting. Methods This cross-sectional study used the Bruininks-Oseretsky Test of Motor Proficiency, Second Edition (BOT-2) to evaluate the fine motor skill proficiency of Irish primary school children (N=139) between the age of 6-12 years. A second measure involving a handheld pendulum was also used to determine children's sensory motor coordination levels with visual stimuli, auditory stimuli and a combination of both (multisensory). Results In terms of fine motor skill proficiency, only 1st class children were found to be meeting the expected levels, while 3rd and 5th class children were found to score below the normative values for age and gender. There was a significant effect for gender, with boys being found to demonstrate higher levels of motor skill proficiency compared to girls. In addition, the investigation into sensory motor coordination levels of children also demonstrated an effect for age. The oldest children were found to demonstrate the best levels of coordination across visual, auditory and multisensory conditions. Discussion These low levels of fine motor skill proficiency might impede performance of everyday life activities as well as children's willingness to participate in physical activity (Bouffard, 1996; Cairney et al 2005, 2006). This lower level of fine motor skill proficiency for older Irish children in addition to the observed gender differences could be as a result of different societal, cultural and environment influences.
Incremental Basis Construction from Temporal Difference Error

In many reinforcement learning (RL) systems, the value function is approximated as a linear combination of a fixed set of basis functions. Performance can be improved by adding to this set. Previous approaches construct a series of basis functions that in sufficient number can eventually represent the value function. In contrast, we show that there is a single, ideal basis function, which can directly represent the value function. Its addition to the set immediately reduces the error to zero—without changing existing weights. Moreover, this ideal basis function is simply the value function that results from replacing the MDP's reward function with its Bellman error. This result suggests a novel method for improving value-function estimation: a primary reinforcement learner estimates its value function using its present basis functions; it then sends its TD error to a secondary learner, which interprets that error as a reward function and estimates the corresponding value function; the resulting value function then becomes the primary learner's new basis function. We present both batch and online versions in combination with incremental basis projection, and demonstrate that the performance is superior to existing methods, especially in the case of large discount factors.
Impact of scaling on the effectiveness of dynamic power reduction schemes

Power is considered to be the major limiter to the design of faster and more complex processors in the near future. In order to address this challenge, a combination of process, circuit design and micro-architectural changes are required Consequently, to focus optimization efforts in the right direction, the models proposed and studies performed in this work are a first step for understanding the relative importance of leakage and dynamic energy in future technologies. Further, we analyze the effectiveness of two energy reduction mechanisms that employ voltage scaling, namely, supply and threshold voltage selection. We consider the impact of imminent technology changes and packaging improvements while showing that neglecting the impact of temperature may lead to underestimating power savings by up to 19.5%.
Breakthrough AES Performance with Intel ® AES New Instructions

Intel continues to provide leadership in developing instruction-set extensions with the recently released ISA support for the Advanced Encryption Standard (AES). This paper presents the excellent performance of the AES algorithm on the Intel® CoreTM i7 Processor Extreme Edition, i7-980X, using the AES New Instructions (AES-NI). Performance results for serial and parallel modes of operation are provided for all key sizes, for variable numbers of cores and threads. These results have been achieved using highly optimized implementations of the AES functions that can achieve ~1.3 cycles/byte on a single-core Intel® CoreTM i7 Processor Extreme Edition, i7-980X for AES-128 in parallel modes. The paper also has a brief description of how to code to achieve these results and a reference to the complete source code.
The impact of pre-clinical pharmacology and pharmacotherapy training on students’ abilities and perceptions during clinical rotations

Background: Due to curricular changes at Leiden University Medical School, students have been exposed to different amounts of pharmacology and pharmacotherapy education. Cohort 1999 received little training; whereas cohort 2000 was provided with self-study materials preclinically and extra attention to pharmacotherapy during rotations. This study compares the cohorts by performance in and perception of pharmacotherapeutic abilities during the internal medicine rotation. Results: Preclinically, both cohorts were unable to adequately complete therapeutic plans. While cohort 1999 did not improve during the rotation, cohort 2000 did. For both cohorts the percentage of students feeling confident about various pharmacotherapeutic abilities increased significantly during rotations, but only 25% felt secure about their overall ability. Conclusions: The extra education helped cohort 2000 perform better, but did not improve their confidence in their pharmacotherapeutic ability. Thorough preclinical training and compulsory practice with feedback and assessment are necessary for students to develop competence in pharmacotherapy.
Node.fz: Fuzzing the Server-Side Event-Driven Architecture

The importance of the Event-Driven Architecture (EDA) has never been greater. Web servers and the IoT alike have begun to adopt the EDA, and the popular server-side EDA framework, Node.js, boasts the world's largest package ecosystem. While multi-threaded programming has been well studied in the literature, concurrency bug characteristics and useful development tools remain largely unexplored for server-side EDA-based applications. We present the first (to the best of our knowledge) concurrency bug characteristic study of real world open-source event-driven applications, based in Node.js. Like multithreaded programs, event-driven programs are prone to concurrency bugs like atomicity violations and order violations. Our study shows the forms that atomicity violations and ordering violations take in the EDA context, and points out the limitations of existing concurrency error detection tools developed for client-side EDA applications. Based on our bug study, we propose Node.fz, a novel testing aid for server-side event-driven programs. Node.fz is a schedule fuzzing test tool for event-driven programs, embodied for server-side Node.js programs. Node.fz randomly perturbs the execution of a Node.js program, allowing Node.js developers to explore a variety of possible schedules. Thanks to its low overhead, Node.fz enables a developer to explore a broader "schedule space" with the same test time budget, ensuring that applications will be stable in a wide variety of deployment conditions. We show that Node.fz can expose known bugs much more frequently than vanilla Node.js, and that it can uncover new bugs.
Agent-based models for animal cognition: a proposal and prototype

Animal ecologists have successfully applied agent-based models to many different problems. Often, these focus on issues concerning collective behaviors, environmental interactions, or the evolution of traits. In these cases, patterns of interest can usually be investigated by constructing the appropriate multiagent system, and then varying or evolving model parameters. In recent years, however, the study of animal behavior has increasingly expanded to include the study of animal cognition. In this field, the question is not just how or why a particular behavior is performed, but also what its 'mental underpinnings' are. In this paper, we argue that agent-based models are uniquely suited to explore questions concerning animal cognition, as the experimenter has direct access to agents' internal representations, control over their evolutionary history, and a perfect record of their previous learning experience. To make this possible, a new modeling paradigm must be developed, where agents' reasoning processes are explicitly simulated, and can evolve over time. We propose that this be done in the form of "if-then" rules, where only the form is specified, not the content. This should allow qualitatively different reasoning processes to emerge, which may be more or less "cognitive" in nature. In this paper, we illustrate the potential of such an approach with a prototype model. Agents must evolve explicit rule sets to forage for food, and to escape predators. It is shown that even in this relatively simple setup, different strategies emerge, as well as unexpected outcomes.
Group mobility model in disaster area networks

We present an improved random way-point with area and direction limitation mobility model (IRWPADL) to describe the movement patterns of the search groups. In the model, we adopt the side-by-side carpet searching on the purpose of searching the victims fairly and efficiently. Considering the assignment by the mobility model of Random Way Point with Fixed Access Point (RWPFAP) has low rescue efficiency and does not utilize the rescue manpower adequately, we modify the RWPFAP mobility model in terms of the group partitioning and merging. We devise the rescue groups' simulated moving track of the two mobility models. By comparison with the two models on the average waiting time for rescue,we draw the conclusion that the modified model does have higher rescue efficiency. We further discuss the variation trend of the average waiting time for rescue caused by the fluctuation of the number of the rescue points and the average rescue duration.
Fasting Blood Glucose-A Missing Variable for GFR-Estimation in Type 1 Diabetes?

Objective Estimation of glomerular filtration rate (eGFR) is one of the current clinical methods for identifying risk for diabetic nephropathy in subjects with type 1 diabetes (T1D). Hyperglycemia is known to influence GFR in T1D and variability in blood glucose at the time of eGFR measurement could introduce bias in eGFR. We hypothesized that simultaneously measured blood glucose would influence eGFR in adults with T1D. Methods Longitudinal multivariable mixed-models were employed to investigate the relationships between blood glucose and eGFR by CKD-EPI eGFRCYSTATIN C over 6-years in the Coronary Artery Calcification in Type 1 diabetes (CACTI) study. All subjects with T1D and complete data including blood glucose and cystatin C for at least one of the three visits (n = 616, 554, and 521, respectively) were included in the longitudinal analyses. Results In mixed-models adjusting for sex, HbA1c, ACEi/ARB, protein and sodium intake positive associations were observed between simultaneous blood glucose and eGFRCYSTATIN C (β±SE:0.14±0.04 per 10 mg/dL of blood glucose, p<0.0001), and hyperfiltration as a dichotomous outcome (OR: 1.04, 95% CI: 1.01–1.07 per 10 mg/dL of blood glucose, p = 0.02). Conclusions In our longitudinal data in subjects with T1D, simultaneous blood glucose has an independent positive effect on eGFRCYSTATIN C. The associations between blood glucose and eGFRCYSTATIN C may bias the accurate detection of early diabetic nephropathy, especially in people with longitudinal variability in blood glucose.
The road to 3D EDA tool readiness

Today's SoCs/SIPs face numerous design challenges as increased integration of system components on a single die stretches the limits of technology and design capacity. 3D integration, where multiple dies are stacked and interconnected in the vertical dimension using through-silicon vias (TSVs), is probably the best hope for carrying ICs along (and even beyond) the path of Moore's law in the 21st century. However successful adoption of 3D ICs will require among other things modifications to EDA tools to enable 3D IC design. In this paper, we identify key stages in EDA that need modification to handle 3D ICs, highlight the challenges and review existing solutions, if they exist. Whenever appropriate, at a particular stage, we also provide preferred features of the solutions necessary to enable 3D IC design with the least amount of disruption.
Indigenous Research Methodology: Exploratory Discussion of an Elusive Subject

The possibility of a defined Indigenous Research Methodology is exciting to indigenous and non-indigenous scholars alike, though probably for different reasons. Present assumptions suggest that such a methodology would determine standards for authenticity of indigenous research, and would enable a more effective critique of research dealing explicitly with indigenous reality. The question of who should participate in the development of an indigenous research methodology is critical since every scholar who has any connection with indigenous research topics or indigenous people will feel directly impacted. Responses to the question will indicate the form or quality of interactions between indigenous and non-indigenous scholars grappling with the political, social, and personal issues that assuredly will arise in any discourse of an indigenous research methodology. Such a concept might be perceived as a threat to existing forms or models of knowledge and knowledge creation. While indigenous scholars must be aware of such reactions, they will nonetheless experience themselves as the "active-centre" in the process of any indigenous research which they choose to live through. They are a piece of the heart in the body of growing indigenous knowledge. Indigenous research methodology is and has always been the central structure of support for the creation of indigenous knowledge. There are some principles which underlay most indigenous research - where this is understood to mean research conducted by indigenous people. Moving however to a discourse which includes indigenous and non-indigenous participants in an academic focus on indigenous research methodology might profitaby include a consideration of such principles as (a) the interconnectedness of all living things, (b) the impact of motives and intentions on person and community, (c) the foundation of research as lived indigenous experience, (d) the groundedness of theories in indigenous epistemology, (e) the transformative nature of research, (f) the sacredness and responsibility of maintaining personal and community integrity, and (g) the recognition of languages and cultures as living processes.
Focusing on Contraction

Focusing [1] is a proof-theoretic device to structure proof search in the sequent calculus: it provides a normal form to cut-free proofs in which the application of invertible and non-invertible inference rules is structured in two separate and disjoint phases. It is commonly believed that every “reasonable” sequent calculus has a natural focused version. Although stemming from proof-search considerations, focusing has not been thoroughly investigated in actual theorem proving, in particular w.r. t. termination, if not for the folk observations that only negative formulas need to be duplicated (or contracted if seen from the top down) in the focusing phase. We present a contraction-free (and hence terminating) focused proof system for multi-succedent propositional intuitionistic logic, which refines the G4ip calculus of Vorob’ev, Hudelmeier and Dyckhoff. We prove the completeness of the approach semantically and argue that this offers a viable alternative to other more syntactical