The proof-of-work is a central concept in modern cryptocurrencies, but the requirement for fast verification so far made it an easy prey for GPU-, ASIC-, and botnet-equipped users. The attempts to rely on memory-intensive computations in order to remedy the disparity between architectures have resulted in slow or broken schemes. In this paper we solve this open problem and show how to construct...

The character projection (CP) is utilized for maskless lithography and is a potential for the future photomask manufacture because the CP can project ICs faster than the point beam projection and the variable-shaped beam (VSB) projection. The drawback of the CP is its lower throughput than that of photomask-based lithography and the amortization cost of CP equipment leads to the price rise of I...

This paper aimed to develop a useful Machine Learning (ML) model for detecting companies with lasting competitive advantages (companies’ moats) according their financial ratios in order improve the performance of investment portfolios. First, we computed belonging S&P 500. Subsequently, assessed stocks’ moats an evaluation defined between 0 and 5 each ratio. The sum all provided score 100 c...

For any fixed field K∈{Q2,Q3,Q5,…}, we prove that all univariate polynomials f with exactly 3 (resp. 2) monomial terms, degree d, and coefficients in {±1,…,±H}, can be solved over K within deterministic time log4+o(1)⁡(dH)log3⁡d log2+o(1)⁡(dH)) the classical Turing model: Our underlying algorithm correctly counts number of roots K, for each such root generates an approximation Q logarithmic hei...

Abstract Sampling-based inference techniques are central to modern cosmological data analysis; these methods, however, scale poorly with dimensionality and typically require approximate or intractable likelihoods. In this paper we describe how Truncated Marginal Neural Ratio Estimation ( tmnre ) (a new approach in so-called simulation-based inference) naturally evades issues, improving the i ef...

Retrieving the physical parameters from spectroscopic observations of exoplanets is key to understanding their atmospheric properties. Exoplanetary retrievals are usually based on approximate Bayesian inference and rely sampling-based approaches compute parameter posterior distributions. Accurate or repeated retrievals, however, can result in very long computation times due sequential nature al...

In the quest for a better use of energy resources, integration, and cogeneration strategies have been employed in industrial commercial sectors with considerable benefits realized. However, residential sector remains underexplored. An optimization procedure should be carried out whenever there is need to ensure or verify economic viability an system. This study uses Mixed Integer Linear Program...

The purpose of the article is to study process obtaining audit evidence and methods their evaluation in context application International Auditing Standards. defines concept evidence. main requirements for are characterized (acceptability as a measure quality evidence; sufficiency amount evidence). content international standards, which determine procedure collecting (IAS 500, IAS 501, 505, 520...

Label noise significantly degrades the generalization ability of deep models in applications. Effective strategies and approaches (e.g., re-weighting or loss correction) are designed to alleviate negative impact label when training a neural network. Those existing works usually rely on pre-specified architecture manually tuning additional hyper-parameters. In this paper, we propose warped proba...

Carbon pricing is a cost-effective method for mitigating climate impacts. This article examines the conventional life cycle cost (LCC), net present value (NPV), and carbon dioxide (CO2) emissions of Solid Oxide Fuel Cell Electric Vehicle (SOFCEV) powered by Brazilian fuels. The reduction potential SOFCEV was evaluated, considering productivity sugarcane fixed these plantations, through mechanis...