• Chaff

  • Referenced in 564 articles [sw06916]
  • range of applications in Electronic Design Automation (EDA), as well as in Artificial Intelligence...
  • OTTER

  • Referenced in 311 articles [sw02904]
  • current automated deduction system Otter is designed to prove theorems stated in first-order logic...
  • Control System Toolbox

  • Referenced in 136 articles [sw07643]
  • root locus method, LQR/LQG design, and other interactive and automated techniques. You can validate your...
  • SATIRE

  • Referenced in 38 articles [sw04648]
  • verification and optimization problems in electronic design automation. SATIRE builds on the most recent advances...
  • Zchaff2004

  • Referenced in 21 articles [sw01032]
  • diverse domains such as electronic design automation and artificial intelligence. These applications continue to motivate...
  • ORSEE

  • Referenced in 133 articles [sw11710]
  • based Online Recruitment System, specifically designed for organizing economic experiments. It’s key features ... public and internal experiment calendar, reputation system, automated mailing, pdf output, experimenter rights management...
  • AutoDock

  • Referenced in 34 articles [sw09659]
  • suite of automated docking tools. It is designed to predict how small molecules, such...
  • Transfer

  • Referenced in 26 articles [sw21009]
  • Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms ... automation, but it still has many technical limitations. We present an improved, modular design centered ... design is simpler, applicable in more situations, and has more user-friendly automation...
  • Lifting

  • Referenced in 26 articles [sw21010]
  • Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms ... automation, but it still has many technical limitations. We present an improved, modular design centered ... design is simpler, applicable in more situations, and has more user-friendly automation...
  • PaGMO/PyGMO

  • Referenced in 9 articles [sw05070]
  • code was intended to help the automated design of interplanetary trajectories and spacecraft transfers...
  • Isar

  • Referenced in 140 articles [sw04599]
  • communication, or just maintenance). The Intelligible semi-automated reasoning (Isar) approach to readable formal proof ... Isar formal proof language has been designed to satisfy quite contradictory requirements, being both ’declarative ... logic, and integrates a broad range of automated proof methods. Interactive proof development is supported...
  • MuJoCo

  • Referenced in 11 articles [sw27214]
  • first full-featured simulator designed from the ground up for the purpose of model-based ... consistent state estimation, system identification and automated mechanism design, and apply them to complex dynamical...
  • LCF

  • Referenced in 157 articles [sw08360]
  • whose in°uence on the ¯eld of automated reasoning has been diverse and profound ... approach to theorem proving, but he also designed the ML programming language underlying...
  • Why3

  • Referenced in 128 articles [sw04438]
  • correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used ... calling external provers, and a well-designed API, allowing to use Why3 as a software...
  • ASTRX/OBLX

  • Referenced in 5 articles [sw19450]
  • contrast to digital ASIC design, design automation tools for the analog portions of mixed-signal ... largely nonexistent: most analog circuitry is still designed by hand. Synthesis of analog cells promises ... present a new synthesis strategy that can automate fully the path from a circuit topology ... minimum value occurs at a circuit design that best meets the input specifications. This cost...
  • ROSETTA

  • Referenced in 22 articles [sw10969]
  • process have been the principal guiding design parameters for both.par The kernel class library provides ... partial automation of the overall KDD process. Various design choices made during construction...
  • iSIGHT

  • Referenced in 8 articles [sw06969]
  • commitment to deliver industry-leading process automation and design optimization solutions, Isight...
  • SOFT

  • Referenced in 5 articles [sw03485]
  • parallel computational framework for the completely automated design of a Vertical Axis Fluid Turbine (VAFT...
  • RRL

  • Referenced in 55 articles [sw28904]
  • solve hard and challenging mathematical problems in automated reasoning literature as well as a research ... formal methods in hardware and software design. We provide a brief historical account of development...
  • CAPTools

  • Referenced in 8 articles [sw17993]
  • Parallelisation Tools (CAPTools) is a toolkit designed to automate as much as possible...