• RealPlan

  • Referenced in 9 articles [sw01619]
  • resource allocation phase where enough resources are assigned to ensure the successful execution ... perform both action selection and resource assignment employing the same algorithm. The current work shows ... framework called RealPlan is developed in which resource allocation is de-coupled from planning ... former, the scheduler simply tries to assign resources to the abstract causal plan passed...
  • SentiWordNet

  • Referenced in 27 articles [sw12037]
  • SentiWordNet is a lexical resource for opinion mining. SentiWordNet assigns to each synset of WordNet...
  • ReproBLAS

  • Referenced in 3 articles [sw41189]
  • summation. Modern processors, which may dynamically assign resources, such as variable numbers of processors...
  • Tessellation

  • Referenced in 2 articles [sw29912]
  • discovery of the correct mix of resource assignments necessary to achieve application requirements. This approach ... Tessellation manycore operating system, distributes resources to QoS domains called cells. Tessellation separates global decisions...
  • ELM

  • Referenced in 8 articles [sw17021]
  • server: a new resource for investigating short functional sites in modular eukaryotic proteins. Multidomain proteins ... predominate in eukaryotic proteomes. Individual functions assigned to different sequence segments combine to create ... whole protein. While on-line resources are available for revealing globular domains in sequences, there...
  • DROM

  • Referenced in 1 article [sw41252]
  • jobs to change the number of computing resources at run time, i.e. their malleability ... threads to the number of assigned computing resources in a completely transparent...
  • Lilac

  • Referenced in 13 articles [sw08983]
  • linear logic. We take Abramsky’s term assignment for Intuitionistic Linear Logic (the linear term ... where the programmer must embed explicitly the resource and control information of an algorithm...
  • Grail

  • Referenced in 5 articles [sw26751]
  • also being a wholly imperative language of assignments that travels and executes as Java classfiles ... this dual identity in the Mobile Resource Guarantees project, where Grail serves as proof-carrying...
  • FunTree

  • Referenced in 1 article [sw22980]
  • this range of data into a single resource allows the investigation of how novel enzyme ... sequence assigned enzyme reactions. Central to the resource are phylogenetic trees generated from structurally informed...
  • DOMINE

  • Referenced in 2 articles [sw29366]
  • assign confidence levels to predicted DDIs. DOMINE will serve as a valuable resource to those...
  • MILENIO

  • Referenced in 1 article [sw02265]
  • implementations allowing the administrator to manage system resources appropriately while offering comprehensive security ... assignment of privileges; agents’ authorities authentication using digital signatures; allowances management to limit resource consumption ... protect agent’s code and to assign responsibility on the agent’s data. In order...
  • Gen2sat

  • Referenced in 3 articles [sw16745]
  • does not require any additional logic-specific resources. We describe the implementation details of Gen2sat ... using it in a “hands on” assignment for teaching the concept of sequent calculi...
  • Research Randomizer

  • Referenced in 1 article [sw24912]
  • Research Randomizer. Research Randomizer is a free resource for researchers and students in need ... quick way to generate random numbers or assign participants to experimental conditions. This site...
  • WHICHRUN

  • Referenced in 1 article [sw08932]
  • assignments, including maximum likelihood, jack-knife and critical population routines. It also provides resources...
  • FastPGA

  • Referenced in 3 articles [sw15093]
  • algorithm (FastPGA). FastPGA uses a new fitness assignment and ranking strategy for the simultaneous optimization ... case when there are time or resource constraints involved in finding a solution. A population...
  • Algorithm 1015

  • Referenced in 1 article [sw41110]
  • runtime virtually independent of how hard the assignment is to find. In addition, our approach ... allows for using accelerators and/or external compute resources to calculate individual rows of the cost...
  • ptsplib

  • Referenced in 2 articles [sw08965]
  • associated with a given subset of assignable tasks. The objective is to minimise the number ... workers or more generally to constrained resources...
  • RAST

  • Referenced in 8 articles [sw17158]
  • metagenomics RAST server — a public resource for the automatic phylogenetic and functional analysis of metagenomes ... using metagenomics. The pipeline produces automated functional assignments of sequences in the metagenome by comparing...
  • COMPARTMENTS

  • Referenced in 2 articles [sw29372]
  • results of automatic text mining. The resource is automatically kept up to date with source ... identifiers and Gene Ontology terms. We further assign confidence scores to the localization evidence...
  • SamP2Cet

  • Referenced in 2 articles [sw27818]
  • level cost-effectiveness trials, one can randomly assign treatments to individuals within clusters (multicentre trial ... effectiveness of interventions within the available research resources. The optimal number of clusters...