• Isabelle/ZF

  • Referenced in 63 articles [sw04973]
  • elementary set theory, including relations, functions, injections, surjections, ordinals and cardinals. Results proved include Cantor...
  • DDDAS

  • Referenced in 31 articles [sw18325]
  • algorithms tolerant to perturbations from dynamic data injection and steering, and systems software to support...
  • FREEFLOW

  • Referenced in 23 articles [sw04253]
  • applying it to several industrial problems: sloshing, injection moulding, and dye-swelling...
  • COM-MAT-FAIL

  • Referenced in 12 articles [sw10166]
  • Crack-path field and strain-injection techniques in computational modeling of propagating material failure ... second one is termed {it strain-injection}, and consists of a procedure to insert, during ... element formulations. In the approach, a first injection, of elemental constant strain modes ... discontinuous displacement mode (DDM) is efficiently injected, ensuring the required continuity of the crack-path...
  • AMNESIA

  • Referenced in 11 articles [sw12039]
  • AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks. The use of web applications ... attacks that target them. In particular, SQL injection, a class of code-injection attacks ... technique for detecting and preventing SQL injection attacks. Our technique uses a model-based approach...
  • COSMOCR

  • Referenced in 7 articles [sw02255]
  • Primary cosmic ray electrons and ions are injected at shocks according to the thermal leakage ... prescription. Secondary electrons are continuously injected as a results of p-p inelastic collisions...
  • M3D-C

  • Referenced in 10 articles [sw09200]
  • modes) (using a hybrid model); pellet injection; and the formation of current holes in discharges...
  • PANFIS

  • Referenced in 9 articles [sw13735]
  • statistical contributions of the fuzzy rules and injected datum afterward. Identical fuzzy sets...
  • Pixy

  • Referenced in 5 articles [sw25249]
  • detection of vulnerability types such as SQL injection, cross-site scripting, or command injection. Pixy...
  • Atropos

  • Referenced in 7 articles [sw05404]
  • Toolkit provides the infrastructure to develop and inject numerous, small, interacting network component models...
  • MRST-co2lab

  • Referenced in 6 articles [sw25312]
  • used to study realistic injection scenarios, or function as a platform for rapid prototyping...
  • ProBase

  • Referenced in 6 articles [sw28898]
  • human communication. We do this by injecting certain general knowledge or certain common sense into...
  • RandGA

  • Referenced in 4 articles [sw35808]
  • RandGA: injecting randomness into parallel genetic algorithm for variable selection. Recently, the ensemble learning approaches ... propose a novel method RandGA through injecting randomness into PGA with the aim to increase...
  • CORE2D

  • Referenced in 5 articles [sw07855]
  • heterogeneous medium, 4) An experiment of CO2 injection in the vadose zone, 5) The prediction...
  • IFP-C3D

  • Referenced in 5 articles [sw09125]
  • instance HCCI combustion mode, to direct injection hydrogen internal combustion engines. Large super-scalar machines...
  • Merlin

  • Referenced in 5 articles [sw23076]
  • such as cross-site scripting and SQL injection. In fact, these explicit information flow vulnerabilities...
  • STATCOM

  • Referenced in 5 articles [sw40844]
  • controlling the amount of reactive power injected into or absorbed from the power system. When...
  • NS-3

  • Referenced in 4 articles [sw07496]
  • regarding network topology, routing strategy and packets injection distributions...
  • Mosclust

  • Referenced in 4 articles [sw09071]
  • data perturbations methods (resampling, random projections, noise injection), as well as statistical tests to assess...
  • Scapy

  • Referenced in 4 articles [sw13703]
  • handle, like sending invalid frames, injecting your own 802.11 frames, combining technics (VLAN hopping...