• SCIP

  • Referenced in 542 articles [sw01091]
  • control of the solution process and the access of detailed information down to the guts...
  • UTV

  • Referenced in 263 articles [sw05213]
  • algorithms have applications in signal processing, optimization and LSI information retrieval...
  • Uppaal

  • Referenced in 653 articles [sw04702]
  • University in Denmark and the Department of Information Technology at Uppsala University in Sweden ... modeled as a collection of non-deterministic processes with finite control structure and real-valued...
  • CAViaR

  • Referenced in 187 articles [sw04424]
  • future portfolio values conditional on current information, the conditional autoregressive value at risk (CAViaR) model ... quantile over time using an autoregressive process and estimates the parameters with regression quantiles. Utilizing ... must be independent of all the past information, we introduce a new test of model...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • wide variety of disciplines, deductive information systems for these disciplines, expert systems which can reason ... maintained by ETPS, and can be processed by the GRADER program which is also part ... maintain and process numerical or letter grades for any course. For more information about ETPS...
  • Graphs

  • Referenced in 109 articles [sw12277]
  • methods; database and information systems researchers investigate materialization tradeoffs, query processing on spatial networks...
  • eSTREAM

  • Referenced in 105 articles [sw12699]
  • final portfolio. For information on the eSTREAM project and selection process, including a timetable...
  • VTK

  • Referenced in 120 articles [sw10593]
  • software system for 3D computer graphics, image processing and visualization. VTK consists ... extensive information visualization framework, has a suite of 3D interaction widgets, supports parallel processing...
  • Bloqqer

  • Referenced in 31 articles [sw09578]
  • relevant for the solving process or blur information which could be beneficial for the solving...
  • PhysioToolkit

  • Referenced in 149 articles [sw15476]
  • methods, and analysis of nonequilibrium and nonstationary processes. A unifying theme of the research projects ... PhysioToolkit is the extraction of “hidden” information from biomedical signals, information that may have diagnostic...
  • XPath

  • Referenced in 375 articles [sw15780]
  • expression language that allows the processing of values conforming to the data model defined ... take advantage of the type information that becomes available when documents are validated using...
  • PetriNets

  • Referenced in 9 articles [sw04380]
  • promising tool for describing and studying information processing systems that are characterized as being concurrent...
  • OpenGL

  • Referenced in 136 articles [sw06740]
  • typically used to interact with a Graphics processing unit (GPU), to achieve hardware-accelerated rendering ... used in CAD, virtual reality, scientific visualization, information visualization, flight simulation, and video games. OpenGL...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • visualization, computer aided design and modeling, geographic information systems, molecular biology, medical imaging, robotics ... volume mesh generation, skin surfaces), geometry processing (surface mesh simplification, subdivision and parameterization, as well...
  • UniProt

  • Referenced in 136 articles [sw21320]
  • UniProt: a hub for protein information. UniProt is an important collection of protein sequences ... been designed using a user-experience design process. We have introduced an annotation score ... proteins are the best characterized and most informative for comparative analysis. All UniProt data...
  • TyPiCal

  • Referenced in 8 articles [sw23207]
  • analysis, deadlock-freedom analysis, useless-code elimination, information flow analysis, and termination analysis. The former ... reply to every request? Can a process eventually acquire a lock? Does a process that ... process, but often simpler than the original process, so that it is more efficient ... Information flow analyzer checks whether a process leaks information about secret data to the environment...
  • Find

  • Referenced in 86 articles [sw21614]
  • correctness of the algorithm “Find.” First, an informal description is given of the purpose ... constructing the program proof during the process of coding it, in such...
  • Modelica

  • Referenced in 125 articles [sw04352]
  • electrical, hydraulic control and state machine subsystems, process oriented applications and generation and distribution ... manually. A Modelica tool will have enough information to decide that automatically. Modelica is designed...
  • PSICO

  • Referenced in 10 articles [sw10910]
  • this paper we propose PSICO (Processing Structural Information with Constraint programming and Optimisation...
  • iRSpot-PseDNC

  • Referenced in 65 articles [sw22437]
  • composition. Meiotic recombination is an important biological process. As a main driving force of evolution ... called ’coldspots’) with lower frequencies. Therefore, the information of the hotspots and coldspots would provide ... mechanism of recombination and the genome evolution process as well. So far, the recombination regions...