Miracle-dz/UniFAR-FTUs huggingface dataset:
A NOTE ON DETERMINANT FUNCTORS AND SPECTRAL SEQUENCES

The aim of this note is to prove certain compatibilities of determinant functors with spectral sequences and (co)homology thereby extending results of [3] and refining a description in [9]. It turns out that the determinant behaves as well as one would have expected in this regard, only that we were not able to find references for it in the literature. The results are crucial for descent calculations in the context of Iwasawa theory [12] or Equivariant Tamagawa Number Conjectures [4, 5, 6].
MetaSelection: Metaheuristic Sub-Structure Selection for Neural Network Pruning Using Evolutionary Algorithm

Neural network pruning is widely applied to various mobile applications. Previous pruning methods mainly leverage ad-hoc criteria to evaluate channel importance. In this paper, we propose an effective metaheuristic sub-structure selection (MetaSelection) method for neural network pruning. MetaSelection exploits evolutionary algorithm (EA) to search the proper sub-structure satisfying the resource constraints. In comparison with previous AutoML based methods, MetaSelection can automatically achieve the pruning rate and channel selection at the same time instead of hand-crafted criteria in a cascaded way. Regarding the tremendous search space of channel selection as a combinatorial optimization problem, we further utilize a coarse-to-ﬁne strategy and the novel probability distribution crossover (PDC) to speed up the search procedure. Besides, MetaSelection prunes the network globally rather than in a layer-by-layer way. We evaluate MetaSelection on several appealing deep neural networks, achieving superior results with adaptive depth and width. Concretely, on ImageNet, MetaSelection achieves a top-1 accuracy of 71.5% on MobileNetV2 under 70% FLOPs constraint and a FLOPs reduction of 30% with 76.4% top-1 accuracy for ResNet-50.
Generalized Cyclic abc ; r Contractions in Quasi Metric Spaces

This manuscript proves the existence of a single common fixed point of two joint ðA, BÞ generalized cyclic φ − abc weak nonexpansive mappings, where A and B are compact sets. The result in particular demonstrated a single fixed point of generalized cyclic φ − abc weak nonexpansive mappings, without the assumption of a single contracting point. Additionally, it introduces new types of generalized cyclic abc ; r contraction mappings and describes the existence of a single fixed point of them in b-metric spaces. Finally, the presented results establish a simpler convergence theorem for a sequence of generalized cyclic abc ; r contraction mappings, extend, and generalize some of the previous reported results.
DESIGN OF A 500MHZ, 4-BIT LOW POWER ADC FOR UWB APPLICATION

This paper presents a new topology of an Analog-to-Digital Converter (ADC), named as Switched Reference ADC (SR-ADC) where the reference voltages are applied through switches. The switched reference voltage concept works with few mutually exclusive switches which are appropriately selecting the reference voltages for comparison with the input signal. This SR-ADC has been implemented using 0. 18μm single poly and six metal CMOS technology. The spectra simulation result of this SR-ADC shows an ENOB of ≈3.53 for a 1V peak-to-peak input signal having a frequency of 100MHz while operating at a sampling frequency of 500MHz. The total power consumption is 21.39mW for a single power supply of 1.8V having a core area of ≈253μm*221μm. Keywords-UWB, SR-ADC, RFID, SAR ADC, DMN
Stationary biparametric ADI preconditioners for conjugate gradient methods

In the present article we determine optimal stationary biparametric ADI preconditioners for the conjugate gradient methods when applied for the solution of a model problem second order elliptic PDE. The PDE is approximated by 5and 9-point stencils. As was proved in Hadjidimos and M. Lapidakis [Optimal alternating direction implicit preconditioners for conjugate gradient methods, 〈http://www.math.uoc.gr/∼hadjidim/hadlap05.ps〉] the problem of determining the best ADI preconditioner is equivalent to that of determining the optimal extrapolated (E) ADI method. So, analytic expressions are found for the optimal acceleration and extrapolation parameters for both discretizations where those for the 9-point stencil ones are new. Finally, numerical examples run using other well-known preconditioners show that the ADI ones we propose are very competitive. © 2006 Elsevier B.V. All rights reserved. MSC: 65F10
On Minimizing Diagonal Block-Wise Differences for Neural Network Compression

Deep neural networks have achieved great success on a wide spectrum of applications. However, neural network (NN) models often include a massive number of weights and consume much memory. To reduce the NN model size, we observe that the structure of the weight matrix can be further re-organized for a better compression, i.e., converting the weight matrix to the block diagonal structure . Therefore, in this paper, we formulate a new research problem to consider the structural factor of the weight matrix, named Compression with Difference-Minimized Block Diagonal Structure (COMIS) , and propose a new algorithm, Memory-Efﬁcient and Structure-Aware Compression (MESA) , which effectively prunes the weights into a block diagonal structure to signiﬁcantly boost the compression rate. Extensive experiments on different models show that MESA achieves 135 × to 392 × compression rates for different models, which are 1 . 8 to 3 . 03 times the compression rates of the state-of-the-art approaches. In addition, our approach provides an inference speed-up from 2 . 6 × to 5 . 1 × , a speed-up up to 44% to the state-of-the-art approaches.
Transformer-Based Argument Mining for Healthcare Applications

Argument(ation) Mining (AM) typically aims at identifying argumentative components in text and predicting the relations among them. Evidence-based decision making in the health-care domain targets at supporting clinicians in their deliberation process to establish the best course of action for the case under evaluation. Although the reasoning stage of this kind of frameworks received considerable attention, little effort has been devoted to the mining stage. We extended an existing dataset by annotating 500 abstracts of Randomized Controlled Trials (RCT) from the MEDLINE database, leading to a dataset of 4198 argument components and 2601 argument relations on different diseases (i.e., neoplasm, glau-coma, hepatitis, diabetes, hypertension). We propose a complete argument mining pipeline for RCTs, classifying argument components as evidence and claims, and predicting the relation, i.e., attack or support , holding between those argument components. We experiment with deep bidirectional transformers in combination with different neural architectures (i.e., LSTM, GRU and CRF) and obtain a macro F1-score of . 87 for component detection and . 68 for relation prediction , outperforming current state-of-the-art end-to-end AM systems.
Risk factors for venous thromboembolism and evaluation of the modified Caprini score in patients undergoing lung resection

Background There is a high incidence of venous thromboembolism (VTE) after lung resection, so it is necessary to identify the risk factors for VTE in these patients. It is also important to evaluate whether the modified Caprini score can accurately assess the risk of VTE in patients after lung resection. Methods This retrospective study included 437 patients undergoing lung resection between July 2016 and December 2017. All patients underwent lower extremities ultrasound before and after operation to determine the presence of the newly diagnosed VTE. Results Forty-seven (10.8%) of the 437 patients were diagnosed with VTE after lung surgery. Multivariate logistic regression analysis showed that age (OR, 2.04; 95% CI, 1.40–2.99), duration of operation (OR, 1.51; 95% CI, 1.08–2.12), lymphocyte count (OR, 0.28; 95% CI, 0.11–0.69), and D-dimer concentration (OR, 1.55; 95% CI, 1.22–1.97) were significantly associated with VTE in lung resection patients. The cut-off values for lymphocyte count and D-dimer concentration determined using receiver operating characteristic (ROC) curve were 1.15×109/L and 1.37 µg/mL respectively. The modified Caprini score divided the patients into three groups: low risk (0–4 points), moderate risk (5–8 points) and high risk (≥9 points), and the incidence of VTE was 12.3% (37/300), 7.5% (10/133) and 0% (0/4), respectively (P>0.05). Conclusions In this study, we identified four independent factors for VTE after lung resection patients: age, duration of operation, lymphocyte count, and D-dimer. According to the modified Caprini score, there were fewer patients in the high-risk group, and the incidence of VTE not increased with the increase of risk. Better evaluation of operation time and D-dimer may help the modified Caprini score to better assess VTE risk in these patients.
Correlations between Dynamic Penetrometer Light and Cone Penetration Tests in Intermediate Soils: a Statistical Comparison

This paper presents a statistical approach to evaluate the variation between current correlation models of Dynamic Penetrometer Light (DPL) against Piezocone Penetration Test (CPT) results. Work methodology included the execution of three DPL tests and three CPT at the left bank of Ave River (Vila do Conde, Portugal) and the calculation of the cone resistance through DPL correlations. Besides, addressed a comparison of the values obtained from such correlations and the measured values by the CPTu device by the measures profiles technique. Statistical analyses allowed identifying the level of parallelism, horizontality and coincidence between results in depth. From the results, it was found that the existing correlations between DPL and CPT are not accurate for intermediate soils and it is necessary to develop a new correlation for this type of materials.
Carbohydrate-Deficient TransferrinQuantifiedby HPLCto DetermineHeavy Consumption of Alcohol

We developed a new fully automated ion-exchange chromatographic method for quantitating carbohydratedeficient transferrin (CDT) on a Mono Q column. Quantitation relies on the selective absorbance of the irontransferrin complex at 460 nm. Transferrin isoforms deficient in sialic acid, with pls 5.7 and 5.9, can easily be separated and quantitated as a percentage of the total transferrin. This method has been applied to samples from teetotalers, occasional drinkers,patients with recent heavy alcoholconsumption, and patients during detoxification. The sensitivityof the method was 55% in patients reporting 40-70 g daily ethanol consumption and nearly 100% in heavily intoxicated patients (70-500 g daily consumption). The half-lifeofthedominating p15.7 isoform in this groupwas 9.5 (± 1) days duringdetoxification.A CDT value > 0.8% is a highlyspecific markerforalcoholabuse and is greatlysuperiorto othercurrentlyavailablebiological markers.
Hilbert schemes and simple singularities

The first half of this article is expository; it contains a brief survey of the famous ADE classification, and how it applies to six kinds of objects, some old and some relatively new. The second half is a research article, discussing the two dimensional McKay correspondence from the new point of view of Hilbert schemes.
Role reversal: record of cheetah (Acinonyx jubatus) kleptoparasitizing a kill from a spotted hyaena (Crocuta crocuta)

Role reversal: record of cheetah (Acinonyx jubatus) kleptoparasitizing a kill 1 from a spotted hyaena (Crocuta crocuta) 2 Femke Broekhuis, Onesmus Irungu 3 1 Mara Cheetah Project, Kenya Wildlife Trust, Nairobi, Kenya, 4 femke@maracheetahs.org 5 2 Wildlife Conservation Research Unit, Department of Zoology, University of Oxford, 6 Recanati-Kaplan Centre, Tubney, UK 7 3 Asilia Kenya, Nairobi, Kenya, onessman@gmail.com 8 9
WHAT’S BEHIND HER SMILE? LOOKS, SELF-ESTEEM, AND LABOR MARKET OUTCOMES

We explore how improving dental health affects economic, social, and psychological outcomes. Using a randomized intervention whereby an impoverished group in Chile received free dental care, including access to prostheses, we find that the treatment in the short-run: (i) significantly improved dental health of both men and women, (ii) had a significant and positive effect on women's selfesteem, and (iii) positively impacted both employment rates and earnings among women. In the medium run, the effects on dental health and self-esteem persist but the treatment effects on labor market outcomes become statistically non-significant, although still economically relevant among women with low levels of self-esteem and among women missing at least one front tooth at baseline. We also find treatment effects on spending on appearance-related items, and improvements in the quality of relationships with partners including a reduction in verbal violence. The employment effects come mostly from the informal sector. Using several pieces of evidence, we document that the employment effects are consistent with a combination of increases in productivity and labor supply jointly with a possibly much smaller response of labor demand in the formal sector. JEL Classification: I10, J16, J20, O15.
Control Effect of the Extracts from Rheum palmatum on Powdery Mildew of Cucumber

In this paper, the extract from Rheum palmatum was tested for prevention effect on powdery mildew of cucumber,stability,duration of the efficacy and restraint spectrums of fungi.The results demonstrated that 100-fold Rheum palmatum extraction was effective to control the disease and its efficacy was superior to 15% WP Triadimefon 1000-fold,which was up to 90.14%. The efficacy was stable in different temperatures and pH values.The duration of the preventive efficacy of Rheum palmatum extraction to S.fuliginea could last over 6 days,and also significantly to restrain many other fungi such as Cochliobolus sativus,Exserohilum turcicum ,et al.
BANKING STOCK ABNORMAL RETURN ANALYSIS OF PRE AND POST MERGER AND ACQUISITION IN INDONESIA

The number of mergers and acquisitions (M&A) in Indonesia is growing because of government policy and also their usefulness as a corporate tool to pursue strategic growth and profit. This study aims to analyze the abnormal returns of banking industries pre and post-merger and acquisition in Indonesia. Using a sample of 7 M&A deals in Indonesia from 2018 to 2019, the event study methodology used in this study is Paired Sample T-Test to tell the difference between pre and post abnormal returns. The data that use for calculating is -30 until +30 of Merger and Acquisition. The result shows that from 7 mergers and acquisition there is only one bank that has a significant difference while the rest does not have a significant difference pre and post the event. This research hopefully can be used for further research, useful for investment practitioners.
The surface aerosol optical properties in urban areas of Nanjing , 1 west Yangtze River Delta of China 2

Observational studies of aerosol optical properties are useful to reducing uncertainties 13 in estimating aerosol radiative forcing and forecasting visibility. In this study, the observed near-surface 14 aerosol optical properties in urban Nanjing are analyzed from Mar 2014 to Feb 2016. Results show that 15 near-surface urban aerosols in Nanjing are mainly from local emissions and the regions around. They 16 have lower loadings but are more scattering than in most cities in China. The annual mean aerosol 17 extinction coefficient (EC), single scattering albedo (SSA) and asymmetry parameter (ASP) at 550 nm 18 are 381.96 Mm, 0.9 and 0.57, respectively. The aerosol absorption coefficient (AAC) is about one 19 order of magnitude smaller than its scattering coefficient (SC). However, the absorbing aerosol has 20 larger Ångström exponent (AAE) value, 1.58 at 470/660 nm, about 0.2 larger than the scattering 21 aerosols' (SAE). All the aerosol optical properties followed a near unimodal pattern, the ranges around 22 their averages accounting for more than 60% of the total samplings. Additionally, they have substantial 23 seasonality and diurnal variations. High levels of SC and AAC all appear in winter due to higher 24 Atmos. Chem. Phys. Discuss. , doi:10.5194/acp-2016-420, 2016 Manuscript under review for journal Atmos. Chem. Phys. Published: 8 August 2016 c © Author(s) 2016. CC-BY 3.0 License.
Tribological properties of black phosphorus nanosheets as oil-based lubricant additives for titanium alloy-steel contacts

The black phosphorus (BP) powders were prepared by high-energy ball milling with red phosphorus as the raw material, and then the BP nanosheets were obtained by liquid-phase exfoliation. The tribological properties of the BP nanosheets as oil-based lubricant additives were investigated by the ball-on-disc tribometer. Results show that compared with the base oil of liquid paraffin (LP), the coefficient of friction and wear rate of the BP nanosheets as the additives in liquid paraffin (BP-LP) are lower for the same loads. BP-LP lubricants could significantly improve the load-bearing capacity of the base oil for titanium alloy-steel contacts and show excellent friction-reducing and anti-wear properties. The surface morphologies and elemental compositions of the friction pairs were further analysed using an optional microscope, scanning electron microscope and X-ray photoelectron spectroscopy. The lubrication mechanism of BP-LP can be attributed to the synergistic effects between lamellar adsorption and interlayer shear of BP nanosheets.
Basic Utility Theory for Belief Functions

In this paper we find common ground for different decision theories in Dempster-Shafer theory by providing an axiomatic utility theory where the completeness requirement is dropped. The resulting preference relation is represented by subjective expectation of sets of utilities whose ordering is based on an ordering of outcome sets derived from a logical decision theory for complete ignorance. Moreover, we explore the preference aggregation problem within the utility theory and generalize some results by Harsanyi and Mongin to the setting of belief functions.
Suppression of the TGF-β pathway by a macrolide antibiotic decreases fibrotic responses by ocular fibroblasts in vitro

To elucidate and to inhibit post-surgical fibrotic processes after trabeculectomy in glaucoma therapy, we measured gene expression in a fibrotic cell culture model, based on transforming growth factor TGF-β induction in primary human tenon fibroblasts (hTFs), and used Connectivity Map (CMap) data for drug repositioning. We found that specific molecular mechanisms behind fibrosis are the upregulation of actins, the downregulation of CD34, and the upregulation of inflammatory cytokines such as IL6, IL11 and BMP6. The macrolide antibiotic Josamycin (JM) reverses these molecular mechanisms according to data from the CMap, and we thus tested JM as an inhibitor of fibrosis. JM was first tested for its toxic effects on hTFs, where it showed no influence on cell viability, but inhibited hTF proliferation in a concentration-dependent manner. We then demonstrated that JM suppresses the synthesis of extracellular matrix (ECM) components. In hTFs stimulated with TGF-β1, JM specifically inhibited α-smooth muslce actin expression, suggesting that it inhibits the transformation of fibroblasts into fibrotic myofibroblasts. In addition, a decrease of components of the ECM such as fibronectin, which is involved in in vivo scarring, was observed. We conclude that JM may be a promising candidate for the treatment of fibrosis after glaucoma filtration surgery or drainage device implantation in vivo.
Testosterone regulates CYP2J19-linked carotenoid signal expression in male red-backed fairywrens (Malurus melanocephalus)

Carotenoid pigments produce most red, orange and yellow colours in vertebrates. This coloration can serve as an honest signal of quality that mediates social and mating interactions, but our understanding of the underlying mechanisms that control carotenoid signal production, including how different physiological pathways interact to shape and maintain these signals, remains incomplete. We investigated the role of testosterone in mediating gene expression associated with a red plumage sexual signal in red-backed fairywrens (Malurus melanocephalus). In this species, males within a single population can flexibly produce either red/black nuptial plumage or female-like brown plumage. Combining correlational analyses with a field-based testosterone implant experiment and quantitative polymerase chain reaction, we show that testosterone mediates expression of carotenoid-based plumage in part by regulating expression of CYP2J19, a ketolase gene associated with ketocarotenoid metabolism and pigmentation in birds. This is, to our knowledge, the first time that hormonal regulation of a specific genetic locus has been linked to carotenoid production in a natural context, revealing how endocrine mechanisms produce sexual signals that shape reproductive success.
Ectopic fat accumulation in human astrocytes impairs insulin action

Astrocytes provide neurons with structural support and energy in form of lactate, modulate synaptic transmission, are insulin sensitive and act as gatekeeper for water, ions, glutamate and second messengers. Furthermore, astrocytes are important for glucose sensing, possess neuroendocrine functions and also play an important role in cerebral lipid metabolism. To answer the question, if there is a connection between lipid metabolism and insulin action in human astrocytes, we investigated if storage of ectopic lipids in human astrocytes has an impact on insulin signalling in those cells. Human astrocytes were cultured in the presence of a lipid emulsion, consisting of fatty acids and triglycerides, to induce ectopic lipid storage. After several days, cells were stimulated with insulin and gene expression profiling was performed. In addition, phosphorylation of Akt as well as glycogen synthesis and cell proliferation was assessed. Ectopic lipid storage was detected in human astrocytes after lipid exposure and lipid storage was persistent even when the fat emulsion was removed from the cell culture medium. Chronic exposure to lipids induced profound changes in the gene expression profile, whereby some genes showed a reversible gene expression profile upon removal of fat, and some did not. This included FOXO-dependent expression patterns. Furthermore, insulin-induced phosphorylation of Akt was diminished and also insulin-induced glycogen synthesis and proliferation was impaired in lipid-laden astrocytes. Chronic lipid exposure induces lipid storage in human astrocytes accompanied by insulin resistance. Analyses of the gene expression pattern indicated the potential of a partially reversible gene expression profile. Targeting astrocytic insulin resistance by reducing ectopic lipid load might represent a promising treatment target for insulin resistance of the brain in obesity, diabetes and neurodegeneration.
Non-Simultaneity as a Design Constraint

Whether one or multiple hardware execution units are activated ( i.e. CPU cores), invalid resource sharing, notably due to simultaneous accesses, proves to be problematic as it can yield to unexpected runtime behaviors with negative implications such as security or safety issues. The growing interest for oﬀ-the-shelf multi-core architectures in sensitive applications motivates the need for safe resources sharing. If critical sections are a well-known solution from imperative and non-temporized programming models, they fail to provide safety guarantees. By leveraging the time-triggered programming model, this paper aims at enforcing that identiﬁed critical windows of computations can never be simultaneously executed. We achieve this result by determining, before an application is compiled, the exact dates during which a task accesses a shared resource, which enables the oﬀ-line validation of non-simultaneity constraints.