Miracle-dz/UniFAR-FTUs huggingface dataset:
BIOREFINERY: Strength and barrier enhancements of composites and packaging boards by nanocelluloses – A literature review

This presentation reviews the recent research on new nanocellulose-based materials relevant to food packaging. The following materials are included: i) composites having nano-sized cellulosic additive or reinforcement filler and the following matrix materials: poly(lactic acid) (PLA), cellulose derivatives, or cellulose in so-called all-cellulose composites, and ii) packaging boards. Nano-sized celluloses (nanocelluloses) comprise microand nanofibrillar celluloses, nanocrystalline celluloses and whiskers. Sufficient mechanical and barrier properties are essential for a food packaging material. This potential of the cellulose-based materials is thus examined from the viewpoint of their tensile properties, and moisture and oxygen barrier properties, and compared to those of petro-based materials. In the discussion, an evaluation is made on the improvements achieved by usig nano-sized celluloses either as reinforcement filler or functional additive. The materials containing nanocelluloses either as a coating or additive have great potential to exceed the oxygen barrier properties of petro-plastics, provided that the mechanical properties of the composite, mainly ductility, is sufficient. Water vapor barrier properties of cellulose-based materials are still far from those of LDPE, even with nanocellulose additive. Relatively little research has been done on mineral-filled nanocellulose containing composites. Enhanced moisture barrier coatings may be found among those materials.
Low cost comparisons of file copies

The author present a file comparison scheme in which the signatures of individual pages are compared by means of a supersignature calculated from the individual page signature. A supersignature is obtained as a power series in a primitive root within the Galois field with 2/sup n/ elements. The coefficients are the signatures of the individual pages. With this scheme errors, such as missing, altered, or incorrectly placed pages, can be detected with the very probability, and an error diagnosis can be found if discrepancies are detected. <<ETX>>
Survival trends in men and women with heart failure of ischaemic and non-ischaemic origin: data for the period 1987-2003 from the Swedish Hospital Discharge Registry.

AIMS To investigate gender-specific trends in long-term mortality in patients hospitalized for heart failure (HF). METHODS AND RESULTS The Swedish hospital discharge and cause-specific death registers were used to calculate age- and gender-specific trends for long-term prognosis in patients hospitalized with a principal diagnosis of HF from 1987 to 2003. Mortality decreased, mainly during 1987-95, with no further decrease after 2001. Survival in men improved more than in women (P-value for interaction 0.0003), particularly among patients aged <65 years (P-value for interaction: age, gender, and year of hospitalization 0.0003) and more for patients with ischaemic when compared with non-ischaemic HF (P-value for interaction <0.0001). Among men <65 years, the hazard ratio (HR) of dying within 3 years after discharge was 0.40 (95% confidence interval 0.36-0.45) during 1999-2001 when compared with 1987-89. The corresponding HR for women was 0.58 (0.48-0.69). For those discharged during 1999-2001, almost 20% of the patients aged 35-64 years and 40% of those aged 65-84 years died within 3 years. CONCLUSION Long-term mortality in HF in Sweden decreased more for men than for women and more for ischaemic than non-ischaemic HF. There was no further decrease after 2001. Long-term mortality after a first hospitalization remained high.
Microstructural Characteristics and Mechanical Properties of Water Cooling Bobbin-Tool Friction Stir Welded 6063-T6 Aluminum Alloy

In this study, a novel welding method called water cooling bobbin-tool friction stir welding (WBT-FSW) was developed. 4 mm-thick 6063-T6 aluminum alloy sheets were successfully jointed by WBT-FSW. Comparative studies on macro/microstructural characteristics and mechanical properties of the WBT-FSW and conventional bobbin-tool friction stir welding (BT-FSW) joints were carried out. The results indicated that the water mist cooling can significantly decrease the welding temperature and improve both the weld formation and the mechanical properties of the joint. The tensile strength of the WBT-FSW joint was 11.4% higher than that of BT-FSW joint.
Colony-PCR Is a Rapid Method for DNA Amplification of Hyphomycetes

Fungal pure cultures identified with both classical morphological methods and through barcoding sequences are a basic requirement for reliable reference sequences in public databases. Improved techniques for an accelerated DNA barcode reference library construction will result in considerably improved sequence databases covering a wider taxonomic range. Fast, cheap, and reliable methods for obtaining DNA sequences from fungal isolates are, therefore, a valuable tool for the scientific community. Direct colony PCR was already successfully established for yeasts, but has not been evaluated for a wide range of anamorphic soil fungi up to now, and a direct amplification protocol for hyphomycetes without tissue pre-treatment has not been published so far. Here, we present a colony PCR technique directly from fungal hyphae without previous DNA extraction or other prior manipulation. Seven hundred eighty-eight fungal strains from 48 genera were tested with a success rate of 86%. PCR success varied considerably: DNA of fungi belonging to the genera Cladosporium, Geomyces, Fusarium, and Mortierella could be amplified with high success. DNA of soil-borne yeasts was always successfully amplified. Absidia, Mucor, Trichoderma, and Penicillium isolates had noticeably lower PCR success.
Mechanistic medicine: Novel strategies for clinical trials

Autoimmune diseases affect a significant proportion of the population and the development of therapeutics able to manipulate the immune response to deliver effective treatment in these diseases is an accepted approach for drug discovery. This article will focus on recent strategies for achieving selectivity through target choice, thus reducing overall clinical immunosuppression. We review the use of mechanistic pharmacodynamic assays preclinically and in the clinic to assess target engagement and to build the relationship between target coverage and efficacy, to guide dosing. Finally, we review the use of monogenic diseases to deliver proof of mechanism clinical studies and to identify patient populations in larger autoimmune diseases that may be sensitive to intervention with a specific therapeutic.
Design and Implementation A different Architectures of mixcolumn in FPGA

This paper details Implementation of the Encryption algorithm AES under VHDL language In FPGA by using different architecture of mixcolumn. We then review this research investigates the AES algorithm in FPGA and the Very High Speed Integrated Circuit Hardware Description language (VHDL). Altera Quartus II software is used for simulation and optimization of the synthesizable VHDL code. The set of transformations of both Encryptions and decryption are simulated using an iterative design approach in order to optimize the hardware consumption. Altera Cyclone III Family devices are utilized for hardware evaluation.
LTL Model Checking for Security Protocols

Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability in some important cases. For instance, most techniques assume that communication between honest principals is controlled by a Dolev -Yao intruder, i.e. a malicious agent capable to overhear, divert, and fake messages. Yet we might be interested in establishing the security of a protocol that relies on a less unsecure channel (e.g. a confidential channel provided by some other protocol sitting lower in the protocol stack). In this paper we propose a general model for security protocols based on the set-rewriting formalism that, coupled with the use of LTL, allows for the specification of assumptions on principals and communication channels as well as complex security properties that are normally not handled by state-of-the-art protocol analysers. By using our approach we have been able to formalise all the assumptions required by the ASW protocol for optimistic fair exchange as well as some of its security properties. Besides the previously reported attacks on the protocol, we report a new attack on a patched version of the protocol.
InfoNice: Easy Creation of Information Graphics

Information graphics are widely used to convey messages and present insights in data effectively. However, creating expressive data-driven infographics remains a great challenge for general users without design expertise. We present InfoNice, a visualization design tool that enables users to easily create data-driven infographics. InfoNice allows users to convert unembellished charts into infographics with multiple visual elements through mark customization. We implement InfoNice into Microsoft Power BI to demonstrate the integration of InfoNice into data analysis workflow seamlessly, bridging the gap between data exploration and presentation. We evaluate the usability and usefulness of InfoNice through example infographics, an in-lab user study, and real-world user feedback. Our results show that InfoNice enables users to create a variety of infographics easily for common scenarios.
A Simulation of the Structure of Academic Science

The contemporary structure of scientific activity, including the publication of papers in academic journals, citation behaviour, the clustering of research into specialties and so on has been intensively studied over the last fifty years. A number of quantitative relationships between aspects of the system have been observed. This paper reports on a simulation designed to see whether it is possible to reproduce the form of these observed relationships using a small number of simple assumptions. The simulation succeeds in generating a specialty structure with ‘areas’ of science displaying growth and decline. It also reproduces Lotka's Law concerning the distribution of citations among authors. The simulation suggests that it is possible to generate many of the quantitative features of the present structure of science and that one way of looking at scientific activity is as a system in which scientific papers generate further papers, with authors (scientists) playing a necessary but incidental role. The theoretical implications of these suggestions are briefly explored.
Nutrition support protocols and their influence on the delivery of enteral nutrition: a systematic review.

BACKGROUND Malnutrition remains prevalent in critically ill adults and is associated with poor outcomes and increased cost of hospitalization. AIM To (a) determine whether implementation of a nutrition support protocol improves delivery of nutrients in critically ill patients, and (b) evaluate whether patients receiving nutrition support based on a protocol have better outcomes than those who do not. METHODS CINHAL and PUBMED databases were searched utilizing keywords "model," "nutrition," intensive care," "algorithm," "critical care," "protocol," and "feeding guidelines. " Selection criteria included original studies published in English with publication date between January 1, 2005, and December 31, 2010; a critically ill adult population; and level 1 or 2 studies. Studies were collected and reviewed by a single reviewer. Data extraction and quality assessment were assured utilizing a standardized form. A narrative description of results was provided due to variability in methods and outcome measures of included studies. RESULTS Ninety-nine studies emerged and 22 studies were considered for inclusion. Four studies were selected. Use of a nutrition support protocol was found to lead to increased efficacy in the delivery of nutrients via the enteral route. LINKING EVIDENCE TO ACTION The use of a nutrition support protocol appears to increase the efficacy of enteral nutrition delivery. Further research is needed to determine the effect of increased enteral nutrition adequacy on patient outcomes. The use of an evidenced-based protocol is recommended to improve protein and energy delivery in the critically ill.
Implementing Troubleshooting with Batch Repair

Recent work has raised the challenge of efficient automated troubleshooting in domains where repairing a set of components in a single repair action is cheaper than repairing each of them separately. This corresponds to cases where there is a non-negligible overhead to initiating a repair action and to testing the system after a repair action. In this work we propose several algorithms for choosing which batch of components to repair, so as to minimize the overall repair costs. Experimentally, we show the benefit of these algorithms over repairing components one at a time.
Lytic bacteriophages

Foodborne illnesses resulting from the consumption of produce commodities contaminated with enteric pathogens continue to be a significant public health issue. Lytic bacteriophages may provide an effective and natural intervention to reduce bacterial pathogens on fresh and fresh-cut produce commodities. The use of multi-phage cocktails specific for a single pathogen has been most frequently assessed on produce commodities to minimize the development of bacteriophage insensitive mutants (BIM) in target pathogen populations. Regulatory approval for the use of several lytic phage products specific for bacterial pathogens such as Escherichia coli O157:H7, Salmonella spp. and Listeria monocytogenes in foods and on food processing surfaces has been granted by various agencies in the US and other countries, possibly allowing for the more widespread use of bacteriophages in the decontamination of fresh and minimally processed produce. Research studies have shown lytic bacteriophages specific for E. coli O157:H7, Salmonella spp. and Listeria monocytogenes have been effective in reducing pathogen populations on leafy greens, sprouts and tomatoes.
A peripheral circuit reuse structure integrated with a retimed data flow for low power RRAM crossbar-based CNN

Convolutional computations implemented in RRAM crossbar-based Computing System (RCS) demonstrate the outstanding advantages of high performance and low power. However, current designs are energy-unbalanced among the three parts of RRAM crossbar computation, peripheral circuits and memory accesses, and the latter two factors can significantly limit the potential gains of RCS. Addressing the problem of high power overhead of peripheral circuits in RCS, this paper proposes a Peripheral Circuit Unit (PeriCU)-Reuse scheme to meet power budgets in energy constrained embedded systems. The underlying idea is to put the expensive ADCs/DACs onto spotlight and arrange multiple convolution layers to be sequentially served by the same PeriCU. In the solution, the first step is to determine the number of PeriCUs which are organized by cycle frames. Inside a cycle frame, the layers are computed in parallel inter-PeriCUs while sequentially intra-PeriCU. Furthermore, a layer retiming technique is exploited to further improve the energy of RCS by assigning two adjacent layers within the same PeriCU so as to bypass the energy consuming memory accesses. The experiments of five convolutional applications validate that the PeriCU-Reuse scheme integrated with the retiming technique can efficiently meet variable power budgets, and further reduce energy consumption efficiently.
Regulation of the Functional Interaction between Cyclin D1 and the Estrogen Receptor

ABSTRACT We report that the functional interaction between cyclin D1 and the estrogen receptor (ER) is regulated by a signal transduction pathway involving the second messenger, cyclic AMP (cAMP). The cell-permeable cAMP analogue 8-bromo-cAMP caused a concentration-dependent enhancement of cyclin D1-ER complex formation, as judged both by coimmunoprecipitation and mammalian two-hybrid analysis. This effect was paralleled by increases in ligand-independent ER-mediated transcription from an estrogen response element containing reporter construct. These effects of 8-bromo-cAMP were antagonized by a specific protein kinase A (PKA) inhibitor, indicating that the signaling pathway involved was PKA dependent. Further, we show that culture of MCF-7 cells on a cellular substratum of murine preadipocytes also enhanced the functional interaction between cyclin D1 and ER in a PKA-dependent manner. These findings demonstrate a collaboration between cAMP signaling and cyclin D1 in the ligand-independent activation of ER-mediated transcription in mammary epithelial cells and show that the functional associations of cyclin D1 are regulated as a function of cellular context.
DFT advances in the Motorola's MPC7400, a PowerPC/sup TM/ G4 microprocessor

Several advances have been made in the design for testability of the MPC7400, the first fourth generation PowerPC microprocessor. The memory array built-in self-test algorithms now support detecting write-recovery defects and more comprehensive diagnostics. Delay defects can be tested with scan patterns with the phased locked loop providing the at-speed launch-capture events. Several methodology and modeling improvements increased LSSD stuck-at fault test coverage. Design for manufacturability enhancements provide better tracking of initial silicon and fuse-based memory repair capabilities for improved yield and time-to-market.
The Wisconsin Benchmark: Past, Present, and Future

In 1981 as we were completing the implementation of the DIRECT database machine [DEWI79, BORA82], attention turned to evaluating its performance. At that time no standard database benchmark existed. There were only a few application-specific benchmarks. While application-specific benchmarks measure which database system is best for a particular application, it was very difficult to understand them. We were interested in a benchmark to measure DIRECT's speedup characteristics. Thus, we set out to develop a benchmark that could be used to evaluate DIRECT both relative to itself and relative to the "university" version of Ingres.
Efficacy of next treatment received after nivolumab progression in patients with advanced nonsmall cell lung cancer

Nivolumab for the treatment of advanced nonsmall cell lung cancer (NSCLC) evaluated in phase III trials showed 50% progression at first evaluation, but better overall survival (OS), suggesting regained efficacy of treatments given thereafter. We aimed to evaluate the efficacy of nivolumab and of next treatment received after nivolumab progression in patients with advanced NSCLC. Our multicentre retrospective study included all patients receiving nivolumab between January and December 2015. The primary end-point was progression-free survival (PFS) of treatment given after nivolumab. The 303 patients had the following characteristics: median age 63 years, 69% males, 92% smokers, 67% performance status 0–1 and 61% adenocarcinoma. Nivolumab was given as second-line treatment in 40% of patients. With 13.7 months of median follow-up, nivolumab PFS and OS were 2.6 and 11.3 months, respectively. At the cut-off analysis 18% were controlled under nivolumab, 14% were deceased and 5% were lost to follow-up under nivolumab. Among the 191 (63%) patients eligible for post-nivolumab (PN) treatment, 115 (38%) received further treatment and were characterised by better performance status (p=0.028) and by receiving more injections of nivolumab (p=0.001). Global PN-OS and PN-PFS were 5.2 and 2.8 months, respectively. Drugs most frequently used after nivolumab were gemcitabine (23%), docetaxel (22%) and erlotinib (16%), with median PFS of 2.8, 2.7 and 2.0 months, respectively. Nivolumab produced similar efficacy as in phase III trials, although patients received nivolumab later and had worse performance status. 38% received treatment after nivolumab progression with efficacy comparable to historical second-line trials. Efficacy of nivolumab in nonsmall cell lung cancer http://ow.ly/k2uX30iGZbY
Bounded Satisfiability for PCTL

While model checking PCTL for Markov chains is decidable in polynomial-time, the decidability of PCTL satisfiability, as well as its finite model property, are long standing open problems. While general satisfiability is an intriguing challenge from a purely theoretical point of view, we argue that general solutions would not be of interest to practitioners: such solutions could be too big to be implementable or even infinite. Inspired by bounded synthesis techniques, we turn to the more applied problem of seeking models of a bounded size: we restrict our search to implementable -- and therefore reasonably simple -- models. We propose a procedure to decide whether or not a given PCTL formula has an implementable model by reducing it to an SMT problem. We have implemented our techniques and found that they can be applied to the practical problem of sanity checking -- a procedure that allows a system designer to check whether their formula has an unexpectedly small model.
Preliminary Evaluation of FeCrAl Cladding for Accident Tolerant Fuel Concepts

Since the accident at the Fukushima Daiichi Nuclear Power Station, enhancing the accident tolerance of light water reactors (LWRs) has become an important research topic. In particular, the community is actively developing enhanced fuels and cladding for LWRs to improve safety in the event of accidents in the reactor or spent fuel pools. Fuels with enhanced accident tolerance are those that, in comparison with the standard UO2-zirconium alloy system, can tolerate loss of active cooling in the reactor core for a considerably longer time period during design-basis and beyond design-basis events while maintaining or improving the fuel performance during normal operations and operational transients. This report presents early work in developing thermal and mechanical models for FeCrAl, a proposed cladding material. BISON, the finite element-based fuel performance code in development at Idaho National Laboratory, was used to compare results from normal operation conditions with UO2/Zr-4 behavior. In addition, sensitivity studies are presented for evaluating the relative importance of material parameters such as elastic constants and thermal conductivity in order to provide guidance on future experiments for this material.
Methods for transferring the SI unit of force from millinewtons to piconewtons | NIST

The establishment of standards for small force measurement requires a link to an absolute measurement of force traceable to the international system of units (SI). To this end, a host of different means are being employed by the NIST small force measurement project to realize and transfer small forces between 5 millinewtons and 5 piconewtons. Realizations based on deadweights and electrostatic forces, as well as transfer artifacts based on the mechanical properties of single DNA molecules, will be discussed. The application of each of these approaches will also be discussed as a calibration method for different kinds of instruments requiring the measurement of small forces.