• VeriStar

  • Referenced in 3 articles [sw09393]
  • logic for C minor. By end-to-end, we mean that when the static analysis ... entailments and uses highly tuned verified functional data structures. By modular, we mean that VeriStar ... easily be ported to other separation logics...
  • Algorithm 898

  • Referenced in 6 articles [sw20167]
  • logical-XOR, and multiplication is logical-AND, thus a machine word of 64 bits allows ... memory reads and writes and issues of data locality. We present our empirical findings ... relation to minimizing these and give an analysis thereof...
  • Naiad

  • Referenced in 4 articles [sw32529]
  • enriches dataflow computation with timestamps that represent logical points in the computation and provide ... abling such diverse tasks as streaming data analysis, it- erative machine learning, and interactive graph...
  • Zelus

  • Referenced in 4 articles [sw20166]
  • language for modeling systems that mix discrete logical time and continuous time behaviors. From ... conservative: any synchronous program expressed as data-flow equations and hierarchical automata can be composed ... code. A dedicated type system and causality analysis ensure that all discrete changes are aligned...
  • AtSNE

  • Referenced in 1 article [sw41210]
  • which may cause confusions to the data analysis. (2) They cannot scale to large-scale ... platform because their complex algorithm logic, high memory cost, and random memory access mode will ... solution for large-scale and high-dimensional data. Specifically, we generate a number of anchor...
  • Path2Models

  • Referenced in 4 articles [sw29332]
  • source data, three types of models are provided: kinetic, logical and constraint-based. Models from ... providing initial starting models for simulation and analysis, which can be subsequently curated and further...
  • FuzzyR

  • Referenced in 1 article [sw41113]
  • Type-1 and Interval Type-2 Fuzzy Logic. This toolkit includes with graphical user interface ... Intelligent Modelling & Analysis Group (IMA) and Lab for UnCertainty In Data and decision making (LUCID...
  • LOEWE

  • Referenced in 2 articles [sw29143]
  • integrated tools environment for the specification, analysis, and implementation of communication software. Although primarily based ... associated interactive state exploration tools, a temporal logic verifier, a compiler to generate C code ... behavior expressions, a translator of LOTOS abstract data type operations to a set of LISP...
  • CORAL

  • Referenced in 3 articles [sw10927]
  • fathead minnow (Pimephales promelas). CORrelation And Logic (CORAL) is a software that generates quantitative structure ... This study is dedicated to the QSAR analysis of acute toxicity in Fathead minnow (Pimephales ... active). Computational experiments with three random splits (data on 568 compounds) indicated that this approach...
  • BioLQM

  • Referenced in 2 articles [sw35162]
  • Based on the definition of multi-valued logical models, bioLQM implements import and export facilities ... well as model reduction, easing the analysis of large models. Another modification enables the study ... framework for the development of novel analysis tools. The current version implements various updating modes ... analysis features for the identification of attractors. The bioLQM software can be integrated into analysis...
  • TETRASAT

  • Referenced in 1 article [sw07872]
  • program for the population analysis of allotetraploid microsatellite data. TETRASAT (Markwith ... impetus behind the development of TETRASAT, the logic behind its operation, and its utility...
  • SinkTrail

  • Referenced in 1 article [sw20848]
  • SinkTrail establishes a logical coordinate system for routing and forwarding data packets, making it suitable ... factors in the proposed algorithms. Both theoretical analysis and simulation results demonstrate that the proposed...
  • BioImageXD

  • Referenced in 2 articles [sw18624]
  • tools for mathematical and logical processing and noise reduction. Analysis tools cover both object-based ... with for instance versatile tools for colocalization analysis, numerous segmentation methods with elaborate numerical analyses ... advanced motion tracking algorithm. All processing and analysis methods can be built into pipelines ... with the Batch Processor, and simulated image data can be created for method validation. BioImageXD...
  • METAREP

  • Referenced in 1 article [sw35199]
  • view, query, browse and compare metagenomic annotation data derived from ORFs called on metagenomics reads ... assignments. Users can either specify fields, or logical combinations of fields to filter and refine ... export tab delimited files for downstream analysis. The web site is optimized to be user...
  • MachSMT

  • Referenced in 1 article [sw40572]
  • evaluate MachSMT on the solvers, benchmarks, and data obtained from SMT-COMP ... logics that have broad applications (e.g., BV, LIA, NRA, etc.) in verification, program analysis...
  • MP-GeneticSynth

  • Referenced in 1 article [sw34305]
  • Java tool for discovering the logic and regulation mechanisms responsible for observed biological dynamics ... interfaces for data preparation, a priori knowledge integration, and flux regulator analysis. Availability and implemention...
  • ReDraw

  • Referenced in 1 article [sw36252]
  • three tasks: detection, classification, and assembly. First, logical components of a GUI are detected from ... metadata. Then, software repository mining, automated dynamic analysis, and deep convolutional neural networks are utilized ... specific types (e.g., toggle-button). Finally, a data-driven, K-nearest-neighbors algorithm generates...
  • SQLCert

  • Referenced in 1 article [sw28676]
  • theory, SQL is based on the relational data model. However, there is an important mismatch ... compilation chain: the syntactic analysis, the semantics analysis and the logical optimisation steps. To this...
  • SociaLite

  • Referenced in 1 article [sw32549]
  • rise of social networks, large-scale graph analysis becomes increasingly important. Because SQL lacks ... query language based on Datalog. As a logic programming language, Datalog allows many graph algorithms ... provide high-level hints on the data layout and evaluation order; they can also define...
  • iCTRL

  • Referenced in 1 article [sw01473]
  • knowledge acquisition: computer-aided textual data base generation and logical inference based information retrieval. CTRL/iCTRL ... concepts and exemplify partial inappropriateness of traditional logical language. The CTRL/iCTRL paradigm is based ... interesting synthesis of the two traditional logic schools, the Stoic and the Peripatetic school, refuting ... completely outworn. An interesting issue of this analysis points out that expressing subordination unconsciously...