Bot accounts are automated software programs that act as legitimate human profiles on social networks. Identifying these kinds of accounts is a challenging problem due to the high variety and heterogeneity that bot accounts exhibit. In this work, we...
In this work, we propose a Realistic Scheduling Mechanism (RSM) to reduce user frustration and enhance appliance utility by classifying appliances with respective constraints and their time of use effectively. Algorithms are proposed regarding functi...
Monitoring traffic flow across large-scale transportation networks is essential for effective traffic management, yet comprehensive sensor deployment is often infeasible due to financial and practical constraints. The traffic sensor location problem...
Group-buying platforms require the joint treatment of individual user relevance and hard operational constraints, including minimum group size, lot capacity, spending limits, product availability, and simultaneous participation limits. This paper pre...
Online platforms and IoT back-ends face abrupt traffic surges. A tightly coupled monolith keeps response times short but becomes fragile under peak load, whereas loosely coupled microservices scale and isolate faults at the price of extra network com...
This paper presents a synaptic driving circuit design for processing in-memory (PIM) hardware with a thin-film transistor (TFT) embedded flash (eFlash) for a binary/ternary-weight neural network (NN). An eFlash-based synaptic cell capable of programm...
Multiple traveling salesperson problems (mTSP) are a collection of problems that generalize the classical traveling salesperson problem (TSP). In a nutshell, an mTSP variant seeks a minimum cost collection of m paths that visit all vertices of a give...
A convex polytope or simply polytope is the convex hull of a finite set of points in Euclidean space
In this study, the phase diagram of the NaCl+RbCl binary system was measured using differential scanning calorimetry, and the measured molar percentages of the binary mixture RbCl ranged from 12 to 97 mol%, updating and extending the experimental dat...
Portland cement–silica fume binary cementitious materials are widely used in engineering construction and have been investigated from micro- to macroscopic aspects. However, the theoretical background on the hydration kinetics of the binary sys...
Many different aspects of software system development and verification rely on precise function identification in binary code. Recognition of the source Assembly functions in embedded systems is one of the fundamental challenges in binary program ana...
This paper deals with a classical problem in power system analysis regarding the optimal location and sizing of distributed generators (DGs) in direct current (DC) distribution networks using the mathematical optimization. This optimization problem i...
Background: Psychosocial assessment is central to lung transplant evaluation. Structured tools such as the Stanford Integrated Psychosocial Assessment for Transplantation (SIPAT) can be used either to support exclusionary decisions or to guide psycho...
This study aimed to evaluate the long-term impact of children’s dental care programs on children and adolescents to reduce oral health inequalities. It measured and assessed the improvement effects of children’s dental care programs on th...
A binary diagnostic test is a medical test that is applied to an individual in order to determine the presence or the absence of a certain disease and whose result can be positive or negative. A positive result indicates the presence of the disease,...
Background: School food literacy programs (e.g., home economics) are an opportunity to improve the dietary habits of teens. However, the literature suggests that girls and athletes have better food literacy, and it is not clear how school programs co...
The goal of decompilation is to convert compiled low-level code (e.g., assembly code) back into high-level programming languages, enabling analysis in scenarios where source code is unavailable. This task supports various reverse engineering applicat...
Control flow critical metadata play a key role in hardware-based control flow integrity (CFI) mechanisms that effectively monitor and secure program control flow based on pre-extracted metadata. The existing control flow analysis tools exhibit some d...
Trading in binary options is discussed using an approach based on expected profit (EP) and expected loss (EL) as metrics of reward and risk of trades. These metrics are reviewed and the role of the EL/EP ratio as an indicator of quality of trades, ta...
Firmware vulnerabilities in embedded devices have caused serious security incidents, necessitating similarity analysis of binary program instruction embeddings to identify vulnerabilities. However, existing instruction embedding methods neglect progr...
Third-party library (TPL) reuse may introduce vulnerable or malicious code and expose the software, which exposes them to potential risks. Thus, it is essential to identify third-party dependencies and take immediate corrective action to fix critical...
The traditional machine-part cell formation problem simultaneously clusters machines and parts in different production cells from a zero–one incidence matrix that describes the existing interactions between the elements. This manuscript explores a no...
With the proliferation of satellite internet systems, such as Starlink and OneWeb, ground terminals have become critical for ensuring end-user connectivity. However, the security of Satellite Internet Ground Terminals (SIGTs) remains underexplored. T...
An algorithm for equivalence of linear codes over finite fields is presented. Its main advantage is that it can extract exactly one representative from each equivalence class among a large number of linear codes. It can also be used as a test for iso...
Quantum annealers such as D-Wave machines are designed to propose solutions for quadratic unconstrained binary optimization (QUBO) problems by mapping them onto the quantum processing unit, which tries to find a solution by measuring the parameters o...
We revisited the short-period (∼1.5 days) binary system KIC 5444392, which shows quasi-period modulated light variations. Previous studies indicated that these variations might be caused by stellar pulsations. In our work, we used the PHOEBE prog...
Binary translation, as an important bridge for application compatibility between different instruction set architectures (ISAs), has attracted much attention in the industry. However, due to hardware resource limitations of the target ISA, the transl...
Water quality trading (WQT) programs aim to efficiently reduce pollution through market-based incentives. However, WQT performance is uneven; while several programs have found frequent use, many experience operational barriers and low trading activit...
This paper contributes with a new two-stage optimization methodology to solve the problem of the optimal placement and sizing of solar photovoltaic (PV) generation units in medium-voltage distribution networks. The optimization problem is formulated...
A second-order cone programming support vector machine (SOCP-SVM) method is proposed to realize the binary classification faster and better. This method combines the advantages of better classification performance of nonparallel hyperplane second-ord...
Binary function similarity analysis evaluates the similarity of functions at the binary level to aid program analysis, which is popular in many fields, such as vulnerability detection, binary clone detection, and malware detection. Graph-based method...
We study the probability of an undetected error for general q-ary codes. We give upper and lower bounds on this quantity, by the Linear Programming and the Polynomial methods, as a function of the length, size, and minimum distance. Sharper bounds ar...
The Graph Burning Problem (GBP) is a combinatorial optimization problem that has gained relevance as a tool for quantifying a graph’s vulnerability to contagion. Although it is based on a very simple propagation model, its decision version is N...
The problem of the optimal siting and sizing of fixed-step capacitor banks is studied in this research from the standpoint of convex optimization. This problem is formulated through a mixed-integer nonlinear programming (MINLP) model, in which its bi...
Solving mixed-integer nonlinear programs (MINLPs) is hard from both a theoretical and practical perspective. Decomposing the nonlinear and the integer part is promising from a computational point of view. In general, however, no bounds on the objecti...
In this study, we significantly extend the concept of modular metric-like spaces to introduce the notion of b-metric-like spaces. Furthermore, by incorporating a binary relation
The problem of control synthesis is considered as machine learning control. The paper proposes a mathematical formulation of machine learning control, discusses approaches of supervised and unsupervised learning by symbolic regression methods. The pr...
For realizing neural networks with binary memristor crossbars, memristors should be programmed by high-resistance state (HRS) and low-resistance state (LRS), according to the training algorithms like backpropagation. Unfortunately, it takes a very lo...
There will be a dearth of electrical energy in the prospective world due to exponential increase in electrical energy demand of rapidly growing world population. With the development of internet-of-things (IoT), more smart devices will be integrated...
This paper presents many new complex combined dark-bright soliton solutions obtained with the help of the accurate sine-Gordon expansion method to the B-type Kadomtsev-Petviashvili-Boussinesq equation with binary power order nonlinearity. With the us...
Hydropower producers must submit bids to electricity market auctions where they state their willingness to produce power. These bids may be determined using a mixed-integer linear stochastic program. However, for large interconnected river systems, t...
The minimization of Exclusive-OR Sum-of-Products (ESOP) expressions in the case of multi-valued input, multi-output binary, and certain types of multi-valued output functions (MVESOP) is approached in this work through a novel nonlinear integer progr...
Greybox Fuzzing is the most reliable and essentially powerful technique for automated software testing. Notwithstanding, a majority of greybox fuzzers are not effective in directed fuzzing, for example, towards complicated patches, as well as towards...
Marcolli, Chomsky, and Berwick described the minimalist program, proposed by Chomsky in generative linguistics, as an algebra of binary trees in an analogy of quantum physics on Feynman diagrams. In this paper, we proposed another model of the minima...
Binary masking forms the basis for a number of source separation approaches that have been successfully applied to the problem of de-mixing music sources from a stereo recording. A well-known problem with binary masking is that, when music sources ov...
This paper mainly studies computer automatic measurement of cashmere diameter and area of cashmere fiber scales. It firstly uses Matlab7.0 to do simulation experiments to determine the appropriate image processing program that is suitable for fiber i...
In various countries of the global south, school feeding programs are implemented in order to alleviate short-time hunger in children, improved their nutrition and provide employment for food vendors. The impact of these programs is important not onl...
This paper reveals the hidden dangers of reverse data modifications on distributed software with network synchronization, during the era of 5G, which may occur in more important domains, such as telemedicine and automatic driving. We used pseudo-code...
6 October 2018
A multi-period Stackelberg game is adopted to study a green procurement relationship between manufacturers and suppliers in a supply chain. The manufacturers are considered as leaders, while the suppliers are modelled as followers in this Stackelberg...
The proliferation of binary vulnerabilities in the software supply chain has become a critical security challenge. Existing vulnerability detection approaches—including dynamic analysis, static analysis, and decompilation-assisted analysis&mdas...
of 15