Search

Sustainable development is one of the most important issues to the progression of human beings in the 21st century. Since the last century, human being have created huge physical fortunes and pushed civilization greatly forward. Meanwhile, many regional and global problems have emerged, such as the rapid increasing population, excessive consumption of natural resources, environmental pollution, and ecological destruction. These problems negatively influence economic development and people's living standards, further endangering the existence and development of human beings, impacting on the continuation of human civilization and the future of the earth. [ABSTRACT FROM AUTHOR]

The diameter diam(H) of a (directed) graph H is the maximum value computed over the lengths of all shortest (directed) paths in H. Given a bridgeless connected graph G, the oriented diameter OD(G) is given by $OD(G) = \mbox{min}\{diam(H):\ H\ \mbox{is\ an\ orientation\ of}\ G\}$. In this paper, we show that $OD(G) \leq \lceil \frac{3}{2} diam(G) \rceil + 1$ for every connected bridgeless interval graph G. Further, for every 2-connected proper interval graph G, we show $OD(G) \leq \lceil \frac{5}{4} diam(G) \rceil + 1$ if diam(G) ≤ 3 and $OD(G) \leq \lceil \frac{5}{4} diam(G) \rceil$, otherwise. All the bounds are sharp and improve earlier estimations obtained by Fomin et al. [ABSTRACT FROM AUTHOR]

Core-based system-on-chip (SoC) design is quickly becoming a new paradigm in electronic system design due to the reusability of IP cores. However, the validation of IP cores is the most time consuming task in the design flow. This paper presents EmGen, an automatic test-program generation tool designed for embedded microprocessor cores. EmGen provides an configurable formal specification model with heuristic knowledge, which can generate test programs according to different configuration of microprocessors’ architecture, a test generation scheme based on heuristic algorithms, which can efficiently provide instructions in test programs, and validation testbenches, which support simulation with generated test programs automatically and check the equivalence of microprocessors and the specified instruction reference model. EmGen is currently in use at ICT for the verification of embedded microprocessor cores. Experiments results show that EmGen can improve verification process and cut down skilled manpower obviously. [ABSTRACT FROM AUTHOR]

Peptides binding to MHC molecules can be presented to T-cell receptor and then trigger an immune response. Prediction of peptides binding a specific major histocompatibility complex has great significance for immunology research and vaccine design. According to their different structures and functions, MHC molecules can be classified into two types. Most of early studies often focus on MHC class I, but seldom on MHC class II. In this paper, we present a method for MHC class II binding peptides prediction using Fourier analysis and support vector machines (SVM), the novel prediction technique is found to be comparable with the best software currently available. [ABSTRACT FROM AUTHOR]