Learn More
— The optimal and distributed provisioning of high throughput in mesh networks is known as a fundamental but hard problem. The situation is exacerbated in a wireless setting due to the interference among local wireless transmissions. In this paper, we propose a cross-layer optimization framework for throughput maximization in wireless mesh networks, in(More)
Achieving optimal transmission throughput in data networks is known as a fundamental but hard problem. The situation is exacerbated in multi-hop wireless networks due to the interference among local wireless transmissions. In this paper, we propose a general modeling and solution framework for the throughput optimization problem in wireless networks. In our(More)
— This paper proposes a distributed optimization framework for wireless multihop sensor networks base on a game theoretic approach. We show that the cross-layer optimization problem can be decomposed into two subproblems corresponding to two separate layers (the physical and the application layers) of the overall system. By modelling each subproblem as a(More)
We present an algorithm for simplifying the solution of conjunctive Boolean constraints of state and input variables, in the context of constrained random vector generation using BDDs. The basis of our approach is extraction of "hold-constraints" from constraint system. Hold-constraints are deterministic and trivially resolvable; in addition, they can be(More)
The successful colonization of plant growth promoting rhizobacteria (PGPR) in the rhizosphere is an initial and compulsory step in the protection of plants from soil-borne pathogens. Therefore, it is necessary to evaluate the role of root exudates in the colonization of PGPR. Banana root exudates were analyzed by high pressure liquid chromatography (HPLC)(More)
The regulatory activities of mouse CD4(+)Foxp3(+) T cells on various immune cells, including NK cells, have been well documented. Under some conditions, conventional CD4(+)Foxp3(-) T cells in the periphery are able to acquire inhibitory function on other T cells, but their roles in controlling innate immune cells are poorly defined. As a potential cellular(More)
<italic>Constraining</italic> and <italic>input biasing</italic> are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulation to a legal input space, while input biasing, which can be considered as a probabilistic constraint, makes it easier to cover interesting(More)