MRF: A Framework for Source and Destination Based Bandwidth Differentiation Service

In this paper, we shall generalize the concepts of fairness, TCP-friendliness and TCP-compatibility such that more source adaptation schemes can be designed to support diverse applications over the Internet. A simple but efficient framework, in the form of a monotonic response function (MRF), is proposed for the analysis and the design of memoryless window-based source adaptation protocols by using these concepts. We first derive a necessary and sufficient condition for step-wise convergence to the weighted fairness. It is then used to construct increase-decrease policies. The requirements of our increase-decrease policy are less conservative than those of the CYRF (Choose Your Response Function) that was proposed in . Our MRF is suitable for transmission control protocol (TCP) and user datagram protocol (UDP), and can be used to design TCP-friendly and multimedia-friendly source adaptation schemes. Meanwhile, our MRF can be applied to provide bandwidth differentiation service without any change to the router of the existing Internet.     

QoS provisioning in cellular networks based on mobility prediction techniques

In cellular networks, QoS degradation or forced termination may occur when there are insufficient resources to accommodate handoff requests. One solution is to predict the trajectory of mobile terminals so as to perform resource reservations in advance. With the vision that future mobile devices are likely to be equipped with reasonably accurate positioning capability, we investigate how this new feature may be used for mobility predictions. We propose a mobility prediction technique that incorporates road topology information, and describe its use for dynamic resource reservation. Simulation results are presented to demonstrate the improvement in reservation efficiency compared with several other schemes.     

Characterization of zero locations of polytopes of real polynomials

Given a stability region of a polytope of polynomials, the edge theorem can be used to verify certain root-clustering properties of the polytope. The authors consider the inverse problem; starting with a polytope of real polynomials, they present a result that allows the construction of the smallest set of regions in the complex plane which characterizes its zero location     

Implementing CS1 with embedded instructional research design in laboratories

Closed laboratories are becoming an increasingly popular approach to teaching introductory computer science courses. Unlike open laboratories that tend to be an informal environment provided for students to practice their skills with attendance optional, closed laboratories are structured meeting times that support the lecture component of the course, and attendance is required. This paper reports on an integrated approach to designing, implementing, and assessing laboratories with an embedded instructional research design. The activities reported here are parts of a departmentwide effort not only to improve student learning in computer science and computer engineering (CE) but also to improve the agility of the Computer Science and Engineering Department in adapting the curriculum to changing technologies, incorporate research, and validate the instructional strategies used. This paper presents the design and implementation of the laboratories and the results and analysis of student performance. Also described in this paper is cooperative learning in the laboratories and its impact on student learning.     

Groups of algebraic integers used for coding QAM signals

Linear block codes over Gaussian integers and Eisenstein integers were used for coding over two-dimensional signal space. A group of Gaussian integers with 2²ⁿ elements was constructed to code quadrature amplitude modulation (QAM) signals such that a differentially coherent method can be applied to demodulate the QAM signals. This paper shows that one subgroup of the multiplicative group of units in the algebraic integer ring of any quadratic number field with unique factorization, modulo the ideal (Pⁿ), can be used to obtain a QAM signal space of 2p^2n-2 points, where p is any given odd prime number. Furthermore, one subgroup of the multiplicative group of units in the quotient ring Z[ω]/(pⁿ) can be used to obtain a QAM signal space of 6p^2n-2 points; one subgroup of the multiplicative group of units in the quotient ring Z[i](pⁿ) can be used to obtain a QAM signal space of 4p^2n-2 points which is symmetrical over the quadrants of the complex plane and useful for differentially coherent detection of QAM signals; the multiplicative group of units in the quotient ring Z[ω]/(2ⁿ) can be used to obtain a QAM signal space of 3·2^2n-2 points, where i=√-1, ω=(-1+√-3)/2=(-1+i√3)/2, p is any given odd prime number, Z[i] and Z[ω] are, respectively, the Gaussian integer ring and the Eisenstein integer ring. These multiplicative groups can also be used to construct block codes over Gaussian integers or Eisenstein integers which are able to correct some error patterns     

ANDES: efficient evaluation of NOT-twig queries in relational databases

Despite a large body of work on XPath query processing in relational environment, systematic study of queries containing not-predicates have received little attention in the literature. Particularly, several xml supports of industrial-strength commercial rdbms fail to efficiently evaluate such queries. In this paper, we present an efficient and novel strategy to evaluate not -twig queries in a tree-unaware relational environment. not -twig queries are XPath queries with ancestor–descendant and parent–child axis and contain one or more not-predicates. We propose a novel Dewey-based encoding scheme called Andes (ANcestor Dewey-based Encoding Scheme), which enables us to efficiently filter out elements satisfying a not-predicate by comparing their ancestor group identifiers. In this approach, a set of elements under the same common ancestor at a specific level in the xml tree is assigned same ancestor group identifier. Based on this scheme, we propose a novel sql translation algorithm for not-twig query evaluation. Experiments carried out confirm that our proposed approach built on top of an off-the-shelf commercial rdbms significantly outperforms state-of-the-art relational and native approaches. We also explore the query plans selected by a commercial relational optimizer to evaluate our translated queries in different input cardinality. Such exploration further validates the performance benefits of Andes.     

Modeling of the pharyngeal muscle in Caenorhabditis elegans based on FitzHugh-Nagumo equations

The pharyngeal pumping motion to send food to the bowel is a rhythmic movement in Caenorhabditis elegans. This paper proposes a simulation-based approach to investigate the mechanisms of rhythm phenomena in the pharyngeal pumping motion. To conduct the simulations, first, we developed a pharyngeal muscle model including 29 cell models which simulate the activity of each cell as a membrane potential based on FitzHugh-Nagumo equations. Then, to compare the response of the model with that of C. elegans, we calculated the electropharyngeogram (EPG), which represents the electrophysiological responses of the pharyngeal cells, using the simulated membrane potentials. The results confirmed that our model could generate the EPG similar to that measured from C. elegans. We proposed a computer simulation of the pumping motion to investigate the mechanisms of rhythm phenomena in living organisms.     

CO2 process intensification of algae oil extraction to biodiesel

Algae-to-biodiesel processes are hindered by high costs and low energy return on investment.^1,2. Herein, three foci in research improve algae-to-biodiesel processes by: (1) reducing high installation and energy costs in the CO₂ sequestration, cultivation, and harvesting stages; (2) improving oil extraction and biodiesel generation; and (3) increasing utilization of the proteins in lipid-extracted biomass (e.g., for animal feed), as well as the omega-3 fatty acids for nutraceuticals and food supplements. A process is introduced that uses carbon dioxide to aid in all three of these foci. CO₂ is used first in the form of microbubbles to lyse algae cell walls, releasing triglyceride oils. CO₂ also aids with transesterification of these triglycerides using methanol. At low temperatures (353.15–368.15 K) and intermediate pressures (5–10 MMPa), carbon dioxide causes methanol to dissolve partially in the triglyceride phase and triglyceride to dissolve partially in the methanol phase, increasing the transesterification reaction rate. Due to the nondestructive nature of these processes, other metabolites can also be harvested providing improvements in both mass and economic efficiency with an overall sharp reduction in the modeled price of biodiesel.     

Spatio-temporal polygonal clustering with space and time as first-class citizens

Detecting spatio-temporal clusters, i.e. clusters of objects similar to each other occurring together across space and time, has important real-world applications such as climate change, drought analysis, detection of outbreak of epidemics (e.g. bird flu), bioterrorist attacks (e.g. anthrax release), and detection of increased military activity. Research in spatio-temporal clustering has focused on grouping individual objects with similar trajectories, detecting moving clusters, or discovering convoys of objects. However, most of these solutions are based on using a piece-meal approach where snapshot clusters are formed at each time stamp and then the series of snapshot clusters are analyzed to discover moving clusters. This approach has two fundamental limitations. First, it is point-based and is not readily applicable to polygonal datasets. Second, its static analysis approach at each time slice is susceptible to inaccurate tracking of dynamic cluster especially when clusters change over both time and space. In this paper we present a spatio-temporal polygonal clustering algorithm known as the Spatio-Temporal Polygonal Clustering (STPC) algorithm. STPC clusters spatial polygons taking into account their spatial and topological properties, treating time as a first-class citizen, and integrating density-based clustering with moving cluster analysis. Our experiments on the drought analysis application, flu spread analysis and crime cluster detection show the validity and robustness of our algorithm in an important geospatial application.