• BerkMin

  • Referenced in 160 articles [sw06917]
  • clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time BerkMin introduces ... decision-making procedure and a new method of clause database management. We experimentally compare BerkMin...
  • SLEX

  • Referenced in 18 articles [sw08605]
  • difference between two or more classes of time series. In the next step, we construct ... method is consistent and demonstrate via finite sample simulation studies that our proposed method performs ... well. Finally, we apply our method to a seismic waves dataset with the primary purpose ... classifying the origin of an unknown seismic recording as either an earthquake or an explosion...
  • repolr

  • Referenced in 7 articles [sw07133]
  • each step of the fitting algorithm. Methods for parameter estimation are described for the widely ... correlation models, for data potentially recorded at irregularly spaced time intervals. A full implementation...
  • DYFRAT

  • Referenced in 1 article [sw32789]
  • terms of response times (recorded in ms). DYFRAT implements an original method to integrate such...
  • pyunicorn

  • Referenced in 4 articles [sw19314]
  • sets of time series and, subsequently, investigating this structure using advanced methods of complex network ... complex systems as recorded in uni- and multivariate time series from a non-traditional perspective...
  • MouseTracker

  • Referenced in 3 articles [sw31294]
  • studying real-time mental processing using a computer mouse-tracking method. MouseTracker is a freely ... friendly software package that allows researchers to record and analyze hand movements traveling toward potential ... alternatives—researchers glean valuable information about real-time cognitive processing. MouseTracker opens up a single...
  • BCI2000

  • Referenced in 13 articles [sw20617]
  • comparisons of different brain signals, recording methods, processing algorithms, output formats, and operating protocols. However ... designed specifically for one particular BCI method and is, therefore, not suited to the systematic ... combination any brain signals, signal processing methods, output devices, and operating protocols. This report ... variety of brain signals, processing methods, and applications. The data show that these systems function...
  • CARTOOL

  • Referenced in 4 articles [sw35830]
  • This paper describes methods to analyze the brain’s electric fields recorded with multichannel Electroencephalogram ... assessment of changes of field topographies across time, experimental conditions, or populations. Topographic analyses ... based on distributed inverse solutions. All analysis methods are implemented in a freely available academic...
  • Suite2p

  • Referenced in 2 articles [sw19191]
  • powerful calcium-dependent fluorescent sensors enables simultaneous recording of unprecedentedly large populations of neurons. While ... matured over several generations of development, computational methods to process their fluorescence remain inefficient ... spike times. We formulate a generative model of the fluorescence image, incorporating spike times ... typical two-hour long recordings, on commodity GPUs. Furthermore, this method recovers twice as many...
  • Rubik

  • Referenced in 1 article [sw30094]
  • missing data. We utilize the Alternating Direction Method of Multipliers (ADMM) framework to tensor factorization ... datasets, one of which contains 647,118 records for 7,744 patients from an outpatient ... dataset containing 1,018,614 CMS claims records for 472,645 patients. Our results show ... around seven times faster than current state-of-the-art tensor methods. Finally, Rubik...
  • HCC-Vis

  • Referenced in 2 articles [sw30710]
  • cluster. The identified clusters contain time series that exhibit high cross-dependence in the spectral ... proposed HCC method is competitive with the other feature-based clustering methods. To study clustering ... epileptic seizure, we applied the HCC method and identified connectivity on alpha ((8,12)) Hertz ... Hertz bands at different phases of the recording: before an epileptic seizure, during the early...
  • recordr

  • Referenced in 0 articles [sw16706]
  • package recordr. Provide methods to record data provenance about R script executions. Provenance data includes ... information about the execution, such as start time end time, the R modules loaded during...
  • MarDyn

  • Referenced in 2 articles [sw23454]
  • supercomputing architectures and currently holds the world record for the largest molecular simulation with over ... application of pair potentials to length and time scales that were previously out of scope ... extended to new physical models, methods, and algorithms, allowing future users to tailor...
  • ROTOR

  • Referenced in 6 articles [sw11955]
  • relevant crops recorded separately with inputs and outputs, machinery and timing. Starting from stubble tillage ... planning failures by offering a quantitative method of optimisation of weed and site-specific...
  • RealAlgebraic

  • Referenced in 1 article [sw09225]
  • roots of any degree. Arithmetic expressions are recorded as directed acyclic graph (dag). Using ... expression can be evaluated numerically several times with increasing precision, making sign computation adaptive. Real ... Boost and MPFR. We devised new efficient methods to convert expansions into arbitrary precision floating...
  • itsadug

  • Referenced in 0 articles [sw15455]
  • recordings, but also for behavioral data such as reaction times and response data. As time ... sensitive to autocorrelation problems, GAMMs implements methods to reduce the autocorrelation problems. This package includes...
  • JDiffraction

  • Referenced in 1 article [sw22288]
  • with the numerical reconstruction of a digitally recorded hologram. The performance of JDiffraction is contrasted ... JDiffraction also includes JAVA easy-to-use methods and functions that take advantage ... graphic processing units to accelerate the processing times of 2048$ imes$2048 pixel images...
  • eleanor

  • Referenced in 1 article [sw29782]
  • Exoplanet Survey Satellite (TESS) will perform a time-series photometric survey covering over ... aperture photometry is recorded every two minutes. However, TESS is also recording and delivering Full ... TESS FFIs. Here, we describe the methods used in eleanor to produce light curves that ... exoplanets and a broad range of time domain astrophysics...
  • SFEM-Pre

  • Referenced in 1 article [sw30718]
  • engineering problems. It combines standard finite element method (FEM) and meshfree techniques based ... formulation. This project, for the first time, develops a preprocessor software package SFEM ... complex geometry, and at the same time to create six types of connectivity needed ... database is implemented in our code to record all these connectivity to avoid duplicated calculation...
  • QUEST

  • Referenced in 1 article [sw18513]
  • according to their significance, from which space-time trajectories of parameter variations can be constructed ... create an efficient and accurate computational method for assessing and categorizing brain activity. The second ... example demonstrates the potential of the method in the application to the analysis ... tornado development and formation using data recorded by a mobile Doppler radar. Reference implementation...