Free-Sets: A Condensed Representation of Boolean Data for the Approximation of Frequency Queries

Given a large collection of transactions containing items, a basic common data mining problem is to extract the so-called frequent itemsets (i.e., sets of items appearing in at least a given number of transactions). In this paper, we propose a structure called free-sets, from which we can approximate any itemset support (i.e., the number of transactions containing the itemset) and we formalize this notion in the framework of -adequate representations (H. Mannila and H. Toivonen, 1996. In Proc. of the Second International Conference on Knowledge Discovery and Data Mining (KDD'96), pp. 189–194). We show that frequent free-sets can be efficiently extracted using pruning strategies developed for frequent itemset discovery, and that they can be used to approximate the support of any frequent itemset. Experiments on real dense data sets show a significant reduction of the size of the output when compared with standard frequent itemset extraction. Furthermore, the experiments show that the extraction of frequent free-sets is still possible when the extraction of frequent itemsets becomes intractable, and that the supports of the frequent free-sets can be used to approximate very closely the supports of the frequent itemsets. Finally, we consider the effect of this approximation on association rules (a popular kind of patterns that can be derived from frequent itemsets) and show that the corresponding errors remain very low in practice.     

An HLLC Scheme to Solve The <Emphasis Type="Italic">M</Emphasis><Subscript>1</Subscript> Model of Radiative Transfer in Two Space Dimensions

The M ₁ radiative transfer model is considered in the present work in order to simulate the radiative fields and their interactions with the matter. The model is governed by an hyperbolic system of conservation laws supplemented by relaxation source terms. Several difficulties arise when approximating the solutions of the model; namely the positiveness of the energy, the flux limitation and and the limit diffusion behavior have to be satisfied. An HLLC scheme is exhibited and it is shown to satisfy all the required properties. A particular attention is payed concerning the approximate extreme waves. These approximations are crucial to obtain an accurate scheme. The extension to the full 2D problem is proposed. It satisfies, once again, all the expected properties. Numerical experiments are proposed. They show that the considered scheme is actually less diffusive than the currently used numerical methods.      

Free radical polymerization in multilaminated microreactors: 2D and 3D multiphysics CFD modeling

This paper investigates the modeling of styrene free radical polymerization in two different types of microreactor. A multiphysics model which simultaneously takes into account the hydrodynamics, thermal and mass transfer (convection, diffusion and chemical reaction) is proposed. The set of partial differential equations resulting from the model is solved with the help of the finite elements method either in a 2D or a 3D approach. The different modeled microreactors are on one hand an interdigital multilamination microreactor with a large focusing section, and on the other hand a simple T-junction followed by a straight tube with three different radii. The results are expressed in terms of reactor temperature, polydispersity index, number-average degree of polymerization and monomer conversion for different values of the chemical species diffusion coefficient. It was found that the 2D approach gives the same results as the 3D approach but allows to dramatically reduce the computing time. Despite the heat released by the polymerization reaction, it was found that the thermal transfer in such microfluidic devices is high enough to ensure isothermal conditions. Concerning the polydispersity index, the range of diffusion coefficients over which the polydispersity index can be maintained close to the theoretical value for ideal conditions increases as the tube reactor radius decreases. The interdigital multilamination microreactor was found to act as a tubular reactor of 0.78 mm ID but with a shorter length. This underlines that the use of microfluidic devices can lead to a better control of polymerization reactions.     

Trimmed bagging

Bagging has been found to be successful in increasing the predictive performance of unstable classifiers. Bagging draws bootstrap samples from the training sample, applies the classifier to each bootstrap sample, and then averages over all obtained classification rules. The idea of trimmed bagging is to exclude the bootstrapped classification rules that yield the highest error rates, as estimated by the out-of-bag error rate, and to aggregate over the remaining ones. In this note we explore the potential benefits of trimmed bagging. On the basis of numerical experiments, we conclude that trimmed bagging performs comparably to standard bagging when applied to unstable classifiers as decision trees, but yields better results when applied to more stable base classifiers, like support vector machines.     

Opto-electronic properties of rough LP-CVD ZnO:B for use as TCO in thin-film silicon solar cells

Polycrystalline Boron-doped ZnO films deposited by low pressure chemical vapor deposition technique are developed for their use as transparent contacts for thin-film silicon solar cells. The size of the columnar grains that constitute the ZnO films is related to their light scattering capability, which has a direct influence on the current generation in thin-film silicon solar cells. Furthermore, if the doping level of the ZnO films is kept below 1 × 10²⁰ cm^− 3, the electron mobility can be drastically enhanced by growing large grains, and the free carrier absorption is reduced. All these considerations have been taken in account to develop ZnO films finely optimized for the fabrication of microcrystalline thin-film silicon solar cells. These TCO allow the achievement of solar cell conversion efficiencies close to 10%.     

Architecture de turbo-décodeur en blocs entièrement parallèle pour la transmission de données au-delà du Gbit/s

This paper presents a new circuit architecture for turbo decoding, which achieves ultra high data rates when using product codes as error correcting codes. This architecture is able to decode product codes using binary BCH or m-ary Reed Solomon component codes. The major advantage of our full-parallel architecture is that it enables the memory block between each half-iteration to be removed. In fact, the proposed architecture opens the way to numerous applications such as optical transmission. In particular, our block turbo decoding architecture can support optical transmission at data rates above Gbit/s     

CrimeSPOT: A language and runtime for developing active wireless sensor network applications

Advances in wireless sensing and actuation technology allow embedding significant amounts of application logic inside wireless sensor networks. Such active WSN applications are more autonomous, but are significantly more complex to implement. Event-based middleware lends itself to implementing these applications. It offers developers fine-grained control over how an individual node interacts with the other nodes of the network. However, this control comes at the cost of event handlers which lack composability and violate software engineering principles such as separation of concerns. In this paper, we present CrimeSPOT as a domain-specific language for programming WSN applications on top of event-driven middleware. Its node-centric features enable programming a node’s interactions through declarative rules rather than event handlers. Its network-centric features support reusing code within and among WSN applications. Unique to CrimeSPOT is its support for associating application-specific semantics with events that carry sensor readings. These preclude transposing existing approaches that address the shortcomings of event-based middleware to the domain of wireless sensor networks. We provide a comprehensive overview of the language and the implementation of its accompanying runtime. The latter comprises several extensions to the Rete forward chaining algorithm. We evaluate the expressiveness of the language and the overhead of its runtime using small, but representative active WSN applications.     

On the (Non-)Existence of Polynomial Kernels for P l -Free Edge Modification Problems

Given a graph G=(V,E) and a positive integer k, an edge modification problem for a graph property Π consists in deciding whether there exists a set F of pairs of V of size at most k such that the graph $H=(V,E\vartriangle F)$ satisfies the property Π. In the Π edge-completion problem, the set F is constrained to be disjoint from E; in the Π edge-deletion problem, F is a subset of E; no constraint is imposed on F in the Π edge-editing problem. A number of optimization problems can be expressed in terms of graph modification problems which have been extensively studied in the context of parameterized complexity (Cai in Inf. Process. Lett. 58:171–176, 1996; Fellows et al. in FCT, pp. 312–321, 2007; Heggernes et al. in STOC, pp. 374–381, 2007). When parameterized by the size k of the set F, it has been proved that if Π is a hereditary property characterized by a finite set of forbidden induced subgraphs, then the three Π edge-modification problems are FPT (Cai in Inf. Process. Lett. 58:171–176, 1996). It was then natural to ask (Bodlaender et al. in IWPEC, 2006) whether these problems also admit a polynomial kernel. in polynomial time to an equivalent instance (G′,k′) with size bounded by a polynomial in k). Using recent lower bound techniques, Kratsch and Wahlström answered this question negatively (Kratsch and Wahlström in IWPEC, pp. 264–275, 2009). However, the problem remains open on many natural graph classes characterized by forbidden induced subgraphs. question to characterize for which type of graph properties, the parameterized edge-modification problems have polynomial kernels. Kratsch and Wahlström asked whether the result holds when the forbidden subgraphs are paths or cycles and pointed out that the problem is already open in the case of P ₄-free graphs (i.e. cographs). This paper provides positive and negative results in that line of research. We prove that Parameterized cograph edge-modification problems have cubic vertex kernels whereas polynomial kernels are unlikely to exist for the P _l -free edge-deletion and the C _l -free edge-deletion problems for l?7 and l≥4 respectively. Indeed, if they exist, then NP?coNP/poly.     

Three-stage hybrid-flowshop model for cross-docking

This paper deals with the optimization of a cross-docking system. It is modeled as a three-stage hybrid flowshop, in which shipments and orders are represented as batches. The first stage corresponds to the receiving docks, the second stage corresponds to the sorting stations, and the third stage corresponds to the shipping docks. The objective of the problem is to find a schedule that minimizes the completion time of the latest batch. In order to obtain good quality feasible solutions, we have developed several heuristic schemes depending on the main stage considered, and several rules to order the batches in this stage. Then, we propose a branch-and-bound algorithm that takes into account the decomposition of the problem into three stages. To evaluate the heuristics and to reduce the tree size during the branch-and-bound computation, we also propose lower bounds. Finally, the computational experiments are presented to demonstrate the efficiency of our heuristics. The results show that the exact approach can solve instances containing up to 9–10 batches in each stage (i.e., up to 100 jobs). In addition, our heuristics were evaluated over instances with up to 3000 jobs, and they can provide good quality feasible solutions in a few seconds (i.e., less than 2 s per heuristic).