• Stabhyli

  • Referenced in 5 articles [sw20122]
  • that exhibit discrete as well as continuous behavior. The stability property basically ensures that ... discrete controller is controlling a time-continuous process such as a car’s movement...
  • XAHM

  • Referenced in 1 article [sw02427]
  • adaptation process, which is based on three different “adaptivity dimensions”: user’s behavior (preferences ... user’s terminal) and external environment (time, location, language, socio-political issues, etc.). An Adaptive...
  • BehaviorSpace

  • Referenced in 2 articles [sw24391]
  • with models. BehaviorSpace runs a model many times, systematically varying the model’s settings ... results of each model run. This process is sometimes called “parameter sweeping”. It lets ... explore the model’s “space” of possible behaviors and determine which combinations of settings cause...
  • Calpa

  • Referenced in 1 article [sw18666]
  • process that requires careful inspection of a program’s static characteristics and run-time behavior...
  • AO4BPEL

  • Referenced in 8 articles [sw33276]
  • BPEL activity that specifies some crosscutting behavior that should execute at certain join points. Like ... AO4BPEL, the base program is the BPEL process and the weaver is an aspect-ware ... deployed or un-deployed at process interpretation time...
  • PoreChem

  • Referenced in 1 article [sw29444]
  • others. In order to study these processes and the optimization thereof in the industrial sector ... required to have information about the time dependent behavior of the reactive mass transport...
  • EmbryoMaker

  • Referenced in 2 articles [sw38801]
  • networks, cell signaling and gene-regulated cell behaviors (division, adhesion, polarization, apoptosis, contraction, extracellular matrix ... phenomena, but none considers at the same time the very different bio-mechanical properties ... allows the user to simulate custom developmental processes by designing custom gene networks capable ... cell signaling and all animal basic cell behaviors. We also include an editor to implement...
  • IKBT

  • Referenced in 1 article [sw29772]
  • inverse kinematics are encoded as actions in Behavior Tree. The order of applying these rules ... logical reasoning process of engineers. It is also the first time that the dependency ... proof-of-concept of using Behavior Trees to solve high-cognitive problems...
  • DOTcvpSB

  • Referenced in 4 articles [sw07305]
  • Dynamic optimization seeks the computation of optimal time-varying conditions (called control variables) for this ... achieve a desired dynamic behavior, e.g. stimulate a cell signaling cascade to maximize amplitude strength ... computation of optimal operating policies for processes or systems which maximize (or minimize...
  • Conductor

  • Referenced in 3 articles [sw38687]
  • problem of specifying and verifying communication behavior of microservice systems. We present a formal semantics ... based on Petri nets for microservices based process flows specified using the Conductor orchestration language ... translation from Conductor specifications into Time Basic Petri net models, i.e., Petri nets supporting...
  • KurSL

  • Referenced in 2 articles [sw26234]
  • framework for capturing complex interactions of oscillatory processes of more general form than the most ... KurSL model and analyzes its behavior for a variety of parameter ranges. The significance ... coupled oscillators’ phase dynamics directly from the time series. KurSL offers a novel framework...
  • BladeGen

  • Referenced in 1 article [sw19461]
  • integral part of the design process and model the behavior of fluids in turbomachinery before ... benefits of CFX-BladeGen include reduced design times and lower costs for creating prototypes. Once...
  • sitar

  • Referenced in 2 articles [sw40191]
  • process of testing models to find bugs by searching for model-inputs that violate behavioral ... finite parameterization of the (bounded-time) input signal, which allows formulating bug-finding...
  • Zelus

  • Referenced in 4 articles [sw20166]
  • discrete logical time and continuous time behaviors. From a user’s perspective, its main originality ... code that, by construction, runs in bounded time and space. Compilation is effected by source ... into a small synchronous subset which is processed by a standard synchronous compiler architecture...
  • SNESIM

  • Referenced in 7 articles [sw13366]
  • channels that control reservoir connectivity and flow behavior. In addition, MPS simulation works on individual ... manage to reduce memory demand or simulation time only at the expense of data conditioning ... demand and simulation time limitations. First, we demonstrate that the time needed to simulate ... subgrids; and a new search neighborhood designing process to preferentially include previously simulated node locations...
  • QuickLex

  • Referenced in 3 articles [sw23063]
  • difficult because they show nondeterministic behavior due to different process scheduling order. Predicate detection ... been proposed to improve the space and time complexity. Among the existing algorithms, the Tree...
  • TrojDRL

  • Referenced in 1 article [sw41287]
  • this work, we show that these training-time vulnerabilities extend to deep reinforcement learning ... adversary with access to the training process. In particular, we focus on Trojan attacks that ... function of reinforcement learning policies with hidden behaviors. We demonstrate that such attacks...
  • Exponentron

  • Referenced in 2 articles [sw26900]
  • some applications, the time series behavior can change over time due to a change ... Exponentron, for the prediction of exponential decay time series. We state a regret bound ... class of hypotheses after observing the entire time series. In experiments with synthetic and real ... proposed algorithm compares favorably with the classic time series prediction methods by providing...
  • E-NAUTILUS

  • Referenced in 4 articles [sw17037]
  • computationally expensive functions and aspects of human behavior. In this paper, we propose a method ... optimal solutions is calculated in a pre-processing stage before the decision maker is involved ... decision maker interacts with the solution process in the interactive decision making stage ... problem is solved, thus, avoiding the waiting time for the decision maker to obtain...
  • LMS Virtual.Lab

  • Referenced in 1 article [sw07486]
  • suite accurately models and simulates mechanical design behavior in real-life circumstances. Its robust ... time to impact major design decisions. LMS Virtual.Lab covers all the process steps and required...