this study addresses to what extent RNA backbones consist of long, recurring fragments. A dynamic programming algorithm is presented that finds the smallest set of fragments that are required to reconstruct the backbo...
详细信息
the haplotype reconstruction problem has received a great deal of attention in the bioinformatics literature. the algorithms proposed thus far for this problem can be grouped into two main categories: statistical and ...
详细信息
As parallel programs become larger and more complex, it is harder to understand and debug parallel programs. If those programs have race conditions, intended or otherwise, it is more difficult to understand and debug....
详细信息
Category theory, with its increasing role in computer science, has proved useful in the investigation of programming languages and other theoretical aspects of software engineering. As a bridge-building exercise, we i...
详细信息
ISBN:
(纸本)9783540725879
Category theory, with its increasing role in computer science, has proved useful in the investigation of programming languages and other theoretical aspects of software engineering. As a bridge-building exercise, we introduce the category theory course into the computer science curriculum, the purpose of which includes building a unified framework to generalize the discrete structures of mathematical courses and providing an environment for formulating concepts of other software engineering courses. We develop a teaching schema, summarize our experiences, and give some suggestions for pedagogical techniques for the course.
We consider the problem of aligning multiple protein sequences withthe goal of maximizing the SP (Sum-of-Pairs) score, when the number of sequences is large. the QOMA (Quasi-Optimal Multiple Alignment) algorithm addr...
详细信息
Malignant melanoma is nowadays one of the most malignant tumors among white-skinned populations around the world. the key element in malignant melanoma treatment is the detection of melanomas and their changes at an e...
详细信息
the identification of the correct sense of a word is necessary for many tasks in automatic natural language processing like machine translation, information retrieval, speech and text processing. Automatic Word Sense ...
详细信息
S-boxes constitute a cornerstone component in symmetric-key cryptographic algorithms, such as DES and AES encryption systems. In block ciphers, they are typically used to obscure the relationship between the plaintext...
详细信息
the proceedings contain 30 papers. the topics discussed include: a distributed cognition account of mature XP teams;foundations of agile decision making from agile mentors and developers;software development as a coll...
详细信息
ISBN:
(纸本)3540350942
the proceedings contain 30 papers. the topics discussed include: a distributed cognition account of mature XP teams;foundations of agile decision making from agile mentors and developers;software development as a collaborative writing project;comparative analysis of job satisfaction in agile and non-agile software development teams;the collaborative nature of pair programming;leveraging code smell detection with inter-smell relations;studying the evolution of quality metrics in an agile/distributed project;the effect of test-driven development on program code;configuring hybrid agile-tradition software processes;agility in the avionics software world;security planning and refactoring in extreme programming;augmenting the agile planning toolbox;and storytelling in interaction: agility in practice.
this report summarizes the outcome of the 7th Workshop on Aspect-Oriented Modeling (AOM) held in conjunction withthe 8thinternationalconference on Model Driven engineering Languages and Systems - MODELS 2005 - in M...
详细信息
ISBN:
(纸本)3540317805
this report summarizes the outcome of the 7th Workshop on Aspect-Oriented Modeling (AOM) held in conjunction withthe 8thinternationalconference on Model Driven engineering Languages and Systems - MODELS 2005 - in Montego Bay, Jamaica, on the 2nd of October 2005. the workshop brought together researchers and practitioners from two communities: aspect-oriented software development (AOSD) and software model engineering. It provided a forum for discussing the state of the art in modeling crosscutting concerns at different stages of the software development process: requirements elicitation and analysis, software architecture, detailed design, and mapping to aspect-oriented programming constructs. this paper gives an overview of the accepted submissions, and summarizes the results of the different discussion groups.
暂无评论