So Useful,Those Quasicrystals

For years, the community working on quasicrystals in many countries in the world was expecting the ultimate recognition of its contribution to the advancement of crystal chemistry, solid-state physics, mathematics, and other fields. Nearly thirty years after the initial discovery, it was finally awarded in October 2011 to Prof. Danny Shechtman by the Nobel Committee for Physics and Chemistry. Many, most often independent, achievements contributed to this success. The purpose of this article is to chronicle the role played by the applications of quasicrystals and related compounds in the development of the field and its financing by governmental institutions as well as private companies. Those applications, potential or realized, have made the field of quasicrystals comprehensible to the general public and to decision makers all over the world, including in Stockholm, in spite of its rather complicated high-dimensional crystallographic background, and in spite of the absolute opposition that a great chemist manifested against it in its infancy.     

Human Skin Volatiles: A Review

Odors emitted by human skin are of great interest to biologists in many fields; applications range from forensic studies to diagnostic tools, the design of perfumes and deodorants, and the ecology of blood-sucking insect vectors of human disease. Numerous studies have investigated the chemical composition of skin odors, and various sampling methods have been used for this purpose. The literature shows that the chemical profile of skin volatiles varies greatly among studies, and the use of different sampling procedures is probably responsible for some of these variations. To our knowledge, this is the first review focused on human skin volatile compounds. We detail the different sampling techniques, each with its own set of advantages and disadvantages, which have been used for the collection of skin odors from different parts of the human body. We present the main skin volatile compounds found in these studies, with particular emphasis on the most frequently studied body regions, axillae, hands, and feet. We propose future directions for promising experimental studies on odors from human skin, particularly in relation to the chemical ecology of blood-sucking insects.     

A new version of the CADNA library for estimating round-off error propagation in Fortran programs

The CADNA library enables one to estimate, using a probabilistic approach, round-off error propagation in any simulation program. CADNA provides new numerical types, the so-called stochastic types, on which round-off errors can be estimated. Furthermore CADNA contains the definition of arithmetic and relational operators which are overloaded for stochastic variables and the definition of mathematical functions which can be used with stochastic arguments. On 64-bit processors, depending on the rounding mode chosen, the mathematical library associated with the GNU Fortran compiler may provide incorrect results or generate severe bugs. Therefore the CADNA library has been improved to enable the numerical validation of programs on 64-bit processors.

New version program summary

Program title: CADNACatalogue identifier: AEAT_v1_1Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEAT_v1_1.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 28 488No. of bytes in distributed program, including test data, etc.: 463 778Distribution format: tar.gzProgramming language: FortranNOTE: A C++ version of this program is available in the Library as AEGQ_v1_0Computer: PC running LINUX with an i686 or an ia64 processor, UNIX workstations including SUN, IBMOperating system: LINUX, UNIXClassification: 6.5Catalogue identifier of previous version: AEAT_v1_0Journal reference of previous version: Comput. Phys. Commun. 178 (2008) 933Does the new version supersede the previous version?: YesNature of problem: A simulation program which uses floating-point arithmetic generates round-off errors, due to the rounding performed at each assignment and at each arithmetic operation. Round-off error propagation may invalidate the result of a program. The CADNA library enables one to estimate round-off error propagation in any simulation program and to detect all numerical instabilities that may occur at run time.Solution method: The CADNA library [1-3] implements Discrete Stochastic Arithmetic [4,5] which is based on a probabilistic model of round-off errors. The program is run several times with a random rounding mode generating different results each time. From this set of results, CADNA estimates the number of exact significant digits in the result that would have been computed with standard floating-point arithmetic.Reasons for new version: On 64-bit processors, the mathematical library associated with the GNU Fortran compiler may provide incorrect results or generate severe bugs with rounding towards −∞ and +∞, which the random rounding mode is based on. Therefore a particular definition of mathematical functions for stochastic arguments has been included in the CADNA library to enable its use with the GNU Fortran compiler on 64-bit processors.Summary of revisions: If CADNA is used on a 64-bit processor with the GNU Fortran compiler, mathematical functions are computed with rounding to the nearest, otherwise they are computed with the random rounding mode. It must be pointed out that the knowledge of the accuracy of the stochastic argument of a mathematical function is never lost.Restrictions: CADNA requires a Fortran 90 (or newer) compiler. In the program to be linked with the CADNA library, round-off errors on complex variables cannot be estimated. Furthermore array functions such as product or sum must not be used. Only the arithmetic operators and the abs, min, max and sqrt functions can be used for arrays.Additional comments: In the library archive, users are advised to read the INSTALL file first. The doc directory contains a user guide named ug.cadna.pdf which shows how to control the numerical accuracy of a program using CADNA, provides installation instructions and describes test runs. The source code, which is located in the src directory, consists of one assembly language file (cadna_rounding.s) and eighteen Fortran language files. cadna_rounding.s is a symbolic link to the assembly file corresponding to the processor and the Fortran compiler used. This assembly file contains routines which are frequently called in the CADNA Fortran files to change the rounding mode. The Fortran language files contain the definition of the stochastic types on which the control of accuracy can be performed, CADNA specific functions (for instance to enable or disable the detection of numerical instabilities), the definition of arithmetic and relational operators which are overloaded for stochastic variables and the definition of mathematical functions which can be used with stochastic arguments. The examples directory contains seven test runs which illustrate the use of the CADNA library and the benefits of Discrete Stochastic Arithmetic.Running time: The version of a code which uses CADNA runs at least three times slower than its floating-point version. This cost depends on the computer architecture and can be higher if the detection of numerical instabilities is enabled. In this case, the cost may be related to the number of instabilities detected.References:

[1]

The CADNA library, URL address: http://www.lip6.fr/cadna.

[2]

F. Jézéquel, J.-M. Chesneaux, CADNA: a library for estimating round-off error propagation, Comput. Phys. Commun. 178 (12) (2008) 933-955.

[3]

N.S. Scott, F. Jézéquel, C. Denis, J.-M. Chesneaux, Numerical ‘health check’ for scientific codes: the CADNA approach, Comput. Phys. Commun. 176 (8) (2007) 507-521.

[4]

J. Vignes, A stochastic arithmetic for reliable scientific computation, Math. Comput. Simul. 35 (1993) 233-261.

[5]

J. Vignes, Discrete stochastic arithmetic for validating results of numerical software, Numer. Algorithms 37 (2004) 377-390.

     

A design-oriented method to build correct hypermedia documents

Over the years, different approaches to identify temporal and spatial conflicts in hypermedia applications has been proposed. Most of them are based on formal verification techniques and impose to the designers to follow a formal model or language to ensure application’s functional correctness. Furthermore, the error diagnose is hard to be interpreted by a non-specialist in this domain. In this paper, we present an approach which supports formal verification for documents written in markup languages. We proposed a method and built a verification toolchain that helps designers to verify time and spatial constraints in hypermedia applications. The input language is the designer language. Its translation towards the input of toolchain is automatic and transparent for the application designer. The errors scenarios provided by the verification tool are presented in a timeline way, easily understandable by the designer. The method and toolchain support different markup languages translated in the same intermediary language in order to facilitate the use of different verification tools in the same environment.

     

Ultra-light asymmetric photovoltaic sandwich structures

This work evaluated the possibility of using silicon solar cells as load-carrying elements in composite sandwich structures. Such an ultra-light multifunctional structure is a new concept enabling weight, and thus energy, to be saved in high-tech applications such as solar cars, solar planes or satellites. Composite sandwich structures with a weight of ～800 g/m² were developed, based on one 140 μm thick skin made of 0/90° carbon fiber-reinforced plastic (CFRP), one skin made of 130 μm thick mono-crystalline silicon solar cells, thin stress transfer ribbons between the cells, and a 29 kg/m³ honeycomb core. Particular attention was paid to investigating the strength of the solar cells under bending and tensile loads, and studying the influence of sandwich processing on their failure statistics. Two prototype multi-cell modules were produced to validate the concept. The asymmetric sandwich structure showed balanced mechanical strength; i.e. the solar cells, reinforcing ribbons, and 0/90° CFRP skin were each of comparable strength, thus confirming the potential of this concept for producing stiff and ultra-lightweight solar panels.     

"Auto-imprinting": Effects of prolonged isolation on domestic cocks.

Studied effects of prolonged deprivation of social experience on social and sexual behavior in 8 Rhode Island?×?Wyandotte cocks reared in visual and physical isolation from hatching until 10 mo old and in 8 others until 18 mo old. They were given choice tests with models of stuffed conspecifics of various color and structure, and also tests with live hens. The results, compared with those of a previous study on cocks reared in isolation until maturity (5 mo) and controls reared socially, suggest that an S deprived of social experience can nevertheless perceive stimuli from its own body and can use this information to establish a kind of "auto-imprinting," which leads it to choose a partner resembling itself, normally a conspecific. The main difference observed was that Ss isolated for a long time are incapable of copulating with the objects offered (models or live hens); this seems to be due to a strengthening of the "auto-imprinting" that the Ss established on themselves. The deficits in copulatory behavior, however, were partially reversible. (34 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Analytic approximation of the jitter incurred by CBR traffics in IP networks

In this paper, an analytic approximation is derived for the end-to-end delay-jitter incurred by a periodic traffic with constant packet size. The single node case is considered first. It is assumed that the periodic traffic is multiplexed with a background packet stream under the FCFS service discipline. The processes governing the packet arrivals and the packet sizes of the background traffic are assumed to be general renewal processes. A very simple analytical approximation is derived and its accuracy is assessed by means of event-driven simulations. This approximation is then extended to the multiple node case yielding a simple analytical approximation of the end-to-end jitter. This approximation is shown to be fairly accurate in the light to moderate traffic conditions typically encountered in IP core networks.     

Performance evaluation of direct and cooperative transmissions in body area networks

Body area networks (BAN) offer amazing perspectives to instrument and support humans in many aspects of their life. Among all possible applications, this paper focuses on body monitoring applications having a body equipped with a set of sensors transmitting in real time their measures to a common sink. In this context, at the application level, the network fits with a star topology, which is quite usual in the broad scope of wireless networks. Unfortunately, the structure of the network at the physical layer is totally different. Indeed, due to the specificity of BAN radio channel features, all radio links are not stationary and all sensors suffer from link losses during independent time frames. In wireless networks, link losses are often coped with multi-hop transmission schemes to ensure a good connectivity. However, since the radio links are not stationary, the multi-hop routes should adapt quickly to BAN changes. We instead propose in this work a different approach based on opportunistic relaying. The concept relies on electing some sensors to support the transmission of other ones having a worst connection. Instead of changing the relay time to time, we rather select a relay node from a statistical perspective. We evaluate this approach from a theoretical point of view and on realistic simulations using the packet error rate outage probability as a performance criterion.     

Analysis of a Cooperative Beacon-Free MAC Layer for Body Area Networks

This paper discusses medium access control (MAC) issues for body area networks (BANs), relying on an Ultrawide Band Impulse radio (UWB-IR) physical layer. BANs are bound to be coordinated by a powerful device like a smart-phone, which manage the access of the nodes on a beaconed fashion. But in some particular situations, the coordinator may disappear and/or be not yet available. These transient situations shall be addressed and a beacon-free medium access control is desirable. We propose a beacon-free MAC layer, based on a collaborative version of the preamble sampling approach. This is designed to address the European regulatory low duty cycle (LDC) constraint, which UWB devices must comply to. A Markov chain model is given to describe the protocol. By means of simulations, we first show that the model is accurate and secondly that this protocol looks able to manage various BANs configurations.     

Novel Active Contour Model for Image Segmentation Based on Local Fuzzy Gaussian Distribution Fitting

A novel active contour model is proposed, which incorporates local information distributions in a fuzzy energy function to effectively deal with the intensity inhomogeneity. Moreover, the proposed model is convex with respect to the variable which is used for extracting the contour. This makes the model independent on the initial condition and suitable for an automatic segmentation. Furthermore, the energy function is minimized in a computationally efficient way by calculating the fuzzy energy alterations directly. Experiments are carried out to prove the performance of the proposed model over some existing methods. The obtained results confirm the efficiency of the method.