Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...

In a bid to return the country to food selfsufficiency, the Government of Kenya has been spearheading strategies for a new ‘Green Revolution’ in the food producing sector, as spelt out in its Strategy for Revitalizing Agriculture (SRA), a ten-year action plan launched in 2004. The SRA is entrenched in Kenya’s Vision 2030, the country’s framework for long-term investment and development (Republi...

　A new approach is introduced to estimate the formal information of neurons. Formal Information, mainly discusses about the aspects of the response that is related to the stimulus. Estimation is based on introducing a mathematical nonlinear model with Hammerstein-Wiener system estimator. This method of system identification consists of three blocks to completely describe the nonlinearity of inp...

We examine the human creative process involved in performing with Mimi (Multimodal Interaction in Musical Improvisation), a system designed for human-machine music improvisation on a keyboard or other MIDI instrument. Mimi makes use of a factor oracle data structure to generate new musical material based on seed material from a human performer. Used in conjunction with a MIDI interface that giv...

Sections of this material may be reproduced for personal and not-for profit use without the express written permission of but with acknowledgment to IFPRI. To reproduce the material contained herein for profit or commercial use requires express written permission. To obtain permission, contact the Communications Division at [email protected]. ABSTRACT The purpose of the research paper i...

Sycamore is a valuable tree not only economically but also ecological and culturally. Even though it has vigorous regeneration system from its stump, coppice management triggered limited formal investigations. Therefore, the present study focused on finding most suitable strategy for achieving ground coverage biomass, as well developing growth yield models sycamore maples. Using series of eight...

Swift delivery of quality seeds to farming communities is a fundamental step in mainstreaming the value chain orphan crops. The objective this study was characterise seed production and systems Kersting’s groundnut (KG) [Macrotyloma geocarpum (Harms) Maréchal & Baudet] their influence on Benin. A survey conducted among 305 farmers from major KG growing areas total 60 samples were collected ...

let $k$ be a field of characteristic$p>0$, $k[[x]]$, the ring of formal power series over $ k$,$k((x))$, the quotient field of $ k[[x]]$, and $ k(x)$ the fieldof rational functions over $k$. we shall give somecharacterizations of an algebraic function $fin k((x))$ over $k$.let $l$ be a field of characteristic zero. the power series $finl[[x]]$ is called differentially algebraic, if it satisfies...

in this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition petri nets. the mobile agent system contains two mobile agents called dca and una. it sends out agents to update antivirus on client computers in a network. each agent takes on a specified responsibility. first, dca roams through the network and check the last d...