• Miranda

  • Referenced in 153 articles [sw04986]
  • last few years have seen much fruitful research into the nature of functional programming. Although...
  • Cabri-geometry

  • Referenced in 114 articles [sw04928]
  • result of a constant and fruitful collaboration between computer scientists, mathematicians, education specialists, and practising...
  • CAPUSHE

  • Referenced in 62 articles [sw13365]
  • many statistical problems. One of the most fruitful and popular approaches to carry...
  • LEO-II

  • Referenced in 51 articles [sw00512]
  • based higher-order theorem prover designed for fruitful cooperation with specialist provers for natural fragments...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • Unix and Windows platforms. Mozart is the fruit of an ongoing research collaboration...
  • Fruit

  • Referenced in 7 articles [sw40835]
  • Fruit-v2: Ultra-Lightweight Stream Cipher with Shorter Internal State. A few lightweight stream ciphers ... portfolio of the eSTREAM project, we introduce Fruit-v2 as a successor of the Grain ... Sprout. It is demonstrated that Fruit-v2 is safe and ultra-lightweight. The size ... LFSR and NFSR in Fruit-v2 is only 80 bits (for 80-bit security level...
  • ASlib

  • Referenced in 13 articles [sw15088]
  • researchers and practitioners in AI. Years of fruitful applications in a number of domains have...
  • LGMS-FOA

  • Referenced in 7 articles [sw31875]
  • LGMS-FOA: an improved fruit fly optimization algorithm for solving optimization problems. Recently ... fruit fly optimization algorithm (FOA) is proposed to solve optimization problems. In this paper...
  • BSMART

  • Referenced in 6 articles [sw07381]
  • immediately derived. The approach has been fruitfully used to characterize, with high spatial, temporal...
  • BigDFT

  • Referenced in 6 articles [sw10171]
  • will discuss how the problematic of fruitfully benefit of this new technology can be match...
  • Chronos

  • Referenced in 5 articles [sw00125]
  • EDPEPPS toolset is the fruit of a 10 man-year-research development and integrates many...
  • DSLC-FOA

  • Referenced in 3 articles [sw31874]
  • DSLC-FOA: improved fruit fly optimization algorithm for application to structural engineering design optimization problems ... this study, we propose an improved fruit fly optimization algorithm (FOA) based on linear diminishing...
  • MAppleT

  • Referenced in 4 articles [sw14380]
  • intra-year dynamics of primary, secondary and fruit growth. Outputs consist of 3-D mock...
  • Vinci

  • Referenced in 4 articles [sw21789]
  • algorithms for volume computation. It is the fruit of a research project carried...
  • FlyBase

  • Referenced in 4 articles [sw23002]
  • latest reference genome assembly of the fruit fly Drosophila melanogaster, was released by the Berkeley...
  • SymmPa

  • Referenced in 3 articles [sw08414]
  • contrast, there is little evidence of fruitful applications of CEGAR to shared-variable concurrent software...
  • ConvexLAR

  • Referenced in 3 articles [sw16543]
  • generalized in a fruitful way. We propose a ConvexLAR algorithm that works for any convex...
  • CFDEM

  • Referenced in 3 articles [sw21643]
  • ores, tablets, chemicals, biomass, detergents, plastics, crops, fruits need to be harvested, produced, processed, transported...
  • iSS-Hyb-mRMR

  • Referenced in 3 articles [sw22414]
  • literature so for; and will be fruitful in the mechanism of RNA splicing, and other...
  • Toga II

  • Referenced in 1 article [sw34173]
  • Toga II is a derivative of the Fruit chess engine. It enhances on Fruit ... frontend. Toga II is more advanced that Fruit, with a stronger and more aggressive playing...