Tunis's New Mosques Constructed Between 1975 and 1995: Morphological Knowledge

The mosque has always been a prominent unit that used to structure the old Islamic cites. Its architecture through the Muslim world has always aroused the interest of many researchers. Actually, mosques are still built while undergoing the changes which occurred on the modern societies. However, only few research who have been interested in the new mosques. This paper targets the architecture of mosques built in Tunis governorate between 1975 and 1995. Through a morphological analysis of 24 mosques we were able to determine their identity and their morphological structure. According to their form and position, we discovered classes of specimen and classes of segments. Our corpus presents several constants and variations that we can explain though the introduction of some extrinsic attributes. In fact, these architectural objects possess some morphological specifications related to some urban, functional and historical factors

Subependymome du ventricule lateral: presentation d’une serie de 5 cas et revue de la litterature.

Description Les subépendymomes sont des tumeurs bénignes rares, de découverte souvent fortuite et siégeant préférentiellement au niveau du quatrième ventricule, plus rarement au niveau du ventricule latéral.Objectif Le but de notre étude est de présenter notre expérience en matière de subépendymomes du ventricule latéral et de discuter leurs caractéristiques cliniques, radiologiques, de prise en charge et pronostiques au vu des données actuelles de la littérature.Méthode Etude rétrospective de cinq cas de subépendymomes symptomatiques du ventricule latéral pris en charge au sein de notre institution au cours des dix dernières années.Résultats Cinq sujets de sexe masculin avec des subépendymomes histologiquement prouvés ont été recensés. L’âge moyen était de 35.2 ans. La présentation clinique allait du début brutal avec aggravation rapide de l’état neurologique aux formes insidieuses avec syndrome d’hypertension intracrânienne évoluant depuis un an. La tumeur était confinée au ventricule latéral dans trois cas et étendue au troisième ventricule dans les deux autres cas avec une taille allant de 12 à 42 mm. L’exérèse complète par un abord trans calleux était réalisée dans tous les cas. L’évolution était favorable avec absence de récidive après un suivi moyen de 6 ans 2 mois.Conclusion Les subépendymomes du ventricule latéral sont rares, avec une symptomatologie variable et une évolution imprévisible. La chirurgie est la modalité thérapeutique de choix et l’exérèse totale doit être envisagée dans tous les cas.Mots clés : Chirurgie, Imagerie par résonance magnétique, Subépendymome, Ventricule latéral, Subépendymome, Ventricule latéra

Rank Functions Based Inference System for Group Key Management Protocols Verification

Design and veri¯cation of cryptographic protocols has been under investigation for quite sometime. However, most of the attention has been paid for two parties protocols. In group key management and distribution protocols, keys are computed dynamically through cooperation of all protocol participants. Therefore regular approaches for two parties protocols veri¯cation cannot be applied on group key protocols. In this paper, we present a framework for formally verifying of group key management and distribution protocols based on the concept of rank functions. We de¯ne a class of rank functions that satisfy speci¯c requirements and prove the soundness of these rank functions. Based on the set of sound rank functions, we provide a sound and complete inference system to detect attacks in group key management protocols. The inference system provides an elegant and natural proof strategy for such protocols compared to existing approaches. The above formalizations and rank theorems were implemented using the PVS theorem prover. We illustrate our approach by applying the inference system on a generic Di±e-Hellman group protocol and prove it in PVS

Abces amibien cerebral: a propos de trois cas avec revue de la litterature

Introduction L’abcès amibien cérébral est une infection rare mais mortelle. Depuis son identification en 1965, peu de cas ont été observés dans le monde entier.Matériel et méthode Les objectifs de cette étude étaient de caractériser les aspects cliniques, radiologiques, histologique, pronostic ainsi que thérapeutique de cette pathologie avec une revue de la littérature. Nous rapportons trois cas d’abcès amibien cérébral qui ont été admis dans notre service entre 2010 et 2013.Résultats Il s’agit de deux hommes et une femme, âgés respectivement de 33, 43 et 56 ans qui ont été opérés. Le diagnostic a été confirmé par les examens histologique et sérologique. Nous n’avons observé aucune mortalité.Conclusion Il s’agit d’une atteinte sporadique mais représente un problème de santé publique et dont le pronostic est habituellement sombre.Mots clés : amibiase; abcès cérébral; IRM ; TDM; examen histologiqu

A Rewriting Based Model for Probabilistic Distributed Object Systems

Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The nondeterminism provides an abstraction over scheduling, network delays, failures and randomization. However a probabilistic model can capture these sources of nondeterminism more precisely and enable statistical analysis, simulations and reasoning. We have developed a general semantic framework for probabilistic systems using probabilistic rewriting. Our framework also allows nondeterminism in the system. In this paper, we briefly describe the framework and its application to concurrent object based systems such as actors. We also identify a su#ciently expressive fragment of the general framework and describe its implementation. The concepts are illustrated by a simple client-server example

Completeness and Decidability Results for First-order Clauses with Indices

Session: Inference systems (www.cl.cam.ac.uk/~gp351/cade24)International audienceWe define a proof procedure that allows for a limited form of inductive reasoning. The first argument of a function symbol is allowed to belong to an inductive type. We will call such an argument an index. We enhance the standard superposition calculus with a loop detection rule, in order to encode a particular form of mathematical induction. The satisfiability problem is not semi-decidable, but some classes of clause sets are identified for which the proposed procedure is complete and/or terminating

The play's the thing

For very understandable reasons phenomenological approaches predominate in the field of sensory urbanism. This paper does not seek to add to that particular discourse. Rather it takes Rorty’s postmodernized Pragmatism as its starting point and develops a position on the role of multi-modal design representation in the design process as a means of admitting many voices and managing multidisciplinary collaboration. This paper will interrogate some of the concepts underpinning the Sensory Urbanism project to help define the scope of interest in multi-modal representations. It will then explore a range of techniques and approaches developed by artists and designers during the past fifty years or so and comment on how they might inform the question of multi-modal representation. In conclusion I will argue that we should develop a heterogeneous tool kit that adopts, adapts and re-invents existing methods because this will better serve our purposes during the exploratory phase(s) of any design project that deals with complexity