Ali Ayad

Learn More
OBJECTIVE Microsurgical transsphenoidal surgery for pituitary tumors has been standard therapy for decades and was established by Harvey Cushing in the early twentieth century. Today, endoscopy is increasingly accepted in the therapy of pituitary lesions. In this retrospective study, we analysed the surgical technique and outcome of 50 patients with(More)
This paper presents an implementation of an extension of the ACSL specification language in the Frama-C tool in order to prove the correctness of floating-point C programs. This implementation is essentially based on the two Why models of floating-point arithmetic of [5]: the first model supposes that there is no overflow during the program execution and is(More)
We present three algorithms in this paper: the first algorithm solves zero-dimensional parametric homogeneous polynomial systems with single exponential time in the number n of the unknowns, it decomposes the parameters space into a finite number of constructible sets and computes the finite number of solutions by parametric rational representations(More)
In this paper we deal with the solvability of the infinite system of differential equations x (t) = ∆(λ)x(t) + b with x(0) = a, where ∆(λ) is the triangle defined by the infinite matrix whose the nonzero entries are [∆(λ)] nn = λ n and [∆(λ)] n,n−1 = λ n−1 for all n ∈ N, for a given sequence λ and a, b are two given infinite column matrices. We use a new(More)
This paper presents a new algorithm for solving zero-dimensional parametric systems of polynomial homogeneous equations. This algorithm is based on the computation of what we call parametric U-resultants. The parameters space, i.e., the set of values of the parameters is decomposed into a finite number of con-structible sets. The solutions of the input(More)