Miracle-dz/UniFAR-FTUs huggingface dataset:
Anti-corrosive coating composition and laminated metal material

PROBLEM TO BE SOLVED: To provide a coating agent composition for rustproofing excellent in rustproof properties, enabling thin coating, and having alkali resistance, water resistance, solvent resistance, processability and excellent adhesiveness to a metal material, and a laminated metal material. SOLUTION: The coating agent composition for rustproofing is characterized in that it is an aqueous emulsion containing a below-mentioned polyolefin resin, the number average particle size of the polyolefin resin is <=1 μm, and the aqueous emulsion is substantially free from an emulsifier component or a compound having a protective colloid effect. The polyolefin resin is as follows: a copolymer constituted of (A1) an unsaturated carboxylic acid or its anhydride, (A2) an ethylenic hydrocarbon and (A3) at least one kind of compound expressed by any one of formulas (I) to (IV); and the weight ratios of each constituting component (A1) to (A3) satisfy relationship (1): 0.01<=(A1)/ (A1)+(A2)+(A3)}×100<5 and relationship (2): (A2)/(A3)=55/45 to 99/1.
Las Vegas algorithms for linear and integer programming when the dimension is small

This paper gives an algorithm for solving linear programming problems. For a problem with n constraints and d variables, the algorithm requires an expected<inline-equation><f>O<fen lp="par">d<sup>2</sup>n<rp post="par"></fen>+<fen lp="par">logn<rp post="par"></fen>O<fen lp="par">d<rp post="par"></fen><sup>d/2+O<fen lp="par">1<rp post="par"></fen></sup>+O<fen lp="par">d<sup>4</sup><rad><rcd>n</rcd></rad>logn<rp post="par"></fen></f></inline-equation> arithmetic operations, as<inline-equation><f>n→∞</f></inline-equation>. The constant factors do not depend on d. Also, an algorithm is given for integer linear programming. Let <inline-equation><f><g>4</g></f></inline-equation> bound the number of bits required to specify the rational numbers defining an input constraint or the objective function vector. Let n and d be as before. Then, the algorithm requires expected <inline-equation> <f> O<fen lp="par">2<sup>d</sup>dn+8<sup>d</sup>d<rad><rcd>n<rm>l n<it>n<rm></rm></it></rm></rcd></rad><rm>ln<it>n</it></rm><rp post="par"></fen> +d<sup>o<fen lp="par">d<rp post="par"></fen></sup><g>4</g><rm> ln<it>n</it></rm></f> </inline-equation> operations on numbers with <inline-equation> <f> d<sup>o<fen lp="par">1<rp post="par"></fen></sup><g>4</g></f> </inline-equation> bits, as <inline-equation> <f> n→∞</f> </inline-equation>, where the constant factors do not depend on d or<inline-equation><f><g>4</g></f></inline-equation>to other convex programming problems. For example, an algorithm for finding the smallest sphere enclosing a set of n points in <inline-equation><f>E<sup>d</sup></f></inline-equation>has the same time bound. <? Pub Caret>
Dasatinib Plus Nutlin-3 Shows Synergistic Antileukemic Activity in Both p53wild-type and p53mutated B Chronic Lymphocytic Leukemias by Inhibiting the Akt Pathway

Purpose: To analyze the effect of the combination of Dasatinib, a multikinase inhibitor, plus Nutlin-3, a nongenotoxic activator of the p53 pathway, in primary B chronic lymphocytic leukemia (B-CLL) patient samples and B leukemic cell line models. Experimental Design: The induction of cytotoxicity was evaluated in both primary B-CLL cell samples (n = 20) and in p53wild-type (EHEB, JVM-2) and p53deleted/mutated (MEC-2, BJAB) B leukemic cell lines. The role of Akt in modulating leukemic cell survival/apoptosis in response to Dasatinib or Dasatinib + Nutlin-3 was documented by functional experiments carried out using specific pharmacological inhibitors and by overexpression of membrane-targeted constitutively active form of Akt. Results: The combination of Dasatinib + Nutlin-3 exhibited a synergistic cytotoxicity in the majority (19 out of 20) of B-CLL samples, including patients carrying 17p- (n = 4), and in both p53wild-type and p53deleted/mutated B leukemic cell lines. At the molecular level, Dasatinib significantly counteracted the Nutlin-3-mediated induction of the p53 transcriptional targets MDM2 and p21 observed in p53wild-type leukemic cells. Conversely, Nutlin-3 did not interfere with the ability of Dasatinib to decrease the phosphorylation levels of ERK1/2, p38/MAPK, and Akt in both p53wild-type and p53deleted/mutated B leukemic cell lines. A critical role of Akt downregulation in mediating the antileukemic activity of Dasatinib and Dasatinib + Nutlin-3 was demonstrated in experiments carried out by specifically modulating the Akt pathway. Conclusions: These findings suggest that Dasatinib + Nutlin-3 might represent an innovative therapeutic combination for both p53wild-type and p53deleted/mutated B-CLL. Clin Cancer Res; 17(4); 1–9. ©2010 AACR.
libfbi: a C++ implementation for fast box intersection and application to sparse mass spectrometry data

MOTIVATION Algorithms for sparse data require fast search and subset selection capabilities for the determination of point neighborhoods. A natural data representation for such cases are space partitioning data structures. However, the associated range queries assume noise-free observations and cannot take into account observation-specific uncertainty estimates that are present in e.g. modern mass spectrometry data. In order to accommodate the inhomogeneous noise characteristics of sparse real-world datasets, point queries need to be reformulated in terms of box intersection queries, where box sizes correspond to uncertainty regions for each observation. RESULTS This contribution introduces libfbi, a standard C++, header-only template implementation for fast box intersection in an arbitrary number of dimensions, with arbitrary data types in each dimension. The implementation is applied to a data aggregation task on state-of-the-art liquid chromatography/mass spectrometry data, where it shows excellent run time properties. AVAILABILITY The library is available under an MIT license and can be downloaded from http://software.steenlab. org/libfbi. CONTACT marc.kirchner@childrens.harvard. edu SUPPLEMENTARY INFORMATION Supplementary data are available at Bioinformatics online.
Fungal Planet description sheets: 69–91

Novel species of microfungi described in the present study include the following from Australia: Bagadiella victoriae and Bagadiella koalae on Eucalyptus spp. , Catenulostroma eucalyptorum on Eucalyptus laevopinea, Cercospora eremochloae on Eremochloa bimaculata, Devriesia queenslandica on Scaevola taccada, Diaporthe musigena on Musa sp. , Diaporthe acaciigena on Acacia retinodes, Leptoxyphium kurandae on Eucalyptus sp. , Neofusicoccum grevilleae on Grevillea aurea, Phytophthora fluvialis from water in native bushland, Pseudocercospora cyathicola on Cyathea australis, and Teratosphaeria mareebensis on Eucalyptus sp. Other species include Passalora leptophlebiae on Eucalyptus leptophlebia (Brazil), Exophiala tremulae on Populus tremuloides and Dictyosporium stellatum from submerged wood (Canada), Mycosphaerella valgourgensis on Yucca sp. (France), Sclerostagonospora cycadis on Cycas revoluta (Japan), Rachicladosporium pini on Pinus monophylla (Netherlands), Mycosphaerella wachendorfiae on Wachendorfia thyrsifolia and Diaporthe rhusicola on Rhus pendulina (South Africa). Novel genera of hyphomycetes include Noosia banksiae on Banksia aemula (Australia), Utrechtiana cibiessia on Phragmites australis (Netherlands), and Funbolia dimorpha on blackened stem bark of an unidentified tree (USA). Morphological and culture characteristics along with ITS DNA barcodes are provided for all taxa.
Four essays in applied microeconometrics

Recent studies documented that consumption of poor households falls markedly between paydays (a phenomenon called ‘paycycle’), and considered this finding as a rejection of the permanent income hypothesis (PIH) and evidence of liquidity constraints and time inconsistency (modelled with hyperbolic preferences). In this paper, I criticize and extend previous analyses of the paycycle, arguing that standard tests may have omitted a crucial confounding factor that may have biased the results toward the rejection of the PIH. I show theoretically that when households change the shopping regime over the month in a cyclical (and rational) way a paycycle may emerge even if the households are time consistent. I test my results using a panel dataset that provides daily information on food expenditures from a large sample of Italian households. This is the first analysis of the monthly cycle in expenditures and consumption outside the US and UK. Results show that households display a monthly cycle in shopping behavior: the probability of performing a shopping trip in a larger supermarket is higher at payday and decrease afterward. The paycycle appears to be driven by this shopping cycle, while the pure effect of time preferences result in a flat pattern of consumption between paydays.
Motion segmentation by subspace separation and model selection

Reformulating the Costeira-Kanade algorithm as a pure mathematical theorem independent of the Tomasi-Kanade factorization, we present a robust segmentation algorithm by incorporating such techniques as dimension correction, model selection using the geometric AIC, and least-median fitting. Doing numerical simulations, we demonstrate that oar algorithm dramatically outperforms existing methods. It does not involve any parameters which need to be adjusted empirically.
Towards 1 Gbps/UE in Cellular Systems: Understanding Ultra-Dense Small Cell Deployments

Today's heterogeneous networks comprised of mostly macrocells and indoor small cells will not be able to meet the upcoming traffic demands. Indeed, it is forecasted that at least a $100\times$ network capacity increase will be required to meet the traffic demands in 2020. As a result, vendors and operators are now looking at using every tool at hand to improve network capacity. In this epic campaign, three paradigms are noteworthy, i.e., network densification, the use of higher frequency bands and spectral efficiency enhancement techniques. This paper aims at bringing further common understanding and analysing the potential gains and limitations of these three paradigms, together with the impact of idle mode capabilities at the small cells as well as the user equipment density and distribution in outdoor scenarios. Special attention is paid to network densification and its implications when transiting to ultra-dense small cell deployments. Simulation results show that comparing to the baseline case with an average inter site distance of 200 m and a 100 MHz bandwidth, network densification with an average inter site distance of 35 m can increase the average UE throughput by $7.56\times$, while the use of the 10 GHz band with a 500 MHz bandwidth can further increase the network capacity up to $5\times$, resulting in an average of 1.27 Gbps per UE. The use of beamforming with up to 4 antennas per small cell BS lacks behind with average throughput gains around 30% and cell-edge throughput gains of up to $2\times$. Considering an extreme densification, an average inter site distance of 5 m can increase the average and cell-edge UE throughput by $18\times$ and $48\times$, respectively. Our study also shows how network densification reduces multi-user diversity, and thus proportional fair alike schedulers start losing their advantages with respect to round robin ones. The energy efficiency of these ultra-dense small cell deployments is also analysed, indicating the benefits of energy harvesting approaches to make these deployments more energy-efficient. Finally, the top ten challenges to be addressed to bring ultra-dense small cell deployments to reality are also discussed.
Serum cystatin C assay for the detection of early renal impairment in diabetic patients

The ability to assess renal function in diabetes patients rapidly and early is of major importance. This study was designed to determine whether cystatin C can replace serum creatinine as the screening marker for reduced glomerular filtration rate (GFR) in type 2 diabetes patients. The study was performed on 51 type 2 diabetic patients. GFR was estimated by the plasma clearance of 99mTc‐DTPA. The correlation between 99mTc‐DTPA clearance and levels of serum cystatin C, serum creatinine, and creatinine clearance was determined. Sensitivity and specificity for the diagnosis of renal impairment (defined as GFR<68 ml/min) were calculated by a receiver operating characteristic (ROC) curve for serum cystatin C, serum creatinine, and creatinine clearance. The correlation coefficients with 99mTc‐DTPA clearance were −0.744 for serum cystatin C, −0.658 for serum creatinine, and +0.625 for creatinine clearance (P<0.001). With a cutoff value of 68 mL/min, the area under the ROC curve (AUC) was 0.891 for cystatin C, 0.77 for creatinine, and 0.753 for creatinine clearance. The AUC was statistically different between serum cystatin C and creatinine clearance (P<0.05). The ROC plot indicates that cystatin C is superior to serum creatinine and creatinine clearance for detecting impaired GFR. Serum cystatin C appropriately reflects GFR in diabetes, and is more efficacious than serum creatinine and creatinine clearance in detecting reduced GFR in type 2 diabetes patients. J. Clin. Lab. Anal. 18:31–35, 2004. © 2004 Wiley‐Liss, Inc.
Vitrification of in vitro matured ovine oocytes affects in vitro pre‐implantation development and mRNA abundance

The impact of vitrification procedures on in vitro matured (IVM) ovine oocytes mRNA content and ability to undergo successful fertilization, cleavage and embronic development was assessed. Vitrified‐warmed (n = 113) and control (n = 140) IVM oocytes were in vitro fertilized and cultured up to blastocyst stage under standard conditions. Vitrified oocytes showed lower cleavage rate (47% vs. 75%, P < 0.001) and development to blastocyst stage (17% vs. 57%, P < 0.001) than controls. In addition, the timings of the first cleavage and blastocysts production were significantly delayed in the vitrified‐warmed group (P < 0.001 in both cases). In parallel, we analyzed by reverse transcriptase real‐time PCR the relative abundance of β‐actin, H2A.Z histone, Poli A Polimerase (PAP), Heat Shock Protein 90β (HSP90β), P34cdc2, Cyclin b, Na/K‐ATPase and Type I cadherin (E‐Cad) transcripts in single IVM controls (n = 24) and vitrified‐warmed oocytes (n = 40). Results were normalized against the exogenous rabbit α‐globin mRNA standard and the β‐actin housekeeping gene and similarly described a lower abundance of most mRNAs in oocytes subjected to vitrification procedures. When normalized against the exogenous standard mRNA, all transcripts except for β‐actin and H2A.Z showed a significantly different abundance in the two classes of oocytes. The same results were obtained after normalization against the internal standard, except for HSP90β and E‐Cad transcripts, whose lower abundance in vitrified‐warmed oocytes resulted prominent, but not significant (P = 0.083 and P = 0.068, respectively). The oocyte lower transcripts abundance following vitrification might be an early indicator of poor quality in good correlation with the developmental data to blastocyst stage. Mol. Reprod. Dev. 75: 538–546, 2008. © 2007 Wiley‐Liss, Inc.
High-Level Language based Face Detection

Authentication & Identification has become major issue in today’s digital world. Face detection plays a significant role in authentication & identification. In this paper several existing face detection approaches are analyzed and discussed. Each approached is discussed briefly & compared with the other in terms of key evaluation parameters. As face detection is the elimentry yet an important step towards automatic face recognition, main goal of this paper is to come up with an approach that is a good candidate for face detection.
Distance‐scaled, finite ideal‐gas reference state improves structure‐derived potentials of mean force for structure selection and stability prediction

The distance‐dependent structure‐derived potentials developed so far all employed a reference state that can be characterized as a residue (atom)‐averaged state. Here, we establish a new reference state called the distance‐scaled, finite ideal‐gas reference (DFIRE) state. The reference state is used to construct a residue‐specific all‐atom potential of mean force from a database of 1011 nonhomologous (less than 30% homology) protein structures with resolution less than 2 Å. The new all‐atom potential recognizes more native proteins from 32 multiple decoy sets, and raises an average Z‐score by 1.4 units more than two previously developed, residue‐specific, all‐atom knowledge‐based potentials. When only backbone and Cβ atoms are used in scoring, the performance of the DFIRE‐based potential, although is worse than that of the all‐atom version, is comparable to those of the previously developed potentials on the all‐atom level. In addition, the DFIRE‐based all‐atom potential provides the most accurate prediction of the stabilities of 895 mutants among three knowledge‐based all‐atom potentials. Comparison with several physical‐based potentials is made.
Trajectories of Self-Rated Health in People with Diabetes: Associations with Functioning in a Prospective Community Sample

Background Self-rated health (SRH) is a single-item measure that is one of the most widely used measures of general health in population health research. Relatively little is known about changes and the trajectories of SRH in people with chronic medical conditions. The aims of the present study were to identify and describe longitudinal trajectories of self-rated health (SRH) status in people with diabetes. Methods A prospective community study was carried out between 2008 and 2011. SRH was assessed at baseline and yearly at follow-ups (n=1288). Analysis was carried out through trajectory modeling. The trajectory groups were subsequently compared at 4 years follow-up with respect to functioning. Results Four distinct trajectories of SRH were identified: 1) 72.2% of the participants were assigned to a persistently good SRH trajectory; 2) 10.1% were assigned to a persistently poor SRH trajectory; 3) mean SRH scores changed from good to poor for one group (7.3%); while 4) mean SRH scores changed from poor to medium/good for another group (10.4%). Those with a persistently poor perception of health status were at higher risk for poor functioning at 4 years follow-up than those whose SRH scores decreased from good to poor. Conclusions SRH is an important predictor for poor functioning in diabetes, but the trajectory of SRH seems to be even more important. Health professionals should pay attention to not only SRH per se, but also changes in SRH over time.
Formation control for a cooperative multi-agent system using decentralized navigation functions

We propose a decentralized cooperative controller for a group of mobile agents. The control design is based on the navigation function formalism. The aim of the group control law is to generate a pattern or formation in a given workspace while avoiding obstacles and collisions. The desired goal is specified in terms of distances among the agents. We show that it is always possible to design a control law as the gradient of a suitably-defined navigation function whose minimum corresponds to the desired configuration. Furthermore in certain cases, such as when the topology of the interconnection is an acyclic graph, this minimum is unique. Some simulations are shown to test the strategy
Incorporation of NKT Cell-Activating Glycolipids Enhances Immunogenicity and Vaccine Efficacy of Mycobacterium bovis Bacillus Calmette-Guérin1

The attenuated strain of Mycobacterium bovis known as bacille Calmette-Guérin (BCG) has been widely used as a vaccine for prevention of disease by Mycobacterium tuberculosis, but with relatively little evidence of success. Recent studies suggest that the failure of BCG may be due to its retention of immune evasion mechanisms that delay or prevent the priming of robust protective cell-mediated immunity. In this study, we describe an approach to enhance the immunogenicity of BCG by incorporating glycolipid activators of CD1d-restricted NKT cells, a conserved T cell subset with the potential to augment many types of immune responses. A method was developed for stably incorporating two forms of the NKT cell activator α-galactosylceramide into live BCG organisms, and the impact of this on stimulation of T cell responses and protective antimycobacterial immunity was evaluated. We found that live BCG containing relatively small amounts of incorporated α-galactosylceramide retained the ability to robustly activate NKT cells. Compared with immunization with unmodified BCG, the glycolipid-modified BCG stimulated increased maturation of dendritic cells and markedly augmented the priming of Ag-specific CD8+ T cells responses. These effects were correlated with improved protective effects of vaccination in mice challenged with virulent M. tuberculosis. These results support the view that mycobacteria possess mechanisms to avoid stimulation of CD8+ T cell responses and that such responses contribute significantly to protective immunity against these pathogens. Our findings raise the possibility of a simple modification of BCG that could yield a more effective vaccine for control of tuberculosis.
Effective Coverage Control using Dynamic Sensor Networks with Flocking and Guaranteed Collision Avoidance

This paper studies the problem of dynamically covering a given region D in R2 using a set of N mobile sensor agents. The coverage goal is to sample each point in the mission domain to a desired preset level. It is crucial in many dynamic coverage missions that the vehicles flock to guarantee reliable wireless communication links between the agents, while avoiding the risk of collisions. Dynamic coverage control strategies developed by the authors in their previous publications are modified for both flocking and guaranteed collision avoidance. Several numerical examples are provided to illustrate the main ideas.
IMEXT: A method and system to extract geolocated images from Tweets — Analysis of a case study

Extracting useful information from social networks raises several challenges that still represent open research issues. In this paper we focus on the problem of extracting geolocated images from Tweets to support emergency response. A Tweet analysis process is discussed, focusing on the selection of posts, their geolocation based on their text content, and the subsequent analysis of the images linked by geolocated tweets. A prototype system has been built and tested on a case study based on the Tweets posted in the two days after the earthquake that occurred in Central Italy in August 2016. Results indicate that focusing on images linked by geolocated tweets represents a good criterion to identify useful information that can aid emergency response.
Improved symbolic simulation by functional-space decomposition

This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapath of a circuit is separated, and their simulated results are recorded in different domains. A 2-tuple list structure is used to separate the results in the control and datapath domains. Then, the functional sub-space in the control domain can further be decomposed in order to achieve the optimal OBDD size and run time. We demonstrate the effectiveness of our decomposition approach based on symbolic simulation of arithmetic circuit units.