Éditorial: Enfin,une voix canadienne!

Abstract

This article investigates some of the specific features involved in accommodating the idea of actual infinity as it appears in set theory. It focuses on the conceptions of two individuals with sophisticated mathematics background, as manifested in their engagement with variations of a well-known paradox: the ping-pong ball conundrum. The APOS theory is used as a framework to interpret participants’ efforts to resolve the paradoxes. The cases discussed focus on how transfinite subtraction may be conceptualized, and they suggest that there is more to accommodating the idea of actual infinity than the ability to act on a completed object—rather, it is the manner in which objects are acted upon that is also significant.     

Fabrication and in situ characterization of microcapsules in a microfluidic system

We have designed a microfluidic system that enables both the fabrication of calibrated capsules and the in situ characterization of their mechanical properties. The fabrication setup consists of a double flow-focusing system. A human serum albumin aqueous solution is introduced in the central channel of a first Y-junction. Intercepted by the lateral flows of a hydrophobic phase, it is dispersed into microdroplets. A cross-linking agent is then introduced at a second Y-junction allowing a membrane to form around the droplets. The time of cross-linking is controlled by the length of a wavy channel located downstream of the second junction. A cylindrical microchannel finally enables to deform and characterize the capsules thus formed. The mechanical properties of the capsule membrane are obtained by inverse analysis. The results show that the drop size increases with the flow rate ratio between the central and lateral channels. The mean shear modulus of the capsules fabricated after 23 s of cross-linking is of the order of the surface tension between the two phases indicating that a reaction time of 23 s is too short for an elastic membrane to form around the droplet. When the cross-linking time is increased to 60 s, the microcapsules surface is wrinkled, thus confirming that a solid membrane is formed around the drop. The mean shear modulus of the capsule membrane increases with the cross-linking time, which is in agreement with our previous chemical results and proves that a fine control of the mechanical properties is possible by choosing adequately the control parameters of the system.     

Capillary self-alignment of polygonal chips: a generalization for the shift-restoring force

Capillary-driven self-alignment using droplets is currently extensively investigated for self-assembly and microassembly technology. In this technique, surface tension forces associated to capillary pinning create restoring forces and torques that tend to bring the moving part into the alignment. So far, most studies have addressed the problem of square chip alignment on a dedicated patch of a wafer, aiming to achieve 3D microelectronics. In this study, we investigate the shift-restoring forces for more complex moving parts such as regular—convex and non-convex—polygons and regular polygons with regular polygonal cavities. A closed-form approximate expression is derived for each of these polygonal geometries; this expression agrees with the numerical results obtained with the Surface Evolver software. For small shifts, it is found that the restoring force does not depend on the shift direction or on the polygonal shape. In order to tackle the problem of microsystem packaging, an extension of the theory is done for polygonal shapes pierced with connection vias (channels), and a closed form of the shift-restoring force is derived for these geometries and again checked against the numerical model. In this case, the restoring force depends on the shift direction. Finally, a non-dimensional number, the shift number, is proposed that indicates the isotropic or anisotropic behavior of the chip according to the shift direction.     

Incremental semantic analysis for OCL compilers

In software engineering, modeling with unified modeling language and object constraint language became industry standards and are supported by many computer-aided software engineering tools. The increasing number of the modeled functionalities results in complex models that need more and more textual constraints to express the hidden restrictions applied to the systems. During the metamodel development, rebuilding all the constraints is unnecessary when only a few changes have been applied due to the iterative, incremental manner of modifications. In this paper, we present a family of algorithms that handles the changes in constraints incrementally on the expression level; thus, the required rebuilds are kept to a minimum. Incremental variable reference resolving and type checking are performed as a part of the incremental semantic analysis. Balancing between the incremental and standard compilation is also considered, heuristics are given to select the faster method of compilation at each iteration. With the achieved results the duration of metamodel development can be decreased; thus, the efficiency of the environment is improved.     

On the measurement of privacy as an attacker’s estimation error

A wide variety of privacy metrics have been proposed in the literature to evaluate the level of protection offered by privacy-enhancing technologies. Most of these metrics are specific to concrete systems and adversarial models and are difficult to generalize or translate to other contexts. Furthermore, a better understanding of the relationships between the different privacy metrics is needed to enable more grounded and systematic approach to measuring privacy, as well as to assist system designers in selecting the most appropriate metric for a given application. In this work, we propose a theoretical framework for privacy-preserving systems, endowed with a general definition of privacy in terms of the estimation error incurred by an attacker who aims to disclose the private information that the system is designed to conceal. We show that our framework permits interpreting and comparing a number of well-known metrics under a common perspective. The arguments behind these interpretations are based on fundamental results related to the theories of information, probability, and Bayes decision.     

Typing artifacts in megamodeling

Model management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in model-driven engineering-based projects. Global model management (GMM) addresses this issue by enabling the representation of artifacts, particularly transformation composition and execution, within a model called a megamodel. Type information about artifacts can be used for preventing type errors during execution. Built on our previous work, in this paper we present the core elements of a type system for GMM that improves its original typing approach and enables both typechecking and type inference on artifacts within a megamodel. This type system is able to deal with non-trivial situations such as the use of higher order transformations. We also present a prototypical implementation of such a type system.     

Sense induction in folksonomies: a review

Folksonomies, often known as tagging systems, such as the ones used on the popular Delicious or Flickr websites, use a very simple Knowledge Organisation System. Users have thus been quick to adopt this system and create extensive annotations on the Web. However, because of the simplicity of the folksonomy model, the semantics of the tags used is not explicit and can only be inferred from their context of use. This is a barrier for the automatic use of such Knowledge Organisation Systems by computers and new techniques have been developed to extract the semantic of the tags. In this article we discuss the drawbacks of some of these approaches and propose a generalization of the different approaches to detect new senses of terms in a folksonomy. Another weak point of the current state of the art in the field is the lack of formal evaluation methodology; we thus propose a novel evaluation framework. We introduce a dataset and evaluation methodology that enable the comparison of results between different approaches to sense induction in folksonomies. Finally we discuss the performances of different approaches to the task of homonymous/polysemous tag detection and synonymous identification.