This paper describes a new design of the multipurpose cryptographic primitive ARMADILLO3 and analyses its security. The ARMADILLO3 family is oriented on small hardware such as smart cards and RFID chips. The original design ARMADILLO and its variants were analyzed by Sepehrdad et al. at CARDIS’11, the recommended variant ARMADILLO2 was analyzed by Plasencia et al. at FSE’12 and by Abdelraheem e...

This is a description of a multipurpose simulation platform that includes numerous simulation engines and is intended for application in a variety of engineering domains. The platform supports modelbased software development and uses structural synthesis of programs for translation of declarative specification of simulation problems into executable code. The platform is being developed as open ...

A backtracking algorithm with element order selection is presented, and its efficiency discussed in relation both to standard examples and to examples concerning relation-preserving maps which the algorithm was derived to solve.

Microfluidic systems allow (bio)chemical processes to be miniaturized with the benefit of shorter time-to-result, parallelism, reduced sample consumption, laminar flow, and increased control and efficiency. However, such miniaturization inherently limits the size of the solid objects that can be processed and entails new challenges such as the interfacing of macroscopic samples with microscopic...

I N T R O D U C T I O N While issues related to the operating pattern (scheduling) of batch plants have been extensively studied in the open literature, the problem of accounting for equipment (un)availability and systems effectiveness under changing conditions has received much less attention despite its enormous practical significance (Straub and Grossmann, 1992; Subrahmanyam et al., 1994; Sa...

This paper considers situations characterized by a common-pool resource, which needs to be divided among agents. Each of the agents has some claim on this pool and an individual reward function for assigned resources. This paper analyzes not only the problem of maximizing the total joint reward, but also the allocation of these rewards among the agents. Analyzing these situations a new class of...

With a dedicated definition of ‘Context’ in image understanding systems, we present in this paper a novel context modelling and classification system. The main goal behind multimodal context modelling is to identify the context type from video-surveillance footage of multipurpose halls. First, the distribution of the different zones in a multipurpose hall is automatically captured using a dedic...