Recently, Creignou et al. (Theory Comput. Syst. 2017), introduced the class DelayFPT into parameterised complexity theory in order to capture the notion of efficiently solvable parameterised enumeration problems. In this paper, we propose a framework...
In this paper, we will study the key enumeration problem, which is connected to the key recovery problem posed in the cold boot attack setting. In this setting, an attacker with physical access to a computer may obtain noisy data of a cryptographic s...
We introduce oracle Turing machines with neutrosophic values allowed in the oracle information and then give some results when one is permitted to use neutrosophic sets and logic in relative computation. We also introduce a method to enumerate the el...
Problems of search and enumeration of binary and ternary equidistant codes are considered in the paper. We investigate some combinatorial algorithms and develop specialized computer packages to find non-equivalent optimal binary and ternary equidista...
The bounded distance decoding (BDD) is a fundamental problem in lattice-based cryptography which is derived from the closest vector problem (CVP). In this paper, we adapt the lattice enumeration with discrete pruning, a burgeoning method for the shor...
The detection and enumeration of circulating tumor cells (CTCs) has shown significant clinical utility with respect to prognosis in breast, colorectal and prostate cancers. Emerging studies show that CTCs can provide pharmacodynamic information to ai...
Over the last two decades (2000–2020), the Internet has rapidly evolved, resulting in symmetrical and asymmetrical Internet consumption patterns and billions of users worldwide. With the immense rise of the Internet, attacks and malicious behaviors p...
Motivated by the problem arising out of DNA origami, we give a general counting framework and enumeration formulas for various cellular embeddings of bouquets and dipoles under different kinds of symmetries. Our algebraic framework can be used constr...
Pentahexagonal annuli are closed chains consisting of regular pentagons and hexagons. Such configurations can be easily recognized in various complex designs, in particular, in molecular carbon constructions. Results of computer enumeration of annuli...
Lattice enumeration is a linear-space algorithm for solving the shortest lattice vector problem (SVP). Extreme pruning is a practical technique for accelerating lattice enumeration, which has a mature theoretical analysis and practical implementation...
In this paper, (⊙,∨)-multiderivations on an MV-algebra A are introduced, the relations between (⊙,∨)-multiderivations and (⊙,∨)-derivations are discussed. The set MD(A) of (⊙,∨)-multid...
Circular dots are widely used in various measurement applications due to their inherent symmetry, ease of detection, and scalability. However, when degraded by factors such as specular highlights, low contrast, strong noise, or friction damage, accur...
A selection of 36 commercial probiotic fermented dairy products from UK and Europe markets were evaluated for the numbers, types, and viability of Lactobacillus strains against the stated information on their packages. A comparative study was carried...
Perfect Roman Dominating Functions and Unique Response Roman Dominating Functions are two ways to translate perfect code into the framework of Roman Dominating Functions. We also consider the enumeration of minimal Perfect Roman Dominating Functions...
Thoughtful consideration of the enumeration unit size in choropleth map design is important to ensure the correct communication of spatial information. However, the enumeration unit size and its influence on pattern conveying in choropleth maps have...
An accurate performance analysis on the MDL criterion for source enumeration in array processing is presented in this paper. The enumeration results of MDL can be predicted precisely by the proposed procedure via the statistical analysis of the sampl...
This paper demonstrates an automated computer vision system for outdoor tree crop enumeration in a seedling nursery. The complete system incorporates both hardware components (including an embedded microcontroller, an odometry encoder, and an uncalib...
The whimsical Las Vegas/Monte Carlo cubic dice are generalized to construct the combinatorial problem of enumerating all n-dimensional hypercube dice and dice of other shapes that exhibit cubic, icosahedral, and higher symmetries. By utilizing powerf...
Source enumeration is an important procedure for radio direction-of-arrival finding in the multiple signal classification (MUSIC) algorithm. The most widely used source enumeration approaches are based on the eigenvalues themselves of the covariance...
Probiotics are universally recognized for their health benefits, despite the fact that their effects depend on the strain. Identification and enumeration of probiotic strains are required prior to evaluating their effectiveness. Lacticaseibacillus rh...
In this article, we present a microfluidic technique for the rapid enumeration of bacterial density with a syringe filter to trap bacteria and the quantification of the bacterial density through pressure difference measurement across the membrane. Fi...
We compute the exact root-mean-square end-to-end distance of the interacting self-avoiding walk (ISAW) up to 27 steps on the simple cubic lattice. These data are used to construct a fixed point equation to estimate the theta temperature of the collap...
Accurately measuring the number of viable microorganisms plays an essential role in microbiological studies. Since the conventional agar method of enumerating visible colonies is time-consuming and not accurate, efforts have been made towards overcom...
We show how to efficiently enumerate a class of finite-memory stochastic processes using the causal representation of ϵ-machines. We characterize ϵ-machines in the language of automata theory and adapt a recent algorithm for generating ac...
Lactic acid bacteria (LAB) play an important role in the ripening of cheeses and contribute to the development of the desired profile of aroma and flavor compounds. Therefore, it is very important to monitor the dynamics of bacterial proliferation in...
In this paper, we consider the minimal vertex cover and minimal dominating sets with capacity and/or connectivity constraint enumeration problems. We develop polynomial-delay enumeration algorithms for these problems on bounded-degree graphs. For the...
Cycle rank is an important notion that is widely used to classify, understand, and discover new chemical compounds. We propose a method to enumerate all non-isomorphic tree-like graphs of a given cycle rank with self-loops and no multiple edges. To a...
High-quality data are always desirable for superior decision-making in smart buildings. However, latency issues, communication failures, meter glitches, etc., create data anomalies. Especially, the redundant/duplicate records captured at the same tim...
Prime structures are link chains with 0 DoF (degrees of freedom), not including subchains with 0 or fewer DoF, which are expected to be used in systematic kinematic and dynamic analyses of link mechanisms. This paper describes the exhaustive enumerat...
Let R=F2+w1F2+w2F2, where w12=w1, w22=w2, w1w2=w2w1=0. Firstly, we explore the algebraic structure of the torsion codes of MacDonald codes of types α and β over R. Secondly, the complete weight enumerator of Sk,hα and Sk,hβ are...
The theory of semisimple rings plays a fundamental role in noncommutative algebra. We study the complexity of the problem of semisimple rings using the tools of computability theory. Following the general idea of computably enumerable (c.e. for short...
At present, static text passwords are still the most widely-used identity authentication method. Password-generation technology can generate large-scale password sets and then detect the defects in password-protection mechanisms, which is of great si...
Using three supercomputers, we broke a record set in 2011, in the enumeration of non-isomorphic regular graphs by expanding the sequence of A006820 in the Online Encyclopedia of Integer Sequences (OEIS), to achieve the number for 4-regular graphs of...
This review article highlights recent developments in symmetry, combinatorics, topology, entropy, chirality, spectroscopy and thermochemistry pertinent to 2D and 1D nanomaterials such as circumscribed-cyclopolyarenes and their heterocyclic analogs, c...
Enumerating the extremal submodular functions defined on subsets of a fixed base set has only been done for base sets up to five elements. This paper reports the results of attempting to generate all such functions on a six-element base set. Using im...
An activity that is widespread but rarely closely examined in studies of pilgrimage is the enumeration of pilgrims (and related visitors) to shrines and their environs. Such “biopolitics of hosting” can play a significant role in mobilisi...
Periodic train timetables provide passengers with easily accessible rail transport services. However, in networked railway operations, some long-distance cross-line trains have high operational priority and pose difficulties for scheduling local serv...
A local ring is an associative ring with unique maximal ideal. We associate with each Artinian local ring with singleton basis four invariants (positive integers) p,n,s,t. The purpose of this article is to describe the structure of such rings and cla...
Let u,v, and w be indeterminates over Fpm and let R=Fpm+uFpm+vFpm+wFpm, where p is a prime. Then, R is a ring of order p4m, and R≅Fpm[u,v,w]I with maximal ideal J=uFpm+vFpm+wFpm of order p3m and a residue field Fpm of order pm, where I is an app...
Brettanomyces bruxellensis is a wine spoilage concern in wineries around the world. In order to maintain wine quality during storage and ageing, it is imperative to control and monitor this yeast. Being a fastidious slow growing yeast, which requires...
The purpose of this paper is to classify and enumerate self-dual codes of length 6 over finite field Z p . First, we class...
Although peripheral blood reticulocyte enumeration reflects bone marrow functional integrity, which is important for differential diagnosis of hematological diseases, the factors affecting its accuracy have not been adequately addressed. Using 100 co...
Recently, Zimmer and Dorea published a communication on the enumeration of Escherichia coli in probiotic products containing this species [...]
Polyominoes are shapes formed by joining edge-connected unit squares in the square lattice. We review their symmetry classification using dihedral group actions and enumerate their distinct, coloured variants, called “chrominoes”, which a...
Current and emerging legislation in North Carolina and other regions calls for the enumeration of Clostridium perfringens as a surrogate indicator for protozoan parasites in various types of waters. Past studies that have evaluated selective media fo...
Aims: This study investigates the association between circulating tumor cells (CTCs) and breast cancer metastasis. Methods: A retrospective study was conducted using patients with histologically confirmed breast cancer recruited from the First Affili...
One of the main problems in the theory of strongly regular graphs (SRGs) is constructing and classifying SRGs with given parameters. Strongly regular graphs with parameters (37,18,8,9), (41,20,9,10), (45,22,10,11), (49,24,11,12), (49,18,7,6) and (50,...
Process validation studies often require the inoculation of select foodborne pathogens into targeted foods to determine the lethality of the process or antimicrobial ingredients, and quantitative recovery of surviving inoculum bacteria helps to make...
Circulating tumor cells (CTCs) have been recognized as a major contributor to distant metastasis. Their unique role as metastatic seeds renders them a potential marker in the circulation for early cancer diagnosis and prognosis as well as monitoring...
In abstract argumentation frameworks, the computation of stable extensions is an important semantic task for evaluating the acceptability of arguments. The current approaches for the computation of stable extensions are typically conducted through me...
of 28