BACKGROUND The rising number of novel pathogens threatening the human population has motivated the application of mathematical modeling for forecasting the trajectory and size of epidemics. MATERIALS AND METHODS We summarize the real-time forecasting results of the logistic equation during the 2015 Ebola challenge focused on predicting synthetic data derived from a detailed individual-based m...

We have presented a behavioral to structural translator that utilizes the V erilog HDL for output. The translator produces a netlist in GRM form ooering the many advantages present in this class of circuits such as ease of testability and a reduced logic gate count. The tool is constructed in a modular manner so that other synthesis functions may be used as they become available. The mathematic...

This paper presents experimental results on the major benchmarking functions used for performance evaluation of Genetic Algorithms (GAs). Parameters considered include the e€ect of population size, crossover probability, mutation rate and pseudorandom generator. The general computational behavior of two basic GAs models, the Generational Replacement Model (GRM) and the Steady State Replacement ...

GRM and PROVE are the monitoring and performance visualisation tools of the P-GRADE graphical parallel program development and execution environment running on clusters. With semion-line monitoring application behaviour data can be requested by the analysis tool without being a real on-line tool. This paper discusses the semi-on-line monitoring method and its use in the performance analysis of ...

In this paper, we propose a set of mappings and an implementation of an integration agent allowing WBEM-based agents implementing a CIM information model to be managed by OSI-based management platforms and applications, Extending existing integration approaches, this paper provides three original items that are the support of the CIM meta-model in an 0S1 agent, the mapping of relationships onto...

In this paper we extend to asymmetric quantum error-correcting codes (AQECC) the construction methods, namely: puncturing, extending, expanding, direct sum and the (u|u + v) construction. By applying these methods, several families of asymmetric quantum codes can be constructed. Consequently, as an example of application of quantum code expansion developed here, new families of asymmetric quant...

In order to estimate the correct size of population, estimations of population sizing have been used in the genetic algorithms (GAs). The estimation considers a test function being optimized, a representation of individuals and a character of used operators. By means of the estimation model the right population size with taking into account the final overall quality of individuals is identified...

We present a general weighted grammar software library, the GRM Library, that can be used in a variety of applications in text, speech, and biosequence processing. The underlying algorithms were designed to support a wide variety of semirings and the representation and use of very large grammars and automata of several hundred million rules or transitions. We describe several algorithms and uti...