• QCL

  • Referenced in 4 articles [sw14141]
  • within the broad field of theoretical physics. One reason for the slow adoption ... programming languages, as well as the rather “physical” terminology in most of the available literature...
  • FisPro

  • Referenced in 9 articles [sw16651]
  • them for reasoning purposes, especially for simulating a physical or biological system. Fuzzy inference systems ... symbolic and numerical spaces. One of the reasons for this success is the ability...
  • ROSCoq

  • Referenced in 2 articles [sw13285]
  • events to enable holistic reasoning about the cyber-physical behavior of robotic systems. The behavior ... physical world (e.g. Newton’s laws) and associated devices ... sensors, actuators) are specified axiomatically. For reasoning about physics we use and extend CoRN ... fast computations on reals, thus enabling accurate reasoning about such computations.{par}As an application...
  • ConceptNet

  • Referenced in 31 articles [sw10660]
  • tool-kit which supports many practical textual-reasoning tasks over real-world documents including topic ... assertions of commonsense knowledge encompassing the spatial, physical, social, temporal, and psychological aspects of everyday...
  • PIQA

  • Referenced in 1 article [sw42137]
  • PIQA: Reasoning about Physical Commonsense in Natural Language. To apply eyeshadow without a brush, should ... paper, we introduce the task of physical commonsense reasoning and a corresponding benchmark dataset Physical...
  • DeepXDE

  • Referenced in 66 articles [sw32456]
  • recently. Here, we present an overview of physics-informed neural networks (PINNs), which embed ... training efficiency of PINNs. For pedagogical reasons, we compare the PINN algorithm to a standard...
  • BioWar

  • Referenced in 8 articles [sw14607]
  • modulated by physical, economical, technological, communication, health, and governmental infrastructures. To systematically reason about...
  • Montre

  • Referenced in 3 articles [sw30369]
  • versatile tasks for analyzing and reasoning about cyber-physical systems. As the first...
  • WHIZARD

  • Referenced in 18 articles [sw17837]
  • SppC and other High Energy Physics Experiments. WHIZARD is a program system designed ... sections and generate unweighted event samples with reasonable efficiency for processes with up to eight ... over automatically where needed. For hadron collider physics, an interface to the standard LHAPDF...
  • ZEBRA

  • Referenced in 2 articles [sw15672]
  • programming in high-energy physics is carried out, for various reasons, in the Fortran...
  • RDFox

  • Referenced in 5 articles [sw33097]
  • indexing data structures and our novel reasoning algorithms. In addition, we evaluate RDFox ... SPARC T5-8 server with 128 physical cores and 4TB of RAM. Our results show ... million triples per second, and reasoning rates of up to 6.1 million triples per second...
  • TPtool

  • Referenced in 6 articles [sw11769]
  • executed without any analytical interactions, within a reasonable amount of time (irrespective of whether ... form of analytical equations resulting from physical considerations, as an outcome of soft computing based...
  • ICON

  • Referenced in 9 articles [sw31159]
  • hand and tracer advection, physics parametrizations and horizontal diffusion on the other hand. A sequence ... steep mountain slopes with good accuracy and reasonably low diffusivity. Preliminary NWP test suites initialized...
  • Fran

  • Referenced in 11 articles [sw21482]
  • proper treatment of real time, to guide reasoning and implementation. A method to effectively ... given, including the ability to describe physical phenomena involving gravity, springs, velocity, acceleration, etc. using...
  • Frenetic

  • Referenced in 7 articles [sw16270]
  • design - fully compositional, which facilitates modular reasoning and enables code reuse. This important property ... querying low-level packet-processing rules on physical switches. Overall, this paper makes three main...
  • gpuSPHASE

  • Referenced in 6 articles [sw22289]
  • simulation of several days to weeks of physical time. Based on the high computational demand ... frames per second to be computed in reasonable time. A novel caching algorithm for Compute...
  • FeynCalcFormLink

  • Referenced in 2 articles [sw28329]
  • calculations for High Energy Physics due to its high performance and fficient design. Mathematica, another ... also widely been used, but more for reasons of generality and user-friendliness than...
  • ATHENA

  • Referenced in 2 articles [sw42270]
  • from the semantics of the query, providing physical independence. Moreover, ontologies provide richer semantic information ... lost in a relational schema. By reasoning over the ontologies, our NLQ engine is able...
  • Galacticus

  • Referenced in 1 article [sw41934]
  • give details of the specific implementations of physics currently available in Galacticus. Finally, we show ... from an example model that is in reasonably good agreement with several observational datasets...
  • ColliderBit

  • Referenced in 2 articles [sw41215]
  • high energy collider observables in theories of physics beyond the Standard Model (BSM). ColliderBit features ... number of LHC analyses, covering a reasonable range of the BSM signatures currently sought ... applying collider constraints to theories of new physics...