A correctness proof of a variant of Segall's Propagation of Information with Feedback protocol is presented. The proof, which is carried out within the I/O automata model of Lynch and Tuttle, is standard except for the use of a prophecy variable. The aim of this paper is to show that, unlike what has been suggested in the literature, assertional methods based on invariant reasoning support an i...

We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them.

1 General Description ACI Rossignol is composed of teams from LIF (UMR 6166), LSV (UMR 8643 CNRS ENS Cachan and INRIA Futurs-project SECSI), INRIA Futurs (project Comète) and Verimag (UMR 9939). The Rossignol project aims at investigating issues involved in the verification of cryptographic protocols. The focus has been put on research directions that go beyond the classical approach devised fo...

The main modes of behavior of a food chain model, composed of logistic prey and Holling type II predator and superpredator, are discussed in this paper. The study is carried out through bifurcation analysis, alternating between a normal form approach and numerical continuation. The two-parameter bifurcation diagram of the model contains Hopf, fold and transcritical bifurcation curves of equilib...

A 2 2 clocked buuered switch is a device used in data-processing networks for routing messages from one node to another. The message handling process of this switch can be modelled as a two-server, time slotted, queueing process with state space the number of messages (xn; yn) present at the servers at the end of a time slot. The (xn; yn)-process is a two-dimensional nearest-neighbour random wa...

This study is an application of neutrosophy to the dynamics of love, the most interesting social phenomena. The love dynamics were studied earlier by Strogatz (Strogatz, 1994), Radzicki (Radzicki, 1993), Rapport (Rapport, 1960), etc. Although Strogatz’s model (Strogatz, 1994) was originally intended only to motivate students, it makes several interesting and plausible predictions, and suggests ...

This rapport summarize the work that was done this last 6 month at ICSI in speaker recognition and speaker adaptation.

Annexe A – Exercices sur les buffer overflows 90 Annexe B – Les codes utilisés dans le rapport-4/92

scheduling has become an attractive area for artificial intelligence researchers. on other hand, in today's real-world manufacturing systems, the importance of an efficient maintenance schedule program cannot be ignored because it plays an important role in the success of manufacturing facilities. a maintenance program may be considered as the heath care of manufacturing machines and equip...

Several  studies  have  indicated  that  the  range  and  linguistics  expressions  of  external modifiers  available  in  one  language  differ  from  those  available  in  another  language.  The present study aims to investigate the cross-cultural differences and similarities with regards to  the  realization  of  request  external  modifications.  To  this  end,  30  Iraqi  and  30  Malay u...