Detecting Fixed Patterns in Chordal Graphs in Polynomial Time

The Contractibility problem takes as input two graphs G and H, and the task is to decide whether H can be obtained from G by a sequence of edge contractions. The Induced Minor and Induced Topological Minor problems are similar, but the first allows both edge contractions and vertex deletions, whereas the latter allows only vertex deletions and vertex dissolutions. All three problems are NP-complete, even for certain fixed graphs H. We show that these problems can be solved in polynomial time for every fixed H when the input graph G is chordal. Our results can be considered tight, since these problems are known to be W[1]-hard on chordal graphs when parameterized by the size of H. To solve Contractibility and Induced Minor, we define and use a generalization of the classic Disjoint Paths problem, where we require the vertices of each of the k paths to be chosen from a specified set. We prove that this variant is NP-complete even when k=2, but that it is polynomial-time solvable on chordal graphs for every fixed k. Our algorithm for Induced Topological Minor is based on another generalization of Disjoint Paths called Induced Disjoint Paths, where the vertices from different paths may no longer be adjacent. We show that this problem, which is known to be NP-complete when k=2, can be solved in polynomial time on chordal graphs even when k is part of the input. Our results fit into the general framework of graph containment problems, where the aim is to decide whether a graph can be modified into another graph by a sequence of specified graph operations. Allowing combinations of the four well-known operations edge deletion, edge contraction, vertex deletion, and vertex dissolution results in the following ten containment relations: (induced) minor, (induced) topological minor, (induced) subgraph, (induced) spanning subgraph, dissolution, and contraction. Our results, combined with existing results, settle the complexity of each of the ten corresponding containment problems on chordal graphs.     

External Rewriting for Skeptical Proof Assistants

This paper presents the design, the implementation, and experiments of the integration of syntactic, conditional possibly associative-commutative term rewriting into proof assistants based on constructive type theory. Our approach is called external because it consists in performing term rewriting in a specific and efficient environment and checking the computations later in a proof assistant. Two typical systems are considered in this work: ELAN, based on the rewriting calculus, as the term rewriting-based environment, and Coq, based on the calculus of inductive constructions as the proof assistant. We first formalize the proof terms for deduction by rewriting and strategies in ELAN using the rewriting calculus with explicit substitutions. We then show how these proof terms can soundly be translated into Coq syntax where they can be directly type checked. For the method to be applicable for rewriting modulo associativity and commutativity, we provide an effective method to prove equalities modulo these axioms in Coq using ELAN. These results have been integrated into an ELAN-based rewriting tactic in Coq.     

Credal classification rule for uncertain data based on belief functions

In this paper we present a new credal classification rule (CCR) based on belief functions to deal with the uncertain data. CCR allows the objects to belong (with different masses of belief) not only to the specific classes, but also to the sets of classes called meta-classes which correspond to the disjunction of several specific classes. Each specific class is characterized by a class center (i.e. prototype), and consists of all the objects that are sufficiently close to the center. The belief of the assignment of a given object to classify with a specific class is determined from the Mahalanobis distance between the object and the center of the corresponding class. The meta-classes are used to capture the imprecision in the classification of the objects when they are difficult to correctly classify because of the poor quality of available attributes. The selection of meta-classes depends on the application and the context, and a measure of the degree of indistinguishability between classes is introduced. In this new CCR approach, the objects assigned to a meta-class should be close to the center of this meta-class having similar distances to all the involved specific classes? centers, and the objects too far from the others will be considered as outliers (noise). CCR provides robust credal classification results with a relatively low computational burden. Several experiments using both artificial and real data sets are presented at the end of this paper to evaluate and compare the performances of this CCR method with respect to other classification methods.     

Which types of firm use collaborative innovative spaces?

Collaborative innovation spaces (CIS) can bring together multiple actors to enhance creativity, collaboration and knowledge exchange, sometimes leading to innovation. In this paper, we suggest that CIS can be categorized into three broad types (internal to the firm, external and virtual) and that each type is related to innovation processes, knowledge-sourcing and geographic context in specific ways. Our results, based on an original firm-level survey, reveal that there is heterogeneity with respect to firm attributes and innovation activities associated with different types of CIS. In particular, whilst innovation is associated with the use of CIS in general, radical and technological innovations are more strongly associated with internal CIS, whereas smaller firms tend to use virtual CIS. External CIS, whilst not associated with technological innovation, are associated with high-tech firms. CIS use does not vary across geographic context. These results emphasize the importance of in-person, internal, CIS for radical and technological innovation and the need to distinguish between different types of CIS in order to understand how each is associated with different types of innovation, knowledge-sourcing and firm.     

Design of micromirror actuator by ionic polymer metal composites

Microactuators for micromirror system have found many applications in various areas including projection displays, optical switches, RF switches and so on. In this paper we demonstrated micromirror actuator using ionic polymer metal composites (IPMC) that is a suitable candidate, since it has many attractive qualities such as durability, aquatic, miniature and light-weighted. Specially, IPMC has extraordinary advantages which are simple bending motion for low driving voltage (1–2 V), low power consumption, and simple structure. The IPMC actuator is made of Nafion NE-1110 (Dupont Co, Ltd., 260 µm thick) layer and electrode (platinum) layers and driven by 1–4 V. The displacement measured vertically is 0.25 mm and tilting angle is 11.3°. The angular motion, which is more than 10°, is a good advantage in the field of display module. This paper shows that the IPMC actuator has enough possibility for other applications.     

Parallelised production of fine and calibrated emulsions by coupling flow-focusing technique and partial wetting phenomenon

The capacity of microfluidic technology to fabricate monodisperse emulsion droplets is well established. Parallelisation of droplet production is a prerequisite for using such an approach for making high-quality materials for either fundamental or industrial applications where product quantity matters. Here, we investigate the emulsification efficiency of parallelised drop generators based on a flow-focusing geometry when incorporating the role of partial wetting in order to make emulsion droplets with a diameter below 10 μm. Confinement intrinsically encountered in microsystems intensifies the role played by interfaces between liquids and solids. We thus take advantage of partial wetting to enhance the maximum confinement accessible due to liquid flow focusing. We compare the performances brought by partial wetting to more established routes such as step emulsification. We show that the step configuration and the partial wetting regime are both well suited for being parallelised and thus open the way to the production of fine and calibrated emulsions for further applications. Finally, this new route of emulsification that exploits partial wetting between the fluids and the channel walls opens possibilities to the formation of substantially smaller droplets, as required in many fields of application.     

Distributed control of nonlinear diffusion systems by input–output linearization

This paper addresses the distributed control by input–output linearization of a nonlinear diffusion equation that describes a particular but important class of distributed parameter systems. Both manipulated and controlled variables are assumed to be distributed in space. The control law is designed using the concept of characteristic index from geometric control by using directly the PDE model without any approximation or reduction. The main idea consists in the control design in assuming an equivalent linear diffusion equation obtained by use of the Cole–Hopf transformation. This framework helps to demonstrate the closed‐loop stability using some concepts from the powerful semigroup theory. The performance of the proposed controller is successfully tested, through simulation, by considering a nonlinear heat conduction problem concerning the control of the temperature of a steel plate modeled by a nonlinear heat equation with Dirichlet boundary conditions. Copyright © 2012 John Wiley & Sons, Ltd.     

Practice wise: You and your personnel record.

Personnel policy and standards should promote quality service, but they also provide protection for both the employer and employee. In dealing with issues of standards and ethics, client records--content, security, confidentiality, and client accessibility--have received a great deal of attention. There appears to be less concern about the content of employee records, and written standards and auditing mechanisms may not exist. An employee may have more than one file-an official personnel record in a central location and an unofficial one in the unit or centre of employment. The official record is more likely to adhere to standards than the unofficial but both may contain questionable material. Some examples of questionable materials are presented in this article. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Measurements of the behavioral effects of albino mutation in mice (Mus musculus): Comparisons of coisogenic inbred and hybrid lines.

The effects of the albino gene on mouse behavior were examined, particularly its possible interactions with nonallelic genes (epistasis). More generally, the possible effects of genetic background (inbreeding depression or hybrid vigor) on the effects of the mutation were also considered. Tasks requiring either predominantly motor or predominantly cognitive capacity were studied for coisogenic albino and pigmented mice from either an inbred strain (C57BL/6 c/c vs C57BL/6 +/c) or an F? heterozygous generation (F? c/c vs F? +/c) from a BALB/c?×?C57BL/6 +/c cross. Results show a clear albino gene effect in the 2 lines and provide further evidence that the gene is the effective factor. There was no significant interaction between the mutation and the genotypic group (C57BL/6 or F?), which indicates that the effects of the mutation act approximately in an additive fashion between loci in these groups. (13 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

New members and associates of the American Psychological Association.

The Board of Directors announces that the following 1,949 persons were elected to initial membership in the American Psychological Association as of January 1, 1983. Of these 1,474 were elected as Members, and 475 as Associate members. In addition, in accordance with Article II, Section 8, of the Bylaws, 390 Associate members were transferred to Member status as of January 1, 1983. (PsycINFO Database Record (c) 2010 APA, all rights reserved)