Miracle-dz/UniFAR-FTUs huggingface dataset:
Cupid : Automatic Fuzzer Selection for Collaborative Fuzzing

Combining the strengths of individual fuzzing methods is an appealing idea to find software faults more efficiently, especially when the computing budget is limited. In prior work, EnFuzz introduced the idea of ensemble fuzzing and devised three heuristics to classify properties of fuzzers in terms of diversity. Based on these heuristics, the authors manually picked a combination of different fuzzers that collaborate. In this paper, we generalize this idea by collecting and applying empirical data from single, isolated fuzzer runs to automatically identify a set of fuzzers that complement each other when executed collaboratively. To this end, we present Cupid, a collaborative fuzzing framework allowing automated, data-driven selection of multiple complementary fuzzers for parallelized and distributed fuzzing. We evaluate the automatically selected target-independent combination of fuzzers by Cupid on Google’s fuzzer-test-suite, a collection of real-world binaries, as well as on the synthetic Lava-M dataset. We find that Cupid outperforms two expert-guided, target-specific and hand-picked combinations on Google’s fuzzer-test-suite in terms of branch coverage, and improves bug finding on Lava-M by 10%. Most importantly, we improve the latency for obtaining 95% and 99% of the coverage by 90% and 64%, respectively. Furthermore, Cupid reduces the amount of CPU hours needed to find a high-performing combination of fuzzers by multiple orders of magnitude compared to an exhaustive evaluation.
Exploring the Potential of using Power as a First Class Parameter for Resource Allocation in Apache Mesos Managed Clouds

We propose a resource allocation policy that uses (a) Power as a first class parameter as an indicator of the computational intensity of a task and its potential impact on peak power draw, and (b) Power Tolerance as an indicator of a task’s sensitivity towards degradation of performance as a result of resource contention. Through experimentation and analysis, we present coarse-grained and fine-grained Power Tolerance assignment methods that can be employed to make smarter peak power performance trade-offs. Our experiments show that (a) cloud operators can benefit from a uniform workload-wide setting of Power Tolerance to achieve significant reduction in peak power consumption, (b) fine-grained Power Tolerance assignment methods show potential in making smarter peak power and performance trade-offs.
ENZYME IMMOBILIZATION ON POLYMERIC NANOPARTICLES AS A TOOL TO IMPROVE BIOCATALYTIC PERFORMANCE

The adsorption of Candida rugosa lipase (CRL) on different types of polymeric nanoparticles, both synthetic and derived from natural sources, was studied. Comparing to non nanostructured carriers, polymeric nanoparticles were able to induce a stabilization of the adsorbed CRL to different denaturing agents such as temperature, medium pH or organic solvents. Moreover, we evidenced that 200 nm poly-D,L-lactic acid nanoparticles could influence catalytic performance, enhancing dramatically CRL activity in aqueous medium. FTIR spectroscopy was used to characterize both free and immobilized CRL, evidencing a reproducible modification in the conformational features of CRL in different media (solid state and aqueous solutions).
images with GANs

This thesis addresses the problem of generating realistic images from simulated environments within the Standard Platform League of the RoboCup. Automatic generation of realistic images would be beneﬁcial in the process of developing machine learning algorithms. This is because when training those algorithms, large datasets are needed with annotations. In the case of automatic generation, this could be provided from the ground truth of the simulation model. For the Standard Platform League these developments are needed to increase the performance of the ball and/or opponent detection. The approach taken in this thesis, enables researchers to enhance the realism of an existing simulator simply by collecting images from the real world. Then use those images as training example to enhance simulated views. In order to organize such a process, a translation function between simulated images and real images needs to be explored and discovered. Such a function can be learned by generative adversarial networks. In order to
Impact of Protexin on digestibility of corn starch by honey bee, Apis mellifera (Hymenoptera: Apidae)

1. Department of agriculture and food science, Science and Research Branch, Islamic Azad University, Tehran, Iran & 2. Department of animal science, College of agriculture and natural resources, University of Tehran, Karaj, Iran. * Corresponding author, E-mail: M.chamani@srbiau.ac. ir Abstract This study was conducted to investigate the ability of bees to consume starch as a substitute for nectar and influence a commercial probiotic namely Protexin on starch absorption. In the first experiment, 36 honey bee hives were randomly allocated into six similar groups and fed using one of the diets, first group received sugar syrup as control treatment, second group received sugar syrup supplemented with 1 g/L of Protexin (P), third group received sugar syrup supplemented with 10% of the starch (S10), fourth group fed using sugar syrup supplemented with 20% of the starch (S20), fifth group received sugar syrup supplemented with 10% starch and one g/L of Protexin (S10P) and sixth group fed using sugar syrup supplemented with 20% of starch and one g/L of Protexin (S20P). In the second experiment, newly emerged worker bees were kept in laboratory cages and fed using the abovementioned experimental treatments for 21 days (at 34 ± 1 ̊C and 50% R.H.). At the end of both experiments, 100 worker bees from each treatment were selected to evaluate the starch absorption, the microbial population at the bee’s digestive tract, body weight, body protein, and lipid content. The results indicated that the starch absorption in the colonies fed by S20P treatment was significantly higher than that in the rest of the treated colonies (P≤0.05). The supplementation of diet with starch significantly enhanced their body weight, protein, and lipid content in both of the experiments (P≤0.05). Moreover, Protexin increased the bee’s gut microbial population at colony and cage conditions (P≤0.05). It is concluded that the dietary supplementation of the corn starch and Protexin could have a beneficial effect on the health and strength of the bee colonies.
Heat Transfer and Pressure Drop in Wavy-Walled Tubes: A Parameter-BASED CFD Study

Co-relations of friction factor and Nusselt number for plain tubes have been widely developed, but less analysis has been done for tubes with wavy surfaces. This paper uses the Computational Fluid Dynamics (CFD) tool for the analysis of heat transfer and pressure drop in wavy-walled tubes, which can be utilized as a heating element for fluids. An investigation was done for the effect of Reynolds number (Re) and wavy-walled tube geometry on friction factor and Nusselt number of laminar and turbulent flow inside wavy-walled tubes. The numerical results and experimental comparison indicate that heat transfer and pressure drop for water are significantly affected by wavy-walled tube parameters and flow Reynolds number. These wavy-walled tubes are capable of increasing the heat transfer to or from a fluid by an order of magnitude but at an expense of higher pumping power. This ratio was found to remain at the minimum at a wave factor of 0.83 for 34 < Re < 3500 and maximum at a wave factor of 0.15 for 200 < Re < 17,000. New correlations of friction factor and Nusselt number based on wavy-walled tube parameters are proposed in this paper, which can serve as design equations for predicting the friction factor and heat transfer in wavy-walled tubes under a laminar and turbulent regime with less than 10% error. The quantitative simulation results match the experimental results with less than 15% error. The qualitative comparison with the experiments indicates that the simulations are well capable of accurately predicting the circulation zones within the bulgy part of the tubes.
DRUIDJS — A JavaScript Library for Dimensionality Reduction

Dimensionality reduction (DR) is a widely used technique for visualization. Nowadays, many of these visualizations are developed for the web, most commonly using JavaScript as the underlying programming language. So far, only few DR methods have a JavaScript implementation though, necessitating developers to write wrappers around implementations in other languages. In addition, those DR methods that exist in JavaScript libraries, such as PCA, t-SNE, and UMAP, do not offer consistent programming interfaces, hampering the quick integration of different methods. Toward a coherent and comprehensive DR programming framework, we developed an open source JavaScript library named DRUIDJS. Our library contains implementations of ten different DR algorithms, as well as the required linear algebra techniques, tools, and utilities.
A UNIFIED ALGEBRAIC APPROACH TO RESIDUAL GENERATORS DESIGN

The paper presents a design methodology of residual generators used in fault detection applications. Two fundamental design objectives are considered, namely the fault detection and, the attenuation of the disturbances acting on the monitored plant. Using a unitary framework to characterize the performances of the residual generators, it is shown that the proposed methodology can be effective for various models of the monitored plants.
Long-time behaviour of numerical integrators for charged particle dynamics

11:30 – 12:00 Ernst Hairer (Université de Genève) Long-time behaviour of numerical integrators for charged particle dynamics 12:00 – 12:30 Luigi Brugnano (Universitá degli Studi di Firenze) Spectral Hamiltonian Boundary Value Methods (SHBVMs) 12:30 – 13:00 Pep Mulet Mestre (Universitat de València) Implicit-explicit schemes for partial differential equations with a nonlocal gradient flow structure 13:00 – 13:30 Laura Portero (Universidad Pública de Navarra) Parallel space-time algorithms for the solution of parabolic problems
Influence of the length of the internal sleeve valve on the release of powdery substances from the closures of valved bags for dangerous goods

In practice, checks on dangerous goods transports often detect leaks of powdered dangerous goods from valved bags. In this work, the influence factors of a sudden release of powdery substances from the valves of valved bags were investigated. Drop tests were performed on paper bags of UN design type 5M2 with internal sleeve valve using 2 different powdery substances (Esplas H130 and zinc oxide “Rotsiegel”).
Context Free Grammar Based Top-Down Parsing of Myanmar Sentences

Parsing is important in Linguistics and Natural Language processing to understand the syntax and semantics of a natural language grammar. Writing the grammar production for Myanmar language is bit difficult because Myanmar is a relatively free word order, morphologically rich and agglutinative language and has a strong case marking system. This paper presents a context free grammar (CFG) based top-down parsing for Myanmar sentences which is the output of function tagging system. We use the function tags that are proposed in our previous function tagging method for producing the grammar rules. In this paper, we present successful parses of simple and complex Myanmar sentences. Keywords—Context Free Grammar, Function Tags, Myanmar Sentences, Top-Down Parsing.
Design of a Novel Compact LTE/WWAN Antenna for Mobile Phone Applications

There are many disadvantages in the existing mobile phone antennas, such as complicated structure, high profile, large size and so on. In order to reduce the size of antenna, a novel miniaturized mobile phone antenna with octa-band is presented in this paper. The size of the presented antenna is only $36.4\ \text{mm}\times 7.5\ \text{mm}$ . The monopole and the ground strip coupling technologies to excite the resonant mode are used to broaden the bandwidth of the antenna. The measured results showed that LTE/WWAN can be covered, where $S_{11}$ is less than −6 dB. Comparing with traditional microstrip antennas, the proposed antenna has good radiation gain and efficiency with the small size, simple structure and wide frequency band.
Effects of the total fish meal replacement by soybean meal on growth parameters, serum biochemistry, and hepatic and intestinal histology of juvenile blunt snout bream (Megalobrama amblycephala)

ABSTRACT Fish meal is the main protein source in fish diet, but due to its unsustainability, it has to be replaced with more sustainable protein sources, such as soybean meal (SBM), in fish feeds. As SBM often produces negative effects on fish growth and health, we conducted an eight-week trial of complete fish meal replacement with SBM in the diet of juvenile (48.2 ± 0.55 g) blunt snout bream (Megalobrama amblycephala), a herbivorous cyprinid fish native to the Yangtze basin (China). SBM-fed fish exhibited: a worsened growth performance; improved survival rate (P > 0.05); elevated serum triglycerides and total cholesterol but reduced low-density lipoprotein in plasma (P < 0.05); mild lipid droplet accumulation and swelling of the liver; elevated goblet cell counts and mild signs of enteritis in the intestines. With negligible effects on growth and mild effects on health, M. amblycephala appears to be comparatively tolerant of SBM, but total fish meal replacement is not recommended. Future studies should aim to identify the SBM tolerance threshold in long-term growth trials.
ABORDAGEM ETNOGRÁFICA: UMA METODOLOGIA, MUITAS POSSIBILIDADES DE USO EM PESQUISAS

This editorial for this special issue of Brazilian Journal of Education, Technology and Society (BRAJETS), in partnership with the 6th Ibero-American Congress on Qualitative Research (CIAIQ2017), has its guiding principle the ethnography, methodology that permeates the content of the six (06) articles in the extended versions of the papers selected and invited by the scientific / organizing committee of CIAIQ2017, which address issues of education and health. This special issue of BRAJETS has as its central theme the theme "Ethnographic Approach: A methodology, many possibilities of use in research". This partnership between CIAIQ and BRAJETS seeks to promote and disseminate qualitative research to the scientific community in the target areas of this Journal which are: education, technology and society. In order to provide quality and representativeness of the articles published in this journal, we made sure that all underwent a double-blind review process, which uses the services of a scientific committee composed of experienced, qualified and extremely active researchers in their respective areas of activity. In the light of the above, we invite everyone to enjoy a good reading of this special issue of BRAJETS, and that it can contribute with inspirations and ideas for the writing and execution of future research, work and papers.
Fast time response measurements of particle size distributions in the 3–60 nm size range with the nucleation mode aerosol size spectrometer

Abstract. Earth's radiation budget is affected by new particle formation (NPF) and the growth of these nanometre-scale particles to larger sizes where they can directly scatter light or act as cloud condensation nuclei (CCN). Large uncertainties remain in the magnitude and spatiotemporal distribution of nucleation (less than 10 nm diameter) and Aitken (10–60 nm diameter) mode particles. Acquiring size-distribution measurements of these particles over large regions of the free troposphere is most easily accomplished with research aircraft. We report on the design and performance of an airborne instrument, the nucleation mode aerosol size spectrometer (NMASS), which provides size-selected aerosol concentration measurements that can be differenced to identify aerosol properties and processes or inverted to obtain a full size distribution between 3 and 60 nm. By maintaining constant downstream pressure the instrument operates reliably over a large range of ambient pressures and during rapid changes in altitude, making it ideal for aircraft measurements from the boundary layer to the stratosphere. We describe the modifications, operating principles, extensive calibrations, and laboratory and in-flight performance of two NMASS instruments operated in parallel as a 10-channel battery of condensation particle counters (CPCs) in the NASA Atmospheric Tomography Mission (ATom) to investigate NPF and growth to cloud-active sizes in the remote free troposphere. An inversion technique to obtain size distributions from the discrete concentrations of each NMASS channel is described and evaluated. Concentrations measured by the two NMASS instruments flying in parallel are self-consistent and also consistent with measurements made with an optical particle counter. Extensive laboratory calibrations with a range of particle sizes and compositions show repeatability of the response function of the instrument to within 5–8 % and no sensitivity in sizing performance to particle composition. Particle number, surface area, and volume concentrations from the data inversion are determined to better than 20 % for typical particle size distributions. The excellent performance of the NMASS systems provides a strong analytical foundation to explore NPF around the globe in the ATom dataset.
A Novel Design Methodology for Multi-Band Power Amplifier Matching Network

This article proposes a novel and simple method for multi-band matching networks (MN). The method is based on the idea of broadband matching network (BMN) which was applied to the broadband power amplifier (P A). For resonators operating in a BMN, designing a parallel resonator with a series reactance or a series resonator with a parallel reactance, is a feasible method to obtain a transmission zero. To validate this theory, a dual-band BPF is designed with center frequencies of 1.lGHz and 2.3GHz, the fractional bandwidth are 45% and 36.4%, respectively. Finally, the filter is used for designing a dual-band P A, and the measured results of power output (Pout) are met with the designed specifications.
DrugCombDB: a comprehensive database of drug combinations toward network medicine and combination therapy

Drug combinations have demonstrated high efficacy and low adverse side effects compared to single drug administrations in cancer therapies, and thus draw intensive attentions from researchers and pharmaceutical enterprises. Thanks to the fast development of high-throughput screening (HTS) methods, the amount of available drug combination datasets has tremendously increased. However, existing drug combination databases are lack of indications of the drug combinations and quantitative dose-responses. Therefore, there is an urgent need for a comprehensive database that is crucial to both experimental and computational screening of drug combinations. In this paper, we present DrugCombDB, a comprehensive database dedicated to integrating drug combinations from various data sources. Concretely, the data sources include 1) high-throughput screening assays of drug combinations, 2) external databases, and 3) manual curations from PubMed literature. In total, DrugCombDB includes 1,127,969 experimental data points with quantitative dose response and concentrations of drug combinations covering 561 unique drugs and 104 human cancer cell lines, and 1,875 FDA approved or literature-supported drug combinations. In particular, we adopted the zero interaction potency (ZIP) model [2] to compute the scores determining the synergy or antagonism of two drugs. To facilitate the downstream usage of our data resource, we prepared multiple datasets that are ready for building prediction models of classification and regression analysis. A website with user-friendly data visualization is provided to help users access the wealth of data. Users can input a drug of interest to retrieve associated drug combinations, together with the supporting evidence sources and drug targets. Our database is available at http://drugcombdb.denglab. org/.
The Financial Performance of Green Reits Revisited

Executive Summary The aim of this paper is to compare the financial performance of “green” and “non-green” U.S. REITs from January 2010 to February 2016 using risk-adjusted performance measures based on multi-factor models. First, we use performance measures (including the generalized Treynor ratio) able to capture the variety of systematic risk sources related to real estate. Second, we implement unbiased estimators to correct for the econometric bias induced by errors-in-variables (EIV) in asset pricing models. Third, to check the robustness of our results, we apply the methodology of Getmansky, Lo, and Makarov (2004) to deal with the problem of illiquidity. With these different adjustments, we analyze the relative performance of green U.S. REITs. Our results show that non-green U.S. REITs tend to perform better during this period than green REITs.
Types of logistics outsourcing and related impact on the 3PL buying process: empirical evidence

Although logistics outsourcing is recognised as a competitive parameter, so far there has been no adequate research on the types of logistics outsourcing and their implications in terms of the third-party logistics (3PL) buying process. This paper fills the gap by focussing on two key issues, i.e., required competitive advantages and 3PL selection criteria. The aim is to provide a comprehensive investigation of such factors and study if and how they vary depending on the outsourcing type. After a literature review and a focus group, a survey of 482 logistics managers was conducted, and a statistical analysis of results was performed. The findings are of interest to both shippers and 3PL providers because they help the former understand which outsourcing type is the most suitable to achieve the desired competitive advantages, and the latter to evaluate the key factors to focus on depending on the required type of outsourcing.
Circulator Integrated in LTCC with Screen Printed Co-Firing Ferrite for Space Application

A three-port junction ferrite circulator in Low-Temperature Co-fired Ceramics (LTCC) technology has been designed, fabricated and measured for applications of compact T/R modules in satellite payloads. Specifically, the co-fire-able ESL 40012 ferrite material is dissolved by alcohol and screen printed on Ferro A6ME tapes. The fabricated circulator operates at Ku band and the insertion loss is about 1.5 dB with the isolation higher than 15 dB. Since the screen printed ferrite is relatively thin and occupies small area, it reduces the stress of different materials' shrinkage mismatch during the co-firing. In addition, the fabrication is fully compatible with the conventional LTCC fabrication process. In this article, the circulator's design, the innovative fabrication process and the measurements are reported.
A robust estimation method of ship target attitude angle based on radar track

This paper presents a new method to extract the characteristics of ship attitude angle by using radar track information. Firstly, the ship motion model is established, and then the track data is preprocessed. After that the motion state of ship is estimated, and the curve is simulated by the M-estimator method. Finally, the attitude angle of ship is estimated. The experiment results show that the method is robust and estimate attitude angle of ship effectively. Therefore it has a great application value in engineering.