miRGate (http://*** /) is a freely available database that contains predicted and experimentally validated microRNA–messenger RNA (miRNA–mRNA) target pairs. This resource includes novel predictions from...
详细信息
miRGate (http://*** /) is a freely available database that contains predicted and experimentally validated microRNA–messenger RNA (miRNA–mRNA) target pairs. This resource includes novel predictions from five well-established algorithms, but recalculated from a common and comprehensive sequence dataset. It includes all 3′-UTR sequences of all known genes of the three more widely employed genomes (human, mouse, and rat), and all annotated miRNA sequences from those genomes. Besides, it also contains predictions for all genes in human targeted by miRNA viruses such as Epstein-Barr and Kaposi sarcoma-associated herpes virus. The approach intends to circumvent one of the main drawbacks in this area, as diverse sequences and gene database versions cause poor overlap among different target prediction methods even with experimentally confirmed targets. As a result, miRGate predictions have been successfully validated using functional assays in several laboratories. This chapter describes how a user can access target information via miRGate’s web interface. It also shows how automatically access the database through the programmatic interface based on representational state transfer services (REST), using the application programming interface (API) available at http://***/API . less
In this paper a new programming language for PLC with using of bond graph is introduced. Bond graph is a system for modeling in Mechatronics systems. The advantage of using bond graph for PLC programming, Is the use o...
详细信息
In this paper a new programming language for PLC with using of bond graph is introduced. Bond graph is a system for modeling in Mechatronics systems. The advantage of using bond graph for PLC programming, Is the use of a common language for hybrid mechanical, electrical systems. For a better understanding we use Ladder which is a Circuit definition language. First we've used the bond graph symbols in the Ladder program. Ladder program has been implemented in MATLAB Simulink software as an application program.
Software quality assurance at source code level has drawn pressing concerns because of the increasing complexity and size of software projects. Based on the updated peer code review process model, an information syste...
详细信息
Software quality assurance at source code level has drawn pressing concerns because of the increasing complexity and size of software projects. Based on the updated peer code review process model, an information system was constructed. After several academic years’ implementation, questionnaire is made and data is analyzed. Some charming learning outcomes are recognized. Peer code review model is further proved vital in the pedagogy and evaluating of programming language although it can still be improved.
*AIDA modeling/programming language and its environment support programming in algorithmic pictures which are used as super-characters for representing features of computational algorithms and data structures. *AIDA p...
详细信息
ISBN:
(纸本)9781509043149
*AIDA modeling/programming language and its environment support programming in algorithmic pictures which are used as super-characters for representing features of computational algorithms and data structures. *AIDA program is presented as a set of information resources oriented not only to the executable code generation, but also to the explanation of the problem, application algorithm, data features and other issues related. In general, *AIDA language and F-modeling environment are developed and promoted as a test-bed for various innovations in IT research and implementations. In this paper we consider how this test-bed can be applied for the BRASS problems of a DARPA initiative to create long-lived, survivable, and adaptive software systems.
programming languages have been an integral element of the taught skills of many technical subjects in Higher Education for the last half century. Moreover, secondary school students have also recently started learnin...
详细信息
ISBN:
(纸本)9789897581793
programming languages have been an integral element of the taught skills of many technical subjects in Higher Education for the last half century. Moreover, secondary school students have also recently started learning programming languages. This increase in the number of students learning programming languages makes the efficient and effective assessment of student work more important. This research focuses on one key approach to assessment using technology: the semi-automated marking of novice students' program code. The open-ended, flexible nature of programming ensures that no two significant pieces of code are likely to be the same. However, it has been observed that there are a number of common code fragments within these dissimilar solutions. This observation forms the basis of our proposed approach. The initial research focuses on the 'if' structure to evaluate the theory behind the approach taken, which is appropriate given its commonality across programming languages. The paper also discusses the results of real world analysis of novice students' programming code on 'if' structures. The paper concludes that the approach taken could form a more effective and efficient method for the assessment of student coding assignments.
Quipper is the most recently developed quantum programming language. In this work, we provide brief background information about Quipper and use its framework to demonstrate the implementation of five non-trivial reve...
详细信息
ISBN:
(纸本)9781509041718
Quipper is the most recently developed quantum programming language. In this work, we provide brief background information about Quipper and use its framework to demonstrate the implementation of five non-trivial reversible gates. Each gate works as a full adder gate. We will use a Quipper simulator to run a simulation for each gate on a classical computer.
Reverse engineering is still a challenging process, notably because of the growing number, heterogeneity, complexity, and size of software applications. While the analysis of their structural elements has been intensi...
详细信息
ISBN:
(纸本)9781450341646
Reverse engineering is still a challenging process, notably because of the growing number, heterogeneity, complexity, and size of software applications. While the analysis of their structural elements has been intensively investigated, there is much less work covering the reverse engineering of their behavioral aspects. To further stimulate research on this topic, we propose fREX as an open framework for reverse engineering of executable behaviors from existing software code bases. fREX currently provides model discovery support for behavior embedded in Java code, employs the OMG's fUML standard language as executable pivot format for dynamic analysis, and uses model transformations to bridge Java and fUML. Thus, fREX also aims at contributing to explore the relationship between programming languages (e.g., Java) and executable modeling languages (e.g., fUML). In this paper, we describe the proposed fREX framework and its current reverse engineering support covering some core Java features. In addition we discuss how the framework can be used for performing different kinds of dynamic analysis on existing software, as well as how it could be extended in the future.
The increased number of students (in higher education) learning programming languages makes the efficient and effective assessment of student work more important. Thus, academic researchers have focused on the automat...
详细信息
ISBN:
(纸本)9781509022182
The increased number of students (in higher education) learning programming languages makes the efficient and effective assessment of student work more important. Thus, academic researchers have focused on the automation of programming assignment marking. However, the fully automated approach to marking has its issues. This study provides an approach geared towards the reduction of marking times while providing comprehensive, effective and consistent feedback on novice programmers' code script. To assess novices' code script, a new semi-automated assessment approach has been developed. This paper focuses on the semi-automatic assessment of programming code segments, partially explaining the increasing similarity between code segments using generic rules. The code segments referred to are 'for' and 'while' loops and sequence parts of code script. The initial results and findings for the proposed approach are positive and point to the need for further research in this area.
The development of open source software has gained popularity. Most of the software projects use diverse sets of programming languages for development. In this work, the Knowledge Discovery in Data (KDD) approach to a...
详细信息
ISBN:
(纸本)9781509041718
The development of open source software has gained popularity. Most of the software projects use diverse sets of programming languages for development. In this work, the Knowledge Discovery in Data (KDD) approach to analyze the data of 30,518 open source projects hosted on SourceForge. The process of knowledge discovery is explored by using the association rule mining algorithm to find the programming languages, which are often used together in combination for the development of software project. The group-matrix based visualization technique is further implied to visualize the generated associated group of languages. The generated knowledge base and visualization of associated languages provide current and future developers with insight knowledge of multiple set of programming languages which are used together frequently for the development of open source software projects.
In India, the accreditation process in engineering made the management and performance of learning process should be enforced to achieve standard goals. The part of every engineering profession is the teaching of the ...
详细信息
ISBN:
(纸本)9781509012770
In India, the accreditation process in engineering made the management and performance of learning process should be enforced to achieve standard goals. The part of every engineering profession is the teaching of the basics of the computer science. At the international level, it had been showed that it is almost impossible to satisfying the standard goals. It had been established in a lack of comprehensive maps about scientific concepts. It happens because of getting error in mental model. The results that are based on ideas are definitive. This paper allows concluding that complementing the comprehension of students mental model with a concrete motivation that is based on virtual and actual robots.
暂无评论