1 Laboratoire A2X, Université Bordeaux I, 351, cours de la Libération, 33405 Talence, France [email protected] 2 CWI and Department of Mathematics, Leiden University; Centrum voor Wiskunde en Informatica (CWI), Sciencepark 123, 1098 XG Amsterdam, The Netherlands [email protected] 3 CWI and Department of Mathematics, University of Amsterdam; Centrum voor Wiskunde en Informatica (C...

Subject headings: Multirate time stepping / Local time stepping / Ordinary differential equations / Stiff differential equations / Asymptotic stability / High-order Rosenbrock methods / Partitioned Runge-Kutta methods / Mono-tonicity / TVD / Stability / Convergence. Het onderzoek dat tot dit proefschrift heeft geleid werd mede mogelijk gemaakt door een Peter Paul Peterichbeurs –verstrekt door d...

Laboratoire Central Vétérinaire, Km 8, Route de Koulikoro, B. P. 2295, Bamako, Mali. African Union, Interafrican Bureau for Animal Resources, Kenindia Business Park, Museum Hill, Westlands Rd, P. O. Box 30786-00100 Nairobi, Kenya. PACE-Mali, B. P. E1459, Bamako, Mali. FAO-ECTAD (Emergency Centre for Transboundary Animal Diseases) Unit, Regional Animal Health Center (RAHC), Africa Union Building...

Rechtslogica Op het gebied van de formele modellering van juridisch redeneren, kortweg de rechtslogica, is in het afgelopen decennium veel onderzoek verricht. Steeds meer wordt erkend dat logica meer te bieden heeft voor de analyse en evaluatie van juridisch redeneren dan alleen het juiste gebruik van de klassieke logische connectieven, zoals 'als ..., dan ...' en '... of ...'. In het bijzonder...

We advocate the use of the Maude term rewriting language and its supporting tools for prototyping, model-checking, and testing agent programming languages and agent programs. One of the main advantages of Maude is that it provides a single framework in which the use of a wide range of formal methods is facilitated. We use the agent programming language BUpL (Belief Update programming Language) ...

Resumé / Ðåçþìå In this thesis we propose state-dependent importance sampling heuristics to estimate the probability of population overflow in queuing networks. These heuristics capture state-dependence along the boundaries (when one or more queues are almost empty) which is crucial for the asymptotic efficiency of the change of measure. The approach does not require difficult (and often intrac...