a r t i c l e i n f o Keywords: Multi-mode scheduling Ant colony optimization Renewable and nonrenewable resource constraints Construction projects An ant colony optimization (ACO)-based methodology for solving the multi-mode resource-constrained project scheduling problem (MRCPSP) considering both renewable and nonrenewable resources is presented. With regard to the MRCPSP solution consisting ...

One method for detecting errors in a formal specification is animation. It is complementary to theorem proving and can be highly cost-effective, particularly earlier in development. In my talk I’ll discuss animation of the specification notation Z. I’ll argue that: 1. it is desirable to perform analysis prior to execution; 2. logic programming languages are an attractive target for animations o...

We present a protocol for payments across payment systems. It enables secure transfers between ledgers and allows anyone with accounts on two ledgers to create a connection between them. Ledger-provided escrow removes the need to trust these connectors. Connections can be composed to enable payments between any ledgers, creating a global graph of liquidity or Interledger. Unlike previous approa...

Eric S. Raymond’s (1999) influential essay The Cathedral and the Bazaar paints contrasting pictures of the orderly, hierarchically controlled programs of planning and execution that built the great cathedrals of Europe, on the one hand, and, on the other, the ferment and seeming chaos of the bazaar. The latter then is offered as a metaphor for the mode through which free/libre and open source s...

In this paper we develop an adaptive algorithm for decomposition and filtering of grayscales images. This method is highly adaptive decomposition image called Bidimensional Empirical Mode Decomposition (BEMD) based in blocks. This proposed approach decomposes image into a basis functions named Intrinsic Mode Function (IMF) and residue. This method offers a good result in visual quality but it c...

We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+. Its input language is fully compatible with the language of the Causal Calculator Version 2, but the new system is significantly faster thanks to modern answer set solving techniques. The translation implemented in the system is a composition of several recent theoretical results. The system ...

Responding to individual key-specific stimuli in entirely unfamiliar keying sequences is said to involve a reaction mode. With practice, short keying sequences can be executed in the chunking mode. This is indicated by the first stimulus sufficing for rapid execution of the entire sequence. The present study explored whether an associative mode develops also in participants who practice short k...

Recent evidence indicates that the exploitation of locality in dataaow programs could have a dramatic impact on performance. The current trend in the design of dataaow processors suggest a synthesis of traditional non-strict ne grain instruction execution and a strict coarse grain execution in order to exploit locality. While an increase in instruction granularity will favor the exploitation of...