Competing risk models to estimate the excess mortality and the first recurrent-event hazards.

The research is primarily focused on knowledge valorization rather than knowledge development. A large body of knowledge on SE exists and software tools to support the

This paper presents a novel technique for reduction of a process model based on the notion of in- dication, by which, the occurrence of an event in the model reveals the occurrence

((such raising must be blocked. here, then what checks F _crY! I amSUlPSting that the type of languap that I am describing is exemplified in the Mayan languages, and I will show

However, in addition to a “raw” translation from Alloy to Coq, we wanted our tool to provide some support to ease the proof in Coq of the assertions of an Alloy model.. Such a

The results of this paper presented that the developed NorSand model was able to eliminate the excessive dilation of sand which is produced by the commercial finite element

This tran- sition is associated with a small millennial-scale warming event first identified in Northern Atlantic marine records [Chapman and Shackleton, 1999; Oppo et al., 2006]

In all the existing continuous event-triggered control strategies developed for nonlinear systems, computing the event requires to compute a function depending upon the current

JeB, a JavaScript framework to simulate Event-B models, is based on the last observations. Automated tools and human can cooperate to build and run simulations of formal models. Most