Patterns for multigrid equidistributed functions: Application to general parabolas and length estimation

We show that for some special functions (called k-multigrid equidistributed functions), we can compute the limit of the frequency of patterns in the discretization of their graph, when the resolution tends to zero. This result is applied to parabolas. We deduce also that local length estimators almost never converge to the length for the parabolas.     

Loop Shifting for Loop Compaction

The idea of decomposed software pipelining is to decouple the software pipelining problem into a cyclic scheduling problem without resource constraints and an acyclic scheduling problem with resource constraints. In terms of loop transformation and code motion, the technique can be formulated as a combination of loop shifting and loop compaction. Loop shifting amounts to moving statements between iterations thereby changing some loop independent dependences into loop carried dependences and vice versa. Then, loop compaction schedules the body of the loop considering only loop independent dependences, but taking into account the details of the target architecture. In this paper, we show how loop shifting can be optimized so as to minimize both the length of the critical path and the number of dependences for loop compaction. The first problem is well-known and can be solved by an algorithm due to Leiserson and Saxe. We show that the second optimization (and the combination with the first one) is also polynomially solvable with a fast graph algorithm, variant of minimum-cost flow algorithms. Finally, we analyze the improvements obtained on loop compaction by experiments on random graphs.     

FAST: acceleration from theory to practice

Fast acceleration of symbolic transition systems (Fast) is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under study. Even if this reachability set is not necessarily recursive, we use innovative techniques, namely symbolic representation, acceleration and circuit selection, to increase convergence. Fast has proved to perform very well on case studies. This paper describes the tool, from the underlying theory to the architecture choices. Finally, Fast capabilities are compared with those of other tools. A range of case studies from the literature is investigated. This paper is mainly based on results presented at CAV 2003, TACAS 2004 and ATVA 2005.     

Snap-stabilization and PIF in tree networks

The contribution of this paper is threefold. First, we present the paradigm of snap-stabilization. A snap- stabilizing protocol guarantees that, starting from an arbitrary system configuration, the protocol always behaves according to its specification. So, a snap-stabilizing protocol is a time optimal self-stabilizing protocol (because it stabilizes in 0 rounds). Second, we propose a new Propagation of Information with Feedback (PIF) cycle, called Propagation of Information with Feedback and Cleaning (). We show three different implementations of this new PIF. The first one is a basic cycle which is inherently snap-stabilizing. However, the first PIF cycle can be delayed O(h ²) rounds (where h is the height of the tree) due to some undesirable local states. The second algorithm improves the worst delay of the basic algorithm from O(h ²) to 1 round. The state requirement for the above two algorithms is 3 states per processor, except for the root and leaf processors that use only 2 states. Also, they work on oriented trees. We then propose a third snap-stabilizing PIF algorithm on un-oriented tree networks. The state requirement of the third algorithm depends on the degree of the processors, and the delay is at most h rounds. Next, we analyze the maximum waiting time before a PIF cycle can be initiated whether the PIF cycle is infinitely and sequentially repeated or launch as an isolated PIF cycle. The analysis is made for both oriented and un-oriented trees. We show or conjecture that the two best of the above algorithms produce optimal waiting time. Finally, we compute the minimal number of states the processors require to implement a single PIF cycle, and show that both algorithms for oriented trees are also (in addition to being time optimal) optimal in terms of the number of states. WARNING: The concept of snap-stabilization was first introduced in [12]. The concept evolved over the last eight years. We take this evolution in consideration in this paper, which includes the early results published in [10] and [12]. In particular, infinite repetition of computation cycles is a requirement of self-stabilizing systems. This is not required in snap-stabilization because snap-stabilization ensures that the first completed computation cycle is executed according to the specification of the problem. The correctness proofs conform to this basic property.     

A local approach to concept generation

Generating concepts defined by a binary relation between a set of properties and a set of objects is one of the important current problems encountered in Data Mining and Knowledge Discovery in Databases. We present a new algorithmic process which computes all the concepts, without requiring an exponential-size data structure, and with a good worst-time complexity analysis, which makes it competitive with the best existing algorithms for this problem. Our algorithm can be used to compute the edges of the lattice as well at no extra cost.      

On the use of analytical expressions for the voltage distribution to analyze intracellular recordings

Different analytical expressions for the membrane potential distribution of membranes subject to synaptic noise have been proposed and can be very helpful in analyzing experimental data. However, all of these expressions are either approximations or limit cases, and it is not clear how they compare and which expression should be used in a given situation. In this note, we provide a comparison of the different approximations available, with an aim of delineating which expression is most suitable for analyzing experimental data.     

An empirical analysis of the determinants of 3G adoption in China

The main aim of this study is to examine the factors that affect Chinese consumers’ intention to adopt 3G. This study has extended the Technology Acceptance Model (TAM) by incorporating the determinants of perceived usefulness, cost, trust, and demographic profiles of Chinese consumers. Data is collected from Chinese consumers via self-administered questionnaire. Structural equation modeling was applied to examine the research model proposed. Our result showed that social influence, service quality and perceived ease of use have a direct and significant relationship with perceived usefulness of 3G, and this in turn affects the consumers’ decision to adopt 3G. Contrary to existing TAM research, perceived ease of use was not found to have a direct and significant influence with Chinese consumers’ intention to adopt 3G. Our study also revealed that those with higher educational level are more likely to adopt 3G. Based on the findings, this research is able to propose several practical recommendations to 3G providers in China, such as enhancing the variety of services provided through collaborations with mobile software and content developers. Furthermore, 3G providers can focus on promoting 3G through services such as “Friends and Family” packages as Chinese consumers’ 3G adoption decisions is influenced by their social network. In terms of theoretical contributions, this study has answered many calls from past researchers to investigate the determinants of perceived usefulness. This research was also conducted in China, which is one of the largest telecommunication markets in the world.     

Reducing aliasing in images: a PDE-based diffusion revisited

In this paper, we introduce a new diffusion algorithm that can be used for reducing aliasing on both step edges and lines. It derives from the diffusion model of Perona and Malik, and works as an adaptive level-curve method in which diffusion is carried out in the normal direction of the gradient for step edges, while the eigenvalues of the Hessian matrix are used for lines. To get sharp images, we use high-pass filters to preserve as much as possible the high frequency content while diffusing. Experimental tests using grayscale and colour images show that our algorithm efficiently reduces aliasing.     

Stereoelective polymerization of β-butyrolactone

Racemic β-butyrolactone was polymerized using chiral initiators obtained from the reaction of organometallic derivatives (ZnEt₂, CdMe₂, AlEt₃) with R(−) 3,3 dimethyl-1,2 butanediol. With the zinc initiator, R(+) enantiomer is preferentially incorporated in the polymer chain with a stereoelectivity ratio r_R equal to 1.6. Crude polymer was fractionated into a crystalline, predominantly isotactic, part and an amorphous heterotactic part, both optically active. Sites of different stereospecificities, present in the initiator, are all active for the stereoelective polymerization. With the cadmium initiator, S(−) enantiomer is preferentially polymerized (r_s = 1.01), extending homosteric-antisteric rules previously established for thiiranes. Aluminium initiator leads to an homosteric process (r_R = 1.1). Chiroptical properties (o.r.d. and c.d.) of polymers prepared with zinc initiator show a predominance of R-configurational units, indicating that ring-opening occurs by O-acyl cleavage with retention of configuration.     

Electrocatalyse de la réduction de l'oxygène sur oxyde mixte: Cu1+x Mn2−x O4 en milieu alcalin. Etude par électrode disque-anneau

Résumé La réduction cathodique de l'oxygène sur des électrodes de manganites de cuivre et liant de Téflon est étudiée par la technique de l'électrode disque-anneau en milieu alcalin. L'interprétation des résultats suggère que la réduction de O₂ en OH^– procède à la fois par la voie directe et, simultanément, par une voie indirecte, parallèle, qui est constituée de deux étapes en série, avec formation de l'intermédaire HO ₂ ^– . La réduction directe en OH^– (constante de vitessek ₁) et la première étape de la réduction indirecte, formant HO ₂ ^– (constante de vitessek ₂) ne dépendent pas de la même manière du potentiel. En outre les ions HO ₂ ^– peroxyde se décomposent probablement catalytiquement chimiquement sur les manganites de cuivre.

---

Oxygen reduction on copper manganite Teflon-bonded electrodes in alkaline solution was studied using a rotating ring-disc technique. The interpretation of these data suggests that the cathodic oxygen reduction proceeds through multistep reactions involving a peroxide intermediate. The direct reduction to OH^– (k ₁) and the first reduction step to HO ₂ ^– (k ₂) were found to have different dependences on the potential. Furthermore a catalytic chemical reaction of decomposition of the peroxide intermediate possibly occurs on the manganese copper oxides.