A matrix $A$ is called totally positive (or non-negative) of order k $k$ , denoted by T P $TP_k$ N $TN_k$ ), if all minors size at most are non-negative). These matrices have featured in diverse areas mathematics, including algebra, analysis, combinatorics, differential equations and probability theory. The goal this article to provide a novel connection between total positivity optimization/ga...

Ce travail analyse le corpus de référence des thèses françaises concernant la recherche sur formation adultes soutenues depuis 2010 publié dans précédent article (VdR6) cette rubrique. Celui-ci est composé deux groupes thèses, « noyau dur » et « second cercle ». Le premier regroupe les 175 thèses expl...

T h i s p a p e r descr ibes a s e m a n t i c a l l y b a s e d ax iomat i c t r e a t m e n t of a s imple para l le l p r o g r a m m i n g l anguage . We consider an impera t ive l anguage w i t h sha red var iab le concurrency a n d a cr i t ical region cons t ruc t . After giving a s t r u c t u r a l ope ra t iona l semant ics for t h e l anguage we use t h e s eman t i c s t r u c t u r...

The vigor of religious feelings, and the fact that most, if not all, cultures include a system of spiritual belief, suggest that humans have an innate predisposition towards religiousness. There are several possible adaptive advantages that may help explain such a disposition; religions promote cooperative relations, they induce people to obeysensible rules, and they soothe the minds of their f...

With the increasing numbers of Cloud Service Providers and the migration of the Grids to the Cloud paradigm, it is necessary to be able to leverage these new resources. Moreover, a large class of High Performance Computing (hpc) applications can run these resources without (or with minor) modifications. But using these resources come with the cost of being able to interact with these new resour...

Semantic analysis (of programs, systems, etc.) should become a mature discipline to be included in educational curricula in computer science; This requires the discipline to evolve from an ill-assorted collection of methods and algorithms to a large scope formal reasoning and design methodology; In particular, program analysis methods should be explained in language, program encoding, semantics...