Miracle-dz/UniFAR-FTUs huggingface dataset:
Fuzzing: Art, Science, and Engineering

Among the many software vulnerability discovery techniques available today, fuzzing has remained highly popular due to its conceptual simplicity, its low barrier to deployment, and its vast amount of empirical evidence in discovering real-world software vulnerabilities. While researchers and practitioners alike have invested a large and diverse effort towards improving fuzzing in recent years, this surge of work has also made it difficult to gain a comprehensive and coherent view of fuzzing. To help preserve and bring coherence to the vast literature of fuzzing, this paper presents a unified, general-purpose model of fuzzing together with a taxonomy of the current fuzzing literature. We methodically explore the design decisions at every stage of our model fuzzer by surveying the related literature and innovations in the art, science, and engineering that make modern-day fuzzers effective.
Trigonometric approximation and a general form of the Erd\H{o}s Tur\'{a}n inequality

There exists a positive function $\psi(t)${on}$t\geq0${, with fast decay at infinity, such that for every measurable set}$\Omega${in the Euclidean space and}$R>0${, there exist entire functions}$A(x) ${and}$B(x) ${of exponential type}$R${, satisfying\}$A(x)\leq \chi_{\Omega}(x)\leq B(x)${and}$| B(x)-A(x)| \leqslant\psi(R\operatorname*{dist}(x,\partial\Omega)) $. This leads to Erd\H{o}s Tur\'{a}n estimates for discrepancy of point set distributions in the multi dimensional torus. Analogous results hold for approximations by eigenfunctions of differential operators and discrepancy on compact manifolds.
Analysis of buck converters used as power factor preregulators

Buck-type converters are analyzed for application as power factor preregulators. In particular, the maximum power for which the IEC 10003-2 standards are met is calculated for different conversion ratios and modulation techniques. Two step-down converters are proposed, which comply with EMC standards thanks to an auxiliary flyback stage which uses the same switches of the main converter plus a small power switch commutated at the line frequency. With proper design, the voltage stress of the main switch remains the same as for a conventional buck topology. Simulations and experimental results are reported to validate the theoretical analysis.
Molecular distributions of dicarboxylic acids, ketocarboxylic acids and α-dicarbonyls in biomass burning aerosols : implications for photochemical production and degradation in smoke layers

Aerosols in the size class 2 –C 11 ) and related compounds (ketocarboxylic acids and α-dicarbonyls) were identified using gas chromatography (GC) and GC/mass spectrometry (GC/MS). Among the species detected, oxalic acid was found to be the most abundant, followed by succinic, malonic and glyoxylic acids. Average concentrations of total dicarboxylic acids, ketocarboxylic acids and α-dicarbonyls in the aerosol samples were 2180, 167 and 56 ng m −3 , respectively. These are 2–8, 3–11 and 2–16 times higher, respectively, than those reported in urban aerosols, such as in 14 Chinese megacities. Higher ratios of dicarboxylic acids and related compounds to biomass burning tracers (levoglucosan and K + ) were found in the daytime than in the nighttime, suggesting the importance of photochemical production. On the other hand, higher ratios of oxalic acid to other dicarboxylic acids and related compounds normalized to biomass burning tracers (levoglucosan and K + ) in the daytime provide evidence for the possible degradation of dicarboxylic acids (≥C 3 ) in this smoke-polluted environment. Assuming that these and related compounds are photo-chemically oxidized to oxalic acid in the daytime, and given their linear relationship, they could account for, on average, 77% of the formation of oxalic acid. The remaining portion of oxalic acid may have been directly emitted from biomass burning as suggested by a good correlation with the biomass burning tracers (K + , CO and EC a ) and organic carbon (OC). However, photochemical production from other precursors could not be excluded.
The Minimum-Maximum Weather Temperature Difference Effect on Dengue Incidence in Sleman Regency of Yogyakarta , Indonesia Tri

Dengue is a viral disease, transmitted by Aedes aegypti, and is still a big problem in tropical areas, including Indonesia, where the temperatures are relatively warm and suitable for vector mosquito life. In the dry season, the day and night temperature differences are quite sharp and, at that time, the number of dengue cases is low. In this study, the difference between day and night temperature is referred to as daily temperature fluctuation and represented by the maximum and minimum temperature difference in each month. The research was conducted in Sleman Regency, Yogyakarta Province, Indonesia, as an endemic area, and the data were collected from 4 endemic areas in Sleman; Gamping, Godean, Sleman, and Depok districts. The data collected were quantitative with serial data retrospective. Secondary data of monthly dengue incidence in the years 2008 2013 were obtained from the Regency Health Office and used as a dependent variable. Monthly minimum and maximum temperatures in the same periods were obtained from the Agency of Meteorology, Climatology, and Geophysics. The differences between the minimum and maximum temperatures were calculated, to be used as independent variable data, and represented the different day and night temperatures of the month. Data were analyzed by using linear regressions to determine the influence of fluctuating temperature on the incidence of dengue. Results show that fluctuating temperature affected dengue incidence in the districts of Godean (p = 0.000; R = 0.207) and Gamping (p = 0.006; R = 0.125), but did not affect it in Sleman (p = 0.164) or Depok (p = 0.075). The data suggests that fluctuating temperature affected dengue incidence with powers of 20.7 % in Godean and 12.5 % in Gamping.
Identifikasi Sel Acute Lymphoblastic Leukemia (ALL) pada Citra Peripheral Blood Smear Berdasarkan Morfologi Sel Darah Putih

Penelitian ini mengajukan sebuah sistem untuk melakukan identifikasi sel Acute Lymphoblastic Leukemia (ALL) pada citra sediaan apus darah berdasarkan ciri morfologi. Agoritma yang digunakan meliputi beberapa langkah: pra-pengolahan, segmentasi citra, perhitungan fitur dan klasifikasi. Algoritma K-means Clustering berdasarkan segmentasi warna digunakan untuk memisahkan citra apus darah menjadi empat daerah: latar belakang, nukleus WBC, sitoplasma WBC dan RBC. Nukleus yang tumpang tindih kemudian dipisahkan dengan mengaplikasikan metode Watershed Transform. Berdasarkan lima fitur morfologi yaitu area, perimeter, diameter, roundness dan compactness, citra apus darah diklasifikasikan menggunakan metode Support Vector Machine. Hasil penelitian ini didapatkan akurasi pengenalan sel ALL dan sel darah putih normal sebesar 95.45%.
Simulating long-term effectiveness and efficiency of management scenarios for an invasive grass

Resource managers are often faced with trade-offs in allocating limited resources to manage plant invasions. These decisions must often be made with uncertainty about the location of infestations, their rate of spread and effectiveness of management actions. Landscape level simulation tools such as state-and-transition simulation models (STSMs) can be used to evaluate the potential long term consequences of alternative management strategies and help identify those strategies that make efficient use of resources. We analyzed alternative management scenarios for African buffelgrass (Pennisetum ciliare syn. Cenchrus ciliaris) at Ironwood Forest National Monument, Arizona using a spatially explicit STSM implemented in the Tool for Exploratory Landscape Scenario Analyses (TELSA). Buffelgrass is an invasive grass that is spreading rapidly in the Sonoran Desert, affecting multiple habitats and jurisdictions. This invasion is creating a novel fire risk and transforming natural ecosystems. The model used in this application incorporates buffelgrass dispersal and establishment and management actions and effectiveness including inventory, treatment and post-treatment maintenance. We simulated 11 alternative scenarios developed in consultation with buffelgrass managers and other stakeholders. The scenarios vary according to the total budget allocated for management and the allocation of that budget between different kinds of management actions. Scenario results suggest that to achieve an actual reduction and stabilization of buffelgrass populations, management unconstrained by fiscal restrictions and across all jurisdictions and private lands is required; without broad and aggressive management, buffelgrass populations are expected to increase over time. However, results also suggest that large upfront investments can achieve control results that require relatively minimal spending in the future.
MIKHAIL MOKLYACHUK AND ALEKSEY ZRAZHEVSKY ANALYSIS AND FORECASTING OF SELF-SIMILAR FINANCIAL TIME SERIES

Many methods of analysis of time series of various types and origin are based on self-similarity and long-range dependence of time series. The long-range dependent processes provide a good description of many highly persistent financial time series. The predominant way to quantify long-range dependence and self-similarity is the value of the Hurst parameter. Methods of estimating the Hurst parameter are described in [1], [3], [4], [9], [10]. The problem of prediction of time series is one of the important problems of the theory of stochastic processes. Prediction the cash flows, constructing the arbitration strategy for prices of indexes on securities markets are examples of the problem. Different methods are proposed in literature for prediction of time series (see, for example, [5], [6]). Most of the proposed methods of prediction of long-range dependent time series are based on the choice of an appropriate stochastic model. Examples of such model are FARIMA, SEMIFAR, FIGARCH, GARCH [5]. The self-similarity of time series of prices of MSFT ticker and the corresponding derived series (the returns of MSFT ticker) is analyzed in [1]. It is shown that for prices of MSFT ticker the Hurst parameter is close to 1, so the prices may include trend and the data is predictable. This time series can be simulated with the help of self-similar processes. For the returns of MSFT ticker the Hurst parameter is close to 0.5, so the returns are uncorrelated, and it is impossible to predict them. This paper deals with the prediction of long-range dependent time series based on the FARIMA model. On the basis long-range dependence of time series of prices of MSFT ticker analyzed in [1] the FARIMA model is used for description of MSFT time series of prices. The prediction from this model is constructed.
The use of neural networks for testing and failure analysis of electronic devices

The paper deals the problem of remote technical diagnostics of complex objects. This allows detecting failures not only during testing of equipment, but also during operation. One effective way of non-contact measurement of technical state of the test object is to obtain a thermogram their surface. The article describes the structure of the information-measuring system, which includes a measuring channel with a thermal imager. Method thermography analysis using the comparison of measured data with the calculated temperature fields is proposed. To solve the incorrectness of the inverse heat conduction problem, it was suggested to use a two-branch artificial neural network. The structure of such a convolutional neural network is described. The influence of neural network parameters on the quality of detection of defective thermograms was studied. It is shown that such a technique allows increasing the detection accuracy of failures and defects of electronic devices during remote monitoring.
From Karl Marx to Antonio Gramsci and Louis Althusser

This entry approaches its topic through the perspective of the role of language and ideology in politics and the exercise of state power. It begins by introducing the analyses of Marx (and Engels) on language and its evolution, then considers the relation between their approach to language and ideology in the French Enlightenment sense of the science of ideas (a key influence in Marx’s work), and finally considers the relation between language, ideology, and politics. It notes that Marx rarely referred to ideology as such, usually qualifying the noun (e.g., German Ideology, petty bourgeois ideology) or employing ideology as an adjective to supplement a noun (e.g., ), and then explores the successive ways in which Marx explores ideology, distinguishes it from science, and engages in Ideologiekritik. Referencing, inter alia, the Eighteenth Brumaire of Louis Bonaparte, it also indicates that Marx called for a new political ‘language’ (‘a poetry of the future’) as a precondition for a radical transformation. After some brief comments on the concept of ideology in the Second International and Marxism-Leninism, the analysis turns to the work of Antonio Gramsci, noting the significance of his university studies in philology (specifically historical and spatial linguistics) and then focusing on his Prison Notebooks. It introduces four key concepts and their use in Gramsci’s notebooks: ideology, intellectuals, hegemony, and the state as hegemony armoured by coercion. It also considers folklore, popular culture, and the national-popular. This enables a discussion of the role of struggles for hegemony in the politics of democratic polities or, at least, societies in which mass politics is important. Following another brief interlude on alternative approaches to language and politics in inter-war Western Marxism, the analysis turns to the work of the so-called structural Marxist, Louis Althusser. The key texts here concern those that address ideology, ideological state apparatuses, interpellation, and the expanded reproduction of capitalist social relations. Here I analyse the early analysis of ideological state apparatuses (which involves a critique of Gramsci’s historicism) and a later rapprochement with Gramsci’s work on hegemony. The chapter concludes with a comparison of the work of Marx, Gramsci, and Althusser on language, ideology, and politics, emphasizing continuities as well as discontinuities, and assessing their contemporary relevance.
An improved semi-empirical model for the densification of Antarctic firn

A firn densification model is presented that simulates steady-state Antarctic firn density profiles, as well as the temporal evolution of firn density and surface height. The model uses an improved firn densification expression that is tuned to fit depth-density observations. Liquid water processes (meltwater percolation, retention and refreezing) are also included. Two applications are presented. First, the steady-state model version is used to simulate the strong spatial variability in firn layer thickness across the Antarctic ice sheet. Second, the time-dependent model is run for 3 Antarctic locations with different climate conditions. Surface height changes are caused by a combination of accumulation, melting and firn densification processes. On all 3 locations, an upward trend of the surface during autumn, winter and spring is present, while during summer there is a more rapid lowering of the surface. Accumulation and (if present) melt introduce large inter-annual variability in surface height trends, possibly hiding ice dynamical thickening and thinning.
Generalized Sasakian space forms with semi-symmetric non-metric connections

The aim of the present paper is to introduce generalized Sasakian space forms endowed with semi-symmetric metric connections. We obtain the existence theorem of a generalized Sasakian space form with semi-symmetric metric connection and we give some examples by using warped products endowed with semi-symmetric metric connection. Mathematics Subject Classification 2010: 53C25, 53C15, 53B05.
Earnings management in Russian companies: professional ethics of operating decisions

The problem of earnings management is on of most topical issues in accounting practice worldwide. There are many reasons for this phenomenon. In this paper we will follow papers [Fischer, Rosenzweig, 1995; Geiger et al., 2006] to present the results of analysis of a survey of Russian respondents concerning their attitudes on the ethical acceptability of earnings management. It occurs that Russian respondents’ behavior is different from other countries and we find factors that are associated with these differences. On the other hand, it was found that Russia is not significantly different in earnings management perception from market oriented developed countries.
Optimization of a sprinkling system using undiluted canola oil for dust control in pig buildings.

Swine producers are exposed to high dust levels in pig barns and different methods have been tested for controlling dust concentrations over the last decade. Oil sprinkling/spraying has proven to be one of the most effective methods so far for reducing dust concentration in pig buildings. In most of those previous experiments, the oil had to be manually applied once or twice a day. The swine industry has not easily adopted oil application technology because of the very intensive labour required for manual sprinkling of oil and because of its perceived high cost. An oil sprinkling system has been designed to control dust levels in pig buildings using undiluted crude canola oil and proved to be effective in reducing dust in tests performed over a two-week period at PSCI (Lemay et al., 1999).
Survey on the RET-listed Medicinal Plants in Thadagamalai Range ofKanyakumari District, Tamilnadu

Medicinal plant survey was conducted and assessed the endemic, endangered and threatened medicinal plants in Thadagamalai range of Kanyakumari Wildlife Sanctuary during the year 2011-2013. There are 25 RET-listed species enumerated and further analysed their distribution with various threat categories both global and regional scale. Cycas circinalis is only one species were identified critically endangered and other species are endangered (8 species), vulnerable (11 species) near threatened (4 species) and least concern (one species). The data provide the information for diversity of RET-listed medicinal species to design the sustainable utilization and conservation measures.
Significant Region-Based Framework for Early Diagnosis of Alzheimer's Disease Using 11C PiB-PET Scans

Alzheimer's disease (AD) is a behavioral and cognitive neurodegenerative disorder whose sufferers exceed 5.5 million Americans. Among its stages, the early diagnosis of AD is considered the main research issue due to many factors including the variable effects of the disease through its patients. This paper targets the personalized diagnosis of AD through presenting a local/regional analysis system that represents the degree of regional abnormalities using detailed parcellation of the brain. For more detailed results, the statistical analysis was applied for restricting the diagnosis to the statistically determined significant brain regions. The system's evaluation shows promising results with an average accuracy, specificity, and sensitivity between the three tested groups of 98%, 99.09%, and 96.48%, respectively.
MODELI ZA PREDIKCIJU STALNOSTI POSLOVANJA I VJEROVATNOĆE BANKROTSTVA PREDUZEĆA

U prvom dijelu rada se ukazuje na potrebu, značaj i pristup (pr)ocjeni vjerovatnoće poslovno-finansijskih kriza i bankrotstva preduzeća kao prijetnje stalnosti poslovanja, zasnovan na podacima iz finansijskih izvještaja, te daje pregled relevantne literature. Drugi dio rada elaborira odgovarajuće metodologije i modela testiranja vjerovatnoće bankrotstva, razmatra mogućnost prilagođavanja određenih modela razvijenih za ovu svrhu za primjenu u Bosni i Hercegovini, te pristup i razvoj sopstvenih modela koji bi mogli obezbijediti zadovoljavajući stepen pouzdanosti predviđanja bankrotstva i ugrožavanja pretpostavke o stalnosti poslovanja preduzeća u Bosni i Hercegovini. Rezultati testiranja odabranih modela su prezentovani u trećem dijelu rada. Četvrti dio rada sadrži analizu i razmatranje mogućih područja primjene testiranih modela u funkciji donošenja odgovarajućih poslovnih odluka zasnovanih na scenario analizi, te ukazuje na aktuelne pravce u razvoju prakse modeliranja, vještačke inteligencije i “dubokog učenja”. Peti dio rada sadrži zaključna razmatranja.
Social justice, devolution and the city-region: Greater Manchester as a new site of innovation?

On 3 rd November 2014 the Chancellor of the Exchequer, George Osborne, made the first of three significant announcements on changes to the way services are run across Greater Manchester. The devolution package that was on offer, and subsequently agreed, represents an important shift in the political authority of the city-region to exercise greater control over its services. The Greater Manchester Combined Authority (GMCA) and its ten members 1
Advanced chemical oxidation of 2,4,6-trichlorophenol by using Fenton's reagent - dechlorination and toxicity reduction

Chlorinated phenols are priority pollutants, regulated by stringent discharge limits. The presence of chlorine increases the toxicity of these phenolic compounds and decreases their biodegradability. This study is to examine the removal of a priority chlorinated aromatic pollutant, 2,4,6-trichlorophenol (TCP), in aqueous solution by using Fenton's Reagent (a mixture of hydrogen peroxide and fenous iron catalyst), in tem1s of dechlorination and toxicity ! 'eduction. Test results indicate that the higher the molar ratio of H202 to TCP, the faster the release of chloride from TCP. However, the chloride released in all runs eventually approach the same level of theoretical chloride concentration, 26.62 mg/L. This process of dechlorination is essentially complete in two hours. TCP appears to be transfmmed to organic inte1mediates in the course of dechlorination and oxidation. In tenns of Microtox EC50,significant toxicity reduction takes place as a result of the advanced oxidation by Fenton's Reagent; and amounts of oxidant and catalyst used appear to have some effects on the extent of toxicity reduction. KEY WORDS-Fenton's reagent; hydrogen peroxide; 2,4,6-trichlorophenol; dechlorination; advanced oxidation; toxicity reduction.
AN EXPLOSIVE EXPANSION TOWARDS MUTUAL DATA UTILIZING ROUTINE USING DATA ASSEMBLY

The information collector gathers reviews about points-of-interest (POIs) from data contributors, while LBSPs purchase POI data many techniques from the information collector and permit users to do spatial top-k queries which request the POIs inside a certain region along with the greatest k ratings to have an interested POI attribute. This paper presents three novel schemes for users to identify fake spatial snapshot and moving top-k query results being an effort to promote the sensible deployment and utilization of the suggested system. The effectiveness and efficiency in our schemes are completely examined and evaluated. The machine includes a data collector, data contributors, location-based providers (LBSPs), and system users. This paper views a manuscript distributed system for collaborative location-based information generation and discussing which become more and more popular because of the explosive development of Internet-capable and placement-aware cellular devices. Used, LBSPs are entrusted and could return fake query recent results for various bad motives, e.g., in support of POIs prepared to pay.