Symbolic regression (SR) poses a significant challenge for randomized search heuristics due to its reliance on the synthesis of expressions for input-output mappings. Although traditional genetic programming (GP) algorithms have achieved success in ...

Sharing energy storage (SES) is a novel business model and a promising solution for developing energy storage technology, waking up idle energy storage resources and improving the profits of energy storage projects. However, the operation modes of SES ...

This paper deals with the derivation and analysis of reduced order elliptic PDE models on fractured domains. We use a Fourier analysis to obtain coupling conditions between subdomains when the fracture is represented as a hypersurface embedded in the ...

With the improvement of people's quality of life, as well as the establishment and development of e-commerce platforms, a large number of express orders have been brought. As the rapid growth of express business volume, the demand for express mail ...

The amount of data available in public bioinformatics resources and the complexity of user interfaces they are served through often challenges appreciation and effective utilization of these valuable resources. While education, documentation and ...

We present a new methodology for proving distribution testing lower bounds, establishing a connection between distribution testing and the simultaneous message passing (SMP) communication model. Extending the framework of Blais, Brody, and Matulef [15], ...

The Finite Element Method is a widely-used method to solve numerical problems coming for instance from physics or biology. To obtain the highest confidence on the correction of numerical simulation programs implementing the Finite Element Method, one ...

This tutorial is targeted at academics and practitioners, both within and outside of the Document Engineering community, who are confronted with table processing tasks such as information extraction and conversion, or have an interest in the topic, and ...

Data Science, considered as a science by itself, is in general terms, the extraction of knowledge from data. Symbolic data analysis SDA gives a new way of thinking in Data Science by extending the standard input to a set of classes of individual ...

We present an O*(n³) randomized algorithm for estimating the volume of a well-rounded convex body given by a membership oracle, improving on the previous best complexity of O*(n⁴). The new algorithmic ingredient is an accelerated cooling schedule where ...

Design of a system architecture normally refers to a pre-defined goal. We consider the goal as the desired (functional or non-functional) aspect that is achieved by providing functionalities or mechanisms that support it. For example, a security goal is ...

Recent advances in hardware security have led to the development of FANCI (Functional Analysis for Nearly-Unused Circuit Identification), an analysis algorithm that identifies stealthy, malicious circuits within hardware designs that can perform ...

The Defense Advance Research Projects Agency (DARPA) looks to achieve infantry squad overmatch through the incorporation of advanced technology in their Squad-X Program. In terms of an infantry squad, overmatch is the ability to immediately overwhelm an ...

Hardware design today bears similarities to software design. Often vendors buy and integrate code acquired from third-party organizations into their designs, especially in embedded/system-on-chip designs. Currently, there is no way to determine if third-...

Coronary CT angiography is widely used in clinical practice for the assessment of coronary artery disease. Several studies have shown that the same exam can also be used to assess left ventricle (LV) function. Even though coronary CT angiography ...

A mathematical framework for studying a fuzzy optimal control using functional type SIRMs reasoning method is discussed in this paper. The existence of SIRMs which minimize the cost function of fuzzy control system is proved with continuity of ...

We study complex-valued Nakagami-m variates, establishing the moment determinance of the envelope, phase and joint envelope-phase Nakagami-m probability density functions (pdf's). Inspired by that result, we then show that Nakagami-m variates with ...

According to Maslow's hierarchy of needs, the Sustainable Development Theory and the Theory of Urban Growth, this article which is based on the theoretical analysis of the function of the land-use system in urban residential areas has sorted out the ...

On the basis of cybernetics, it reveals the structural features and functions of the United States’ administrative monitoring system, by using system analysis method to construct systematic model and introduce transfer functions. The result shows that ...

We examine condition numbers, preconditioners, and iterative methods for finite element discretizations of coercive PDEs in the context of the fundamental solvability result, the Lax-Milgram lemma. Working in this Hilbert space context is justified ...