Dialogue in context, towards a referential approach in collective learning

In this article, we present research in the making of a collective work environment within the framework of a distance education course. We base our theoretical and methodological standpoints on examples of dialogical discourses recorded within the framework of this CSCL system called Symba. In fact, the results of previous research lead us to rethink our vision of the study of collaborative moments between participants in a computer-supported human learning environment that proposes several communication tools. Redefining the methodological process aiming at finding and understanding these rich learning moments is also necessary. We intend to describe “socio-technical” instances during which these collaboration phases appear. More generally speaking, our aim is to draw up both new theoretical and methodological perspectives that would be reusable in CSCL environments; in view of the nature of these two perspectives, and the diversity of the domain knowledge (sociology, cognitivism, linguistics, philosophy, statistics, etc.) brought to bear in the study of the environment in question, our approach constitutes a trans-disciplinary reassessment of the uses of the communication tools—and the study thereof—proposed.

Fair,biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog

The problem of allowing a dynamically changing set of processes fair access to a shared resource is considered, in the context of communication-stream based systems. It is argued that fair binary merge operators alone cannot solve this problem satisfactorily. Two solutions are proposed. One employs binary merge operators with a programmable bias; the other binary and ternary fair merge operators capable of self-balancing, using the concept of 2–3 trees. A Concurrent Prolog implementation of these operators is described. The implementation of the self-balancing merge operators illustrates the expressive power of incomplete messages, a programming technique that supports messages that contain communication channels as arguments. In the course of implementing the self-balancing merge operator, it was necessary to develop a distributed variant of the 2–3 tree deletion algorithm.     

Wafer-level fabrication process for fully encapsulated micro-supercapacitors with high specific energy

In this paper a wafer-level process is proposed to fully integrate carbon-based micro-supercapacitor onto silicon substrate. This process relies on the deposition of a paste containing carbon, PVDF and acetone into cavities etched in silicon. After electrolyte deposition in a controlled atmosphere, a wafer-level encapsulation is realized. Cyclic voltammetry performed on non-encapsulated micro-components showed specific energy of 257 mJ cm⁻² for 336 μm deep cavities. The specific encapsulation process developed was tested separately and proved to be efficient in terms of resistance to organic electrolytes and mechanical strength.     

Histopathologic spectrum of vaginal adenosis and related changes in stilbestrol-exposed females

A total of 98 colposcopically directed biopsies were obtained from the vagina, cervix, and cervicovaginal ridge (hood) of 80 young women believed to have had intrauterine exposure to stilbestrol (DES). Specific investigation of the patient's medical records corroborated the history of maternal stilbestrol administration in 36 patients (45%), while in the remainder the drug history was regarded as presumptive since medical records were unavailable for review. The findings did not differ significantly in those biopsies taken from patients with confirmed or presumptive drug histories. Histologic evidence of vaginal adenosis was detected in vaginal biopsies from 43 patients. In 30 cases (70%) benign Müllerian-type glandular epithelium was in the superficial vaginal wall, residing on the mucosal surface and/or in the lamina propria. The glandular epithelium predominantly was of endocervical type, but in six instances it resembled endometrial or fallopian tubal epithelium. The glands were accompanied by varying degrees of squamous metaplasia in 22 cases. When extensive the metaplasia produced transformation zones similar to those seen in the normal cervix. Vaginal biopsies of adenosis from the other 13 patients (30%) revealed squamous metaplasia without demonstrable glands due to complete transformation of all antecedent glandular epithelium by squamous metaplasia. Our studies indicate that squamous metaplasia is a component of major importance in the natural history of adenosis and that the concept of adenosis should be broadened to include those examples comprised exclusively of metaplastic epithelium. In such examples metaplasia is identified by the immaturity and poor glycogenation of the squamous cells and their accompanying squamous pegs which often contain residual gland openings or squamous "eddies." Similar findings were present in biopsies of seven cervicovaginal ridges and in cervical biopsies from 37 patients, except for the absence of endometrial or tubal type glands in the latter site. Although no adenocarcinomas were detected, six patients had squamous dysplasia of the vagina and/or cervix. In no case were premalignant or dysplastic changes of glandular cells found. Our findings support the thesis that stilbestrol-associated adenosis represents anomalous embryologic localization of the original squamocolumnar junction in the vagina rather than in the cervix. It is closely related to so-called cervical "erosions." The development of squamous metaplasia accounts for modifications in the clinical and histologic appearances by producing transformation zones which then may be subject to the same oncogenic stimuli for squamous neoplasia as are their counterparts in the cervix.     

Modular proofs for key exchange: rigorous optimizations in the Canetti–Krawczyk model

Various optimizations in the Canetti–Krawczyk model for secure protocol design are proven to preserve security. In particular it is shown that multiple authenticators may be safely used together; that certain message components generated by authenticators may be reordered (to be sent at a different time) or replaced with other values with certain precautions; and that protocols may be defined in the ideal world with session identifiers constructed during protocol runs. Consequently protocol designers now have a set of clear rules to optimize and customize their designs without fear of breaking the security proof. In order to obtain the required proofs, we find it necessary to slightly revise the authenticated links part of the Canetti–Krawczyk model. Research funded by Australian Research Council through Discovery Project DP0345775     

Calculations of diffusion and diffusion-limited processes in Ni3Al using accelerated molecular dynamics

We present a systematic microscopic approach to diffusion and diffusion-limited processes in Ni₃Al. These processes have been identified as controlling the deformation of the material under specific circumstances. The embedded atom method calculations are done using kinetic Monte Carlo combined with the Dimer method of finding saddlepoints. We compute the tracer diffusivities as functions of composition and temperature. The comparison with available experiments is good. We find that at temperatures below about 1000 K, the diffusivity is a sharp function of composition, showing a pronounced dip on the Ni-rich side at 76 at.% Ni. This agrees well with experiment, except that the experiments show this structure setting in a temperatures below about 1300 K. We show that the structure arises from the composition dependence of both the vacancy formation energy and pre-exponential of the diffusivity. We also compute the mobility of an anti-phase boundary perpendicular to its plane, and conclude that vacancy-assistance is very plausible. We conclude that the kMC + Dimer method works well for these problems above 700 K but less effectively below, owing to the presence of short-range, low-energy hops that tend to localize the vacancy and lower the efficiency of the calculation.