Results 1 to 10 of about 3,324,245 (291)

Telos: representing knowledge about information systems

ACM Transactions on Information Systems, 1990
We describe Telos, a language intended to support the development of information systems. The design principles for the language are based on the premise that information system development is knowledge intensive and that the primary responsibility of any language intended for the task is to be able to formally represent the relevent knowledge ...
Mylopoulos, Ioannis, BORGIDA A, JARKE M, KOUBARAKIS M.   +3 more
openaire   +3 more sources

Complex systems representing effective connectivity in patients with Type One diabetes mellitus.

PLoS ONE, 2018
BackgroundType 1 diabetes mellitus (T1D) affects the entire cellular network of the organism. Some patients develop cognitive disturbances due to the disease, but several authors have suggested that the brain develops compensatory mechanisms to minimize ...
Joan Guàrdia-Olmos, Esteve Gudayol-Ferré, Geisa B Gallardo-Moreno, Mar Martínez-Ricart, Maribel Peró-Cebollero, Andrés A González-Garrido   +5 more
doaj   +1 more source

Computational History: Challenges and Opportunities of Formal Approaches

Journal of Social Computing, 2023
We propose a program for a computational analysis, based on large scale datasets, of deep conceptual and formal structures, representing the mechanisms of historical transformations in different domains ranging from biological to social, cultural, and ...
Jürgen Jost, Roberto Lalli, Manfred D. Laubichler, Eckehard Olbrich, Jürgen Renn, Guillermo Restrepo, Peter F. Stadler, Dirk Wintergrün   +7 more
doaj   +1 more source

A Methodology to Engineer and Validate Dynamic Multi-level Multi-agent Based Simulations

, 2013
This article proposes a methodology to model and simulate complex systems, based on IRM4MLS, a generic agent-based meta-model able to deal with multi-level systems.
C. Chen, D. Weyns, D.-A. Vo, F. Michel, F. Michel, G. Morvan, H. Brussel Van, J. Gil-Quijano, N. Gaud, T. Moncion   +9 more
core   +1 more source

A nonlocal connection between certain linear and nonlinear ordinary differential equations/oscillators [PDF]

, 2006
We explore a nonlocal connection between certain linear and nonlinear ordinary differential equations (ODEs), representing physically important oscillator systems, and identify a class of integrable nonlinear ODEs of any order. We also devise a method to
Anjan Kundu, Chandrasekar V K, Chandrasekar V K, Chandrasekar V K Senthilvelan M Lakshmanan M, Euler M Euler N Leach P G L, Euler N, Feix M R, Halburd R, Ince E L, Leach P G L, Lemmer R L, M Lakshmanan, M Senthilvelan, Mahomed F M, Mahomed F M, Mugan U, Murphy G M, Smith R A, V K Chandrasekar   +18 more
core   +3 more sources

Assessment of the drainage systems performance in response to future scenarios and flood mitigation measures using stormwater management model

City and Environment Interactions, 2023
Urban Flooding represents a significant problem in developing urban areas caused by inadequate stormwater drainage systems, increased impervious surface areas, and climate change.
Takele Sambeto Bibi, Daniel Reddythta, Abdisa Sime Kebebew   +2 more
doaj   +1 more source

Exact Quantum Monte Carlo Process for the Statistics of Discrete Systems [PDF]

, 1996
We introduce an exact Monte Carlo approach to the statistics of discrete quantum systems which does not rely on the standard fragmentation of the imaginary time, or any small parameter.
A. F. Elesin, A. Lagendijk, B. V. Svistunov, E. L. Pollock, G. G. Batrouni, I. S. Tupitsyn, J. E. Hirsch, N. Metropolis, N. V. Prokof’ev, R. Blankenbecler, R. M. Fye, R. P. Feynman, W. Krauth   +12 more
core   +3 more sources

Representing Patterns of autonomous agent dynamics in multi-robot systems [PDF]

, 2003
It is proposed that vocabularies for representing complex systems with interacting agents have a natural lattice hierarchical structure. We investigate this for the example of simulated robot soccer, using data taken from the RoboCup simulation ...
Johnson, Jeffrey, Price, Blaine
core  

A New Distribution-Free Concept for Representing, Comparing, and Propagating Uncertainty in Dynamical Systems with Kernel Probabilistic Programming

, 2020
This work presents the concept of kernel mean embedding and kernel probabilistic programming in the context of stochastic systems. We propose formulations to represent, compare, and propagate uncertainties for fairly general stochastic dynamics in a ...
Diehl, Moritz, Muandet, Krikamol, Schölkopf, Bernhard, Zhu, Jia-Jie   +3 more
core   +1 more source

neo4jsbml: import systems biology markup language data into the graph database Neo4j [PDF]

PeerJ
Systems Biology Markup Language (SBML) has emerged as a standard for representing biological models, facilitating model sharing and interoperability.
Guillaume Gricourt, Thomas Duigou, Sandra Dérozier, Jean-Loup Faulon   +3 more
doaj   +2 more sources