• Flyspeck

  • Referenced in 107 articles [sw10277]
  • development (in HOL Light) and the Flyspeck informal mathematical text as a narrative linked ... make this possible, we use the Agora system, a MathWiki platform developed at Nijmegen which ... show that the system itself is generic and easily adapted to the HOL Light case...
  • AntNet

  • Referenced in 66 articles [sw11975]
  • introduces AntNet, a novel approach to the adaptive learning of routing tables in communications networks ... distributed, mobile agents based Monte Carlo system that was inspired by recent work ... concurrently explore the network and exchange collected information. The communication among the agents is indirect...
  • CAFISE

  • Referenced in 3 articles [sw03187]
  • service oriented applications with high adaptability In enterprise information systems and e-government systems ... adaptive service-oriented software framework, named as CAFISE (Convergent Approach For Information System Evolution) Framework ... Framework based development method for service-oriented adaptive software. The CAFISE Framework enables to encapsulate ... show that the service-oriented enterprise information systems and e-government systems developed with...
  • FOIL

  • Referenced in 30 articles [sw24694]
  • first-order learning system that uses information in a collection of relations to construct theories ... used in the current version of the system, including two recent additions. We present examples ... tasks tackled by FOIL and of systems that adapt and extend its approach...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • specification of distributed systems with concurrently interacting objects. Adapting previously made proposals for a graph ... module concept and for graph models with information hiding to this setting, the new approach ... import interfaces are our means to construct system architectures and to allow reuse of modules...
  • avida

  • Referenced in 17 articles [sw17260]
  • contains the user manual for the “avida” system and has attached ... code subject to random mutations, adapting to a complex information-rich landscape...
  • BootCMatch

  • Referenced in 6 articles [sw27182]
  • preconditioner in a Krylov method. The adaptive AMG presented is meant to handle general symmetric ... definite (SPD) sparse linear systems, without assuming any a priori information of the problem ... origin; the goal of adaptivity is to achieve a method with a prescribed convergence rate ... matching in the adjacency graph of the system matrix. More specifically, a maximum product matching...
  • ASAP

  • Referenced in 6 articles [sw02689]
  • systems which exploits the statistical information collected at the reader. The protocol, termed adaptive slotted ... currently suggested MAC protocols for RFID systems. In order to accomplish this task, ASAP estimates...
  • AFEPack

  • Referenced in 8 articles [sw12250]
  • library for (adaptive) finite element developping. Please visit its homepage for further information ... successfully on other operating system...
  • Preference SQL

  • Referenced in 6 articles [sw19209]
  • Chair for Databases and Information Systems at the University of Augsburg, Germany. Salient benefits ... Preference SQL are: Context-adaptive and location-based preference modeling; Personalized query results, avoiding annoying...
  • hwloc

  • Referenced in 9 articles [sw12733]
  • performance computing applications now have to carefully adapt their placement and behavior according ... Hardware Locality (hwloc) software which gathers hardware information about processors, caches, memory nodes and more ... exposes it to applications and runtime systems in a abstracted and portable hierarchical manner. hwloc ... performance by having runtime systems place their tasks or adapt their communication strategies depending...
  • TWODEPEP

  • Referenced in 10 articles [sw01212]
  • species encoded into billions of bits of information. Like the code of life, TWODEPEP began ... stages as it adapted to non-linear and time dependent problems, systems of PDEs, eigenvalue...
  • MUSCADET

  • Referenced in 9 articles [sw06859]
  • system using a modular knowledge base expressed in a user-friedly language. { More detailed information ... natural reduction, the knowledge base is adapted to prove theorems in point-set topology...
  • Naproche

  • Referenced in 10 articles [sw28307]
  • syntactical and mathematical correctness. The Naproche system is an implementation of the ideas developed ... adapted to allow for common grammatical constructs and to extract mathematically relevant implicit information about...
  • MEMOIR

  • Referenced in 4 articles [sw02321]
  • access and share all forms of technical information is an acute problem. It is often ... MEMOIR system. MEMOIR is an open framework, i.e., it is extensible and adaptable ... accessing and navigating vast amounts of information in Intranet environments. Additionally, MEMOIR exploits trail data ... finding colleagues with similar interests. The MEMOIR system has been installed and evaluated...
  • BIOMET

  • Referenced in 10 articles [sw02474]
  • face, voice, fingerprint, hand and signature modalities. Information technology innovations involve a constant evolution ... people could be used to better adapt the machine to the user. Security can also ... improve the performance of a person authentication system, multimodality can be applied. This motivated...
  • GOTM

  • Referenced in 9 articles [sw13869]
  • tools are needed to interpret the functional information in the gene sets. Results: We have ... genes identified from microarray analysis but is adaptable for use with other gene sets from ... Acyclic Graph for input gene sets. This system provides user friendly data navigation and visualization...
  • ARACNe-AP

  • Referenced in 2 articles [sw34267]
  • network reverse engineering through adaptive partitioning inference of mutual information. The accurate reconstruction of gene ... represents one of the grand challenges of Systems Biology. The Algorithm for the Reconstruction ... based on an Adaptive Partitioning strategy (AP) for estimating the Mutual Information...
  • DelosDLMS

  • Referenced in 3 articles [sw33546]
  • feedback tools, provides novel interfaces, allows retrieved information to be annotated and processed, integrates ... from a systems engineering point of view, is easily configured and adapted while being reliable...
  • MAPP

  • Referenced in 3 articles [sw15729]
  • Production Planner”, a web-based decision support system developed for the mould industry. MAPP addresses ... production planning and control and (2) information and document management. The production planning methodology implemented ... workload control concept developed at Lancaster University, adapted to the context of the moulds industry ... present a discussion of the system functions at the service of the planning methodology...