English
Related papers

Related papers: Computing Crisp Simulations and Crisp Directed Sim…

200 papers

Directed fuzzing performs best for targeted program testing via estimating the impact of each input in reaching predefined program points. But due to insufficient analysis of the program structure and lack of flexibility and configurability…

Cryptography and Security · Computer Science 2025-07-08 Darya Parygina , Timofey Mezhuev , Daniil Kuts

Dynamic networks reflect temporal changes occurring to the graph's structure and are used to model a wide variety of problems in many application fields. We investigate the design space of dynamic graph visualization along two major…

Human-Computer Interaction · Computer Science 2022-09-07 Velitchko Filipov , Alessio Arleo , Markus Bögl , Silvia Miksch

A coarse-grained cellular automaton is proposed to simulate traffic systems. There, cells represent road sections. A cell can be in two states: jammed or passable. Numerical calculations are performed for a piece of square lattice with open…

Cellular Automata and Lattice Gases · Physics 2015-06-12 Malgorzata J. Krawczyk , Krzysztof Kulakowski

In this paper we introduce the first efficient external-memory algorithm to compute the bisimilarity equivalence classes of a directed acyclic graph (DAG). DAGs are commonly used to model data in a wide variety of practical applications,…

Data Structures and Algorithms · Computer Science 2018-03-05 Jelle Hellings , George H. L. Fletcher , Herman Haverkort

We present a new approach to simulating Hamiltonian dynamics based on implementing linear combinations of unitary operations rather than products of unitary operations. The resulting algorithm has superior performance to existing simulation…

Quantum Physics · Physics 2018-08-02 Andrew M. Childs , Nathan Wiebe

In this work we present the results of several simulations on main-effect factorial designs. The goal of such simulations is to investigate the connections between the $D$-optimality of a design and its geometrical structure. By means of a…

Computation · Statistics 2016-04-18 Roberto Fontana , Fabio Rapallo

Smart structures are usually designed with a stimulus-response mechanism to mimic the autoregulatory process of living systems. In this work, in order to simulate this natural and self-adjustable behavior, a fuzzy feedback linearization…

Fuzzy Cognitive Maps (FCMs) is a complex systems modeling technique which, due to its unique advantages, has lately risen in popularity. They are based on graphs that represent the causal relationships among the parameters of the system to…

Neural and Evolutionary Computing · Computer Science 2021-02-02 Stefanos Tsimenidis

The enormous amount of data to be represented using large graphs exceeds in some cases the resources of a conventional computer. Edges in particular can take up a considerable amount of memory as compared to the number of nodes. However,…

Artificial Intelligence · Computer Science 2023-12-18 Faisal N. Abu-Khzam , Rana H. Mouawi , Amer Hajj Ahmad , Sergio Thoumi

Graphical models have proven to be powerful tools for representing high-dimensional systems of random variables. One example of such a model is the undirected graph, in which lack of an edge represents conditional independence between two…

Probability · Mathematics 2013-10-11 Dhafer Malouche , Bala Rajaratnam , Benjamin T. Rolfs

Probabilistic graphical models combine the graph theory and probability theory to give a multivariate statistical modeling. They provide a unified description of uncertainty using probability and complexity using the graphical model.…

Machine Learning · Statistics 2011-11-30 Yang Zhou

The practice of stochastic sensitivity analysis described in the decision analysis literature is a testimonial to the need for considering deviations from precise point estimates of uncertainty. We propose the use of Bayesian fuzzy…

Artificial Intelligence · Computer Science 2013-04-10 Pramod Jain , Alice M. Agogino

Finite differences have been widely used in mathematical theory as well as in scientific and engineering computations. These concepts are constantly mentioned in calculus. Most frequently-used difference formulas provide excellent…

Numerical Analysis · Mathematics 2010-06-09 Brian Jain , Andrew D. Sheng

This paper presents the Pi-graphs, a visual paradigm for the modelling and verification of mobile systems. The language is a graphical variant of the Pi-calculus with iterators to express non-terminating behaviors. The operational semantics…

Formal Languages and Automata Theory · Computer Science 2010-11-02 Frédéric Peschanski , Hanna Klaudel , Raymond Devillers

Simulation and its variants (e.g., bisimulation and degree-preserving simulation) are useful in a wide spectrum of applications. However, all simulation variants are coarse "yes-or-no" indicators that simply confirm or refute whether one…

Logic in Computer Science · Computer Science 2020-10-20 Xiaoshuang Chen , Longbin Lai , Lu Qin , Xuemin Lin , Boge Liu

This contribution deals with the creation of numerical models for the simulation of the dynamic characteristics of fractional-order control systems and their comparison with analytical models. We give the results of the comparison of…

Optimization and Control · Mathematics 2007-05-23 L. Dorcak

We study the problem of experimental design for accurately identifying the causal graph structure of a simple structural causal model (SCM), where the underlying graph may include both cycles and bidirected edges induced by latent…

Machine Learning · Statistics 2025-09-03 Haijie Xu , Chen Zhang

Conceptual Graphs (CG) are a graph-based knowledge representation and reasoning formalism; fuzzy Conceptual Graphs (fCG) constitute an extension that enriches their expressiveness, exploiting the fuzzy set theory so as to relax their…

Artificial Intelligence · Computer Science 2021-11-02 Adam Faci , Marie-Jeanne Lesot , Claire Laudy

Fuzzy systems (FSs) have enjoyed wide applications in various fields, including pattern recognition, intelligent control, data mining and bioinformatics, which is attributed to the strong interpretation and learning ability. In traditional…

Artificial Intelligence · Computer Science 2023-09-21 Fuping Hu , Zhaohong Deng , Zhenping Xie , Kup-Sze Choi , Shitong Wang

Digital quantum computers have the potential to study the dynamics of complex quantum systems. Nonequilibrium open quantum systems are, however, less straightforward to be implemented. Here we consider a collisional model representation of…

Quantum Physics · Physics 2023-10-02 Rebecca Erbanni , Xiansong Xu , Tommaso Demarie , Dario Poletti