Whole-cell proteins from isolates of five Candida species (Candida albicans, Candida krusei, Candida parapsilosis, Candida tropicalis and Candida guilliermondii) were separated by SDS-PAGE and the profiles obtained were converted into a binary data matrix that produced a cophenetic correlation phenogram. The analysis of the phenogram allowed detection of the cophenetic correlation levels existi...

This technical report examines common assumptions about computer users in profile-based optimization. We study execution profiles of interactive applications on Windows NT to understand how different users use the same program. The profiles were generated by the DIGITAL FX!32 emulator/binary translator system, which automatically runs the x86 version of Windows NT programs on NT/Alpha computers...

Emission line profiles from collimated high-velocity outflows or jets in planetary nebulae (PNe) have diverse characteristics that indicate the influence of binary cores and magnetic confinement mechanisms in their origin. In this contribution, a number of cases are presented that exemplify the complexity of these outflows in PNe.

This paper examines common assumptions about userspecific profiling in profile-based optimization. We study execution profiles of interactive applications on Windows NT to understand how different users use the same program. The profiles were generated by the DIGITAL FX!32 emulator/binary translator system, which automatically runs the x86 version of Windows NT programs on NT/Alpha computers. W...

Deciding what to sense is a crucial task, made harder by dependencies and by a nonadditive utility function. We develop approximation algorithms for selecting an optimal set of measurements, under a dependency structure modeled by a tree-shaped Bayesian network (BN). Our approach is a generalization of composing anytime algorithm represented by conditional performance profiles. This is done by ...

Aims. We present a new method that investigates the evolutionary history of the pulsating DB white dwarf GD 358 using asteroseismology. This is done considering the internal C/O profile, which describes the relative abundances of carbon and oxygen from the core of the star to its surface. Different evolutionary channels lead to the generation of different C/O profiles, and these affect the puls...

In addition to the two large clostridial cytotoxins (TcdA and TcdB), some strains of Clostridium difficile also produce an actin-specific ADP-ribosyltransferase, called binary toxin CDT. We used a PCR method and Southern blotting for the detection of genes encoding the enzymatic (CDTa) and binding (CDTb) components of the binary toxin in 369 strains isolated from patients with suspected C. diff...

Lutess is a tool that we developed for testing reactive synchronous software and which is being used in different industrial contexts. It offers several formal testing methods with automatic generation of test data from the environment specification. Lutess provides also an approach to assign a probability to the next event issued by the environment. However, a Lutess’ user faces the problem of...

Dynamic binary instrumentatation (DBI) frameworks allow application developers and testers to non-intrusively collect trace profiles from their applications in production environments. The collected trace profiles are then used to analyze system behavior. Unfortunately, applying a DBI frameworks to an enterprise distributed real-time and embedded (DRE) systems is not a trivial process. This is ...

Uphill diffusion, the diffusion of a component up its own concentration gradient, has often been observed in experimental studies of diffusion i synthetic multicomponent systems and natural silicate melts. To apply experimental data to natural processes, it is necessary toquantify this effect. A modified effective binary diffusion model is developed in this paper. The diffusive flux of a compon...