In the multi-mode resource-constrained multi-project scheduling (MMRCMPSP) problem we have to find execution modes and starting times for the jobs of multiple projects, such that the total project delay is minimized. The delay of a project is the difference between its makespan and a lower bound on its duration. A secondary objective is to minimize the total makespan of all projects. The jobs o...

ultrasoundelastographyisanon-invasivemethodwhichimagestheelasticityofsoft-tissues. tomakeanimage, preandafterasmallcompression, ultrasoundradio frequency(rf)signalsareacquiredandthetimedelaysbetweenthemareestimated. thefirstdifferentiationofdisplacementestimationsiscalledelastogram. inthisstudy, wearegoingtomakeanelastogramusingtheprocessingmethodnamed empirical mode decomposition (emd). emdisa...

Evidence for long-term memory (LTM)-based control of attention has been found during the execution of highly practiced multi-step tasks. However, does LTM directly control for attention or are working memory (WM) processes involved? In the present study, this question was investigated with a dual-task paradigm. Participants executed either a highly practiced visuospatial sensorimotor task (spee...

We introduce a simple agent construct associated to a named local database and a “Twitter-style” weak inheritance mechanism between local agents. On top of a remote predicate call layer, connecting distributed agent spaces, we build a replication mechanism allowing agents “visiting” remote spaces to expose their computational capabilities to non-local followers. The resulting protocol has the r...

This paper describes a new approach to programming, called the concept-oriented programming (COP). It is based on using a new programming construct, called concept, which generalizes conventional classes. Concepts describe behaviour of both objects and references. Hence references are completely legalized and made first-class citizens with the same rights as objects. Using concepts the programm...

In this paper we develop a framework for semi-automated generation of test cases for object oriented programs from formal speci-cations. We use Object-Z as the formal speciication language. We have designed and prototyped a test system called OZTEST. It understands the characteristics of object-oriented speciications including inheritance. OZTEST maps the speciication to a corresponding impleme...

This paper describes an approach for adaptive dynamic instruction set extension, tuning processors to specific applications. These new instructions are generated after production. The processor has two modes: training mode and normal mode. The application-specific instructions are extracted from the critical portions of the code detected by a profiler at training mode. At normal mode they are e...