• Mu Analysis and Synthesis Toolbox

  • Referenced in 110 articles [sw19506]
  • treatment of systems in either a time domain, frequency domain, or state-space manner ... access to recent developments in control theory, namely H∞ optimal control and m analysis...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • infinite-state systems, it extends the nuXmv language with new data types, namely Integers ... performance to be competitive with the state of the art. nuXmv has been used ... contract based design, model checking of hybrid systems, safety assessment, and software model checking...
  • Vivid

  • Referenced in 3 articles [sw01316]
  • present novel formal structures, called named system states, that are specifically designed for modeling potentially ... interpret first-order relational signatures into named system states, and develop a formal semantic framework...
  • OpenBUGS

  • Referenced in 81 articles [sw08316]
  • simply stating the relationships between related variables. The software includes an ‘expert system’, which determines ... There are two main versions of BUGS, namely WinBUGS and OpenBUGS. This site is dedicated...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • synchronous data-flow language for programming systems which interact with their environments in real-time ... generate efficient sequential code, namely, a finite state automaton which represents the control...
  • MALLET

  • Referenced in 23 articles [sw10602]
  • sequence tagging for applications such as named-entity extraction from text. Algorithms include Hidden Markov ... implemented in an extensible system for finite state transducers...
  • Numerica

  • Referenced in 46 articles [sw21227]
  • methods to find all solutions to systems of nonlinear constraints and all global optima ... global optimization that makes it possible to state nonlinear problems in a form close ... Numerica is available from ILOG under the name ILOG Numerica...
  • STAMP

  • Referenced in 45 articles [sw09536]
  • signal extraction is carried out using state space methods and Kalman filtering. However, STAMP ... system for data analysis with excellent data manipulation, graphical and batch facilities. The full name...
  • SHIELD

  • Referenced in 7 articles [sw20121]
  • system to achieve significant speedup over the state-of-the-art HE implementation, namely ... HElib for these applications. Our system is built to be easily portable to GPUs (unlike...
  • Madpack

  • Referenced in 19 articles [sw04252]
  • multilevel solutions. The author gives a state-of-art description of the abstract multigrid package ... multigrid methods for solving linear and nonlinear systems, possibly arizing from partial differential equations, possibly ... author discusses three versions of the package, namely versions 2, 4, and 5. Version...
  • AutoKeras

  • Referenced in 7 articles [sw33648]
  • state-of-the-art methods. Moreover, we build an open-source AutoML system based ... method, namely Auto-Keras. The system runs in parallel on CPU and GPU, with...
  • SSD

  • Referenced in 34 articles [sw26652]
  • single deep neural network. Our approach, named SSD, discretizes the output space of bounding boxes ... train and straightforward to integrate into systems that require a detection component. Experimental results ... achieves 75.1% mAP, outperforming a comparable state of the art Faster R-CNN model...
  • QRNG

  • Referenced in 4 articles [sw08634]
  • Mathematica. The problem of generating random quantum states is of a great interest from ... Mathematica computing system harnessing a specific piece of hardware, namely Quantis quantum random number generator ... QRNG), for investigating statistical properties of quantum states. The described package implements a number...
  • Belenios

  • Referenced in 2 articles [sw41309]
  • voting system, guaranteeing state-of-the-art security, namely vote privacy and verifiability...
  • OPERAS

  • Referenced in 4 articles [sw30593]
  • systems are a class of multi-agent systems (MAS) of particular interest because they exhibit ... framework, namely OPERAS XC , could integrate the most prominent characteristics of finite state machines ... biological computation systems, such as X-machines and P Systems respectively. We demonstrate...
  • Spatial-Yap

  • Referenced in 2 articles [sw13884]
  • best of both worlds. The current state-of-the-art of these interfaces is restricted ... database system to the handling of spatial data, and the needed extensions, namely the ability ... deductive database system, that can be used as a geographic information system ... argue that such a system can improve the state-of-the-art of spatial data...
  • FEMPAR

  • Referenced in 21 articles [sw21297]
  • algorithms for the discretization step, namely (arbitrary-order) grad, div, and curl-conforming finite element ... adaptivity. The linear solver module relies on state-of-the-art bulk-asynchronous implementations ... provides users with out-of-the-box state-of-the-art discretization techniques and highly ... some ingredients about the assembly of linear systems arising from finite element discretizations...
  • WARP

  • Referenced in 7 articles [sw18142]
  • warped” coordinate system (from which the code derives its name). It is being designed ... primarily to obtain a well-matched initial state, and envelope/fluid models used for scoping...
  • Desco

  • Referenced in 4 articles [sw01223]
  • education and control of discrete event systems The authors report on a software suite which ... been developed to facilitate the manipulation of state automata and Petri nets for supervisor calculation ... first tools (jointly named Desco, for Discrete Event Systems COntroller), consisting...
  • Gluon

  • Referenced in 2 articles [sw41760]
  • produce distributed-memory versions of these systems named D-Galois and D-Ligra, respectively ... Gluon with IrGL, a state-of-the-art single-GPU system for graph analytics...