Motivatedby t he c haracteristics of current parallel architectures, we h ave d e-veloped an approach t o t he programming of scalable scientiic applications that combines some o f t he best features of message-passing a n d s h ared-memory programming m o d els. Two assumptions permeate our work. The rst is that m o s t high performance parallel computers have, and will continue to h ave, phys...

Introduction Agents communicate to perform tasks that they cannot accomplish alone. To communicate means to exchange messages that convey meanings encoded into signs for transmission. To understand a message, a receiver should be able to map the signs in the messages to meanings aligned with those intended by the transmitter. Agents should agree on the terminology used to describe the domain of...

Nonlinear transfer from wave-wave i n teractions is an important term in the action-balance equation governing t h e e v olution of the surface-gravity-wave eld. Computation of this term, however, has hitherto been so consuming of computer resources that its full representation has not been feasible in nonparametric two-dimensional computer models of this e q u ation. This paper describes the i...

Delegation of signing is a working way common in oce automation work, and is also an important approach to establish trust. Proxy signature is an important cryptographic primitive for delegating the signing powers and it has found many real world applications. The existing proxy signature schemes from factorization assumption are either insecure or inecient. In this paper, we propose a novel, e...

Nadia Derouault (part-time), Inria Marie-Pierre Yvenat (part-time), Telecom Bretagne Armelle Lannuzel (part-time), Telecom Bretagne 2 Overall Objectives 2.1 Overview To access the Internet, end-users can use various types of network access technologies (e.g., optical, cellular, and WiFi). This variety of technologies is one of today's approaches to cope with two sustained trends: • The growing ...

This paper describes the results of a preliminary study to determine the e€ective heating and cooling time constants of ionospheric currents in a simulated modulated HF heating, `beam painting' con®guration. It has been found that even and odd harmonics of the fundamental ELF wave used to amplitude modulate the HF heater are sourced from di€erent regions of the ionosphere which support signi®ca...

Parallelism can be exploited to handle the enormous computational requirements of many vision applications. However, the computational power oered by multiprocessor architectures cannot be fully harnessed to achieve the desired speedup. This is primarily due to the unbalanced distribution of computational load among the processors of a parallel architecture. Furthermore, in parallel implementat...

963 news & views the catalyst surface are believed to act as catalytically active centres binding O 2 and Li 2 O 2. Oxygen-vacancy ordering in the framework also contributes to the intrinsic high electronic conductivity of the pyrochlore. e porosity not only makes the surface atoms of catalysts more accessible to reactants but also favours mass transport for intermediate species such as superox...

A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. 27 [Michalski and Chilausky, 1980] R. S. Michalski and S. Chilausky. Learning by being told and learning from examples: An experimental comparison of the two methods of knowledge acquisition in the context of developing an expert system for soybean disease diagnosis. Acknowledgem...

This paper describes some developments with respect to the agfl formalism and its implementation. agfl is an extremely \lean" syntactic formalism, suitable for describing the surface structure of natural languages, supported by a grammar development system, available on unix systems and large pcs. Our intention is to increase its expressive power by introducing a transduction capability introdu...