2QBF is a restriction of QBF, in which at most one quantifier alternation is allowed. This simplifying assumption makes the problem easier to reason about, and allows for simpler unit propagation and clause/cube learning procedures. We introduce two new 2QBF algorithms ...

We consider the following Antenna Orientation Problem: Given a connected Unit Disk Graph (UDG) formed by n identical omnidirectional sensors, what is the optimal range (or radius) which is necessary and sufficient for a given antenna beamwidth (or angle) φ so that after...

In this paper, phase congruency features are used to develop a binarization method for degraded documents and manuscripts. Also, Gaussian and median filtering are used in order to improve the final binarized output. Gaussian filter is used for further enhance the output...

Publisher Summary This chapter focuses on Hicks' Aggregation Theorem and the existence of a real value-added function. The received theory of consumer demand, which deals with the case of a decision-making unit which maximizes a utility function subject to a budget cons...

One major problem with moment-matching schemes described so far is that they offer no means of pre-determining the accuracy range of the approximation. Pade approximations are accurate in the neighbourhood of an approximation. If that neighbourhood contains most of the ...

In the past five years photoluminescence (PL) of SWNTs has gone from discoveryto one of the most actively researched areas, with broad impact on the basic scienceof SWNTs, as well as the promise of applications. The simplest free-carrier models ofperfect semiconducting ...

The global financial system and its recent crises highlight issues inherent to traditional worldviews in the study and regulation of such systems. While many scholars have long appreciated social and other complex systems had special qualities, it is only recently that ...

This chapter reviews and summarizes the researches and developments on data compression techniques for satellite sensor data at the Canadian Space Agency in collaboration with its partners in other government departments, academia and Canadian industry. This chapter des...

Exercise is a well-known stimulus for the expansion of the mitochondrial pool within skeletal muscle. Mitochondria have a remarkable ability to remodel their networks and can respond to an array of signaling stimuli following contractile activity to adapt to the metabol...