Reduced Ordered Binary Decision Diagrams (ROBDDs or simply BDDs) are a data structure used to efficiently represent and manipulate logic functions. They were introduced by Bryant (1986). Since then, they have played a major role in many areas of computer aided design, including logic synthesis, simulation, and formal verification. The size of a BDD representing a logic function depends on the o...

The impact of feeding flax as seed, meal, or oil to late-pregnant and lactating sows on hormone concentrations, immune responses, and sow and litter performances was studied. Sixty sows were fed 1 of 4 diets from 68 d of gestation until 21 d of lactation. Diets were standard (CTL; n = 15); 10% flaxseed supplementation (FS; n = 16); 6.5% flaxseed meal supplementation (FSM; n = 14); and 3.5% flax...

In this letter, a structural analysis attack is explored as the first kind of to disclose secret key circuit encrypted by latest obfuscation technique JANUS-HD. By extracting finite state machine (FSM) diagram from and converting traces into constraints, can be deduced CP-SAT solver within few minutes or even seconds in most cases. Incorrect keys further pruned sequential equivalence checking w...

Computing the set of reachablestates of a finite state machine, is an important component of many problems in the synthesis, and formal verification of digital systems. The process of design is usually iterative, and the designer may modify and recompute information many times, and reachability is called each time the designer modifies the system, because current methods for reachability analys...

Recently, arithmetic coding has attracted the attention of many scholars because of its high compression capability. Accordingly, in this paper, a method that adds secrecy to this well-known source code is proposed. Finite state arithmetic code is used as source code to add security. Its finite state machine characteristic is exploited to insert some random jumps during source coding process. I...

Several methods have been proposed for synthesizing communication protocol specifications starting from given service specifications. Due to the inherently sequential nature of a finite state machine (FSM), some FSM-based protocol synthesis methods assume that primitives in the service specifications cannot be executed simultaneously. However, other synthesis methods were introduced to handle c...

Frequent subgraph mining (FSM) is an important task for exploratory data analysis on graph data. Over the years, many algorithms have been proposed to solve this task. These algorithms assume that the data structure of the mining task is small enough to fit in the main memory of a computer. However, as the real-world graph data grows, both in size and quantity, such an assumption does not hold ...

BACKGROUND Sequential injection chromatography (SIC) is a young, ten years old, separation technique. It was proposed with the benefits of reagent-saving, rapid analysis, system miniaturization and simplicity. SIC with UV detection has proven to be efficient mostly for pharmaceutical analysis. In the current study, a stand-alone multi-wavelength fluorescence (FL) detector was coupled to an SIC ...

Reducing Escherichia coli O157:H7 in cattle and their manure is critical for reducing the risk for human foodborne and waterborne illness. The objective of this study was to evaluate the effects of soil and pond ash surfaces for feedlot pens on the prevalence, levels, and/or persistence of naturally occurring E. coli O157:H7 and total E. coli in cattle (feces and hides) and manure. Cattle (128 ...

In recent years, Intellectual Property (IP) cores in Very Large Scale Integration (VLSI) have become an active research area as it provides a new-fangled revolution in the Electronic Design Automation industry. An IP core is a previously designed and demonstrated component that can be integrated into design. Owing to the development of IP cores, time consumption becomes less and the product can...