Miracle-dz/UniFAR-FTUs huggingface dataset:
Effects of Eating Fresh Lean Pork on Cardiometabolic Health Parameters

High protein meat-based diets are commonly promoted for weight loss, supposedly by increasing satiety and energy expenditure. Pork is a good source of protein however little information on the metabolic effects of pork consumption exists. This pilot study aimed to examine whether regular consumption of fresh lean pork could improve body composition and cardiovascular risk factors in a 6 month parallel intervention trial. 164 overweight adults (mean BMI 32) were randomly assigned to incorporate up to 1 kg pork/week by substituting for other foods or maintain their habitual diet (control). Plasma levels of lipids, glucose and insulin, BMI, waist/hip circumference, blood pressure, heart rate and arterial compliance were measured at baseline and 3 and 6 months. Body composition was determined using dual energy X-ray absorptiometry. A total of 144 volunteers completed and volunteers in the pork group increased their intake 10 fold by substituting pork for mainly beef and chicken. After 3 months, there were significant (p ≤ 0.01) reductions in weight, BMI, waist circumference, % body fat, fat mass and abdominal fat in the pork group relative to controls, which persisted for 6 months. There was no change in lean mass, indicating that the reduction in weight was due to loss of fat mass. There were no significant effects on other metabolic parameters. Regular consumption of lean fresh pork may improve body composition.
A 0.5-to-2.5GHz supply-regulated PLL with noise sensitivity of −28dB

A supply-regulated phase-locked loop (PLL) employs a split-tuned architecture to decouple the tradeoff between supply-noise rejection performance and power consumption. The prototype PLL, incorporating a novel regulator, is fabricated in a 0.18 mum digital CMOS process and operates from 0.5 to 2.5 GHz. At 1.5 GHz, the proposed PLL achieves a worst-case noise sensitivity of -28 dB (0.5 rad/V), an improvement of 20 dB over conventional solutions, while consuming 2.2 mA from a 1.8 V supply.
Influence of nutrient management practices on crop response and economics in different cropping systems in a vertisol

A field experiment was conducted during kharif and rabi seasons of 2007-08 at UAS, Dharwad, Karnataka to study the effect of organic, inorganic and integrated nutrient management practices on soil fertility, nutrient uptake, productivity and economics of soybean-wheat, groundnut-sorghum, maize-chickpea, potato-chickpea and chilli+cotton. The present study was the fourth year of long term field experiment (LTFE) of Network Project on Organic Farming at Institute of Organic Farming, UAS, Dharwad. At the end of kharif and rabi season of fourth year (2007-08), application of organic manures resulted in significantly higher organic carbon. Whereas integrated application of manure and fertilizers resulted in significantly higher available N, P2O5, K2O and S than chemical fertilizers alone. Significantly higher uptake of N, P and K by kharif and rabi crops was recorded in integrated practice compared to inorganic nutrient management practice. The available N, P2O5, K2O and S were significantly higher in legume based cropping systems during both the seasons of the study than non-legume system. The B:C ratio of chilli + cotton was found to be significantly higher (3.35) than other cropping systems. The organic nutrient management recorded significantly higher B:C ratio of 2.99 than inorganic (2.38) and integrated (2.59) nutrient management practices.
E-government adoption in ASEAN: the case of Cambodia

Purpose – The purpose of this paper is to examine the factors that influence e‐government adoption in Cambodia as one of the Association of Southeast Asian Nations (ASEAN) member states.Design/methodology/approach – This study uses the technology acceptance model (TAM), the extended TAM (TAM2), the diffusion of innovations (DOI) theory, and trust to build a parsimonious yet comprehensive model of user adoption of e‐government. The authors test the model with an empirical study. Data are collected from a total of 112 public officers in 12 ministries in Cambodia. The research model is then assessed with multiple regression analyses.Findings – The findings in this study show that the determinants of the research model (perceived usefulness, relative advantage, and trust) are support. At the same time, the important determinants of perceived usefulness include image and output quality.Practical implications – The study would help government policy decision makers design and implement policies and strategies t.
Technicolouring the fridge: reducing food waste through uses of colour-coding and cameras

Domestic food wastage is a growing problem for the environment and food security. Some causes of domestic food wastes are attributed to a consumer's behaviours during food purchasing, storage and consumption, such as: excessive food purchases and stockpiling in storage. Recent efforts in human-computer interaction research have examined ways of influencing consumer behaviour. The outcomes have led to a number of interventions that assist users with performing everyday tasks. The Internet Fridge is an example of such an intervention. However, new pioneering technologies frequently confront barriers that restrict their future impact in the market place, which has prompted investigations into the effectiveness of behaviour changing interventions used to encourage more sustainable practices. In this paper, we investigate and compare the effectiveness of two interventions that encourage behaviour change: FridgeCam and the Colour Code Project. We use FridgeCam to examine how improving a consumer's food supply knowledge can reduce food stockpiling. We use the Colour Code Project to examine how improving consumer awareness of food location can encourage consumption of forgotten foods. We explore opportunities to integrate these interventions into commercially available technologies, such as the Internet Fridge, to: (i) increase the technology's benefit and value to users, and (ii) promote reduced domestic food wastage. We conclude that interventions improving consumer food supply and location knowledge can promote behaviours that reduce domestic food waste over a longer term. The implications of this research present new opportunities for existing and future technologies to play a key role in reducing domestic food waste.
Practical use of analytically derived runoff models based on rainfall point processes

This work reports on the practical usage of the four stochastic rainfall-runoff models introduced by Bierkens and Puente (1990). These models, which are lumped in space, were analytically derived combining two rainfall point process models with two simple runoff parameterizations. The rainfall models employ rectangular pulses with Poisson (PRP) and Neyman-Scott (NSRP) arrivals, respectively. The runoff models route individual rainfall pulses via linear reservoirs. One runoff parameterization accounts for surface runoff by using a single linear reservoir (SLR). The other model considers both surface and groundwater runoff employing two linear reservoirs in parallel (PLR). All four representations were tested on two catchments located in the Netherlands and Colombia. Emphasis was placed on the models' ability to (1) give stable parameter values for data sets at alternative averaging (aggregation) lengths (consistency) and (2) preserve historical statistics at alternative averaging lengths when using parameters found from data at other averaging scales (robustness). Results show that the use of alternative rainfall models may have little effect on runoff performance. Specifically, the NSRP model resulted in more robust runoff behavior than the PRP model only when combined to the SLR parameterization. The type of model used to route individual rainfall pulses was found to be important. Runoff representations containing the PLR component were found more robust than those having the SLR model.
Higher-Order Low-Rank Regression

This paper proposes an efficient algorithm (HOLRR) to handle regression tasks where the outputs have a tensor structure. We formulate the regression problem as the minimization of a least square criterion under a multilinear rank constraint, a difficult non convex problem. HOLRR computes efficiently an approximate solution of this problem, with solid theoretical guarantees. A kernel extension is also presented. Experiments on synthetic and real data show that HOLRR outperforms multivariate and multilinear regression methods and is considerably faster than existing tensor methods.
Clinical assessment of two new contrast sensitivity charts

Background: Contrast sensitivity measurement in UK clinical practice is most commonly performed with the Pelli–Robson chart. Aims: To compare the repeatability of two new contrast sensitivity charts and to measure their agreement with the Pelli–Robson charts. Method: Contrast sensitivity was measured monocularly using two versions of the Mars letter contrast sensitivity chart, two presentations on the Test Chart 2000 and two versions of the Pelli–Robson chart. Bland–Altman techniques were used to assess repeatability and agreement. Results: 53 subjects were recruited with visual acuity from 6/4 to 6/72. The coefficient of repeatability was 0.182 for the Pelli–Robson chart, 0.121 for the Mars chart and 0.238 for Test Chart 2000. Limits of agreement with the Pelli–Robson chart were −0.29 to +0.15 log units for the Mars letter contrast sensitivity chart and −0.32 to +0.78 log units for the Test Chart 2000. For patients with poor contrast sensitivity, the limits of agreement between the Test Chart 2000 and the Pelli–Robson chart improved from −0.33 to +0.15 log units. Conclusion: In a population of hospital ophthalmology patients, the coefficient of repeatability is better for the Mars chart and worse for the Test Chart 2000 when compared with the Pelli–Robson chart. The electronic test chart does not agree well with the Pelli–Robson chart, although this might simply be due to the performance of liquid crystal display screens at low contrast levels. The Mars letter contrast sensitivity chart shows good validity and reasonable agreement with the Pelli–Robson chart.
Strand spaces with choice via a process algebra semantics

Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in the strand space model of cryptographic protocols, particularly as it is used in the Maude-NPA cryptographic protocol analysis tool. To achieve this goal, we develop and give formal semantics to a process algebra for cryptographic protocols that supports a rich taxonomy of choice primitives for composing strand spaces. In our taxonomy, deterministic and non-deterministic choices are broken down further. Non-deterministic choice can be either explicit, i.e., one of two paths is chosen, or implicit, i.e. the value of a variable is chosen non-deterministically. Likewise, deterministic choice can be either an (explicit) if-then-else choice, i.e. one path is chosen if a predicate is satisfied, while the other is chosen if it is not, or implicit deterministic choice, i.e. execution continues only if a certain pattern is matched. We have identified a class of choices which includes finite branching and some cases of infinite branching, which we address in this paper. Our main theoretical results are two bisimulation results: one proving that the formal semantics of our process algebra is bisimilar to the forwards execution semantics of its associated strands, and another showing that it is also bisimilar with respect to the symbolic backwards semantics of the strands such as that supported by Maude-NPA. At the practical level, we present a prototype implementation of our process algebra in Maude-NPA, illustrate its expressive power and naturalness with various examples, and show how it can be effectively used in formal analysis.
Broadcasting in ad hoc networks based on self-pruning

We propose a general framework for broadcasting in ad hoc networks through self-pruning. The approach is based on selecting a small subset of hosts (also called nodes) to form a forward node set to carry out a broadcast process. Each node, upon receiving a broadcast packet, determines whether to forward the packet based on two neighborhood coverage conditions. These coverage conditions depend on neighbor connectivity and history of visited nodes, and in general, resort to global network information. Using local information such as k-hop neighborhood information, the forward node set is selected through a distributed and local pruning process. The forward node set can be constructed and maintained through either a proactive process (i.e., "up-to-date") or a reactive process (i.e., "on-the-fly"). Several existing broadcast algorithms can be viewed as special cases of the coverage conditions with k-hop neighborhood information. Simulation results show that new algorithms, which are more efficient than existing ones, can be derived from the coverage conditions, and self-pruning based on 2- or 3-hop neighborhood information is relatively cost-effective.
Neglected Faces of Europeanization : The Differential Impact of the EU on the Dismantling and Expansion of Domestic Policies

The objective of this article is to clarify the extent and the conditions under which the European Union (EU) induces changes in the policy arrangements of its member states. For an accurate measurement of our dependent variable, we distinguish between EU-induced policy expansion and EU-induced policy dismantling. We argue that the extent to which European requirements lead to an expansion or dismantling of national policy arrangements is crucially affected by the respective governance logic underlying the regulatory activities at the European level, that is: (1) compliance with EU rules; (2) competition between national administrative systems to achieve EU requirements; and (3) communication between regulatory agents across national levels arranged in an EU legal or institutional framework. To illustrate our theoretical argument, we develop hypotheses on the likelihood and direction of national policy change under these three modes of governance, in addition, providing empirical examples from different policy areas.
Which way now? Analysing and easing inadequacies in WWW navigation

Abstract This paper examines the usability of the hypertext navigation facilities provided by World Wide Web client applications. A notation is defined to represent the user's navigational acts and the resultant system states. The notation is used to report potential, or “theoretical” problems in the models of navigation supported by three web client applications. A usability study confirms that these problems emerge in actual use, and demonstrates that incorrect user models of the clients' facilities are common. A usability analysis identifies inadequacies in the clients' interfaces. Motivated by the analysis of usability problems, we propose extensions to the design of WWW client applications. These proposals are demonstrated by our system WEBNET which uses dynamic graphical overview diagrams to extend the navigational facilities of conventional World Wide Web client applicaions. Related work on graphical overview diagrams for web navigation is reviewed.
Is Prostate-Specific Antigen Effective for Population Screening of Prostate Cancer? A Systematic Review

Background The effectiveness of prostate-specific antigen (PSA) for population screening has presented controversial results in large trials and prior reviews. We investigated the effectiveness of PSA population screening in a systematic review. Methods The study was conducted using existing systematic reviews. We searched Ovid MEDLINE, Embase, Cochrane library, and the major Korean databases. The quality of the systematic reviews was assessed by two reviewers independently using AMSTAR. Randomized controlled trials were assessed using the risk of bias tool in the Cochrane group. Meta-analyses were conducted using Review Manager. The level of evidence of each outcome was assessed using GRADE. Results Prostate-cancer-specific mortality was not reduced based on similar prior reviews (relative risk [RR] 0.93; 95% confidence interval [CI], 0.81-1.07, P=0.31). The detection rate of stage 1 prostate cancer was not greater, with a RR of 1.67 (95% CI, 0.95-2.94) and high heterogeneity. The detection rate of all cancer stages in the screening group was high, with a RR of 1.45 (95% CI, 1.13-1.85). No difference in all-cause mortality was observed between the screening and control groups (RR, 0.99; 95% CI, 0.98-1.01, P=0.50). Prostate-cancer-specific mortality, all-cause mortality, and diagnosis of prostate cancer at stages 3-4 showed moderate levels of evidence. Conclusions Differently from prior studies, our review included updated Norrköping data and assessed the sole effect of PSA testing for prostate cancer screening. PSA screening alone did not increase early stage prostate cancer detection and did not lower mortality.
Assay of Antinuclear Antibodies by ELISA Using Nuclei as Antigen

An enzyme-linked immunosorbent assay to detect antinuclear antibodies in the sera of patients with autoimmune diseases is described. Goat liver nuclei were immobilized on polystyrene plates and antinuclear antibodies were used to standardize the assay. The effects of variables, such as the nuclei concentration, conditions of nuclei storage, and the length of the incubation period were investigated on the assay. Prototype sera with known antibody specificity were used to evaluate the assay. The method described is highly sensitive, autoantibodies being detectable at serum dilutions of 1:1000 or higher. According to the intra- and inter-assay coefficient of variation, the results were highly reproducible.
Latency tolerant branch predictors

The access latency of branch predictors is a well known problem of fetch engine design. Prediction overriding techniques are commonly accepted to overcome this problem. However, prediction overriding requires a complex recovery mechanism to discard the wrong speculative work based on overridden predictions. In this paper, we show that stream and trace predictors, which use long basic prediction units, can tolerate access latency without needing overriding, thus reducing fetch engine complexity. We show that both the stream fetch engine and the trace cache architecture not using overriding outperform other efficient fetch engines, such as an EV8-like fetch architecture or the FTB fetch engine, even when they do use overriding.
On the branch curve of a general projection of a surface to a plane

In this paper we prove that the branch curve of a general projection of a surface to the plane is irreducible, with only nodes and cusps. This is a basic result in surface theory, extremely useful in various applications. However, its proof, in this general setting, was so far lacking. Our approach substantially uses a powerful tool from projective differential geometry, i.e., the concept of focal schemes.
Evaluation of five commercially available assays and measurement of serum total protein concentration via refractometry for the diagnosis of failure of passive transfer of immunity in foals.

OBJECTIVE To determine and compare sensitivity, specificity, accuracy, and predictive values of measurement of serum total protein concentration by refractometry as well as 5 commercially available kits for the diagnosis of failure of passive transfer (FPT) of immunity in foals. DESIGN Prospective study. ANIMALS 65 foals with various medical problems and 35 clinically normal foals. PROCEDURE IgG concentration in serum was assessed by use of zinc sulfate turbidity (assay C), glutaraldehyde coagulation (assay D), 2 semiquantitative immunoassays (assays F and G), and a quantitative immunoassay (assay H). Serum total protein concentration was assessed by refractometry. Radial immunodiffusion (assays A and B) was used as the reference method. RESULTS For detection of IgG < 400 mg/dL, sensitivity of assay H (100%) was not significantly different from that of assays C, E, and G (88.9%). Specificity of assays H (96.0%) and G (95.8%) was significantly higher than that of assays C (79.4%) and E (78.1 %). For detection of IgG < 800 mg/dL, sensitivities of assays H (976%), D (92.9%), C (81.0%), and G (81.0%) were significantly higher than that of assay F (52.4%). Specificity of assays F (100%), G (94.7%), and H (82.8%) was significantly higher than that of assays C (56.9%) and D (58.6%). Serum total protein concentration < or = 4.5 g/dL was suggestive of FPT, whereas values > or = 6.0 g/dL indicated adequate IgG concentrations. CONCLUSIONS AND CLINICAL RELEVANCE Most assays were adequate as initial screening tests. However, their use as a definitive test would result in unnecessary treatment of foals with adequate IgG concentrations.
Resource Records for the DNS Security Extensions

This document is part of a family of documents that describe the DNS Security Extensions (DNSSEC). The DNS Security Extensions are a collection of resource records and protocol modifications that provide source authentication for the DNS. This document defines the public key (DNSKEY), delegation signer (DS), resource record digital signature (RRSIG), and authenticated denial of existence (NSEC) resource records. The purpose and format of each resource record is described in detail, and an example of each resource record is given. This document obsoletes RFC 2535 and incorporates changes from all updates to RFC 2535. [STANDARDS-TRACK]
Application of negative selection algorithm in smart antenna system for LTE communication

Interference and multipath is one of the current issues in a wireless communication system, with complicated scenarios of environment especially in urban areas with a high number of users. Introducing smart antenna systems at the base station can contribute to reducing interference and improve quality of service. This paper proposes and explores the application of artiflcial immune system and negative selection algorithm to the prototype of smart antenna, where the proposed smart antenna is a hexagonal structure with 6-elements of the antenna array and working in LTE band at 2.6GHz. Initial testing was done to deflne the RSSI value by calculating the average of the signal then comparing RSSI value deflned by implementing artiflcial immune algorithm. To proof and determine actual RSSI signal received, a test in an anechoic chamber is conducted as reference that assumes free interference and multipath then compared to both of results. X-Bee module was used for transmitter and receiver in system at 2.4GHz band, and the proposed system prototype with hexagonal structure also used dual ARM microprocessor. Negative selection algorithm is applied in smart antenna programming to deflne actual values of receiving signal and angle of arrival. Every beam of the antenna was installed with an X-Bee module then connected to microprocessors, with an LED installed at each of the antenna as an indicator of beam switching or angle of arrival signal.