The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The Localization of Compact Invariant Sets theory, define a region in the state space where are located all compact invariant sets of a dynamical system. This work explore the global dynamics of the myeloid cells in a tumor-immune system model, this model describes the interactions of myeloid, tumor and specific immune response cells. The localizations sets of immature and mature myeloid cell populations...
Different neural network models have been proposed to design efficient associative memories like Hopfield networks, Boltzmann machines or Cogent confabulation. Compared to the classical models, Encoded Neural Network (ENN) is a recently introduced formalism with a proven higher efficiency. This model has been improved through different contributions like Clone-based ENN (CbNNs) or Sparse ENNs (S-ENNs)...
The article gives consideration to the problem of the open dynamic systems' modeling. We propose its solution with the help of stochastic systems of differential equations. We provide the methodology of modeling and analyze the certain example.
Modernising outdated national railway systems will be done gradually due to practical constraints thus creating network areas with different signalling systems. Formal methods have been successfully applied in the railway domain for years. Yet the latest railway challenges such as heterogeneous railway signalling will require novel modelling techniques and adequate verification tools support. The...
A method for the symbolic calculation of the harmonic distortion components of op-amp based memristive amplifiers is presented. The resulting fully-symbolic expressions are obtained by using an analytical model for the Hewlett-Packard memristor. The symbolic harmonic analysis allows us to provide more insight on the memristive transfer of the amplifiers. In addition, numerical evaluations are achieved...
In this empirical study we develop forecasting models for electricity demand using publicly available data and three models based on machine learning algorithms. It compares accuracy of these models using different evaluation metrics. The data consist of several measurements and observations related to the electricity market in Turkey from 2011 to 2016. It is available in different time granularities...
Recent studies of biological networks show that these networks are robust against the random or selective deletion of network nodes and / or edges. Ability to maintain performance of network under mutations is a key feature of live systems that has long been recognized. However, the molecular and cellular basis of this stability has just begun to be understood. Robustness is a key to understanding...
Common modeling in interdisciplinary contexts, such as innovation management, is a challenge, given that different disciplines often do not fully understand each other's models and paradigms. Building on the work of an interdisciplinary research collaboration, we explore, in which way interdisciplinary modeling can enrich innovation management. We show that models can be described on a general level...
A quasi-optimal regulator design problem is solved for nonlinear control objects described in the state-space by nonlinear matrix ordinary differential equations with quadratically-cubic nonlinearities, where polynomial terms are constructed using the Kronecker matrix product. A.A. Krasovskiy's generalized work criterion is used as the cost functional. The Lyapunov function is determined by the integration...
Due to the diversity of components, the multi-microgrid systems provide more optimization degrees of freedom for coordinated control of active distribution network among multiple sub-microgrids and various distributed generations within sub-microgrids. In this paper, a hierarchical energy optimization method for distributed system with multi-microgrids is proposed with multi-agents based on centralized-decentralized...
In this paper, we propose a modeling and validation method for the communicating embedded systems. The approach consists of three steps. The first one introduces a SysML semi-formal representation of connected systems by extending the UML meta-model with a connectivity profile. The second step performs an automatic transformation from the semi-formal modeling represented in SysML, towards a formal...
Pebble game rigidity analysis is an efficient method for extracting rigidity and flexibility information of biomolecules without performing costly molecular dynamics simulations. The standard algorithm works on a multi-graph associated to a mechanical model constructed from an arbitrary atom-bond network. Motivated by large scale protein flexibility and simulated unfolding applications, we have developed...
The description of a research technique of the international economic relations on the example of world model of V. Leontyev of VV is brought, optimizing tasks are formulated, substantiation for carrying out calculations are given.
Methods and tools for supporting programmers when localizing the fault after revealing a failure help to reduce effort and costs. This applies in particular to enduser programming where programmers usually do not have experiences in software engineering methodologies. Tools for end-user programming have additional requirements like ease of use and interactivity constraints. Debugging approaches like...
In the collections of natural history, mounted skeletons are among the most complex objects. They are composed of hundreds of different bones, tedious to digitize accurately in 3D because many surfaces remain hidden to the scanning device. A group of researchers from Pierre et Marie Curie (Paris 6) and Grenoble Universities teamed up with researchers from the National Museum of Natural History in...
Coral reefs are of global economic and biological significance but are subject to increasing threats. As a result, it is essential to understand the risk of coral reef ecosystem collapse and to develop assessment process for those ecosystems. The International Union for Conservation of Nature (IUCN) Red List of Ecosystem (RLE) is a framework to assess the vulnerability of an ecosystem. Importantly,...
Significant increases in computational resources have enabled the development of more complex and spatially better resolved weather and climate models. As a result the amount of output generated by data assimilation systems and by weather and climate simulations is rapidly increasing e.g. due to higher spatial resolution, more realisations and higher frequency data. However, while compute performance...
The article describes the infrastructural potential as one of the main factors of Russian regions' competitive potential. Infrastructural factor of competitive potential is a very important element of increasing competitive advantages. The research suggests to estimate the regionals' infrastructural potential to enlarge completeness of estimating the factors of competitive potential.
Processes of dynamic formation of the coalitions in tasks of mortgage lending are considered, an influence of uncertain factors on functioning and efficiency of the organization of the coalition of borrowers is investigated, the corresponding mathematical models are written out, results of computing experiments are given.
To improve the effective utilisation of its supercomputing platforms, the New Zealand eScience Infrastructure (NeSI) offers, in addition to user support and the installation of a comprehensive software stack, a consultancy service to some of its users. Here we present lessons learned from this work and how additional improvements can be made to further enhance productivity of researchers on computing...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.