• hypre

  • Referenced in 210 articles [sw00426]
  • solution of large, sparse linear systems on massively parallel computers. Its emphasis is on modern ... library in the way they naturally think about their problems. This paper presents the conceptual...
  • GenStat

  • Referenced in 65 articles [sw10667]
  • VSNi like to think of GenStat as an all embracing data analysis tool, offering ease ... comprehensive menu system reinforced with the flexibility of a sophisticated programming language. All this...
  • MPSGE

  • Referenced in 10 articles [sw20699]
  • structured framework in which to think about general equilibrium systems...
  • MENTOR

  • Referenced in 2 articles [sw17946]
  • Using MENTOR to teach systems thinking and OR methodology to first-year students ... MS/OR projects within a framework of systems thinking. We outline the philosophy underlying the module...
  • SACS Toolkit

  • Referenced in 2 articles [sw03708]
  • development in complexity science and sociological systems thinking, offering researchers a powerful ... showcases a new method for modeling social systems, called the SACS Toolkit. The SACS Toolkit...
  • ASTRA

  • Referenced in 12 articles [sw00052]
  • system state considered critical from the risk viewpoint. One can think of an explosion ... also represent unavailability of an alarm sub-system...
  • MaLARea

  • Referenced in 40 articles [sw10278]
  • axioms, lemmas, theorems, definitions and symbols. The system works in cycles of theorem proving followed ... quite interesting questions about the nature of thinking, in particular, about...
  • Gephi

  • Referenced in 28 articles [sw12110]
  • kinds of networks and complex systems, dynamic and hierarchical graphs. Runs on Windows, Linux ... complementary tool to traditional statistics, as visual thinking with interactive interfaces is now recognized...
  • LFLC 2000

  • Referenced in 12 articles [sw08217]
  • expressions of natural language without necessity to think how they are implemented. Hence, the computer ... Windows and it is fully object oriented system. The system is integrated with other software...
  • SUIF

  • Referenced in 26 articles [sw08807]
  • SUIF compiler into a powerful, flexible system, and we would now like to share ... SUIF to be suitable for everyone, we think it may be useful for many other...
  • vrml2pov

  • Referenced in 1 article [sw25186]
  • written in C++ without (I think) any reference to system-specific libraries, and does ... every one is currently implemented. But I think a large majority of VRML scenes should...
  • Metagraphs

  • Referenced in 19 articles [sw01368]
  • modeling decision support systems Most decision support systems (DSS) contain stored data, data analysis procedures ... various models. For example, they may think that a model requires data that is unavailable...
  • Open Geometry

  • Referenced in 3 articles [sw09363]
  • supported by most compilers and hardware systems. Additional to the rather basic but very effective ... thinking without having to care much about implementations. The idea is to write system-independent...
  • Omegahat

  • Referenced in 8 articles [sw09793]
  • effect on the way we, statistics practitioners, think about data and statistical methodology. However ... conflict with the computational model of these systems. This article explores some of these challenges...
  • SAT competition

  • Referenced in 8 articles [sw04623]
  • solvers. We strongly encourage people thinking about SAT-based techniques in their area (planning, hardware ... completely automated using the SAT-Ex system...
  • JavaLog

  • Referenced in 5 articles [sw01341]
  • flexible and efficient development of multi-agent systems confronts with the tradeoffs imposed by expressive ... conciliate these tradeoffs is not to think about a single language but an incrementally compatible...
  • LHAPDF

  • Referenced in 8 articles [sw11470]
  • reweighting), and uses a flexible metadata system which fixes many fundamental metadata and concurrency bugs ... pleasant to work with, so we think you’ll want to switch once...
  • Piton

  • Referenced in 10 articles [sw28721]
  • components of the system. But the piton is distinguished because it connects the natural ... from verified hardware to verified applications programs. Thinking of the hardware as the ”rock...
  • KEMS

  • Referenced in 2 articles [sw25421]
  • based Multi-Strategy theorem prover. The KE system, a tableau method developed by Marco Mondadori ... them with others. And we can also think of an adaptive multi-strategy theorem prover...
  • PPTran

  • Referenced in 1 article [sw27876]
  • frees the programmers from the tedium of thinking about local name spaces and message-passing ... Parallel Programming Translator (PPTran) is a compilation system that transforms data parallel programs written...